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:2402.08317

Strong convergence of a resolution of the identity via canonical coherent states

Ryo Namiki

Published Feb 13, 2024• 0 citations
arXivHTMLPDF

Abstract

A resolution of the identity due to canonical coherent states is often proven in the weak operator topology. However, such a resolution with an integral symbol is typically supposed to hold in the strong operator topology associated with the framework of the spectral theorem. We provide an elementary proof of the strong convergence for the resolution of the identity due to canonical coherent states starting with a mostly familiar setup. Further, we enjoy a different proof and show that the relevant uniform limit does not exist.

DOI
10.48550/arxiv.2402.08317

Related papers

Coherent-State Integrals Beyond the Domain of Operator Products

Ghasem Asadi Cordshooli

Inserting a resolution of the identity between two operators turns a matrix element of their product into a phase-space integral. For unbounded operators the product need not exist on the vector at hand, while the integral may still converge. We follow this gap through the chain $e^{μa^2}e^{λa^{\dagger2}}$ of two-photon exponentials, where it can be traced completely. Five regions of parameter space appear: where the Bochner conditions of the strong formulation hold, where the product exists as a vector, where it exists as a sesquilinear form, where the coherent-state integral converges, and where the Fock-space series converges. The first three are strictly nested inside the intersection of the last two, and these two overlap without either containing the other. A single Hermite-type function agrees with the matrix element where it exists and with the integral and the series wherever they converge, so the integral carries the analytic continuation of the matrix element beyond the domain of the product and beyond the convergence of its Fock series. On the real slice of parameter space, an iterated form of the integral also reaches every point where the series converges. The analysis rests on a weak composition lemma whose hypotheses concern only the bra, the ket and the resolving family. For bounded chains the same identity is unconditional, and worked examples of that kind are given in a companion paper.

math-phCross-listedarXiv:2610.19702•Oct 15, 2026•0 citations

The Resolution of the Identity as a Generator of Exact Integral Identities: A Coherent-State Approach

Ghasem Asadi Cordshooli, Mehdi Mirzaee

The resolution of the identity is typically utilized as a passive representation tool in standard quantum mechanics textbooks. In this paper, we reinterpret this traditional perspective by introducing the resolution of the identity associated with Glauber coherent states as a direct generator of exact complex Gaussian integral identities. By systematically projecting the continuous coherent-state completeness relation onto the discrete Fock basis, highly generalized Gaussian integral relations emerge naturally as a direct consequence of state preservation, rather than being introduced as independent mathematical postulates. We demonstrate that this overarching formal structure simultaneously dictates both discrete (Kronecker delta) and continuous (Dirac delta) localization kernels under appropriate basis projections, providing a sharp conceptual contrast between the structural features of overcomplete and strictly orthogonal representations. Crucially, we highlight an intriguing non-commuting behavior in the parameter limits of the master identity. Requiring only the elementary properties of coherent states and the Dirac formalism, this approach offers a transparent and visually intuitive illustration of how Hilbert-space completeness inherently encodes vast libraries of exact, solvable mathematical relations -- providing a unifying perspective suitable for advanced undergraduate and graduate instruction.

quant-pharXiv:2607.12822•Jul 15, 2026•0 citations

Resolutions of the identity in terms of line integrals ofSU(1, 1) coherent states

Apostol Vourdas, Alfred Wünsche

