REVIEW 4 major objections 5 minor 40 references
Dissipatively stabilized multi-mode Schrödinger cat states can form a universal quantum computing architecture via a beam-splitter coupling between two rings.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 03:08 UTC pith:YMZBBBIY
load-bearing objection A credible new XX(π/2) gate for dissipatively stabilized multi-mode cat qubits, but the Zeno reduction is unbenchmarked against the full N-mode dynamics and the Z(π/2) gate is under-derived — worthy of peer review with revisions. the 4 major comments →
Universal Quantum Computation with Multi-Mode Schr\"odinger Cat States Stabilized by Non-Local Dissipation Engineering
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the beam-splitter coupling (λ/N)(α†_φ β_φ + h.c.) between two rings of Kerr oscillators, derived in the Zeno limit from a single-bond hopping Hamiltonian, projects onto the logical subspace as an X⊗X interaction on the two cat qubits. Turning this coupling on for time T_XX = πU/(4λG) realizes the entangling gate XX(π/2). Together with arbitrary X-rotations from a single-photon drive and a Z(π/2) rotation obtained by switching off the two-photon pump and letting the self-Kerr term act for time t=Nπ/2U, the paper claims a complete universal gate set. The derivation rests on a Dyson-series truncation in 1/γ, which also produces induced one-photon loss with rate χ=8λ²/N
What carries the argument
The machinery is the quantum Zeno reduction of two coupled oscillator chains. Strong engineered non-local dissipation γ projects all modes with k≠φ onto vacuum; a second-order Dyson expansion then yields the effective two-mode master equation (31) with Hamiltonian (32). In that reduced space, the single-bond beam-splitter term becomes an inter-modal coupling λ/N(α†_φ β_φ + h.c.) that, within the cat-state manifold span{|C+⟩,|C−⟩}, acts as X⊗X. The same reduction, with the two-photon pump off and an additional self-Kerr term, produces the Z(π/2) rotation. The dark-mode structure (the k=φ mode with γ_φ=0) is what protects the logical subspace.
Load-bearing premise
The entire construction rests on the Zeno-limit reduction of the two coupled chains to the two-mode master equation — specifically on the second-order Dyson truncation and the eigenoperator relations (A5)–(A6), and the same reduction is assumed, with less detail, for the Z gate; if these fail, the XX and Z phases change and the universal set is not achieved.
What would settle it
Simulate the full multi-mode Lindblad equation (18) with the beam-splitter coupling without truncating to second order in 1/γ, at parameters such as U/G=1, γ/U=200, λ/U=0.1, N=9, and compare the time trace to the effective-model prediction of equation (31). If the XX gate angle or the induced loss rates deviate from χ=8λ²/N²∑1/γ_k and Γ=4U²/N²∑1/γ_k beyond the quoted fidelity, the Zeno reduction fails. A simpler falsifier: check the eigenoperator eigenvalue relation (A6) for R†_k by direct computation.
If this is right
- An XX(π/2) gate can be implemented between two multimode cat qubits by coupling just one oscillator from each array, with gate time set by the ratio U/(λG).
- Arbitrary single-qubit rotations are available: X(θ) via a local drive on any oscillator, Z(π/2) via switching off the pump and waiting t=Nπ/2U (the paper's Appendix B).
- The universal gate set turns dissipatively stabilized multimode cat states into a computational architecture, not just a memory.
- Gate fidelity is limited by the balance between induced one-photon loss (∝λ²) and two-photon loss (∝U²); infidelity increases when λ falls below a critical value estimated as ε_c = sqrt(δ N G U)/(2γ).
- Intrinsic single-photon loss κ must satisfy κ≪λ/N for the gate to remain reliable, setting a concrete hardware requirement.
Where Pith is reading between the lines
- The authors note that the alternative stabilization model with engineered local two-photon loss has a Zeno-independent gap and should tolerate larger disorder and photon loss; quantitative comparison for the two-qubit gate is left to follow-up, but the paper's own analysis suggests that model would perform better for the XX gate as well.
- The single-bond coupling architecture could be iterated to couple more than two rings, potentially creating graph states or cluster states among many cat qubits, though the paper does not analyze crosstalk or routing.
- One testable extension: measure the effective interaction angle as a function of λ by comparing the full multi-mode simulation to the Zeno prediction; deviations would indicate when higher-order 1/γ corrections matter.
- The parity-exchange mechanism that enables the entangling gate also introduces the one-photon loss; this suggests a trade-off that may be mitigated by asymmetric coupling strengths or by using the two-photon-loss model, but the paper leaves such optimizations open.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a universal gate set for dissipatively stabilized multi-mode Schrödinger cat qubits. It extends the model of Zapletal et al. by coupling two Kerr chains through a single beam-splitter term and deriving, in a strong-dissipation Zeno limit, an effective two-mode master equation (Eq. (31)) with coherent XX-type interaction and induced one- and two-photon losses. Numerical integration of this effective model shows high-fidelity Rabi oscillations of the XX type and logarithmic negativity close to unity. Single-qubit gates are claimed from a one-photon drive (X rotations) and from Kerr-only evolution with the two-photon pump off (Z(π/2)). The paper also analyzes the validity regime, intrinsic photon loss, and disorder. It concludes that dissipatively stabilized multi-mode cat states can support universal bosonic quantum computation.
Significance. If the Zeno reduction and the Z-gate derivation are correct, the scheme is a significant conceptual advance: it adds universal control to a previously memory-only multimode bosonic architecture using only a single inter-chain coupler and existing stabilizer hardware. The effective-model numerics are a strength, as are the explicit error analyses for induced loss, intrinsic loss, and disorder, including the comparison between Kerr and two-photon-loss stabilization. However, the two load-bearing analytical steps — the Zeno reduction and the Z gate — are not benchmarked against the full N-mode model, and the universality claim therefore rests on an unvalidated effective description. The paper does not provide machine-checked proofs or code, but the numerical simulations are clearly specified.
major comments (4)
- [II B 2 / Appendix A; Figs. 3–5] All gate fidelities are obtained by integrating the effective two-mode master equation (31), not the full N-mode Lindblad equation (18). The Zeno/Dyson truncation and the ansatz (19) are never benchmarked against the original model for the simulation parameters (γ/U=200, λ/U=0.1, N=9), and the truncation error is not bounded. A direct solution of (18) for small N, or an explicit estimate of the first neglected order in 1/γ_k and in the bright-mode population, is needed to support the claim that the simulated XX gate is the physical gate.
- [Appendix B] The Z(π/2) gate is not derived. Equation (B6) is introduced with 'after analysis in the Fourier transformed picture and under the Zeno approximation, similar to the case detailed in Appendix A', and no simulation of the Z gate is shown. This is load-bearing because arbitrary single-qubit control requires this gate. Also, with G=0 the stabilized cat states are no longer stationary, so the leakage out of the logical subspace during the gate time must be quantified. A full derivation or numerical demonstration of (B6)–(B7) and of the resulting logical rotation is required.
- [Appendix A, Eqs. (A5)–(A6), (A9)] The eigenoperator relations and the expansion of the exponentials to first order in 1/γ_k are central to (31). The paper does not quantify the neglected higher-order terms; in particular, the bright-mode vacuum ansatz (19) is only relaxed perturbatively for the one-photon loss (34), and processes that populate bright modes at order λ/U or U/γ may add dephasing or Hamiltonian corrections not represented in (31). Please provide a validity bound for the specific parameters used.
- [Sec. III, Fig. 5c; logical-subspace projection] The identification of the beamsplitter term as X⊗X uses α_φ|C±⟩ ≈ ζ|C∓⟩, with corrections O(e^{-2|ζ|²}). In Fig. 5c, ⟨n⟩=|ζ|²=1, so e^{-2}≈0.135 and the corrections are not negligible. Although the master-equation simulations are performed in the full oscillator space, the analytic gate time (36) and error estimates (38)–(39) assume ideal projection. The impact of finite ⟨n⟩ on the reported gate fidelity should be quantified or the small-⟨n⟩ regime avoided.
minor comments (5)
- [Eq. (35)] The closed-form sum should be justified or a standard identity cited; 'using trigonometric properties' is vague for a result that enters all rate prefactors.
- [Eq. (41)] The expression '8d/N U G/γ' appears garbled; the factor 'd' is not defined. Please correct the prefactor.
- [Introduction] The sentence 'Rotationally symmetric bosonic error correction codes [16] and have been prepared experimentally' has a grammatical error; a subject/verb is missing.
- [Sec. III A] The phrase 'This result is in concurrence with' should be 'consistent with' or 'in accordance with'.
- [Appendix B] Typo: 'turning of the two-photon driving' should be 'turning off'. Also, the statement 'The states |±α⟩ evolve to 1/√2(|±α⟩ − i|∓α⟩)' should be presented with the coherent-state amplitude normalization made explicit.
Circularity Check
No load-bearing circularity; the only post-hoc fitted element is the δ factor in the validity-regime estimate.
specific steps
-
fitted input called prediction
[Section III B, after Eq. (39)]
"Using this estimate we calculate the critical value to be ϵc≈0.011√δ and ϵc≈0.0042√δ for the green curves in figures 5a and 5b respectively. Empirically √δ≈0.1 for both examples. The estimate gives a qualitatively correct description of the results..."
Eq. (39) contains an unconstrained factor δ introduced as the 'cumulative effect of the brightness of the state during the interaction.' After the numerical curves are available, the paper sets √δ≈0.1 to reproduce the observed minima and then presents the formula as an 'estimate' of ϵc. This is fitting a parameter to the same data it is used to explain, so the qualitative agreement is not an independent prediction. The step is not load-bearing for the central gate derivation or universal-set claim, and the paper is transparent about the heuristic character.
full rationale
The derivation chain is not circular. The effective two-mode master equation (31) is obtained from the full N-mode Lindblad equation (18) through an explicit Dyson/Zeno reduction (Appendix A) with stated assumptions γ≫U,G,λ and the vacuum ansatz (19); the eigenoperator relations (A5)-(A6) are either quoted from the external reference [22] or computed, not fitted. The XX(π/2) gate follows by projecting the beam-splitter term onto the logical cat subspace, with the interaction time T_XX=πU/(4λG) computed from physical parameters; no parameter is tuned to make the simulated fidelity high. Single-qubit rotations are inherited from external results [22] and [28] (Mirrahimi et al.), and the universality argument uses the known theorem [33]; none of these citations is authored by the present paper's authors, so they are independent support rather than a self-citation chain. The Z gate in Appendix B is asserted without a complete derivation ('after analysis in the Fourier transformed picture and under the Zeno approximation, similar to the case detailed in Appendix A'), but this is an omitted derivation / correctness risk, not circularity. Similarly, the absence of a direct simulation of the original N-mode dynamics and the unquantified O(1/γ) corrections are benchmarking risks, explicitly acknowledged by the authors ('these results are simulations of the effective model, which we derived under the strong γ assumption'), not a reduction of the result to its inputs. The only true post-hoc element is the δ factor in the validity-regime estimate (39), which is a minor heuristic fit outside the central claim; accordingly the score is low.
Axiom & Free-Parameter Ledger
free parameters (1)
- δ (brightness correction factor) =
√δ ≈ 0.1
axioms (5)
- domain assumption The engineered non-local dissipation (3) can be realized with intermediate lossy cavities (as in [22,29])
- domain assumption Strong dissipation Zeno limit γ ≫ U, G, λ permits truncation at second order in K=H/γ
- domain assumption The dark-state relation α_φ |C±⟩ ≈ ζ |C∓⟩ holds for the cat states
- standard math Yurke-Stoler / Mirrahimi result: self-Kerr evolution for t=Nπ/2U gives Z(π/2) on the cat manifold
- domain assumption The initial state |C+⟩|C−⟩ can be prepared with arbitrary fidelity via the stabilized preparation of [22] followed by a logical X gate
read the original abstract
Schr\"odinger cat states provide a hardware-efficient platform for bosonic quantum error correction by encoding logical information in protected manifolds of harmonic oscillators. While previous work has demonstrated the dissipative stabilization of multi-mode Schr\"odinger cat states as robust quantum memories, a framework for universal quantum computation has remained unavailable. Here we extend this approach by introducing a universal gate set for dissipatively stabilized multi-mode cat qubits. Using a chain of Kerr non-linear oscillators coupled through engineered non-local dissipation and an effective low-dimensional description, we show how arbitrary single-qubit control can be achieved through arbitrary rotation around the $X$-axis and $\pi/2$-rotation around the $Z$-axis. We further show how coupling two such stabilized arrays through just one oscillator on each respective array enables coherent entangling operations through implementation of the $XX(\pi/2)$ gate. Numerical simulations demonstrate high-fidelity gate dynamics and entanglement generation under realistic parameters. Finally, we analyze the effects of induced and intrinsic photon loss, disorder, and the validity regime of the effective low-dimensional theory. Our results establish dissipatively stabilized multi-mode Schr\"odinger cat states as a potential architecture for universal bosonic quantum computation.
Figures
Reference graph
Works this paper leans on
-
[1]
stationary
The Logical Subspace To build our logical subspace we will make use of the Zeno limit to approximate the system into an effective model. Named after the Zeno paradox, the Zeno limit is an approximation whereby projective measurements on parts of the system restrict any time evolution of the quantum state in that subsystem [32]. This can be uti- lized by s...
-
[2]
Each 4 mode supports one Schr¨ odinger cat qubit, and the cou- pling will allow for entanglement and two qubit gates
Deriving an Effective Model Using the aforementioned model, we can derive an ana- lytical approximation for the effective two mode dynam- ics of the coupled chains, using the Zeno limit. Each 4 mode supports one Schr¨ odinger cat qubit, and the cou- pling will allow for entanglement and two qubit gates. Our starting point is the Hamiltonian ˆH= ˆHA + ˆHB ...
-
[3]
We will use an ansatz for the state where the dark modes are free to evolve under ef- fective dynamics, while the remaining modes are locked in the vacuum
Zeno Limit of Coupled Chains Inspired by Zapletalet al.’s analysis on a single chain [22], we seek to derive the restricted dynamics in the quantum Zeno limit. We will use an ansatz for the state where the dark modes are free to evolve under ef- fective dynamics, while the remaining modes are locked in the vacuum. We write this state as ρ(t) = O k1̸=ϕ |0⟩...
-
[4]
Cheng, X.-H
B. Cheng, X.-H. Deng, X. Gu, Y. He, G. Hu, P. Huang, J. Li, B.-C. Lin, D. Lu, Y. Lu, C. Qiu, H. Wang, T. Xin, S. Yu, M.-H. Yung, J. Zeng, S. Zhang, Y. Zhong, X. Peng, F. Nori, and D. Yu, Noisy intermediate-scale quantum computers, Frontiers of Physics18, 21308 (2023)
2023
-
[5]
H.-Y. Huang, S. Choi, J. R. McClean, and J. Preskill, The vast world of quantum advantage (2025), arXiv:2508.05720 [quant-ph]
Pith/arXiv arXiv 2025
-
[6]
Pokharel and D
B. Pokharel and D. A. Lidar, Demonstration of Algo- rithmic Quantum Speedup, Physical Review Letters130, 210602 (2023)
2023
-
[7]
Shor, Algorithms for quantum computation: discrete logarithms and factoring, inProceedings 35th Annual Symposium on Foundations of Computer Science(1994) pp
P. Shor, Algorithms for quantum computation: discrete logarithms and factoring, inProceedings 35th Annual Symposium on Foundations of Computer Science(1994) pp. 124–134
1994
-
[8]
P. W. Shor, Polynomial-Time Algorithms for Prime Fac- torization and Discrete Logarithms on a Quantum Com- puter, SIAM Journal on Computing26, 1484 (1997), arXiv:quant-ph/9508027
Pith/arXiv arXiv 1997
-
[9]
Singkanipa, V
P. Singkanipa, V. Kasatkin, Z. Zhou, G. Quiroz, and D. A. Lidar, Demonstration of Algorithmic Quantum Speedup for an Abelian Hidden Subgroup Problem, Physical Review X15, 021082 (2025)
2025
-
[10]
Hacker, S
B. Hacker, S. Welte, S. Daiss, A. Shaukat, S. Ritter, L. Li, and G. Rempe, Deterministic creation of entangled atom–light Schr¨ odinger-cat states, Nature Photonics13, 110 (2019)
2019
-
[11]
Jeong, M
H. Jeong, M. S. Kim, and J. Lee, Quantum-information processing for a coherent superposition state via a mixe- dentangled coherent channel, Physical Review A64, 052308 (2001)
2001
-
[12]
S. J. van Enk and O. Hirota, Entangled coherent states: Teleportation and decoherence, Physical Review A64, 022313 (2001)
2001
-
[13]
Altman, K
E. Altman, K. R. Brown, G. Carleo, L. D. Carr, E. Dem- ler, C. Chin, B. DeMarco, S. E. Economou, M. A. Eriks- son, K.-M. C. Fu, M. Greiner, K. R. Hazzard, R. G. Hulet, A. J. Koll´ ar, B. L. Lev, M. D. Lukin, R. Ma, X. Mi, S. Misra, C. Monroe, K. Murch, Z. Nazario, K.-K. Ni, A. C. Potter, P. Roushan, M. Saffman, M. Schleier- Smith, I. Siddiqi, R. Simmonds,...
2021
-
[14]
Bharti, A
K. Bharti, A. Cervera-Lierta, T. H. Kyaw, T. Haug, S. Alperin-Lea, A. Anand, M. Degroote, H. Heimonen, J. S. Kottmann, T. Menke, W.-K. Mok, S. Sim, L.-C. Kwek, and A. Aspuru-Guzik, Noisy intermediate-scale quantum algorithms, Reviews of Modern Physics94, 015004 (2022)
2022
-
[15]
B. M. Terhal, Quantum error correction for quantum memories, Reviews of Modern Physics87, 307 (2015)
2015
-
[16]
C. Wang, Y. Y. Gao, P. Reinhold, R. W. Heeres, N. Ofek, K. Chou, C. Axline, M. Reagor, J. Blumoff, K. M. Sliwa, L. Frunzio, S. M. Girvin, L. Jiang, M. Mirrahimi, M. H. Devoret, and R. J. Schoelkopf, A Schr¨ odinger cat living in two boxes, Science352, 1087 (2016)
2016
-
[17]
Liao, J.-F
J.-Q. Liao, J.-F. Huang, and L. Tian, Generation of macroscopic Schr¨ odinger-cat states in qubit-oscillator systems, Physical Review A93, 033853 (2016)
2016
-
[18]
S. He, X. Xin, F.-Y. Zhang, and C. Li, Generation of a Schr¨ odinger cat state in a hybrid ferromagnet- superconductor system, Physical Review A107, 023709 (2023)
2023
-
[19]
A. L. Grimsmo, J. Combes, and B. Q. Baragiola, Quantum Computing with Rotation-Symmetric Bosonic Codes, Physical Review X10, 011058 (2020)
2020
-
[20]
Grimm, N
A. Grimm, N. E. Frattini, S. Puri, S. O. Mundhada, S. Touzard, M. Mirrahimi, S. M. Girvin, S. Shankar, and M. H. Devoret, Stabilization and operation of a Kerr-cat qubit, Nature584, 205 (2020)
2020
-
[21]
N. Ofek, A. Petrenko, R. Heeres, P. Reinhold, Z. Leghtas, B. Vlastakis, Y. Liu, L. Frunzio, S. M. Girvin, L. Jiang, M. Mirrahimi, M. H. Devoret, and R. J. Schoelkopf, Ex- tending the lifetime of a quantum bit with error correc- tion in superconducting circuits, Nature536, 441 (2016)
2016
-
[22]
D. Gottesman, A. Kitaev, and J. Preskill, Encoding a qubit in an oscillator, Physical Review A64, 012310 (2001), arXiv:quant-ph/0008040
Pith/arXiv arXiv 2001
-
[23]
B. C. Sanders, Review of entangled coherent states, Jour- nal of Physics A: Mathematical and Theoretical45, 244002 (2012)
2012
-
[24]
Gilles, B
L. Gilles, B. M. Garraway, and P. L. Knight, Generation of nonclassical light by dissipative two-photon processes, Physical Review A49, 2785 (1994)
1994
-
[25]
Zapletal, A
P. Zapletal, A. Nunnenkamp, and M. Brunelli, Stabiliza- tion of Multimode Schr\”odinger Cat States Via Normal- Mode Dissipation Engineering, PRX Quantum3, 010301 (2022)
2022
-
[26]
W. J. Munro, K. Nemoto, G. J. Milburn, and S. L. Braunstein, Weak-force detection with superposed coher- ent states, Physical Review A66, 023819 (2002)
2002
-
[27]
T. C. Ralph, Coherent superposition states as quantum rulers, Physical Review A65, 042313 (2002)
2002
-
[28]
Y. M. Zhang, X. W. Li, W. Yang, and G. R. Jin, Quantum Fisher information of entangled coherent states in the presence of photon loss, Physical Review A88, 043832 (2013)
2013
-
[29]
J. Joo, W. J. Munro, and T. P. Spiller, Quantum Metrol- ogy with Entangled Coherent States, Physical Review Letters107, 083601 (2011). 10
2011
-
[30]
H. Goto, Universal quantum computation with a non- linear oscillator network, Physical Review A93, 050301 (2016), arXiv:1605.03250 [quant-ph]
Pith/arXiv arXiv 2016
-
[31]
Mirrahimi, Z
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 quan- tum computation, New Journal of Physics16, 045014 (2014)
2014
-
[32]
Z. Li, A. Soret, and C. Ciuti, Dissipation-induced an- tiferromagneticlike frustration in coupled photonic res- onators, Physical Review A103, 022616 (2021)
2021
-
[33]
Lescanne, M
R. Lescanne, M. Villiers, T. Peronnin, A. Sarlette, M. Delbecq, B. Huard, T. Kontos, M. Mirrahimi, and Z. Leghtas, Exponential suppression of bit-flips in a qubit encoded in an oscillator, Nature Physics16, 509 (2020)
2020
-
[34]
S. Puri, S. Boutin, and A. Blais, Engineering the quan- tum states of light in a Kerr-nonlinear resonator by two- photon driving, npj Quantum Information3, 1 (2017)
2017
-
[35]
Popkov, S
V. Popkov, S. Essink, C. Presilla, and G. Sch¨ utz, Ef- fective quantum Zeno dynamics in dissipative quantum systems, Physical Review A98, 052110 (2018)
2018
-
[36]
M. J. Bremner, C. M. Dawson, J. L. Dodd, A. Gilchrist, A. W. Harrow, D. Mortimer, M. A. Nielsen, and T. J. Osborne, Practical Scheme for Quantum Computation with Any Two-Qubit Entangling Gate, Physical Review Letters89, 247902 (2002)
2002
-
[37]
Breuer and F
H.-P. Breuer and F. Petruccione,The Theory of Open Quantum Systems(Oxford University Press, 2007)
2007
-
[38]
P. Xu, H. Zhang, and S. Wu, Protocols for i SW AP gates using a fixed coupler driven by two microwave pulses, Physical Review Applied23, 034036 (2025)
2025
-
[39]
Yurke and D
B. Yurke and D. Stoler, Generating quantum mechanical superpositions of macroscopically distinguishable states via amplitude dispersion, Physical Review Letters57, 13 (1986). 11 Appendix A: Derivation of Effective Lindbladian The starting point is the expression for the time evolution operator (upon truncation) U(τ) ϕϕ =P d +τ PdKPd +P dK Z τ 0 dτ1 Z τ1 0...
1986
-
[40]
to resolve it. Switching variables back fromτtot, adding the first two terms from (A1), and formally considering the derivative to get the equation forρ ϕ(t) in the differential form by considering an infinitesimal shift, we can in the end rewrite our results in the form of a Lindblad master equation for the twoϕ-modes in the Zeno limit as, done for the d...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.