New theorems for bianisotropic media

The general volume equivalence theorem for bianisotropic scatterers is presented, where the equivalent electric and magnetic currents are determined by a pair of coupled vector integral equations. Moreover, using the general volume equivalence theorem and conventional image principle, image theory is developed for a bianisotropic body over an infinite perfect electric or magnetic conducting ground plane.     

Quantum Cosmology in Higher Derivative and Scalar-Tensor Gravity

The Bicknell theorem states that a non-linear Lagrangian can be recast in the form of a scalar-tensor theory, with a suitable potential, through a conformal transformation. In this paper, we first show that such classical equivalence remains valid at the level of the Wheeler—deWitt equation. Then, we consider a specific case, represented by a Lagrangian f(R) = R + l^–2(l²R)^4/3 whose vacuum cosmological solutions describe a non-singular Universe. The corresponding scalar-tensor theory and its cosmological solutions are written down. We find again non-singular solutions. The Wheeler—deWitt equation for this case is analyzed. The application of the Bicknell theorem leads to the interpretation of the behaviour of the scale factor in terms of the matter content, represented by the scalar field, and consequently to the energy conditions. The problem of classical and quantum regime is discussed and the classical behaviour is recovered, from the quantum solutions, near the maximum of the scale factor where the strong energy condition is satisfied.     

对于“包含在连续谱量子体系中的决定论性”一文的讨论

对于具有连续能谱的单粒子量子体系,“包含在连续谱量子体系中的决定论性”一文用所谓“双波函数”来描述处于能量本征态的粒子系综中各粒子的量子行为,并且在所谓的“等价定理”中称:双波函数描述在经典极限下将化为经典力学描述.然而,此描述所给出的系综力学量观测值统计分布的预言与通常量子力学不相容;并且,该文对其“等价定理”的证明是不正确的,这个“定理”实际上不成立 关键词： 连续能谱量子体系 双波函数 经典极限     

An alternative proof of Wigner theorem on quantum transformations based on elementary complex analysis

According to Wigner theorem, transformations of quantum states which preserve the probabilities are either unitary or antiunitary. This Letter presents an elementary proof of this theorem that significantly departs from the numerous ones already existing in the literature. The main line of the argument remains valid even in quantum field theory where Hilbert spaces are non-separable.     

THE CORRESPONDENCE PRINCIPLE IN (1+1)-DIMENSIONAL FIELD THEORY AND THE COLEMAN THEOREM

The correspondence relations between a fermion field and a boson field in (1+1)-dimensional quantum field theory is discussed in general. Emphases have been laid on the renorinalization with respect.to an arbitrary mass parameter in boson version as well as the nonlocal property of currents in fermion version. After establishing the equivalence between the continuous chiral transformation in fermion version and the translational transformation in boson version, we are able to prove the Coleman theorem correspondingly.     

Poincaré's theorem and unitary transformations for classical and quantum systems

Poincaré's celebrated theorem on the nonexistence of analytical invariants of motion is extended to the case of a continuous spectrum to deal with large classical and quantum systems. It is shown that Poincaré's theorem applies to situations where there exist continuous sets of resonances. This condition is equivalent to the nonvanishing of the asymptotic collision operator as defined in modern kinetic theory. Typical examples are systems presenting relaxation processes or exhibiting unstable quantum levels. As the result of Poincaré's theorem, the unitary transformation, leading to a cyclic Hamiltonian in classical mechanics or to the diagonalization of the Hamiltonian operator in quantum mechanics, diverges. We obtain therefore a dynamical classification of large classical or quantum systems. This is of special interest for quantum systems as, historically, quantum mechanics has been formulated following closely the patterns of classical integrable systems. The well known results of Friedrichs concerning the coupling of discrete states with a continuum are recovered. However, the role of the collision operator suggests new ways of eliminating the divergence in the unitary transformation theory.     

Symplectic manifolds with Lagrangian fibration

A structure theorem is presented for certain kinds of symplectic manifold with a Lagrangian fibration. As a corollary, the class of cotangent bundles is characterized up to the appropriat equivalence, as the type of symplectic manifold considered in the theorem for which in addition, a certain cohomology class vanishes. These results and techniques are then applied to two situations in classical mechanics where symplectic manifolds foliated by Lagrangian submanifolds arise, namely, the Legendre transformation and Hamilton-Jacobi theory.     

量子多址高斯信道的信息容量研究

与经典通信相类似,量子高斯噪声是一种重要的量子噪声模型.这里,"经典"是相对于"量子"而言的.讨论量子高斯信道传送经典信息时的信息容量,也称量子信道的经典容量,是量子通信的热点问题之一.文中在量子高斯态、高斯熵性质和Holevo界基础上,给出单用户量子高斯信道的经典容量,借助多址量子信道的经典容量区域定理,通过坐标系变换方法,从理论上推导得到多用户量子高斯信道的经典容量区域.为了计算简便且不失一般性,计算过程将采用两输入、单输出的量子多址信道模型进行说明,结论可类推到n个输入、单输出的多址信道.     

Quantum Sufficiency in the Operator Algebra Framework

