Implementation of comparative probability by normal states. Infinite dimensional case

Let be an infinite dimensional Hilbert space and () the set of all (orthogonal) projections on . A comparative probability on () is a linear preorder on () such thatOP1,1O and such that ifP┴R,Q┴R, thenPQP+RQ+R for allP, Q, R in (). We give a sufficient and necessary condition for to be implemented in a canonical way by a normal state onB(), the bounded linear operators on .     

A general class of (essentially) iso-spectral perturbations

We consider (essentially) iso-spectral perturbations of operators of the formH _A=A ^* A withA being a densely defined closed linear operator from a Hilbert space to another Hilbert space . We perturbH _A by perturbingA asA+B withB being a linear operator from to . Two classes ofB are defined so as to obtain (essentially) iso-spectral perturbations ofH _A. The abstract results are applied to Schrödinger operators. Our approach gives also a mathematical unification for the so-called factorization method in quantum mechanics.     

An asymptotically flat ℋ space

The null geodesic equation is solved for the space of Sparling and Tod. Bondi coordinates are found and it is verified that the space construction is idempotent, i.e., the -space of this space is itself, symbolically ² = . Properties of the solution are used to motivate a definition of asymptotic flatness.S.R.C. Postdoctoral Research Fellow.     

On solving Einstein's field equations in the Newman-Penrose formalism

Using the Newman-Penrose formalism and Penrose's conformai rescaling a method is presented for finding systematically solutions of (or, at least, reduced equations for) the general field equations. These solutions are necessarily (locally) asymptotically flat and are represented in a coordinate system based on a geodesic, twist-free, expanding null congruence. All redundant equations are disposed of and the freely specifiable data are clearly exhibited. Although the few equations that remain to be solved are, in general, intractable, well-known theorems guarantee the existence and uniqueness of solutions. The method applies to spaces and spaces as well as to real space-times.     

On the relative entropy

ForA any subset of () (the bounded operators on a Hilbert space) containing the unit, and and restrictions of states on () toA, ent _A (|)—the entropy of relative to given the information inA—is defined and given an axiomatic characterisation. It is compared with ent _A ^A (|)—the relative entropy introduced by Umegaki and generalised by various authors—which is defined only forA an algebra. It is proved that ent and ent ^S agree on pairs of normal states on an injective von Neumann algebra. It is also proved that ent always has all the most important properties known for ent ^S : monotonicity, concavity,w* upper semicontinuity, etc.     

On quantum holonomy for mixed states

There is a natural connection and parallel transport on the Hilbert tensor product (or, equivalently, the space of Hilbert-Schmidt operators), the elements of which represent density matrices in up to unitary operators. We postulate a time evolution equation, which leads to this connection after extracting a proper dynamical unitary phase. As an example, we compute the holonomy of a loop of temperature states for the spin in a rotating magnetic field.Supported by Fonds zur Förderung der wissenschaftlichen Forschung in Österreich, Project No. P5588.     

Schütte's tautology and the Kochen-Specker theorem

I present a new 33-ray proof of the Kochen and Specker no-go hidden variable theorem in ₃, based on a classical tautology that corresponds to a contingent quantum proposition in ₃ proposed by Kurt Schütte in an unpublished letter to Specker in 1965. 1 discuss the relation of this proof to a 31-ray proof by Conway and Kochen, and to a 33-ray proof by Peres.     

Quasi-free “second quantization”

Araki and Wyss considered in 1964 a mapAQ(A) of one-particle trace-class observables on a complex Hilbert-space into the fermionC*-algebraU() over . In particular they considered this mapping in a quasi-free representation.We extend the mapAQ(A) in a quasi-free representation labelled byT, 0TI, to allAB()_sa such that tr(T A(1–T)A)< withQ(A) now affiliated with the algebra. This generalizes some well-known results of Cook on the Fock-representationT=0.     

Statistics of complex levels of random matrices for decaying systems

We present analytical and numerical results for the level density of a certain class of random non-Hermitian matrices =H+i. The conservative partH belongs to the Gaussian orthogonal ensemble while the damping piece is quadratic in Gaussian random numbers and may describe the decay of resonances through various channels. In the limit of a large matrix dimension the level density assumes a surprisingly simple dependence on the relative strength of the damping and the number of channels. Moreover, we identify situations with cubic repulsion between the complex eigenvalues of , to within a logarithmic correction.     

