REVIEW
Circuit complexity of coupled four-mode squeezed states in two-field inflation
High Energy Physics - Theory · Submitted 28 Oct 2026 · 73 references
Pith's verdict: The analytical core is clean, but Eq. (24) drops a +iH source that Eq. (13) requires, so the numerical near-equality claim is unverified as printed.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper derives a closed-form Nielsen complexity, $C_{2,k}=\sqrt{2(r_{1k}^{2}+r_{2k}^{2})}$, for the coupled four-mode squeezed state of two-field inflation and argues numerically that interfield coupling barely moves the result.
The reading
What carries the argument
The load-bearing object is the symmetric pair-amplitude matrix $Z_k$ of the four-mode squeezed state, whose three complex entries $Z_{11,k}$, $Z_{12,k}$, $Z_{22,k}$ evolve under the coupled equations (22)--(24). The identity that carries the argument is the decomposition $Z_k = -U_k\,\mathrm{diag}(e^{2i\phi_{1k}}\tanh r_{1k},\, e^{2i\phi_{2k}}\tanh r_{2k})\,U_k^T$, which makes $\tanh^2 r_{1k}$ and $\tanh^2 r_{2k}$ the two eigenvalues of $Z_k Z_k^\dagger$. On the circuit side the mechanism is the singular-value bound of Appendix A: for the equal-weight $F_2$ cost, every symplectic circuit that prepares the target covariance has length at least $\sqrt{2(r_{1k}^{2}+r_{2k}^{2})}$, and the constant-velocity path $S_*(s)=\exp[(s/2)\log(2G_T)]$ attains that bound, using that each eigenvalue pair $e^{\pm 2r_{ik}}$ appears twice because the cosine and sine sectors are identical. The removal of the angles from the answer is what makes the comparison meaningful: coupling rotates and mixes the squeezing channels, but as long as it barely moves the two strengths, the equal-weight distance barely moves.
Extended reading notes
Core claim
Starting from the quadratic action for coupled curvature and entropy perturbations, the paper constructs the full quadratic Hamiltonian with every diagonal and off-diagonal pairing term, writes the evolving state as a four-mode squeezed state with symmetric pair-amplitude matrix $Z_k$, and obtains three coupled first-order equations for the complex entries $Z_{11,k}$, $Z_{12,k}$, $Z_{22,k}$. From the Takagi-type decomposition of $Z_k$ it extracts two nonnegative principal squeezing strengths $r_{1k}\ge r_{2k}\ge 0$, defined so that $\tanh^2 r_{1k}$ and $\tanh^2 r_{2k}$ are the two eigenvalues of $Z_k Z_k^\dagger$. For the equal-weight Nielsen cost with vacuum reference and unrestricted quadratic Gaussian gates, the singular-value bound of Appendix A proves that the minimum circuit length is $C_{2,k}=\sqrt{2(r_{1k}^{2}+r_{2k}^{2})}$, and that at fixed strengths this distance is independent of the squeezing angles, contrary to the single-channel wave-function prescription of the paper's reference [72]. In the numerical illustration on the prescribed quasi-de Sitter background with $\lambda=0.1$, $H_0=1$, $\mu=0.5H_0$, $k=0.01$, the complexity grows after horizon crossing in both the coupled run and the matched $\lambda=0$ run, and the signed difference between the two curves is visible only on a much narrower scale. The paper's stated conclusion is that interfield coupling changes the pair amplitudes and the four-mode squeezed state, yet its effect on this particular preparation distance is small for the parameters considered, so different four-mode pair-amplitude matrices can yield similar equal-weight complexity values.
Load-bearing premise
The numerical claim that interfield coupling barely changes the complexity rests on a single parameter point, $\lambda=0.1$, $\mu=0.5H_0$, $k=0.01$, evolved on a hand-prescribed background in which the slow-roll and turn-rate functions are imposed by hand rather than derived from a consistent two-field background solution, and in which the slow-roll parameter carries the mode scale $k$.
Editorial extensions
If this is right
- The equal-weight Nielsen complexity of one momentum pair is fixed by the two principal squeezing strengths alone: any four-mode state with the same $r_{1k}$ and $r_{2k}$, whatever its mixing angle, channel orientation, or squeezing phases, has the same preparation cost.
- Complexity grows after horizon crossing in both the coupled and the matched uncoupled evolutions, so inflationary squeezing of the opposite-momentum modes drives the growth, with interfield coupling contributing only a small correction at $\lambda=0.1$.
- Because the model satisfies $C_{2,k}(\lambda)=C_{2,k}(-\lambda)$, the linear term in the coupling vanishes wherever the complexity is smooth at $\lambda=0$, so the smallness of the effect at $\lambda=0.1$ is partly structural rather than a sign of weak coupling physics.
- A nonzero turn rate sources the initial growth of the cross-field amplitude $Z_{12,k}$ even from an initially uncorrelated vacuum, yet the equal-weight complexity does not read out that correlation directly; it registers only the effect the cross amplitude has on the two principal strengths.
- With unequal gate weights, the radial path length bound $L_{\mathrm{rad},k}$ depends explicitly on the squeezing angles $\phi_{ik}$, so a suitably weighted cost can in principle resolve channel orientations that the equal-weight cost ignores, although an exact weighted geodesic for coupled channels is not established in the paper.
Reading between the lines
- The covariance-eigenvalue argument is not specific to two fields: for any Gaussian state, the equal-weight Nielsen complexity is set by the full set of principal squeezing strengths, so any multifield evolution that preserves those strengths, however much it mixes the fields, leaves the equal-weight complexity unchanged.
- A direct stress test would scan larger couplings, several wavenumbers, and different entropy masses; since only even powers of $\lambda$ can appear, the open quantitative question is how large the quartic correction becomes away from the paper's single parameter point.
- The near-insensitivity of $C_{2,k}$ suggests a sensitivity hierarchy: measures that probe the phase and mixing structure, such as entanglement or discord diagnostics and weighted complexity variants, should show a much larger coupled-versus-uncoupled contrast when evaluated on the same pair-amplitude evolution.
Original abstract
We study the circuit complexity of coupled curvature and entropy perturbations in two-field inflation. We start from the quadratic action and derive the full Hamiltonian. The Hamiltonian includes all diagonal and off-diagonal quadratic terms. We then obtain three coupled equations for the pair amplitudes of the four-mode squeezed state. From these amplitudes, we calculate the two principal squeezing strengths. We use them to determine the Nielsen circuit complexity. For an equal-weight Gaussian circuit, the complexity takes the form $\mathcal{C}_{2,k}=\sqrt{2(r_{1k}^{2}+r_{2k}^{2})}$. It depends on the squeezing strengths but not explicitly on the squeezing angles. Our numerical results show that the complexity grows after horizon crossing in both coupled and uncoupled models. Interfield coupling changes the pair amplitudes and the four-mode squeezed state. However, its effect on the circuit complexity is small for the parameters considered. This result shows that different four-mode pair-amplitude matrices can yield similar values of the chosen equal-weight circuit complexity. The present calculation provides a reference for studying Gaussian circuit complexity in more general two-field inflationary models.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We study the circuit complexity of coupled curvature and entropy perturbations in two-field inflation. We start from the quadratic action and derive the full Hamiltonian. The Hamiltonian includes all diagonal and off-diagonal quadratic terms. We then obtain three coupled equations for the pair amplitudes of the four-mode squeezed state. From these amplitudes, we calculate the two principal squeezing strengths. We use them to determine the Nielsen circuit complexity. For an equal-weight Gaussian circuit, the complexity takes the form $\mathcal{C}_{2,k}=\sqrt{2(r_{1k}^{2}+r_{2k}^{2})}$. It depends on the squeezing strengths but not explicitly on the squeezing angles. Our numerical results show that the complexity grows after horizon crossing in both coupled and uncoupled models. Interfield coupling changes the pair amplitudes and the four-mode squeezed state. However, its effect on the circuit complexity is small for the parameters considered. This result shows that different four-mode pair-amplitude matrices can yield similar values of the chosen equal-weight circuit complexity. The present calculation provides a reference for studying Gaussian circuit complexity in more general two-field inflationary models.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We study the circuit complexity of coupled curvature and entropy perturbations in two-field inflation. | contribution 0.99 | 0.92 | 0.04 | asserted 0.84 |
| s1 | We start from the quadratic action and derive the full Hamiltonian. | method 0.99 | 0.95 | 0.02 | asserted 0.99 |
| s2 | The Hamiltonian includes all diagonal and off-diagonal quadratic terms. | method 0.95 | 0.82 | 0.02 | asserted 1.00 |
| s3 | We then obtain three coupled equations for the pair amplitudes of the four-mode squeezed state. | method 0.99 | 0.94 | 0.03 | asserted 1.00 |
| s4 | From these amplitudes, we calculate the two principal squeezing strengths. | method 0.99 | 0.95 | 0.03 | asserted 1.00 |
| s5 | We use them to determine the Nielsen circuit complexity. | method 0.99 | 0.94 | 0.04 | asserted 0.99 |
| s6 | For an equal-weight Gaussian circuit, the complexity takes the form $\mathcal{C}_{2,k}=\sqrt{2(r_{1k}^{2}+r_{2k}^{2})}$. | result 0.50 | 0.88 | 0.09 | asserted 1.00 |
| s7 | It depends on the squeezing strengths but not explicitly on the squeezing angles. | result 0.89 | 0.85 | 0.08 | asserted 1.00 |
| s8 | Our numerical results show that the complexity grows after horizon crossing in both coupled and uncoupled models. | result 1.00 | 0.95 | 0.22 | asserted 1.00 |
| s9 | Interfield coupling changes the pair amplitudes and the four-mode squeezed state. | result 0.98 | 0.80 | 0.07 | asserted 1.00 |
| s10 | However, its effect on the circuit complexity is small for the parameters considered. | result 0.93 | 0.91 | 0.32 | asserted 1.00 |
| s11 | This result shows that different four-mode pair-amplitude matrices can yield similar values of the chosen equal-weight circuit complexity. | interpretation 0.98 | 0.91 | 0.54 | asserted 1.00 |
| s12 | The present calculation provides a reference for studying Gaussian circuit complexity in more general two-field inflationary models. | future work 0.72 | 0.65 | 0.08 | asserted 0.88 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.38254 by the authors.
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.