Recent Comments
Gil Kalai on To Cheer You Up in Difficult T… Gil Kalai on To Cheer You Up in Difficult T… Alexander Barvinok on To Cheer You Up in Difficult T… Kevin on To Cheer You Up in Difficult T… Gil Kalai on To Cheer You Up in Difficult T… Arseniy on To Cheer You Up in Difficult T… Alexander Barvinok on To Cheer You Up in Difficult T… uniform on To Cheer You Up in Difficult T… Arseniy on To Cheer You Up in Difficult T… normanstresskopf on To Cheer You Up in Difficult T… To Cheer You Up in D… on Beyond the gconjecture… To Cheer You Up in D… on Euler’s Formula, Fibonac… 
Recent Posts
 To Cheer You Up in Difficult Times 31: Federico Ardila’s Four Axioms for Cultivating Diversity
 Dream a Little Dream: Quantum Computer Poetry for the Skeptics (Part I, mainly 2019)
 To Cheer you up in difficult times 30: Irit Dinur, Shai Evra, Ron Livne, Alex Lubotzky, and Shahar Mozes Constructed Locally Testable Codes with Constant Rate, Distance, and Locality
 To cheer you up in difficult times 29: Free will, predictability and quantum computers
 Alef’s corner: Mathematical research
 Let me tell you about three of my recent papers
 Mathematical news to cheer you up
 To Cheer You Up in Difficult Times 28: Math On the Beach (Alef’s Corner)
 To cheer you up in difficult times 27: A major recent “Lean” proof verification
Top Posts & Pages
 To Cheer You Up in Difficult Times 31: Federico Ardila's Four Axioms for Cultivating Diversity
 The Intermediate Value Theorem Applied to Football
 Extremal Combinatorics III: Some Basic Theorems
 Amazing: Karim Adiprasito proved the gconjecture for spheres!
 Updates and plans III.
 Answer: Lord Kelvin, The Age of the Earth, and the Age of the Sun
 An interview with Noga Alon
 TYI 30: Expected number of Dice throws
 To Cheer you up in difficult times 30: Irit Dinur, Shai Evra, Ron Livne, Alex Lubotzky, and Shahar Mozes Constructed Locally Testable Codes with Constant Rate, Distance, and Locality
RSS
Tag Archives: Ravi Kannan
Danny Nguyen and Igor Pak: Presburger Arithmetic Problem Solved!
Short Presburger arithmetic is hard! This is a belated report on a remarkable breakthrough from 2017. The paper is Short Presburger arithmetic is hard, by Nguyen and Pak. Danny Nguyen Integer programming in bounded dimension: Lenstra’s Theorem Algorithmic tasks are … Continue reading →
MittagLeffler Institute and Yale, Winter 2005; Test your intuition: Who Played the Piano?
This is a little “flashback” intermission in my posts about my debate with Aram Harrow. This time I try to refer to Cris Moore’s question regarding the motivation for my study. For the readers it gives an opportunity to win a … Continue reading →
Posted in Computer Science and Optimization, Controversies and debates, Physics, Test your intuition

Tagged Alain Lascoux, Allon Percus, Andrei Okounkov, Andrew Casson, Boris Tsirelson, Chris Skinner, Cris Moore, Dorit Aharonov, Ehud Friedgut, Gösta MittagLeffler, Itai Benjamini, Michael BenOr, Michel Devoret, MittagLeffler Institute, Muli Safra, Mysterypersonplayingthepiano, Oded Schramm, Peter Mester, Peter Shor, Quantum computers, Ravi Kannan, Robert Alicki, Tim Gowers, Xavier Viennot, Yale

11 Comments