Ideal,first-kind measurements in a proposition-state structure

Let be an orthomodular lattice and a strongly ordering set of probability measures on such that supports of measures exist in . Then we show the existence of a set of mappings of into that are physically interpretable as ideal, first-kind measurements.     

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.     

Measures on infinite-dimensional orthomodular spaces

We classify the measures on the lattice of all closed subspaces of infinite-dimensional orthomodular spaces (E, ) over fields of generalized power series with coefficients in . We prove that every -additive measure on can be obtained by lifting measures from the residual spaces of (E, ). The measures being lifted are known, for the residual spaces are Euclidean. From the classification we deduce, among other things, that the set of all measures on is not separating.Research supported by the Swiss National Science Foundation.     

Feynman integral and complex classical trajectories

Let _t be an analytic solution of the Schrödinger equation with the initial condition . Let _t be the solution of the Schrödinger equation with the initial condition =, where is an analytic function. When 0, then _t (x) _t (x)¹ ( _t (x)), where _t (x) trajectory starting from x. We relate this result to Feynman's sum over trajectories and complex stochastic differential equations.     

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.     

Embedding of posets into lattices in quantum logic

It has been proposed that some posets of quantum logic could be embedded into lattices in order to recover the lattice structure avoiding the introduction of ad hoc axioms. We consider here the embedding _s of any posetS into the complete lattice _s of its closed ideals (normal embedding ofS) and show that _s can be characterized (up to a lattice isomorphism) either by means of a density property or by means of a minimality property. Both of these suggest that the normal embedding satisfies some intuitive conditions which make it preferable with respect to other possible embeddings ofS. We consider the poset of all the effects associated to yes-no experiments and briefly comment on the application of the normal embedding in this case. The possibility of giving a physical interpretation to the elements of is also discussed.Research sponsored by CNR and INFN (Italy).     

The unified approach to spectral analysis

We develop a new, unified, method to construct a closed (selfad-joint in ²) extension of a partial differential operator in all the spaces ^p ( ⁿ ) 1p. Our method is not only an unified approach but it is also very efficient. We obtain very weak conditions on the potentials.     

Duality for dual covariance algebras

One way of generalizing the definition of an action of the dual group of a locally compact abelian group on a von Neumann algebra to non-abelian groups is to consider (G)-comodules, where (G) is the Hopfvon Neumann algebra generated by the left regular representation ofG. To a (G)-comodule we shall associate a dual covariance algebra and a natural covariant system ( , ,G), and in Theorem 1 the covariant systems coming from (G)-comodules are characterized. In [2] it was shown that the covariance algebra of a covariant system in a natural way is a (G)-comodule. Therefore one can form the dual covariance algebra of a covariance algebra and the covariance algebra of a dual covariance algebra. Theorems 2 and 3 deal with these algebras — generalizing a result by Takesaki. As an application we give a new proof of a theorem by Digernes stating that the commutant of a covariance algebra itself is a covariance algebra and prove the similar result for dual covariance algebras.     

Noise Corrections to Stochastic Trace Formulas

We review studies of an evolution operator for a discrete Langevin equation with a strongly hyperbolic classical dynamics and a Gaussian noise. The leading eigenvalue of yields a physically measurable property of the dynamical system, the escape rate from the repeller. The spectrum of the evolution operator in the weak noise limit can be computed in several ways. A method using a local matrix representation of the operator allows to push the corrections to the escape rate up to order eight in the noise expansion parameter. These corrections then appear to form a divergent series. Actually, via a cumulant expansion, they relate to analogous divergent series for other quantities, the traces of the evolution operators ⁿ. Using an integral representation of the evolution operator , we then investigate the high order corrections to the latter traces. Their asymptotic behavior is found to be controlled by sub-dominant saddle points previously neglected in the perturbative expansion, and to be ultimately described by a kind of trace formula.     

“Statistical” symmetry with applications to phase transitions

Hermann proposed that mesomorphic media should be classified by assigning certain statistical symmetry groups to each possible partially ordered array. Two translational groups introduced were called superordinate and subordinate. We find that the average density in such a partially ordered medium has the superordinate symmetry ₁, while the pair correlation function has the subordinate symmetry ₂. A complete listing is made of all compatible combinations of ₁ and ₂ in two and three dimensions. This leads to more possible symmetries than Hermann obtained, e.g., also to nonstoichiometric crystals. The order parameter space for the systems is found to be the quotient space ₁/₂. In most cases it is identical to the order parameter space of low-dimensionalXY spin systems. The Landau free energy is expanded as functional of the two-particle correlation functionK; the translation group is found to be ₁×₂. A Landau mean-field theory can then be carried out by expanding the system free energy into a series of invariants of the active irreducible representations ofK and mapping the free energy onto that for anXY planar spin system. We predict novel critical behavior for transitions between mesomorphic phases and go nogo selection rules for continuous transitions. We give the structure factors for X-ray scattering so changes in all such phase transitions are observable. The statistical symmetry groups, which describe point and translational symmetries of the mesophases, are classified. Proposals are made to include quasi-long-range or topological order in the classification scheme.This work supported in part by National Science Foundation (Division of International Programs), the PSC-BHE—Faculty Research Award CUNY and Deutsche Forschungsgemeinschaft.     

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.     

On the isomorphism of a ‘quantum logic’ with the logic of the projections in a hilbert space

