pith. sign in

arxiv: 2606.09773 · v1 · pith:J7GQS7INnew · submitted 2026-06-08 · 🪐 quant-ph

From Pauli Strings to Quantum Dynamics: A Unified Characterization

Roberto Gargiulo , Paul Herringer , Robert Zeier This is my paper

Pith reviewed 2026-06-27 16:22 UTC · model grok-4.3

classification 🪐 quant-ph
keywords Pauli stringsLie algebrasClifford groupsymplectic propertiesinvariant subspacesquantum reachabilitytransvections3-designs
0
0 comments X

The pith

Symplectic properties of Pauli strings connect their Lie algebras to transvection-generated Clifford subgroups for analyzing quantum reachability.

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

The paper establishes that the symplectic properties of Pauli strings create direct links between the Lie algebras they generate and particular subgroups of the Clifford group generated by transvections. This link supports an invariant-based description of reachability using Pauli orbits, symmetries, and invariant subspaces. A sympathetic reader would care because the approach yields efficient algorithms for identifying these algebras, orbits, and subspaces for arbitrary Pauli generating sets, which matters for understanding achievable quantum operations in variational algorithms, restricted computation, many-body systems, and random circuits. The work also shows in an elementary manner that the relevant Clifford subgroups form 3-designs for the corresponding Pauli Lie groups.

Core claim

We find deep connections between Pauli Lie algebras and certain subgroups of the Clifford group generated by transvections, through the symplectic properties of the Pauli strings. This allows us to give an invariant-based perspective on these objects and their reachability, in the language of Pauli orbits, symmetries, and invariant subspaces. The invariant-based approach provides efficient algorithms for identifying Lie algebras and orbits, as well as a simple framework for analyzing structured Pauli generating sets. We also show in an elementary way that Clifford subgroups generated by transvections provide 3-designs for the corresponding Pauli Lie groups.

What carries the argument

The symplectic properties of Pauli strings, which link Pauli Lie algebras to transvection-generated subgroups of the Clifford group through Pauli orbits, symmetries, and invariant subspaces.

If this is right

  • Efficient algorithms exist to identify Lie algebras and orbits from Pauli generating sets.
  • A framework is available for analyzing structured Pauli generating sets in variational quantum algorithms and many-body systems.
  • Clifford subgroups generated by transvections provide 3-designs for the Pauli Lie groups.
  • Reachability questions in quantum dynamics reduce to questions about symmetries and invariant subspaces.

Where Pith is reading between the lines

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

  • The invariant classification might extend naturally to other finite bases of operators in quantum information.
  • These tools could simplify the design of symmetry-protected gates or dynamics in many-body Hamiltonians.
  • Implementation of the algorithms in quantum simulation software would allow direct testing on random circuit ensembles.

Load-bearing premise

The symplectic properties of Pauli strings directly yield efficient algorithms for identifying Lie algebras, orbits, and invariant subspaces without hidden computational costs or additional assumptions on the generating sets.

What would settle it

An explicit Pauli generating set where the associated Lie algebra or orbit cannot be identified using the symplectic invariants in an efficient manner, or a transvection-generated Clifford subgroup that does not act as a 3-design on the Pauli Lie group.

Figures

Figures reproduced from arXiv: 2606.09773 by Paul Herringer, Roberto Gargiulo, Robert Zeier.

