An interface between physics and number theory

We extend the Hopf algebra description of a simple quantum system given previously, to a more elaborate Hopf algebra, which is rich enough to encompass that related to a description of perturbative quantum field theory (pQFT). This provides a {\em mathematical} route from an algebraic description of non-relativistic, non-field theoretic quantum statistical mechanics to one of relativistic quantum field theory. Such a description necessarily involves treating the algebra of polyzeta functions, extensions of the Riemann Zeta function, since these occur naturally in pQFT. This provides a link between physics, algebra and number theory. As a by-product of this approach, we are led to indicate {\it inter alia} a basis for concluding that the Euler gamma constant $\gamma$ may be rational.

💡 Research Summary

The paper proposes a mathematical bridge between non‑relativistic quantum statistical mechanics and perturbative quantum field theory (pQFT) by extending a previously studied Hopf‑algebraic description of a simple quantum system. The authors begin with Bell numbers, which count set partitions, and reinterpret these combinatorial objects as bipartite graphs (black and white vertices) called “diag”. This set of diagrams forms a free commutative monoid; concatenation of diagrams provides the multiplication, while a coproduct ΔBS is defined by splitting the black vertices into two subsets and forming tensor products of the induced sub‑diagrams. This construction reproduces the Hopf‑algebraic structure that appears in the Connes‑Kreimer formulation of renormalisation, thereby establishing a direct algebraic link to the Hopf algebras used in pQFT.

To accommodate non‑commutativity, the authors introduce ordered versions of the diagrams (LDIAG) and a deformed product parameterised by three scalars (qc, qs, qt). The deformation encodes “crossings” and “superpositions” of black vertices and is shown to be associative by three independent proofs. Specialisations of the parameters recover known Hopf algebras: (0,0,0) yields the undeformed LDIAG, while (1,1,1) reproduces MQSym, the Hopf algebra of non‑commutative matrix quasi‑symmetric functions.

A crucial step is the identification of the black‑vertex type β(d) with the multiset of outgoing degrees of the diagram. By mapping these degree multisets to monomials in two distinct alphabets, the authors construct epimorphisms φX : LDIAG(1,0) → C⟨X*⟩ (shuffle algebra) and φY : LDIAG(1,1) → C⟨Y*⟩ (stuffle algebra). These maps preserve the associative algebra with unit (AAU) structure, thereby embedding the diagrammatic Hopf algebra into the well‑studied shuffle and stuffle frameworks that underlie multiple zeta values and polylogarithms.

The paper then turns to the Knizhnik‑Zamolodchikov (KZ) differential system, which governs the monodromy of braid group representations. By expressing the KZ connection Ωn in terms of generators tij and invoking Drinfel’d’s flatness condition (dΩ – Ω∧Ω = 0), the authors recover the standard braid relations. Explicit solutions for n = 2 and n = 3 are presented, and the associated scalar differential equation for a function G(z) is identified as a hypergeometric‑type equation with singularities at 0, 1, and ∞. The solution involves iterated integrals of the differential forms ω0 = dz/z and ω1 = dz/(1–z).

Iterated integrals are then linked to Chen’s generating series. For a word w in the alphabet {x0, x1}, the integral αz0z(w) reproduces multiple polylogarithms Li_{n1,…,nr}(z). In particular, Li2(z) arises from the word x0x1, and higher‑weight polylogarithms correspond to longer words. This establishes a direct correspondence between the diagrammatic Hopf algebra, the shuffle–stuffle algebras, and the analytic objects (multiple polylogarithms, multiple zeta values) that appear in pQFT calculations.

Finally, leveraging the above connections, the authors claim a “basis for concluding that the Euler gamma constant γ may be rational.” The argument rests on lemmas stating that certain linear combinations of polyzeta values, which appear as coefficients in the Hopf‑algebraic coproduct, are integer‑valued; since γ can be expressed through such combinations, they infer rationality. However, the paper does not provide a rigorous number‑theoretic proof, nor does it reconcile this claim with the extensive literature that treats γ as an irrational (and possibly transcendental) constant. The lemmas are presented without detailed proofs, and the step from integer‑valued coproduct coefficients to the rationality of γ remains speculative.

In summary, the work offers a comprehensive algebraic framework that unifies combinatorial set‑partition diagrams, Hopf algebras, shuffle and stuffle structures, the KZ system, and iterated integrals. It convincingly demonstrates how the algebra of polyzeta functions naturally emerges from a Hopf‑algebraic description of quantum systems, thereby forging a conceptual bridge between physics, algebra, and number theory. The proposed rationality of Euler’s constant, however, lacks sufficient justification and should be regarded as a conjectural observation pending further rigorous analysis.