Gate Parameter Lee-Yang Zeros and Dynamical Phases in Quantum Circuits

This paper proposes gate-parameter Lee-Yang zeros of Loschmidt amplitudes as a universal, non-integrability-dependent diagnostic for dynamical phase transitions in finite quantum circuits, demonstrating how these zeros condense onto limiting curves governed by Floquet eigenvalue competition and state overlaps to signal abrupt reorganizations indicative of phase changes.

The Gist

Imagine you have a complex machine made of tiny switches (qubits) that you can flip in a specific pattern. This machine is a quantum circuit. In the world of quantum physics, we often want to know: "If I start the machine in one specific state, run it for a while, and then check it, how likely is it that it ends up looking exactly like it started?"

This paper introduces a new way to look at that question, not by asking "how long did we run it?" but by asking "what if we tweak the settings of the switches?"

Here is the breakdown of their discovery using simple analogies:

1. The "Recipe" and the "Taste Test"

Think of the quantum circuit as a recipe for a cake. The "ingredients" are the settings of the switches (called gate parameters). The "taste" of the cake is the Loschmidt amplitude—a number that tells you how similar the final state is to the starting state.

Usually, scientists study what happens if you bake the cake for a longer time (more steps in the recipe). This paper does something different: they keep the time fixed but start changing the ingredients (the gate parameters) into "imaginary" numbers (a mathematical trick that allows us to see hidden patterns).

2. The "Ghost Points" (Lee-Yang Zeros)

When you change these imaginary ingredients, there are specific settings where the "taste" of the cake becomes zero. In the math world, these are called zeros.

The authors call these Gate-Parameter Lee-Yang Zeros. Think of them as "Ghost Points" on a map. If you plot all these Ghost Points on a graph, they don't just scatter randomly. As you make the machine run for more and more steps (increasing the "circuit depth"), these points start to line up and form distinct, beautiful shapes.

3. Two Types of Shapes

The paper finds that these Ghost Points always form two kinds of shapes, depending on the "flavor" of the machine:

