arXiv subjects

Yi-Nan Wang

Publications and source records attributed to Yi-Nan Wang.

At least 19 recordsLinked to original sources

arXiv2026

Constraining F-theory Model Building with QCD Axions

In this paper, we investigate axion physics in 4D F-theory MSSM models. We derive the axion coupling term with QCD gauge fields and the axion potential from a top-down perspective, from both IIB superstring and the dual M-theory picture. For the explicit geometric model, we employ the "quadrillion" landscape of 4D F-theory models with the exact Standard Model chiral spectrum, and study simple base threefolds such as $\mathbb{P}^3$, $\mathbb{P}^1\times\mathbb{P}^2$, the generalized Hirzebruch threefold $\tilde{\mathbb{F}}_3$ and $\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$. We derive exclusion constraints on the Kähler moduli space of the base threefold from the CP violation angle, the Standard Model gauge coupling constants and the stretched Kähler cone condition. We find stringent constraints on the set of base divisors that should be rigid or rigidified by the inclusion of flux. For the allowed regions of the parameter space, we estimate the typical mass of detectable QCD axions to be around $10^{-9}$eV, and the axion decay constant to be around $f_a\sim 10^{15}$GeV.

hep-th↗

arXiv2026

Understanding Non-Split 2-Group Symmetry: (3+1)D SymTFT, Anomaly and Bordism

We present a systematic study of finite, non-split 2-group symmetries with a non-trivial Postnikov class, focusing on the simplest example with a $\mathbb{Z}_2$ 0-form symmetry and a $\mathbb{Z}_2$ 1-form symmetry, intertwined together by the non-trivial Postnikov class in $H^3(B\mathbb{Z}_2;\mathbb{Z}_2)\cong\mathbb{Z}_2$, denoted by $\mathcal{G}$. We classify the anomalies of this 2-group symmetry for physical theories in $d$-dimensional spacetime, by computing the oriented bordism groups $Ω_{d+1}^{\rm SO}(B\mathcal{G})$ and the spin bordism groups $Ω_{d+1}^{\rm Spin}(B\mathcal{G})$ for $d\leq 5$. For the case of $d=3$, we investigate the Symmetry TFT/TO of the 2-group symmetry $\mathcal{G}$ using the language of fusion 2-categories, as well as (3+1)D TQFT actions, for the cases without or with the 2-group anomaly classified by $\operatorname{Hom}\left(\widetildeΩ_4^{\rm SO}(B\mathcal{G}),U(1)\right) \cong H^4(B\mathcal{G};U(1))\cong\mathbb{Z}_2$. We classify the minimal topological and physical boundary conditions of the Symmetry TFTs, and carry out the categorical Landau paradigm for such a non-split finite 2-group.

hep-th↗

arXiv2026

On Quantum Aspects of 1-Form Symmetries II: Bordism, Invertible Phases, and Anomalies

We study quantum anomalies associated with $U(1)$ 1-form symmetries from the perspective of invertible phases and bordism. We compute the oriented and spin bordism groups of the Eilenberg-Mac Lane space $K(\mathbb{Z},3)$ up to degree 8 using the Atiyah-Hirzebruch spectral sequence, resolving the relevant extension problems by geometric arguments and identifying both bordism invariants and geometric generators. We then relate these invariants to perturbative and global anomalies, and discuss physical examples and top-down constructions of the corresponding anomaly terms. For 5-dimensional theories, we find a new mixed perturbative anomaly between the $U(1)$ 1-form symmetry and spacetime diffeomorphisms, while for 7-dimensional theories we find a new $\mathbb{Z}_2$-valued discrete anomaly intrinsic to the $U(1)$ 1-form symmetry. We also discuss their boundary realizations and give new physical interpretations of these anomalies.

hep-th↗

arXiv2026

On Quantum Aspects of 1-Form Symmetries I: BV-BRST Cohomology and Anomaly Polynomials

We investigate the quantum aspects of gauging continuous 1-form global symmetries. In this paper, we study the BV-BRST quantization of a $U(1)$ 2-form gauge field, described geometrically by a $U(1)$ gerbe. Starting from the local Čech data of the gerbe, we construct the corresponding infinitesimal symmetry structure in terms of a Lie 2-algebroid, and show that, together with the associated exact Courant algebroid, it provides a natural geometric framework for the BV-BRST complex of this higher-form gauge theory. In this formulation, the field-ghost tower is encoded directly in the local gerbe data, and the higher Russian formula arises naturally from the relations among the connective structure, the curving, and the 3-form curvature. We further show that the resulting Čech-de Rham bicomplex provides a natural setting for anomaly descent for $U(1)$ 1-form symmetries, and illustrate the construction with explicit examples in Maxwell theory.

