scholarly journals Quantum theory in real Hilbert space: How the complex Hilbert space structure emerges from Poincaré symmetry

2017 ◽  
Vol 29 (06) ◽  
pp. 1750021 ◽  
Author(s):  
Valter Moretti ◽  
Marco Oppio
Keyword(s):  
Hilbert Space ◽  
Hilbert Spaces ◽  
Real Hilbert Space ◽  
Mass Operator ◽  
Complex Structure ◽  
Complex Hilbert Space ◽  
Relativistic System ◽  
The Real ◽  
Algebra Of Observables ◽  
Poincaré Symmetry

As earlier conjectured by several authors and much later established by Solèr (relying on partial results by Piron, Maeda–Maeda and other authors), from the lattice theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. Stückelberg provided some physical, but not mathematically rigorous, reasons for ruling out the real Hilbert space formulation, assuming that any formulation should encompass a statement of Heisenberg principle. Focusing on this issue from another — in our opinion, deeper — viewpoint, we argue that there is a general fundamental reason why elementary quantum systems are not described in real Hilbert spaces. It is their basic symmetry group. In the first part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a real Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the real one, all selfadjoint operators represent observables in accordance with Solèr’s thesis, and the standard quantum version of Noether theorem may be formulated. In the second part of this work, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. This complex structure reveals a nice interplay of Poincaré symmetry and the classification of the commutant of irreducible real von Neumann algebras.

scholarly journals Quantum theory in quaternionic Hilbert space: How Poincaré symmetry reduces the theory to the standard complex one

2019 ◽  
Vol 31 (04) ◽  
pp. 1950013 ◽  
Author(s):  
Valter Moretti ◽  
Marco Oppio
Keyword(s):  
Hilbert Space ◽  
Quantum System ◽  
Hilbert Spaces ◽  
Von Neumann Algebras ◽  
Complex Structure ◽  
Complex Hilbert Space ◽  
Von Neumann ◽  
The Real ◽  
Quaternionic Hilbert Space ◽  
Adjoint Operators

As earlier conjectured by several authors and much later established by Solèr, from the lattice-theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. On the other hand, no quantum systems seem to exist that are naturally described in a real or quaternionic Hilbert space. In a previous paper [23], we showed that any quantum system which is elementary from the viewpoint of the Poincaré symmetry group and it is initially described in a real Hilbert space, it can also be described within the standard complex Hilbert space framework. This complex description is unique and more precise than the real one as, for instance, in the complex description, all self-adjoint operators represent observables defined by the symmetry group. The complex picture fulfils the thesis of Solér’s theorem and permits the standard formulation of the quantum Noether’s theorem. The present work is devoted to investigate the remaining case, namely, the possibility of a description of a relativistic elementary quantum system in a quaternionic Hilbert space. Everything is done exploiting recent results of the quaternionic spectral theory that were independently developed. In the initial part of this work, we extend some results of group representation theory and von Neumann algebra theory from the real and complex cases to the quaternionic Hilbert space case. We prove the double commutant theorem also for quaternionic von Neumann algebras (whose proof requires a different procedure with respect to the real and complex cases) and we extend to the quaternionic case a result established in the previous paper concerning the classification of irreducible von Neumann algebras into three categories. In the second part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a quaternionic Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the quaternionic one, all self-adjoint operators represent observables in agreement with Solèr’s thesis, the standard quantum version of Noether theorem may be formulated and the notion of composite system may be given in terms of tensor product of elementary systems. In the third part of the paper, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. The overall conclusion is that relativistic elementary systems are naturally and better described in complex Hilbert spaces even if starting from a real or quaternionic Hilbert space formulation and this complex description is uniquely fixed by physics.

scholarly journals Convergence Theorems for Fixed Points of Multivalued Strictly Pseudocontractive Mappings in Hilbert Spaces

2013 ◽  
Vol 2013 ◽  
pp. 1-10 ◽  
Author(s):  
C. E. Chidume ◽  
C. O. Chidume ◽  
N. Djitté ◽  
M. S. Minjibir
Keyword(s):  
Hilbert Space ◽  
Fixed Point ◽  
Hilbert Spaces ◽  
Convex Subset ◽  
Real Hilbert Space ◽  
Convergence Theorems ◽  
Strictly Pseudocontractive Mapping ◽  
Pseudocontractive Mappings ◽  
Iteration Sequence ◽  
Strictly Pseudocontractive Mappings