A topology is introduced in a logic using the set of pure states of . It is shown that , equipped with this topology, under suitable conditions, determines the division ring , or 2e. With the continuity of the antiautomorphism of the division ring added, it is shown that these conditions are necessary and sufficient for the projective logic to be isomorphic with the projective logic of the projections in a Hilbert space over , or 2e.P. Cotta-Ramusino gratefully acknowledges a fellowship of the Consiglio Nazionale delle Ricerche.     

The projection approach to the Fokker-Planck equation. I. Colored Gaussian noise

It is shown that the Fokker-Planck operator can be derived via a projection-perturbation approach, using the repartition of a more detailed operator into a perturbation ₁ and an unperturbed part ₀. The standard Fokker-Planck structure is recovered at the second order in ₁, whereas the perturbation terms of higher order are shown to provoke the breakdown of this structure. To get rid of these higher order terms, a key approximation, local linearization (LL), is made. In general, to evaluate at the second order in ₁ the exact expression of the diffusion coefficient which simulates the influence of a Gaussian noise with a finite correlation time, a resummation up to infinite order in must be carried out, leading to what other authors call the best Fokker-Planck approximation (BFPA). It is shown that, due to the role of terms of higher order in ₁, the BFPA leads to predictions on the equilibrium distributions that are reliable only up to the first order in t. The LL, on the contrary, in addition to making the influence of terms of higher order in ₁ vanish, results in a simple analytical expression for the term of second order that is formally coincident with the complete resummation over all the orders in t provided by the Fox theory. The corresponding diffusion coefficient in turn is shown to lead in the limiting case to exact results for the steady-state distributions. Therefore, over the whole range 0 the LL turns out to be an approximation much more accurate than the global linearization proposed by other authors for the same purpose of making the terms of higher order in ₁ vanish. In the short- region the LL leads to results virtually coincident with those of the BFPA. In the large- region the LL is a more accurate approximation than the BFPA itself. These theoretical arguments are supported by the results of both analog and digital simulation.     

The physical properties of linear and action-angle coordinates in classical and quantum mechanics

The quantum harmonic oscillator is described in terms of two basic sets of coordinates: linear coordinates x, p_x and angular coordinates eⁱ, P (action-angle variables). The angular coordinate eⁱ is assumed unitary, the conjugate momentum p is assumed Hermitian, and eⁱ and p are assumed to be a canonical pair. Two transformations are defined connecting the angular coordinates to the linear coordinates. It is found that x, p_x can be physical, i.e., Hermitian and canonical, only under constraints on the p eigenvalue spectrum. The conclusion is that eⁱ can be a unitary operator. A parallel analysis of the classical harmonic oscillator is done with equivalent results.     

The singular holonomy group

The fibre of the extension of the frame-bundle of a space-time over ab-boundary pointp is a homogeneous space /G _p . It is shown thatG _p can be found by a construction like that for a holonomy group, and that it contains a subgroup determined by the Riemann tensor. Near a curvature singularity one would expectG _p =      

The Euclidean loop expansion for massive λΦ 4 4 : Through one loop

As an application of the theory of solutions of the classical, Euclidean field equation, we prove the existence of solutions to the renormalized functional field equation, for the ⁴ interaction in four Euclidean space dimensions, with non-negative and nonzero mass, through orderc. That is, we prove that the functional derivative of the connected generating functional is in the Schwartz space Re(R ⁴), when evaluated at external sources in Re, through orderc. We also prove the existence of all functional derivatives of the connected generating functional through the same order. All quantities of interest are analytic in the coupling constant at 0<, and continuous in the external source.     

Abstract scattering theory

The asymptotic condition is formulated for a system whose theory is more general than quantum mechanics. Its logic forms an orthocomplemented weakly modular -lattice. The set of states , consisting of all the probability measures on , is endowed with the most suitable metric physically, called here the natural one. In this space it is proved that the asymptotic condition implies the existence of two convex automorphisms _+- of which we call the wave-automorphisms. From these theS-automorphism _– ^–1 ₊ is defined and corresponds to the scattering operator in conventional quantum theory.     

On vector-tensor minimally coupled field theories

We consider vector-tensor minimally coupled Lagrangians, i.e., scalar densities of the form = g ^1/2 R +L(g _ij ; _i ; _i,j ). We prove that the gauge invariance of any of the sets of Euler-Lagrange expressions implies the gauge invariance of the Lagrangian itself forn even, and an almost gauge invariance forn odd. We also find those for whichE ⁱ () = 0 orE ^ij (L) = 0, generalizing well-known results by Lovelock and a result by the authors.     

Infinitesimal holonomy groups of Einstein-Maxwell space-times

Some general results concerning the Petrov classification of the Weyl tensor of space-times whose infinitesimal holonomy group belongs to a given conjugacy class of the Lorentz group ₊ are established using the null tetrad notation. Those conjugacy classes, corresponding to proper subgroups of ₊ which contain the infinitesimal holonomy groups of Einstein-Maxwell space-times, are determined, and explicit examples of such space-times are given for each conjugacy class.     

More inequalities for critical exponents

A variety of rigorous inequalities for critical exponents is proved. Most notable is the low-temperature Josephson inequalitydv +2 2–. Others are 1 1 +v, 1 1 , 1,d 1 + 1/ (for d),dv, ₃ + (for d), ₄ , and _{2m 2m+2} (form 2). The hypotheses vary; all inequalities are true for the spin-1/2 Ising model with nearest-neighbor ferromagnetic pair interactions.NSF Predoctoral Fellow (1976–1979). Research supported in part by NSF Grant PHY 78-23952.