⚛️ quantum physics

The Coherent State Projection Eigenvalue Theorem

This paper proves that in the continuum limit, cyclic symmetry projected coherent states are eigenstates of the symmetry generating operator, establishing a differential identity in phase-space that incorporates conserved eigenvalues to reduce sampling errors in bosonic quantum simulations.

Original authors: Peter D. Drummond, Margaret D. Reid

Published 2026-10-27

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Peter D. Drummond, Margaret D. Reid

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the quantum world, light and matter behave in ways that defy our everyday intuition, existing not as solid particles but as waves of probability that can overlap and interfere. To make sense of this, physicists often use a mathematical tool called a "coherent state," which acts like a smooth, continuous map of a system's possible behaviors. Think of these states as a vast, flexible grid that covers every possible configuration a collection of particles might take, allowing scientists to simulate complex quantum systems on computers. However, this grid can become dangerously large and unwieldy when the system possesses a hidden symmetry, such as a rule that the total number of particles must remain constant or that their arrangement must repeat in a specific pattern. When a simulation ignores these rules, it wastes effort calculating possibilities that can never happen, leading to massive errors that make the results useless. This is particularly problematic for the next generation of quantum computers, which aim to solve problems that are impossible for classical machines, but only if the simulations used to test them are precise enough to handle the sheer scale of the experiment.

A team of researchers at Swinburne University of Technology has now solved a long-standing puzzle regarding how to fix these simulations when continuous symmetries are involved. They proved a fundamental theorem showing that when you mathematically "project" a quantum state to enforce a specific symmetry, the resulting state behaves in a remarkably simple way in the continuum limit: it becomes an eigenstate of the symmetry's generator. In plain language, this means that if you force a simulation to respect a conservation law, the mathematical object representing that state converges to a form where the symmetry's generator acts as a constant multiplier. For example, if the symmetry requires the total number of particles to be conserved, the projected state mathematically approaches a state with a definite particle count, rather than a messy mixture of different counts. This is not just a theoretical curiosity; it provides a powerful new set of mathematical tools that allow scientists to write down simpler, more accurate equations for how these quantum systems evolve over time.

The researchers built their proof by starting with the standard, unprojected coherent states and then applying a group of mathematical transformations that act like a filter, keeping only the parts of the state that obey the desired symmetry. They showed that as the mathematical "resolution" of this filter increases toward a continuous limit, the filtered state converges to a specific, stable form in the Hilbert-space norm. Crucially, they demonstrated that this form is an eigenstate, meaning that in this limit, the action of the symmetry generator on the state yields a specific value, effectively eliminating the deviation from that value. This result was previously just a guess, or a conjecture, based on the idea that the complex mathematical operations involved could be simplified. The authors have now rigorously proved that this simplification is exact, provided the symmetry involves continuous changes, such as shifting a phase or translating a position, rather than just discrete jumps.

This finding has immediate and practical consequences for simulating large quantum systems, such as those used in boson sampling experiments, where photons are sent through a complex network of mirrors and beam splitters. In these experiments, the number of possible outcomes grows so fast that even the most powerful supercomputers struggle to keep up, and standard simulation methods often fail because they generate "tails" of probability that represent impossible outcomes. By using the new differential identities derived from this theorem, researchers can now construct simulation equations that strictly respect the conservation laws, such as the total number of photons or their parity. This prevents the simulation from drifting into impossible regions of the mathematical space, drastically reducing the errors that usually accumulate over time. The paper notes that for experiments involving hundreds of modes and thousands of detected photons, these improved methods are essential for validating that the quantum computer is working correctly.

The work also clarifies the relationship between the discrete symmetries found in finite systems and the continuous symmetries of the real world. The authors showed that while a finite system might only have a limited set of symmetry operations, the mathematical limit of these operations reveals the underlying continuous structure. This allows the same powerful techniques used for simple, discrete cases to be applied to the more complex, continuous scenarios found in nature. The proof relies on the fact that the operators representing these symmetries commute, meaning they can be measured simultaneously without interfering with each other, a condition that holds for the systems the authors studied. By establishing that the projected states are indeed eigenstates in the continuum limit, the researchers have provided a solid foundation for a new generation of stochastic equations. These equations will allow physicists to simulate many-body quantum systems with greater efficiency and accuracy, turning what was once an impractical calculation into a manageable computational task.

The significance of this work lies in its ability to bridge the gap between abstract mathematical theory and the practical needs of experimental quantum physics. It confirms that the intuitive idea of "locking in" a symmetry works perfectly in the mathematical limit, giving scientists a reliable way to incorporate conservation laws directly into their simulation code. This is particularly important for the validation of large-scale quantum devices, where the cost of error is high and the margin for doubt is small. The authors emphasize that while the theorem applies to the continuum limit, the resulting identities can be used to improve simulations of real, finite systems by reducing the sampling errors that plague current methods. The paper concludes by noting that these new tools will be applied to specific problems in many-body physics, such as simulating interacting Bose gases and nonlinear damped systems, where the preservation of symmetry is critical for obtaining correct results.

Ultimately, this research transforms a complex mathematical challenge into a straightforward rule: when you enforce a symmetry in a quantum simulation, the system naturally adopts a state that respects that symmetry perfectly in the continuum limit. This insight allows scientists to bypass the inefficiencies of older methods and focus on the physically relevant parts of the quantum landscape. By proving that these projected states are eigenstates, the authors have opened the door to more robust and scalable simulations, ensuring that the theoretical predictions of quantum mechanics can keep pace with the rapidly advancing capabilities of quantum hardware. The work stands as a testament to the power of mathematical rigor in solving practical problems, turning a conjecture into a proven tool that will likely become a standard part of the quantum physicist's toolkit.

