1 citations · 1 across the 9 of their papers we have counts for
12 papers
Complex generalized spin-c Killing spinors in low dimensions
José Luis Carmona Jiménez, Alejandro Gil-García, C. S. Shahbazi
We classify all complex generalized spin-c Killing spinors with complex Killing function on complete Riemannian surfaces, presenting an explicit list of all possible cases.…
TLA-Verus: Generating and Solving Temporal Proof Obligations with LLM Agents
Kseniia Strelbytska, Balázs Szilágyi, Anna Mészáros +1
The TLA+ (temporal logic of actions) formal specification toolkit has seen widespread adoption in modeling modern distributed software systems including databases, storage systems,…
Pseudo-Gauge Stabilizers and Fibration Structure of the Cooper--Frye Map at Freeze-Out
Jiahua Tian
We study the pseudo-gauge transformation (PGT) freedom at freeze-out in relativistic spin hydrodynamics. The Cooper--Frye map is shown to factor through the quotient of freeze-out…
Hilbert Space and Defect Hilbert Spaces Associated with Categorical Symmetries
Qiang Jia, Jiahua Tian
We present a quantum mechanical approach to understanding the Hilbert space and the defect Hilbert spaces associated with line operators of BF theory combined with level- Chern-…
Categorical Symmetries via Operator Algebras
Qiang Jia, Ran Luo, Jiahua Tian +2
We propose that the symmetry category associated to a 2D quantum field theory with 0-form -symmetry with 't Hooft anomaly for a large class of Lie grou…
Candidate Gaugings of Categorical Continuous Symmetry
Qiang Jia, Cheng Ma, Jiahua Tian
Different gaugings of the global symmetry of a quantum field theory are closely related to its various phases. In this work, we study candidate gaugeable symmetries by analyzing ca…
Anomaly of Continuous Symmetries from Topological Defect Network
Qiang Jia, Ran Luo, Jiahua Tian +2
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 glob…
Categorical Continuous Symmetry
Qiang Jia, Ran Luo, Jiahua Tian +2
We define the symmetry category in 1+1d for continuous 0-form -symmetry to be , the category of skyscraper sheaves of finite dimensional vector spaces with fi…
Symmetry, Symmetry Topological Field Theory and von Neumann Algebra
Qiang Jia, Jiahua Tian
We study the additivity and Haag duality of the von Neumann algebra of a quantum field theory with 0-form (and the dual -form) (non)-invertible glo…
Symmetry Topological Field Theory for Flavor Symmetry
Qiang Jia, Ran Luo, Jiahua Tian +2
In this Letter, we demonstrate that the Symmetry Topological Field Theory (SymTFT) associated to a Quantum Field Theory (QFT) with continuous non-abelian -flavor symmetry is a $…
A Tale of Bulk and Branes: Symmetry TFT of 6D SCFTs from IIB/F-theory
Jiahua Tian, Yi-Nan Wang
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 f…
3d theories from M-theory on CY4 and IIB brane box
Marwan Najjar, Jiahua Tian, Yi-Nan Wang
We study 3D supersymmetric field theories geometrically engineered from M-theory on non-compact Calabi-Yau fourfolds (CY4). We establish a detailed dictionary between the geo…