On the rational subset problem for groups

We use language theory to study the rational subset problem for groups and monoids. We show that the decidability of this problem is preserved under graph of groups constructions with finite edge groups. In particular, it passes through free products amalgamated over finite subgroups and HNN extensions with finite associated subgroups. We provide a simple proof of a result of Grunschlag showing that the decidability of this problem is a virtual property. We prove further that the problem is decidable for a direct product of a group G with a monoid M if and only if membership is uniformly decidable for G-automata subsets of M. It follows that a direct product of a free group with any abelian group or commutative monoid has decidable rational subset membership.Comment: 19 page

Decoherence and thermalization dynamics of a quantum oscillator

We introduce the quantitative measures characterizing the rates of decoherence and thermalization of quantum systems. We study the time evolution of these measures in the case of a quantum harmonic oscillator whose relaxation is described in the framework of the standard master equation, for various initial states (coherent, `cat', squeezed and number). We establish the conditions under which the true decoherence measure can be approximated by the linear entropy $1-{Tr}\hat\rho^2$. We show that at low temperatures and for highly excited initial states the decoherence process consists of three distinct stages with quite different time scales. In particular, the `cat' states preserve 50% of the initial coherence for a long time interval which increases logarithmically with increase of the initial energy.Comment: 24 pages, LaTex, 8 ps figures, accepted for publication in J. Opt.

Noncommutativity due to spin

Using the Berezin-Marinov pseudoclassical formulation of spin particle we propose a classical model of spin noncommutativity. In the nonrelativistic case, the Poisson brackets between the coordinates are proportional to the spin angular momentum. The quantization of the model leads to the noncommutativity with mixed spacial and spin degrees of freedom. A modified Pauli equation, describing a spin half particle in an external e.m. field is obtained. We show that nonlocality caused by the spin noncommutativity depends on the spin of the particle; for spin zero, nonlocality does not appear, for spin half, $\Delta x\Delta y\geq\theta^{2}/2$, etc. In the relativistic case the noncommutative Dirac equation was derived. For that we introduce a new star product. The advantage of our model is that in spite of the presence of noncommutativity and nonlocality, it is Lorentz invariant. Also, in the quasiclassical approximation it gives noncommutativity with a nilpotent parameter.Comment: 11 pages, references adda