The paper is devoted to the investigation of the notion of sufficiency in quantum statistics. Three kinds of this notion are considered: plain sufficiency (called simply: sufficiency), Petz’s sufficiency, and Umegaki’s sufficiency. The problem of the existence and structure of the minimal sufficient subalgebra is analyzed in some detail, conditions yielding equivalence of the three modes of sufficiency are considered, and quantum Basu’s theorem is obtained. Moreover, it is shown that an interesting “factorization theorem” of Jen?ová and Petz needs some corrections to hold true.     

No-Cloning Theorem,Kochen-Specker Theorem,and Quantum Measurement Theories

The usual no-cloning theorem implies that two quantum states are identical or orthogonal if we allow a cloning to be on the two quantum states. Here, we investigate a relation between the no-cloning theorem and the projective measurement theory that the results of measurements are either + 1 or − 1. We introduce the Kochen-Specker (KS) theorem with the projective measurement theory. We result in the fact that the two quantum states under consideration cannot be orthogonal if we avoid the KS contradiction. Thus the no-cloning theorem implies that the two quantum states under consideration are identical in that case. It turns out that the KS theorem with the projective measurement theory says a new version of the no-cloning theorem. Next, we investigate a relation between the no-cloning theorem and the measurement theory based on the truth values that the results of measurements are either + 1 or 0. We return to the usual no-cloning theorem that the two quantum states are identical or orthogonal in the case.

     

Quantum Experimental Data in Psychology and Economics

We prove a theorem which shows that a collection of experimental data of probabilistic weights related to decisions with respect to situations and their disjunction cannot be modeled within a classical probabilistic weight structure in case the experimental data contain the effect referred to as the ‘disjunction effect’ in psychology. We identify different experimental situations in psychology, more specifically in concept theory and in decision theory, and in economics (namely situations where Savage’s Sure-Thing Principle is violated) where the disjunction effect appears and we point out the common nature of the effect. We analyze how our theorem constitutes a no-go theorem for classical probabilistic weight structures for common experimental data when the disjunction effect is affecting the values of these data. We put forward a simple geometric criterion that reveals the non classicality of the considered probabilistic weights and we illustrate our geometrical criterion by means of experimentally measured membership weights of items with respect to pairs of concepts and their disjunctions. The violation of the classical probabilistic weight structure is very analogous to the violation of the well-known Bell inequalities studied in quantum mechanics. The no-go theorem we prove in the present article with respect to the collection of experimental data we consider has a status analogous to the well known no-go theorems for hidden variable theories in quantum mechanics with respect to experimental data obtained in quantum laboratories. Our analysis puts forward a strong argument in favor of the validity of using the quantum formalism for modeling the considered psychological experimental data as considered in this paper.     

A Spin-Statistics Theorem for Quantum Fields¶on Curved Spacetime Manifolds¶in a Generally Covariant Framework

A model-independent, locally generally covariant formulation of quantum field theory over four-dimensional, globally hyperbolic spacetimes will be given which generalizes similar, previous approaches. Here, a generally covariant quantum field theory is an assignment of quantum fields to globally hyperbolic spacetimes with spin-structure where each quantum field propagates on the spacetime to which it is assigned. Imposing very natural conditions such as local general covariance, existence of a causal dynamical law, fixed spinor- or tensor type for all quantum fields of the theory, and that the quantum field on Minkowski spacetime satisfies the usual conditions, it will be shown that a spin-statistics theorem holds: If for some of the spacetimes the corresponding quantum field obeys the “wrong” connection between spin and statistics, then all quantum fields of the theory, on each spacetime, are trivial. Received: 1 March 2001 / Accepted: 28 May 2001     

Micro-local approach to the Hadamard condition in quantum field theory on curved space-time

For the two-point distribution of a quasi-free Klein-Gordon neutral scalar quantum field on an arbitrary four dimensional globally hyperbolic curved space-time we prove the equivalence of (1) the global Hadamard condition, (2) the property that the Feynman propagator is a distinguished parametrix in the sense of Duistermaat and Hörmander, and (3) a new property referred to as the wave front set spectral condition (WFSSC), because it is reminiscent of the spectral condition in axiomatic quantum field theory on Minkowski space. Results in micro-local analysis such as the propagation of singularities theorem and the uniqueness up toC of distinguished parametrices are employed in the proof. We include a review of Kay and Wald's rigorous definition of the global Hadamard condition and the theory of distinguished parametrices, specializing to the case of the Klein-Gordon operator on a globally hyperbolic space-time. As an alternative to a recent computation of the wave front set of a globally Hadamard two-point distribution on a globally hyperbolic curved space-time, given elsewhere by Köhler (to correct an incomplete computation in [32]), we present a version of this computation that does not use a deformation argument such as that used in Fulling, Narcowich and Wald and is independent of the Cauchy evolution argument of Fulling, Sweeny and Wald (both of which are relied upon in Köhler's proof). This leads to a simple micro-local proof of the preservation of Hadamard form under Cauchy evolution (first shown by Fulling, Sweeny and Wald) relying only on the propagation of singularities theorem. In another paper [33], the equivalence theorem is used to prove a conjecture by Kay that a locally Hadamard quasi-free Klein-Gordon state on any globally hyperbolic curved space-time must be globally Hadamard.To my parents     

