Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture
https://arxiv.org/abs/1907.00847
In this paper, we show that every \( (2^{n-1}+1) \)-vertex induced subgraph of the n-dimensional cube graph has maximum degree at least \( \sqrt{n} \). This result is best possible, and improves a logarithmic lower bound shown by Chung, Füredi, Graham and Seymour in 1988. As a direct consequence, we prove that the sensitivity and degree of a boolean function are polynomially related, solving an outstanding foundational problem in theoretical computer science, the Sensitivity Conjecture of Nisan and Szegedy.
Decades-Old Computer Science Conjecture Solved in Two Pages
Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis
Jiajie Chen, Thomas Y. Hou
Computer Proof ‘Blows Up’ Centuries-Old Fluid Equations
Rotating needles in space: the road to the Kakeya conjecture, and why it matters
A non-technical exposition of the Kakeya conjecture, why it matters, and the road to the solution of this conjecture in three dimensions by Hong Wang and Joshua Zahl.
https://arxiv.org/abs/2608.22209
Rotating needles in space: the road to the Kakeya conjecture, and why it matters
Supercritical sharpness of percolation
Sahar Diskin, Philip Easo, Ritvik Ramanan Radhakrishnan, Benny Sudakov, Vincent Tassion
We prove that for supercritical percolation on every infinite transitive graph, the probability that the origin belongs to a finite cluster of size at least n decays exponentially in \( \Phi(n) \), where \( \Phi \) is the isoperimetric function of the graph.
‘Stunning’ Percolation Proof Solves Decades-Old Puzzle About Phase Transitions