hep-th↗

arXiv2026

Categorical Symmetries via Operator Algebras

We propose that the symmetry category associated to a 2D quantum field theory with 0-form $G$-symmetry with 't Hooft anomaly $k\in H^4(BG,\mathbb{Z})$ for a large class of Lie groups $G$ is the category of twisted measurable fields of Hilbert spaces over $G$ denoted by $\mathrm{Hilb}^k(G)$, which is equivalent to the category of unitary representations of $C_0(G)$ with convolution product twisted by a multiplicative bundle gerbe labeled by $k$ denoted by $\textbf{Rep}^k(C_0(G))$. We find that the Drinfeld center of the symmetry category $\mathcal{Z}(\mathrm{Hilb}^{k}(G))$ equivalent to the category of unitary representations of the groupoid $C^*$-algebra of the Fell line bundle $Σ_k$ over the conjugation action groupoid $G//_{\rm Ad} G$, denoted by $\textbf{Rep}(C^*(G//_{\rm Ad}G,Σ_k))$, where the twist is characterized by the transgression $τ(k)\in H^2(G//_{\rm Ad}G,U(1))$. To the full generality, our framework applies to a Lie group $G$ that is a direct product of a compact connected Lie group and a number of $\mathbb{R}$ or $GL(1,\mathbb{C})$ factors. We compute the braiding of anyon lines in the bulk 3D SymTFT from this formalism. Finally we provide physical examples for abelian and non-abelian $G$, and discuss the physical consequences of flat gauging continuous global symmetries.

hep-th↗

arXiv2026

Higgs Branch and VOA of 4d $\mathcal{N}=2$ SCFTs from IIB

We study the Higgs branch and associated vertex operator algebra (VOA) of 4d $\mathcal{N}=2$ superconformal field theories (SCFTs) from the geometric engineering of IIB superstring on canonical threefold singularities. For terminal singularities, we explain how to derive the 4d Higgs branch from their small resolution. We also investigate singularities with compact 4-cycles in their crepant resolution, and discuss different ways to compute their Higgs branch. Using a symplectic duality argument, we propose the first examples of 4d $\mathcal{N}=2$ SCFTs with the E-type Kleinian singularities as their Higgs branches, and conjecture their associated VOA to be affine E-type W-algebra. Many new VOAs with no known W-algebra descriptions are found, with conjectured associated varieties. We investigate the singularities associated with lisse VOAs and propose predictions for the BPS quivers of $D_N^N[k]$ and $E_7^{14}[k]$ from the perspective of deformed singularities. We further analyze the structure of the Schur index using the Coulomb branch IR formula, derive the expressions for the Schur index corresponding to these two classes of singularities, and illustrate, in a general setting, how the Schur index is determined by the BPS quiver.

hep-th↗

arXiv2026

PRBench: End-to-end Paper Reproduction in Physics Research

AI agents powered by large language models exhibit strong reasoning and problem-solving capabilities, enabling them to assist scientific research tasks such as formula derivation and code generation. However, whether these agents can reliably perform end-to-end reproduction from real scientific papers remains an open question. We introduce PRBench, a benchmark of 30 expert-curated tasks spanning 11 subfields of physics. Each task requires an agent to comprehend the methodology of a published paper, implement the corresponding algorithms from scratch, and produce quantitative results matching the original publication. Agents are provided only with the task instruction and paper content, and operate in a sandboxed execution environment. All tasks are contributed by domain experts from over 20 research groups at the School of Physics, Peking University, each grounded in a real published paper and validated through end-to-end reproduction with verified ground-truth results and detailed scoring rubrics. Using an agentified assessment pipeline, we evaluate a set of coding agents on PRBench and analyze their capabilities across key dimensions of scientific reasoning and execution. The best-performing agent, OpenAI Codex powered by GPT-5.3-Codex, achieves a mean overall score of 34%. All agents exhibit a zero end-to-end callback success rate, with particularly poor performance in data accuracy and code correctness. We further identify systematic failure modes, including errors in formula implementation, inability to debug numerical simulations, and fabrication of output data. Overall, PRBench provides a rigorous benchmark for evaluating progress toward autonomous scientific research.

cs.CL↗

arXiv2026

On $E_{7+1/2}$ gauge theory

We study gauge theory based on the intermediate Lie algebra $E_{7+1/2}$, interpolating between $E_7$ and $E_8$. We propose a concrete UV completion via a 6d SCFT whose tensor branch description contains a pure $E_{7+1/2}$ gauge sector. The proposal is tested by 6d anomaly cancellation and by the 5d $\mathcal N=1$ Coulomb branch prepotential from the associated M-theory geometry. As a nonperturbative check, we determine the elliptic genus of the single-string worldsheet CFT using modular bootstrap. The result matches the vacuum character of the corresponding VOA for $E_{7+1/2}$, completing the elliptic genus/VOA correspondence along the Deligne-Cvitanović series.

