pith. sign in

arxiv: 2404.02994 · v2 · submitted 2024-04-03 · 🪐 quant-ph · cond-mat.stat-mech

Integrability of Goldilocks quantum cellular automata

Logan E. Hillberry , Lorenzo Piroli , Eric Vernier , Nicole Yunger Halpern , Toma\v{z} Prosen , Lincoln D. Carr This is my paper

Pith reviewed 2026-05-24 02:23 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.stat-mech
keywords Goldilocks quantum cellular automataintegrabilityfree fermionsJordan-Wigner transformationsix-vertex modelconserved quantitiesquantum simulationerror mitigation
0
0 comments X

The pith

Certain Goldilocks quantum cellular automata map exactly to free fermions and are classically simulable.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that a specific subclass of Goldilocks quantum cellular automata, defined by a balance constraint on neighbor states and including the experimentally realized version, can be mapped to free fermions. This mapping is shown through a Jordan-Wigner transformation and through equivalence to the integrable six-vertex model. As a result, these models possess many conserved quantities and can be simulated on classical computers without exponential cost. The authors contrast this with typical Goldilocks QCA, which show signs of nonintegrability but still conserve one quantity relevant for error mitigation. This work provides a parametric family of quantum circuits with adjustable integrability for hardware testing.

Core claim

We prove that a subclass of Goldilocks QCA, including the QCA implemented experimentally, map to free fermions and therefore can be simulated classically. We support this claim with two proofs, one involving a Jordan-Wigner transformation and one mapping the integrable six-vertex model to QCA. We compute local conserved quantities of these QCA and predict experimentally measurable expectation values. These calculations can be applied to test large digital quantum computers. In contrast, typical Goldilocks QCA have equilibration properties and quasienergy-level statistics that suggest nonintegrability. Still, each of the latter QCA conserves one quantity useful for error mitigation.

What carries the argument

The Jordan-Wigner transformation that converts the Goldilocks QCA update rule into free-fermion evolution.

If this is right

  • These QCA can be simulated efficiently on classical computers.
  • Exact expressions for local conserved quantities become available.
  • Experimentally measurable expectation values can be predicted precisely.
  • The models can benchmark quantum hardware performance.
  • Nonintegrable variants still conserve a quantity for error mitigation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Tunable integrability in parametric circuits could help diagnose errors by comparing integrable and chaotic regimes.
  • The single conserved quantity might inspire new error-mitigation techniques in quantum computing.
  • Similar mappings could be sought in other quantum cellular automata or lattice models.

Load-bearing premise

The specific form of the Goldilocks balance constraint and the choice of single-qubit unitary permit an exact mapping to free-fermion or six-vertex dynamics without additional approximations.

What would settle it

A simulation or measurement showing that the dynamics of the specified subclass deviate from free-fermion predictions, for instance by violating one of the computed conservation laws.

Figures

Figures reproduced from arXiv: 2404.02994 by Eric Vernier, Lincoln D. Carr, Logan E. Hillberry, Lorenzo Piroli, Nicole Yunger Halpern, Toma\v{z} Prosen.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
read the original abstract

Goldilocks quantum cellular automata (QCA) have been simulated on quantum hardware and produce emergent small-world correlation networks. In Goldilocks QCA, a single-qubit unitary is applied to each qubit in a one-dimensional chain subject to a balance constraint: a qubit is updated if its neighbors are in different computational-basis states. We prove that a subclass of Goldilocks QCA, including the QCA implemented experimentally, map to free fermions and therefore can be simulated classically. We support this claim with two proofs, one involving a Jordan-Wigner transformation and one mapping the integrable six-vertex model to QCA. We compute local conserved quantities of these QCA and predict experimentally measurable expectation values. These calculations can be applied to test large digital quantum computers. In contrast, typical Goldilocks QCA have equilibration properties and quasienergy-level statistics that suggest nonintegrability. Still, each of the latter QCA conserves one quantity useful for error mitigation. Our work yields a parametric quantum circuit with tunable integrability properties useful for testing quantum hardware.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that a subclass of Goldilocks quantum cellular automata (QCA), including the experimentally implemented instance, are integrable. It establishes this via two mappings—one to free fermions through the Jordan-Wigner transformation and one to the integrable six-vertex model—thereby permitting classical simulation. The work computes local conserved quantities, derives experimentally measurable expectation values, and contrasts these integrable cases with generic Goldilocks QCA that exhibit non-integrable equilibration and level statistics yet still conserve a single quantity useful for error mitigation. The result supplies a parametric quantum circuit with tunable integrability for hardware benchmarking.

