-
Feynman path integrals on compact Lie groups with bi-invariant Riemannian metrics
Authors:
Nicoló Drago,
Sonia Mazzucchi,
Valter Moretti
Abstract:
In this work we consider a suitable generalization of the Feynman path integral on a specific class of Riemannian manifolds consisting of compact Lie groups with bi-invariant Riemannian metrics. The main tools we use are the Cartan development map, the notion of oscillatory integral, and the Chernoff approximation theorem. We prove that, for a class of functions of a dense subspace of the relevant…
▽ More
In this work we consider a suitable generalization of the Feynman path integral on a specific class of Riemannian manifolds consisting of compact Lie groups with bi-invariant Riemannian metrics. The main tools we use are the Cartan development map, the notion of oscillatory integral, and the Chernoff approximation theorem. We prove that, for a class of functions of a dense subspace of the relevant Hilbert space, the Feynman map produces the solution of the Schrödinger equation, where the Laplace-Beltrami operator coincides with the second order Casimir operator of the group.
△ Less
Submitted 21 May, 2025; v1 submitted 6 July, 2023;
originally announced July 2023.
-
On the Relativistic Spatial Localization for massive real scalar Klein-Gordon quantum particles
Authors:
Valter Moretti
Abstract:
I rigorously analyze a proposal, introduced by D.R.Terno, about a spatial localization observable for a Klein-Gordon massive real particle in terms of a Poincaré-covariant family of POVMs. I prove that these POVMs are actually a kinematic deformation of the Newton-Wigner PVMs. The first moment of one of these POVMs however exactly coincides with a restriction (on a core) of the Newton-Wigner selfa…
▽ More
I rigorously analyze a proposal, introduced by D.R.Terno, about a spatial localization observable for a Klein-Gordon massive real particle in terms of a Poincaré-covariant family of POVMs. I prove that these POVMs are actually a kinematic deformation of the Newton-Wigner PVMs. The first moment of one of these POVMs however exactly coincides with a restriction (on a core) of the Newton-Wigner selfadjoint position operator, though the second moment does not. This fact permits to preserve all nice properties of the Newton-Wigner position observable, dropping the unphysical features arising from the Hegerfeldt theorem. The considered POVM does not permit spatially sharply localized states, but it admits families of almost localized states with arbitrary precision. Next, I establish that the Terno localization observable satisfies part of a requirement introduced by D.P.L.Castrigiano about causal temporal evolution concerning the Lebesgue measurable spatial regions of any Minkowskian reference frame. The validity of the complete Castrigiano's causality requirement is also proved for a notion of spatial localization which generalizes Terno's one in a natural way.
△ Less
Submitted 24 May, 2023; v1 submitted 4 April, 2023;
originally announced April 2023.
-
The quantization of Proca fields on globally hyperbolic spacetimes: Hadamard states and Møller operators
Authors:
Valter Moretti,
Simone Murro,
Daniele Volpe
Abstract:
This paper deals with several issues concerning the algebraic quantization of the real Proca field in a globally hyperbolic spacetime and the definition and existence of Hadamard states for that field. In particular, extending previous work, we construct the so-called Møller $*$-isomorphism between the algebras of Proca observables on paracausally related spacetimes, proving that the pullback of t…
▽ More
This paper deals with several issues concerning the algebraic quantization of the real Proca field in a globally hyperbolic spacetime and the definition and existence of Hadamard states for that field. In particular, extending previous work, we construct the so-called Møller $*$-isomorphism between the algebras of Proca observables on paracausally related spacetimes, proving that the pullback of these isomorphisms preserves the Hadamard property of corresponding quasifree states defined on the two spacetimes. Then, we pull-back a natural Hadamard state constructed on ultrastatic spacetimes of bounded geometry, along this $*$-isomorphism, to obtain a Hadamard state on a general globally hyperbolic spacetime. We conclude the paper, by comparing the definition of a Hadamard state, here given in terms of wavefront set, with the one proposed by Fewster and Pfenning, which makes use of a supplementary Klein-Gordon Hadamard form. We establish an (almost) complete equivalence of the two definitions.
△ Less
Submitted 1 June, 2023; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Paracausal deformations of Lorentzian metrics and Møller isomorphisms in algebraic quantum field theory
Authors:
Valter Moretti,
Simone Murro,
Daniele Volpe
Abstract:
Given a pair of normally hyperbolic operators over (possibily different) globally hyperbolic spacetimes on a given smooth manifold, the existence of a geometric isomorphism, called {\em Møller operator}, between the space of solutions is studied. This is achieved by exploiting a new equivalence relation in the space of globally hyperbolic metrics, called {\em paracausal relation}. In particular, i…
▽ More
Given a pair of normally hyperbolic operators over (possibily different) globally hyperbolic spacetimes on a given smooth manifold, the existence of a geometric isomorphism, called {\em Møller operator}, between the space of solutions is studied. This is achieved by exploiting a new equivalence relation in the space of globally hyperbolic metrics, called {\em paracausal relation}. In particular, it is shown that the Møller operator associated to a pair of paracausally related metrics and normally hyperbolic operators also intertwines the respective causal propagators of the normally hyperbolic operators and it preserves the natural symplectic forms on the space of (smooth) initial data. Finally, the Møller map is lifted to a $*$-isomorphism between (generally off-shell) $CCR$-algebras. It is shown that the Wave Front set of a Hadamard bidistribution (and of a Hadamard state in particular) is preserved by the pull-back action of this $*$-isomorphism.
△ Less
Submitted 12 July, 2023; v1 submitted 14 September, 2021;
originally announced September 2021.
-
The classical limit of Schrödinger operators in the framework of Berezin quantization and spontaneous symmetry breaking as emergent phenomenon
Authors:
Valter Moretti,
Christiaan J. F. van de Ven
Abstract:
The algebraic properties of a strict deformation quantization are analysed on the classical phase space $\bR^{2n}$. The corresponding quantization maps enable us to take the limit for $\hbar \to 0$ of a suitable sequence of algebraic vector states induced by $\hbar$-dependent eigenvectors of several quantum models, in which the sequence converges to a probability measure on $\bR^{2n}$, defining a…
▽ More
The algebraic properties of a strict deformation quantization are analysed on the classical phase space $\bR^{2n}$. The corresponding quantization maps enable us to take the limit for $\hbar \to 0$ of a suitable sequence of algebraic vector states induced by $\hbar$-dependent eigenvectors of several quantum models, in which the sequence converges to a probability measure on $\bR^{2n}$, defining a classical algebraic state. The observables are here represented in terms of a Berezin quantization map which associates classical observables (functions on the phase space) to quantum observables (elements of $C^*$ algebras) parametrized by $\hbar$. The existence of this classical limit is in particular proved for ground states of a wide class of Schrödinger operators, where the classical limiting state is obtained in terms of a Haar integral. The support of the classical state (a probability measure on the phase space) is included in certain orbits in $\bR^{2n}$ depending on the symmetry of the potential. In addition, since this $C^*$-algebraic approach allows for both quantum and classical theories, it is highly suitable to study the theoretical concept of spontaneous symmetry breaking (SSB) as an emergent phenomenon when passing from the quantum realm to the classical world by switching off $\hbar$. To this end, a detailed mathematical description is outlined and it is shown how this algebraic approach sheds new light on spontaneous symmetry breaking in several physical models.
△ Less
Submitted 4 October, 2021; v1 submitted 22 March, 2021;
originally announced March 2021.
-
Chernoff approximations of Feller semigroups in Riemannian manifolds
Authors:
Sonia Mazzucchi,
Valter Moretti,
Ivan Remizov,
Oleg Smolyanov
Abstract:
Chernoff approximations of Feller semigroups and the associated diffusion processes in Riemannian manifolds are studied. The manifolds are assumed to be of bounded geometry, thus including all compact manifolds and also a wide range of non-compact manifolds. Sufficient conditions are established for a class of second order elliptic operators to generate a Feller semigroup on a (generally non-compa…
▽ More
Chernoff approximations of Feller semigroups and the associated diffusion processes in Riemannian manifolds are studied. The manifolds are assumed to be of bounded geometry, thus including all compact manifolds and also a wide range of non-compact manifolds. Sufficient conditions are established for a class of second order elliptic operators to generate a Feller semigroup on a (generally non-compact) manifold of bounded geometry. A construction of Chernoff approximations is presented for these Feller semigroups in terms of shift operators. This provides approximations of solutions to initial value problems for parabolic equations with variable coefficients on the manifold. It also yields weak convergence of a sequence of random walks on the manifolds to the diffusion processes associated with the elliptic generator. For parallelizable manifolds this result is applied in particular to the representation of Brownian motion on the manifolds as limits of the corresponding random walks.
△ Less
Submitted 18 October, 2021; v1 submitted 16 February, 2020;
originally announced February 2020.
-
An operational construction of the sum of two non-commuting observables in quantum theory and related constructions
Authors:
Nicolò Drago,
Sonia Mazzucchi,
Valter Moretti
Abstract:
The existence of a real linear-space structure on the set of observables of a quantum system -- i.e., the requirement that the linear combination of two generally non-commuting observables $A,B$ is an observable as well -- is a fundamental postulate of the quantum theory yet before introducing any structure of algebra. However, it is by no means clear how to choose the measuring instrument of the…
▽ More
The existence of a real linear-space structure on the set of observables of a quantum system -- i.e., the requirement that the linear combination of two generally non-commuting observables $A,B$ is an observable as well -- is a fundamental postulate of the quantum theory yet before introducing any structure of algebra. However, it is by no means clear how to choose the measuring instrument of the composed observable $aA+bB$ ($a,b\in \mathbb{R}$) if such measuring instruments are given for the addends observables $A$ and $B$ when they are incompatible observables. A mathematical version of this dilemma is how to construct the spectral measure of $f(aA+bB)$ out of the spectral measures of $A$ and $B$. We present such a construction with a formula which is valid for generally unbounded selfadjoint operators $A$ and $B$, whose spectral measures may not commute, and a wide class of functions $f: \mathbb{R} \to \mathbb{C}$. We prove that, in the bounded case the Jordan product of $A$ and $B$ can be constructed with the same procedure out of the spectral measures of $A$ and $B$. The formula turns out to have an interesting operational interpretation and, in particular cases, a nice interplay with the theory of Feynman path integration and the Feynman-Kac formula.
△ Less
Submitted 23 September, 2020; v1 submitted 24 September, 2019;
originally announced September 2019.
-
The notion of observable and the moment problem for *-algebras and their GNS representations
Authors:
Nicolò Drago,
Valter Moretti
Abstract:
We address some usually overlooked issues concerning the use of $*$-algebras in quantum theory and their physical interpretation. If $\mathfrak{A}$ is a $*$-algebra describing a quantum system and $ω\colon\mathfrak{A}\to\mathbb{C}$ a state, we focus in particular on the interpretation of $ω(a)$ as expectation value for an algebraic observable $a=a^*\in\mathfrak{A}$, studying the problem of finding…
▽ More
We address some usually overlooked issues concerning the use of $*$-algebras in quantum theory and their physical interpretation. If $\mathfrak{A}$ is a $*$-algebra describing a quantum system and $ω\colon\mathfrak{A}\to\mathbb{C}$ a state, we focus in particular on the interpretation of $ω(a)$ as expectation value for an algebraic observable $a=a^*\in\mathfrak{A}$, studying the problem of finding a probability measure reproducing the moments $\{ω(a^n)\}_{n\in\mathbb{N}}$. This problem enjoys a close relation with the self-adjointeness of the (in general only symmetric) operator $π_ω(a)$ in the GNS representation of $ω$ and thus it has important consequences for the interpretation of $a$ as an observable. We provide physical examples (also from QFT) where the moment problem for $\{ω(a^n)\}_{n\in\mathbb{N}}$ does not admit a unique solution. To reduce this ambiguity, we consider the moment problem for the sequences $\{ω_b(a^n)\}_{n\in\mathbb{N}}$, being $b\in\mathfrak{A}$ and $ω_b(\cdot):=ω(b^*\cdot b)$. Letting $μ_{ω_b}^{(a)}$ be a solution of the moment problem for the sequence $\{ω_b(a^n)\}_{n\in\mathbb{N}}$, we introduce a consistency relation on the family $\{μ_{ω_{b}}^{(a)}\}_{b\in\mathfrak{A}}$. We prove a 1-1 correspondence between consistent families $\{μ_{ω_{b}}^{(a)}\}_{b\in\mathfrak{A}}$ and positive operator-valued measures (POVM) associated with the symmetric operator $π_ω(a)$. In particular there exists a unique consistent family of $\{μ_{ω_{b}}^{(a)}\}_{b\in\mathfrak{A}}$ if and only if $π_ω(a)$ is maximally symmetric. This result suggests that a better physical understanding of the notion of observable for general $*$-algebras should be based on POVMs rather than projection-valued measure (PVM).
△ Less
Submitted 17 February, 2020; v1 submitted 18 March, 2019;
originally announced March 2019.
-
The correct formulation of Gleason's theorem in quaternionic Hilbert spaces
Authors:
Valter Moretti,
Marco Oppio
Abstract:
From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Solér's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $σ$-additive pr…
▽ More
From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Solér's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $σ$-additive probability measures on that non-Boolean lattice. Gleason's theorem proves that, if the Hilbert space is separable with dimension >2 and the Hilbert space is either real or complex, then states are one-to-one with standard density matrices (self-adjoint, positive, unit-trace, trace-class operators). The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, even if the hard part of the proof is correct, the formulation of this extension is mathematically incorrect. This is due to some peculiarities of the notion of trace in quaternionic Hilbert spaces, e.g., basis dependence, making the theory of trace-class operators in quaternionic Hilbert spaces different from the standard theory in real and complex Hilbert spaces. A minor issue also affects Varadarajan's statement for real Hilbert space formulation. This paper is mainly devoted to present Gleason-Varadarajan's theorem into a technically correct form valid for the three types of Hilbert spaces. After having develped part of the general mathematical technology of trace-class operators in (generally non-separable) quaternionic Hilbert spaces, we prove that only the {\em real part} of the trace enters the formalism of quantum theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason's theorem.
△ Less
Submitted 10 September, 2018; v1 submitted 19 March, 2018;
originally announced March 2018.
-
Quantum theory in quaternionic Hilbert space: How Poincaré symmetry reduces the theory to the standard complex one
Authors:
Valter Moretti,
Marco Oppio
Abstract:
We extend some results of group representation theory and von Neumann algebras to the quaternionic Hilbert space case, proving the double commutant theorem (whose quaternionic proof requires a different procedure) and extend to the quaternionic case a result concerning the classification of irreducible von Neumann algebras. Secondly, we consider elementary relativistic systems in Wigner's view def…
▽ More
We extend some results of group representation theory and von Neumann algebras to the quaternionic Hilbert space case, proving the double commutant theorem (whose quaternionic proof requires a different procedure) and extend to the quaternionic case a result concerning the classification of irreducible von Neumann algebras. Secondly, we consider elementary relativistic systems in Wigner's view defined as a locally-faithful irreducible strongly-continuous unitary representation of Poincaré group in 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 commuting with the observables of the system leading to a physically equivalent reformulation in complex Hilbert space. Differently from the quaternionic formulation, all selfadjoint operators are now observables, Noether theorem holds and composite systems may be given in terms of tensor product. In the third part, we use a physically more accurate notion of relativistic elementary system: irreducibility regards the algebra of observables only, symmetries are automorphisms of the restricted lattice of elementary propositions and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. We prove that again there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex. Relativistic elementary systems are naturally and better described in complex Hilbert spaces even if starting from a real or quaternionic Hilbert space formulations and this complex description is uniquely fixed by physics.
△ Less
Submitted 14 November, 2018; v1 submitted 26 September, 2017;
originally announced September 2017.
-
Quantum theory in real Hilbert space: How the complex Hilbert space structure emerges from Poincaré symmetry
Authors:
Valter Moretti,
Marco Oppio
Abstract:
As established by Solèr, Quantum Theories may be formulated in real, complex or quaternionic Hilbert spaces only. Stückelberg provided physical reasons for ruling out real Hilbert spaces relying on Heisenberg principle. Focusing on this issue from another viewpoint, we argue that there is a fundamental reason why elementary quantum systems are not described in real Hilbert spaces: their symmetry g…
▽ More
As established by Solèr, Quantum Theories may be formulated in real, complex or quaternionic Hilbert spaces only. Stückelberg provided physical reasons for ruling out real Hilbert spaces relying on Heisenberg principle. Focusing on this issue from another viewpoint, we argue that there is a fundamental reason why elementary quantum systems are not described in real Hilbert spaces: their symmetry group. We consider an elementary relativistic system within Wigner's approach defined as a locally-faithful irreducible 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. All that leads to a physically equivalent formulation in a complex Hilbert space. Differently from what happens in the real picture, here all selfadjoint operators are observables in accordance with Solèr's thesis, and the standard quantum version of Noether theorem holds. We next focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them and making our model physically more general. 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 and we adopt a notion of continuity referred to the states. Also in this case, the final result proves that there exist 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.
△ Less
Submitted 5 June, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
-
Spectral representations of normal operators via Intertwining Quaternionic Projection Valued Measures
Authors:
Riccardo Ghiloni,
Valter Moretti,
Alessandro Perotti
Abstract:
The possibility of formulating quantum mechanics over quaternionic Hilbert spaces can be traced back to von Neumann's foundational works in the thirties. The absence of a suitable quaternionic version of spectrum prevented the full development of the theory. The first rigorous quaternionic formulation has been started only in 2007 with the definition of the spherical spectrum of a quaternionic ope…
▽ More
The possibility of formulating quantum mechanics over quaternionic Hilbert spaces can be traced back to von Neumann's foundational works in the thirties. The absence of a suitable quaternionic version of spectrum prevented the full development of the theory. The first rigorous quaternionic formulation has been started only in 2007 with the definition of the spherical spectrum of a quaternionic operator based on a quadratic version of resolvent operator. The relevance of this notion is proved by the existence of a quaternionic continuous functional calculus and a theory of quaternionic semigroups relying upon it. A problem of quaternionic formulation is the description of composite quantum systems in absence of a natural tensor product due to non-commutativity of quaternions. A promising tool towards a solution is a quaternionic projection-valued measure (PVM), making possible a tensor product of quaternionic operators with physical relevance. A notion with this property, called intertwining quaternionic PVM, is presented here. This foundational paper aims to investigate the interplay of this new mathematical object and the spherical spectral features of quaternionic generally unbounded normal operators. We discover in particular the existence of other spectral notions equivalent to the spherical ones, but based on a standard non-quadratic notion of resolvent operator.
△ Less
Submitted 12 October, 2017; v1 submitted 8 February, 2016;
originally announced February 2016.
-
Spectral properties of compact normal quaternionic operators
Authors:
Riccardo Ghiloni,
Valter Moretti,
Alessandro Perotti
Abstract:
General, especially spectral, features of compact normal operators in quaternionic Hilbert spaces are studied and some results are established which generalize well-known properties of compact normal operators in complex Hilbert spaces. More precisely, it is proved that the norm of such an operator always coincides with the maximum of the set of absolute values of the eigenvalues (exploiting the n…
▽ More
General, especially spectral, features of compact normal operators in quaternionic Hilbert spaces are studied and some results are established which generalize well-known properties of compact normal operators in complex Hilbert spaces. More precisely, it is proved that the norm of such an operator always coincides with the maximum of the set of absolute values of the eigenvalues (exploiting the notion of spherical eigenvalue). Moreover the structure of the spectral decomposition of a generic compact normal operator $T$ is discussed also proving a spectral characterization theorem for compact normal operators.
△ Less
Submitted 12 February, 2014;
originally announced February 2014.
-
Continuous slice functional calculus in quaternionic Hilbert spaces
Authors:
Riccardo Ghiloni,
Valter Moretti,
Alessandro Perotti
Abstract:
The aim of this work is to define a continuous functional calculus in quaternionic Hilbert spaces, starting from basic issues regarding the notion of spherical spectrum of a normal operator. As properties of the spherical spectrum suggest, the class of continuous functions to consider in this setting is the one of slice quaternionic functions. Slice functions generalize the concept of slice regula…
▽ More
The aim of this work is to define a continuous functional calculus in quaternionic Hilbert spaces, starting from basic issues regarding the notion of spherical spectrum of a normal operator. As properties of the spherical spectrum suggest, the class of continuous functions to consider in this setting is the one of slice quaternionic functions. Slice functions generalize the concept of slice regular function, which comprises power series with quaternionic coefficients on one side and that can be seen as an effective generalization to quaternions of holomorphic functions of one complex variable. The notion of slice function allows to introduce suitable classes of real, complex and quaternionic $C^*$--algebras and to define, on each of these $C^*$--algebras, a functional calculus for quaternionic normal operators. In particular, we establish several versions of the spectral map theorem. Some of the results are proved also for unbounded operators. However, the mentioned continuous functional calculi are defined only for bounded normal operators. Some comments on the physical significance of our work are included.
△ Less
Submitted 26 March, 2013; v1 submitted 3 July, 2012;
originally announced July 2012.
-
The interplay of the polar decomposition theorem and the Lorentz group
Authors:
Valter Moretti
Abstract:
It is shown that the polar decomposition theorem of operators in (real) Hilbert spaces gives rise to the known decomposition in boost and spatial rotation part of any matrix of the orthochronous proper Lorentz group $SO(1,3)\uparrow$. This result is not trivial because the polar decomposition theorem is referred to a positive defined scalar product while the Lorentz-group decomposition theorem d…
▽ More
It is shown that the polar decomposition theorem of operators in (real) Hilbert spaces gives rise to the known decomposition in boost and spatial rotation part of any matrix of the orthochronous proper Lorentz group $SO(1,3)\uparrow$. This result is not trivial because the polar decomposition theorem is referred to a positive defined scalar product while the Lorentz-group decomposition theorem deals with the indefinite Lorentz metric. A generalization to infinite dimensional spaces can be given. It is finally shown that the polar decomposition of $SL(2,\bC)$ is preserved by the covering homomorphism of $SL(2,\bC)$ onto $SO(1,3)\spa\uparrow$
△ Less
Submitted 20 November, 2002;
originally announced November 2002.
-
On recent strategies proposed for proving the Riemann hypothesis
Authors:
E. Elizalde,
V. Moretti,
S. Zerbini
Abstract:
We comment on some apparently weak points in the novel strategies recently developed by various authors aiming at a proof of the Riemann hypothesis. After noting the existence of relevant previous papers where similar tools have been used, we refine some of these strategies. It is not clear at the moment if the problems we point out here can be resolved rigorously, and thus a proof of the RH be…
▽ More
We comment on some apparently weak points in the novel strategies recently developed by various authors aiming at a proof of the Riemann hypothesis. After noting the existence of relevant previous papers where similar tools have been used, we refine some of these strategies. It is not clear at the moment if the problems we point out here can be resolved rigorously, and thus a proof of the RH be obtained, along the lines proposed. However, a specific suggestion of a procedure to overcome the encountered difficulties is made, what constitutes a step towards this goal.
△ Less
Submitted 4 September, 2001;
originally announced September 2001.