• The "Universal" Shape (The Machine's Personality):
  Some of the Ghost Points form a shape that depends only on how the machine is built, not on what you put into it at the start.

  • Analogy: Imagine a drum. No matter what song you play on it, the drum has a specific shape and size. The "Universal" Ghost Points are like the outline of that drum.
  • The Discovery: The authors found that when the machine is in a "heavy" state (massive regime), these points form a perfect circle. When it's in a "light" state (massless regime), they form straight lines (like a cross).

• The "Personal" Shape (The Starting State):
  The other Ghost Points depend on the specific initial state you chose (the "song" you played).

  • Analogy: This is like the specific notes you hear when you hit the drum. They change based on how you hit it, but they still happen within the boundaries of the drum's shape.

4. The "Phase Transition" (The Tipping Point)

The most exciting part of the paper is what happens when you tweak a specific knob on the machine (the parameter $\Delta$).

• The Switch: As you turn this knob, the machine suddenly changes its "flavor."
• The Visual: Imagine a crowd of people (the Ghost Points) standing in a circle. As you turn the knob, they suddenly break formation, run to the center, and rearrange themselves into a giant "X" shape.
• The Meaning: This sudden rearrangement is a Dynamical Phase Transition. It's like water suddenly turning into ice, but instead of temperature, it's the settings of the quantum switches that cause the change.

5. Why This Matters (Without the Jargon)

• No Infinite Size Needed: Usually, to see these sharp changes, you need a machine with infinite parts (the "thermodynamic limit"). This paper shows you can see these sharp changes even in small, finite machines (like the ones we can build today on real quantum computers).
• It's Not Magic: The authors used a very complex mathematical tool (Bethe Ansatz) to calculate this exactly for a specific model. However, they argue that the reason the points line up isn't because the model is special or "solvable." It's because of a fundamental rule of quantum mechanics called unitarity (conservation of probability). Even if the machine is messy or chaotic, these Ghost Points should still form these shapes.

Summary

The paper proposes a new way to diagnose the "health" or "state" of a quantum computer. Instead of waiting for the machine to break or fail, you can look at the "Ghost Points" created by tweaking its settings. If these points suddenly rearrange from a circle to a cross, you know the machine has undergone a fundamental shift in its behavior, even if the machine is small and finite.

It's like looking at the ripples in a pond to tell if the wind has changed direction, without needing to measure the wind directly.

Technical Summary

Technical Summary: Gate Parameter Lee-Yang Zeros and Dynamical Phases in Quantum Circuits

Problem Statement
Quantum circuit models serve as a primary framework for digital simulation of many-body dynamics and quantum computation. While conventional condensed-matter physics relies on taking the thermodynamic limit to define phase transitions, finite-size quantum circuits operate with a discrete number of qubits and a fixed circuit depth. A central challenge is determining whether sharp dynamical regimes or phase transitions can be diagnosed in these finite systems without extrapolating to an infinite size. Specifically, the authors address whether transition amplitudes (Loschmidt amplitudes) in finite circuits can exhibit non-analytic behavior indicative of dynamical phase transitions (DQPTs) when analyzed through the lens of complex gate parameters rather than complex time.

Methodology
The authors propose a diagnostic tool based on Gate-Parameter Lee-Yang (GPLY) zeros of the Loschmidt amplitude. Instead of analytically continuing time (as in standard DQPT formulations), they fix the circuit depth and one gate parameter while complexifying a second gate parameter.

1. Model System: The study utilizes the brickwork model, an exactly solvable quantum circuit constructed from gauge-transformed two-qubit gates $U_{ij}(\alpha, \phi)$. This model is identified with the six-vertex $R$-matrix, allowing for exact solutions via the Bethe Ansatz.
2. Analytic Structure: The Loschmidt amplitude $D_\Psi(n) = \langle \Psi | U^n | \Psi \rangle$ is expressed as a rational function of the gate parameters $q = e^\eta$ and $x = e^{\xi/2}$. The zeros of the numerator polynomial $P_{\Psi,n}(q, x)$ are identified as the GPLY zeros.
3. Theoretical Framework: The distribution of these zeros in the large circuit-depth limit ($n \to \infty$) is analyzed using the Beraha–Kahane–Weiss (BKW) theorem. This theorem dictates that zeros of a sequence of polynomials of the form $\sum \alpha_i(x) \lambda_i(x)^n$ condense onto limiting curves determined by two mechanisms:
   • State-dependent: Coefficients $\alpha_i(x)$ (overlaps between the initial state and Floquet eigenstates) vanishing.
   • Universal: The condition where two or more dominant eigenvalue branches $\lambda_i(x)$ become equimodular ($|\lambda_i(x)| = |\lambda_j(x)|$).
4. Unitarity Constraints: The authors derive the universal limiting curves by imposing local unitarity conditions on the gate parameters. For real physical parameters, the gate is unitary; the authors analytically continue these parameters to find the loci in the complex plane where the eigenvalues remain equimodular.

Key Contributions and Results

• Identification of Dynamical Phases: The paper identifies two distinct dynamical regimes in the brickwork model based on the anisotropy parameter $\Delta = (q + q^{-1})/2$:
  • Massive Regime ($|\Delta| > 1$): The GPLY zeros condense onto a unit circle in the complex $x$-plane, exhibiting dihedral symmetry. This structure is robust across different initial states (Domain Wall, Dimer, Néel, Crosscap).
  • Massless Regime ($|\Delta| < 1$): The limiting curves shift to the real and imaginary axes, forming spiral-like patterns with $Z_4$ symmetry. The unit circle structure disappears.
• Finite-Size Phase Transition: A sharp reorganization of the zero distribution occurs at the critical point $\Delta = 1$. As the parameter crosses this value, the universal component of the zero set transitions from a circular condensation to an axial one. This provides a finite-qubit diagnostic for a dynamical phase transition that does not require the thermodynamic limit.
• Separation of Universal and State-Dependent Components: The authors demonstrate that the limiting curves comprise a universal part (governed solely by the Floquet spectrum and local unitarity) and a state-dependent part (governed by initial state overlaps). The phase transition is driven by the reorganization of the universal component.
• Role of Integrability: The study utilizes the integrability of the brickwork model to compute the Loschmidt amplitude exactly. However, the authors emphasize that the mechanism for the phase transition (spectral competition and local unitarity) is not dependent on integrability. Integrability serves as a computational tool to expose the structure, suggesting the phenomenon should persist in non-integrable or chaotic circuits.

Significance and Claims
The paper claims to provide a "sharp probe of dynamical phases in finite quantum circuits." Its primary significance lies in:

1. Alternative to Thermodynamic Limits: It establishes that dynamical phase transitions can be diagnosed in finite systems by analyzing the zeros of transition amplitudes in the complex gate-parameter plane, rather than relying on the thermodynamic limit or complex-time Fisher zeros.
2. Experimental Relevance: The diagnostic is framed as naturally suited for current quantum processors. Loschmidt amplitudes are accessible via interferometric protocols, and Lee-Yang zeros have previously been inferred experimentally. The method avoids the need for extrapolation to infinite system sizes.
3. Universality: The mechanism relies on spectral competition and local unitarity, implying that the observed phase transition is a generic feature of unitary quantum circuits, not an artifact of the specific integrable model used for calculation.

The authors note that while the universal component drives the phase transition, the state-dependent components encode rich information about the initial state, suggesting potential applications in characterizing different quantum states. They also identify open questions regarding the finite-time scaling of zero density near the critical point and the robustness of these findings in noisy, non-integrable circuits.