Search arXivSearch

arXiv · 2607.00999

Yang-Mills-Higgs: A Geometric Theory of Binary Labels on Non-Contractible Spaces

Abstract

We reformulate binary classification on a manifold M as a Yang-Mills-Higgs variational problem. Labelled data is encoded as a functor from the fundamental groupoid of M to the one-object groupoid B(Z_2), whose monodromy class in H^1(M, Z_2) is a topological obstruction to realising the classifier by a sign function. The classifier-section and the connection jointly minimise a Yang-Mills-Higgs energy subject to hard data conditions: the matter sector carries the classification content, while the Yang-Mills sector is bounded below in each topological class by the Bogomolny inequality and selects the gauge background. This recovers the companion paper's harmonic interpolation as the contractible-base, flat-connection reduction. Two structural payoffs follow. First, the curvature 2-form of the selected connection supplies a dictionary with transformer attention: by the plaquette formula it is a pairwise, antisymmetric, algebra-valued form on tangent directions, which we match - as a stipulated dictionary, not a derived identity - to the antisymmetric component of the attention bilinear; the abelian/non-abelian split of curvature corresponds to the single-head/multi-head split of attention. Second, XOR on the torus is realised by the covariantly harmonic section of the double-Mobius bundle, which the variational selector picks out: solving the regularised capacitance system on all four flat Z_2-bundles gives a strict energy ordering favouring the double-Mobius class, whereas an MLP trained on the same data finds a structurally different boundary that ignores the toroidal identifications. Worked examples run an example ladder (circle, torus, S^2 monopole, S^4 instanton). The connection is throughout either flat or pinned to the Bogomolny moduli, so curvature is data-decoupled by construction; whether freeing it makes curvature respond to label proximity is posed as an open question.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Catalin Vasii. 2026-09-03. Yang-Mills-Higgs: A Geometric Theory of Binary Labels on Non-Contractible Spaces. https://arxiv.org/abs/2607.00999

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Classification of compact manifolds with positive isotropic curvature

We show the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or a quotient manifold of $\mathbb{S}^{n-1}\times \mathbb{R}$ by a cocompact discrete subgroup of the isometry group of the round cylinder $\mathbb{S}^{n-1}\times \mathbb{R}$, or a connected sum of a finite number of such manifolds. This extends previous works of Brendle and Chen-Tang-Zhu, and improves a work of Huang. The proof uses Ricci flow with surgery on compact orbifolds, with the help of the ambient isotopy uniqueness of closed tubular neighborhoods of an isolated singular point in an orbifold.

math.DG

Isoparametric foliations and bounded geometry

We prove that there are only finitely many isoparametrically foliated closed connected Riemannian manifolds with bounded geometry, fixed dimension $n\neq5$, and finite fundamental group, up to foliated diffeomorphism. In addition, we construct various infinite families of isoparametric foliations that are mutually not foliated diffeomorphic, for instance on a fixed sphere.

math.DG

Minimal foliations, codimension-one stable norms, and a question of Bangert

We compute the codimension-one stable norm for a natural class of cohomogeneity-one metrics on tori. In every dimension $n\ge3$, the formula yields smooth nonflat metrics for which each primitive codimension-one homology class is represented by a foliation of calibrated tori, giving a negative answer to a question of Bangert. On $\mathbb T^3$, we construct an infinite-dimensional family of nonflat metrics whose codimension-one stable norm agrees exactly with that of the unit cubic flat torus and whose total volume is fixed. An explicit two-parameter subfamily contains pairwise non-isometric metrics. These examples also show that the Euclidean-stable-norm-and-volume data are not locally injective near the cubic flat metric. Conversely, among smooth metrics on $\mathbb T^3$ admitting a free isometric circle action and having the cubic Euclidean codimension-one stable norm, we prove that volume is at most one, with equality only for the cubic flat metric up to an isometry isotopic to the identity.

math.DG