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

Lee-Yang theorem for fermions

Chaithanya Rayudu, Takahiro Misawa, Andrew Zhao, Jun Takahashi

quant-phcond-mat.stat-mechcond-mat.str-elcs.CCmath-phSubmitted Sep 20, 2026• Announced Sep 22, 2026• 0 citations
arXivHTMLPDF

Abstract

Lee-Yang theorems are a powerful tool for studying many-body systems, with applications ranging from analyzing phase transitions to proving the efficiency of certain classical and quantum algorithms. In this work, we prove a Lee-Yang zero-freeness theorem for the partition function of a broad class of interacting fermion models, implying the existence of a provably efficient quantum algorithm for estimating their ground-state energies. This class includes several well-known models such as the attractive Hubbard model, repulsive Hubbard model on bipartite graphs, and the interacting Hofstadter model. Our results also rigorously establish the nonexistence of phase transitions in these models in the presence of a nonzero local external field.

Comments
16 pages

Related papers

Spectral gap of Lee-Yang Hamiltonians

Chaithanya Rayudu, Jun Takahashi

The Lee-Yang theorem and its quantum extensions state that, for a broad class of Hamiltonians on any graph, the partition function's zeros in the complex magnetic field plane lie only on the imaginary axis. For these Hamiltonians, we prove that under a uniform Z-field of any strength h, the ground state has a spectral gap of at least h/4, independent of the system size and of the coupling strengths. The proof uses the zero-freeness of the partition function as given by Asano and Suzuki-Fisher to show exponential decay of the imaginary-time correlations for any product of Z-operators. Our result gives a polynomial-time quantum algorithm for computing the ground state energy of any Lee-Yang Hamiltonian.

quant-pharXiv:2607.10765•Jul 14, 2026•0 citations

Partition function zeros of quantum many-body systems

B. Sriram Shastry

We present a method for calculating the Yang-Lee partition function zeros of a translationally invariant model of lattice fermions, exemplified by the Hubbard model. The method rests on a theorem involving the usual single-electron self-energy ${\mathrm{\ensuremath{\Sigma}}}_{\ensuremath{\sigma}}(\stackrel{P\vec}{k},i{\ensuremath{\omega}}_{n}|\ensuremath{\mu})$ with chemical potential $\ensuremath{\mu}$, in the imaginary time Matsubara formulation. The theorem maps the Yang-Lee zeros to a set of wave vector and spin labeled virtual energies ${\ensuremath{\xi}}_{\stackrel{P\vec}{k}\ensuremath{\sigma}}$. These, thermodynamically derived virtual energies, are solutions of the set of equations ${\ensuremath{\xi}}_{k\ensuremath{\sigma}}={\ensuremath{\varepsilon}}_{\ensuremath{\sigma}}(\stackrel{P\vec}{k})\ensuremath{-}\frac{1}{2}U+{\mathrm{\ensuremath{\Sigma}}}_{\ensuremath{\sigma}}(\stackrel{P\vec}{k},i\frac{\ensuremath{\pi}}{\ensuremath{\beta}}|{\ensuremath{\xi}}_{k\ensuremath{\sigma}}+\frac{1}{2}U\ensuremath{-}i\frac{\ensuremath{\pi}}{\ensuremath{\beta}})=0$. Examples of the method in simplified situations are provided.

arXiv:2504.01880•Physical review. E•Jul 16, 2025•2 citations

Efficient quantum algorithm for Heisenberg spin systems

Sergey Bravyi, David Gosset, Yinchen Liu +1 more

We consider a broad family of Heisenberg-type quantum spin systems that were studied by Suzuki and Fisher in 1971. This family includes, for example, the Heisenberg antiferromagnet on any bipartite graph. The ground and Gibbs states of these models are Lee-Yang tensors with radius 1: they are associated with multilinear polynomials that possess an extraordinary zero-freeness property inside the unit polydisk in the complex plane. For each Hamiltonian in this family we show that the spectral gap between the first-excited and ground-state energies is lower bounded by $2μ$, where $μ$ is the magnetic field along the $Z$ direction. Using this result we obtain an efficient quantum adiabatic algorithm for the ground energy of any model in this family. The proof is based on a new inequality that relates the spectral gap of a positive semidefinite operator to its Lee-Yang radius -- a quantitative strengthening of prior work of the authors that may find applications elsewhere.

quant-pharXiv:2607.14401•Jul 17, 2026•0 citations

Zeros of the Partition Function for the Heisenberg, Ferroelectric, and General Ising Models

Masuo Suzuki, Michael Ellis Fisher

