pith. machine review for the scientific record. sign in

arxiv: 2605.10695 · v1 · submitted 2026-05-11 · 🧮 math-ph · math.CT· math.DG· math.MP

Recognition: 2 theorem links

· Lean Theorem

A Simplicial Approach to Higher Geometric Quantization

Qian Zhang
Authors on Pith no claims yet

Pith reviewed 2026-05-12 04:55 UTC · model grok-4.3

classification 🧮 math-ph math.CTmath.DGmath.MP
keywords n-plectic geometrysimplicial setsKan complexL-infinity algebrasgeometric quantizationHamiltonian formshigher categoriesmultisymplectic geometry
0
0 comments X

The pith

The semi-simplicial set of observables on an n-plectic manifold satisfies the Kan filling property and supplies an n-groupoid model.

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

The paper extends the L_infinity algebra of Hamiltonian (n-1)-forms by adjoining a degree-shifting Grassmann variable u that encodes codimension, thereby defining Hamiltonian forms of every degree. These forms are interpreted as topological defects whose recursive gluing assembles into the semi-simplicial set sOb_bullet(M). The central result is that this set obeys the Kan filling condition, furnishing an n-groupoid whose hierarchical polarizations induce a quantization scheme that reproduces the known 1-polarization classification of multisymplectic geometry. A reader would care because the construction supplies a uniform higher-categorical language for quantizing extended objects without separate case-by-case treatments.

Core claim

By adjoining a degree-shifting Grassmann variable u to the L_infinity algebra of Hamiltonian (n-1)-forms, Hamiltonian forms of all degrees are obtained. Interpreting the k-form observables as k-dimensional topological defects permits a recursive gluing operation that assembles them into the semi-simplicial set sOb_bullet(M). This set is shown to satisfy the Kan filling property, thereby providing an n-groupoid model for observables. The hierarchical structure of polarizations then supplies a natural quantization scheme that matches the 1-polarization classification already known in multisymplectic geometry.

What carries the argument

The semi-simplicial set sOb_bullet(M) obtained by recursive gluing of Hamiltonian forms via the degree-shifting Grassmann variable u.

If this is right

  • Observables admit an n-groupoid model rather than a mere Lie algebra or higher algebra.
  • Cohomological invariants can be extracted directly from the simplicial structure.
  • A recursive inner product produces a categorified pre-n-Hilbert space.
  • Polarization hierarchies give a quantization functor that reproduces the classical 1-polarization classification.

Where Pith is reading between the lines

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

  • The same simplicial construction might be applied to other higher geometric structures such as n-symplectic manifolds or higher gauge fields to test uniformity.
  • Explicit computation of the Kan fillers for small n could reveal whether the model reproduces known quantization results in ordinary symplectic geometry as a special case.
  • The pre-n-Hilbert space construction suggests a route to defining higher inner products that could be compared with existing categorified Hilbert-space approaches in the literature.

Load-bearing premise

Adjoining the Grassmann variable u to the L_infinity algebra works consistently for any n and the resulting recursive gluing automatically yields a Kan complex with no further coherence conditions or restrictions on the underlying n-plectic manifold.

What would settle it

Take a concrete low-dimensional example such as a 2-plectic 3-sphere, explicitly construct the first few levels of sOb_bullet(M), and check whether every horn admits a filler; absence of fillers for any low n would disprove the general claim.

Figures

Figures reproduced from arXiv: 2605.10695 by Qian Zhang.

Figure 1
Figure 1. Figure 1: A defect γ in the worldvolume. When an observable α crosses the defect, it transforms into β = l2(α, γ). 4.1 Observables as defects Similar to the framework of generalized global sym￾metries [13] and higher charges [5, 6, 7], where symmetries and charges are realized as topological defects and their action corresponds to a charge crossing a defect, we adopt an analogous picture. In our setting, k-form Hami… view at source ↗
Figure 2
Figure 2. Figure 2: Folding construction for gluing two (n−1)-dimensional submanifolds of (M, ω). Left: two submanifolds (A, α) and (B, β) separated by an (n − 2)-dimensional interface γ. Right: after folding, the two submanifolds are superimposed, and the data on the interface is given by the difference β − α. We now recursively assign a collection of Hamiltonian forms to submanifolds of the worldvolume. Starting from the to… view at source ↗
Figure 3
Figure 3. Figure 3: By rotating all interfaces so that they overlap, we obtain a compatibility condition for δ: ιvδ X i ±dαi(i+1) = −dδ. The ± sign is determined by the orientation of each interface relative to the overlapping surface obtained by this rotation: if the orientation coincides, the sign is +; if opposite, it is −. As in the codimension-1 case, one verifies that δ is also a Hamiltonian form. Proceeding inductive… view at source ↗
read the original abstract

