Finite State and Finite Stop Quantum Languages

We propose the concept of finite stop quantum automata (ftqa) based on Hilbert space and compare it with the finite state quantum automata (fsqa) proposed by Moore and Crutchfield (Theoretical Computer Science 237(1–2), 2000, 275–306). The languages accepted by fsqa form a proper subset of the languages accepted by ftqa. In addition, the fsqa form an infinite hierarchy of language inclusion with respect to the dimensionality of unitary matrices. We introduce complex-valued acceptance degrees and two types of finite stop quantum automata based on them: the invariant ftqa (icftq) and the variant ftqa (vcftq). The languages accepted by icftq form a proper subset of the languages accepted by vcftq. In addition, the icftq form an infinite hierarchy of language inclusion with respect to the dimensionality of unitary matrices. In this way, we establish two proper inclusion relations (fsqa) ⊂ (ftqa) and (icftq) ⊂ (vcftq), where the symbol means languages, and two infinite language hierarchies (fsqa) ⊂ (fsqa), (icftq) (icftq).     

Double Product Integrals and Enriquez Quantisation of Lie Bialgebras II: The Quantum Yang–Baxter Equation

For a Lie algebra with Lie bracket got by taking commutators in a nonunital associative algebra , let be the vector space of tensors over equipped with the Itô Hopf algebra structure derived from the associative multiplication in . It is shown that a necessary and sufficient condition that the double product integral satisfy the quantum Yang–Baxter equation over is that satisfy the same equation over the unital associative algebra got by adjoining a unit element to . In particular, the first-order coefficient r₁ of r[h] satisfies the classical Yang–Baxter equation. Using the fact that the multiplicative inverse of is where is the inverse of in we construct a quantisation of an arbitrary quasitriangular Lie bialgebra structure on in the unital associative subalgebra of consisting of formal power series whose zero order coefficient lies in the space of symmetric tensors. The deformation coproduct acts on by conjugating the undeformed coproduct by and the coboundary structure r of is given by where is the flip.Mathematical Subject Classification (2000). 53D55, 17B62     

Quantum Computational Semantics on Fock Space

In the Fock space semantics, meanings of sentences are identified with density operators of the (unsymmetrized) Fock space based on the Hilbert space ℂ². Generally, the meaning of a sentence is smeared over different sectors of . The standard quantum computational semantics is a limit case of the Fock space semantics, where the meaning of any sentence α only “lives” in one sector of , which is determined by the logical complexity of α. We prove that the global Fock space semantics and the standard quantum computational semantics characterize the same logic. PACS: 03.67.Lx.     

Orthocomplementation and Compound Systems

In their 1936 founding paper on quantum logic, Birkhoff and von Neumann postulated that the lattice describing the experimental propositions concerning a quantum system is orthocomplemented. We prove that this postulate fails for the lattice _sep describing a compound system consisting of so called separated quantum systems. By separated we mean two systems prepared in different “rooms” of the lab, and before any interaction takes place. In that case, the state of the compound system is necessarily a product state. As a consequence, Dirac’s superposition principle fails, and therefore _sep cannot satisfy all Piron’s axioms. In previous works, assuming that _sep is orthocomplemented, it was argued that _sep is not orthomodular and fails to have the covering property. Here we prove that _sep cannot admit an orthocomplementation. Moreover, we propose a natural model for _sep which has the covering property. PACS: 03.65.Ta, 03.65.Ca     

Unitarily Inequivalent Representations in Algebraic Quantum Theory

It has been maintained that the physical content of a model of a system is completely contained in the C∗-algebra of quasi-local observables that is associated with the system. The reason given for this is that the unitarily inequivalent representations of are physically equivalent. But, this view is dubious for at least two reasons. First, it is not clear why the physical content does not extend to the elements of the von Neumann algebras that are generated by representations of . It is shown here that although the unitarily inequivalent representations of are physically equivalent, the extended representations are not. Second, this view detracts from special global features of physical systems such as temperature and chemical potential by effectively relegating them to the status of fixed parameters. It is desirable to characterize such observables theoretically as elements of the algebra that is associated with a system rather than as parameters, and thereby give a uniform treatment to all observables. This can be accomplished by going to larger algebras. One such algebra is the universal enveloping von Neumann algebra, which is generated by the universal representation of ; another is the direct integral of factor representations that are associated with the set of values of the global features. Placing interpretive significance on the von Neumann algebras mentioned earlier sheds light on the significance of unitarily inequivalent representations of , and it serves to show the limitations of the notion of physical equivalence.     

