Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1203.5841

The bosonic Fock representation and a generalized Shale theorem

Paul Lee Robinson

Published Mar 26, 2012• 3 citations
arXivHTMLPDF

Abstract

We detail a new approach to the bosonic Fock representation of a complex Hilbert space V: our account places the bosonic Fock space S[V] between the symmetric algebra SV and its full antidual SV'; in addition to providing a context in which arbitrary (not necessarily restricted) real symplectic automorphisms of V are implemented, it offers simplified proofs of many standard results of the theory.

DOI
10.48550/arxiv.1203.5841

Related papers

Pure Symplectic Spinors in the Fock Representation

Paul Lee Robinson

We describe explicitly the space of smooth vectors and its antidual space of symplectic spinors for the Fock representation of a separable complex Hilbert space. Further, we show that a strongly positive polarization annihilates a complex line of pure symplectic spinors if and only if it satisfies a Hilbert-Schmidt condition. Throughout, we use the complex-wave model of the Fock representation due to Segal.

Journal of the London Mathematical Society•Oct 1, 1992•0 citations

Bosonic kernels

Paul Lee Robinson

We show that the bosonic Fock representation of a complex Hilbert space admits a purely algebraic kernel calculus; as an illustration, we use it to reproduce the standard integral kernel formulae for metaplectic operators within the complex-wave representation.

arXiv:1204.3693•Apr 17, 2012•0 citations

Reformulation of Quantum Theory

Seyed Ebrahim Akrami

We first recall a fact which is well-known among mathematical physicists although lesser-known among theoretical physicists that the standard quantum mechanics over a complex Hilbert space, is a Hamiltonian mechanics, regarding the Hilbert space as a linear real manifold equipped with its canonical symplectic form and restricting only to the expectation-value functions of Hermitian operators. Then in this framework, we reformulate the structure of quantum mechanics in the language of symplectic manifolds and avoid linear structure of Hilbert space in such a way that the results can be stated for an arbitrary symplectic manifold.

arXiv:2201.01187•Jan 3, 2022•0 citations

LOCAL EXPONENTS AND INFINITESIMAL GENERATORS OF CANONICAL TRANSFORMATIONS ON BOSON FOCK SPACES

Fumio Hiroshima, Keiichi R. Ito

A one-parameter symplectic group {etÂ}t∈ℝ derives proper canonical transformations indexed by t on a Boson–Fock space. It has been known that the unitary operator Ut implementing such a proper canonical transformation gives a projective unitary representation of {etÂ}t∈ℝ on the Boson–Fock space and that Ut can be expressed as a normal-ordered form. We rigorously derive the self-adjoint operator Δ(Â) and a local exponent [Formula: see text] with a real-valued function τÂ(·) such that [Formula: see text].

arXiv:math-ph/0309044•Infinite Dimensional Analysis Quantum Probability and Related Topics•Nov 27, 2004•4 citations

CAR on Fock spaces

Jan Dereziński, Christian Gérard

CAR on Fock spacesThis chapter is devoted to the study of Fock representations of the canonical anticommutation relations, a basic tool of quantum many-body theory and quantum field theory.It is parallel to Chap. 9, where Fock CCR representations were studied.The basic framework is almost the same as in Chap.9. Throughout this chapter Z is a Hilbert space, called the one-particle space.We will consider the Fock CAR representation acting on the fermionic Fock space Γ a (Z).As in Sect.1.3, we introduce the space Y = Re(Z ⊕ Z) := {(z, z) : z ∈ Z}, which will serve as the dual phase space of our system.Recall that in the bosonic case we equipped Y with the structure of the Kähler space consisting of the anti-involution j, the Euclidean scalar product • and the symplectic form ω: j(z, z) := (iz, iz), (13.1) (z, z) • (w, w) := 2Re(z|w), (13.2) (z, z)•ω(w, w) := 2Im(z|w) = -(z, z) • j(w, w).(13.3)In our presentation of the fermionic case, we will need the Kähler anti-involution j.The symplectic form ω will not be used.Instead of the scalar product (13.2) we will use another scalar product,Again we will avoid identifing Z with Y. CY is identified with Z ⊕ Z by the mapY # , the space dual to Y, is canonically identified with Re(Z ⊕ Z) by using the scalar product (9.2), and CY # is identified with Z ⊕ Z. Fock CAR representationConsider the fermionic Fock space Γ a (Z).Recall that, for z ∈ Z, a * (z), resp.a(z) denote the corresponding creation, resp.annihilation operators defined in Sect.3.4.

Cambridge University Press eBooks•Nov 4, 2022•0 citations

Quantum chemistry in Fock space. II. Effective Hamiltonians in Fock space

Werner Kutzelnigg, Sigurd Koch

The concept of an effective Hamiltonian in Fock space is introduced. It is based on the division of the entire one-particle space into subspaces of ‘‘active’’ and ‘‘inactive’’ orbitals. The effective Fock space Hamiltonian has—for active model states—the same eigenvalues as the full Hamiltonian. The theory outlined in this context differs from that of paper I mainly in a different definition of the ‘‘diagonal part’’ of an operator, and in the fact that the ‘‘quasidegenerate case’’ applies throughout. The separation theorem, and as a consequence the connected diagram theorem, is shown to hold, in a more limited sense though, even for those normalizations where it did not in the context of universal wave and energy operators. Unlike in the theory of the ‘‘universal’’ operators of paper I the Fock space and n-particle Hilbert space approaches with analogous normalizations are no longer equivalent. In particular, the Primas normalization with a fully Lie-algebraic structure does not lead to a connected diagram expansion if it is formulated in n-particle Hilbert space, only so in a Fock space formulation. In n-particle Hilbert space with the present definition of the diagonal part of an operator the normalizations b (‘‘canonical’’) and c (‘‘Primas’’) happen to agree. As an alternative to the construction of the wave and energy operator W and L by perturbation theory the nonperturbative approach is presented as a generalization of the coupled-cluster method, in detail both in the intermediate and in the unitary normalization. In the unitary variant only a linear system for σ (the logarithm of the wave operator) has to be solved in order to get L correct through fifth order in perturbation theory with important contributions of higher orders included. A generalization of the Hartree–Fock method to Fock space theory is outlined, which guarantees stationarity of all (active) eigenstates with respect to one-particle transformations. A generalized electron pair theory is also defined. An analysis of the necessary computational steps shows that the nonperturbative approaches do not require significantly more computational effort than perturbation theory to the corresponding order. As a numerical example the H2 molecule in a small basis is discussed.

