Unbounded Violations of Bipartite Bell Inequalities via Operator Space Theory

In this work we show that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order ${{\rm \Omega} \left(\frac{\sqrt{n}}{\log^2n} \right)}In this work we show that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order W (\frac?nlog²n ){{\rm \Omega} \left(\frac{\sqrt{n}}{\log^2n} \right)} when observables with n possible outcomes are used. A central tool in the analysis is a close relation between this problem and operator space theory and, in particular, the very recent noncommutative L _p embedding theory.     

The geometry of generalized quantum logics

Let II be a quantum logic; by this we mean an orthocomplemented, orthomodular, partially ordered set. We assume that II carries a sufficiently large collection of states (probability measures). Then, is embedded as a base for the cone of a partially ordered normed spaceL and II is also embedded in the dual order-unit Banach spaceL ^*. We consider conditions on the pairs (, II) and (L,L ^*) that guarantee that II is a dense subset of the extreme points of the positive part of the unit ball ofL ^*. We demonstrate a connection of these conditions in noncommutative measure theory. The assumptions made here are far weaker than the assumptions of the traditional quantum mechanical formalisms and also apply to situations quite different from quantum mechanics. Finally, we show the connections of this theory to the well-known models of quantum mechanics and classical measure theory.     

Hyperbolicity and invariant measures for generalC 2 interval maps satisfying the Misiurewicz condition

In this paper we will show that piecewiseC ² mappingsf on [0,1] orS ¹ satisfying the so-called Misiurewicz conditions are globally expanding (in the sense defined below) and have absolute continuous invariant probability measures of positive entropy. We do not need assumptions on the Schwarzian derivative of these maps. Instead we need the conditions thatf is piecewiseC ², that all critical points off are non-flat, and thatf has no periodic attractors. Our proof gives an algorithm to verify this last condition. Our result implies the result of Misiurewicz in [Mi] (where only maps with negative Schwarzian derivatives are considered). Moreover, as a byproduct, the present paper implies (and simplifies the proof of) the results of Mañé in [Ma], who considers generalC ² maps (without conditions on the Schwarzian derivative), and restricts attention to points whose forward orbit stay away from the critical points. One of the main complications will be that in this paper we want to prove the existence of invariant measures and therefore have to consider points whose iterations come arbitrarily close to critical points. Misiurewicz deals with this problem using an assumption on the Schwarzian derivative of the map. This assumption implies very good control of the non-linearity off ⁿ, even for highn. In order to deal with this non-linearity, without an assumption on the Schwarzian derivative, we use the tools of [M.S.]. It will turn out that the estimates we obtain are so precise that the existence of invariant measures can be proved in a very simple way (in some sense much simpler than in [Mi]). The existence of these invariant measures under such general conditions was already conjectured a decade ago.     

On the Law of Multiplication of Random Matrices

We recover Voiculescu's results on multiplicative free convolutions of probability measures by different techniques which were already developed by Pastur and Vasilchuk for the law of addition of random matrices. Namely, we study the normalized eigenvalue counting measure of the product of two n×n unitary matrices and the measure of the product of three n×n Hermitian (or real symmetric) positive matrices rotated independently by random unitary (or orthogonal) Haar distributed matrices. We establish the convergence in probability as n to a limiting nonrandom measure and obtain functional equations for the Herglotz and Stieltjes transforms of that limiting measure.     

Conceptual Unification of Gravity and Quanta

We present a model unifying general relativity and quantum mechanics. The model is based on the (noncommutative) algebra on the groupoid Γ=E×G where E is the total space of the frame bundle over spacetime, and G the Lorentz group. The differential geometry, based on derivations of , is constructed. The eigenvalue equation for the Einstein operator plays the role of the generalized Einstein’s equation. The algebra , when suitably represented in a bundle of Hilbert spaces, is a von Neumann algebra ℳ of random operators representing the quantum sector of the model. The Tomita–Takesaki theorem allows us to define the dynamics of random operators which depends on the state φ. The same state defines the noncommutative probability measure (in the sense of Voiculescu’s free probability theory). Moreover, the state φ satisfies the Kubo–Martin–Schwinger (KMS) condition, and can be interpreted as describing a generalized equilibrium state. By suitably averaging elements of the algebra , one recovers the standard geometry of spacetime. We show that any act of measurement, performed at a given spacetime point, makes the model to collapse to the standard quantum mechanics (on the group G). As an example we compute the noncommutative version of the closed Friedman world model. Generalized eigenvalues of the Einstein operator produce the correct components of the energy-momentum tensor. Dynamics of random operators does not “feel” singularities.     