The Lee-Yang theorem for the zeros of the partition function of a ferromagnetic Ising model with real pair spin interactions is extended to general Ising models with complex many-spin interactions (satisfying appropriate ``ferromagnetic'' and spin inversion symmetry conditions). When many-spin interactions are present, all zeros lie on the imaginary Hz-axis for sufficiently low (but fixed) T, but, in general, some leave the imaginary axis as T → ∞. The extended Ising theorem is used to prove the same result for a Heisenberg system of arbitrary spin with the real anisotropic pair interaction Hamiltonian Hij=−(JijzSizSjz+JijxSixSjx+JijySiySjy)in an arbitrary transverse field (Hx, Hy) under the ``ferromagnetic'' condition Jijz≥|Jijx| and Jijz≥|Jijy|. The analyticity of the limiting free energy of such a Heisenberg ferromagnet and the absence of a phase transition are thereby established for all (real) nonzero magnetic fields Hz. The Ising theorem is also applied to hydrogen-bonded ferroelectric models to prove, in particular, that the zeros for the KDP model lie on the imaginary electric field axis for all T below the transition temperature Tc.

Journal of Mathematical Physics•Feb 1, 1971•164 citations

Lee-Yang theory of the two-dimensional quantum Ising model

Pascal M. Vecsei, José Luis Lado, Christian Flindt

Determining the phase diagram of interacting quantum many-body systems is an important task for a wide range of problems such as the understanding and design of quantum materials. For classical equilibrium systems, the Lee-Yang formalism provides a rigorous foundation of phase transitions, and these ideas have also been extended to the quantum realm. Here, we develop a Lee-Yang theory of quantum phase transitions that can include thermal fluctuations caused by a finite temperature, and it thereby provides a link between the classical Lee-Yang formalism and recent theories of phase transitions at zero temperature. Our methodology exploits analytic properties of the moment generating function of the order parameter in systems of finite size, and it can be implemented in combination with tensor-network calculations. Specifically, the onset of a symmetry-broken phase is signaled by the zeros of the moment generating function approaching the origin in the complex plane of a counting field that couples to the order parameter. Moreover, the zeros can be obtained by measuring or calculating the high cumulants of the order parameter. We determine the phase diagram of the two-dimensional quantum Ising model and thereby demonstrate the potential of our method to predict the critical behavior of two-dimensional quantum systems at finite temperatures.

arXiv:2204.08223•Physical review. B./Physical review. B•Aug 1, 2022•20 citations

Experimental Investigation of Lee–Yang Criticality Using Non-Hermitian Quantum System

Ziheng 子桁 Lan 蓝, Wenquan Liu, Yang Wu +5 more

Lee–Yang theory clearly demonstrates where the phase transition of many-body systems occurs and the asymptotic behavior near the phase transition using the partition function under complex parameters. The complex parameters make the direct investigation of Lee–Yang theory in practical systems challenging. Here we construct a non-Hermitian quantum system that can correspond to the one-dimensional Ising model with imaginary parameters through the equality of partition functions. By adjusting the non-Hermitian parameter, we successfully obtain the partition function under different imaginary magnetic fields and observe the Lee–Yang zeros. We also observe the critical behavior of free energy in vicinity of Lee–Yang zero that is consistent with theoretical prediction. Our work provides a protocol to study Lee–Yang zeros of the one-dimensional Ising model using a single-qubit non-Hermitian system.