Trigonometric Dynamical <Emphasis Type="Italic">r</Emphasis>-Matrices Over Poisson Lie Base

Let be a finite dimensional complex Lie algebra and a Lie subalgebra equipped with the structure of a factorizable quasitriangular Lie bialgebra. Consider the Lie group Exp with the Semenov-Tjan-Shansky Poisson bracket as a Poisson Lie manifold for the double Lie bialgebra . Let be an open domain parameterizing a neighborhood of the identity in Exp by the exponential map. We present dynamical r-matrices with values in over the Poisson Lie base manifold .*This research is partially supported by the Emmy Noether Research Institute for Mathematics, the Minerva Foundation of Germany, the Excellency Center Group Theoretic Methods in the study of Algebraic Varieties of the Israel Science foundation, and by the RFBR grant no. 03-01-00593.     

Quantum Groups and Double Quiver Algebras

For a finite dimensional semisimple Lie algebra and a root q of unity in a field k, we associate to these data a double quiver . It is shown that a restricted version of the quantized enveloping algebras is a quotient of the double quiver algebra .*The author is partially supported by the National Science Foundation of China (Grant. 10271014) and Natural Science Foundation of Beijing City (grant. 1042001)     

The Boltzmann Equation for Bose–Einstein Particles: Velocity Concentration and Convergence to Equilibrium

Long time behavior of solutions of the spatially homogeneous Boltzmann equation for Bose–Einstein particles is studied for hard potentials with certain cutoffs and for the hard sphere model. It is proved that in the cutoff case solutions as time converge to the Bose–Einstein distribution in L¹ topology with the weighted measure , where for temperature and for T<T_c. In particular this implies that if T<T_c then the solutions in the velocity regions (with ) converge to a unique Dirac delta function (velocity concentration). All these convergence are uniform with respect to the cutoff constants. For the hard sphere model, these results hold also for weak or distributional solutions. Our methods are based on entropy inequalities and an observation that the convergence to Bose–Einstein distributions can be reduced to the convergence to Maxwell distributions.     

The CPT Group of the Dirac Field

Using the standard representation of the Dirac equation, we show that, up to signs, there exist only two sets of consistent solutions for the matrices of charge conjugation (C), parity (P), and time reversal (T), which give the transformation of fields , and , where and . These sets are given by , , and , , . Then , and two successive applications of the parity transformation to fermion fields necessarily amount to a 2 rotation. Each of these sets generates a non abelian group of 16 elements, respectively, and , which are non isomorphic subgroups of the Dirac algebra, which, being a Clifford algebra, gives a geometric nature to the generators, in particular to charge conjugation. It turns out that and , where is the dihedral group of eight elements, the group of symmetries of the square, and 16E is a non trivial extension of by , isomorphic to a semidirect product of these groups; S₆ and S₈ are the symmetric groups of six and eight elements. The matrices are also given in the Weyl representation, suitable for taking the massless limit, and in the Majorana representation, describing self-conjugate fields. Instead, the quantum operators C, P and T, acting on the Hilbert space, generate a unique group , which we call the CPT group of the Dirac field. This group, however, is compatible only with the second of the above two matrix solutions, namely with , which is then called the matrix CPT group. It turns out that , where is the dicyclic group of 8 elements and S₁₀ is the symmetric group of 10 elements. Since , the quaternion group, and , the 0-sphere, then .     

Finitary Spacetime Sheaves of Quantum Causal Sets: Curving Quantum Causality

A locally finite, causal, and quantal substitute for a locally Minkowskian principal fiber bundle of modules of Cartan differential forms over a bounded region X of a curved C -smooth spacetime manifold M with structure group G that of orthochronous Lorentz transformations L ⁺ := SO(1,3), is presented. is usually regarded as the kinematical structure of classical Lorentzian gravity when the latter is viewed as a Yang-Mills type of gauge theory of a sl(2, {})-valued connection 1-form . The mathematical structure employed to model this replacement of is a principal finitary spacetime sheaf of quantum causal sets with structure group G _n, which is a finitary version of the continuous group G of local symmetries of General Relativity, and a finitary Lie algebra g _n-valued connection 1-form on it, which is a section of its subsheaf . is physically interpreted as the dynamical field of a locally finite quantum causality, whereas its associated curvature as some sort of finitary and causal Lorentzian quantum gravity.     

