5 citations · 5 across the 6 of their papers we have counts for
6 papers · 1 filter
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…