Maximal violation of Bell's inequalities is generic in quantum field theory

Under weak technical assumptions on a net of local von Neumann algebras {A(O)} in a Hilbert space , which are fulfilled by any net associated to a quantum field satisfying the standard axioms, it is shown that for every vector state in there exist observables localized in complementary wedge-shaped regions in Minkowski space-time that maximally violate Bell's inequalities in the state . If, in addition, the algebras corresponding to wedge-shaped regions are injective (which is known to be true in many examples), then the maximal violation occurs in any state on () given by a density matrix.     

On the characterization of the stationary state of a class of dynamical semigroups

We consider a representation of the entropy production for a completely positive, trace-preserving dynamical semigroup satisfying detailed balance with respect to its faithful stationary state denned on aW*-algebra(): it is expressed as a positive Hermitian form on(), which is analogous to the quantum correlation functions used in the Kubo theory. By considering this Hermitian form as a variation function of a vector in(), an exact characterization of the stationary states of semigroups in a certain class is obtained. On this basis, the problem of characterizing the stationary states discussed by Spohn and Lebowitz for manyreservoir open systems is solved without the restriction to situations near thermal equilibrium.     

A remark on a paper of J. F. Aarnes

LetA be aC*-algebra on the separable Hilbert space , and let be the von Neumann generated byA. LetG be a topological group anda(a) a representation ofG into the group of *-automorphisms ofA. Suppose that each (a) extends to a *-automorphism of , and suppose thata(a)(T)x, y is continuous for eachT inA andx, y and . Then, for a large class of groupsG, one has automatically thata(a)(T)x,y is continuous for allT in andx, y in .Supported in part by NSF Grant GP-9141.     

Fuzzy quantum logic II. The logics of unsharp quantum mechanics

A survey of the main results of the Italian group about the logics of unsharp quantum mechanics is presented. In particular partial ordered structures playing with respect to effect operators (linear bounded operatorsF on a Hilbert space such that, 0¦F²) the role played by orthomodular posets with respect to orthogonal projections (corresponding to sharp effects) are analyzed. These structures are generally characterized by the splitting of standard orthocomplementation on projectors into two nonusual orthocomplementations (afuzzy-like and anintuitionistic-like) giving rise to different kinds of Brouwer-Zadeh (BZ) posets: de Morgan BZ posets, BZ^* posets, and BZ³ posets. Physically relevant generalizations of ortho-pair semantics (paraconsistent, regular paraconsistent, and minimal quantum logics) are introduced and their relevance with respect to the logic of unsharp quantum mechanics are discussed.     

Generating fields from data onH − ⋃H +andH − ⋃I +

There are series solutions for characteristic boundary value problems for fields on black hole backgrounds that converge when the data are given on =^{– +}, or on =^{– +}, but may not converge when the data are given on ^{– –}, or on ^{+ +}. We specialize to oscillatory data of frequency and calculate approximate reflection and transmission coefficientsR() andT(), using a field generated by data on =^{– +}, and again, using a field generated by data on ^{– –}. The first calculation gives qualitatively good results at all frequencies at each order of approximation, and quantitatively better results at higher orders of approximation; the second calculation, using the series which may not converge, gives bad results except at very high frequencies. Thus for the physically unnatural case of a field that vanishes on ^– and goes toe ^iv on ⁺ we have a series that is convergent, and uniformly so with respect to frequency, while for the natural case of a field that vanishes on ^– and goes toe ^iv on ^– we are limited to high frequencies. It is argued that a frequency-dependent renormalization of a series of the first type provides an approximation scheme that is convergent, and uniformly so with respect to frequency, for the physically important problems of the second type. The difficulties posed by the -dependent renormalization for the study of incident pulses are discussed.     

Product states for local algebras

Let ()() and () () be the von Neumann algebras associated with the space-tiem regions and respectively in the vacuum representation of the free neutral massive scalar field. For suitably chosen spacelike separated regions and it is proved that there exists a normal product state of (), Some consequences for the algebraic structure of the local rings are pointed out.     

Types of von Neumann algebras associated with extremal invariant states