Differential entropy and tiling

This paper relates the differential entropy of a sufficiently nice probability density functionp on Euclideann-space to the problem of tilingn-space by the translates of a given compact symmetric convex setS with nonempty interior. The relationship occurs via the concept of the epsilon entropy ofn-space under the norm induced byS, with probability induced byp. An expression is obtained for this entropy as approaches 0, which equals the differential entropy ofp, plusn times the logarithm of 2/, plus the logarithm of the reciprocal of the volume ofS, plus a constantC(S) depending only onS, plus a term approaching zero with. The constantC(S) is called the entropic packing constant ofS; the main results of the paper concern this constant. It is shown thatC(S) is between 0 and 1; furthermore,C(S) is zero if and only if translates ofS tile all ofn-space.This paper presents the results of one phase of research carried out at the Jet Propulsion Laboratory, California Institute of Technology, under Contract No. NAS 7-100, sponsored by the National Aeronautics and Space Administration.     

Renormalisation of <Emphasis Type="Italic">ϕ</Emphasis><Superscript>4</Superscript>-Theory on Noncommutative ℝ<Superscript>4</Superscript> in the Matrix Base

We prove that the real four-dimensional Euclidean noncommutative ⁴-model is renormalisable to all orders in perturbation theory. Compared with the commutative case, the bare action of relevant and marginal couplings contains necessarily an additional term: an harmonic oscillator potential for the free scalar field action. This entails a modified dispersion relation for the free theory, which becomes important at large distances (UV/IR-entanglement). The renormalisation proof relies on flow equations for the expansion coefficients of the effective action with respect to scalar fields written in the matrix base of the noncommutative ⁴. The renormalisation flow depends on the topology of ribbon graphs and on the asymptotic and local behaviour of the propagator governed by orthogonal Meixner polynomials.     

A noncommutative geometric approach to left-right symmetric weak interactions

By combining the generalized exterior algebra of forms over a noncommutative algebra with the gauging of discrete directions and the associated Higgs fields, we consider the construction of the bosonic sector of left-right symmetric models of the form SU(2) _L SU(2) _R U(1). We see that within this formalism maximal use can be made of the gauge connection associated with the noncommutative graded algebra.     

Dimension and Dynamical Entropy for Metrized <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">*</Emphasis></Superscript>-Algebras

 We introduce notions of dimension and dynamical entropy for unital C ^* -algebras ``metrized' by means of , which are complex-scalar versions of the Lip-norms constitutive of Rieffel's compact quantum metric spaces. Our examples involve the UHF algebras and noncommutative tori. In particular we show that the entropy of a noncommutative toral automorphism with respect to the canonical coincides with the topological entropy of its commutative analogue. Received: 13 February 2002 / Accepted: 20 August 2002 Published online: 22 November 2002     

Almost Sure Weak Convergence for the Generalized Orthogonal Ensemble

The generalized orthogonal ensemble satisfies isoperimetric inequalities analogous to the Gaussian isoperimetric inequality, and an analogue of Wigner's law. Let v be a continuous and even real function such that V(X)=tracev(X)/n defines a uniformly p-convex function on the real symmetric n×n matrices X for some p2. Then (dX)=e ^–V(X) dX/Z satisfies deviation and transportation inequalities analogous to those satisfied by Gaussian measure^{(6, 27)}, but for the Schatten c ^p norm. The map, that associates to each XM ^s _n () its ordered eigenvalue sequence, induces from a measure which satisfies similar inequalities. It follows from such concentration inequalities that the empirical distribution of eigenvalues converges weakly almost surely to some non-random compactly supported probability distribution as n.     

Dynamics of Abelian Higgs vortices in the near Bogomolny regime

