Related papers: The Dynamics of Group Codes: Dual Abelian Group Co…
The quantum symmetry group of the inductive limit of C*-algebras equipped with orthogonal filtrations is shown to be the projective limit of the quantum symmetry groups of the C*-algebras appearing in the sequence. Some explicit examples of…
We make available some results about model theory cyclically ordered groups. We start with a classification of complete theories of divisible abelian cyclically ordered groups. Then we look at the cyclically ordered groups where the only…
A definition of atomic codeword for a group code is presented. Some properties of atomic codewords of group codes are investigated. Using these properties, it is shown that every minimal tail-biting trellis for a group code over a finite…
Pontrjagin duality is implemented in the framework of fibre bundles. By means of Pontrjagin duality triples a Fourier transform is defined by a pull-push construction operating on sections of line bundles. This yields an isomorphism of…
For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete, and we investigate…
Given a locally compact group bundle, we show that the system of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact…
Various notions from geometric control theory are used to characterize the behavior of the Markovian master equation for N-level quantum mechanical systems driven by unitary control and to describe the structure of the sets of reachable…
We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.
This paper deals with the control generation of right linear grammars with unknown behaviors (RLUBs, for short) in which derivation behavior is not determined completely. In particular, we consider a physical property of control devices…
The problem of exact observability is analyzed for a wide class of neutral type systems by an infinite dimensional approach. The duality with the exact controllabil-ity problem is the main tool. It is based on an explicit expression of a…
This is the last part of a series of three papers on the subject. In the first part we have considered the duality of algebraic quantum groups. In that paper, we use the term algebraic quantum group for a regular multiplier Hopf algebra…
Given an elliptic curve defined over a number field $F$, we study the algebraic structure and prove a control theorem for Wuthrich's fine Mordell--Weil groups over a $\mathbb{Z}_p$-extension of $F$, generalizing results of Lee on the usual…
In this paper we explore the structure and properties of C-groups. We define a C-group as a group $G$ with $rk(G) < rk(Z(G))$ (where $rk(G)$ is the minimal cardinal of a generating set for a group $G$). Using GAP (a group theory program)…
We prove a number of results linking properties of actions by compact groups (both quantum and classical) on Banach spaces, such as uniform continuity, spectrum finiteness and extensibility of the actions across several constructions.…
This article describes the control behavior of any linear control systems on the group of proper motions $SE(2)$. It characterizes the controllability property and the control sets of the system.
Knill introduced a generalization of stabilizer codes, in this note called Clifford codes. It remained unclear whether or not Clifford codes can be superior to stabilizer codes. We show that Clifford codes are stabilizer codes provided that…
Linear systems on Lie groups are a natural generalization of linear system on Euclidian spaces. For such systems, this paper studies the properties of the maximal sets of approximate controllability.
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
We introduce a set of local procedures that are capable of controlling distributed systems that exhibit complex dynamical behavior. These local controllers need only perturb local parameters and use local information about the state of the…
We investigate the generalized derivations and show that every generalized derivation on a simple Hilbert $C^*$-module either is closable or has a dense range. We also describe dynamical systems on a full Hilbert $C^*$-module ${\mathcal M}$…