Significance. If the mappings are valid, the result is significant: it supplies an exact classical simulation route for a family of QCA previously accessed only via quantum hardware, yields falsifiable predictions for local observables, and identifies conserved charges that can be exploited for error mitigation. The parametric circuit with controllable integrability is a concrete tool for testing digital quantum processors. The explicit construction of conserved quantities and the contrast between integrable and non-integrable regimes strengthen the utility for both theory and experiment.

major comments (2)
  1. [Abstract; Jordan-Wigner proof] Abstract and Jordan-Wigner section: the central claim that the experimental Goldilocks QCA maps to free fermions requires an explicit operator identity showing that the neighbor-difference projector, after Jordan-Wigner transformation, produces only quadratic fermionic terms for the concrete experimental single-qubit unitary angles. The balance constraint projector generally introduces four-fermion operators; without the displayed cancellation for the specific parameters, the mapping to free fermions (and hence classical simulability) remains unverified and is load-bearing for the main result.
  2. [Six-vertex mapping] Six-vertex mapping section: the transfer-matrix equivalence must be shown to preserve the exact balance-constraint projector without additional approximations or restrictions beyond the stated subclass. If the six-vertex weights are derived only for a measure-zero set of angles, the claim that the experimental QCA is included needs explicit confirmation via the weight parameters.
minor comments (2)
  1. Notation for the single-qubit unitary and the balance projector should be introduced with explicit matrix representations in the computational basis before the mappings are applied.
  2. The conserved quantities derived in the integrable cases should be compared quantitatively (e.g., via expectation-value plots) with the single conserved quantity retained by the non-integrable Goldilocks QCA.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying points where the integrability mappings require more explicit verification. We address each major comment below and will revise the manuscript to incorporate the requested details.

read point-by-point responses

  1. Referee: Abstract and Jordan-Wigner section: the central claim that the experimental Goldilocks QCA maps to free fermions requires an explicit operator identity showing that the neighbor-difference projector, after Jordan-Wigner transformation, produces only quadratic fermionic terms for the concrete experimental single-qubit unitary angles. The balance constraint projector generally introduces four-fermion operators; without the displayed cancellation for the specific parameters, the mapping to free fermions (and hence classical simulability) remains unverified and is load-bearing for the main result.

    Authors: We agree that an explicit demonstration of the cancellation is essential for rigor. The manuscript asserts the mapping for the experimental parameters but does not display the full operator expansion. In the revised version we will add the complete Jordan-Wigner transformation of the balance-constraint projector, showing term-by-term that all four-fermion contributions cancel for the specific experimental single-qubit unitary angles, leaving only quadratic fermionic operators. This addition will make the free-fermion equivalence fully verifiable. revision: yes

  2. Referee: Six-vertex mapping section: the transfer-matrix equivalence must be shown to preserve the exact balance-constraint projector without additional approximations or restrictions beyond the stated subclass. If the six-vertex weights are derived only for a measure-zero set of angles, the claim that the experimental QCA is included needs explicit confirmation via the weight parameters.

    Authors: We agree that explicit confirmation of the weight parameters is needed. The six-vertex mapping is constructed for the subclass of Goldilocks QCA that includes the experimental instance, but the manuscript does not list the corresponding vertex weights. In the revision we will derive and display the six-vertex weights for the experimental angles, confirming that the balance-constraint projector is preserved exactly by the transfer-matrix construction with no further restrictions. revision: yes