LetKbe a nonempty, closed, and convex subset of a real Hilbert spaceH. Suppose thatT:K→2Kis a multivalued strictly pseudocontractive mapping such thatF(T)≠∅. A Krasnoselskii-type iteration sequence{xn}is constructed and shown to be an approximate fixed point sequence ofT; that is,limn→∞d(xn,Txn)=0holds. Convergence theorems are also proved under appropriate additional conditions.

scholarly journals Dirac structures on Hilbert spaces

1999 ◽  
Vol 22 (1) ◽  
pp. 97-108 ◽  
Author(s):  
A. Parsian ◽  
A. Shafei Deh Abad
Keyword(s):  
Hilbert Space ◽  
Linear Operator ◽  
Hilbert Spaces ◽  
Smooth Manifold ◽  
Real Hilbert Space ◽  
Dirac Structure ◽  
Dirac Structures ◽  
Basic Properties ◽  
Hilbert Subspace ◽  
Densely Defined

For a real Hilbert space(H,〈,〉), a subspaceL⊂H⊕His said to be a Dirac structure onHif it is maximally isotropic with respect to the pairing〈(x,y),(x′,y′)〉+=(1/2)(〈x,y′〉+〈x′,y〉). By investigating some basic properties of these structures, it is shown that Dirac structures onHare in one-to-one correspondence with isometries onH, and, any two Dirac structures are isometric. It is, also, proved that any Dirac structure on a smooth manifold in the sense of [1] yields a Dirac structure on some Hilbert space. The graph of any densely defined skew symmetric linear operator on a Hilbert space is, also, shown to be a Dirac structure. For a Dirac structureLonH, everyz∈His uniquely decomposed asz=p1(l)+p2(l)for somel∈L, wherep1andp2are projections. Whenp1(L)is closed, for any Hilbert subspaceW⊂H, an induced Dirac structure onWis introduced. The latter concept has also been generalized.

scholarly journals On Computability and Applicability of Mann-Reich-Sabach-Type Algorithms for Approximating the Solutions of Equilibrium Problems in Hilbert Spaces

2018 ◽  
Vol 2018 ◽  
pp. 1-9
Author(s):  
F. O. Isiogugu ◽  
P. Pillay ◽  
P. U. Nwokoro
Keyword(s):  
Hilbert Space ◽  
Hilbert Spaces ◽  
Equilibrium Problems ◽  
Real Hilbert Space ◽  
Contemporary Literature ◽  
Iteration Scheme ◽  
Common Elements ◽  
Type Mapping ◽  
The Common ◽  
Selection Of

We establish the existence of a strong convergent selection of a modified Mann-Reich-Sabach iteration scheme for approximating the common elements of the set of fixed points F(T) of a multivalued (or single-valued) k-strictly pseudocontractive-type mapping T and the set of solutions EP(F) of an equilibrium problem for a bifunction F in a real Hilbert space H. This work is a continuation of the study on the computability and applicability of algorithms for approximating the solutions of equilibrium problems for bifunctions involving the construction of a sequence {Kn}n=1∞ of closed convex subsets of H from an arbitrary x0∈H and a sequence {xn}n=1∞ of the metric projections of x0 into Kn. The obtained result is a partial resolution of the controversy over the computability of such algorithms in the contemporary literature.

scholarly journals The spectra of compact operators in Hilbert spaces

1965 ◽  
Vol 7 (1) ◽  
pp. 34-38
Author(s):  
T. T. West
Keyword(s):  
Hilbert Space ◽  
Unit Circle ◽  
Real Axis ◽  
Complex Plane ◽  
Hilbert Spaces ◽  
Compact Operators ◽  
Conformal Mappings ◽  
The Real ◽  
Finite Set

In [2] a condition, originally due to Olagunju, was given for the spectra of certain compact operators to be on the real axis of the complex plane. Here, by using conformal mappings, this result is extended to more general curves. The problem divides naturally into two cases depending on whether or not the curve under consideration passes through the origin. Discussion is confined to the prototype curves C0 and C1. The case of C0, the unit circle of centre the origin, is considered in § 3; this problem is a simple one as the spectrum is a finite set. In § 4 results are given for C1 the unit circle of centre the point 1, and some results on ideals of compact operators, given in § 2, are needed. No attempt has been made to state results in complete generality (see [2]); this paper is kept within the framework of Hilbert space, and particularly simple conditions may be given if the operators are normal.