hep-th↗

arXiv2025

Anomaly of Continuous Symmetries from Topological Defect Network

We show that the 't Hooft anomaly of a quantum field theory with continuous flavor symmetry can be detected from rearrangements of the topological defect webs implementing the global symmetry in general spacetime dimension, which is concretized in 2D by the F-moves of the defect lines. Via dualizing the defects to flat background gauge field configurations, we characterize the 't Hooft anomaly by various cohomological data of the symmetry group, where the cohomology of Lie groups with discrete topology plays the central role. We find that an extra dimension emerges naturally as a consequence of the mathematical description of the 't Hooft anomaly in the case of flat gauging.

hep-th↗

arXiv2025

Statistics of Base Polytopes in F-theory

We propose a new statistical ensemble of toric bases for elliptic Calabi-Yaus used in F-theory models, by focusing on only the convex hull of the base, i.e., the base polytope. This physically motivated coarse-graining greatly simplifies the combinatorial complexity of the part of the 4D F-theory landscape with toric bases. We develop a Monte Carlo approach that randomly samples the base polytopes within fixed boxes, with proper statistical weights. We first apply the algorithm to the set of 2d base polytopes, generating an enlarged set of toric 2d bases that include certain types of codimension-two (4,6) points, and we validate our approach against exact numbers. We then explore the set of 3d base polytopes which fit in a set of ``maximal'' 3d boxes, and estimate the total number of inequivalent 3d base polytopes to be $\sim 10^{85}$--$10^{90}$. We provide statistical data such as the distribution of non-Higgsable gauge groups on these bases. Amusingly, a similar method can also be applied to generate reflexive polytopes in various dimensions. In both the reflexive and base polytope cases, the number of relevant polytopes obeys a Gaussian distribution as a function of the number of vertices, which can be understood in terms of other results on random polytopes in the math literature.

hep-th↗

arXiv2025

Vacuum Tunneling from Conifold Transitions in IIB

We investigate the quantum tunneling process through a topology transition near a conifold singularity, in the setup of IIB CY3 orientifold compactification. We propose a novel method to do moduli stabilization in an extended moduli space, parametrized by both the geometric moduli and the light D3-brane wrapping modes arisen from the brane quantization. Assuming the absence of flux through the vanishing exceptional 3-cycle, we find two types of vacuum solutions, one corresponds to the resolved conifold and the other one is interpreted as a novel non-geometric phase. We compute the quantum tunneling rate between these two solutions and find that it is difficult to achieve a significantly large tunneling rate in the controllable regime.

hep-th↗

arXiv2025

Categorical Continuous Symmetry

We define the symmetry category in 1+1d for continuous 0-form $G$-symmetry to be $\textbf{Sky}^τ(G)$, the category of skyscraper sheaves of finite dimensional vector spaces with finite support on the group manifold of $G$, where $τ\in H^4(BG,\mathbb{Z})$ is the anomaly. We propose that the corresponding 2+1d SymTFT is described by the Drinfeld center of $\textbf{Sky}^τ(G)$. We show explicitly the way that $τ$ twists the convolution tensor product of the objects of $\textbf{Sky}^τ(G)$. As a concrete example, we present the $S$ and $T$-matrices for the simple anyons of the resulting $Z(\textbf{Sky}^τ(G))$ category for $G = U(1)$, both for the cases without or with anomaly and discuss the topological boundary conditions as Lagrangian algebra of $Z(\textbf{Sky}^τ(U(1)))$. We also present the definition of $\textbf{Sky}^τ(G)$ and $Z(\textbf{Sky}^τ(G))$ for the non-abelian case of $G=SU(2)$, as well as the speculated modular data. We point out that in order to have a physically relevant center and Lagrangian algebras it is necessary to generalize $\textbf{Sky}^τ(G)$ to a larger category, which we argue to be closely related to the category of quasi-coherent sheaves on $G_\mathbb{C}$ with convolution tensor product twisted by $τ$.

hep-th↗

arXiv2025

Confinement of 3d $\mathcal{N}=2$ Gauge Theories from M-theory on CY4

In this work, we present a new geometric transition in non-compact Calabi-Yau 4-folds, specifically for the cone over the 7d Sasaki-Einstein manifold $Q^{\scriptscriptstyle(1,1,1)}/\mathbb{Z}_{N}$. We discover a new smoothing of such Calabi-Yau 4-fold singularity via a partial resolution+deformation, which can be interpreted as a confined phase for a 3d $\mathcal{N}=2$ $SU(N)$ gauge theory. The confining strings are realized as M2-branes wrapping the torsional 1-cycles in this new geometric phase. We have also computed the generalized global symmetries, including finite $(-1)$-form symmetries, and SymTFT action using the link topology and intersection numbers of the resolved Calabi-Yau 4-fold.

