Topology for Computations of Concurrent Automata

1998 ◽  
Vol 08 (03) ◽  
pp. 327-362
Author(s):  
Dietrich Kuske ◽  
R. M. Shortt

We generalize the results on α-complex traces from [14, 16] to the realm of concurrent automata. We show that the α-complex computations can be defined as elements of a compact, totally disconnected and complete topological semigroup containing the finite computations as a dense and discrete subspace. But in this semigroup it is not possible to define infinite products as limits of finite ones in a satisfactory way. Therefore, we define a second semigroup of restricted α-complex computations. The underlying set of this semigroup carries a metric such that it becomes compact and complete. Furthermore, the finite computations are a dense and discrete subset and the multiplication is uniformly continuous not on the whole semigroup but on the set of finite computations. Finally, here we can define infinite products as limits of finite ones.

1988 ◽  
Vol 37 (2) ◽  
pp. 247-262 ◽  
Author(s):  
Heneri A.M. Dzinotyiweyi

For a very large class of topological semigroups, we establish lower and upper bounds for the cardinality of the set of left invariant means on the space of left uniformly continuous functions. In certain cases we show that such a cardinality is exactly , where b is the smallest cardinality of the covering of the underlying topological semigroup by compact sets.


1999 ◽  
Vol 4 (1) ◽  
pp. 1-19 ◽  
Author(s):  
S. Reich ◽  
A. J. Zaslavski

We establish several results concerning the asymptotic behavior of random infinite products of generic sequences of affine uniformly continuous operators on bounded closed convex subsets of a Banach space. In addition to weak ergodic theorems we also obtain convergence to a unique common fixed point and more generally, to an affine retraction.


2015 ◽  
Vol 52 (3) ◽  
pp. 350-370
Author(s):  
Jaroslav Hančl ◽  
Katarína Korčeková ◽  
Lukáš Novotný

We introduce the two new concepts, productly linearly independent sequences and productly irrational sequences. Then we prove a criterion for which certain infinite sequences of rational numbers are productly linearly independent. As a consequence we obtain a criterion for the irrationality of infinite products and a criterion for a sequence to be productly irrational.


2020 ◽  
Vol 4 (1) ◽  
pp. 29-39
Author(s):  
Dilrabo Eshkobilova ◽  

Uniform properties of the functor Iof idempotent probability measures with compact support are studied. It is proved that this functor can be lifted to the category Unif of uniform spaces and uniformly continuous maps


2020 ◽  
pp. 1-17
Author(s):  
MARCY BARGE ◽  
JOHANNES KELLENDONK

Abstract It is shown that the Ellis semigroup of a $\mathbb Z$ -action on a compact totally disconnected space is completely regular if and only if forward proximality coincides with forward asymptoticity and backward proximality coincides with backward asymptoticity. Furthermore, the Ellis semigroup of a $\mathbb Z$ - or $\mathbb R$ -action for which forward proximality and backward proximality are transitive relations is shown to have at most two left minimal ideals. Finally, the notion of near simplicity of the Ellis semigroup is introduced and related to the above.


Entropy ◽  
2021 ◽  
Vol 23 (8) ◽  
pp. 971
Author(s):  
Oded Shor ◽  
Felix Benninger ◽  
Andrei Khrennikov

This paper is devoted to the foundational problems of dendrogramic holographic theory (DH theory). We used the ontic–epistemic (implicate–explicate order) methodology. The epistemic counterpart is based on the representation of data by dendrograms constructed with hierarchic clustering algorithms. The ontic universe is described as a p-adic tree; it is zero-dimensional, totally disconnected, disordered, and bounded (in p-adic ultrametric spaces). Classical–quantum interrelations lose their sharpness; generally, simple dendrograms are “more quantum” than complex ones. We used the CHSH inequality as a measure of quantum-likeness. We demonstrate that it can be violated by classical experimental data represented by dendrograms. The seed of this violation is neither nonlocality nor a rejection of realism, but the nonergodicity of dendrogramic time series. Generally, the violation of ergodicity is one of the basic features of DH theory. The dendrogramic representation leads to the local realistic model that violates the CHSH inequality. We also considered DH theory for Minkowski geometry and monitored the dependence of CHSH violation and nonergodicity on geometry, as well as a Lorentz transformation of data.


2020 ◽  
Vol 18 (1) ◽  
pp. 1478-1490
Author(s):  
Ankit Gupta ◽  
Abdulkareem Saleh Hamarsheh ◽  
Ratna Dev Sarma ◽  
Reny George

Abstract New families of uniformities are introduced on UC(X,Y) , the class of uniformly continuous mappings between X and Y, where (X,{\mathcal{U}}) and (Y,{\mathcal{V}}) are uniform spaces. Admissibility and splittingness are introduced and investigated for such uniformities. Net theory is developed to provide characterizations of admissibility and splittingness of these spaces. It is shown that the point-entourage uniform space is splitting while the entourage-entourage uniform space is admissible.


Sign in / Sign up

Export Citation Format

Share Document