scholarly journals ON THE POWER QUANTUM COMPUTATION OVER REAL HILBERT SPACES

2013 ◽  
Vol 11 (01) ◽  
pp. 1350001 ◽  
Author(s):  
MATTHEW McKAGUE
Keyword(s):  
Hilbert Space ◽  
Quantum Computation ◽  
Hilbert Spaces ◽  
Quantum Circuit ◽  
Complex Hilbert Space ◽  
Complexity Classes ◽  
Complex Numbers ◽  
Real Numbers ◽  
Single Qubit ◽  
Quantum Complexity

We consider the power of various quantum complexity classes with the restriction that states and operators are defined over a real, rather than complex, Hilbert space. It is well known that a quantum circuit over the complex numbers can be transformed into a quantum circuit over the real numbers with the addition of a single qubit. This implies that BQP retains its power when restricted to using states and operations over the reals. We show that the same is true for QMA (k), QIP (k), QMIP and QSZK.

Subgradient Criteria for Monotonicity, The Lipschitz Condition, and Convexity

1993 ◽  
Vol 45 (6) ◽  
pp. 1167-1183 ◽  
Author(s):  
F. H. Clarke ◽  
R. J. Stern ◽  
P. R. Wolenski
Keyword(s):  
Hilbert Space ◽  
Lipschitz Condition ◽  
Real Line ◽  
Nonsmooth Analysis ◽  
Real Hilbert Space ◽  
Lower Semicontinuous ◽  
Multidimensional Case ◽  
The Real

AbstractLet ƒ H → (—∞,∞] be lower semicontinuous, where H is a real Hilbert space. An approach based upon nonsmooth analysis and optimization is used in order to characterize monotonicity of ƒ with respect to a cone, as well as Lipschitz behavior and constancy. The results, which involve hypotheses on the proximal subgradient ∂ πƒ, specialize on the real line to yield classical characterizations of these properties in terms of the Dini derivate. They also give new extensions of these results to the multidimensional case. A new proof of a known characterization of convexity in terms of proximal subgradient monotonicity is also given.

Some results on generalized finite operators and range kernel orthogonality in Hilbert spaces

2021 ◽  
Vol 54 (1) ◽  
pp. 318-325
Author(s):  
Nadia Mesbah ◽  
Hadia Messaoudene ◽  
Asma Alharbi
Keyword(s):  
Hilbert Space ◽  
Hilbert Spaces ◽  
Generalized Derivation ◽  
Complex Hilbert Space ◽  
Linear Operators ◽  
Bounded Linear Operators ◽  
Bounded Linear ◽  
Similarity Orbit

Abstract Let ℋ {\mathcal{ {\mathcal H} }} be a complex Hilbert space and ℬ ( ℋ ) {\mathcal{ {\mathcal B} }}\left({\mathcal{ {\mathcal H} }}) denotes the algebra of all bounded linear operators acting on ℋ {\mathcal{ {\mathcal H} }} . In this paper, we present some new pairs of generalized finite operators. More precisely, new pairs of operators ( A , B ) ∈ ℬ ( ℋ ) × ℬ ( ℋ ) \left(A,B)\in {\mathcal{ {\mathcal B} }}\left({\mathcal{ {\mathcal H} }})\times {\mathcal{ {\mathcal B} }}\left({\mathcal{ {\mathcal H} }}) satisfying: ∥ A X − X B − I ∥ ≥ 1 , for all X ∈ ℬ ( ℋ ) . \parallel AX-XB-I\parallel \ge 1,\hspace{1.0em}\hspace{0.1em}\text{for all}\hspace{0.1em}\hspace{0.33em}X\in {\mathcal{ {\mathcal B} }}\left({\mathcal{ {\mathcal H} }}). An example under which the class of such operators is not invariant under similarity orbit is given. Range kernel orthogonality of generalized derivation is also studied.

Sign in / Sign up

Export Citation Format

Share Document