REVIEW 4 minor 1 cited by
Symmetry-Resolved Parent Hamiltonians for Entangled Bosonic Cat Resources
T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5
Pith's one-line read Parent Hamiltonians built from oscillator operators pin multimode cat states by first locking each mode to coherent branches, then applying correlation and symmetry constraints that leave a unique ground state.
desk verdict Clean algebraic parent Hamiltonians for multimode cat resources; uniqueness is exact on the branch manifold, large-α qubit map is only asymptotic. 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
The hierarchical parent Hamiltonian H_target = H_br + ∑_µ H_µ, whose kernel is the successive intersection ker H_br ∩ ∩_µ ker H_µ. Each H_µ is a positive-semidefinite constraint that removes one layer of unwanted degeneracy inside the 2^M-dimensional branch manifold.
What would settle it
Compute or measure the low-energy spectrum of any of the explicit three- or four-mode parent Hamiltonians at moderate |α| (say |α|≈2); if the gap above the claimed unique ground state collapses or additional near-zero states appear that are not accounted for by the residual branch overlap, the uniqueness claim fails.
Extended reading notes
Core claim
Positive-semidefinite parent Hamiltonians of the form H_target = H_br + ∑_µ H_µ have a one-dimensional kernel equal to a chosen multimode cat state (GHZ, cluster or W). The universal branch Hamiltonian H_br confines each mode to the coherent support |+α⟩, |-α⟩; the remaining positive-semidefinite terms select the desired inter-mode correlations and symmetry sector inside that branch manifold. In the large-|α| limit these bosonic operators reduce exactly to the corresponding logical stabilizer or exchange Hamiltonians.
Load-bearing premise
The construction treats the two coherent branches of each mode as exactly orthogonal, so that the branch manifold is a clean logical-qubit space and residual overlap corrections can be ignored.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs positive-semidefinite parent Hamiltonians for multimode bosonic cat resource states (GHZ-, cluster-, and W-type). A universal branch Hamiltonian H_br = sum_j (a_j^{2} - α^{2})†(a_j^{2} - α^{2}) first restricts each mode to the two-dimensional coherent support span{|±α⟩}, after which state-dependent constraints (alignment + parity for GHZ; pair-alignment + stabilizer selectors for cluster; fixed-defect + exchange mixing for W) progressively reduce the 2^M-dimensional branch manifold to a unique target ground state. Explicit operators are given in Sec. IV; uniqueness of the kernels is proved by elementary linear algebra on branch labels in Appendix A. In the large-|α| limit the same operators reduce, via the dictionary of Table I, to logical stabilizer or exchange Hamiltonians on an effective qubit basis (Sec. V).
Significance. If the constructions hold, the work supplies a systematic, algebraic route from coherent-state engineering to stabilizer-type resources, with explicit bosonic operators whose common kernel is the desired entangled cat state. The separation into universal branch confinement and state-dependent constraints is clean and reusable; the uniqueness proofs in Appendix A and the operator dictionary of Table I are concrete, machine-checkable contributions that strengthen the bridge claimed in the abstract. The discussion of dissipative counterparts further indicates a practical path toward stabilization protocols. These elements make the paper a useful reference for modular bosonic architectures.
minor comments (4)
- Sec. IV.C and Eq. (39): the phrase “understood after projection to the fixed-defect branch sector” should be made fully explicit (e.g., by writing the projected operator once) so that the reader does not have to reconstruct the domain of H_mix from Appendix A.
- Fig. 1 caption and panel (c): the spectral evolution is illustrative but the vertical scale and the precise values of λ, γ used for the plot are not stated; a short sentence or inset would make the figure self-contained.
- Table I, last row: the factor α^{-1} in front of the sum is conventional but the overall scale of the encoded defect operator is left free; a parenthetical remark that the scale is absorbed into η would avoid a minor notational inconsistency with Eq. (62).
- References: the recent catability papers [22,23] are central; a one-sentence clarification of how the present multimode parent Hamiltonians extend (rather than merely restate) those single-mode operators would help the reader place the novelty.
Circularity Check
Minor non-load-bearing self-citation to authors' prior single-mode catability work; multimode parent Hamiltonians and uniqueness proofs are self-contained algebraic constructions with no circular reduction.
-
self citation load bearing
[Sec. I (Introduction) and Sec. II, Eqs. (1)-(8), Refs. [22,23]]
"Recently, the notion of catability was introduced as a compact way of characterizing single-mode cat states through positive-semidefinite operators whose ground states are the desired coherent superpositions [22, 23]. This construction naturally separates into a branch-selection part, fixing the coherent amplitudes, and a symmetry-selection part, fixing the structure of the superposition. Here we use this idea as the starting point for a parent-Hamiltonian construction of entangled multimode bosonic states."
The single-mode branch+parity parent Hamiltonian and the 'catability' organizing principle are taken from the authors' own prior papers rather than re-derived. This is a minor self-citation that seeds the framework but is not load-bearing for the central multimode claims: the GHZ/cluster/W operators, the progressive kernel reduction 2^M -> 1, and the uniqueness proofs of Appendix A are written and proved independently in the present manuscript.
full rationale
The paper constructs explicit positive-semidefinite operators H_target = H_br + sum H_mu whose common kernel is shown (by direct linear algebra on the finite set of branch labels s in Appendix A) to be one-dimensional and spanned by the independently defined GHZ-, cluster- or W-type cat states. The branch annihilator H_br is exact (a_j^2 |+/-alpha> = alpha^2 |+/-alpha>), the additional constraints are written in oscillator operators, and uniqueness never relies on fitting, on asymptotic orthogonality, or on an external uniqueness theorem. The large-|alpha| dictionary (Table I, Sec. V) is presented only as an asymptotic reduction, not as a premise of the parent-Hamiltonian claim. The sole self-citation is the single-mode seed (Refs. [22,23] by overlapping authors) that supplies the branch+parity idea; the multimode extensions, the progressive degeneracy lifting, and the Appendix A proofs stand independently. No fitted parameters are renamed as predictions, no ansatz is smuggled, and no result is forced by definition alone. Score 1 reflects only the minor, non-load-bearing self-citation.
Assumptions & free parameters
free parameters (2)
- constraint weights (λ_ij, γ, μ_A/B, κ, λ_W)
- coherent amplitude α
assumptions (3)
- standard math Coherent states satisfy a|eta
angle=eta|eta
angle and a^{2}|±α
angle=α^{2}|±α
angle, so the branch Hamiltonian annihilates the 2^M-dimensional manifold B_α.
- domain assumption In the large-|α| limit the overlap ⟨α|-α
angle=e^{-2|α|^{2}} may be neglected, allowing an exact logical-qubit dictionary inside B_α.
- standard math A connected graph of alignment terms forces all branch signs equal, reducing the manifold to the two globally aligned configurations.
Cite this review
Pith. "Pith review of Symmetry-Resolved Parent Hamiltonians for Entangled Bosonic Cat Resources." pith.science (2026). https://pith.science/paper/EUZZFCQR
@misc{pith2026260702997,
author = {Pith},
title = {Pith review of: Symmetry-Resolved Parent Hamiltonians for Entangled Bosonic Cat Resources},
year = {2026},
howpublished = {\url{https://pith.science/paper/EUZZFCQR}},
note = {Machine review of arXiv:2607.02997}
}
abstract
We derive parent Hamiltonians in terms of oscillator operators for multimode bosonic cat resource states. The construction separates a universal branch Hamiltonian, which confines each mode to the coherent-state support $ |\pm\alpha\rangle$, and state-dependent constraint Hamiltonians, which select the desired correlations and symmetry sectors inside the resulting branch manifold. This framework progressively removes degeneracies in the low-energy manifold and yields explicit parent Hamiltonians for GHZ-, cluster-, and W-type cat states. In the large-$|\alpha|$ limit, the bosonic parent Hamiltonians reduce to stabilizer or exchange Hamiltonians acting on an effective logical-qubit basis. The present construction provides a direct bridge between coherent-state bosonic engineering and stabilizer-based quantum information processing.
Figures
Forward citations
Cited by 1 Pith paper
-
Gaussian-augmented bosonic matrix-product states: theory and applications
GA-BMPS unify Gaussian states and finite-dimensional MPS in one ansatz with closed-form expectation values and exact parent Hamiltonians.
Reference graph
Works this paper leans on
-
[1]
Hoshi, T
D. Hoshi, T. Nagase, S. Kwon, D. Iyama, T. Kamiya, S. Fujii, H. Mukai, S. Ahmed, A. F. Kockum, S. Watabe, F. Yoshihara, and J.-S. Tsai, Entangling Schr¨ odinger’s cat states by bridging discrete- and continuous-variable encoding, Nat. Commun.16, 1309 (2025)
2025
-
[2]
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 J. Phys.16, 045014 (2014)
2014
-
[3]
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
-
[4]
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
-
[5]
Guillaud and M
J. Guillaud and M. Mirrahimi, Repetition Cat Qubits for Fault-Tolerant Quantum Computation, Phys. Rev. X9, 041053 (2019)
2019
-
[6]
Chamberland, K
C. Chamberland, K. Noh, P. Arrangoiz-Arriola, E. T. Campbell, C. T. Hann, J. Iverson, H. Putterman, T. C. Bohdanowicz, S. T. Flammia, A. Keller, G. Refael, J. Preskill, L. Jiang, A. H. Safavi-Naeini, O. Painter, and F. G. S. L. Brand˜ ao, Building a Fault-Tolerant Quantum Computer Using Concatenated Cat Codes, PRX Quan- tum3, 010329 (2022)
2022
-
[7]
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, Nat. Phys.16, 509 (2020)
2020
-
[8]
Fl¨ uhmann, T
C. Fl¨ uhmann, T. L. Nguyen, M. Marinelli, V. Negnevit- sky, K. Mehta, and J. P. Home, Encoding a qubit in a trapped-ion mechanical oscillator, Nature566, 513 (2019)
2019
Show all 34 references
-
[9]
W. Cai, Y. Ma, W. Wang, C.-L. Zou, and L. Sun, Bosonic quantum error correction codes in superconducting quan- tum circuits, Fundamental Research1, 50 (2021)
2021
-
[10]
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
-
[11]
K. S. Chou, J. Z. Blumoff, C. S. Wang, P. C. Reinhold, C. J. Axline, Y. Y. Gao, L. Frunzio, M. H. Devoret, L. Jiang, and R. J. Schoelkopf, Deterministic teleporta- tion of a quantum gate between two logical qubits, Na- ture561, 368 (2018)
2018
-
[12]
D. M. Greenberger, M. A. Horne, and A. Zeilinger, Go- ing Beyond Bell’s Theorem, inBell’s Theorem, Quantum Theory and Conceptions of the Universe(Springer, Dor- drecht, The Netherlands, 1989) pp. 69–72
1989
-
[13]
D¨ ur, G
W. D¨ ur, G. Vidal, and J. I. Cirac, Three qubits can be entangled in two inequivalent ways, Phys. Rev. A62, 062314 (2000)
2000
-
[14]
Zhu, K.-h
F. Zhu, K.-h. Yu, Y.-x. Han, J.-j. Xue, and H.-r. Li, Scheme of preparing cluster states with cat qubits, New J. Phys.26, 103013 (2024)
2024
-
[15]
Raussendorf and H
R. Raussendorf and H. J. Briegel, A One-Way Quantum Computer, Phys. Rev. Lett.86, 5188 (2001)
2001
-
[16]
Pfister, Continuous-variable quantum computing in the quantum optical frequency comb, J
O. Pfister, Continuous-variable quantum computing in the quantum optical frequency comb, J. Phys. B: At. Mol. Opt. Phys.53, 012001 (2019)
2019
-
[17]
N. C. Menicucci, P. van Loock, M. Gu, C. Weedbrook, T. C. Ralph, and M. A. Nielsen, Universal Quantum Computation with Continuous-Variable Cluster States, Phys. Rev. Lett.97, 110501 (2006)
2006
-
[18]
N. B. An and J. Kim, Cluster-type entangled coherent states: Generation and application, Phys. Rev. A80, 042316 (2009)
2009
-
[19]
Leghtas, G
Z. Leghtas, G. Kirchmair, B. Vlastakis, R. J. Schoelkopf, M. H. Devoret, and M. Mirrahimi, Hardware-Efficient Autonomous Quantum Memory Protection, Phys. Rev. Lett.111, 120501 (2013)
2013
-
[20]
Q. Xu, G. Zheng, Y.-X. Wang, P. Zoller, A. A. Clerk, and L. Jiang, Autonomous quantum error correction and fault-tolerant quantum computation with squeezed cat qubits, npj Quantum Inf.9, 78 (2023)
2023
-
[21]
V. V. Albert, K. Noh, K. Duivenvoorden, D. J. Young, R. T. Brierley, P. Reinhold, C. Vuillot, L. Li, C. Shen, S. M. Girvin, B. M. Terhal, and L. Jiang, Performance and structure of single-mode bosonic codes, Phys. Rev. A97, 032346 (2018)
2018
-
[22]
Br¨ auer, J
ˇS. Br¨ auer, J. Provazn´ ık, V. Kala, and P. Marek, Cata- bility as a Metric for Evaluating Superposed Coherent States, Phys. Rev. Lett.136, 090205 (2026)
2026
- [23]
- [24]
-
[25]
B. M. Terhal, J. Conrad, and C. Vuillot, Towards scalable bosonic quantum error correction, Quantum Sci. Technol. 5, 043001 (2020)
2020
-
[26]
S. Puri, A. Grimm, P. Campagne-Ibarcq, A. Eickbusch, K. Noh, G. Roberts, L. Jiang, M. Mirrahimi, M. H. De- voret, and S. M. Girvin, Stabilized Cat in a Driven Non- linear Cavity: A Fault-Tolerant Error Syndrome Detec- tor, Phys. Rev. X9, 041009 (2019)
2019
-
[27]
Joshi, K
A. Joshi, K. Noh, and Y. Y. Gao, Quantum information processing with bosonic qubits in circuit QED, Quantum Sci. Technol.6, 033001 (2021)
2021
-
[28]
Verstraete, M
F. Verstraete, M. M. Wolf, and J. Ignacio Cirac, Quan- tum computation and quantum-state engineering driven 9 by dissipation, Nat. Phys.5, 633 (2009)
2009
-
[29]
Kraus, H
B. Kraus, H. P. B¨ uchler, S. Diehl, A. Kantian, A. Micheli, and P. Zoller, Preparation of entangled states by quan- tum Markov processes, Phys. Rev. A78, 042307 (2008)
2008
-
[30]
Gautier, A
R. Gautier, A. Sarlette, and M. Mirrahimi, Combined Dissipative and Hamiltonian Confinement of Cat Qubits, PRX Quantum3, 020339 (2022)
2022
-
[31]
Khanahmadi and K
M. Khanahmadi and K. Mølmer, Environment-Assisted Generation of Non-Gaussian Wavepacket Quantum States, arXiv 10.48550/arXiv.2504.04513 (2025), 2504.04513. Appendix A: Constraint Completeness and Uniqueness of the Ground States In this Appendix we prove the uniqueness of the G...
2025 doi
-
[32]
GHZ state: zero-energy property and uniqueness We consider the GHZ operator OGHZ,± =O br +O (GHZ) align +O (GHZ) par .(A6) a. Zero-energy property.The GHZ states |GHZ±⟩ ∝ |α⟩ ⊗M ± |−α⟩⊗M (A7) satisfy Obr |GHZ±⟩= 0,(A8) (ai −a j)|GHZ ±⟩= 0,(A9) ΠG |GHZ±⟩=± |GHZ ±⟩.(A10) Thus, O...
-
[33]
W state: zero-energy property and uniqueness We consider the three-mode W parent operator OW =O br +O (W) def +O (W) mix,0.(A21) a. Zero-energy property.The W state |W⟩ ∝ |α,−α,−α⟩+|−α, α,−α⟩+|−α,−α, α⟩(A22) satisfies Obr |W⟩= 0,(A23) L(3) W,− |W⟩= 0.(A24) 10 Thus, O(W) def |W...
-
[34]
Cluster state: zero-energy property and uniqueness We consider the cluster parent operator OC =O br +O (C) pair +O (C) stab.(A35) a. Zero-energy property.The cluster state |C⟩ ∝ |++⟩+|+−⟩+|−+⟩ − |−−⟩(A36) satisfies (a1 −a 2)|C⟩= 0,(A37) (a3 −a 4)|C⟩= 0,(A38) so that O(C) pair ...
Reviewed July 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.