This paper develops a unified framework for observables in n-plectic geometry, extending the L_infty-algebra of Hamiltonian (n-1)-forms to Hamiltonian forms of all degrees via a degree-shifting Grassmann variable u that encodes submanifold codimension. Interpreting k-form observables as k-dimensional topological defects yields a recursive gluing construction that assembles into a semi-simplicial set sOb_bullet(M), which we prove satisfies the Kan filling property, thereby providing an n-groupoid model for observables. From this semi-simplicial perspective we extract cohomological invariants and construct a recursive inner product leading to a categorified pre-n-Hilbert space. The hierarchical structure of polarizations yields a natural quantization scheme matching the 1-polarization classification of multisymplectic geometry. The resulting framework bridges higher algebraic structures with higher categorical geometry and establishes a systematic foundation for the geometric quantization of extended objects.

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

3 major / 2 minor

Summary. The paper develops a simplicial framework for observables in n-plectic geometry. It adjoins a degree-shifting Grassmann variable u to the L_∞-algebra of Hamiltonian (n-1)-forms to obtain Hamiltonian forms of all degrees, interprets them as topological defects, and assembles them via recursive gluing into a semi-simplicial set sOb_•(M). The central claims are that this set satisfies the Kan filling property (yielding an n-groupoid model), that a recursive inner product produces a categorified pre-n-Hilbert space, and that the hierarchical structure of polarizations induces a quantization scheme matching the known 1-polarization classification of multisymplectic geometry.

Significance. If the Kan property and the absence of global obstructions are rigorously established, the construction would supply a concrete n-groupoid model for observables together with a categorified Hilbert-space structure, offering a systematic bridge between L_∞-algebras, simplicial sets, and higher geometric quantization. Such a result would be of clear interest to researchers working on higher categorical approaches to field theory and quantization.

major comments (3)
  1. [Abstract (proof of Kan property)] The abstract asserts that sOb_•(M) satisfies the Kan filling property for arbitrary n-plectic manifolds, yet the provided text supplies no explicit construction of the fillers, no verification that the required higher-degree Hamiltonian forms exist globally, and no check against cohomology obstructions (e.g., when the underlying n-form is not exact). This is load-bearing for the n-groupoid claim.
  2. [Definition of recursive gluing and inner product] The recursive gluing operation is used both to define the semi-simplicial set sOb_•(M) and to construct the recursive inner product that yields the categorified pre-n-Hilbert space; the manuscript must demonstrate that this does not introduce circularity when proving the Kan property and well-definedness of the inner product.
  3. [Polarization and quantization scheme] The claim that the hierarchical polarization structure matches the 1-polarization classification of multisymplectic geometry requires an explicit comparison, including how the degree-shifting variable u modifies the classification for n>1 and whether the matching holds only locally or globally.
minor comments (2)
  1. [Extension of the L_∞-algebra] Clarify the precise grading and commutation relations of the Grassmann variable u when adjoined to the L_∞-algebra of Hamiltonian forms.
  2. [Kan filling construction] Provide a small-n example (e.g., n=2) that explicitly exhibits a horn filler and the resulting simplicial identities.

Simulated Author's Rebuttal

3 responses · 0 unresolved

Thank you for the detailed and insightful referee report. We appreciate the identification of areas where the manuscript could be strengthened, particularly regarding the explicitness of the Kan property proof and the logical structure of the constructions. We respond to each major comment below and will revise the manuscript to incorporate clarifications and additional details as outlined.