Chinese Physics Letters•Apr 12, 2024•7 citations
Lee-Yang theorems are a powerful tool for studying many-body systems, with applications ranging from analyzing phase transitions to proving the efficiency of certain classical and quantum algorithms. In this work, we prove a Lee-Yang zero-freeness theorem for the partition function of a broad class of interacting fermion models, implying the existence of a provably efficient quantum algorithm for estimating their ground-state energies. This class includes several well-known models such as the attractive Hubbard model, repulsive Hubbard model on bipartite graphs, and the interacting Hofstadter model. Our results also rigorously establish the nonexistence of phase transitions in these models in the presence of a nonzero local external field.
The Lee-Yang theorem and its quantum extensions state that, for a broad class of Hamiltonians on any graph, the partition function's zeros in the complex magnetic field plane lie only on the imaginary axis. For these Hamiltonians, we prove that under a uniform Z-field of any strength h, the ground state has a spectral gap of at least h/4, independent of the system size and of the coupling strengths. The proof uses the zero-freeness of the partition function as given by Asano and Suzuki-Fisher to show exponential decay of the imaginary-time correlations for any product of Z-operators. Our result gives a polynomial-time quantum algorithm for computing the ground state energy of any Lee-Yang Hamiltonian.
We present a method for calculating the Yang-Lee partition function zeros of a translationally invariant model of lattice fermions, exemplified by the Hubbard model. The method rests on a theorem involving the usual single-electron self-energy ${\mathrm{\ensuremath{\Sigma}}}_{\ensuremath{\sigma}}(\stackrel{P\vec}{k},i{\ensuremath{\omega}}_{n}|\ensuremath{\mu})$ with chemical potential $\ensuremath{\mu}$, in the imaginary time Matsubara formulation. The theorem maps the Yang-Lee zeros to a set of wave vector and spin labeled virtual energies ${\ensuremath{\xi}}_{\stackrel{P\vec}{k}\ensuremath{\sigma}}$. These, thermodynamically derived virtual energies, are solutions of the set of equations ${\ensuremath{\xi}}_{k\ensuremath{\sigma}}={\ensuremath{\varepsilon}}_{\ensuremath{\sigma}}(\stackrel{P\vec}{k})\ensuremath{-}\frac{1}{2}U+{\mathrm{\ensuremath{\Sigma}}}_{\ensuremath{\sigma}}(\stackrel{P\vec}{k},i\frac{\ensuremath{\pi}}{\ensuremath{\beta}}|{\ensuremath{\xi}}_{k\ensuremath{\sigma}}+\frac{1}{2}U\ensuremath{-}i\frac{\ensuremath{\pi}}{\ensuremath{\beta}})=0$. Examples of the method in simplified situations are provided.
We consider a broad family of Heisenberg-type quantum spin systems that were studied by Suzuki and Fisher in 1971. This family includes, for example, the Heisenberg antiferromagnet on any bipartite graph. The ground and Gibbs states of these models are Lee-Yang tensors with radius 1: they are associated with multilinear polynomials that possess an extraordinary zero-freeness property inside the unit polydisk in the complex plane. For each Hamiltonian in this family we show that the spectral gap between the first-excited and ground-state energies is lower bounded by 2μ2μ2μ, where μμμ is the magnetic field along the ZZZ direction. Using this result we obtain an efficient quantum adiabatic algorithm for the ground energy of any model in this family. The proof is based on a new inequality that relates the spectral gap of a positive semidefinite operator to its Lee-Yang radius -- a quantitative strengthening of prior work of the authors that may find applications elsewhere.
The Lee-Yang theorem for the zeros of the partition function of a ferromagnetic Ising model with real pair spin interactions is extended to general Ising models with complex many-spin interactions (satisfying appropriate ``ferromagnetic'' and spin inversion symmetry conditions). When many-spin interactions are present, all zeros lie on the imaginary Hz-axis for sufficiently low (but fixed) T, but, in general, some leave the imaginary axis as T → ∞. The extended Ising theorem is used to prove the same result for a Heisenberg system of arbitrary spin with the real anisotropic pair interaction Hamiltonian Hij=−(JijzSizSjz+JijxSixSjx+JijySiySjy)in an arbitrary transverse field (Hx, Hy) under the ``ferromagnetic'' condition Jijz≥|Jijx| and Jijz≥|Jijy|. The analyticity of the limiting free energy of such a Heisenberg ferromagnet and the absence of a phase transition are thereby established for all (real) nonzero magnetic fields Hz. The Ising theorem is also applied to hydrogen-bonded ferroelectric models to prove, in particular, that the zeros for the KDP model lie on the imaginary electric field axis for all T below the transition temperature Tc.
Determining the phase diagram of interacting quantum many-body systems is an important task for a wide range of problems such as the understanding and design of quantum materials. For classical equilibrium systems, the Lee-Yang formalism provides a rigorous foundation of phase transitions, and these ideas have also been extended to the quantum realm. Here, we develop a Lee-Yang theory of quantum phase transitions that can include thermal fluctuations caused by a finite temperature, and it thereby provides a link between the classical Lee-Yang formalism and recent theories of phase transitions at zero temperature. Our methodology exploits analytic properties of the moment generating function of the order parameter in systems of finite size, and it can be implemented in combination with tensor-network calculations. Specifically, the onset of a symmetry-broken phase is signaled by the zeros of the moment generating function approaching the origin in the complex plane of a counting field that couples to the order parameter. Moreover, the zeros can be obtained by measuring or calculating the high cumulants of the order parameter. We determine the phase diagram of the two-dimensional quantum Ising model and thereby demonstrate the potential of our method to predict the critical behavior of two-dimensional quantum systems at finite temperatures.
Lee–Yang theory clearly demonstrates where the phase transition of many-body systems occurs and the asymptotic behavior near the phase transition using the partition function under complex parameters. The complex parameters make the direct investigation of Lee–Yang theory in practical systems challenging. Here we construct a non-Hermitian quantum system that can correspond to the one-dimensional Ising model with imaginary parameters through the equality of partition functions. By adjusting the non-Hermitian parameter, we successfully obtain the partition function under different imaginary magnetic fields and observe the Lee–Yang zeros. We also observe the critical behavior of free energy in vicinity of Lee–Yang zero that is consistent with theoretical prediction. Our work provides a protocol to study Lee–Yang zeros of the one-dimensional Ising model using a single-qubit non-Hermitian system.