Technical Summary: The Coherent State Projection Eigenvalue Theorem

Problem Statement
Coherent states provide a complete basis for bosonic Hilbert spaces and are widely used in phase-space expansions to simulate bosonic many-body quantum systems. While these methods offer both exact and probabilistic results, they face significant challenges when the physical system possesses symmetries, such as dynamical conservation laws (e.g., particle number or parity). In unprojected phase-space representations, the coherent state basis includes regions of Hilbert space that are dynamically inaccessible to the initial state. This mismatch leads to the development of distribution tails in phase space, causing sampling errors to grow rapidly and rendering simulations inefficient or impractical, particularly in high-dimensional, multimode systems like Gaussian Boson Sampling (GBS) with conserved number parity.

While symmetry-projected coherent states have been developed to restrict the Hilbert space to dynamically accessible regions, standard phase-space techniques for these projected states often lack the necessary differential identities to generate efficient Fokker–Planck or stochastic equations. Previous work established eigenvalue properties for discrete symmetries and specific continuous cases (like total number conservation), but a general eigenvalue theorem for the continuum limit of projected coherent states under general continuous symmetries with commuting generators remained a conjecture.

Methodology
The authors employ group theory to construct projected coherent states as superpositions of unprojected coherent states. The methodology proceeds as follows:

Group Construction: The study defines a set of $N$ unitary matrix cyclic group transformations acting on $M$ -mode bosonic coherent amplitudes. These transformations are generated by commuting Hermitian matrices $g_\nu$ with integer eigenvalues.
Projection Operators: A symmetry projection operator $\hat{\Pi}_{\tilde{M}}^{\tilde{p}}$ is defined via a discrete Fourier sum over the cyclic group elements. This operator projects an arbitrary coherent state $|\alpha\rangle$ onto a subspace characterized by specific quantum numbers $\tilde{p}$ .
Spectral Analysis: The authors utilize the spectral theorem to decompose the projection operators. They demonstrate that the cyclic projector can be expanded as a sum of spectral projectors $\hat{E}_m$ corresponding to the eigenvalues of the generator $\hat{g}$ .
Continuum Limit: The core of the methodology involves taking the limit where the cyclic order $M_\nu$ of the symmetry groups tends to infinity ( $M_\nu \to \infty$ ). In this limit, the discrete cyclic symmetry approaches a continuous symmetry. The authors analyze the convergence of the projected states in the Hilbert-space norm.

Key Contributions and Results
The primary contribution of this work is the proof of the Coherent State Projection Eigenvalue Theorem. The authors prove that in the continuum limit ( $M \to \infty$ ), the projected coherent states become eigenstates of the symmetry-generating operators.

The Eigenvalue Theorem: For a generator $\hat{g}_\nu = \hat{a}^\dagger g_\nu \hat{a}$ with integer eigenvalues, and a projected coherent state $|\alpha\rangle_{\tilde{M}}^{\tilde{p}}$ , the following limit holds in the Hilbert-space norm:
$\lim_{M_\nu \to \infty} (\hat{g}_\nu - p_\nu) |\alpha\rangle_{\tilde{M}}^{\tilde{p}} = 0$
This result confirms that the projected states are eigenstates of the generator $\hat{g}_\nu$ with eigenvalue $p_\nu$ . The theorem holds for single and multiple commuting symmetries, and the eigenvalue $p_\nu$ is not restricted to the range $0 \le p_\nu < M_\nu$ but can take any integer value (positive, negative, or zero).
Differential Identities: By mapping the operator eigenvalue equation to the phase-space representation, the authors derive new differential identities. Specifically, for the limiting projected state $|\alpha\rangle^{(\infty)}_{\tilde{p}}$ , the following first-order differential identity holds:
$\left[ \sum_{j,k} g_{\nu,jk} \alpha_k \frac{\partial}{\partial \alpha_j} - p_\nu \right] |\alpha\rangle^{(\infty)}_{\tilde{p}} = 0$
Furthermore, by differentiating these identities with gauge structure constants, second-order differential identities are obtained.

Significance and Claims
The paper claims that this result provides a rigorous foundation for improving phase-space simulations of bosonic systems with continuous symmetries. The significance lies in the following points:

Efficiency in Simulation: The derived differential identities allow for the construction of improved Fokker–Planck and stochastic differential equations. By incorporating the conserved quantities (eigenvalues) directly into the dynamics, these equations can constrain the phase-space distributions, thereby reducing the "tails" that cause sampling errors.
Scalability: The approach allows scalable stochastic techniques to be used efficiently with symmetries. This is particularly relevant for validating large-scale quantum experiments, such as lossless Gaussian Boson Sampling, where unprojected methods fail due to sampling errors.
Generalization: The work generalizes previous results that were limited to number conservation or discrete symmetries (like parity) to general continuous symmetries with commuting generators.

The authors note that while the proof establishes the existence of these identities and the eigenstate property, the detailed applications of these identities to specific many-body physics problems and the specific forms of the resulting stochastic equations will be presented in future work. The paper does not claim to solve specific physical problems immediately but rather provides the theoretical "differential identity" toolkit required to optimize such simulations.

Technical Summary: The Coherent State Projection Eigenvalue Theorem

More like this