Polish Group Topologies

Let $M=I$ or $M=\mathbb{S}^1$ and let $k\geq 1$. We exhibit a new infinite class of Polish groups by showing that each group $\mathop{\rm Diff}_+^{k+AC}(M)$, consisting of those $C^k$ diffeomorphisms whose $k$-th derivative is absolutely continuous, admits a natural Polish group topology which refines the subspace topology inherited from $\mathop{\rm Diff}_+^k(M)$. By contrast, the group $\mathop{\rm Diff}_+^{1+BV}(M)$, consisting of $C^1$ diffeomorphisms whose derivative has bounded variation, admits no Polish group topology whatsoever.

Generalized metric spaces with algebraic structures

1. Introduction.Let S be a locally compact semigroup with a dense maximal subgroup G.We ask the following question: When is G a topological group under the induced topology?It was proved recently by P. S. Mostert [8] that in general G is not a topological group.However, there are several good reasons motivating the study of such a problem.First, for an arbitrary locally compact semigroup, the closure of the maximal subgroup containing an idempotent forms a locally compact semigroup.If we know this maximal subgroup is a topological group, then it is a locally compact topological group.(This fact will be proved in the following paragraph.)By our rather good knowledge of locally compact topological groups, we can obtain information about the structure of this locally compact semigroup.Second, if we look at this problem from the point of view of transformation groups, we have a group G acting on a locally compact topological space.Naturally, we would like this group to be topologized so that it is a topological group.It is known that the weakest topology for G to be a topological group is the g-topology [1].It is somewhat harder to deal with the g-topology than with the fc-topology, but under some conditions the ^-topology will coincide with the fe-topology.Among the known conditions, the local compactness of the group seems most interesting.If one tries to generalize such a condition, it is rather natural to ask the following : If G is a group of homeomorphisms of X onto X, and the closure of G is locally compact in the fc-topology, does the induced topology of G coincide with the g-topology?Third, in the past few years there have been several papers about such questions : What is the relationship between the algebraic structure and the topological structure?When can one strengthen the topological structure so that even under weak conditions the algebraic operations will be continuous in a certain sense?For instance, in topological groups, if the group space is locally compact, and if the multiplication is separately continuous with respect to the topology of the space, then the group is a topological group.We are able to prove the same theorem when the space is second countable and second category without the assumption of local compactness [9].Now, our present problem arises quite

Totally Lindelöf and totally ω-narrow paratopological groups

On the discontinuity of the π1-action

We consider the secure computation problem in a minimal model, where Alice and Bob each holds an input and wish to securely compute a function of their inputs at Carol without revealing any additional information about the inputs. For this minimal secure computation problem, we propose a novel coding scheme built from two steps. First, the function to be computed is expanded such that it can be recovered while additional information might be leaked. Second, a randomization step is applied to the expanded function such that the leaked information is protected. We implement this expand-and-randomize coding scheme with two algebraic structures—the finite field and the modulo ring of integers, where the expansion step is realized with the addition operation and the randomization step is realized with the multiplication operation over the respective algebraic structures.

An almost prime submodule is a generalization of prime submodule introduced in 2011 by Khashan. This algebraic structure was brought from an algebraic structure in ring theory, prime ideal, and almost prime ideal. This paper aims to construct similar properties of prime ideal and almost prime ideal from ring theory to module theory. The problem that we want to eliminate is the multiplication operation, which is missing in module theory. We use the definition of module annihilator to bridge the gap. This article gives some properties of the prime submodule and almost prime submodule of CMS module over a principal ideal domain. A CSM module is a module that every cyclic submodule. One of the results is that the idempotent submodule is an almost prime submodule.

Order representability in groups and vector spaces

This paper aims at treating a study on Sylow theorem of different algebraic structures as groups, order of a group, subgroups, along with the associated notions of automorphisms group of the dihedral groups, split extensions of groups and vector spaces arises from the varying properties of real and complex numbers. We must have used the Sylow theorems of this work when it's generalized. Here we discuss possible subgroups of a group in different types of order which will give us a practical knowledge to see the applications of the Sylow theorems. In algebraic structures, we deal with operations of addition and multiplication and in order structures, those of greater than, less than and so on. It is through the study of Sylow theorems that we realize the importance of some definitions as like as the exact sequences and split extensions of groups, Sylow p-subgroup and semi-direct product. Thus it has been found necessary and convenient to study these structures in detail. In situations, where it was found that a given situation satisfies the basic axioms of structure and having already known the properties of that structure. Finally, we find out possible subgroups of a group in different types of order for abelian and non-abelian cases.

