5 citations · 5 across the 6 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,…
Inequivalent modular tensor categories with identical , and
Ran Luo, Jiahua Tian
It remains an open question whether the modular data together with the Whitehead-link matrix determine a modular tensor category up to ribbon equivalence. We answer neg…
Categorical spin-networks: state-sum invariants of 4-manifolds from higher-gauge theory
Hank Chen, Zhian Jia, Ran Luo +1
In this work, we define -dimensional topological quantum field theories (TQFTs) and their lattice realizations with input data given by a pivotal fusion 2-category; more pre…
Understanding Non-Split 2-Group Symmetry: (3+1)D SymTFT, Anomaly and Bordism
Zhenbang Gu, Ran Luo, Yi-Nan Wang +1
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 0-form symmetry and…
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…
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…
Topological Holography for Mixed-State Phases and Phase Transitions
Ran Luo, Yi-Nan Wang, Zhen Bi
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 top…
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 $…
Higher-Matter and Landau-Ginzburg Theory of Higher-Group Symmetries
Ruizhi Liu, Ran Luo, Yi-Nan Wang
Higher-matter is defined by higher-representation of a symmetry algebra, such as the -form symmetries, higher-group symmetries or higher-categorical symmetries. In this paper, w…
Understanding Fermionic Generalized Symmetries
Federico Ambrosino, Ran Luo, Yi-Nan Wang +1
We explore new aspects of internal fermionic shifting symmetries, present in physical systems such as free Dirac spinors and p-form tensor-spinor fields. We propose a novel procedu…