Sign in

Shivam Nadimpalli

@shivamnadimpalli.bsky.social
240 followers 75 following 8 posts

CS Theory postdoc at MIT (math.mit.edu/~shivamn)

PostsRepliesMedia
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 15/09/2026
These expositions by Tim Hsieh of (the improvements on) the MRRW bound look great! jthsieh.github.io/blog/post.ht... jthsieh.github.io/blog/post.ht...
jthsieh.github.io
Blog post | Jun-Ting (Tim) Hsieh
A blog post by Jun-Ting (Tim) Hsieh.
040
Reposted by Shivam Nadimpalli
Henry Yuen @henryyuen.bsky.social · 01/08/2026
Some initial thoughts, and a complicated mix of feelings. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did not.
232972
Reposted by Shivam Nadimpalli
Clément Canonne @ccanonne.github.io · 01/08/2026
TCS+, the longest-running theoretical #computerscience seminar, will soon resume for the Fall. Let us know what you'd like to hear about (results, speakers, topics), and any suggestions you may have! sites.google.com/view/tcsplus... #TCSSky @tcsplus.bsky.social
sites.google.com
TCS+ - Suggest a talk
Suggest a talk
13011
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 18/05/2026
An information-theoretic proof of majorizing measures! 😮
arxiv.org
Simple and Sharp Generalization Bounds via Lifting
We develop an information-theoretic framework for bounding the supremum of stochastic processes, offering a simpler and sharper alternative to classical chaining and slicing arguments for generalizati...
050
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 18/04/2026
Parallel pancakes spotted in the wild (Inman Sq, Cambridge MA)
030
Reposted by Shivam Nadimpalli
Clément Canonne @ccanonne.github.io · 08/02/2026
Theoretical CS community! I have a small favor to ask. If you ever used, read, watched some of the (excellent IMO) exposition content by Ryan O'Donnell, would you mind filling this very short survey, and maybe say how useful to you it was? 📝 forms.gle/xrvc2mLRbMqK... Please spread this! #TCSSky
2176
Reposted by Shivam Nadimpalli
Clément Canonne @ccanonne.github.io · 17/12/2025
Learning a lot at the first #FOCS2025 Best Student Paper award, by Rahul Ilango!
A slide about Charmin and Kirkland toilet paper
1282
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 25/11/2025
Wow! 😮
arxiv.org
Talagrand's convolution conjecture up to loglog via perturbed reverse heat
We prove that under the heat semigroup $(P_τ)$ on the Boolean hypercube, any nonnegative function $f: \{-1,1\}^n \to \mathbb{R}_+$ exhibits a uniform tail bound that is better than that by Markov's in...
020
Reposted by Shivam Nadimpalli
Henry Yuen @henryyuen.bsky.social · 13/11/2025
My student @johnbostanci.bsky.social, Chinmay Nirkhe, Jonas Haferkamp, and Mark Zhandry have put out a tour-de-force paper that shows, relative to a classical oracle, QMA is stronger than QCMA -- i.e., quantum proofs >> classical proofs. Congratulations to the authors! arxiv.org/abs/2511.09551
arxiv.org
Separating QMA from QCMA with a classical oracle
We construct a classical oracle proving that, in a relativized setting, the set of languages decidable by an efficient quantum verifier with a quantum witness (QMA) is strictly bigger than those decid...
1496
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 07/11/2025
A very exciting result!! arxiv.org/pdf/2511.045...
030
Reposted by Shivam Nadimpalli
TCS+ @tcsplus.bsky.social · 05/11/2025
The Zoom link for Aparna's talk on "Quantum One-Time Programs, Revisited" is now available on our website. See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...
tcsplus.org
TCS+ - Next TCS+ talk
Our third TCS+ talk of the season will take place on November 5 (10:00am Pacific Time, 1:00 pm Eastern Time, 19:00 Central European Time, 18:00 UTC — check yours here ). Aparna Gupte, from MIT, will t...
032
Reposted by Shivam Nadimpalli
Tom Gur @tomgur.bsky.social · 03/09/2025
New arXiv preprint: we show algorithmic versions of the polynomial Freiman–Ruzsa (PFR) theorem of Gowers, Green, Manners, and Tao. Interestingly, our proof draws on quantum information and stabilizer learning algorithms, which we dequantize into classical algorithms. arxiv.org/pdf/2509.02338
2273
Reposted by Shivam Nadimpalli
Clément Canonne @ccanonne.github.io · 31/07/2025
Fun facts: the Pizza theorem 🍕 states that if Alice and Bob cut a pizza in 4k slices (for k≥2) and take alternating slices, they'll get the same amount even if the cutting wasn't centered. It was proven by Upton in 1968. Before that, nobody knew how to cut pizza. en.m.wikipedia.org/wiki/Pizza_t...
en.m.wikipedia.org
Pizza theorem - Wikipedia
35913
Reposted by Shivam Nadimpalli
TCS+ @tcsplus.bsky.social · 30/04/2025
💡The first talks of the season are available! - Prasanna Ramakrishnan, "How to Appease a Voter Majority" - Or Zamir, "Optimality of Frequency Moment Estimation" - Tom Gur, "A Zero-Knowledge PCP Theorem" - Ryan Williams, "Simulating Time With Square-Root Space" sites.google.com/view/tcsplus...
sites.google.com
TCS+ - 2024-2025
2025/04/23: Ryan Williams, "Simulating Time With Square-Root Space" Ryan Williams (MIT)
1105
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 23/04/2025
The introduction is also extremely fun to read!
130
Reposted by Shivam Nadimpalli
TCS+ @tcsplus.bsky.social · 17/04/2025
📢 Our fourth TCS+ talk will be Wednesday, April 23 (10amPT, 1pm ET, 19:00 CEST): Ryan Williams (@rrwilliams.bsky.social), from MIT, will tell us about "Simulating Time With Square-Root Space"! RSVP to receive the link (available one day prior to the talk): forms.gle/hi9pBsgjRBMb... #TCSSky
forms.gle
TCS+ RSVP: Ryan Williams (2025/05/23)
Title: Simulating Time With Square-Root Space
0124
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 19/03/2025
I got a lot out of participating in WALDO back in 2021, so I definitely recommend checking it out! 😄
071
Reposted by Shivam Nadimpalli
TCS+ @tcsplus.bsky.social · 16/03/2025
Bob* your calendar, as they say! *Mark?
The TCS+ calendar: 
Tom Gur on March 19
Or Zamir on April 9
Ryan Williams on April 23
Palak Jain on May 7
1104
Shivam Nadimpalli @shivamnadimpalli.bsky.social · 06/03/2025
I'm a fan of this post!
ewintang.com
Accessible TeX colors
Ewin's website
2233
Reposted by Shivam Nadimpalli
TCS+ @tcsplus.bsky.social · 25/02/2025
Teaser: our first TCS+ of the season will be March 5 by Prasanna Ramakrishnan (Stanford), telling us "How to Appease a Voter Majority." (We'd usually suggest cookies, lots of cookies 🍪 — but it turns out there is a better way!) Mark the data: more details in the days to come!
075
Reposted by Shivam Nadimpalli
Ryan Williams @rrwilliams.bsky.social · 21/02/2025
New paper: Simulating Time With Square-Root Space people.csail.mit.edu/rrw/time-vs-... It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}]. To appear in STOC. Comments are very welcome!
people.csail.mit.edu
1726475
Reposted by Shivam Nadimpalli
Timothy Gowers @wtgowers.bsky.social · 19/11/2024
There have been several remarkable developments in combinatorics, my field of mathematics. A few weeks ago I gave a talk to a general mathematical audience in which I described six breakthroughs from the last five years. www.youtube.com/watch?v=726O...
youtube.com
Timothy Gowers, Some recent developments in combinatorics
YouTube video by Clay Mathematics Institute
1214443