Zeros of partition functions, in particular Lee-Yang zeros, in a complex plane provide important information for understanding phase transitions. A recent discovery on the equivalence between the coherence of a central quantum system and the partition function of the environment in the complex plane enabled the experimental study of Lee-Yang zeros, with several pioneering experiments on spin systems. Lee-Yang zeros have not been observed in Bosonic systems. Here we propose an experimental scheme to demonstrate Lee-Yang zeros in Bosonic systems associated with a single trapped ion by introducing strong coupling between the spin and motion degrees of freedom, i.e. beyond the weak coupling Lamb-Dicke regime. Our scheme provides new possibilities for quantum simulation of the thermodynamics of Bosonic systems in the complex plane.
Zeros of partition functions, in particular Lee-Yang zeros, in a complex plane provide important information for understanding phase transitions. A recent discovery on the equivalence between the coherence of a central quantum system and the partition function of the environment in the complex plane enabled the experimental study of Lee-Yang zeros, with several pioneering experiments on spin systems. Lee-Yang zeros have not been observed in Bosonic systems. Here we propose an experimental scheme to demonstrate Lee-Yang zeros in Bosonic systems associated with a single trapped ion by introducing strong coupling between the spin and motion degrees of freedom, i.e. beyond the weak coupling Lamb-Dicke regime. Our scheme provides new possibilities for quantum simulation of the thermodynamics of Bosonic systems in the complex plane.
Lee-Yang zeros are points on the complex plane of physical parameters where the partition function of a system vanishes and hence the free energy diverges. Lee-Yang zeros are ubiquitous in many-body systems and fully characterize their thermodynamics. Notwithstanding their fundamental importance, Lee-Yang zeros have never been observed in experiments, due to the intrinsic difficulty that they would occur only at complex values of physical parameters, which are generally regarded as unphysical. Here we report the first observation of Lee-Yang zeros, by measuring quantum coherence of a probe spin coupled to an Ising-type spin bath. The quantum evolution of the probe spin introduces a complex phase factor and therefore effectively realizes an imaginary magnetic field. From the measured Lee-Yang zeros, we reconstructed the free energy of the spin bath and determined its phase transition temperature. This experiment opens up new opportunities of studying thermodynamics in the complex plane.
Lee-Yang zeros are points on the complex plane of physical parameters where the partition function of a system vanishes and hence the free energy diverges.Lee-Yang zeros are ubiquitous in many-body systems and fully characterize their thermodynamics.Notwithstanding their fundamental importance, Lee-Yang zeros have never been observed in experiments, due to the intrinsic difficulty that they would occur only at complex values of physical parameters, which are generally regarded as unphysical.Here we report the first observation of Lee-Yang zeros, by measuring quantum coherence of a probe spin coupled to an Ising-type spin bath.The quantum evolution of the probe spin introduces a complex phase factor and therefore effectively realizes an imaginary magnetic field.From the measured Lee-Yang zeros, we reconstructed the free energy of the spin bath and determined its phase transition temperature.This experiment opens up new opportunities of studying thermodynamics in the complex plane.
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.
Partition functions are ubiquitous in physics: They are important in determining the thermodynamic properties of many-body systems and in understanding their phase transitions. As shown by Lee and Yang, analytically continuing the partition function to the complex plane allows us to obtain its zeros and thus the entire function. Moreover, the scaling and nature of these zeros can elucidate phase transitions. Here, we show how to find partition function zeros on noisy intermediate-scale trapped-ion quantum computers in a scalable manner, using the XXZ spin chain model as a prototype, and observe their transition from XY-like behavior to Ising-like behavior as a function of the anisotropy. While quantum computers cannot yet scale to the thermodynamic limit, our work provides a pathway to do so as hardware improves, allowing the future calculation of critical phenomena for systems beyond classical computing limits.
Partition functions are ubiquitous in physics: They are important in determining the thermodynamic properties of many-body systems and in understanding their phase transitions. As shown by Lee and Yang, analytically continuing the partition function to the complex plane allows us to obtain its zeros and thus the entire function. Moreover, the scaling and nature of these zeros can elucidate phase transitions. Here, we show how to find partition function zeros on noisy intermediate-scale trapped-ion quantum computers in a scalable manner, using the XXZ spin chain model as a prototype, and observe their transition from XY-like behavior to Ising-like behavior as a function of the anisotropy. While quantum computers cannot yet scale to the thermodynamic limit, our work provides a pathway to do so as hardware improves, allowing the future calculation of critical phenomena for systems beyond classical computing limits.
Yang-Lee edge singularities are the branch point of free energy on the complex plane of physical parameters and have been shown to be the simplest universality class of phase transitions.However, Yang-Lee edge singularities have not been regarded as experimentally observable since they occur at complex physical parameters which are unphysical.A recent discovery regarding the relation between partition functions and probe spin coherence makes it experimentally feasible to access the complex plane of physical parameters.However, how to extract the critical point and the critical exponent of Yang-Lee edge singularities in many-body systems, which occurs only at the thermodynamic limit, has still been elusive.Here we show that the quantum coherence of a probe spin coupled to finite-size Ising-type spin systems presents universal scaling behavior near the Yang-Lee edge singularity.The finite-size scaling behavior of the quantum coherence of the probe spin predicts that one can extract the critical point and the critical exponent of the Yang-Lee edge singularity of an Ising-type spin system in the thermodynamic limit from the spin coherence measurement of the probe spin coupled to finite-size Ising-type spin systems.This finding provides a practical approach to studying the nature of Yang-Lee edge singularities of many-body systems.In 1952, Yang and Lee [1, 2] initiated the examination of phase transitions by studying the partition function zeros, termed Lee-Yang zeros, on the complex plane of a magnetic field h (or fugacity z for fluids).They found that for a system above its critical temperature T c , the partition function must be nonzero throughout some neighborhood of the real axis of the magnetic field within a gap determined by two edges at ( ) h T YL .Therefore the free energy is an analytic function of the real magnetic field.On the other hand, below the critical temperature T c , the Lee-Yang zeros will come arbitrarily to the real axis as the thermodynamic limit is taken, destroying the analyticity of the free energy in h for those real fields at which the Lee-Yang zeros accumulate.Kortman and Griffiths [3] pointed out that the edges of Lee-Yang zeros of a many-body system in the thermodynamic limit are singularity points, termed Yang-Lee edge singularities [4].Fisher [4] proposed that the Yang-Lee edge singularity could be considered as a new second order phase transition point with associated critical exponents.Renormalization group analyses [4] show that the Yang-Lee edge singularity is associated with an j i 3 theory and the crossover dimensionality of the Yang-Lee edge singularity is d c = 6.Later, the investigation of the Yang-Lee edge singularity has been extended to many other models, such as the classical nvector model [5], the quantum Heisenberg model [5], the spherical model [6], the quantum one-dimensional (1D) transverse Ising model [7], the hierarchical model [8], branched polymers [9], the directed-site animalsenumeration problem [10], Ising models on fractal lattices [11], Ising systems with correlated disorder [12], fluid models with repulsive-core interactions [13], the antiferromagnetic Ising model [14] etc.A comprehensive review of the study of Yang-Lee edge singularities can be found in [15, 16].Recently, Kibble-Zurek scaling was shown to appear at the Yang-Lee edge singularity [17], which supports that the Yang-Lee edge singularity is similar to conventional second order phase transitions.Yang-Lee edge singularity occurs in the ferromagnetic Ising models above its critical temperatures in a purely imaginary magnetic field h i (figure 1).For > ( ) h h T YL , the partition function acquires zeros, which becomes dense on the line with > ( ) Ih h T YL .The density of Lee-Yang zeros ( ) g T h , in the thermodynamic limit behaves as ~ -s ( ) | ( )| g T h h h T , YL when ( ) h h T YL from above, with σ being the universal critical