The aim of this paper is to give an analytical discussion of the dynamics of the Abelian Higgs multi-vortices whose existence was proved by Taubes ([JT82]). For a particular value of a parameter of the theory, , called the Higgs self-coupling constant, there is no force between two vortices and there exist static configurations corresponding to vortices centred at any set of points in the plane. This is known as the Bogomolny regime. We will develop some formal asymptotic expansions to describe the dynamics of these multi-vortices for close, but not equal to, this critical value. We shall then prove the validity of these asymptotic expansions. These expansions allow us to give a finite dimensional Hamiltonian system which describes the vortex dynamics. The configuration space of this system is the moduli space—the space of solutions of the static equations modulo gauge equivalence. The kinetic energy term in the Hamiltonian is obtained from the natural metric on the moduli space given by theL ² inner product of the tangent vectors. The potential energy gives the intervortex potential which is non-zero when is not given by its critical value. Thus the reduced equations for the evolution of the vortex parameters take the form of geodesics, with force terms to express the departure from the Bogomolny regime. The geodesics are geodesics on the moduli space with respect to the metric defined by theL ² inner product of the tangent vectors, in accordance with Manton's suggestion ([Man82]). This allows an understanding of the two main phenomenological issues—first of all there is the right angle scattering phenomenon, according to which two vortices passing through one another scatter through ninety degrees. Secondly there is the conjecture from numerical calculations that vortices repel for greater than the critical value, and attract for less than this value. The results of this paper allow a rigorous understanding of the right angle scattering phenomenon ([Sam92, Hit88]) and reduce the question of attraction or repulsion in the near Bogomolny regime to an understanding of the potential energy term in the Hamiltonian ([JR79]).     

Higher abelian gauge theory associated to gerbes on noncommutative deformed M5-branes and S-duality

We enhance the action of higher abelian gauge theory associated to a gerbe on an M5-brane with an action of a torus ${\mathbb{T}}^n(n\ge 2)$, by a noncommutative ${\mathbb{T}}^n$-deformation of the M5-brane. The ingredients of the noncommutative action and equations of motion include the deformed Hodge duality, deformed wedge product, and the noncommutative integral over the noncommutative space obtained by strict deformation quantization. As an application we then introduce a variant model with an enhanced action in which we show that the corresponding partition function is a modular form, which is a purely noncommutative geometry phenomenon since the usual theory only has a ${\mathbb{Z}}_2$-symmetry. In particular, S-duality in this 6-dimensional higher abelian gauge theory model is shown to be, in this sense, on par with the usual 4-dimensional case.     

Towards κ-deformed D=4 relativistic field theory

We describe free relativistic fields on noncommutative -deformed D=4 Minkowski space. Three possible types of -deformed Fourier transforms are discussed, related with three different -deformed mass-shell conditions.     

Causal independence of free quantum fields

Causal independence of local observable algebras for free Dirac field, free electromagnetic field and free scalar massless field is proved. A method suggested for the proof is based on the noncommutative probability theory technique.Invited talk at the Symposium on Mathematical Methods in the Theory of Elementary Particles. Liblice castle, Czechoslovakia, June 18–23, 1978.     

About a Generalization of Bell's Inequality

We make use of natural induction to propose, following John Ju Sakurai, a generalization of Bell's inequality for two spin s=n/2(n=1,2,...) particle systems in a singlet state. We have found that for any finite integer or half-integer spin Bell's inequality is violated when the terms in the inequality are calculated from a quantum mechanical point of view. In the final expression for this inequality the two members therein are expressed in terms of a single parameter . Violation occurs for in some interval of the form (,/2) where parameter becomes closer and closer to /2, as the spin grows, that is, the greater the spin number the size of the interval in which violation occurs diminishes to zero. Bell's inequality is a relationship among observables that discriminates between Einstein's locality principle and the non-local point of view of orthodox quantum mechanics. So our conclusion may also be stated by saying that for large spin numbers the non-local and local points of view agree.     

Optimal Concentration for SU(1, 1) Coherent State Transforms and An Analogue of the Lieb-Wehrl Conjecture for SU(1, 1)

