3 papers
cs.LO2025
Forall-Exists Relational Verification by Filtering to Forall-Forall
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
Relational verification encompasses research directions such as reasoning about data abstraction, reasoning about security and privacy, secure compilation, and functional specifica…
hep-th2025
Argyres-Douglas Theories, Macdonald Indices and Arc Space of Zhu Algebra
George Andrews, Anindya Banerjee, Chinmaya Bhargava +2
In this paper, we relate the MacDonald index of a 4d SCFT with the Hilbert series of the arc space of the Zhu algebra of the corresponding Schur VOA. Using this, we…
hep-th2024
3d Mirror Symmetry, TQFTs, and 't Hooft Anomaly Matching
Mahesh K. N. Balasubramanian, Anindya Banerjee, Matthew Buican +3
Any local unitary 3d superconformal field theory (SCFT) has a corresponding "universal" relevant deformation that takes it to a gapped phase. This deformation prese…