Thermodynamic limit for SO(2N) gauge theories with spinors/conjugate spinors

Source: arXiv:2607.07347 · Published 2026-07-08 · By Xiaobin Li, Futoshi Yagi

TL;DR

This paper investigates five-dimensional ( \mathcal{N} = 1 ) supersymmetric SO(2N) gauge theories coupled to hypermultiplets in spinor and conjugate spinor representations using 5-brane web constructions with O5-planes. Employing the topological vertex formalism extended for O5-planes, the authors derive new closed-form expressions for unrefined partition functions of these theories, emphasizing distinctions between configurations with two spinors versus one spinor plus one conjugate spinor. Using thermodynamic limit techniques and saddle point analysis on these partition functions, they extract the cameral and Seiberg-Witten curves that characterize low-energy dynamics of the theories. Importantly, the work shows that the physical difference between spinor and conjugate spinor representations emerges as distinct boundary conditions for Seiberg-Witten curves at the orientation planes, a subtlety not seen in earlier constructions. The new partition function expressions are consistent with known perturbative limits and Nekrasov instanton counting results, providing a refined toolkit for analyzing non-perturbative physics of these 5d SO gauge theories with spinorial matter. This approach bridges string theory brane engineering, topological string computations, and gauge theory geometry in a novel way.

Key findings

• New explicit expressions for unrefined topological string partition functions are derived for 5d ( \mathcal{N} = 1 ) SO(2N) gauge theories with two spinors and with one spinor plus one conjugate spinor using extended topological vertex formalism incorporating O5-planes (sections 2.1-2.2).
• The difference between theories with two spinors versus one spinor plus one conjugate spinor is distinguished in the partition functions by subtle differences in strip amplitude constructions and gluing rules related to reflections and Young diagram assignments (Eqns 2.6-2.21).
• In the thermodynamic limit ( m_0 \to \infty ), the partition functions reproduce the expected perturbative contributions characterized by characters of the adjoint and spinor/conjugate spinor representations of SO(2N), confirming consistency with Nekrasov's instanton counting (Eqns 2.42, Fig 3).
• A conjectured nontrivial identity involving summations over Young diagrams enables exact summation of the perturbative parts in terms of Plethystic exponential functions (Eqn 2.35), confirmed up to order ( Q^8 ) for N=1,...,4 but lacking a formal proof.
• The thermodynamic (saddle-point) limit analysis of partition functions leads to the derivation of the cameral and Seiberg-Witten curves governing low-energy effective parameters (section 3).
• The spinor versus conjugate spinor difference manifests as a difference in boundary conditions of Seiberg-Witten curves at O5-plane orientifold fixed points, a new conceptual insight linking brane configurations to gauge theory geometry (section 3.5).
• The partition function for two conjugate spinors is related to that for two spinors by the substitution ( a_N \to -a_N ), reflecting a reflection symmetry at the level of string geometry (Eqn 2.23).
• Explicit factorization between left and right strip contributions to the partition function is established, allowing systematic computation for arbitrary N (Eqns 2.19-2.22).

Methodology — deep read

1. Threat model & assumptions: The work studies 5d ( \mathcal{N} = 1 ) supersymmetric gauge theories with gauge group SO(2N) coupled to hypermultiplets in spinor and conjugate spinor representations. The theories are engineered by type IIB 5-brane webs with O5 orientifold planes. The key assumption is that the topological vertex formalism can be extended to incorporate O5 planes correctly to compute partition functions capturing non-perturbative effects including instantons. The brane webs capture the moduli space and BPS spectrum.

2. Data: No external datasets are used; instead, the objects of study are partition functions expressed as sums over Young diagrams assigned to edges of fivebrane web diagrams. Parameters include Coulomb moduli (a_i), masses (m_L, m_R) of spinor hypermultiplets, and instanton mass (m_0). Computations are carried out for (N=2,3,4) explicitly as examples without stochastic data splits.

3. Architecture / algorithm: The core computational tool is the unrefined topological vertex formalism, generalized to 5-brane webs with O5-planes. The authors decompose the 5-brane web into fundamental domains and further into strip diagrams corresponding to spinor/conjugate spinor contributions. The partition function is reconstructed by gluing these strips with careful edge factors incorporating Young diagram sums, framing factors, and Kähler parameters derived from brane lengths in the web diagram. Orientifold reflection symmetries are handled via replacements in Young diagrams (transpose) and parameters (e.g. ( a_N \to -a_N )).

They explicitly write down the strip amplitudes as infinite products and sums over partitions (Eqs 2.1-2.22). Key building blocks are the ( R_{\lambda \mu}(Q) ) functions and Nekrasov factors. They conjecture and numerically verify some summation identities over Young diagrams necessary for perturbative checks.

4. Training regime: Not applicable; these are fully analytical and numerical sum computations over combinatorial data rather than a learning model.

5. Evaluation protocol: The computed partition functions are tested in the perturbative weak coupling limit ( m_0 \to \infty ) to confirm reproduction of expected gauge theory prepotentials, including the correct characters for vector, spinor, and conjugate spinor representations (Eq 2.42). They compare with known results in the literature from ADHM instanton counting and 5d Nekrasov functions and verify consistency. Subtle checks around flop transformations and framing factors are performed. The thermodynamic limit is analyzed via saddle point methods to derive Seiberg-Witten curves and boundary conditions. No adversarial or distribution shift tests are applicable.