How to Describe the Space-Time Structure with Nets of C*-Algebras

The major subject of algebraic quantum fieldtheory is the study of nets of local C*-algebras, i.e.,maps ( ) assigning to each open,relatively compact region of space-time (M, g) aC*-algebra ( ), whose self-adjoint elements describe localobservables measurable in the region . A question discussed recently in a number ofpapers is how much information about the geometricstructure of the underlying space-time (M, g) is encoded in the algebraicstructure of the net ( ). Followingthese ideas, it is demonstrated in this paper howspace-time-related concepts like causality and observerscan be described in a purely algebraic way, i.e., using only thelocal algebras ( ).These results are then used to show how the space-time(M, g) can be reconstructed from the set _loc := { ( )| M open, compact} of local algebras.     

Dynamical Differential Equations Compatible with Rational <Emphasis Type="Italic">qKZ</Emphasis> Equations

For the Lie algebra _N we introduce a system of differential operators called the dynamical operators. We prove that the dynamical differential operators commute with the _N rational quantized Knizhnik–Zamolodchikov difference operators. We describe the transformations of the dynamical operators under the natural action of the _N Weyl group.Mathematics Subject Classifications (2000). 17B37, 17B80, 81R10.     

Remarks on the Balance Relations for the Two-Dimensional Navier–Stokes Equation with Random Forcing

We use the balance relations for the stationary in time solutions of the randomly forced 2D Navier-Stokes equations, found in [10], to study these solutions further. We show that the vorticity ξ(t,x) of a stationary solution has a finite exponential moment, and that for any the expectation of the integral of over the level-set , up to a constant factor equals the expectation of the integral of over the same set.     

Kochen–Specker Theorem for von Neumann Algebras

The Kochen–Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we first offer a new, non-combinatorial proof for quantum systems with a type I_n factor as algebra of observables, including I_∞. Afterwards, we give a proof of the Kochen–Specker theorem for an arbitrary von Neumann algebra without summands of types I₁ and I₂, using a known result on two-valued measures on the projection lattice . Some connections with presheaf formulations as proposed by Isham and Butterfield are made.     

Power Series for Solutions of the 3 {\mathcal D}-Navier-Stokes System on R 3

In this paper we study the Fourier transform of the -Navier-Stokes System without external forcing on the whole space R ³. The properties of solutions depend very much on the space in which the system is considered. In this paper we deal with the space of functions where and c (k) is bounded, . We construct the power series which converges for small t and gives solutions of the system for bounded intervals of time. These solutions can be estimated at infinity (in k-space) by .     

Narrow Escape, Part I

A Brownian particle with diffusion coefficient D is confined to a bounded domain Ω by a reflecting boundary, except for a small absorbing window . The mean time to absorption diverges as the window shrinks, thus rendering the calculation of the mean escape time a singular perturbation problem. In the three-dimensional case, we construct an asymptotic approximation when the window is an ellipse, assuming the large semi axis a is much smaller than ( is the volume), and show that the mean escape time is , where e is the eccentricity and is the complete elliptic integral of the first kind. In the special case of a circular hole the result reduces to Lord Rayleigh's formula , which was derived by heuristic considerations. For the special case of a spherical domain, we obtain the asymptotic expansion . This result is important in understanding the flow of ions in and out of narrow valves that control a wide range of biological and technological function. If Ω is a two-dimensional bounded Riemannian manifold with metric g and , we show that . This result is applicable to diffusion in membrane surfaces.     

Differential Algebraicity of Multiple Sine Functions

The differential algebraicity of the multiple sine functions is investigated. The goal of the paper is to show the differential algebraicity of when the period is rational by using the classical theory due to Ostrowski.     

Improving bounds on flavor changing vertices in the two Higgs doublet model from B^0-\bar{B}^0 mixing

We find some constraints on the flavor changing vertices of the two Higgs doublet model, from the measurement. Although bounds from this observable have already been considered, this paper takes into account the role of a new operator not included previously, as well as the vertices , and . Using the Cheng–Sher parametrization, we find that for a relatively light charged Higgs boson (200–300 GeV), we obtain , while the parameter could have values up to about 50. In addition, we use bounds for and obtained from at next to leading order, and study the case where the only vanishing vertex factors are the ones involving quarks from the first family. We obtain that is not sensitive to the change of the parameter , while .