Related papers: The Lamplighter Group
The notion of an automaton over a changing alphabet $X=(X_i)_{i\geq 1}$ is used to define and study automorphism groups of the tree $X^*$ of finite words over $X$. The concept of bi-reversibility for Mealy-type automata is extended to…
If a (possibly finite) compact Lie group acts effectively, locally linearly, and homologically trivially on a closed, simply-connected four-manifold with second Betti number at least three, then it must be isomorphic to a subgroup of S^1 x…
Let $\Gamma_d(q)$ denote the group whose Cayley graph with respect to a particular generating set is the Diestel-Leader graph $DL_d(q)$, as described by Bartholdi, Neuhauser and Woess. We compute both $Aut(\Gamma_d(q))$ and…
For every natural number $n$, we classify abelian groups generated by an $n$-state time-varying automaton over the binary alphabet, as well as by an $n$-state Mealy automaton over the binary alphabet.
We develop an effective and natural approach to interpret any semigroup admitting a special language of greedy normal forms as an automaton semigroup,namely the semigroup generated by a Mealy automaton encoding the behaviour of such a…
We discuss the problem of determining whether the state of several quantum mechanical subsystems is entangled. As in previous work on two subsystems we introduce a procedure for checking separability that is based on finding state…
Characterization of classes of switching signals that ensure stability of switched systems occupies a significant portion of the switched systems literature. This article collects a multitude of stabilizing switching signals under an…
We present a simple algorithm to find the Moore machine with the minimum number of states equivalent to a given one.
Under some mild assumptions, we study the state complexity of the trim minimal automaton accepting the greedy representations of the multiples of m >= 2 for a wide class of linear numeration systems. As an example, the number of states of…
We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry…
We present a general criterion for entanglement of N indistinguishable particles decomposed into arbitrary s subsystems based on the unambiguous measurability of correlation. Our argument provides a unified viewpoint on the entanglement of…
We use elementary methods to compute the L2-dimension of the eigenspaces of the Markov operator on the lamplighter group and of generalizations of this operator on other groups. In particular, we give a transparent explanation of the…
Using the theory of measurable categories developped by Yetter in work in preparation, we provide a notion of representations of 2-groups more well-suited to physically and geometrically interesting examples than that proposed in…
Dualities are hidden symmetries that map seemingly unrelated physical systems onto each other. The goal of this work is to systematically construct families of Hamiltonians endowed with a given duality and to provide a universal description…
The sister of Eisenstein-Picard modular group was described in [8]. In this paper we give a similar definition of the sister of the Euclidean-Picard modular group and find its generators by using a geometric method.
The optical implementation of the recently proposed unambiguous identification of coherent states is presented. Our system works as a programmable discriminator between two, in general non-orthogonal weak coherent states. The principle of…
We realize the probabilistic cloning and identifying linear independent quantum states of multi-particles system, given prior probability, with universal quantum logic gates using the method of unitary representation. Our result is…
This is a continuation of an earlier preprint (math.GT/0209121) under the same title. These papers grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or…
The isotropic harmonic oscillator in N dimensions is shown to have an underlying symmetry group O(2,1)X O(N)which implies a unique result for the energy spectrum of the system. Raising and lowering operators analogous to those of the…
A Lie group as a 4-dimensional pseudo-Riemannian manifold is considered. This manifold is equipped with an almost product structure and a Killing metric in two ways. In the first case Riemannian almost product manifold with nonintegrable…