6. Reproducibility: Explicit formulae for partition functions and strip amplitudes are provided along with detailed parametric substitutions allowing independent computation for small (N). Several conjectured identities are numerically verified but not rigorously proven, which may limit full reproducibility until proven. No public code release or frozen weights since this is an analytic study. The approach is generalizable for other (N) but complexity grows rapidly. Original brane web diagrams and Kähler parameters are documented clearly for reconstructing computations.

Concrete example: For ( N=4 ), the authors explicitly construct left and right spinor/conjugate spinor strips, assign Young diagrams to edges, compute gluing factors, and derive the full partition function for two spinors or one spinor plus one conjugate spinor theory. Then by taking ( m_0 \to \infty ) limit, summing Young diagrams with conjectured identities, they extract perturbative parts matching expected gauge theory spectra. Later the thermodynamic limit is taken to obtain the Seiberg-Witten geometry, demonstrating how different boundary conditions arise from spinor vs conjugate spinor choices at the O5-plane.

This step-by-step analytic construction grounded on brane geometry and combinatoric partition sums characterizes the full methodology.

Technical innovations

• Extension of the unrefined topological vertex formalism to 5-brane web diagrams with O5-planes, specifically incorporating spinor and conjugate spinor representations into partition function computations.
• Decomposition of 5-brane web diagrams into fundamental domains and further into left/right spinor or conjugate spinor strips enabling systematic gluing rules and simplification of partition function expressions.
• Identification that the difference between spinor and conjugate spinor hypermultiplets in SO(2N) gauge theories manifests as distinct boundary conditions on Seiberg-Witten curves at the orientifold plane loci.
• Conjecture and partial numerical verification of a novel Young diagram summation identity (Eqn 2.35) facilitating exact evaluation of perturbative contributions to the gauge theory partition functions from topological vertex sums.

Baselines vs proposed

• Known Nekrasov ADHM instanton partition functions for 5d N=1 SO(2N) gauge theories with spinors/conjugate spinors: reproduced perturbative limits characterized by SO(2N) adjoint and spinor characters (Eqn 2.42) via new topological vertex expressions.
• Partition function for two conjugate spinors Z_CC matches two spinors partition function Z_SS with substitution ( a_N \to -a_N ) (Eqn 2.23), confirming expected symmetry.
• The new partition function expressions are shown to differ from known ones (e.g. [12]) but are expected equivalent, providing alternative computable closed forms.

Limitations

• The conjectured Young diagram summation identity (Eqn 2.35) used to perform exact summations lacks a rigorous mathematical proof, currently supported only by numerical checks up to order Q^8.
• Results focus on unrefined (non-equivariant) topological vertex formalism and thus do not capture the full Omega-background deformation (refined case) which is relevant for finer gauge theory invariants.
• Computations are performed explicitly up to ( N=4 ), with combinatorial complexity growing rapidly for larger N, which may obstruct practical evaluations for larger gauge groups without further simplifications.
• The analysis centers on theories with two spinors or one spinor plus one conjugate spinor, without extending to arbitrary numbers of spinors or inclusion of additional matter representations.
• The study does not include direct numerical or Monte Carlo methods to validate predictions, relying primarily on analytic and combinatorial consistency checks.
• No explicit treatment of nontrivial distributional or dynamical effects (e.g. wall crossing or strongly coupled phases) beyond the thermodynamic limit and perturbative expansions.

Open questions / follow-ons

• Can the conjectured Young diagram summation identity (2.35) be rigorously proven or generalized to refined topological string settings?
• How do these partition functions and Seiberg-Witten boundary conditions extend to larger numbers or different combinations of spinor and conjugate spinor hypermultiplets beyond the two-hypermultiplet cases studied?
• What is the physical interpretation and string theory origin of the distinct boundary conditions for Seiberg-Witten curves, and can they be observed or tested via dualities or other nonperturbative probes?
• Can these techniques be adapted or extended to study 5d supersymmetric gauge theories with O7-planes or other orientifold configurations that realize other gauge groups or matter representations?

Why it matters for bot defense

While this paper is primarily a theoretical high-energy physics work focused on supersymmetric gauge theories and string theory, some conceptual insights are relevant to bot-defense researchers interested in advanced mathematical and geometric structures. The use of partition functions composed from summations over discrete combinatorial objects (Young diagrams) and the interpretation of physical distinctions as boundary conditions in complex geometric objects (Seiberg-Witten curves) illustrate a deep approach to classifying and distinguishing states. Analogously, bot-defense and CAPTCHA design can benefit from recognizing subtle yet computationally characterizable differences in input data or interaction patterns that arise from underlying structural distinctions, even if outwardly similar. The thermodynamic limit methodology here, involving profile functions and saddle-point equations, showcases how to handle large combinatorial sums and extract dominant features—potentially inspiring scalable analysis of behavioral or biometric data in security systems. However, the highly specialized mathematical physics content means direct application to bot-defense algorithms would require significant translation and adaptation.

Cite

@article{arxiv2607_07347,
  title={ Thermodynamic limit for SO(2N) gauge theories with spinors/conjugate spinors },
  author={ Xiaobin Li and Futoshi Yagi },
  journal={arXiv preprint arXiv:2607.07347},
  year={ 2026 },
  url={https://arxiv.org/abs/2607.07347}
}

Read the full paper

• arXiv:2607.07347 (abstract)
• arXiv:2607.07347 (PDF)