Theory Seminars

Organizers: Suryajith, Girish.

Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?

Dr. Gunjan Kumar, National University of Singapore

Distributed Point Functions meet Secure Multiparty Computation

Adithya Vadapalli, IIT Kanpur

How to store a graph?

Kshitij Gajjar, IIT Jodhpur

Demystifying the border of depth-3 algebraic circuits

Pranjal Dutta, Chennai Mathematical Institute and IIT Kanpur

Quantum weirdness in query-to-communication simulation and the role of symmetry

Manaswi Paraashar, Indian Statistical Institute, Kolkata

A(n almost) Universal Algorithm for Global Minimum Cut

Sagnik Mukhopadhyay, University of Copenhagen, Denmark

QBF Solving: Advantages and disadvantages of different approaches

Gaurav Sood, IMSc, Chennai

Can Quantum Computers Outperform Gradient Descent?

Suhail Sherif, Vector Institute, Toronto

Functional Lower Bounds for Restricted Arithmetic Circuits of Depth Four

Suryajith Chillara, CSTAR, IIIT Hyderabad

Lower Bounds in Algebraic Circuit Complexity

Prerona Chatterjee, TIFR, Mumbai

Shortest Paths in Time-varying Networks

Kshitij Gajjar, School of Computing, National University of Singapore

Algorithmizing the Multiplicity Schwartz-Zippel Lemma

Ashutosh Shankar, Tata Institute of Fundamental Research, Mumbai

Fast Multivariate Multipoint Evaluation

Mrinal Kumar, Tata Institute of Fundamental Research, Mumbai

Godsil type identities of the multi-variate independence polynomials of graphs from heaps theory.

R. Venkatesh, Department of Mathematics, Indian Institute of Science, Bangalore

Homomorphism testing over Non-Abelian groups

Dr. Tushant Mittal, University of Chicago → Stanford University

Leakage-Resilience Meets Incompressibility

Dr. Mahesh Sreekumar Rajasree, IIT Delhi

Making a Trifference

Dr. Siddharth Bhandari, Toyota Technological Institute at Chicago

Polynomial Calculus sizes over the Boolean and Fourier bases are incomparable

Dr. Sasank Mouli, Mahindra University, Hyderabad

Trading determinism for noncommutativity in Singularity testing

Prof. Partha Mukhopadhyay, Chennai Mathematical Institute