REVIEW 2 major objections 4 minor 24 references
Preparing approximate $N$-fold cat states with the phase space instruction set
T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Preparing an N-fold rotationally symmetric Schrödinger cat state from a natural continuous-variable gate set requires circuit depth at least the Euler totient φ(N); for prime N, a depth-4N protocol matches the bound, settling the…
desk verdict Theorems 3.1 and 4.1 hold up and give a real depth separation for the phase space instruction set, but the compilation-inefficiency claim in Section 5 overreaches and should be cut or heavily qualified. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Two mechanisms carry the argument. The lower bound rests on the cyclotomic identity dim_Q span_Q{$e^{{2πij/N}}$} = φ(N): the N-th roots of unity are the roots of the N-th cyclotomic polynomial, which is irreducible of degree φ(N) over Q, so at least φ(N) independent complex directions are needed just to place coherent-state centres at the N target points, and each phase-space displacement contributes only one such direction. The upper bound rests on the phase-alignment condition: a single real scaling λ must simultaneously bring every phase difference 2(θ* − θ_j) to within tolerance of the ideal angle θ_κ modulo 2π, and Proposition A.4 guarantees such a λ exists because the sine-difference frequencies are Q-linearly independent for almost every fixed angle φ, making the multiples of λ dense on the torus.
What would settle it
For the lower bound, fix N = 5 (so φ(5) = 4) and optimize the best possible depth-3 circuit from the phase space instruction set against the 5-fold cat state at α = 50; Theorem 3.1 predicts no such circuit can beat squared error (2N)^{-1} = 0.1, so finding one would refute it. For the upper bound, take N = 11 and a generic fixed angle φ, then search explicitly for the finite λ that satisfies the phase-alignment conditions (A.58) at the required tolerance; a systematic failure of this search across many generic φ would show the density-based existence guarantee is not realized in practice.
Extended reading notes
Core claim
The paper's central claim is Theorem 3.1: if a circuit built from the phase space instruction set prepares the N-fold cat state |α_N⟩ with squared state-vector error below (2N)^{-1}, then for all sufficiently large |α| the circuit must contain at least φ(N) instructions. The reason is algebraic rather than kinematic: after M conditional displacements, all reachable coherent-state centres are signed sums Σ_j σ_j β_j of the M displacement parameters, so they lie in a Q-vector space of dimension at most M; but the N target centres α $e^{{2πij/N}}$ generate a Q-vector space of dimension φ(N), the degree of the cyclotomic field extension. For prime N, φ(N) = N − 1, and the companion Theorem 4.1 provides a matching depth-4N protocol whose four-gate V blocks each add one coherent component, with the required phase-alignment parameters supplied by a Diophantine density argument. Because successive large displacements merge into chords of the cat's polygon, the protocol's runtime is Θ(α), which Proposition 3.4 shows is optimal.
Load-bearing premise
The matching depth-4N protocol rests on the assumption that a single scalar parameter can be chosen to align all the required phase angles at once; the proof shows this parameter exists for almost every geometric configuration, but not for every one, and it does not say how to find it in practice.
Editorial extensions
If this is right
- For any fixed N, the minimum circuit depth needed to prepare an N-fold cat state with the phase space instruction set grows at least as φ(N) ≳ N/log log N, so the cost is nearly linear in the number of cat legs rather than logarithmic.
- When N is prime, the depth-4N protocol saturates the lower bound, so the asymptotic cost of preparing prime-fold cats is settled: Θ(N) depth and Θ(α) runtime.
- The runtime Θ(α) is optimal — no protocol can do better, because separating the peaks of a cat with finite fidelity already forces a total displacement of order α (Proposition 3.4).
- There is no efficient runtime-preserving compilation between the phase space instruction set and a quantum-signal-processing gate set: the same cat state that a QSP circuit prepares in O(N) time provably needs Θ(α) runtime and near-linear depth in the phase space instruction set (Theorem 5.1).
- The construction extends to generalized cat states with arbitrary complex coefficients and phases at the same depth 4N (Appendix A.9).
Reading between the lines
- The cyclotomic argument is a template for other target states whose peaks occupy points of high algebraic degree over Q: grids or lattices of coherent states would presumably lower-bound circuit depth by the dimension of the field generated by their coordinates, not merely by the number of peaks.
- The matching protocol is an existence result: the phase-alignment parameter λ is guaranteed by torus density, but the proof supplies no algorithm to find it, so at experimentally relevant α the protocol likely needs to be wrapped in numerical optimization, as the paper's own pipeline does.
- The small-α numerics suggest a practical, testable claim: for α ≳ 7 the number-theoretic protocol is a better seed for pulse optimization than random initialization, and benchmarking it against SNAP- or QSP-based preparation at the same α would show whether this structural cost translates into wall-clock control time.
- The perimeter-merging trick that keeps runtime Θ(α) — adjacent conditional displacements combine into short chords of the cat's polygon — could be reused in other multi-step bosonic protocols where successive displacements are nearly collinear.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the circuit depth and runtime needed to prepare N-fold rotationally invariant Schrödinger cat states using the 'phase space instruction set' (unconditional and qubit-dependent displacements plus single-qubit rotations on a single boson). The main results are Theorem 3.1, a lower bound of Ω(φ(N)) on circuit depth for sufficiently large coherent-state amplitude α, and Theorem 4.1, a matching depth-4N construction for prime N whose runtime is Θ(α) for fixed N and target error. The construction relies on a Diophantine phase-alignment condition whose solvability is proved by a Kronecker-density argument. The paper also presents numerical demonstrations for N=3 and N=5 at moderate α and, in Section 5, claims that the results imply a strong inefficiency in compiling between the phase-space instruction set and a gate set containing Urot(θ).
Significance. If the two main theorems stand, the paper gives a rare asymptotic separation in continuous-variable state preparation: a simple family of states that is surprisingly expensive to prepare with a natural universal gate set, with the lower bound coming from cyclotomic polynomial structure rather than from quantum speed limits. The lower-bound proof is parameter-free and the upper-bound protocol is structurally explicit, with closed-form protocols supplied for N=3 and N=5 and numerical evidence at finite α. The order-of-limits caveat in Remark 4.2 is honestly stated. The compilation-inefficiency claim in Section 5, however, is not established with the same rigor and needs to be either proved properly or removed from the abstract.
major comments (2)
- [Section 5, Theorem 5.1] The proof as written does not establish the theorem, and the abstract's final claim overreaches. The comparison between the O(N)-runtime QSP protocol of [17] and the Θ(N)-depth, Θ(α)-runtime bounds for the phase-space instruction set is a comparison of state-preparation costs in two different gate sets; by itself it does not bound the cost of compiling one circuit into the other. The Trotter estimates in Eqs. (5.3)-(5.5) only describe a particular first-order synthesis and cannot rule out a smarter compiler; the text even concedes 'there may be a more efficient cross-compilation'. The theorem can be repaired, but only by supplying the missing lower-bound argument: if a compiler mapped the QSP circuit of (5.2) to an S-circuit with runtime o(α), that compiled circuit would prepare the same N-fold cat state with fidelity above 2/3 and runtime o(α), contradicting Proposition 3.4. The proof should be rewritten around that contradiction, with a precise definition of 'efficient compilation' and the allowed error scaling, and the abstract should be conditional on that formalized statement.
- [Section 4.1 and Appendix A.4] The text calls the proof of Theorem 4.1 'constructive', but the crucial parameter λ in the phase-alignment condition is shown to exist only through Kronecker density (Proposition A.4), which is nonconstructive and gives no algorithm to find λ for general prime N. This does not invalidate the existential content of Theorem 4.1, but it does mean the paper provides an existence proof plus explicit instances for N=3 and N=5, not a fully constructive recipe for every prime N. The wording in Section 4.1 should be softened accordingly, or an explicit Diophantine search procedure should be supplied.
minor comments (4)
- [Section 4.2] There is a typo: 'asume' should be 'assume'.
- [Theorem 4.1 and Eq. (2.9)] The theorem says a protocol prepares |αN⟩ 'with squared state-vector 1−ε, i.e. achieves (2.9)', but Eq. (2.9) is written in terms of the infidelity h, and the relation between h and the squared state-vector error ε is nonlinear. The notation should be aligned.
- [Section 4.2, gate-level refinement] The text describes the gate-level optimization as 'cutoff-free' because it uses a finite coherent-branch representation; this is accurate for the branch representation, but the representation is still finite (512 branches), so the phrase 'cutoff-free' should be qualified to avoid implying an exact infinite-dimensional optimization.
- [Appendix A.9] There is a stray sentence fragment 'Calculating it explicitly, we get Finally' before Eq. (A.127); the exposition there should be cleaned up.
Circularity Check
No significant circularity: The main lower and upper bounds are derived from independent number theory and explicit coherent-state estimates; Section 5's compilation claim is an unsupported inference rather than a circular reduction.
full rationale
The central lower bound (Theorem 3.1) is proved from the cyclotomic fact dim_Q span_Q Ω_N = φ(N), combined with coherent-state overlap estimates; it does not use any fitted parameter or any result imported from the authors' prior work. The upper bound (Theorem 4.1) is an explicit protocol whose phase-alignment step is established via Kronecker density and Q-linear independence (Propositions A.4, A.7, A.9); the quantities ε_ph and t_k are error budgets and existence choices from number theory, not parameters fitted to the target state. The numerical GRAPE experiments in Section 4.2 are demonstrations and are not inputs to any theorem statement. Section 5's claim of compilation inefficiency is indeed not established by the supplied proof: comparing state-preparation costs between gate sets does not by itself lower-bound the cost of cross-compiling a given circuit, and the authors themselves hedge that 'there may be a more efficient cross-compilation.' However, that is a logical gap in an auxiliary claim, not circularity: the conclusion is not identical to its premises by construction, and no fitted quantity is renamed as a prediction. The paper contains no load-bearing self-citation chain, and the derivation chain is self-contained against external benchmarks. Therefore the circularity score is 0; the Section 5 concern belongs to correctness risk, not to circularity.
Assumptions & free parameters
free parameters (3)
- epsilon_ph (Diophantine phase tolerance) =
0.029 and 0.065 in the N=5 numerics; rho h / (2 pi (N-1) sqrt(N)) in the proof
- rho (error-budget split) =
arbitrary in (0,1), e.g. 1/2
- Diophantine scaling parameters t_k =
existential, not explicit for general prime N; explicit for N=3 and N=5
assumptions (5)
- standard math Cyclotomic polynomial Phi_N is irreducible over Q and has degree phi(N); the N-th roots of unity span a phi(N)-dimensional Q-vector space.
- standard math phi(N) > N / (2 log log N) for all sufficiently large N (Hardy-Wright bound).
- standard math Kronecker density: a one-parameter subgroup {lambda gamma} is dense in the torus when the coordinates gamma_j are Q-linearly independent.
- domain assumption Coherent states, displacement algebra, and error bounds from Section 2.1, e.g. ||D(z)|0> - D(z)D(epsilon)|0>|| <= |epsilon|.
- domain assumption Large-alpha separation: for |alpha| above thresholds, coherent-state peaks of an N-fold cat are nearly orthogonal and normalization is within 1% of N.
Cite this review
Pith. "Pith review of Preparing approximate $N$-fold cat states with the phase space instruction set." pith.science (2026). https://pith.science/paper/YL5FVHSY
@misc{pith2026260807696,
author = {Pith},
title = {Pith review of: Preparing approximate $N$-fold cat states with the phase space instruction set},
year = {2026},
howpublished = {\url{https://pith.science/paper/YL5FVHSY}},
note = {Machine review of arXiv:2608.07696}
}
abstract
The phase space instruction set is a continuous-variable universal gate set involving single-qubit rotations and qubit-dependent displacements on a single boson. Using these gates, we prove that a circuit depth $\mathrm{\Omega}(\varphi(N))$ is necessary to approximately prepare a large $N$-fold rotationally invariant Schr\"odinger cat state; here $\varphi(N) \gtrsim N/\log\log N$ is the Euler totient function. A protocol saturating this asymptotic bound on circuit depth is obtained for every prime number $N$. This protocol has an asymptotically optimal runtime, when the gates are generated by Hamiltonian evolution. Our results provide a sharp example where a universal gate set is surprisingly inefficient at preparing a simple family of states, and further imply that converting bosonic circuits between different universal gate sets can be extremely inefficient.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[17]
Engineering Non-Gaussian Bosonic Gates through Quantum Signal Processing,
Pak-Tik Fong and Hoi-Kwan Lau, “Engineering Non-Gaussian Bosonic Gates through Quantum Signal Processing,” (2025), arXiv:2508.20261 [quant-ph]
arXiv 2025
-
[1]
Schrodinger Cat States in Circuit QED
S. M. Girvin, “Schr¨ odinger Cat States in Circuit QED,” (2017), lectures presented at the Les Houches Summer School, Session CVII, Current Trends in Atomic Physics, arXiv:1710.03179 [quant-ph]
work page Pith review arXiv 2017
-
[2]
Deterministically Encoding Quantum Information Using 100-Photon Schr¨ odinger Cat States,
Brian Vlastakis, Gerhard Kirchmair, Zaki Leghtas, Simon E. Nigg, Luigi Frunzio, S. M. Girvin, Mazyar Mirrahimi, M. H. Devoret, and R. J. Schoelkopf, “Deterministically Encoding Quantum Information Using 100-Photon Schr¨ odinger Cat States,” Science342, 607–610 (2013)
work page 2013
-
[3]
Cavity State Manipulation Using Photon-Number Selective Phase Gates,
R. W. Heeres, B. Vlastakis, E. Holland, S. Krastanov, V. V. Albert, L. Frunzio, L. Jiang, and R. J. Schoelkopf, “Cavity State Manipulation Using Photon-Number Selective Phase Gates,” Physical Review Letters115, 137002 (2015)
work page 2015
-
[4]
Universal Control of an Oscillator with Dispersive Coupling to a Qubit,
S. Krastanov, V. V. Albert, C. Shen, C.-L. Zou, R. W. Heeres, B. Vlastakis, R. J. Schoelkopf, and L. Jiang, “Universal Control of an Oscillator with Dispersive Coupling to a Qubit,” Physical Review A 92, 040303 (2015)
work page 2015
-
[5]
Coherent and Incoherent States of the Radiation Field,
Roy J. Glauber, “Coherent and Incoherent States of the Radiation Field,” Physical Review131, 2766–2788 (1963)
work page 1963
-
[6]
B. Yurke and D. Stoler, “Generating Quantum Mechanical Superpositions of Macroscopically Distin- guishable States via Amplitude Dispersion,” Physical Review Letters57, 13–16 (1986)
work page 1986
-
[7]
Dynamically Protected Cat-Qubits: A New Paradigm for Universal Quantum Computation,
M. Mirrahimi, Z. Leghtas, V. V. Albert, S. Touzard, R. J. Schoelkopf, L. Jiang, and M. H. Devoret, “Dynamically Protected Cat-Qubits: A New Paradigm for Universal Quantum Computation,” New Journal of Physics16, 045014 (2014)
work page 2014
Show all 24 references
-
[8]
Implementing a Universal Gate Set on a Logical Qubit Encoded in an Oscillator,
Reinier W. Heeres, Philip Reinhold, Nissim Ofek, Luigi Frunzio, Liang Jiang, Michel H. Devoret, and 43 Robert J. Schoelkopf, “Implementing a Universal Gate Set on a Logical Qubit Encoded in an Oscillator,” Nature Communications8, 94 (2017)
2017
-
[9]
Stellar Representation of Non-Gaussian Quantum States,
Ulysse Chabaud, Damian Markham, and Fr´ ed´ eric Grosshans, “Stellar Representation of Non-Gaussian Quantum States,” Physical Review Letters124, 063605 (2020)
2020
-
[10]
Lie Groups and Quantum Circuits,
Robert M. Solovay, “Lie Groups and Quantum Circuits,” (1995), unpublished manuscript
1995
-
[11]
Quantum Computations: Algorithms and Error Correction,
A. Yu. Kitaev, “Quantum Computations: Algorithms and Error Correction,” Russian Mathematical Surveys52, 1191–1249 (1997)
1997
-
[12]
Circuit quantum electrody- namics,
Alexandre Blais, Arne L. Grimsmo, S. M. Girvin, and Andreas Wallraff, “Circuit quantum electrody- namics,” Reviews of Modern Physics93, 025005 (2021)
2021
-
[13]
Fast universal control of an oscillator with weak dispersive coupling to a qubit,
Alec Eickbusch, Volodymyr V. Sivak, Andy Z. Ding, Salvatore S. Elder, Shantanu R. Jha, Jayameenakshi Venkatraman, Baptiste Royer, S. M. Girvin, Robert J. Schoelkopf, and Michel H. Devoret, “Fast universal control of an oscillator with weak dispersive coupling to a qubit,” Natu...
2022
-
[14]
Fast multioscillator control with a single qubit,
Asaf A. Diringer, Eliya Blumenthal, Avishay Grinberg, Liang Jiang, and Shay Hacohen-Gourgy, “Fast multioscillator control with a single qubit,” Physical Review X14, 011055 (2024)
2024
-
[15]
Arbitrary Control of a Quantum Electromagnetic Field,
C. K. Law and J. H. Eberly, “Arbitrary Control of a Quantum Electromagnetic Field,” Physical Review Letters76, 1055–1058 (1996)
1996
-
[16]
Optimal control of coupled spin dynamics: design of NMR pulse sequences by gradient ascent algorithms,
Navin Khaneja, Timo Reiss, Cindie Kehlet, Thomas Schulte-Herbr¨ uggen, and Steffen J. Glaser, “Optimal control of coupled spin dynamics: design of NMR pulse sequences by gradient ascent algorithms,” Journal of Magnetic Resonance172, 296–305 (2005)
2005
-
[18]
Generalized parity measurements and efficient large multi-component cat state preparation with quantum signal processing,
Sina Zeytinoglu, “Generalized parity measurements and efficient large multi-component cat state preparation with quantum signal processing,” arXiv preprint arXiv:2409.05186 (2024)
2024 arXiv
-
[19]
Quantum computation over continuous variables,
Seth Lloyd and Samuel L. Braunstein, “Quantum computation over continuous variables,” Physical Review Letters82, 1784–1787 (1999)
1999
-
[20]
Quantum control in infinite dimensions and banach–lie algebras: Pure point spectrum,
Michael Keyl, “Quantum control in infinite dimensions and banach–lie algebras: Pure point spectrum,” in2019 IEEE 58th Conference on Decision and Control(2019) pp. 2298–2303
2019
-
[21]
G. H. Hardy and E. M. Wright,An Introduction to the Theory of Numbers, 6th ed. (Oxford University Press, Oxford, 2008) revised by D. R. Heath-Brown and J. H. Silverman, with a foreword by Andrew Wiles
2008
-
[22]
A limited memory algorithm for bound constrained optimization,
Richard H. Byrd, Peihuang Lu, Jorge Nocedal, and Ciyou Zhu, “A limited memory algorithm for bound constrained optimization,” SIAM Journal on Scientific Computing16, 1190–1208 (1995)
1995
-
[23]
Generalized Quantum Signal Processing,
Danial Motlagh and Nathan Wiebe, “Generalized Quantum Signal Processing,” PRX Quantum5, 020368 (2024), arXiv:2308.01501 [quant-ph]
2024 arXiv
-
[24]
259 (Springer, London, 2011)
Manfred Einsiedler and Thomas Ward,Ergodic Theory: with a View Towards Number Theory, Graduate Texts in Mathematics, Vol. 259 (Springer, London, 2011). 44
2011
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.