The Seiberg–Witten SU(2) solution is formalized in Lean 4 with physical assumptions as named predicates and mathematical consequences as sorry-free theorems, demonstrating a method for auditing non-rigorous physics arguments.
New N=2 Superconformal Field Theories in Four Dimensions
5 Pith papers cite this work, alongside 497 external citations. Polarity classification is still indexing.
5
Pith papers citing it
497
external citations · Pith
abstract
New examples of N=2 supersymmetric conformal field theories are found as fixed points of SU(2) N=2 supersymmetric QCD. Relations among the scaling dimensions of their relevant chiral operators, global symmetries, and Higgs branches are understood in terms of the general structure of relevant deformations of non-trivial N=2 conformal field theories. The spectrum of scaling dimensions found are all those compatible with relevant deformations of a y^2 = x^3 singular curve.
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
Generalized Schur partition functions Z_USp(2N)(q; alpha) for 4d N=2 USp(2N) theories satisfy order-(N+1) MLDEs with vanishing Wronskian index, alpha fixing MLDE parameters, with links to RCFT characters and a conjecture on quantum monodromy traces.
Derives TBA equations for the higher-order Mathieu equation of the SU(r+1) quantum Seiberg-Witten curve, obtains an analytic effective central charge from Y-function boundary conditions at theta to -infinity, and verifies subleading analytic plus higher-order numerical agreement with WKB expansions.
The authors prove the absence of non-zero trivalent tree-level scattering amplitudes in su(n) field theory toy models via homological perturbation theory and demonstrate non-trivial higher products in an enlarged field space.
citing papers explorer
-
Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean
The Seiberg–Witten SU(2) solution is formalized in Lean 4 with physical assumptions as named predicates and mathematical consequences as sorry-free theorems, demonstrating a method for auditing non-rigorous physics arguments.
-
Generalised 4d Partition Functions and Modular Differential Equations
Generalized Schur partition functions Z_USp(2N)(q; alpha) for 4d N=2 USp(2N) theories satisfy order-(N+1) MLDEs with vanishing Wronskian index, alpha fixing MLDE parameters, with links to RCFT characters and a conjecture on quantum monodromy traces.
-
TBA equations for $SU(r+1)$ quantum Seiberg-Witten curve: higher-order Mathieu equation
Derives TBA equations for the higher-order Mathieu equation of the SU(r+1) quantum Seiberg-Witten curve, obtains an analytic effective central charge from Y-function boundary conditions at theta to -infinity, and verifies subleading analytic plus higher-order numerical agreement with WKB expansions.
-
Field theory of $\mathfrak{su}(n)$: the absence of non-zero scatterings
The authors prove the absence of non-zero trivalent tree-level scattering amplitudes in su(n) field theory toy models via homological perturbation theory and demonstrate non-trivial higher products in an enlarged field space.
- A Crash Course in Supersymmetric Field Theory Across Dimensions