3 papers
hep-th2025
Macdonald Index From Refined Kontsevich-Soibelman Operator
George Andrews, Anindya Banerjee, Ranveer Kumar Singh +1
We propose a refinement of the Kontsevich-Soibelman operator for a class of ``special'' 4d superconformal field theories characterized by the following conditions:…
hep-th2023
Non-Perturbative Explorations of Chiral Rings in 4d SCFTs
Anindya Banerjee, Matthew Buican
We study the conditions under which 4d superconformal field theories (SCFTs) have multiplets housing operators that are chiral with respect to an su…
cs.LO2023
Alignment complete relational Hoare logics for some and all
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
In relational verification, judicious alignment of computational steps facilitates proof of relations between programs using simple relational assertions. Relational Hoare logics (…