Figure 1
Figure 1. Figure 1: FIG. 1. The graph-theoretic formalism. Example of (a) frustration graph and (b) commutator graph over two qubits, for the [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Up to isomorphism, the partition of the system in three parts due to symmetries: [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. (a) Local Commutant of the Ising model/multi-angle [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5 [PITH_FULL_IMAGE:figures/full_fig_p019_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Any graph with a vertex of degree [PITH_FULL_IMAGE:figures/full_fig_p019_6.png] view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8. Left: the possible subgraphs of a connected graph [PITH_FULL_IMAGE:figures/full_fig_p020_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9. Frustration graphs for the XY-interaction on (a) the [PITH_FULL_IMAGE:figures/full_fig_p021_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: FIG. 10. Example of interaction hypergraph in Parity Quan [PITH_FULL_IMAGE:figures/full_fig_p022_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: FIG. 11. Frustration graph of the generating set in Eq. ( [PITH_FULL_IMAGE:figures/full_fig_p023_11.png] view at source ↗
Figure 13
Figure 13. Figure 13: FIG. 13. The One Clean Qubit (DQC1) model of computation [PITH_FULL_IMAGE:figures/full_fig_p024_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: FIG. 14. Example of Instantaneous Quantum Polynomial [PITH_FULL_IMAGE:figures/full_fig_p025_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: FIG. 15. Block decomposition of the operator space under a [PITH_FULL_IMAGE:figures/full_fig_p026_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: FIG. 16. (a) [PITH_FULL_IMAGE:figures/full_fig_p031_16.png] view at source ↗
Figure 18
Figure 18. Figure 18: FIG. 18. Minimal repeating word defined by a directed loop [PITH_FULL_IMAGE:figures/full_fig_p031_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: FIG. 19. Frustration graph of the FFD ansatz contains a [PITH_FULL_IMAGE:figures/full_fig_p034_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: FIG. 20. The local commutant of the doubled FFD ansatz and [PITH_FULL_IMAGE:figures/full_fig_p035_20.png] view at source ↗
Figure 21
Figure 21. Figure 21: FIG. 21. The local invariant bilinear forms of the dou [PITH_FULL_IMAGE:figures/full_fig_p036_21.png] view at source ↗
Figure 22
Figure 22. Figure 22: FIG. 22. Operator invariant subspaces of a Pauli Lie algebra [PITH_FULL_IMAGE:figures/full_fig_p043_22.png] view at source ↗
Figure 23
Figure 23. Figure 23: FIG. 23. Example of the frustration graph for a Pauli gener [PITH_FULL_IMAGE:figures/full_fig_p057_23.png] view at source ↗
Figure 24
Figure 24. Figure 24: FIG. 24. Example of commutator graph over [PITH_FULL_IMAGE:figures/full_fig_p058_24.png] view at source ↗
Figure 26
Figure 26. Figure 26: FIG. 26. Any graph is equivalent through a series of arbitrary [PITH_FULL_IMAGE:figures/full_fig_p060_26.png] view at source ↗
Figure 27
Figure 27. Figure 27: FIG. 27. The 32 unlabeled six-vertex graphs in the set [PITH_FULL_IMAGE:figures/full_fig_p061_27.png] view at source ↗
Figure 28
Figure 28. Figure 28: FIG. 28. (a) The unlabeled six-vertex graph [PITH_FULL_IMAGE:figures/full_fig_p061_28.png] view at source ↗
Figure 29
Figure 29. Figure 29: ): (a) the blown-up path graph Pk,n1 with a path of length k attached to n1 length-one leaves where k + n1 = n, 2 ̸= k ≥ 1, and n1 ≥ 1; (a) P𝑘,𝑛1 2 ≠ 𝑘 ≥ 1, 𝑛1 ≥ 1 𝑎1 𝑎𝑘 𝑏1 = 𝑎𝑘+1 𝑏𝑛1 = 𝑎𝑘+𝑛1 (b) J 1 2𝑚−1,𝑛1 𝑚 ≥ 3, 𝑛1 ≥ 1 𝑎1 𝑎2 𝑎3 𝑎4 𝑎5 𝑎2𝑚−1 𝑏1 = 𝑎2𝑚 𝑏𝑛1 = 𝑎2𝑚−1+𝑛1 (c) J 2 2𝑚−1,𝑛1 𝑚 ≥ 4, 𝑛1 ≥ 1 𝑎1 𝑎2 𝑎3 𝑎4 𝑎5 𝑎6 𝑎7 𝑎2𝑚−1 𝑏1 = 𝑎2𝑚 𝑏𝑛1 = 𝑎2𝑚−1+𝑛1 (d) J 3 2𝑚,𝑛1 𝑚 ≥ 3, 𝑛1 ≥ 1 𝑎1 𝑎2 𝑎3 𝑎4 𝑎5 𝑎6 𝑎2𝑚 𝑏1 = 𝑎2𝑚+1… view at source ↗
Figure 30
Figure 30. Figure 30: FIG. 30. The four classes in [ [PITH_FULL_IMAGE:figures/full_fig_p064_30.png] view at source ↗
Figure 31
Figure 31. Figure 31: FIG. 31. Three limitations of graph-only data. (a) The same [PITH_FULL_IMAGE:figures/full_fig_p065_31.png] view at source ↗
Figure 32
Figure 32. Figure 32: FIG. 32. Example of a graph 2-coloring, its support, and the [PITH_FULL_IMAGE:figures/full_fig_p068_32.png] view at source ↗
Figure 35
Figure 35. Figure 35: FIG. 35. Effect of a contraction on colorings. Contracting the [PITH_FULL_IMAGE:figures/full_fig_p069_35.png] view at source ↗
Figure 33
Figure 33. Figure 33: FIG. 33. Example of [PITH_FULL_IMAGE:figures/full_fig_p069_33.png] view at source ↗
Figure 34
Figure 34. Figure 34: FIG. 34. The classification of orbits in [PITH_FULL_IMAGE:figures/full_fig_p069_34.png] view at source ↗
Figure 36
Figure 36. Figure 36: FIG. 36. Example of a coloring whose associated Pauli prod [PITH_FULL_IMAGE:figures/full_fig_p070_36.png] view at source ↗
Figure 37
Figure 37. Figure 37: FIG. 37. Local parity constraints used to identify colorings [PITH_FULL_IMAGE:figures/full_fig_p074_37.png] view at source ↗
Figure 38
Figure 38. Figure 38: FIG. 38. Canonical coloring for the algebraic dependency [PITH_FULL_IMAGE:figures/full_fig_p076_38.png] view at source ↗
Figure 39
Figure 39. Figure 39: FIG. 39. Radical computations used in Lemma [PITH_FULL_IMAGE:figures/full_fig_p092_39.png] view at source ↗
Figure 40
Figure 40. Figure 40: FIG. 40. Local Arf-invariant computations used in Lemma [PITH_FULL_IMAGE:figures/full_fig_p093_40.png] view at source ↗
Figure 41
Figure 41. Figure 41: FIG. 41. Schematic block decomposition of [PITH_FULL_IMAGE:figures/full_fig_p113_41.png] view at source ↗
Figure 42
Figure 42. Figure 42: FIG. 42. Block decomposition of [PITH_FULL_IMAGE:figures/full_fig_p114_42.png] view at source ↗
Figure 43
Figure 43. Figure 43: FIG. 43. Block decomposition of the Pauli Lie algebra [PITH_FULL_IMAGE:figures/full_fig_p115_43.png] view at source ↗
Figure 44
Figure 44. Figure 44: FIG. 44. Example of multigraph ∆ and its line-graph [PITH_FULL_IMAGE:figures/full_fig_p117_44.png] view at source ↗
Figure 47
Figure 47. Figure 47: FIG. 47. The blown-up path graph [PITH_FULL_IMAGE:figures/full_fig_p118_47.png] view at source ↗
Figure 46
Figure 46. Figure 46: FIG. 46. Examples of (multi)graphs which admit the same [PITH_FULL_IMAGE:figures/full_fig_p118_46.png] view at source ↗
Figure 48
Figure 48. Figure 48: FIG. 48. A contraction of a line graph may be seen at the level [PITH_FULL_IMAGE:figures/full_fig_p119_48.png] view at source ↗
Figure 50
Figure 50. Figure 50: FIG. 50. Example of T-join for a tree [PITH_FULL_IMAGE:figures/full_fig_p121_50.png] view at source ↗
Figure 51
Figure 51. Figure 51: FIG. 51. The T-joins for a multigraph with two independent [PITH_FULL_IMAGE:figures/full_fig_p122_51.png] view at source ↗
Figure 52
Figure 52. Figure 52: FIG. 52. Representative free-fermionic mappings when the [PITH_FULL_IMAGE:figures/full_fig_p137_52.png] view at source ↗
Figure 53
Figure 53. Figure 53: FIG. 53. Representative free-fermionic mappings when the frustration graph [PITH_FULL_IMAGE:figures/full_fig_p138_53.png] view at source ↗
Figure 54
Figure 54. Figure 54: FIG. 54. The sum of two path edge colorings on a multigraph which start at the same vertex 1 cancels their common initial [PITH_FULL_IMAGE:figures/full_fig_p139_54.png] view at source ↗
Figure 55
Figure 55. Figure 55: FIG. 55. Canonical Majorana-mode partition for a line-graph Pauli Lie algebra [PITH_FULL_IMAGE:figures/full_fig_p142_55.png] view at source ↗
Figure 56
Figure 56. Figure 56: FIG. 56. Valid colorings of a line graph [PITH_FULL_IMAGE:figures/full_fig_p143_56.png] view at source ↗
Figure 58
Figure 58. Figure 58: FIG. 58. Over the exceptional, algebraically dependent gener [PITH_FULL_IMAGE:figures/full_fig_p146_58.png] view at source ↗
Figure 59
Figure 59. Figure 59: FIG. 59. Block decomposition of the Pauli Lie algebra for [PITH_FULL_IMAGE:figures/full_fig_p148_59.png] view at source ↗
Figure 60
Figure 60. Figure 60: FIG. 60. Block decomposition of the Pauli Lie algebra for free [PITH_FULL_IMAGE:figures/full_fig_p149_60.png] view at source ↗
read the original abstract

Understanding the dynamical properties of quantum systems is an essential task in quantum computing, quantum control, and many-body physics. Tools such as representation theory and Lie theory provide crucial information on reachability and computational power. However, this information can be difficult to access exactly or compute efficiently for arbitrary generating sets. Here we focus on the setting of Pauli strings, which satisfy numerous exceptional properties that simplify the problem. We find deep connections between Pauli Lie algebras and certain subgroups of the Clifford group generated by transvections, through the symplectic properties of the Pauli strings. This allows us to give an invariant-based perspective on these objects and their reachability, in the language of Pauli orbits, symmetries, and invariant subspaces. The invariant-based approach provides efficient algorithms for identifying Lie algebras and orbits, as well as a simple framework for analyzing structured Pauli generating sets. We also show in an elementary way that Clifford subgroups generated by transvections provide 3-designs for the corresponding Pauli Lie groups. We illustrate the framework through structured examples from variational quantum algorithms, restricted quantum computation, many-body systems, and random circuits.

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 / 1 minor

Summary. The manuscript develops a framework connecting Pauli Lie algebras to transvection-generated subgroups of the Clifford group via the symplectic properties of Pauli strings. It introduces an invariant-based perspective on reachability expressed through Pauli orbits, symmetries, and invariant subspaces; claims this yields efficient algorithms for identifying Lie algebras and orbits together with a simple framework for structured generating sets; shows elementarily that such Clifford subgroups form 3-designs for the associated Pauli Lie groups; and illustrates the approach on examples drawn from variational quantum algorithms, restricted quantum computation, many-body systems, and random circuits.

Significance. If the claimed efficient algorithms are rigorously shown to be polynomial-time and the 3-design result is established with complete proofs, the invariant perspective could supply a practical tool for controllability analysis and design verification in Pauli-generated quantum systems, with potential utility in quantum control and many-body physics.

major comments (2)
  1. [Abstract] Abstract: the central claim that the invariant-based approach 'provides efficient algorithms for identifying Lie algebras and orbits' is load-bearing for the paper's contribution to practical computation, yet the abstract supplies no complexity analysis, pseudocode, or explicit reduction showing that orbit and invariant-subspace computations remain polynomial-time for arbitrary Pauli generating sets; general Clifford-orbit problems are known to incur exponential cost unless the transvection structure is exploited in a manner that must be demonstrated.
  2. [Abstract] Abstract: the assertion that 'Clifford subgroups generated by transvections provide 3-designs for the corresponding Pauli Lie groups' is presented as an elementary result, but without the definition of the 3-design, the precise statement of the theorem, or the key steps of the argument, it is impossible to verify whether the proof is self-contained and free of hidden assumptions on the generating sets.
minor comments (1)
  1. The abstract is information-dense; separating the algorithmic claims from the design result with explicit section references would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful review and for highlighting areas where the abstract could better convey the technical details of our contributions. We address each major comment below and will incorporate revisions to improve clarity and rigor.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim that the invariant-based approach 'provides efficient algorithms for identifying Lie algebras and orbits' is load-bearing for the paper's contribution to practical computation, yet the abstract supplies no complexity analysis, pseudocode, or explicit reduction showing that orbit and invariant-subspace computations remain polynomial-time for arbitrary Pauli generating sets; general Clifford-orbit problems are known to incur exponential cost unless the transvection structure is exploited in a manner that must be demonstrated.

    Authors: We agree that the abstract would benefit from an explicit statement on complexity. The efficiency follows from the reduction to linear-algebra operations over the symplectic vector space of Pauli strings (dimension 2n for n qubits), where transvection orbits and invariant subspaces are computed via Gaussian elimination and orbit-stabilizer methods that run in O(n^3) time; this is detailed in Sections 3 and 4 of the manuscript. We will revise the abstract to note that the algorithms are polynomial-time and add a parenthetical reference to the relevant sections. revision: yes

  2. Referee: [Abstract] Abstract: the assertion that 'Clifford subgroups generated by transvections provide 3-designs for the corresponding Pauli Lie groups' is presented as an elementary result, but without the definition of the 3-design, the precise statement of the theorem, or the key steps of the argument, it is impossible to verify whether the proof is self-contained and free of hidden assumptions on the generating sets.

    Authors: The 3-design property is proved in Section 5 by showing that the transvection subgroup acts transitively on the set of Pauli strings of fixed weight and preserves the third-moment operator; the argument uses only the symplectic form and does not rely on additional assumptions beyond the generating set being transvection-closed. We will revise the abstract to include a concise definition of a 3-design together with the precise statement of the theorem and a one-sentence outline of the proof strategy. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation is self-contained via symplectic invariants and representation theory

full rationale

The paper develops an invariant-based characterization of Pauli Lie algebras and transvection-generated Clifford subgroups using symplectic properties of Pauli strings. No quoted equations or steps reduce a claimed prediction or result to a fitted parameter, self-definition, or load-bearing self-citation chain. The efficiency of the resulting algorithms for identifying Lie algebras, orbits, and invariant subspaces is asserted as following directly from the invariant framework without any reduction to tautological inputs or prior author results invoked as uniqueness theorems. The presentation remains independent of the target claims and does not rename known empirical patterns or smuggle ansatzes via citation. This is the standard case of a mathematically self-contained derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no information on free parameters, axioms, or invented entities; ledger is empty by default.

pith-pipeline@v0.9.1-grok · 5718 in / 971 out tokens · 19938 ms · 2026-06-27T16:22:39.546304+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Necessary and Sufficient Conditions for Universal Gates with Pauli Strings and Beyond

    quant-ph 2026-06 unverdicted novelty 8.0

    Necessary and sufficient conditions for Pauli strings to generate su(2^n) with applications to limited-control Heisenberg Hamiltonians.

Reference graph

Works this paper leans on

300 extracted references · 21 linked inside Pith · cited by 1 Pith paper

  1. [1]

    The classification of quadratic forms in charac- teristic two is classical, but the standard references em- phasize different aspects

    Normal Forms and Type Classification We collect here the background and proof for Proposi- tion 93. The classification of quadratic forms in charac- teristic two is classical, but the standard references em- phasize different aspects. Early finite-field normal forms already appear in [292]. The algebraic normal-form treat- ment in [265] and the Arf-invari...

  2. [2]

    Pulling these two normal forms back from V /Rgives the representatives in Eqs

    Thus the Arf invariant is the parity of the number ofq 1 pairs. Pulling these two normal forms back from V /Rgives the representatives in Eqs. (C2) and (C3), and also shows that the isomorphism class is determined by dim(V), dim(R), and the Arf invariant. It remains to compare the setsQ −1(0) andQ −1(1). For the normal form in Eq. (C1), translation byh 1 ...

  3. [3]

    We only need the version of Witt’s extension the- orem for binary quadratic spaces whose associated alter- nating bilinear form is non-degenerate

    Witt Extension and Orthogonal Groups We first record the extension result needed to pass from isometries of subspaces to ambient automorphisms, and then fix the orthogonal-group notation used in the main 174 text. We only need the version of Witt’s extension the- orem for binary quadratic spaces whose associated alter- nating bilinear form is non-degenera...

  4. [4]

    As in Eq

    Majorana Basis Extensions We finish this appendix by recording a symplectic ex- tension used in the Majorana description of line-graph generating sets. As in Eq. (254), aMajorana basisof F2n 2 means a basis{µ i}2n i=1 satisfying⟨µ i, µj⟩= 1 +δ ij for alliandj. Lemma 245(Extending partial Majorana systems).Let µ1, . . . , µs ∈F 2n 2 be linearly independent...

  5. [5]

    R. J. Lewis-Swan, A. Safavi-Naini, A. M. Kaufman, and A. M. Rey, Dynamics of quantum information, Nat. Rev. Phys.1, 627 (2019)

    2019

  6. [6]

    Benatti,Dynamics, Information and Complexity in Quantum Systems, 2nd ed., Theoretical and Mathe- matical Physics (Springer Nature Switzerland, Cham, 2023)

    F. Benatti,Dynamics, Information and Complexity in Quantum Systems, 2nd ed., Theoretical and Mathe- matical Physics (Springer Nature Switzerland, Cham, 2023)

    2023

  7. [7]

    Amico, R

    L. Amico, R. Fazio, A. Osterloh, and V. Vedral, Entan- glement in many-body systems, Rev. Mod. Phys.80, 517 (2008)

    2008

  8. [8]

    S. M. Girvin and K. Yang,Modern Condensed Mat- ter Physics(Cambridge University Press, Cambridge, 2019)

    2019

  9. [9]

    S. Ryu, A. P. Schnyder, A. Furusaki, and A. W. W. Lud- wig, Topological insulators and superconductors: ten- fold way and dimensional hierarchy, New J. Phys.12, 065010 (2010)

    2010

  10. [10]

    Altland and B

    A. Altland and B. D. Simons,Condensed Matter Field Theory, 2nd ed. (Cambridge University Press, Cam- bridge, 2010)

    2010

  11. [11]

    S. A. Parameswaran and R. Vasseur, Many-body local- ization, symmetry and topology, Rep. Prog. Phys.81, 082501 (2018)

    2018

  12. [12]

    Moudgalya and O

    S. Moudgalya and O. I. Motrunich, From symmetries to commutant algebras in standard Hamiltonians, Ann. Phys.455, 169384 (2023)

    2023

  13. [13]

    Farhi, J

    E. Farhi, J. Goldstone, and S. Gutmann, A quan- tum approximate optimization algorithm (2014), arXiv:1411.4028

    Pith/arXiv arXiv 2014

  14. [14]

    Peruzzo, J

    A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O’Brien, A variational eigenvalue solver on a photonic quantum processor, Nat. Commun.5, 4213 (2014)

    2014

  15. [15]

    Cerezo, A

    M. Cerezo, A. Arrasmith, R. Babbush, S. C. Benjamin, S. Endo, K. Fujii, J. R. McClean, K. Mitarai, X. Yuan, L. Cincio, and P. J. Coles, Variational quantum algo- rithms, Nat. Rev. Phys.3, 625 (2021)

    2021

  16. [16]

    Cerezo, M

    M. Cerezo, M. Larocca, D. Garc´ ıa-Mart´ ın, N. L. Diaz, P. Braccia, E. Fontana, M. S. Rudolph, P. Bermejo, A. Ijaz, S. Thanasilp, E. R. Anschuetz, and Z. Holmes, Does provable absence of barren plateaus imply classical simulability?, Nat. Commun.16, 7907 (2025)

    2025

  17. [17]

    S. Kazi, M. Larocca, M. Farinati, P. J. Coles, M. Cerezo, and R. Zeier, Analyzing the quantum approximate op- timization algorithm: Ans¨ atze, symmetries, and Lie al- gebras, PRX Quantum6, 040345 (2025)

    2025

  18. [18]

    Singh, A

    J. Singh, A. Kruckenhauser, R. van Bijnen, and R. Zeier, Ground-state reachability for variational quan- tum eigensolvers: a Rydberg-atom case study (2025), arXiv:2506.22387

    arXiv 2025

  19. [19]

    Wiersema, E

    R. Wiersema, E. K¨ okc¨ u, A. F. Kemper, and B. N. Bakalov, Classification of dynamical Lie algebras of 2- local spin systems on linear, circular and fully connected topologies, npj Quantum Inf.10, 110 (2024)

    2024

  20. [20]

    K¨ okc¨ u, R

    E. K¨ okc¨ u, R. Wiersema, A. F. Kemper, and B. N. Bakalov, Classification of dynamical Lie algebras gener- ated by spin interactions on undirected graphs (2024), arXiv:2409.19797

    arXiv 2024

  21. [21]

    J. Z. Imbrie, Diagonalization and many-body localiza- tion for a disordered quantum spin chain, Phys. Rev. Lett.117, 027201 (2016)

    2016

  22. [22]

    I. D. Smith, B. Klaver, H. P. Nautrup, W. Lechner, and H. J. Briegel, Minimally universal parity quantum computing, Phys. Rev. A112, 032606 (2025)

    2025

  23. [23]

    Fellner, A

    M. Fellner, A. Messinger, K. Ender, and W. Lechner, Universal parity quantum computing, Phys. Rev. Lett. 129, 180503 (2022)

    2022

  24. [24]

    Herringer, V

    P. Herringer, V. B. Bulchandani, Y. Javanmard, D. T. Stephen, and R. Raussendorf, Measurement-based quantum computation in symmetry-enriched topologi- cal phases, PRX Quantum6, 040314 (2025)

    2025

  25. [25]

    N. L. Diaz, D. Garc´ ıa-Mart´ ın, S. Kazi, M. Larocca, and 180 M. Cerezo, Showcasing a barren plateau theory beyond the dynamical Lie algebra (2023), arXiv:2310.11505

    arXiv 2023

  26. [26]

    M. West, N. Dowling, A. Southwell, M. Sevior, M. Us- man, K. Modi, and T. Quella, A graph-theoretic ap- proach to chaos and complexity in quantum systems, SciPost Phys. Core8, 081 (2025)

    2025

  27. [27]

    Gargiulo, R

    R. Gargiulo, R. Menta, V. Giovannetti, and R. Zeier, Obstructions to universality in globally controlled qubit graphs (2026), arXiv:2604.18699

    Pith/arXiv arXiv 2026

  28. [28]

    Gargiulo, P

    R. Gargiulo, P. Herringer, and R. Zeier, Quantum dy- namics induced by Pauli strings, Poster presented at Quantum at the Dunes School and Workshop, Natal, Brazil (2026), March 3, 2026

    2026

  29. [29]

    Gargiulo, P

    R. Gargiulo, P. Herringer, and R. Zeier, Quantum dy- namics induced by Pauli strings, Talk given at Ger- man Physical Society Spring Meeting, Dresden, Ger- many (2026), March 12, 2026

    2026

  30. [30]

    McLaughlin, Some subgroups ofSL n(F2), Illinois J

    J. McLaughlin, Some subgroups ofSL n(F2), Illinois J. Math.13, 108 (1969)

    1969

  31. [31]

    Wajnryb, On the monodromy group of plane curve singularities, Math

    B. Wajnryb, On the monodromy group of plane curve singularities, Math. Ann.246, 141 (1980)

    1980

  32. [32]

    D. E. Gottesman,Mapping Class Group, Graphs and Symplectic Geometry, Ph.D. thesis, University College of North Wales (1983)

    1983

  33. [33]

    S. P. Humphries, Graphs and Nielsen transformations of symmetric, orthogonal, and symplectic groups, Q. J. Math.36, 297 (1985)

    1985

  34. [34]

    W. A. M. Janssen, Skew-symmetric vanishing lattices and their monodromy groups, Math. Ann.266, 115 (1983)

    1983

  35. [35]

    W. A. M. Janssen,Skew-Symmetric Vanishing Lattices, Ph.D. thesis, Katholieke Universiteit te Nijmegen, Ni- jmegen, Netherlands (1985)

    1985

  36. [36]

    Brown and S

    R. Brown and S. P. Humphries, Orbits under symplectic transvections I, Proc. London Math. Soc.(3) 52, 517 (1986)

    1986

  37. [37]

    Brown and S

    R. Brown and S. P. Humphries, Orbits under symplectic transvections II: the caseK=F 2, Proc. London Math. Soc.(3) 52, 532 (1986)

    1986

  38. [38]

    J. I. Hall, Symplectic geometry and mapping class groups, inGeometrical Combinatorics(Pitman, Boston, MA, 1984) pp. 21–33

    1984

  39. [39]

    Cameron and J

    P. Cameron and J. Hall, Some groups generated by transvection subgroups, J. Algebra140, 184 (1991)

    1991

  40. [40]

    Shapiro, M

    B. Shapiro, M. Shapiro, and A. Vainshtein, Skew- symmetric vanishing lattices and intersections of Schu- bert cells, Int. Math. Res. Not.1998, 563 (1998)

    1998

  41. [41]

    Callan, The generation of Sp(F 2) by transvections, J

    D. Callan, The generation of Sp(F 2) by transvections, J. Algebra42, 378 (1976)

    1976

  42. [42]

    J. I. Hall, Graphs, geometry, 3-transpositions, and sym- plecticF 2-transvection groups, Proc. London Math. Soc.s3-58, 89 (1989)

    1989

  43. [43]

    Sj¨ ostrand, Orbits under dual symplectic transvec- tions, Linear Algebra Appl.710, 507 (2025)

    J. Sj¨ ostrand, Orbits under dual symplectic transvec- tions, Linear Algebra Appl.710, 507 (2025)

    2025

  44. [44]

    M. H. L. Vorstermans,A Group-Theoretical Analysis of the Lit-Only Sigma Game, Bachelor’s thesis, Eindhoven University of Technology (2020)

    2020

  45. [45]

    Cuypers, Whitney’s theorem for line graphs of multi- graphs (2021), arXiv:2105.08610

    H. Cuypers, Whitney’s theorem for line graphs of multi- graphs (2021), arXiv:2105.08610

    arXiv 2021

  46. [46]

    Cuypers, Line graphs of multi-graphs and the forbid- den graphE 6 (2021), arXiv:2105.08618

    H. Cuypers, Line graphs of multi-graphs and the forbid- den graphE 6 (2021), arXiv:2105.08618

    arXiv 2021

  47. [47]

    Cuypers, Quasi-Clifford algebras, quadratic forms overF 2, and Lie algebras (2021), arXiv:2105.08637

    H. Cuypers, Quasi-Clifford algebras, quadratic forms overF 2, and Lie algebras (2021), arXiv:2105.08637

    arXiv 2021

  48. [48]

    A. I. Seven, Orbits of groups generated by transvections overF 2, J. Algebraic Combin.21, 449 (2005)

    2005

  49. [49]

    Aguilar, S

    G. Aguilar, S. Cichy, J. Eisert, and L. Bittel, Full classi- fication of Pauli Lie algebras (2024), arXiv:2408.00081

    arXiv 2024

  50. [50]

    Cuypers, Dynamical Lie algebras generated by Pauli strings and quadratic spaces overF 2 (2026), arXiv:2603.08373

    H. Cuypers, Dynamical Lie algebras generated by Pauli strings and quadratic spaces overF 2 (2026), arXiv:2603.08373

    arXiv 2026

  51. [51]

    Shepherd and M

    D. Shepherd and M. J. Bremner, Temporally unstruc- tured quantum computation, Proc. R. Soc. A465, 1413 (2009)

    2009

  52. [52]

    M. J. Bremner, R. Jozsa, and D. J. Shepherd, Clas- sical simulation of commuting quantum computations implies collapse of the polynomial hierarchy, Proc. R. Soc. A467, 459 (2010)

    2010

  53. [53]

    M. J. Bremner, A. Montanaro, and D. J. Shepherd, Achieving quantum supremacy with sparse and noisy commuting quantum computations, Quantum1, 8 (2017)

    2017

  54. [54]

    Nakata and M

    Y. Nakata and M. Murao, Diagonal quantum circuits: their computational power and applications, Eur. Phys. J. Plus129, 152 (2014)

    2014

  55. [55]

    Buzet and A

    Q. Buzet and A. Chailloux, IQP circuits for 2-forrelation (2026), arXiv:2604.15248

    Pith/arXiv arXiv 2026

  56. [56]

    Chapman and S

    A. Chapman and S. T. Flammia, Characterization of solvable spin models via graph invariants, Quantum4, 278 (2020)

    2020

  57. [57]

    Fendley, Free fermions in disguise, J

    P. Fendley, Free fermions in disguise, J. Phys. A52, 335002 (2019)

    2019

  58. [58]

    S. J. Elman, A. Chapman, and S. T. Flammia, Free fermions behind the disguise, Commun. Math. Phys. 388, 969 (2021)

    2021

  59. [59]

    Fendley and B

    P. Fendley and B. Pozsgay, Free fermions beyond Jordan and Wigner, SciPost Phys.16, 102 (2024)

    2024

  60. [60]

    Webb, The Clifford group forms a unitary 3-design, Quantum Inf

    Z. Webb, The Clifford group forms a unitary 3-design, Quantum Inf. Comput.16, 1379 (2016)

    2016

  61. [61]

    Zhu, Multiqubit Clifford groups are unitary 3- designs, Phys

    H. Zhu, Multiqubit Clifford groups are unitary 3- designs, Phys. Rev. A96, 062336 (2017)

    2017

  62. [62]

    H. Zhu, R. Kueng, M. Grassl, and D. Gross, The Clifford group fails gracefully to be a unitary 4-design (2016), arXiv:1609.08172

    Pith/arXiv arXiv 2016

  63. [63]

    Bittel, J

    L. Bittel, J. Eisert, L. Leone, A. A. Mele, and S. F. E. Oliviero, A complete theory of the Clifford commutant (2025), arXiv:2504.12263

    arXiv 2025

  64. [64]

    M. L. Goh, M. Larocca, L. Cincio, M. Cerezo, and F. Sauvage, Lie-algebraic classical simulations for quan- tum computing, Phys. Rev. Res.7, 033266 (2025)

    2025

  65. [65]

    Martinez, A

    V. Martinez, A. Angrisani, E. Pankovets, O. Fawzi, and D. Stilck Fran¸ ca, Efficient simulation of parametrized quantum circuits under nonunital noise through Pauli backpropagation, Phys. Rev. Lett.134, 250602 (2025)

    2025

  66. [66]

    M. S. Rudolph, T. Jones, Y. Teng, A. Angrisani, and Z. Holmes, Pauli propagation: A computational framework for simulating quantum systems (2025), arXiv:2505.21606

    Pith/arXiv arXiv 2025

  67. [67]

    P. Rall, D. Liang, J. Cook, and W. Kretschmer, Simu- lation of qubit quantum circuits via Pauli propagation, Phys. Rev. A99, 062337 (2019)

    2019

  68. [68]

    Beguˇ si´ c, K

    T. Beguˇ si´ c, K. Hejazi, and G. K.-L. Chan, Simulating quantum circuit expectation values by Clifford pertur- bation theory, J. Chem. Phys.162, 154110 (2025)

    2025

  69. [69]

    Fontana, M

    E. Fontana, M. S. Rudolph, R. Duncan, I. Rungger, and C. Cˆ ırstoiu, Classical simulations of noisy variational quantum circuits, npj Quantum Inf.11, 84 (2025)

    2025

  70. [70]

    Ugale, Classical simulation of near-term quantum al- gorithms (2025), Master thesis, University of Cologne

    S. Ugale, Classical simulation of near-term quantum al- gorithms (2025), Master thesis, University of Cologne. 181

    2025

  71. [71]

    A. E. Brouwer, A. M. Cohen, H. Cuypers, J. I. Hall, and E. Postma, Lie algebras, 2-groups and cotriangular spaces, Adv. Geom.12, 1 (2012)

    2012

  72. [72]

    G. Nebe, E. M. Rains, and N. J. A. Sloane, The invari- ants of the Clifford groups, Des. Codes Cryptogr.24, 99 (2001)

    2001

  73. [73]

    A. K. Hashagen, S. T. Flammia, D. Gross, and J. J. Wallman, Real randomized benchmarking, Quantum2, 85 (2018)

    2018

  74. [74]

    K. Wan, W. J. Huggins, J. Lee, and R. Babbush, Match- gate shadows for fermionic quantum simulation, Com- mun. Math. Phys.404, 629 (2023)

    2023

  75. [75]

    Vernier and L

    E. Vernier and L. Piroli, The Hilbert-space structure of free fermions in disguise, J. Stat. Mech. Theory Exp. 2026, 013101 (2026)

    2026

  76. [76]

    D. P. DiVincenzo, Two-bit gates are universal for quan- tum computation, Phys. Rev. A51, 1015 (1995)

    1995

  77. [77]

    Sleator and H

    T. Sleator and H. Weinfurter, Realizable universal quan- tum logic gates, Phys. Rev. Lett.74, 4087 (1995)

    1995

  78. [78]

    Barenco, A universal two-bit gate for quantum com- putation, Proc

    A. Barenco, A universal two-bit gate for quantum com- putation, Proc. R. Soc. Lond. A449, 679 (1995)

    1995

  79. [79]

    Jozsa, B

    R. Jozsa, B. Kraus, A. Miyake, and J. Watrous, Match- gate and space-bounded quantum computations are equivalent, Proc. R. Soc. A466, 809 (2009)

    2009

  80. [80]

    Chitambar and G

    E. Chitambar and G. Gour, Quantum resource theories, Rev. Mod. Phys.91, 025001 (2019)

    2019

Showing first 80 references.