The Journal of Chemical Physics•Nov 1, 1983•171 citations
We detail a new approach to the bosonic Fock representation of a complex Hilbert space V: our account places the bosonic Fock space S[V] between the symmetric algebra SV and its full antidual SV'; in addition to providing a context in which arbitrary (not necessarily restricted) real symplectic automorphisms of V are implemented, it offers simplified proofs of many standard results of the theory.
We first recall a fact which is well-known among mathematical physicists although lesser-known among theoretical physicists that the standard quantum mechanics over a complex Hilbert space, is a Hamiltonian mechanics, regarding the Hilbert space as a linear real manifold equipped with its canonical symplectic form and restricting only to the expectation-value functions of Hermitian operators. Then in this framework, we reformulate the structure of quantum mechanics in the language of symplectic manifolds and avoid linear structure of Hilbert space in such a way that the results can be stated for an arbitrary symplectic manifold.
A one-parameter symplectic group {etÂ}t∈ℝ derives proper canonical transformations indexed by t on a Boson–Fock space. It has been known that the unitary operator Ut implementing such a proper canonical transformation gives a projective unitary representation of {etÂ}t∈ℝ on the Boson–Fock space and that Ut can be expressed as a normal-ordered form. We rigorously derive the self-adjoint operator Δ(Â) and a local exponent [Formula: see text] with a real-valued function τÂ(·) such that [Formula: see text].
CAR on Fock spacesThis chapter is devoted to the study of Fock representations of the canonical anticommutation relations, a basic tool of quantum many-body theory and quantum field theory.It is parallel to Chap. 9, where Fock CCR representations were studied.The basic framework is almost the same as in Chap.9. Throughout this chapter Z is a Hilbert space, called the one-particle space.We will consider the Fock CAR representation acting on the fermionic Fock space Γ a (Z).As in Sect.1.3, we introduce the space Y = Re(Z ⊕ Z) := {(z, z) : z ∈ Z}, which will serve as the dual phase space of our system.Recall that in the bosonic case we equipped Y with the structure of the Kähler space consisting of the anti-involution j, the Euclidean scalar product • and the symplectic form ω: j(z, z) := (iz, iz), (13.1) (z, z) • (w, w) := 2Re(z|w), (13.2) (z, z)•ω(w, w) := 2Im(z|w) = -(z, z) • j(w, w).(13.3)In our presentation of the fermionic case, we will need the Kähler anti-involution j.The symplectic form ω will not be used.Instead of the scalar product (13.2) we will use another scalar product,Again we will avoid identifing Z with Y. CY is identified with Z ⊕ Z by the mapY # , the space dual to Y, is canonically identified with Re(Z ⊕ Z) by using the scalar product (9.2), and CY # is identified with Z ⊕ Z. Fock CAR representationConsider the fermionic Fock space Γ a (Z).Recall that, for z ∈ Z, a * (z), resp.a(z) denote the corresponding creation, resp.annihilation operators defined in Sect.3.4.
The concept of an effective Hamiltonian in Fock space is introduced. It is based on the division of the entire one-particle space into subspaces of ‘‘active’’ and ‘‘inactive’’ orbitals. The effective Fock space Hamiltonian has—for active model states—the same eigenvalues as the full Hamiltonian. The theory outlined in this context differs from that of paper I mainly in a different definition of the ‘‘diagonal part’’ of an operator, and in the fact that the ‘‘quasidegenerate case’’ applies throughout. The separation theorem, and as a consequence the connected diagram theorem, is shown to hold, in a more limited sense though, even for those normalizations where it did not in the context of universal wave and energy operators. Unlike in the theory of the ‘‘universal’’ operators of paper I the Fock space and n-particle Hilbert space approaches with analogous normalizations are no longer equivalent. In particular, the Primas normalization with a fully Lie-algebraic structure does not lead to a connected diagram expansion if it is formulated in n-particle Hilbert space, only so in a Fock space formulation. In n-particle Hilbert space with the present definition of the diagonal part of an operator the normalizations b (‘‘canonical’’) and c (‘‘Primas’’) happen to agree. As an alternative to the construction of the wave and energy operator W and L by perturbation theory the nonperturbative approach is presented as a generalization of the coupled-cluster method, in detail both in the intermediate and in the unitary normalization. In the unitary variant only a linear system for σ (the logarithm of the wave operator) has to be solved in order to get L correct through fifth order in perturbation theory with important contributions of higher orders included. A generalization of the Hartree–Fock method to Fock space theory is outlined, which guarantees stationarity of all (active) eigenstates with respect to one-particle transformations. A generalized electron pair theory is also defined. An analysis of the necessary computational steps shows that the nonperturbative approaches do not require significantly more computational effort than perturbation theory to the corresponding order. As a numerical example the H2 molecule in a small basis is discussed.