A globalized version of the following is proved. Let be a factor acting on a Hilbert space ,G a group of unitary operators on inducing automorphisms of ,x a vector separating and cyclic for which is up to a scalar multiple the unique vector invariant under the unitaries inG. Then either is of type III or _x is a trace of . The theorem is then applied to study the representations due to invariant factors state of asymptotically abelianC*-algebras, and to show that in quantum field theory certain regions in the Minkowski space give type III factors.     

Canonical quantization

The dynamical variables of a classical system form a Lie algebra , where the Lie multiplication is given by the Poisson bracket. Following the ideas ofSouriau andSegal, but with some modifications, we show that it is possible to realize as a concrete algebra of smooth transformations of the functionals on the manifold of smooth solutions to the classical equations of motion. It is even possible to do this in such a way that the action of a chosen dynamical variable, say the Hamiltonian, is given by the classical motion on the manifold, so that the quantum and classical motions coincide. In this realization, constant functionals are realized by multiples of the identity operator. For a finite number of degrees of freedom,n, the space of functionals can be made into a Hilbert space using the invariant Liouville volume element; the dynamical variablesF become operators in this space. We prove that for any hamiltonianH quadratic in the canonical variablesq ₁...q _n ,p ₁...p _n there exists a subspace ₁ which is invariant under the action of and , and such that the restriction of to ₁ form an irreducible set of operators. Therefore,Souriau's quantization rule agrees with the usual one for quadratic hamiltonians. In fact, it gives the Bargmann-Segal holomorphic function realization. For non-linear problems in general, however, the operators form a reducible set on any subspace of invariant under the action of the Hamiltonian. In particular this happens for . Therefore,Souriau's rule cannot agree with the usual quantization procedure for general non-linear systems.The method can be applied to the quantization of a non-linear wave equation and differs from the usual attempts in that (1) at any fixed time the field and its conjugate momentum may form a reducible set (2) the theory is less singular than usual.For a particular wave equation , we show heuristically that the interacting field may be defined as a first order differential operator acting onc -functions on the manifold of solutions. In order to make this space into a Hilbert space, one must define a suitable method of functional integration on the manifold; this problem is discussed, without, however, arriving at a satisfactory conclusion.On leave from Physics Department, Imperial College, London SW7.Work partly supported by the Office of Scientific Research, U.S. Air Force.     

Singular Perturbations of Self-Adjoint Operators

Singular finite rank perturbations of an unbounded self-adjoint operator A ₀ in a Hilbert space ₀ are defined formally as A ₍₎=A ₀+GG ^*, where G is an injective linear mapping from = ^d to the scale space _-k(A₀)k , kN, of generalized elements associated with the self-adjoint operator A ₀, and where is a self-adjoint operator in . The cases k=1 and k=2 have been studied extensively in the literature with applications to problems involving point interactions or zero range potentials. The scalar case with k=2n>1 has been considered recently by various authors from a mathematical point of view. In this paper, singular finite rank perturbations A ₍₎ in the general setting ran G – _k (A ₀), kN, are studied by means of a recent operator model induced by a class of matrix polynomials. As an application, singular perturbations of the Dirac operator are considered.     

Construction of Covariant Differential Calculi on Quantum Homogeneous Spaces

A method of constructing covariant differential calculi on a quantum homogeneous space is devised. The function algebra of the quantum homogeneous space is assumed to be a left coideal of a coquasitriangular Hopf algebra and to contain the coefficients of any matrix over which is the two-sided inverse of one with entries in . The method is based on partial derivatives. For the quantum sphere of Podle and the quantizations of symmetric spaces due to Noumi, Dijkhuizen and Sugitani, the construction produces the subcalculi of the standard bicovariant calculus on the quantum group.     

Some Characterizations of the Underlying Division Ring of a Hilbert Lattice by Automorphisms

We give an ortholattice theoretical version, bymeans of an ortholattice automorphism, of the theorem ofM. P. Soler characterizing Hilbert spaces byorthomodular spaces. Given an orthomodular space H and an orthoclosed subspace X of , we studythe group of all unitary operators on whoserestrictions to X and to X are bothidentical maps. This enables us to obtain completecharacterizations of the underlying division ring of a Hilbert lattice, for eachclassical case where this division ring is R,C, or H (the skew field of quaternions),by means of one or several ortholatticeautomorphisms.