10 citations · 12 across the 5 of their papers we have counts for
5 papers
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:…
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…
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 (…
Inductive Reasoning for Coinductive Types
Alexander Bagnall, Gordon Stewart, Anindya Banerjee
We present AlgCo (Algebraic Coinductives), a practical framework for inductive reasoning over commonly used coinductive types such as conats, streams, and infinitary trees with fin…
Comments on Summing over Bordisms in TQFT
Anindya Banerjee, Gregory W. Moore
Recent works in quantum gravity, motivated by the factorization problem and baby universes, have considered sums over bordisms with fixed boundaries in topological quantum field th…