Resolutions of the identity in terms of contour integrals that involve coherent states and their `complementary states', are derived. The complementary states are auxiliary states that help in the formulation of these resolutions of the identity. Since the coherent states are normalizable inside the unit disc and the complementary states are normalizable outside the unit disc, enlargements of the Hilbert space are considered which allow the construction of resolutions of the identity in terms of contour integrals in rings . Several examples of our formalism are presented.

Journal of Physics A Mathematical and General•Nov 20, 1998•18 citations

A measure-free approach to coherent states

A. Horzela, Franciszek Hugon Szafraniec

In the process of generalizing coherent states, the situation when the measure—which is customarily incorporated in their definition—is indeterminate becomes unavoidable. A more dramatic situation may occur if there is no measure which makes the reproducing kernel Hilbert space, involved in the construction of coherent states, isometrically included in an space. Therefore, it appears that there is a need to redefine coherent states making the definition measure-free. Starting out with the reproducing kernel property, we ensure the basic feature of coherent states—resolution of the identity—to be maintained, cf (15) and remark 2. The only investment in the whole undertaking is a sequence (Φn)dn = 0 satisfying (4); the rest, including the aforesaid resolution of the identity, is a consequence of our choice. The approach is supported by examples which make the circumstances clear under which the sequence (Φn)dn = 0 appears; moment problems or rather orthogonal polynomials are one of them.

Journal of Physics A Mathematical and Theoretical•May 30, 2012•16 citations

Resolutions of the identity in terms of SU(2) coherent states and their use for quantum-state engineering

Apostol Vourdas

Resolutions of the identity in terms of line integrals that involve SU(2) coherent states and their complementary states are presented. They are used for the expansion of various states in terms of SU(2) coherent states on a line. The properties of the complementary states are also studied. \textcopyright{} 1996 The American Physical Society.

Physical Review A•Nov 1, 1996•14 citations

Functional Integral and Stochastic Representations for Ensembles of Identical Bosons on a Lattice

Manfred Salmhofer B

Abstract Regularized coherent-state functional integrals are derived for ensembles of identical bosons on a lattice, the regularization being a discretization of Euclidian time. Convergence of the time-continuum limit is proven for various discretized actions. The focus is on the integral representation for the partition function and expectation values in the canonical ensemble. The connection to the grand-canonical integral is exhibited and some important differences are discussed. Uniform bounds for covariances are proven, which simplify the analysis of the time-continuum limit and can also be used to analyze the thermodynamic limit. The relation to a stochastic representation by an ensemble of interacting random walks is made explicit, and its modifications in presence of a condensate are discussed.

arXiv:2006.12281•Communications in Mathematical Physics•Mar 11, 2021•4 citations
A resolution of the identity due to canonical coherent states is often proven in the weak operator topology. However, such a resolution with an integral symbol is typically supposed to hold in the strong operator topology associated with the framework of the spectral theorem. We provide an elementary proof of the strong convergence for the resolution of the identity due to canonical coherent states starting with a mostly familiar setup. Further, we enjoy a different proof and show that the relevant uniform limit does not exist.
Inserting a resolution of the identity between two operators turns a matrix element of their product into a phase-space integral. For unbounded operators the product need not exist on the vector at hand, while the integral may still converge. We follow this gap through the chain eμa2eλa†2e^{μa^2}e^{λa^{\dagger2}}eμa2eλa†2 of two-photon exponentials, where it can be traced completely. Five regions of parameter space appear: where the Bochner conditions of the strong formulation hold, where the product exists as a vector, where it exists as a sesquilinear form, where the coherent-state integral converges, and where the Fock-space series converges. The first three are strictly nested inside the intersection of the last two, and these two overlap without either containing the other. A single Hermite-type function agrees with the matrix element where it exists and with the integral and the series wherever they converge, so the integral carries the analytic continuation of the matrix element beyond the domain of the product and beyond the convergence of its Fock series. On the real slice of parameter space, an iterated form of the integral also reaches every point where the series converges. The analysis rests on a weak composition lemma whose hypotheses concern only the bra, the ket and the resolving family. For bounded chains the same identity is unconditional, and worked examples of that kind are given in a companion paper.
The resolution of the identity is typically utilized as a passive representation tool in standard quantum mechanics textbooks. In this paper, we reinterpret this traditional perspective by introducing the resolution of the identity associated with Glauber coherent states as a direct generator of exact complex Gaussian integral identities. By systematically projecting the continuous coherent-state completeness relation onto the discrete Fock basis, highly generalized Gaussian integral relations emerge naturally as a direct consequence of state preservation, rather than being introduced as independent mathematical postulates. We demonstrate that this overarching formal structure simultaneously dictates both discrete (Kronecker delta) and continuous (Dirac delta) localization kernels under appropriate basis projections, providing a sharp conceptual contrast between the structural features of overcomplete and strictly orthogonal representations. Crucially, we highlight an intriguing non-commuting behavior in the parameter limits of the master identity. Requiring only the elementary properties of coherent states and the Dirac formalism, this approach offers a transparent and visually intuitive illustration of how Hilbert-space completeness inherently encodes vast libraries of exact, solvable mathematical relations -- providing a unifying perspective suitable for advanced undergraduate and graduate instruction.
Resolutions of the identity in terms of contour integrals that involve coherent states and their `complementary states', are derived. The complementary states are auxiliary states that help in the formulation of these resolutions of the identity. Since the coherent states are normalizable inside the unit disc and the complementary states are normalizable outside the unit disc, enlargements of the Hilbert space are considered which allow the construction of resolutions of the identity in terms of contour integrals in rings . Several examples of our formalism are presented.
In the process of generalizing coherent states, the situation when the measure—which is customarily incorporated in their definition—is indeterminate becomes unavoidable. A more dramatic situation may occur if there is no measure which makes the reproducing kernel Hilbert space, involved in the construction of coherent states, isometrically included in an space. Therefore, it appears that there is a need to redefine coherent states making the definition measure-free. Starting out with the reproducing kernel property, we ensure the basic feature of coherent states—resolution of the identity—to be maintained, cf (15) and remark 2. The only investment in the whole undertaking is a sequence (Φn)dn = 0 satisfying (4); the rest, including the aforesaid resolution of the identity, is a consequence of our choice. The approach is supported by examples which make the circumstances clear under which the sequence (Φn)dn = 0 appears; moment problems or rather orthogonal polynomials are one of them.
Abstract Regularized coherent-state functional integrals are derived for ensembles of identical bosons on a lattice, the regularization being a discretization of Euclidian time. Convergence of the time-continuum limit is proven for various discretized actions. The focus is on the integral representation for the partition function and expectation values in the canonical ensemble. The connection to the grand-canonical integral is exhibited and some important differences are discussed. Uniform bounds for covariances are proven, which simplify the analysis of the time-continuum limit and can also be used to analyze the thermodynamic limit. The relation to a stochastic representation by an ensemble of interacting random walks is made explicit, and its modifications in presence of a condensate are discussed.