An approach to measurement

We present a new approach to measurement theory. Our definition of measurement is motivated by direct laboratory procedures as they are carried out in practice. The theory is developed within the quantum logic framework. This work clarifies an important problem in the quantum logic approach; namely, where the Hilbert space comes from. We consider the relationship between measurements and observables, and present a Hilbert space embedding theorem. We conclude with a discussion of charge systems.     

Kochen-Specker Theorem as a Precondition for Quantum Computing

We study the relation between the Kochen-Specker theorem (the KS theorem) and quantum computing. The KS theorem rules out a realistic theory of the KS type. We consider the realistic theory of the KS type that the results of measurements are either +1 or ?1. We discuss an inconsistency between the realistic theory of the KS type and the controllability of quantum computing. We have to give up the controllability if we accept the realistic theory of the KS type. We discuss an inconsistency between the realistic theory of the KS type and the observability of quantum computing. We discuss the inconsistency by using the double-slit experiment as the most basic experiment in quantum mechanics. This experiment can be for an easy detector to a Pauli observable. We cannot accept the realistic theory of the KS type to simulate the double-slit experiment in a significant specific case. The realistic theory of the KS type can not depicture quantum detector. In short, we have to give up both the observability and the controllability if we accept the realistic theory of the KS type. Therefore, the KS theorem is a precondition for quantum computing, i.e., the realistic theory of the KS type should be ruled out.     

On the equivalence between sine-Gordon model and Thirring model in the chirally broken phase of the Thirring model

We investigate the equivalence between Thirring model and sine-Gordon model in the chirally broken phase of the Thirring model. This is unlike all other available approaches where the fermion fields of the Thirring model were quantized in the chiral symmetric phase. In the path integral approach we show that the bosonized version of the massless Thirring model is described by a quantum field theory of a massless scalar field and exactly solvable, and the massive Thirring model bosonizes to the sine-Gordon model with a new relation between the coupling constants. We show that the non-perturbative vacuum of the chirally broken phase in the massless Thirring model can be described in complete analogy with the BCS ground state of superconductivity. The Mermin–Wagner theorem and Coleman's statement concerning the absence of Goldstone bosons in the 1+1-dimensional quantum field theories are discussed. We investigate the current algebra in the massless Thirring model and give a new value of the Schwinger term. We show that the topological current in the sine-Gordon model coincides with the Noether current responsible for the conservation of the fermion number in the Thirring model. This allows one to identify the topological charge in the sine-Gordon model with the fermion number. Received: 16 December 2000 / Revised version: 23 April 2001 / Published online: 13 June 2001     

Who Proved Haag's Theorem?

In physics literature, there are several different characterizations of Haag's theorem and its consequences for quantum field theory. These different versions of Haag's theorem are due in part to various generalizations and more “rigorous” proofs of Haag's theorem as well as to the fact that many of these proofs were done using different formulations of quantum field theory. As a result, there is confusion about what Haag's theorem is and when it was proved. This paper clears up some of these confusions by examining the history and development of Haag's theorem up to 1959. It is argued that the question of who proved Haag's theorem is tied up with what the theorem is taken to show.     

Weak circulation theorems as a way of distinguishing between generalized gravitation theories

We proved in a previous paper that a generalized circulation theorem characterizes Einstein's theory of gravitation as a special case of a more general theory of gravitation, which is also based on the principle of equivalence. Here we pose the question of whether it is possible to weaken this circulation theorem in such ways that it would imply more general theories than Einstein's. This problem is solved. Principally, there are two possibilities. One of them is essentially Weyl's theory.     

Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations

Any attempt to construct a realistinterpretation of quantum theory founders on theKochen–Specker theorem, which asserts theimpossibility of assigning values to quantum quantitiesin a way that preserves functional relations between them. We constructa new type of valuation which is defined on alloperators, and which respects an appropriate version ofthe functional composition principle. The truth-values assigned to propositions are (i) contextual and(ii) multivalued, where the space of contexts and themultivalued logic for each context come naturally fromthe topos theory of presheaves. The first step in our theory is to demonstrate that theKochen–Specker theorem is equivalent to thestatement that a certain presheaf defined on thecategory of self-adjoint operators has no globalelements. We then show how the use of ideas drawn from the theory ofpresheaves leads to the definition of a generalizedvaluation in quantum theory whose values are sieves ofoperators. In particular, we show how each quantum state leads to such a generalized valuation. Akey ingredient throughout is the idea that, in asituation where no normal truth-value can be given to aproposition asserting that the value of a physical quantity A lies in a subset , it is nevertheless possible toascribe a partial truth-value which is determined by theset of all coarse-grained propositions that assert thatsome function f(A) lies in f(), and that are true in a normalsense. The set of all such coarse-grainings forms asieve on the category of self-adjoint operators, and ishence fundamentally related to the theory ofpresheaves.