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.     

Vector Measures on the Logic of <Emphasis Type="Italic">J</Emphasis>-projections of a Krein Space

Let be a Hilbert space with an inner product . In Jajte, R., and Paszkiewicz, A. (1978, Vector measure on the closed subspaces of a Hilbert space, Studia Mathematica 63, 229–251), the -measure on the logic of all orthogonal projections on H was studied. We examine the -measure on the hyperbolic logic of all J-projections on a Krein space. PACS: 03.65.Ta, 03.65.Db, 03.65.Ca.     

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     

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     

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)     

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.     

A Generator for the Weert Superpotential

Weert found a superpotential for the bounded part of the Maxwelltensor associatedto the Lienard–Wiechert field. Here we obtain afourth-rank generator for the superpotential .     

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.     

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.     

Narrow Escape, Part II: The Circular Disk

We consider Brownian motion in a circular disk Ω, whose boundary is reflecting, except for a small arc, , which is absorbing. As decreases to zero the mean time to absorption in , denoted , becomes infinite. The narrow escape problem is to find an asymptotic expansion of for . We find the first two terms in the expansion and an estimate of the error. The results are extended in a straightforward manner to planar domains and two-dimensional Riemannian manifolds that can be mapped conformally onto the disk. Our results improve the previously derived expansion for a general domain, ( is the diffusion coefficient) in the case of a circular disk. We find that the mean first passage time from the center of the disk is . The second term in the expansion is needed in real life applications, such as trafficking of receptors on neuronal spines, because is not necessarily large, even when ε is small. We also find the singular behavior of the probability flux profile into at the endpoints of , and find the value of the flux near the center of the window.     

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 .     

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.     

Covariant (hh′)-Deformed Bosonic and Fermionic Algebras as Contraction Limits of q-Deformed Ones

GL_h(n) ×GL_h(m)-covariant (hh)-bosonic[or (hh)-fermionic] algebras are built in terms of thecorresponding R_h and -matrices by contracting theGL_q(n) × -covariant q-bosonic (or q-fermionic) algebras , = 1, 2.When using a basis of wherein theannihilation operators are contragredient to thecreation ones, this contraction procedure can be carried out for any n, m values. Whenemploying instead a basis wherein the annihilationoperators, like the creation ones, are irreducibletensor operators with respect to the dual quantumalgebra U_q(gl(n)) , a contraction limit only exists forn, m {1, 2, 4, 6, . . .}. For n = 2, m = 1, andn = m = 2, the resulting relations can be expressed interms of coupled (anti)commutators (as in the classical case), by usingU_h(sl(2)) [instead of s1(2)] Clebsch-Gordancoefficients. Some U_h(sl(2)) rank-1/2irreducible tensor operators recently constructed byAizawa are shown to provide a realization of (2, 1).     

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.     

Narrow Escape, Part III: Non-Smooth Domains and Riemann Surfaces

We consider the narrow escape problem in two-dimensional Riemannian manifolds (with a metric g) with corners and cusps, in an annulus, and on a sphere. Specifically, we calculate the mean time it takes a Brownian particle diffusing in a domain Ω to reach an absorbing window when the ratio between the absorbing window and the otherwise reflecting boundary is small. If the boundary is smooth, as in the cases of the annulus and the sphere, the leading term in the expansion is the same as that given in part I of the present series of papers, however, when it is not smooth, the leading order term is different. If the absorbing window is located at a corner of angle α, then if near a cusp, then grows algebraically, rather than logarithmically. Thus, in the domain bounded between two tangent circles, the expected lifetime is , where is the ratio of the radii. For the smooth boundary case, we calculate the next term of the expansion for the annulus and the sphere. It can also be evaluated for domains that can be mapped conformally onto an annulus. This term is needed in real life applications, such as trafficking of receptors on neuronal spines, because is not necessarily large, even when is small. In these two problems there are additional parameters that can be small, such as the ratio δ of the radii of the annulus. The contributions of these parameters to the expansion of the mean escape time are also logarithmic. In the case of the annulus the mean escape time is .