It is well-known that sums and products of holomorphic functions are holomorphic, and the holomorphic functions on a complex manifold form a commutative algebra over C . The study of complex manifolds using algebras of holomorphic functions upon them is called complex algebraic geometry. The purpose of this paper is to develop an analogue of complex algebraic geometry, in which the complex numbers C are replaced by the quaternions H . The natural quaternionic analogue of a complex manifold is called a hypercomplex manifold. A class of H -valued functions on hypercomplex manifolds will be defined, called q-holomorphic functions, that are analogues of holomorphic functions on complex manifolds. Now, the set of holomorphic functions on a complex manifold is a commutative algebra over C . Therefore one asks: does the set of q-holomorphic functions on a hypercomplex manifold have an analogous algebraic structure, and if so, what is it? We shall show that the q-holomorphic functions on a (noncompact) hypercomplex manifold do indeed possess a rich algebraic structure. To describe it, we shall introduce a theory of quaternionic algebra, which is a quaternionic analogue of real linear algebra. This theory is built on three building blocks: AH-modules, the analogues of vector spaces, AH-morphisms, the analogues of linear maps, and the quaternionic tensor product, the analogue of tensor product of real vector spaces. As far as the author can tell, these ideas seem to be new. They enable us to construct algebraic structures over H as though H were a commutative field. Quaternionic algebra describes the algebraic structure of hypercomplex manifolds in a remarkable way, and it seems to be the natural language of hypercomplex algebraic geometry, the algebraic geometry of hypercomplex manifolds. We believe that quaternionic algebra is worth studying for its own sake. It has many similarities with linear algebra over R or C , which is why the analogies between complex and quaternionic theories work so well, but there are also deep differences, which give quaternionic algebra a flavour all of its own. Quillen [12] has given a sheaf-theoretic interpretation of the ideas of quaternionic algebra, based on a previous version of this paper. He finds a contravariant equivalence between a class of AH-modules and regular sheaves on a real form of CP. Regular sheaves on CP are equivalent to representations of the Kronecker quiver, and out of such a representation Quillen constructs an AH-module. Under Quillen’s equivalence stable AH-modules correspond to regular vector bundles over the real form of CP.

Convergence and numbers

Verifying quantum programs has attracted a lot of interest in recent years. In this article, we consider the following two categories of termination problems of quantum programs with nondeterminism, namely: (1) (termination) Is an input of a program terminating with probability one under all schedulers? If not, how can a scheduler be synthesized to evidence the nontermination? (2) (universal termination) Are all inputs terminating with probability one under their respective schedulers? If yes, a further question asks whether there is a scheduler that forces all inputs to be terminating with probability one together with how to synthesize it; otherwise, how can an input be provided to refute the universal termination? For the effective verification of the first category, we over-approximate the reachable set of quantum program states by the reachable subspace, whose algebraic structure is a linear space. On the other hand, we study the set of divergent states from which the program terminates with probability zero under some scheduler. The divergent set also has an explicit algebraic structure. Exploiting these explicit algebraic structures, we address the decision problem by a necessary and sufficient condition, i.e., the disjointness of the reachable subspace and the divergent set. Furthermore, the scheduler synthesis is completed in exponential time, whose bottleneck lies in computing the divergent set reported for the first time. For the second category, we reduce the decision problem to the existence of an invariant subspace, from which the program terminates with probability zero under all schedulers. The invariant subspace is characterized by linear equations and thus can be efficiently computed. The states on that invariant subspace are evidence of the nontermination. Furthermore, the scheduler synthesis is completed by seeking a pattern of finite schedulers that forces all inputs to be terminating with positive probability. The repetition of that pattern yields the desired universal scheduler that forces all inputs to be terminating with probability one. All the problems in the second category are shown, also for the first time, to be solved in polynomial time. Finally, we demonstrate the aforementioned methods via a running example—the quantum Bernoulli factory protocol.

Chapter 42 - Recent results and open questions relating Chu duality and Bohr compactifications of locally compact groups

Given an ergodic flow $T=(T_t)_{t\in\Bbb R}$, let $I(T)$ be the set of reals $s\ne 0$ for which the flows $(T_{st})_{t\in\Bbb R}$ and $T$ are isomorphic. It is proved that $I(T)$ is a Borel subset of $\Bbb R^*$. It carries a natural Polish group topology which is stronger than the topology induced from $\Bbb R$. There exists a mixing flow $T$ such that $I(T)$ is an uncountable meager subset of $\Bbb R^*$. For a generic flow $T$, the transformations $T_{t_1}$ and $T_{t_2}$ are spectrally disjoint whenever $|t_1|\ne |t_2|$. A generic transformation (i) embeds into a flow $T$ with $I(T)=\{1\}$ and (ii) does not embed into a flow with $I(T)\ne \{1\}$. For each countable multiplicative subgroup $S\subset\Bbb R^*$, it is constructed a Poisson suspension flow $T$ with simple spectrum such that $I(T)=S$. If $S$ is without rational relations then there is a rank-one weakly mixing rigid flow $T$ with $I(T)=S$.

In this paper, we present a new framework for the definition of various data structures (including trees and arrays) together with a generic language of filters enabling a rule-based programming style for functions. This framework is implemented in an experimental language called MGS. The underlying notions funding our framework have a topological nature and enable to extend the case-based definition of functions found in modern functional languages beyond algebraic data structures.