1 citations · 1 across the 3 of their papers we have counts for
3 papers
Forall-Exists Relational Verification by Filtering to Forall-Forall
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann +1
Relational verification encompasses reasoning about data abstraction, security and privacy, secure compilation, and functional specification of tensor programs, among others. Sever…
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…
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…