5 papers
DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory
Xingyang Yu
We present DualityCert, a symbolic verifier for candidate Seiberg-duality claims in four-dimensional N=1 quiver gauge theories. The verifier evaluates 't Hooft anomaly matching, su…
Grading the Unspoken: Evaluating Tacit Reasoning in Quantum Field Theory and String Theory with LLMs
Xingyang Yu, Yinghuan Zhang, Yufei Zhang +1
Large language models have demonstrated impressive performance across many domains of mathematics and physics. One natural question is whether such models can support research in h…
SymTFT Entanglement and Holographic (Non)-Factorization
Ethan Torres, Xingyang Yu
Given two otherwise decoupled -dimensional CFTs which possess a common (finite) symmetry subcategory, one can consider entangled boundary states of their -dimensional Sym…
On mixed 't Hooft anomalies of emergent symmetries
Wei Gu, Du Pei, Xingyang Yu
In this paper, we investigate the dynamical constraints imposed on the UV theory when it develops an emergent symmetry in the infrared with mixed 't Hooft anomalies. We demonstrate…
Gauging in Parameter Space: A Top-Down Perspective
Xingyang Yu
In this paper, we discuss a novel top-down perspective on gauging parameters in quantum field theories (QFTs) by promoting them to partially dynamical fields. Through a generalized…