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.     

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.     

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.     

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 .     

One criterion of semigroup product convergence

Let exp(-tA) and exp(-tB) be C ₀ contraction semigroups on both K and , where K is a Hilbert space and is a reflexive Banach space such that the linear space K is dense both in K and . Let ^* be a dual pair of Banach spaces. In this paper we study some properties of infinitesimal operators of these semigroups. We show that under suitable assumptions there is some connection between the form-sum A+B and a closure of A ₁+B₁, where -A ₁ is an infinitesimal operator of C ₀ contraction semigroup exp(-tA ₁) which is the extension by continuity on of C ₀ contraction semigroup exp(-tA) Kin . In particular we give some criterion of an m-accretive closability A ₁+B ₁ which may be applied for example to the Schrödinger operators acting in suitable L ^p-spaces. Also this criterion together with properties of semigroups under consideration results in the establishment of the Lie-Trotter formulae.     

The heat semigroup and integrability of Lie algebras: Lipschitz spaces and smoothness properties

We define and analyze Lipschitz spaces _,q associated with a representationxgV(x) of the Lie algebrag by closed operatorsV(x) on the Banach space together with a heat semigroupS. If the action ofS satisfies certain minimal smoothness hypotheses with respect to the differential structure of (,g,V) then the Lipschitz spaces support representations ofg for which productsV(x)V(y) are relatively bounded by the Laplacian generatingS. These regularity properties of the _,q can then be exploited to obtain improved smoothness properties ofS on . In particularC ₄-estimates on the action ofS automatically implyC -estimates. Finally we use these results to discuss integrability criteria for (,g,V).Dedicated to Res Jost and Arthur Wightman     

Nonexistence of hidden variables in the algebraic approach

Given two unital C*-algebrasA, and their state spacesE _A , E respectively, (A,E _A ) is said to have (, E) as a hidden theory via a linear, positive, unit-preserving map L: A if, for all E _A , L* can be decomposed in E into states with pointwise strictly less dispersion than that of . Conditions onA and L are found that exclude (A,E _A ) from having a hidden theory via L. It is shown in particular that, ifA is simple, then no (, E) can be a hidden theory of (A,E _A ) via a Jordan homomorphism; it is proved furthermore that, ifA is a UHF algebra, it cannot be embedded into a larger C*-algebra such that (, E) is a hidden theory of (A,E _A ) via a conditional expectation from ontoA.     

On the schwarz problem for the [^(\textsu)]\text2 \widehat{{\text{su}}}_{\text{2}} Knizhnik-Zamolodchikov equation

We study the monodromy representations ^k,Iof the mapping class group ₄ acting on 4-point blocks satisfying the Knizhnik-Zamolodchikov equation for the levelk su₂ current algebra. We classify all irreducible ^k,Iwhich are realized by finite groups; we also display finite irreducible components for the reducible representations corresponding tok = 10.Supported by the Federal Ministry of Science and Research, Austria.     

Non-uniqueness of the heat-current operator and the hopping thermoelectric and thermomagnetic phenomena

The Hardy's corrections to the Maradudin's lattice part of the total heat current operator are shown to yield no corrections to the hopping thermoelectric coefficients of amorphous solids and glasses in the lowest (minus-first) order of the electron phonon coupling constant. But even after including the magnetic field (0, 0,), the lowest non-zero (zeroth order) contributions to the Peltier and Seebeck tensors are shown to be diagonal, yielding thus no contribution to the Nernst and Ettingshaussen coefficients. Therefore, the Hardy corrections, which might yield the next (first) order contributions to these coefficients, appear to be crucial for treating the thermomagnetic phenomena in amorphous and glassy materials.     

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.     

Characterizing invariants for local extensions of current algebras

ParisA of local quantum field theories are studied, whereA is a chiral conformal quantum field theory and is a local extension, either chiral or two-dimensional. The local correlation functions of fields from have an expansion with respect toA into conformal blocks, which are non-local in general. Two methods of computing characteristic invariant ratios of structure constants in these expansions are compared: (a) by constructing the monodromy representation of the braid group in the space of solutions of the Knizhnik-Zamolodchikov differential equation, and (b) by an analysis of the local subfactors associated with the extension with methods from operator algebra (Jones theory) and algebraic quantum field theory. Both approaches apply also to the reverse problem: the characterization and (in principle) classification of local extensions of a given theory.     

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.     

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.     

Spectral properties of a class of operators associated with conformal maps in two dimensions

Iff is a rational map of the Riemann sphere, define the transfer operator by Let also be the Banach space of functions for which the second derivatives are measures. Ifg andg satisfies a simple integrability condition (implying thatg vanishes at critical points and multiple poles off) then is a bounded linear operator on . The essential spectral radius of can be estimated and, under suitable conditions, proved to be strictly less than the spectral radius. Similar estimates for more general operators are also obtained.     

On weak and monotone σ-closures ofC*-algebras

It is proved that the monotone -closure of the self-adjoint part of anyC*-algebraA is the self-adjoint part of aC*-algebra . IfA is of type I it is proved that is weakly -closed, i.e. is a*-algebra. The physical importance of*-algebras was explained in [1] and [7].     

p-adic Heisenberg group and Maslov index

A system of coordinates on a set of selfdual lattices in a two-dimensionalp-adic symplectic space (V,) is suggested. A unitary irreducible representation of the Heisenberg group of the space (V,) depending on a lattice (an analogue of the Cartier representation) is constructed and its properties are investigated. By the use of such representations for three different lattices one defines the Maslov index =(₁,₂,₃) of a triple of lattices. Properties of the index are investigated and values of in coordinates for different triples of lattices are calculated.     

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.     

On learning and energy-entropy dependence in recurrent and nonrecurrent signed networks

Learning of patterns by neural networks obeying general rules of sensory transduction and of converting membrane potentials to spiking frequencies is considered. Any finite number of cellsA can sample a pattern playing on any finite number of cells without causing irrevocable sampling bias ifA = orA =. Total energy transfer from inputs ofA to outputs of depends on the entropy of the input distribution. Pattern completion on recall trials can occur without destroying perfect memory even ifA = by choosing the signal thresholds sufficiently large. The mathematical results are global limit and oscillation theorems for a class of nonlinear functional-differential systems.The preparation of this work was supported in part by the National Science Foundation (GP 9003), the Office of Naval Research (N00014-67-A-024-OQ16), and the A.P. Sloan Foundation.     

Recovery of Dirac Equations from Their Solutions

We deal with quantum field theory in the restriction to external Bose fields. Let be the Dirac equation. We prove that a nonquantized Bose field is a functional of the Dirac field whenever this is canonical. Performing the verification for := m = const, which yields the free Dirac field, we also prepare the tedious verifications for all which are nonquantized and static. Such verifications must not be confused, however, with the proof of our formula, which is shown in detail.     

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.