Circularity Check

0 steps flagged

Mappings to free fermions and six-vertex model rely on standard external techniques with no load-bearing self-citation or definitional reduction

full rationale

The paper's central claim rests on two explicit proofs (Jordan-Wigner transformation and six-vertex model mapping) applied to a specified subclass of Goldilocks QCA satisfying the balance constraint. These are standard, independently verifiable mathematical tools rather than self-referential definitions or fitted parameters renamed as predictions. The experimental QCA is included by direct verification of the mapping conditions, not by construction from prior results. No equations reduce the output to the input by definition, and any self-citations (if present for the experimental implementation) are not load-bearing for the integrability proof itself. This yields a low but non-zero score reflecting minor contextual overlap with prior experimental work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard mathematical tools without new parameters or entities.

axioms (2)
  • standard math The Jordan-Wigner transformation can be applied to the QCA dynamics
    Standard technique for 1D spin chains.
  • standard math The six-vertex model is integrable
    Known from statistical mechanics.

pith-pipeline@v0.9.0 · 5733 in / 1258 out tokens · 26808 ms · 2026-05-24T02:23:28.985593+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

101 extracted references · 101 canonical work pages · 1 internal anchor

  1. [1]

    Each edge is empty (thin, black) or occupied (thick, blue)—or, equivalently, carries an orientation: upwards for empty edges and downwards for occupied edges

    Six-vertex model The six-vertex model [27] is defined on a lattice whose degrees of freedom are the edges. Each edge is empty (thin, black) or occupied (thick, blue)—or, equivalently, carries an orientation: upwards for empty edges and downwards for occupied edges. The net flux flowing into each vertex must vanish. According to thisice condition, the allo...

    work page

  2. [2]

    A vertex’s southward spin represents an element of the target qubit’s computational basis

    Quantum cellular automata mapped to by the six-vertex model The quantum lattice’s weights can be encoded in QCA neighborhood gates [11]. A vertex’s southward spin represents an element of the target qubit’s computational basis. The westward and eastward spins represent elements of the left-hand and right-hand neighboring control qubits’ computational base...

    work page

  3. [3]

    As a reminder, a Goldilocks QCA effects the neighborhood gate ˆuj of Eq

    Goldilocks quantum cellular automata mapped to by the six-vertex model We now specify the vertex weights under which the six-vertex model maps to Goldilocks QCA. As a reminder, a Goldilocks QCA effects the neighborhood gate ˆuj of Eq. (1), subject to the constraintf G(m,n) =m⊕n[Eq. (3)]. According to the constraint, the identity operator acts on a target ...

    work page

  4. [4]

    Delorme, inCellular automata: a parallel model(Springer, 1999) pp

    M. Delorme, inCellular automata: a parallel model(Springer, 1999) pp. 5–49. 16

    work page 1999

  5. [5]

    Wolfram, Rev

    S. Wolfram, Rev. Mod. Phys.55, 601 (1983)

    work page 1983

  6. [6]

    Cooket al., Complex systems15, 1 (2004)

    M. Cooket al., Complex systems15, 1 (2004)

    work page 2004

  7. [7]

    Margolus,Physics and computation, Ph.D

    N. Margolus,Physics and computation, Ph.D. thesis, Massachusetts Institute of Technology (1987)

    work page 1987

  8. [8]

    Adler, B

    C. Adler, B. Boghosian, E. G. Flekkøy, N. Margolus, and D. H. Rothman, J. Stat. Phys.81, 105 (1995)

    work page 1995

  9. [9]

    Arrighi, Nat

    P. Arrighi, Nat. Comp.18, 885 (2019)

    work page 2019

  10. [10]

    Farrelly, Quantum4, 368 (2020)

    T. Farrelly, Quantum4, 368 (2020)

    work page 2020

  11. [11]

    L. E. Hillberry, M. T. Jones, D. L. Vargas, P. Rall, N. Yunger Halpern, N. Bao, S. Notarnicola, S. Montangero, and L. D. Carr, Quantum Sci. Tech.6, 045017 (2021)

    work page 2021

  12. [12]

    E. B. Jones, L. E. Hillberry, M. T. Jones, M. Fasihi, P. Roushan, Z. Jiang, A. Ho, C. Neill, E. Ostby, P. Graf,et al., Nature comm.13, 4483 (2022)

    work page 2022

  13. [13]

    J. W. P. Wilkinson, K. Klobas, T. Prosen, and J. P. Garrahan, Phys. Rev. E102, 062107 (2020)

    work page 2020

  14. [14]

    Prosen, Chaos: An Interdisciplinary J

    T. Prosen, Chaos: An Interdisciplinary J. Nonlin. Science31, 093101 (2021)

    work page 2021

  15. [15]

    C. J. Turner, A. A. Michailidis, D. A. Abanin, M. Serbyn, and Z. Papi ´c, Nature Phys.14, 745 (2018)

    work page 2018

  16. [16]

    Wang, X.-F

    J.-W. Wang, X.-F. Zhou, G.-C. Guo, and Z.-W. Zhou, Phys. Rev. B109, 125102 (2024)

    work page 2024

  17. [17]

    H. P. Casagrande, B. Xing, M. Dalmonte, A. Rodriguez, V . Balachandran, and D. Poletti, Phys. Rev. E108, 044128 (2023)

    work page 2023

  18. [18]

    Lesanovsky, K

    I. Lesanovsky, K. Macieszczak, and J. P. Garrahan, Quantum Science and Technology4, 02LT02 (2019)

    work page 2019

  19. [19]

    T. M. Wintermantel, Y . Wang, G. Lochead, S. Shevate, G. K. Brennen, and S. Whitlock, Phys. Rev. Lett.124, 070503 (2020)

    work page 2020

  20. [20]

    A. J. Daley, I. Bloch, C. Kokail, S. Flannigan, N. Pearson, M. Troyer, and P. Zoller, Nature607, 667 (2022)

    work page 2022

  21. [21]

    Onsager, Phys

    L. Onsager, Phys. Rev.65, 117 (1944)

    work page 1944

  22. [22]

    Pauling, J

    L. Pauling, J. American Chem. Soc.57, 2680 (1935)

    work page 1935

  23. [23]

    E. H. Lieb, Phys. Rev.162, 162 (1967)

    work page 1967

  24. [24]

    Caux and J

    J.-S. Caux and J. Mossel, J. Stat. Mech.2011, P02023 (2011)

    work page 2011

  25. [25]

    Prosen, Phys

    T. Prosen, Phys. Rev. Lett.106, 217206 (2011)

    work page 2011

  26. [26]

    Jordan and E

    P. Jordan and E. Wigner, Zeitschrift für Physik47, 631 (1928)

    work page 1928

  27. [27]

    Bethe, Zeitschrift für Physik71, 205 (1931)

    H. Bethe, Zeitschrift für Physik71, 205 (1931)

    work page 1931

  28. [28]

    C. N. Yang, Phys. Rev. Lett.19, 1312 (1967)

    work page 1967

  29. [29]

    R. J. Baxter, Annals of Physics70, 323 (1972)

    work page 1972

  30. [30]

    R. J. Baxter,Exactly solved models in statistical mechanics(Dover Pubns, 2008)

    work page 2008

  31. [31]

    A. L. Retore, J. Phys. A: Math. Theor.55, 173001 (2022)

    work page 2022

  32. [32]

    V . V . Bazhanov and S. M. Sergeev, Nuclear Physics B986, 116055 (2023)

    work page 2023

  33. [33]

    Vanicat, L

    M. Vanicat, L. Zadnik, and T. Prosen, Phys. Rev. Lett.121, 030606 (2018)

    work page 2018

  34. [34]

    Ljubotina, L

    M. Ljubotina, L. Zadnik, and T. Prosen, Phys. Rev. Lett.122, 150605 (2019)

    work page 2019

  35. [35]

    Bertini, P

    B. Bertini, P. Kos, and T. Prosen, Phys. Rev. Lett.123, 210601 (2019)

    work page 2019

  36. [36]

    Medenjak, T

    M. Medenjak, T. Prosen, and L. Zadnik, SciPost Phys.9, 003 (2020)

    work page 2020

  37. [37]

    P. W. Claeys, J. Herzog-Arbeitman, and A. Lamacraft, SciPost Phys.12, 007 (2022)

    work page 2022

  38. [38]

    Vernier, B

    E. Vernier, B. Bertini, G. Giudici, and L. Piroli, Phys. Rev. Lett.130, 260401 (2023)

    work page 2023

  39. [39]

    Miao and E

    Y . Miao and E. Vernier, Quantum7, 1160 (2023)

    work page 2023

  40. [40]

    Vernier, H.-C

    E. Vernier, H.-C. Yeh, L. Piroli, and A. Mitra, Phys. Rev. Lett.133, 050606 (2024)

    work page 2024

  41. [41]

    Fukai and B

    K. Fukai and B. Pozsgay, J. Phys. A: Mathe. Theor.58, 175202 (2025)

    work page 2025

  42. [42]

    Szász-Schagrin, D

    D. Szász-Schagrin, D. Cristani, L. Piroli, and E. Vernier, arXiv:2509.22585 (2025)

    work page arXiv 2025

  43. [43]

    B. M. Terhal and D. P. DiVincenzo, Phys. Rev. A65, 032325 (2002)

    work page 2002

  44. [44]

    Lagrangian representation for fermionic linear optics

    S. Bravyi, arXiv preprint quant-ph/0404180 (2004)

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  45. [45]

    Surace and L

    J. Surace and L. Tagliacozzo, SciPost Phys. Lect. Notes54, 10.21468/SciPostPhysLectNotes.54 (2022)

    work page doi:10.21468/scipostphyslectnotes.54 2022

  46. [46]

    E. Lieb, T. Schultz, and D. Mattis, Annals of Physics16, 407 (1961)

    work page 1961

  47. [47]

    G. G. Cabrera and R. Jullien, Phys. Rev. B35, 7062 (1987)

    work page 1987

  48. [48]

    Li and H

    K. Li and H. C. Po, Phys. Rev. B106, 115109 (2022)

    work page 2022

  49. [49]

    Chapman and S

    A. Chapman and S. T. Flammia, Quantum4, 278 (2020)

    work page 2020

  50. [50]

    Fendley, J

    P. Fendley, J. Phys. A: Math. Theor.52, 335002 (2019)

    work page 2019

  51. [51]

    F. C. Alcaraz and R. A. Pimenta, Phys. Rev. B102, 121101(R) (2020)

    work page 2020

  52. [52]

    S. J. Elman, A. Chapman, and S. T. Flammia, Comm. Math. Phys.388, 969 (2021)

    work page 2021

  53. [53]

    Chapman, S

    A. Chapman, S. J. Elman, and R. L. Mann, arXiv:2305.15625 (2023)

    work page arXiv 2023

  54. [54]

    Fendley and B

    P. Fendley and B. Pozsgay, SciPost Phys.16, 102 (2024)

    work page 2024

  55. [55]

    Vernier and L

    E. Vernier and L. Piroli, arXiv:2507.15959 (2025)

    work page arXiv 2025

  56. [56]

    Gopalakrishnan and B

    S. Gopalakrishnan and B. Zakirov, Quantum Science and Technology3, 044004 (2018)

    work page 2018

  57. [57]

    Gopalakrishnan, Phys

    S. Gopalakrishnan, Phys. Rev. B98, 060302(R) (2018)

    work page 2018

  58. [58]

    Causer, I

    L. Causer, I. Lesanovsky, M. C. Bañuls, and J. P. Garrahan, Phys. Rev. E102, 052132 (2020)

    work page 2020

  59. [59]

    Arrighi, V

    P. Arrighi, V . Nesme, and R. Werner, inLanguage and Automata Theory and Applications, edited by C. Martín-Vide, F. Otto, and H. Fernau (Springer Berlin Heidelberg, Berlin, Heidelberg, 2008) pp. 64–75

    work page 2008

  60. [60]

    Van Den Nest, Quantum Info

    M. Van Den Nest, Quantum Info. Comput.11, 784–812 (2011)

    work page 2011

  61. [61]

    D. J. Brod, Phys. Rev. A93, 062332 (2016)

    work page 2016

  62. [62]

    L. P. Kadanoff and F. J. Wegner, Phys. Rev. B4, 3989 (1971)

    work page 1971

  63. [63]

    F. Y . Wu, Phys. Rev.183, 604 (1969)

    work page 1969

  64. [64]

    R. J. Baxter, Phys. Rev. B1, 2199 (1970)

    work page 1970

  65. [65]

    Zhou and A

    T. Zhou and A. Nahum, Phys. Rev. B99, 174205 (2019). 17

    work page 2019

  66. [66]

    M. P. Fisher, V . Khemani, A. Nahum, and S. Vijay, Annual Review of Condensed Matter Physics14, 335 (2023)

    work page 2023

  67. [67]

    J. C. Napp, R. L. La Placa, A. M. Dalzell, F. G. S. L. Brandão, and A. W. Harrow, Phys. Rev. X12, 021021 (2022)

    work page 2022

  68. [68]

    Prosen, arXiv 2106.01292 (2021)

    T. Prosen, arXiv 2106.01292 (2021)

    work page arXiv 2021

  69. [69]

    Gombor and B

    T. Gombor and B. Pozsgay, Phys. Rev. E104, 054123 (2021)

    work page 2021

  70. [70]

    Fagotti and F

    M. Fagotti and F. H. L. Essler, Phys. Rev. B87, 245107 (2013)

    work page 2013

  71. [71]

    Fagotti, J

    M. Fagotti, J. Stat. Mech.2014, P03016 (2014)

    work page 2014

  72. [72]

    Prosen, J

    T. Prosen, J. Phys. A: Math. Theor.40, 7881 (2007)

    work page 2007

  73. [73]

    Bonet-Monroig, R

    X. Bonet-Monroig, R. Sagastizabal, M. Singh, and T. E. O’Brien, Phys. Rev. A98, 062339 (2018)

    work page 2018

  74. [74]

    Rotello, E

    C. Rotello, E. B. Jones, P. Graf, and E. Kapit, Phys. Rev. Res.5, 033082 (2023)

    work page 2023

  75. [75]

    Majidy, W

    S. Majidy, W. F. Braasch Jr, A. Lasek, T. Upadhyaya, A. Kalev, and N. Yunger Halpern, Nature Reviews Physics5, 689 (2023)

    work page 2023

  76. [76]

    Lostaglio, D

    M. Lostaglio, D. Jennings, and T. Rudolph, New J. Phys.19, 043008 (2017)

    work page 2017

  77. [77]

    Guryanova, S

    Y . Guryanova, S. Popescu, A. J. Short, R. Silva, and P. Skrzypczyk, Nature Communications7, 12049 (2016)

    work page 2016

  78. [78]

    Yunger Halpern, P

    N. Yunger Halpern, P. Faist, J. Oppenheim, and A. Winter, Nature Communications7, 1 (2016)

    work page 2016

  79. [79]

    F. Ares, S. Murciano, E. Vernier, and P. Calabrese, SciPost Phys.15, 089 (2023)

    work page 2023

  80. [80]

    Borsi, L

    M. Borsi, L. Pristyák, and B. Pozsgay, Phys. Rev. Lett.131, 037101 (2023)

    work page 2023

Showing first 80 references.