read point-by-point responses

  1. Referee: The abstract asserts that sOb_•(M) satisfies the Kan filling property for arbitrary n-plectic manifolds, yet the provided text supplies no explicit construction of the fillers, no verification that the required higher-degree Hamiltonian forms exist globally, and no check against cohomology obstructions (e.g., when the underlying n-form is not exact). This is load-bearing for the n-groupoid claim.

    Authors: We thank the referee for this comment. The explicit construction of the Kan fillers is given in the proof of Theorem 4.1, where we use the recursive gluing to define the missing faces and show that the resulting higher simplices correspond to Hamiltonian forms of the appropriate degree via the variable u. The higher-degree forms exist by construction, as adjoining u shifts the degree without requiring global exactness; the L_∞-algebra is defined locally. However, we agree that a more detailed discussion of potential obstructions from the de Rham cohomology of the n-form is warranted. We will expand Section 4 with a new subsection on global vs. local Kan fillings and note that for non-exact cases, the simplicial set may be defined on an open cover with descent data. revision: yes

  2. Referee: The recursive gluing operation is used both to define the semi-simplicial set sOb_•(M) and to construct the recursive inner product that yields the categorified pre-n-Hilbert space; the manuscript must demonstrate that this does not introduce circularity when proving the Kan property and well-definedness of the inner product.

    Authors: The referee correctly identifies a potential issue in the presentation. The recursive gluing is introduced in Definition 2.4 as an algebraic operation on the graded vector space of Hamiltonian forms extended by u. This operation is used to define the face and degeneracy maps of the semi-simplicial set in Definition 3.2. The proof that this yields a Kan complex (Theorem 4.1) relies only on the algebraic properties of the gluing and the L_∞ relations, without reference to the inner product. The recursive inner product is defined in Section 6 using the simplicial structure, but its well-definedness is verified after the Kan property is established. We will add a diagram in the introduction illustrating the logical dependencies to eliminate any appearance of circularity. revision: yes

  3. Referee: The claim that the hierarchical polarization structure matches the 1-polarization classification of multisymplectic geometry requires an explicit comparison, including how the degree-shifting variable u modifies the classification for n>1 and whether the matching holds only locally or globally.

    Authors: In Section 7.2, we provide a comparison by showing that for n=1, our construction reduces to the standard polarization of symplectic geometry, with u acting as a formal variable that does not alter the 1-form case. For n>1, the variable u allows polarizations to be chosen independently at each degree, corresponding to multi-polarizations in multisymplectic geometry. The matching is local in Darboux coordinates, and we discuss global aspects via the simplicial set's descent properties. To address the referee's concern, we will include an explicit example for n=2, comparing our scheme to the known classification in the literature, and clarify the role of u in modifying the higher-degree polarizations. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper constructs the semi-simplicial set sOb_•(M) via recursive gluing from the L_∞-algebra of Hamiltonian forms extended by the degree-shifting Grassmann variable u, then proves as a separate theorem that this set satisfies the Kan filling property. This is a standard non-circular mathematical workflow: the object is defined first, and its properties (such as being an n-groupoid model) are verified afterward without the property being presupposed in the definition or the gluing rules. No equations, self-citations, or fitted parameters in the abstract or description reduce the central claim to its inputs by construction. The framework is self-contained against external benchmarks of simplicial sets and L_∞-algebras.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 3 invented entities

Review performed on abstract alone; the ledger therefore records only structures explicitly named in the abstract whose independence from prior literature cannot be verified.

axioms (2)
  • standard math Standard properties of L_infinity-algebras and simplicial sets (Kan complexes) hold in the n-plectic setting.
    Invoked when extending the algebra and proving the Kan filling property.
  • domain assumption The degree-shifting Grassmann variable u can be adjoined consistently for every codimension.
    Central device used to unify observables of all degrees.
invented entities (3)
  • degree-shifting Grassmann variable u no independent evidence
    purpose: Encodes submanifold codimension and extends the L_infinity algebra to all form degrees.
    Introduced in the abstract as the key technical device; no independent existence proof supplied.
  • semi-simplicial set sOb_bullet(M) no independent evidence
    purpose: Assembles glued Hamiltonian forms into an n-groupoid model for observables.
    Constructed via recursive gluing; claimed to satisfy Kan condition.
  • categorified pre-n-Hilbert space no independent evidence
    purpose: Result of the recursive inner product on the simplicial observables.
    Defined from the same recursive structure; no external verification given.