hep-th↗

arXiv2025

Topological Holography for Mixed-State Phases and Phase Transitions

We extend the symmetry topological field theory (SymTFT) framework to open quantum systems. Using canonical purification, we embed mixed states into a doubled (2+1)-dimensional topological order and employ the slab construction to study (1+1)-dimensional mixed-state phases through condensable algebras in the doubled SymTFT. Hermiticity and positivity of the density matrix impose additional constraints on allowable anyon condensations, enabling a systematic classification of mixed-state phases - including strong-to-weak symmetry breaking (SWSSB) and average symmetry-protected topological (ASPT) phases. We present examples of mixed-state phase transitions involving SWSSB and show how gauging within the open SymTFT framework reveals connections among different mixed-state phases.

cond-mat.str-el↗

arXiv2025

Symmetry Topological Field Theory for Flavor Symmetry

In this Letter, we demonstrate that the Symmetry Topological Field Theory (SymTFT) associated to a Quantum Field Theory (QFT) with continuous non-abelian $G$-flavor symmetry is a $BF$-theory with gauge group $G$. We show that gauging $G$-symmetry with a flat connection yields a theory with global symmetry characterized by exchanging the conjugate variables in the quantization of $BF$-theory. We construct the extended operators that generate the $G$-flavor symmetry and the $(d-2)$-form $\text{Rep}(G)$-symmetry of the gauged QFT. We demonstrate that $BF$-theory arises as the theory characterizing $G$-flavor symmetry of a QFT in the AdS/CFT setup. 't Hooft anomalies of the $G$-flavor symmetry are realized as extra terms in the action.

hep-th↗

arXiv2025

(-1)-form symmetries from M-theory and SymTFTs

We explore $(-1)$-form symmetries within the framework of geometric engineering in M-theory. By constructing the Symmetry Topological Field Theory (SymTFT) for selected 5d $\mathcal{N}=1$, 4d $\mathcal{N}=2$ and 4d $\mathcal{N}=1$ theories, we formalize the geometric origin of these symmetries and compute the mixed anomaly polynomials involving $(-1)$-form and higher-form symmetries. Our findings consistently reveal both discrete and continuous $(-1)$-form symmetries, aligning with established field theory results, while also uncovering new $(-1)$-form symmetry factors and structural insights. In particular, we study the SymTFT of 4d $\mathcal{N}=1$ theories from M-theory on a class of spaces with $G_2$ holonomy, and obtain properties such as modified instanton sums and 4-group structures observed in other 4d gauge theories. Additionally, we systematically construct symmetry operators for continuous abelian symmetries, refining existing proposals, and providing an M-theory origin for them.

hep-th↗

arXiv2025

A Tale of Bulk and Branes: Symmetry TFT of 6D SCFTs from IIB/F-theory

We study the 7D Symmetry Topological Field Theory (SymTFT) associated to a 6D SCFT from the IIB/F-theory geometric engineering approach. The 6D (2,0) or (1,0) SCFT is constructed from IIB on a non-compact complex surface possibly with 7-branes. We derive the general form of 7D SymTFT actions from the compactification of IIB action on the boundary link of the base manifold of an elliptic Calabi-Yau threefold, for both the cases with or without flavor 7-branes intersecting the boundary link. Along the way we found new terms in the SymTFT action from the worldvolume action of flavor 7-branes involving the flavor center symmetries. We crosscheck the results against those obtained from either holographic constructions or the dual M-theory picture. Our construction potentially leads to a classification of the 7D SymTFTs which parallels the known geometric classification of the 6D SCFTs.

hep-th↗

arXiv2024

Massive Spectrum in F-theory and the Distance Conjecture

We investigate the massive states in F-theory compactification models, including BPS string junctions stretching between parallel 7-branes and KK modes. We obtain analytical results when there are two colliding bunches of 7-branes with a locally constant axiodilaton profile. In particular, in 8D F-theory setups when the 7-branes collide into a codimension-one $(4,6,12)$ singularity, we found an infinite light tower of BPS string junctions, which should match the light KK tower in the dual heterotic description. To exactly match with the results in the distance conjecture, we propose that the definition of 8D Planck mass should receive a large correction. We have also computed parts of KK modes in 8D F-theory in a simplified setup, as well as the BPS string junction spectrum in specific setups of 6D and 4D F-theory.

hep-th↗