pith. sign in

arxiv: 1907.05549 · v1 · pith:F4VSDQD6new · submitted 2019-07-12 · 🧮 math-ph · hep-th· math.MP· math.OA· quant-ph

Canonical quantization of 1+1-dimensional Yang-Mills theory: An operator-algebraic approach

Arnaud Brothier , Alexander Stottmeister This is my paper

Pith reviewed 2026-05-24 22:40 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPmath.OAquant-ph
keywords Yang-Mills theorycanonical quantizationoperator algebraslattice gauge theoryscaling limitsvon Neumann algebrasKogut-Susskind Hamiltonian1+1 dimensions
0
0 comments X

The pith

Operator-algebraic methods yield spatially localized von Neumann algebras of time-zero fields for Yang-Mills theory in 1+1 dimensions.

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

The paper constructs a rigorous canonical quantization of Yang-Mills theory in one spatial dimension. It proceeds from Hamiltonian lattice gauge theory by forming inductive limits of C*-algebras and taking scaling limits of Gibbs states for the Kogut-Susskind Hamiltonian. These limits produce representations in which the time-zero fields admit explicit spatial localization in the time gauge. The resulting von Neumann algebras unify earlier existence results for the dynamics obtained by other authors. The same framework supplies the most concrete formulas in the abelian case and links the construction to renormalization-group ideas and to unitary representations of Thompson's groups.

Core claim

The authors give an explicit construction of the spatially-localized von Neumann algebras of time-zero fields in the time gauge for YM_{1+1}, realized in representations that arise as scaling limits of Gibbs states of the Kogut-Susskind Hamiltonian; the construction rests on multi-scale analysis via inductive limits of C*-algebras and supplies a mathematically rigorous operator-algebraic canonical quantization that is in principle available in any dimension.

What carries the argument

Inductive limits of C*-algebras that produce scaling limits of Gibbs states of the Kogut-Susskind Hamiltonian, from which the localized von Neumann algebras of time-zero fields are obtained.

If this is right

  • The operator-algebraic construction unifies results on the existence of dynamics for YM_{1+1} previously obtained by Dimock and by Driver and Hall.
  • In the abelian case the construction becomes fully explicit by invoking results from the authors' companion paper.
  • The same scaling-limit representations are shown to be related to the unitary representations of Thompson's groups constructed by Jones.
  • A rigorous adaptation of the Wilson-Kadanoff renormalization group explains the scaling limits and connects them to the multi-scale entanglement renormalization ansatz.
  • The method is formulated so that the same inductive-limit techniques apply, at least formally, in higher dimensions.

Where Pith is reading between the lines

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

  • The operator-algebraic route may allow lattice-regularized constructions to be lifted to the continuum while preserving locality at each finite scale.
  • The link between the scaling limits and MERA suggests that entanglement-renormalization techniques could be used to compute correlation functions in these representations.
  • Because the construction works for non-abelian groups, it supplies a candidate for a continuum limit of non-abelian lattice gauge theory whose dynamics can be checked against known two-dimensional results.

Load-bearing premise

The multi-scale inductive-limit procedure produces well-defined scaling limits of the Gibbs states that furnish representations in which the time-zero fields can be spatially localized.

What would settle it

An explicit calculation demonstrating that the inductive limit of the lattice C*-algebras fails to yield a von Neumann algebra containing spatially localized time-zero field operators.

Figures

Figures reproduced from arXiv: 1907.05549 by Alexander Stottmeister, Arnaud Brothier.