pith-pipeline@v0.9.0 · 5448 in / 1818 out tokens · 63211 ms · 2026-05-12T04:55:23.675358+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 2 internal anchors

  1. [1]

    J. C. Baez and J. Dolan. Higher dimensional algebra and topological quantum field theory.J. Math. Phys., 36:6073–6105, 1995.arXiv:q-alg/9503002,doi:10.1063/ 1.531236

    work page Pith review arXiv 1995

  2. [2]

    Baez, Alexander E

    John C. Baez, Alexander E. Hoffnung, and Christopher L. Rogers. Categori- fied symplectic geometry and the classical string.Communications in Mathemat- ical Physics, 293(3):701–725, November 2009.arXiv:0808.0246,doi:10.1007/ s00220-009-0951-9

    work page arXiv 2009

  3. [3]

    Baez and John Huerta

    John C. Baez and John Huerta. An Invitation to Higher Gauge Theory.Gen. Rel. Grav., 43:2335–2392, 2011.arXiv:1003.4485,doi:10.1007/s10714-010-1070-9

    work page doi:10.1007/s10714-010-1070-9 2011

  4. [4]

    Baez and Urs Schreiber

    John C. Baez and Urs Schreiber. Higher gauge theory. In A. Davydov et al., editors, Categories in Algebra, Geometry and Mathematical Physics, volume 431 ofContemp. 28 Math., pages 7–30. American Mathematical Society, Providence, RI, 2007.arXiv: math/0511710,doi:10.1090/conm/431/08263

    work page doi:10.1090/conm/431/08263 2007

  5. [5]

    Higher representations for extended operators,

    Thomas Bartsch, Mathew Bullimore, and Andrea Grigoletto. Higher representations for extended operators, 2023. URL:https://arxiv.org/abs/2304.03789,arXiv: 2304.03789

    work page arXiv 2023

  6. [6]

    Generalized charges, part I: In- vertible symmetries and higher representations.SciPost Physics, 16(4), April 2024

    Lakshya Bhardwaj and Sakura Sch¨ afer-Nameki. Generalized charges, part I: In- vertible symmetries and higher representations.SciPost Physics, 16(4), April 2024. arXiv:2304.02660,doi:10.21468/scipostphys.16.4.093

    work page doi:10.21468/scipostphys.16.4.093 2024

  7. [7]

    Generalized charges, part II: Non- invertible symmetries and the symmetry TFT.SciPost Physics, 19(4), October 2025

    Lakshya Bhardwaj and Sakura Sch¨ afer-Nameki. Generalized charges, part II: Non- invertible symmetries and the symmetry TFT.SciPost Physics, 19(4), October 2025. arXiv:2305.17159,doi:10.21468/scipostphys.19.4.098

    work page doi:10.21468/scipostphys.19.4.098 2025

  8. [8]

    Severin Bunk, Christian S¨ amann, and Richard J. Szabo. The 2-Hilbert space of a prequantum bundle gerbe.Reviews in Mathematical Physics, 30(01):1850001, 2018. arXiv:1608.08455,doi:10.1142/S0129055X18500010

    work page doi:10.1142/s0129055x18500010 2018

  9. [9]

    Michael Forger, Cornelius Paufler, and Hartmann R¨ omer. The poisson bracket for poisson forms in multisymplectic field theory.Reviews in Mathematical Physics, 15(07):705–743, September 2003.arXiv:1608.08455,doi:10.1142/ s0129055x03001734

    work page arXiv 2003

  10. [10]

    Dirac charge quantization and generalized differential cohomology

    Daniel Freed. Dirac charge quantization and generalized differential cohomology. Surveys in Differential Geometry, 7, 12 2000.arXiv:hep-th/0011220,doi:10. 4310/SDG.2002.v7.n1.a6

    work page internal anchor Pith review arXiv 2000

  11. [11]

    Freed, Gregory W

    Daniel S. Freed, Gregory W. Moore, and Constantin Teleman. Topological symmetry in quantum field theory.Quantum Topol., 15(3/4):779–869, 2024.arXiv:2209. 07471,doi:10.4171/QT/223

    work page doi:10.4171/qt/223 2024

  12. [12]

    Survey article: An elementary illustrated introduction to simplicial sets.The Rocky Mountain Journal of Mathematics, 42(2):353–423, 2012

    Greg Friedman. Survey article: An elementary illustrated introduction to simplicial sets.The Rocky Mountain Journal of Mathematics, 42(2):353–423, 2012. URL: http://www.jstor.org/stable/44240054,arXiv:0809.4221

    work page arXiv 2012

  13. [13]

    Generalized Global Symmetries

    Davide Gaiotto, Anton Kapustin, Nathan Seiberg, and Brian Willett. General- ized Global Symmetries.JHEP, 02:172, 2015.arXiv:1412.5148,doi:10.1007/ JHEP02(2015)172

    work page internal anchor Pith review arXiv 2015

  14. [14]

    Green and John H

    Michael B. Green and John H. Schwarz. Covariant Description of Superstrings.Phys. Lett. B, 136:367–370, 1984.doi:10.1016/0370-2693(84)92021-5

    work page doi:10.1016/0370-2693(84)92021-5 1984

  15. [15]

    Green and John H

    Michael B. Green and John H. Schwarz. Properties of the Covariant Formula- tion of Superstring Theories.Nucl. Phys. B, 243:285–306, 1984.doi:10.1016/ 0550-3213(84)90030-0

    work page 1984

  16. [16]

    Contemporary Mathematics705(2018) https://doi.org/10.1090/conm/ 705/14202

    Fr´ ed´ eric H´ elein. Hamiltonian formalisms for multidimensional calculus of variations and perturbation theory. 01 2003.arXiv:math-ph/0212036,doi:10.1090/conm/ 350/06342. 29

    work page doi:10.1090/conm/ 2003

  17. [17]

    Anyon condensation and tensor categories.Nuclear Physics B, 886:436–482, 2014

    Liang Kong. Anyon condensation and tensor categories.Nuclear Physics B, 886:436–482, 2014. URL:https://www.sciencedirect.com/science/article/ pii/S0550321314002223,doi:10.1016/j.nuclphysb.2014.07.003

    work page doi:10.1016/j.nuclphysb.2014.07.003 2014

  18. [18]

    Stochastic properties of the frequency dynamics in real and synthetic power grids,

    Liang Kong, Tian Lan, Xiao-Gang Wen, Zhi-Hao Zhang, and Hao Zheng. Algebraic higher symmetry and categorical symmetry: A holographic and entanglement view of symmetry.Phys. Rev. Res., 2:043086, Oct 2020.doi:10.1103/PhysRevResearch. 2.043086

    work page doi:10.1103/physrevresearch 2020

  19. [19]

    Higher condensation theory, 2025

    Liang Kong, Zhi-Hao Zhang, Jiaheng Zhao, and Hao Zheng. Higher condensation theory, 2025. URL:https://arxiv.org/abs/2403.07813,arXiv:2403.07813

    work page arXiv 2025

  20. [20]

    Andreas Kraft and Jonas Schnitzer. An introduction toL ∞-algebras and their ho- motopy theory for the working mathematician.Reviews in Mathematical Physics, 36(01):2330006, 2024.arXiv:2207.01861,doi:10.1142/S0129055X23300066

    work page doi:10.1142/s0129055x23300066 2024

  21. [21]

    Strongly homotopy Lie algebras.Communica- tions in Algebra, 23(6):2147–2161, 1995.arXiv:hep-th/9406095,doi:10.1080/ 00927879508825335

    Tom Lada and Martin Markl. Strongly homotopy Lie algebras.Communica- tions in Algebra, 23(6):2147–2161, 1995.arXiv:hep-th/9406095,doi:10.1080/ 00927879508825335

    work page arXiv 1995

  22. [22]

    Introduction to sh Lie algebras for physicists

    Tom Lada and Jim Stasheff. Introduction to SH Lie algebras for physicists.In- ternational Journal of Theoretical Physics, 32(7):1087–1103, July 1993.arXiv: hep-th/9209099,doi:10.1007/bf00671791

    work page doi:10.1007/bf00671791 1993

  23. [23]

    On the classification of topological field theories

    Jacob Lurie. On the classification of topological field theories. InCurrent develop- ments in mathematics, 2008, pages 129–280. Somerville, MA: International Press, 2009.arXiv:0905.0465,doi:10.4310/CDM.2008.V2008.N1.A3

    work page doi:10.4310/cdm.2008.v2008.n1.a3 2008

  24. [24]

    James E. McClure. On semisimplicial sets satisfying the Kan condition.Homology, Homotopy and Applications, 15(1):73–82, 2013.arXiv:1210.5650,doi:10.4310/ HHA.2013.v15.n1.a4

    work page arXiv 2013

  25. [25]

    Michor.Topics in Differential Geometry, volume 93 ofGraduate Studies in Mathematics

    Peter W. Michor.Topics in Differential Geometry, volume 93 ofGraduate Studies in Mathematics. American Mathematical Society, 2008. URL:http://catdir.loc. gov/catdir/toc/ecip0813/2008010629.html

    work page 2008

  26. [26]

    Discovery of higher- order nodal surface semimetals.Phys

    Huahui Qiu, Yuzeng Li, Qicheng Zhang, and Chunyin Qiu. Discovery of higher- order nodal surface semimetals.Phys. Rev. Lett., 132:186601, Apr 2024.arXiv: 2311.17419,doi:10.1103/PhysRevLett.132.186601

    work page doi:10.1103/physrevlett.132.186601 2024

  27. [27]

    Christopher L. Rogers. Higher symplectic geometry, 2011. URL:https://arxiv. org/abs/1106.4068,arXiv:1106.4068

    work page arXiv 2011

  28. [28]

    Rogers.L ∞-Algebras from Multisymplectic Geometry.Letters in Mathematical Physics, 100(1):29–50, April 2011.arXiv:1005.2230,doi:10.1007/ s11005-011-0493-x

    Christopher L. Rogers.L ∞-Algebras from Multisymplectic Geometry.Letters in Mathematical Physics, 100(1):29–50, April 2011.arXiv:1005.2230,doi:10.1007/ s11005-011-0493-x

    work page arXiv 2011

  29. [29]

    Narciso Rom´ an-Roy. Multisymplectic Lagrangian and Hamiltonian formalisms of classical field theories.Symmetry, Integrability and Geometry: Methods and Appli- cations, 11 2009.arXiv:math-ph/0506022,doi:10.3842/SIGMA.2009.100

    work page doi:10.3842/sigma.2009.100 2009

  30. [30]

    C. P. Rourke and B. J. Sanderson. ∆-sets. I. Homotopy theory.Quart. J. Math. Oxford Ser. (2), 22:321–338, 1971. 30

    work page 1971

  31. [31]

    Fractional Quantum Hall Anyons via the Algebraic Topology of Exotic Flux Quanta

    Hisham Sati and Urs Schreiber. Flux quantization. In Richard Szabo and Martin Bojowald, editors,Encyclopedia of Mathematical Physics (Second Edition), pages 281–324. Academic Press, Oxford, second edition edition, 2025.arXiv:2402.18473, doi:10.1016/B978-0-323-95703-8.00078-1

    work page doi:10.1016/b978-0-323-95703-8.00078-1 2025

  32. [32]

    Flux Quantization on Phase Space.An- nales Henri Poincare, 26(3):895–919, 2025.arXiv:2312.12517,doi:10.1007/ s00023-024-01438-x

    Hisham Sati and Urs Schreiber. Flux Quantization on Phase Space.An- nales Henri Poincare, 26(3):895–919, 2025.arXiv:2312.12517,doi:10.1007/ s00023-024-01438-x

    work page arXiv 2025

  33. [33]

    AI Feynman: A physics-inspired method for symbolic regression.Science Advances, 6(16):eaay2631, 2020

    Frank Schindler, Ashley M. Cook, Maia G. Vergniory, Zhijun Wang, Stuart S. P. Parkin, B. Andrei Bernevig, and Titus Neupert. Higher-order topological insula- tors.Science Advances, 4(6), June 2018.arXiv:1708.03636,doi:10.1126/sciadv. aat0346

    work page doi:10.1126/sciadv 2018

  34. [34]

    2-vector bundles.Higher Struct., 9(1):36–87, 2025.arXiv:2106.12198,doi:10.21136/HS.2025.02

    Konrad Waldorf, Peter Kristel, and Matthias Ludewig. 2-vector bundles.Higher Struct., 9(1):36–87, 2025.arXiv:2106.12198,doi:10.21136/HS.2025.02

    work page doi:10.21136/hs.2025.02 2025

  35. [35]

    Nonabelian Bosonization in Two-Dimensions.Commun

    Edward Witten. Nonabelian Bosonization in Two-Dimensions.Commun. Math. Phys., 92:455–472, 1984.doi:10.1007/BF01215276. 31

    work page doi:10.1007/bf01215276 1984