Differential calculus on quantum spheres

Three-dimensional differential calculus on quantum spheres S _infc ^sup2 ,]–1, 1[{0}, c[0, ], is introduced and investigated. Spectra of generalized Laplacians are found. These operators are expressed by generalized directional derivatives. Classical limits of these objects are obtained and a simple approach to quantum mechanics on a quantum sphere is presented.     

Duality for a Lorentz quantum group

We give the algebra _q ^/* dual to the matrix Lorentz quantum group _q of Podles-Woronowicz, and Watamuraet al. As a commutation algebra, it has the classical form _q ^/* U _q (sl(2, )) U _q (sl(2, )). However, this splitting is not preserved by the coalgebra structure which we also give. For the derivation, we use a generalization of the approach of Sudbery, viz. tangent vectors at the identity.     

Quantum group (CO)actions onG-spaces and quantum modules

A generalized transformation theory is introduced by using quantum (non-commutative) spaces transformed by quantum Lie groups (Hopf algebras). In our method dual pairs of -quantum groups/algebras (co)act on quantum spaces equipped with the structure of a -comodule algebra. We use the quantized groupSU _q (2) as a show case, and we determine its action on modules such as theq-oscillator and the quantum sphere. We also apply our method for the quantized Euclidean groupF _q (E(2)) acting on a quantum homogeneous space. For the sphere case the construction leads to an analytic pseudodifferential vector field realization of the deformed algebra su _q (2) on the quantum projective plane for north and south pole.Presented by A.A. at the 5th International Colloquium on Quantum Groups: Quantum Groups and Integrable Systems, Prague, 20–20 June 1996 and by D.E. at the 4th International Congress of Geometry, Thessaloniki.     

Differential algebras for quantum groups of type B, C, and D

We study higher order bicovariant differential calculi on the quantum groups O_q(N) and Sp _q (N). We show that the second antisymmetrizer exterior algebra _u is the quotient of the universal exterior algebra _u by the principal ideal generated by . Here denotes the unique up to scalars biinvariant 1-form. Moreover is central in _u and _u is an inner differential calculus. We show that the quadratic dual to the left-invariant algebra _{s L} is isomorphic to the reflection equation algebra. Let be an arbitrary left-covariant first order differential calculus. We show that the dimension of the space of left-invariant 2-forms in the universal exterior algebra equals the number of linearly independent quadratic-linear relations in the quantum tangent space.     

Massive gravity as a quantum gauge theory

We present a new point of view on the quantization of the massive gravitational field, namely we use exclusively the quantum framework of the second quantization. The Hilbert space of the many-gravitons system is a Fock space F⁺ (H_graviton) where the one-particle Hilbert space H_graviton carries the direct sum of two unitary irreducible representations of the Poincaré group corresponding to two particles of mass m > 0 and spins 2 and 0, respectively. This Hilbert space is canonically isomorphic to a space of the type Ker(Q)/Im(Q) where Q is a gauge charge defined in an extension of the Hilbert space H_graviton generated by the gravitational field h and some ghosts fields u, (which are vector Fermi fields) and v (which is a vector Bose field).Then we study the self interaction of massive gravity in the causal framework. We obtain a solution which goes smoothly to the zero-mass solution of linear quantum gravity up to a term depending on the bosonic ghost field. This solution depends on two real constants as it should be; these constants are related to the gravitational constant and the cosmological constant. In the second order of the perturbation theory we do not need a Higgs field, in sharp contrast to Yang-Mills theory.     

Continuous quantum measurements and the action uncertainty principle

The path-integral approach to quantum theory of continuous measurements has been developed in preceding works of the author. According to this approach the measurement amplitude determining probabilities of different outputs of the measurement can be evaluated in the form of a restricted path integral (a path integral in finite limits). With the help of the measurement amplitude, maximum deviation of measurement outputs from the classical one can be easily determined. The aim of the present paper is to express this variance in a simpler and transparent form of a specific uncertainty principle (called the action uncertainty principle, AUP). The most simple (but weak) form of AUP is S, whereS is the action functional. It can be applied for simple derivation of the Bohr-Rosenfeld inequality for measurability of gravitational field. A stronger (and having wider application) form of AUP (for ideal measurements performed in the quantum regime) is | ^t (S[q]/q(t))q(t)dt|, where the paths [q] and [q] stand correspondingly for the measurement output and for the measurement error. It can also be presented in symbolic form as (Equation) (Path) . This means that deviation of the observed (measured) motion from that obeying the classical equation of motion is reciprocally proportional to the uncertainty in a path (the latter uncertainty resulting from the measurement error). The consequence of AUP is that improving the measurement precision beyond the threshold of the quantum regime leads to decreasing information resulting from the measurement.     

Vector fields on complex quantum groups

Using previous results we construct theq-analogues of the left invariant vector fields of the quantum enveloping algebra corresponding to the complex Lie algebras of typeA _n–1 ,B _n ,C _n , andD _n . These quantum vector fields are functionals over the complex quantum groupA. In the special caseA ₁ it is shown that this Hopf algebra coincides withU _q sl(2, ).     

HeiddenSL(n) symmetry in conformal field theories

We prove that an irreducible representation of the Virasoro algebra can be extracted from an irreducible representation space of theSL(2, ) current algebra by putting a constraint on the latter using the Becchi-Rouet-Stora-Tyutin formalism. Thus there is aSL(2, ) symmetry in the Virasoro algebra, but it is gauged and hidden. This construction of the Virasoro algebra is the quantum analogue of the Hamiltonian reduction. We then are naturally lead to consider a constrainedSL(2, ) Wess-Zumino-Witten model. This system is also related to quantum field theory of coadjoint orbit of the Virasoro group. Based on this result, we present a canonical derivation of theSL(2, ) current algebra in Polyakov's theory of two-dimensional gravity; it is a manifestation of theSL(2, ) symmetry in conformal field theory hidden by the quantum Hamiltonian reduction. We also discuss the quantum Hamiltonian reduction of theSL(2, ) current algebra and its relation to theW _n -algebra of Zamolodchikov. This makes it possible to define a natural generalization of the geometric action for theW _n -algebra despite its non-Lie-algebraic nature.This paper is dedicated to the memory of Vadik G. Knizhnik     

The quantum group structure of 2D gravity and minimal models I

On the unit circle, an infinite family of chiral operators is constructed, whose exchange algebra is given by the universalR-matrix of the quantum groupSL(2) _q . This establishes the precise connection between the chiral algebra of two dimensional gravity or minimal models and this quantum group. The method is to relate the monodromy properties of the operator differential equations satisfied by the generalized vertex operators with the exchange algebra ofSL(2) _q . The formulae so derived, which generalize an earlier particular case worked out by Babelon, are remarkably compact and may be entirely written in terms of q-deformed factorials and binomial coefficients.     

The simplified Fermi accelerator in classical and quantum mechanics

We review the simplified classical Fermi acceleration mechanism and construct a quantum counterpart by imposing time-dependent boundary conditions on solutions of the free Schrödinger equation at the unit interval. We find similiar dynamical features in the sense that limiting KAM curves, respectively purely singular quasienergy spectrum, exist(s) for sufficiently smooth wall oscillations (typically ofC ² type). In addition, we investigate quantum analogs to local approximations of the Fermi map both in its quasiperiodic and irregular phase space regions. In particular, we find pure point q.e. spectrum in the former case and conjecture that random boundary conditions are necessary to model a quantum analog to the chaotic regime of the classical accelerator.     

The classical limit of quantum partition functions

We extend Lieb's limit theorem [which asserts that SO(3) quantum spins approachS ² classical spins asL] to general compact Lie groups. We also discuss the classical limit for various continuum systems. To control the compact group case, we discuss coherent states built up from a maximal weight vector in an irreducible representation and we prove that every bounded operator is an integral of projections onto coherent vectors (i.e. every operator has diagonal form).Supported by USNSF Grant MCS-78-01885     

The quantum pentacle

Quantum set theory permits the formulation of a quantum simplicial topology suitable for a quantum theory of time space and gravity without prior time space structure. The quantum simplex differs strikingly from the classical: It is isotropic (points in all directions) and all quantum simplexes of the same signature are congruent. Quantum simplexes and complexes are described byS numbers, elements of the Clifford algebra of quantum sets. The isotropy groups of noncontiguous simplexes commute, like local invariance groups in a gaugeinvariant theory.     

Logical independence in quantum logic

The projection latticesP(₁),P(₂) of two von Neumann subalgebras ₁, ₂ of the von Neumann algebra are defined to be logically independent if A B0 for any 0AP(₁), 0BP(₂). After motivating this notion in independence, it is shown thatP(₁),P(₂) are logically independent if ₁ is a subfactor in a finite factor andP(₁),P(₂ commute. Also, logical independence is related to the statistical independence conditions called C^*-independence W^*-independence, and strict locality. Logical independence ofP(₁,P(₂ turns out to be equivalent to the C^*-independence of (₁,₂) for mutually commuting ₁,₂ and it is shown that if (₁,₂) is a pair of (not necessarily commuting) von Neumann subalgebras, thenP(₁,P(₂ are logically independent in the following cases: is a finite-dimensional full-matrix algebra and ₁,₂ are C^*-independent; (₁,₂) is a W^*-independent pair; ₁,₂ have the property of strict locality.     

λφ 4 q-Renormalization program

A regularization scheme for quantum field theories given in aq-mutator algebra for the internal momentum space in a loop integration is constructed. We show Feynman integrals that are finite forq 1but diverse asq 1. Using this regularization scheme, we propose a renormalization program in q-mutator space (q-renormalization program) for thef ⁴ theory as an example, up to some one-loop diagrams. This work paves the way to obtaining physically measurable quantities from quantum field theories over spaces that neither commute nor anticommute.     

Squeezed states parametrized by elements of noncommutative algebras

By analogy with the conventional (q=1) case, a squeezed vacuum state for theq-bosonic oscillator is constructed. It can be shown that this obeys quantum noise relations similar to those found in the undeformed state. Using the unitary displacement operator for theq-boson algebra, we show that it is possible to construct aq-squeezed state which is parameterised by elements of a noncommutative algebra. These states satisfy the Robertson-Schrödinger Uncertainty Relation and can be generalised toq-analogues of correlated coherent states.Presented at the 4th Colloquium Quantum Groups and Integrable Systems, Prague, 22–24 June 1995.One of the authors (RJM) would like to thank the organizers of this colloquium for giving him the opportunity to attend this meeting. He would also like to thank the Carnegie Trust for support in travelling expenses.     

Representations of Lie algebras from representations of quantum groups

In paper [*] (P. Moylan: Czech. J. Phys., Vol. 47 (1997), p. 1251) we gave an explicit embedding of the three dimensional Euclidean algebra (2) into a quantum structure associated with U _q(so(2, 1)). We used this embedding to construct skew symmetric representations of (2) out of skew symmetric representations of U _q(so(2, 1)). Here we consider generalizations of the results in [*] to a more complicated quantum group, which is of importance to physics. We consider U _q(so(3, 2)), and we show that, for a particular representation, namely the Rac representation, many of the results in [*] carry over to this case. In particular, we construct representations of so(3, 2), P(2, 2), the Poincaré algebra in 2+2 dimensions, and the Poincaré algebra out of the Rac representation of U _q(so(3, 2)). These results may be of interest to those working on exploiting representations of U _q(so(3, 2)), like the Rac, as an example of kinematical confinement for particle constituents such as the quarks.     

On a possible origin of quantum groups

A Poisson bracket structure having the commutation relations of the quantum group SL _q (2) is quantized by means of the Moyal star-product on C (²), showing that quantum groups are not exactly quantizations, but require a quantization (with another parameter) in the background. The resulting associative algebra is a strongly invariant nonlinear star-product realization of the q-algebra U _q (sl(2)). The principle of strong invariance (the requirement that the star-commutator is star-expressed, up to a phase, by the same function as its classical limit) implies essentially the uniqueness of the commutation relations of U _q (sl(2)).     

Braided matrix structure of the Sklyanin algebra and of the quantum Lorentz group

Braided groups and braided matrices are novel algebraic structures living in braided or quasitensor categories. As such they are a generalization of super-groups and super-matrices to the case of braid statistics. Here we construct braided group versions of the standard quantum groupsU _q (g). They have the same FRT generatorsl ^± but a matrix braided-coproductL=LL, whereL=l ⁺ Sl ^–, and are self-dual. As an application, the degenerate Sklyanin algebra is shown to be isomorphic to the braided matricesBM _q(2); it is a braided-commutative bialgebra in a braided category. As a second application, we show that the quantum doubleD(U _q (sl ₂)) (also known as the quantum Lorentz group) is the semidirect product as an algebra of two copies ofU _q (sl ₂), and also a semidirect product as a coalgebra if we use braid statistics. We find various results of this type for the doubles of general quantum groups and their semi-classical limits as doubles of the Lie algebras of Poisson Lie groups.     

Nondemolition principle of quantum measurement theory

We give an explicit axiomatic formulation of the quantum measurement theory which is free of the projection postulate. It is based on the generalized nondemolition principle applicable also to the unsharp, continuous-spectrum and continuous-in-time observations. The collapsed state-vector after the objectification is simply treated as a random vector of the a posterioristate given by the quantum filtering, i.e., the conditioning of the a prioriinduced state on the corresponding reduced algebra. The nonlinear phenomenological equation of continuous spontaneous localization has been derived from the Schrödinger equation as a case of the quantum filtering equation for the diffusive nondemolition measurement. The quantum theory of measurement and filtering suggests also another type of the stochastic equation for the dynamical theory of continuous reduction, corresponding to the counting nondemolition measurement, which is more relevant for the quantum experiments.     

Axiomatic foundations of quantum physics: Critiques and misunderstandings. Piron's question-proposition system

Some of the most frequent misconceptions about axiomatic quantum physics are discussed with the aim of clarifying their true significance, taking Piron's approach as conceptual framework. In particular, we deal with the following topics: the wrong identification of Piron's questions and Mackey's questions, and some curious alleged empirical consequences; the role of propositions as suitable equivalence classes of questions, their partial order structure, and the paradoxical consequences of the erroneous assignment to questions of some lattice properties involving propositions; the logical and the empirical purport of some negative theorems; the standard Hilbert space model of the theory and the consequent metaphysical disasters related to some identifications, which are peculiar of this model. A controversy between Foulis-Piron-Randall and Hadjisavvas-Thieffine-Mugur-Schächter is analyzed on the basis of the proposed Hilbert space model (in which Piron's questions are realized by Hilbertian effects, i.e., linear bounded operatorsF such that which clarify the different point of views. As an example, we treat the unsharp localization operators inL ₂().