Figure 1
Figure 1. Figure 1: Illustration of the two basic coarsening operations on lattices in di￾mension d “ 2. in the thermodynamic limit w.r.t. the strong-coupling vacuum representation, cf. remark 2.33 and the discussion following (3.16) below. 2.2. Multi-scale analysis and inductive limits. We now discuss how to relate the field algebras, BpL 2 pA Epγq qq, in the sense of multi-scale analysis w.r.t. a directed set of lattices, Γ… view at source ↗
Figure 2
Figure 2. Figure 2: Illustration of the partial orders ĂL and ĂR for the elementary edge composition. Scale 0 L ĂL{R ĂL{R ĂL{R ĂL{R ĂL{R ĂL{R [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Three elements, γ0 ĂL{R γ1 ĂL{R γ2, of the partially ordered set of lattices, pΓD,L, ĂL{Rq, in dimensions d “ 1, 2, 3. Definition 2.11. Given the set ΓD,L, we define two relations ĂL and ĂR. For γ, γ1 P ΓD,L, we say (a) γ ĂL γ 1 if |γ| Ă |γ 1 | and @e P Epγq : Dn P N0, e1 Y te 1 k u n k“1 Ă Epγ 1 q, tsku n k“1 Ă t˘1u ˆn : e “ e 1 ˝ pe 1 1 q s1 ˝ ... ˝ pe 1 n q sn . (b) γ ĂR γ 1 if |γ| Ă |γ 1 | and @e P Epγ… view at source ↗
Figure 4
Figure 4. Figure 4: Construction of a cofinal sequence, tγN uNPN0 , for ĂL and ĂR in dimension d “ 2. orientation) corresponding to unoriented edges |e 1 | of |γN`1| that were not obtained in the first step. The resulting oriented lattice γN`1 is of the required form. In the following, we primarily work with the directed set pΓD,L, ĂLq as it fits naturally with our choice of transformation group pΠEpγq , Lpγq q. Therefore, we… view at source ↗
Figure 5
Figure 5. Figure 5: Illustration of the localization of lattices in dimension d “ 2. Since any γS results from some γ P ΓD,L via the elementary operations of edge composition, removal, or inversion, such that for γS ĂL γ, our constructions provide us with unital, injective ˚-morphisms, α γS γ : BpL 2 pA EpγSq qq ÝÑ BpL 2 pA Epγq (2.22) qq. Loosely speaking, α γS γ paq corresponds to the extension of a P BpL 2 pA EpγSq qq by t… view at source ↗
Figure 6
Figure 6. Figure 6: Illustration of the correspondence between dyadic partitions and bi￾nary rooted trees (top, edge orientations are suppressed), and the basic coarsening operations (bottom). algebras are, cp. (2.16) to (2.20), α γ0 γ1 : BpL 2 pGeqq ÝÑ BpL 2 pGe2 ˆ Ge1 qq, a ÞÝÑ U ˚ L pa b 1e1 qUL, α γ0~ γ1~ : BpL 2 pGeqq ÝÑ BpL 2 pGe2 ˆ Ge1 qq, a ÞÝÑ ULpa b 1e1 qU ˚ L . This implies that we have a simple commutative diagram… view at source ↗
Figure 7
Figure 7. Figure 7: Geometrical origin of the isomorphism of proposition 3.1 UpL 2 pA EpγN q qq. Then, we define UN`1 by AdUN`1 ˝ α γN γN`1 “ α γN~ γN~`1 ˝ AdUN “ Ad α γN~ γN~ `1 pUN q ˝ α γN~ γN~`1 , which is possible because both α γN γN`1 and α γN~ γN~`1 are unitarily conjugate to one another: α γN~ γN~`1 “ Adp1bUιqb2N ˝ α γN γN`1 . Thus, an admissible choice for UN`1 is: UN`1 “ α γN~ γN~`1 pUN qp1 b Uιq b2N . From this we… view at source ↗
Figure 8
Figure 8. Figure 8: Refinements of left- and right-oriented edges w.r.t. ĂL. 3.1. Jones’ actions of Thompson’s groups. In view of our companion article [BS19], we explain in this subsection how the construction of the semi-continuum field algebra AD,L in 1+1-dimensions via the inductive system tBpL 2 pA Epγq qq, α γ γ 1uγĂLγ 1PΓD,L leads to an action of Thompson’s groups F Ă T Ă V on AD,L by automorphisms [Jon17, Jon18a]. In … view at source ↗
Figure 9
Figure 9. Figure 9: Exemplary action of an f P F on AD,L in graphical notation. L and R refer to the orientation of the edges in the partition corresponding to a binary rooted tree. The last and the next-to-last line illustrate the two possible refinements of the operator on the middle edge, b, compatible with ĂL [PITH_FULL_IMAGE:figures/full_fig_p025_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The edges, Bf “ te4, e´1 3 , e´1 2 , e1u Ă Epγq, around a face, f P Fpγq, of a lattice γ P ΓD,L. gf “ ge4 g ´1 e3 g ´1 e2 ge1 is the associated holonomy. Therefore, we introduce in the following canonical Gibbs states for YM1`1, which are based on the Kogut-Susskind Hamiltonian and its finite-temperature canonical ensemble on each lattice γ P ΓD,L. We call these states the heat-kernel states for Yang-Mill… view at source ↗
Figure 11
Figure 11. Figure 11: Elementary (cofinal) refinement of a face f P FpγN q with boundary Bp “ te4, e´1 3 , e´1 2 , e1u Ă EpγN q into intermediate faces p1 and p2 with boundaries Bp1 “ te41, e´1 5 , e´1 21 , e1u and Bp2 “ te ´1 42 , e´1 3 , e22, e5u. The associated holonomies are: gp “ ge4 g ´1 e3 g ´1 e2 ge1 , gp1 “ ge41 g ´1 e5 g ´1 e21 ge1 and gp2 “ g ´1 e42 g ´1 e3 ge22 ge5 . Strong coupling limit. For compact groups G, the… view at source ↗
read the original abstract

We present a mathematically rigorous canonical quantization of Yang-Mills theory in 1+1 dimensions (YM$_{1+1}$) by operator-algebraic methods. The latter are based on Hamiltonian lattice gauge theory and multi-scale analysis via inductive limits of $C^{*}$-algebras which are applicable in arbitrary dimensions. The major step, restricted to one spatial dimension, is the explicitly construction of the spatially-localized von Neumann algebras of time-zero fields in the time gauge in representations associated with scaling limits of Gibbs states of the Kogut-Susskind Hamiltonian. We relate our work to existing results about YM$_{1+1}$ and its counterpart in Euclidean quantum field theory (YM$_{2}$). In particular, we show that the operator-algebraic approach offers a unifying perspective on results about YM$_{1+1}$ obtained by Dimock as well as Driver and Hall, especially regarding the existence of dynamics. Although our constructions work for non-abelian gauge theory, we obtain the most explicit results in the abelian case by applying the results of our recent companion article. In view of the latter, we also discuss relations with the construction of unitary representations of Thompson's groups by Jones. To understand the scaling limits arising from our construction, we explain our findings via a rigorous adaptation of the Wilson-Kadanoff renormalization group, which connects our construction with the multi-scale entanglement renormalization ansatz (MERA). Finally, we discuss potential generalizations and extensions to higher dimensions ($d+1\geq 3$).

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

Summary. The paper claims a mathematically rigorous canonical quantization of Yang-Mills theory in 1+1 dimensions via operator-algebraic methods. It uses Hamiltonian lattice gauge theory and inductive limits of C*-algebras to construct spatially localized von Neumann algebras of time-zero fields in the time gauge, obtained from scaling limits of Gibbs states of the Kogut-Susskind Hamiltonian. The constructions are asserted to apply to non-abelian theories (most explicitly in the abelian case via a companion paper), to unify results of Dimock and of Driver-Hall on dynamics, to relate to Jones' work on Thompson groups, and to admit a rigorous Wilson-Kadanoff RG interpretation linking to MERA, with potential extension to higher dimensions.

Significance. If the scaling-limit constructions and resulting representations are established, the work supplies an operator-algebraic unification of existing results on YM_{1+1} and its Euclidean counterpart, together with an explicit adaptation of the Wilson-Kadanoff renormalization group that connects lattice constructions to MERA. The credit for supplying a parameter-free inductive-limit framework and for relating the time-gauge algebras to prior Hamiltonian and Euclidean analyses is warranted.

major comments (2)
  1. [Abstract, scaling-limits section] Abstract and § on scaling limits: the central claim requires that the inductive-limit procedure yields well-defined scaling limits of the Gibbs states that admit spatially localized time-zero fields in the time gauge. The manuscript provides no explicit convergence rates, error bounds, or verification that the limit representations remain faithful on the localized subalgebras; this is load-bearing for the existence statement.
  2. [non-abelian extension paragraph] § relating to non-abelian case: the assertion that the constructions 'work for non-abelian gauge theory' while being 'most explicit' only in the abelian case via the companion paper leaves the non-abelian extension without a self-contained derivation of the von Neumann algebras; the gap is load-bearing for the claim of generality.
minor comments (3)
  1. [Abstract] Abstract: 'the explicitly construction' is a grammatical error and should read 'the explicit construction'.
  2. [Abstract] Abstract: the phrase 'in representations associated with scaling limits of Gibbs states' is repeated without clarifying whether the representations are unique up to unitary equivalence or depend on the choice of approximating sequence.
  3. [relations-to-prior-work section] The discussion of relations to Dimock, Driver-Hall, and Jones would benefit from a short table or paragraph explicitly mapping which prior result is recovered or strengthened by the present operator-algebraic construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment of the significance of our work and for the detailed comments. We address each major comment below, offering clarifications and revisions where appropriate.

read point-by-point responses

  1. Referee: [Abstract, scaling-limits section] Abstract and § on scaling limits: the central claim requires that the inductive-limit procedure yields well-defined scaling limits of the Gibbs states that admit spatially localized time-zero fields in the time gauge. The manuscript provides no explicit convergence rates, error bounds, or verification that the limit representations remain faithful on the localized subalgebras; this is load-bearing for the existence statement.

    Authors: The existence of the scaling limits of the Gibbs states is established rigorously via the inductive limit of the C*-algebras associated to the lattice approximations and the weak*-compactness argument for the states. Faithfulness of the resulting representations on the localized subalgebras follows directly from the locality properties of the Kogut-Susskind Hamiltonian and the preservation of the algebraic relations under the scaling maps; this is verified in the construction without requiring quantitative rates. Explicit convergence rates and error bounds are not derived, as they are not needed for the existence claims or the subsequent operator-algebraic results. We will add a clarifying remark in the scaling-limits section to make this verification explicit. revision: partial

  2. Referee: [non-abelian extension paragraph] § relating to non-abelian case: the assertion that the constructions 'work for non-abelian gauge theory' while being 'most explicit' only in the abelian case via the companion paper leaves the non-abelian extension without a self-contained derivation of the von Neumann algebras; the gap is load-bearing for the claim of generality.

    Authors: The multi-scale inductive-limit construction of the C*-algebras and the passage to the von Neumann algebras of time-zero fields in the time gauge is formulated in the main text in a manner that applies verbatim to non-abelian compact gauge groups, using only the general properties of the Kogut-Susskind Hamiltonian and the scaling maps. The companion paper supplies explicit matrix-element computations and state convergence details that are feasible only in the abelian case. We will revise the relevant paragraph to include a short self-contained outline of the non-abelian steps, emphasizing that no additional structural assumptions are required. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper constructs the quantization of YM_{1+1} via inductive limits of C*-algebras applied to the Kogut-Susskind Hamiltonian and scaling limits of its Gibbs states, using standard Hamiltonian lattice gauge theory and multi-scale analysis as external inputs. It relates results to Dimock, Driver-Hall, and Jones but does not reduce its central existence claims to self-citations or fitted parameters; the abelian case draws on a companion paper as an independent reference rather than a load-bearing loop. No self-definitional equations, renamed known results, or ansatzes smuggled via citation appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on abstract: relies on standard C*-algebra theory, existence of inductive limits, and properties of Kogut-Susskind Hamiltonian; no free parameters or invented entities named.

axioms (2)
  • standard math Inductive limits of C*-algebras exist and yield von Neumann algebras in the scaling limit
    Invoked in the multi-scale analysis step described in abstract.
  • domain assumption Gibbs states of the Kogut-Susskind Hamiltonian admit scaling limits that define representations
    Central to the construction of time-zero field algebras.

pith-pipeline@v0.9.0 · 5818 in / 1419 out tokens · 21454 ms · 2026-05-24T22:40:58.539087+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

16 extracted references · 16 canonical work pages · 4 internal anchors

  1. [1]

    Buchholz and K

    [BF82b] D. Buchholz and K. Fredenhagen. Mathematical Problems in Theoretical Physics , volume 153 of Lecture Notes in Physics , chapter Locality and the structure of particle states in ga uge field theories, pages 368–371. Springer Berlin Heidelberg, 1982 . [BF93] G. Battle and P. Federbush. Divergence-free vector w avelets. The Michigan Mathematical Journ...

    work page 1982

  2. [2]

    Basu and S

    [BG18] R. Basu and S. Ganguly. SO(N) Lattice Gauge Theory, pl anar and beyond. Communications on Pure and Applied Mathematics , 71(10):2016–2064,

    work page 2016

  3. [3]

    Buyens, J

    [BHV A16] B. Buyens, J. Haegeman, F. Verstraete, and K. V. Aco leyen. Tensor networks for gauge field theories. In Proceedings of the 33rd International Symposium on Lattice Field Theory, 14-18 July 2015, Kobe, Japan , volume 251 of Proceedings of Science,

    work page 2015

  4. [4]

    Pythagorean representations of Thompson's groups

    [BJ18] A. Brothier and V. F. R. Jones. Pythagorean represent ations of Thomspon’s groups. Preprint, arXiv: 1807.06215 ,

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Brothier

    [Bro19] A. Brothier. Haagerup property for wreath products constructed with Thompson’s groups. Preprint, arXiv: 1906.03789 ,

    work page arXiv 1906

  6. [6]

    Brothier and A

    [BS19] A. Brothier and A. Stottmeister. Operator-algebrai c Construction of Gauge Theories and Jones Actions of Thompsons Groups. Preprint arXiv: 1901.04940 ,

    work page arXiv 1901

  7. [7]

    Chatterjee

    [Cha18] S. Chatterjee. Wilson loops in Ising lattice gauge t heory. Preprint, arXiv: 1811.09770 ,

    work page arXiv

  8. [8]

    The $1/N$ expansion for SO(N) lattice gauge theory at strong coupling

    CANONICAL QUANTIZATION OF YANG-MILLS THEORY 67 [CJ16] S. Chatterjee and J. Jafarov. The 1 {N expansion for SO(N) lattice gauge theory at strong coupling . Preprint, arXiv: 1604.04777 ,

    work page internal anchor Pith review Pith/arXiv arXiv

  9. [9]

    [DH00] B. K. Driver and B. C. Hall. The energy representation has no non-zero fixed vectors. In Stochastic Processes, Physics and Geometry: New Interplays, II (Leipz ig, 1999), CMS Conf. Proc. 29, Amer. Math. Soc., Providence, RI , pages 143–155,

    work page 1999

  10. [10]

    International School of Physics ”Enrico Fe rmi” (45th : 1968 : Varenna

    CANONICAL QUANTIZATION OF YANG-MILLS THEORY 69 [ISoPEFtV69] I. International School of Physics ”Enrico Fe rmi” (45th : 1968 : Varenna. Local Quantum Theory. Academic Press, New York,

    work page 1968

  11. [11]

    Kliesch and R

    [KK18] A. Kliesch and R. Koenig. Continuum limits of homogen eous binary trees and the Thompson group. Preprint, arXiv: 1805.04839 ,

    work page arXiv

  12. [12]

    Kustermans and S

    [KV00] J. Kustermans and S. Vaes. Locally compact quantum gr oups. In Annales Scientifiques de lcole Normale Suprieure , volume 33 of 4, pages 837–934. Gauthier-Villars/Edition Elsevier, 2000 . [Lan98] N. P. Landsman. Mathematical Topics Between Classical and Quantum Mechani cs. Springer Monographs in Mathematics. Springer-Verlag New York, 1st e dition,

    work page 2000

  13. [13]

    [Ngu15] T. Nguyen. Quantum Yang-Mills theory in two dimensi ons: Exact versus perturbative. Preprint, arXiv: 1508.06305 ,

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    [OS19] T. J. Osborne and D. E. Stiegemann. Quantum fields for u nitary representations of Thompson’s groups F and T. Preprint, arXiv: 1903.00318 ,

    work page arXiv 1903

  15. [15]

    [Osb19] T. J. Osborne. Continuum Limits of Quantum Lattice S ystems. Preprint, arXiv:1901.06124,

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  16. [16]

    Arnaud Brothier, School of Mathematics and Statistics, Uni versity of New South W ales, Sydney NSW 2052, Australia E-mail address : arnaud.brothier@gmail.com https://sites.google.com/site/arnaudbrothier/ Alexander Stottmeister, Mathematical Institute, Univers ity of M ¨unster, Einsteinstraße 62, 48149 M ¨unster, Germany E-mail address : alexander.stottmei...

    work page 2052