We derive a lower bound for the Wehrl entropy in the setting of SU(1, 1). For asymptotically high values of the quantum number k, this bound coincides with the analogue of the Lieb-Wehrl conjecture for SU(1, 1) coherent states. The bound on the entropy is proved via a sharp norm bound. The norm bound is deduced by using an interesting identity for Fisher information of SU(1, 1) coherent state transforms on the hyperbolic plane and a new family of sharp Sobolev inequalities on . To prove the sharpness of our Sobolev inequality, we need to first prove a uniqueness theorem for solutions of a semi-linear Poisson equation (which is actually the Euler-Lagrange equation for the variational problem associated with our sharp Sobolev inequality) on . Uniqueness theorems proved for similar semi-linear equations in the past do not apply here and the new features of our proof are of independent interest, as are some of the consequences we derive from the new family of Sobolev inequalities. Work partially supported by U.S. National Science Foundation grant DMS 06-00037.     

Almost Commutative Riemannian Geometry: Wave Operators

Associated to any (pseudo)-Riemannian manifold M of dimension n is an n + 1-dimensional noncommutative differential structure (Ω¹, d) on the manifold, with the extra dimension encoding the classical Laplacian as a noncommutative ‘vector field’. We use the classical connection, Ricci tensor and Hodge Laplacian to construct (Ω², d) and a natural noncommutative torsion free connection \({(\nabla,\sigma)}\) on Ω¹. We show that its generalised braiding \({\sigma:\Omega^1\otimes\Omega^1\to \Omega^1\otimes\Omega^1}\) obeys the quantum Yang-Baxter or braid relations only when the original M is flat, i.e. their failure is governed by the Riemann curvature, and that σ ² = id only when M is Einstein. We show that if M has a conformal Killing vector field τ then the cross product algebra \({C(M)\rtimes_\tau\mathbb{R}}\) viewed as a noncommutative analogue of \({M\times\mathbb{R}}\) has a natural n + 2-dimensional calculus extending Ω¹ and a natural spacetime Laplacian now directly defined by the extra dimension. The case \({M=\mathbb{R}^3}\) recovers the Majid-Ruegg bicrossproduct flat spacetime model and the wave-operator used in its variable speed of light prediction, but now as an example of a general construction. As an application we construct the wave operator on a noncommutative Schwarzschild black hole and take a first look at its features. It appears that the infinite classical redshift/time dilation factor at the event horizon is made finite.     

A non-commutative version of the Arnold cat map

We provide a treatment of the ergodic properties of a noncommutative algebraic analogue of the dynamical system known as the Arnold cat map of the two-dimensional torus. Here, the algebra of functions on the torus is replaced by its noncommutative analogue, formulated by Connes and Rieffel, which arises in the quantum Hall effect. Our main results are that (a) the system is mixing and, as in the classical case, the unitary operator, representing its dynamical map, has countable Lebesgue spectrum; (b) for rational values of the noncommutativity parameter, , the model is a K-system, in the algebraic sense of Emch, Narnhofer, and Thirring, though not in the entropic sense of Narnhofer and Thirring; (c) for irrational values of , except possibly for a set of zero Lebesgue measures, it is neither an algebraic nor an entropic K-system.Supported in part by Fonds zur Förderung der wissenschaftlichen Forschung in Österreich, Project No. P7101-PHY.     

Entropy dissipation and moment production for the Boltzmann equation

LetH(f/M)=flog(f/M)dv be the relative entropy off and the Maxwellian with the same mass, momentum, and energy, and denote the corresponding entropy dissipation term in the Boltzmann equation byD(f)=Q(f,f) logf dv. An example is presented which shows that |D(f)/H(f/M)| can be arbitrarily small. This example is a sequence of isotropic functions, and the estimates are very explicitly given by a simple formula forD which holds for such functions. The paper also gives a simplified proof of the so-called Povzner inequality, which is a geometric inequality for the magnitudes of the velocities before and after an elastic collision. That inequality is then used to prove that f(v) |v|^s dt<C(t), wheref is the solution of the spatially homogeneous Boltzmann equation. HereC(t) is an explicitly given function dependings and the mass, energy, and entropy of the initial data.