This page contains list of mathematical Theorems which are at the same time (a) great, (b) easy to understand, and (c) published in the 21st century. See here for more details about these criteria. Click on any theorem to see the exact formulation, or click here for the formulations of all theorems. You can also view theorems by broad subject category: combinatorics, number theory, analysis, algebra, geometry and topology, logic and foundations, probability and statistics, mathematics of computation, and applications of mathematics.

On this page, the theorems are sorted by submission date (to arxiv or journal, whichever is first). See here for the list of recently added theorems. Also, you can download the excel document with the full list of Theorems, where you can search, sort, and filter them by date, paper title, author, journal, or subject category.

**Theorems submitted in 2020**

07.07.2020 The size of without 3-term progressions is

13.01.2020 MIP*=RE

**Theorems submitted in 2019**

28.12.2019 The Schinzel-Zassenhaus conjecture on integer polynomials is true

08.09.2019 Almost all orbits of the Collatz map attain almost bounded values

10.07.2019 The Duffin–Schaeffer conjecture is true

01.07.2019 The Sensitivity Conjecture is true

06.05.2019 The Hedetniemi’s conjecture is false:

18.03.2019 n-digit integers can be multiplied in operations

12.02.2019 All but finitely many of degree-d Jensen polynomials for are hyperbolic

**Theorems submitted in 2018**

21.12.2018 Random Bernoulli matrix is singular with probability

08.12.2018 A universally measurable Polish groups homomorphism is continuous

04.12.2018 Local Fourier uniformity conjecture is true for at scale

30.10.2018 The group of boundary fixing disk homeomorphisms is not left-orderable

21.10.2018 Bernoulli convolution has dimension 1 for all transcendental

25.09.2018 maximises the normalised number of q-colorings over d-regular graphs

18.09.2018 There is a one-relator inverse monoid with undecidable word problem

28.08.2018 If is compact, , then set has positive measure

14.08.2018 Probabilistic Waring problem for finite simple groups has positive solution

08.08.2018 The Conway knot is not slice

17.07.2018 There exist finitely generated infinite simple left orderable groups

31.05.2018 There exists an oracle A relative to which

10.04.2018 The u-invariant of any field of transcendence degree 2 over is at most 4

08.04.2018 The chromatic number of the plane is at least 5

01.03.2018 Every with positive density contains for some infinite

25.02.2018 The volume exponent of the first Grigorchuk group is equal to

06.02.2018 The hot spots conjecture is true for all triangles in the plane

03.02.2018 There exist lattices with exponentially large kissing numbers

22.01.2018 The case of the Pólya conjecture for the Neumann eigenvalues is true

18.01.2018 The De Bruijn-Newman constant is non-negative

10.01.2018 The 2-to-2-Games Conjecture with imperfect completeness is true

**Theorems submitted in 2017**

22.12.2017 The Julia set of the Feigenbaum polynomial has zero Lebesgue measure

22.12.2017 The Strassen’s direct sum conjecture is false

19.12.2017 Typical 1-Lipschitz image of a purely n-unrectiable set in has measure

02.12.2017 The -bound for the min number of in (n,e)-graph is tight if

09.11.2017 Systems of polynomial equations can be solved in expected quasilinear time

04.09.2017 If large, prime, , and , then or

02.08.2017 The Liouville function has super-linear block growth

01.08.2017 There are fifteen types of convex pentagons that can tile the plane

18.05.2017 There is no coarsely minimal infinite-dimensional Banach space

15.05.2017 There are meanders with at most crossings and p minimal arcs

08.05.2017 A version of the OSSS inequality holds for monotonic probability measures

24.04.2017 Every Besicovitch set in has dimension at least for some

20.03.2017 For Steinhaus random multiplicative function f,

08.03.2017 The Dichotomy conjecture is true: every CSP is either in P or is NP-complete

08.02.2017 The set of congruent numbers equal to 1, 2, or 3 mod 8 has density zero

10.01.2017 Elliptic curve with discriminant has at most integer points

03.01.2017 Vertical vs horizontal isoperimetric inequality holds in Heisenberg groups

01.01.2017 Schwartz functions on the real line have explicit Fourier interpolation

**Theorems submitted in 2016**

17.12.2016 For Lagrange spectrum L, may assume any value in

17.12.2016 Tarski’s circle squaring problem has a constructive solution

13.10.2016 There is no Diophantine quintuple

05.10.2016 The elliptic Harnack inequality on a graph is stable under rough isometries

25.09.2016 The Furstenberg’s conjecture on the intersections of invariant sets is true

12.08.2016 The Pomerance conjecture is true: the threshold for making squares is sharp

21.06.2016 For all , there are at most lines in with common angle

30.05.2016 The cap set conjecture is true: if is a cap set, then

09.05.2016 The Nadirashvili’s conjecture is true

09.05.2016 A properly embedded minimal surface of genus g has or at most ends

05.05.2016 Progression-free sets in are exponentially small

04.05.2016 The family is Ramsey

03.05.2016 The boolean Pythagorean Triples problem has a positive answer

29.04.2016 Upper bound holds in the Erdős-Szekeres “Happy Ending” conjecture

13.04.2016 There exists a discrete bounded envy-free cake cutting protocol for n agents

04.04.2016 For any digit d, infinitely many primes have no d in their decimal expansion

25.03.2016 The primes contain arbitrarily long multivariate polynomial progressions

21.03.2016 The highest sphere packing density in is

20.03.2016 The Markoff-Hurwitz equation has integer solutions up to R

14.03.2016 The highest sphere packing density in is

14.03.2016 The restriction conjecture for paraboloids is true for ,

16.02.2016 For all irrational , one has

31.01.2016 Bernoulli convolution is absolutely continuous for and

13.01.2016 If , the maximal for which -snowflake of embeds into is

08.01.2016 Any finite subgroup of has a semi-invariant of degree at most

06.01.2016 There exist finitely generated simple groups of intermediate growth

**Theorems submitted in 2015**

18.12.2015 All Robbin’s conjectures on the number of ASMs with symmetries are true

11.12.2015 The graph isomorphism problem can be solved in quasipolynomial time

04.12.2015 The main conjecture in Vinogradov’s Mean Value Theorem is true

09.11.2015 Rota’s and Mason’s log-concavity conjectures are true for all matroids

17.09.2015 For any sequence , the discrepancy of f is infinite

17.09.2015 The logarithmically averaged Chowla conjecture is true for

17.07.2015 For any non-square , is prime infinitely often

14.06.2015 An explicit construction of a -Ramsey graph over vertices

18.05.2015 The Ramsey number of any n-vertex d-degenerate graph is at most

01.05.2015 If , map is surjective on finite non-abelian simple groups

01.02.2015 The topological Tverberg conjecture is false

25.01.2015 Tarski’s circle squaring problem can be solved with only measurable pieces

19.01.2015 Short and long averages of a multiplicative function are effectively related

**Theorems submitted in 2014**

16.12.2014 Let . Then for some

17.11.2014 A compact, embedded self-similar shrinker in of genus is a round sphere

13.10.2014 Characterisation of polyhedral types inscribed in the hyperboloid or cylinder

29.08.2014 Non-collision singularities exist in a planar Newtonian 4-body problem

25.08.2014 If , and the -snowflake of embeds into , then

20.08.2014 Let . Then

05.08.2014 The Gaussian correlation conjecture is true

10.07.2014 The set of points in a rational polygon P not illuminated by any is finite

17.04.2014 Fast -approximation for the infuence maximization problem

11.03.2014 There exist 1-dependent 4-colouring and 2-dependent 3-colouring of

04.03.2014 If a, b, c, a+b are squares, then equation is partition regular

15.01.2014 The existence conjecture for combinatorial designs is true

**Theorems submitted in 2013**

30.12.2013 Every odd integer is the sum of three primes

16.12.2013 Every point in an nd-polytope is the barycenter of n points in its d-faces

19.11.2013 For any k, infinitely often, where is the n-th prime

11.11.2013 The perfect matching polytope has exponential extension complexity

01.11.2013 No algorithm can decide if a finitely presented group has a finite quotient

17.10.2013 Replica prediction holds for independence ratio in random regular graphs

12.09.2013 Integer superharmonic matrices have the Apollonian structure

02.07.2013 The least modulus of a distinct covering system is at most

20.06.2013 Properly embedded genus-g minimal surfaces with one end exist for all g

17.06.2013 The Kadison-Singer problem has a positive solution

20.05.2013 For any C, not every finite metric space of negative type C-embeds into

07.05.2013 Finitely many rotations of any pyjama stripe can cover the plane

25.04.2013 For any finite , there exists a quasiregular map from onto

25.04.2013 The converse to the Rademacher theorem holds if and only if

17.04.2013 infinitely often, where is the n-th prime

15.04.2013 There exist regular bipartite Ramanujan graphs of every degree

04.04.2013 There exist nontrivial q-Steiner systems with

02.04.2013 Multidimensional generalisation of the Schmidt conjecture is true

10.03.2013 The Triangulation Conjecture is false in all dimensions

01.02.2013 Most odd degree hyperelliptic curves have no finite rational points

01.02.2013 Reidemeister moves turn a c-crossing unknot diagram into trivial one

19.01.2013 For every , exists set of n integers with no sum-free subset of size

**Theorems submitted in 2012**

09.12.2012 Bernoulli convolution has dimension 1 outside a set of of dimension

26.10.2012 Fast -approximation for the uncapacitated facility location problem

23.10.2012 Any finite union of intervals supports a Riesz basis of exponentials

27.08.2012 Cardinal numbers and are equal

02.07.2012 The Waring rank of any monomial with is

22.06.2012 Unitary perturbation of any matrix is well invertible with high probability

09.06.2012 Random matrix with has real eigenvalues

04.06.2012 P(random walk in bounded degree planar graph avoids for T steps)

20.05.2012 Density one local-global conjecture for integral Apollonian packings is true

30.04.2012 The log-Brunn-Minkowski inequality holds for two convex bodies in

30.04.2012 The list chromatic number of graph with average degree d is

29.04.2012 Sparse analog of Szemerédi’s theorem is true

10.04.2012 There exist finitely generated simple groups that are infinite and amenable

29.03.2012 Every embedded minimal torus in is congruent to the Clifford torus

27.02.2012 Integral of the square of the mean curvature of a torus in is at least

24.02.2012 Every position of Rubik’s Cube can be solved in 20 moves or less

15.02.2012 Every measure preserving word is primitive

19.01.2012 The clique density conjecture of Lovász and Simonovits is true

01.01.2012 If , exists convex body in , not a ball, with same-volume max sections

**Theorems submitted in 2011**

16.12.2001 Erdős conjecture on square-free values of f(p), f cubic, p prime, is true

14.11.2011 Two matrices can be multiplied using operations

16.09.2011 The diameter of the symmetric group is at most

01.09.2011 Fast recovery of from random magnitude measurements

08.08.2011 The chromatic threshold of a graph H with can be , , or

01.08.2011 There exist groups of oscillating intermediate growth

25.07.2011 The BMV (Bessis-Moussa-Villani) conjecture is true

19.07.2011 Zaremba’s conjecture is true for a set of density one

01.05.2011 The Hanna Neumann conjecture is true

17.04.2011 A fixed point theorem holds for –-contractive type mappings

31.03.2011 The Grothendieck constant is strictly smaller than Krivine’s bound

15.03.2011 The Szemerédi–Trotter estimate holds for subspaces in , with loss

03.03.2011 is a rational linear combination of products

31.01.2011 There exist an and such that if is a cap set, then

**Theorems submitted in 2010**

21.12.2010 A convergent algorithm for non-smooth convex saddle-point problems

07.12.2010 For bounded , exists fixed by every isometry of preserving A

03.12.2010 Main conjecture in Vinogradov’s Mean Value Theorem is true if

18.11.2010 Szemerédi’s theorem holds almost surely inside sparse random sets

17.11.2010 A set of N points in the plane determines at least distinct distances

15.11.2010 is definable in by a universal first-order formula in the language of rings

07.11.2010 There is a HAPpy Banach space, other than , which has a symmetric basis

12.10.2010 Internal DLA process converges to disk with at most logarithmic discrepancy

10.10.2010 The distortion of a knot in can be arbitrary large

22.09.2010 For each , there exists an N-point spherical t-design in the sphere

21.09.2010 There are k-term arithmetic progressions of primes at most N

27.08.2010 If is chromatic polynomial, then form a log-concave sequence

06.08.2010 For , , where is the greatest prime factor of m

27.07.2010 The least squares mean for positive definite matrices is monotone

04.07.2010 The connective constant of the honeycomb lattice is equal to

01.07.2010 A positive proportion of elliptic curves over ordered by height have rank

16.06.2010 For most cubic forms F, solution set of is finite

14.06.2010 The Hirsch Conjecture is false

04.06.2010 The average rank of elliptic curves over ordered by height is at most 1.5

25.04.2010 The Hoeffding inequality holds for semidefinitely upper bounded matrices

25.04.2010 For any graph, the blanket and cover times are within an O(1) factor

10.02.2010 for any group words and large finite simple group

21.01.2010 The positive density conjecture for integer Apollonian circle packings is true

15.01.2010 The Schmidt conjecture in simultaneous Diophantine approximation is true

10.01.2010 Graph removal lemma holds with being a tower type function of

**Theorems submitted in 2009**

27.12.2009 Regular tetrahedra can be packed in with density

18.12.2009 Principal component analysis with sparse perturbation can be done fast

14.12.2009 When , the Dehn function of is quadratic

04.11.2009 For , the one-arm exponent for critical bond percolation in is

20.10.2009 The density Hales-Jewett theorem holds with an explicit bound

16.10.2009 The threshold conjecture of Turán properties for random graphs is true

11.10.2009 The Furstenberg’s conjecture on dimension of sum of invariant sets in true

15.09.2009 The critical bias for the Hamiltonicity Maker-Breaker game is

11.09.2009 Systems of polynomial equations can be solved in average time

01.07.2009 Replica predictions hold for dimension mean-field minimum matching

22.06.2009 The Khorunzhiy conjecture on the norms of random band matrices is true

18.06.2009 Every element of every finite non-abelian simple group is a commutator

02.06.2009 Wigner Hermitian matrices have universal eigenvalue gap distribution

31.05.2009 There exists a fully homomorphic encryption scheme

20.05.2009 Polynomial maps with only real critical points have connected isentropes

14.05.2009 The product of typical interval exchange transformations is uniquely ergodic

21.04.2009 Any semigroup in is asymptotically approximated by its regularisation

02.04.2009 Any analytic submanifold of , , is of Khintchine type for divergence

10.03.2009 Every tensor has a tensor-train decomposition

09.03.2009 For large n, if set of permutations is k-intersecting, then

04.03.2009 An explicit construction of a -Ramsey graph over vertices

03.03.2009 Algorithmic version of general Lovász local lemma is true

**Theorems submitted in 2008**

14.11.2008 The Bennett–Carbery–Tao multilinear Kakeya conjecture is true

14.11.2008 Any bounded Apollonian circle packing has circles of radius

03.11.2008 The threshold for making squares is sharp up to a factor of

14.10.2008 For almost all , and all ,

02.09.2008 Fast -approximation to for submodular f and matroid I

27.08.2008 The hypergraph Ramsey numbers are at most

30.07.2008 The circular law conjecture is true

29.05.2008 Fast recovery of size-n rank-r random matrix from random entries

11.05.2008 Centered Hardy–Littlewood maximal inequality in has no uniform bound

03.04.2008 The cost of the mean-field TSP on n-vertex graph converges to

16.03.2008 The size of every Kakeya set in , where is a finite field, is at least

23.01.2008 De Giorgi’s conjecture fails in dimensions

01.01.2008 Undirected connectivity is in log-space

**Theorems submitted in 2007**

27.12.2007 n-digit integers can be multiplied in operations

26.12.2007 For log-concave , the first moment concentration implies exponential one

30.11.2007 The Riemann zeta function can be computed to in time

08.11.2007 The full list of connected properly embedded minimal planar domains in

15.10.2007 , where denotes the n-th prime

11.10.2007 The Alon-Yuster conjecture on factors in random graphs is true

27.09.2007 The Hausdorff dimension of the set of singular pairs is

08.09.2007 Every triangle with all angles at most has a periodic billiard path

05.07.2007 Equation is solvable for squarefree d,

18.06.2007 If A is a finite subset of free group, and , then

14.05.2007 Polynomials with infinite orbit intersection must have a common iterate

01.05.2007 Any order-reversing involution on convex functions is Legendre transform

24.04.2007 Entire function whose escaping set has only bounded path-components

12.04.2007 The problem of computing two-player Nash equilibrium is PPAD-complete

01.04.2007 -approximation for the sparsest cut can be done in polynomial time

16.03.2007 if A is matrix with i.i.d. subgaussian ,

07.03.2007 Entropies of multidimensional shifts of finite type may be noncomputable

03.02.2007 There exists an outer billiards system with an unbounded orbit

11.01.2007 for any group words and large alternating group

**Theorems submitted in 2006**

04.12.2006 Moments of the Riemann zeta function are at most

26.11.2006 Equation can have less than solutions in

07.11.2006 Approximating max clique and chromatic number to within are NP-hard

02.11.2006 Systems of polynomial equations can be solved in expected polynomial time

01.10.2006 The primes contain arbitrarily long polynomial progressions

22.09.2006 Computing forth moment of for prime moduli q with error

16.08.2006 The kissing numbers in dimensions are at most

15.08.2006 The variance of the current across the characteristic in ASEP is of order

24.07.2006 Solving symmetric diagonally dominant linear systems in near linear time

18.07.2006 Characterization of stability-preserving linear operators on polynomials

11.07.2006 The diagonal Ramsey numbers do not exceed

05.07.2006 Exists infinitely many groups G with no product-free subset of size

05.07.2006 The set of i.i.d Gaussian points in is linearly separable

08.06.2006 Every cubic form over integers in variables has a non-trivial zero

04.06.2006 There are 4-term progressions of primes at most N

18.05.2006 There exist quadratic polynomials that have a Julia set of positive area

29.04.2006 A version of the central limit theorem holds for convex sets

27.01.2006 There exists an exhaustive submeasure that is not equivalent to a measure

24.01.2006 for every group word and every large finite simple group

16.01.2006 The set of all integer solutions of is a polynomial family

01.01.2006 The Bobkov–Nazarov estimate holds true for all isotropic convex bodies

**Theorems submitted in 2005**

17.12.2005 The optimal exponent in the quantitative isoperimetric inequality is

14.12.2005 The B. and M. Shapiro conjecture in real algebraic geometry is true

13.12.2005 Any nondegenerate planar curve is of Khintchine type for convergence

10.11.2005 Half of primes have the even sum of digits

08.11.2005 if A is matrix with i.i.d. Bernoulli

03.11.2005 The Cayley graphs of with random generators are expanders

17.10.2005 The limit exists for any bounded generalized polynomial u

10.10.2005 Dyson’s rank partition functions satisfy congruences of Ramanujan type

06.10.2005 Fast algorithm to approximately fit a -smooth function to data

18.09.2005 Menger’s theorem holds for infinite digraphs

01.09.2005 Elements of have representations of length

10.08.2005 For any , infinitely often, where is the n-th prime

08.08.2005 Any n-point metric space of negative type -embeds into

07.07.2005 The edge-deletion problem can be -approximated in linear time

30.06.2005 if A is matrix with i.i.d. subgaussian ,

10.06.2005 For , embeds uniformly into if and only if or

08.06.2005 -Poincaré inequality implies -Poincaré inequality for some

05.06.2005 Dantzig selector recovers sparse from noisy measurements

28.05.2005 Cayley graphs of symmetric groups can form explicit family of expanders

25.05.2005 If is bounded for covering system S, then is also bounded

06.05.2005 Nevanlinna characteristic grows as for finite order f

29.04.2005 Dynamical critical site percolation on triangular grid has exceptional times

25.04.2005 Multidimensional Szemeredi’s theorem holds with an explicit bound

14.04.2005 The Hasse principle holds for the systems if

05.04.2005 The sequence of perfect squares is L1-universally bad

23.03.2005 The “Majority Is Stablest” conjecture is true

17.03.2005 The spectrum of the almost Mathieu operator is a Cantor set for irrational

03.03.2005 -regularisation recovers sparse from inexact measurements

02.03.2005 Pólya-Vinogradov bound is not tight for characters of odd, bounded order

18.01.2005 There are labelled planar graphs on n vertices

**Theorems submitted in 2004**

08.11.2004 The Grothendieck constant of the complete n-vertex graph is at least

05.11.2004 Random Bernoulli matrix is singular with probability at most

02.11.2004 Uncountable set of 2-generated groups with exactly 2 conjugacy classes

29.09.2004 Linear growth of the number of quintic fields with bounded discriminant

18.09.2004 -sparse can be -approximated in measurements

27.08.2004 For any unimodular lattice , we have

06.08.2004 Any real polynomial can be approximated by hyperbolic real polynomials

01.08.2004 If , , and , then

12.07.2004 The number of relative equilibria of the Newtonian 4-body problem is finite

16.06.2004 Typical interval exchange transformation is either rotation or weakly mixing

07.06.2004 Linear growth of the number of quartic fields with bounded discriminant

02.06.2004 The Dufﬁn–Schaeffer conjecture implies its Hausdorff measure version

01.06.2004 No arithmetic sequence is very well-distributed

30.05.2004 The complexity of every irrational algebraic number has superlinear growth

11.05.2004 Elliptic curve with discriminant has at most integer points

09.04.2004 Calabi-Yau conjectures are true for embedded surfaces with finite topology

08.04.2004 The primes contain arbitrarily long arithmetic progressions

16.03.2004 The highest density of lattice sphere packing in is

29.02.2004 Quartic rings can be explicitly parametrized

26.01.2004 Metric entropy is equivalent to combinatorial dimension, under regularity

18.01.2004 There are distinct products in multiplication table

08.01.2004 There exists an embedded genus-one helicoid in

01.01.2004 There is a convergent algorithm for minimising the total variation

**Theorems submitted in 2003**

31.12.2003 Shape theorem holds in Kesten-Sidoravicius model for the infection spread

18.12.2003 The Füredi-Hajnal Conjecture and the Stanley–Wilf Conjecture are true

17.12.2003 Translation invariant equivariant valuations are difference operators

24.11.2003 The only perfect powers in the Fibonacci sequence are and

09.11.2003 The chromatic number of a random graph is or

02.10.2003 Lehmer’s conjecture is true for polynomials with odd coefficients

26.09.2003 The kissing number in dimension four is 24

25.09.2003 Trudinger-Moser inequality with Sobolev norm holds for all domains in

24.09.2003 Any nondegenerate planar curve is of Khintchine type for divergence

23.09.2003 Every separable infinite dimensional Banach space has infinite diameter

11.09.2003 The Hopf condition for bilinear forms holds over arbitrary fields

08.09.2003 There are at most degree n number fields with discriminant

05.09.2003 Littlewood conjecture holds outside of a set of Hausdorff dimension

04.09.2003 An asymptotic form of the Satisfiability Threshold Conjecture is true

04.09.2003 The Lieb conjecture on the monotonicity of Shannon’s entropy is true

03.09.2003 For any exists such that holds for any

01.08.2003 There exists FPRAS for the permanent of a matrix with nonnegative entries

17.07.2003 Poincaré conjecture is true: simply connected closed 3-manifold is a sphere

29.05.2003 Duality conjecture for entropy numbers is true if one of the bodies is a ball

28.05.2003 Vertex cover is unique-games-hard to approximate within any factor

14.05.2003 Whitney extension theorem holds with in place of

25.04.2003 The weak form of De Giorgi’s conjecture is true in dimensions

26.03.2003 The set of nowhere monotone differentiable functions on is lineable

19.03.2003 such that every set of natural numbers of density is subcomplete

28.02.2003 For any convex domain , Poincaré inequality holds with constant

26.02.2003 Perfect graphs can be recognised in polynomial time

25.02.2003 Any positive proportion of primes contains a 3-term arithmetic progression

29.01.2003 The Erdős–Szemerédi sum-product theorem holds in finite fields

24.01.2003 Primality testing can be done in deterministic polynomial time

**Theorems submitted in 2002**

04.12.2002 The strong perfect graph conjecture is true: all Berge graphs are perfect

04.12.2002 All n-point metric spaces have subsets of size -embeddable into

22.11.2002 Degree n polynomials small at N points on are small for

08.11.2002 Fast algorithm for the number of solutions in the coin problem with fixed n

11.10.2002 The conjecture in approximation by algebraic integers is false:

07.10.2002 Minimum vertex cover is NP-hard to approximate within factor

22.09.2002 For partition function , no prime divides for all n

15.09.2002 Zero-divisor graph of a local ring with at least 33 elements is not planar

09.09.2002 The Catalan’s conjecture is true: if , then

22.06.2002 A group with exponential growth but not uniform exponential growth

19.06.2002 A version of Banach’s fixed point theorem holds for partially ordered sets

16.06.2002 Ergodic averages taken along cubes whose sizes tend to converge in

29.05.2002 Steiner symmetrizations transform convex body in into near ball

27.03.2002 The Alon’s second eigenvalue conjecture is true

04.03.2002 In Vicsek model, all agents will eventually move in the same direction

31.01.2002 law holds for the 2D asymmetric simple exclusion process

**Theorems submitted in 2001**

10.12.2001 Covering number of a bounded set is exponential in its shattering dimension

28.11.2001 Probability that Wiener sausages intersection volume is large decays fast

27.11.2001 The size of set of simple sums and products of k distinct integers exceeds

19.11.2001 The simplex algorithm has polynomial smoothed complexity

12.11.2001 Characterisation of linear recurrences whose ratio is integer infinitely often

01.10.2001 Any sphere packing in has density at most

13.09.2001 The analytic capacity is semiadditive

13.09.2001 5n Minkowski symmetrizations transform convex body in into near ball

06.09.2001 Instance optimal algorithm for aggregation in multimedia databases

23.08.2001 Linear groups of exponential growth have uniform exponential growth

16.08.2001 The best constant in centered Hardy–Littlewood maximal inequality is

31.07.2001 A polynomial is matrix-positive if and only if it is the sum of squares

26.07.2001 The simple random walk covers all points of in steps

23.07.2001 Rational polygon whose set of non-ergodic directions has dimension 1/2

19.07.2001 Two components of the USF in are adjacent a.s. if , but not if

25.05.2001 Regular n-gon minimizes logarithmic capacity among all n-gons with area S

22.05.2001 Any sequence of Lipschitz maps has a common point of differentiability

19.05.2001 There exist non-isotrivial elliptic curves over with arbitrarily large rank

16.05.2001 For any r-colouring of integers, there is a monochromatic set S with

30.03.2001 Any non-trivial knot has ropelength at least

13.03.2001 Properly embedded simply connected minimal surface is plane or helicoid

14.02.2001 There is a set such that for every isometric copy L of

13.02.2001 In any infinite sequence of graphs, some is a minor of some

08.02.2001 A finitely presented non-amenable group without free non-cyclic subgroups

**Theorems submitted in the 20th century and published in the 21st century**

12.12.2000 Ellipsoid in , , contains lattice points, as

28.11.2000 If , complete graph can be decomposed into length m cycles

17.11.2000 Irreducible form of degree d has at most B-bounded roots

06.10.2000 Sinai conjecture on orbit recurrence of nonregular quadratic maps is true

25.09.2000 Betweenness centrality of all graph vertices can be computed in O(nm) time

24.08.2000 Robbins conjecture on the number of vertically symmetric ASMs is true

17.08.2000 Julia set of typical quadratic map is locally connected and has measure zero

01.08.2000 Largest eigenvalue of , with i.i.d. normal, approaches Tracy–Widom

25.07.2000 Set of m n-variate degree-d polynomials has at most zero patterns

11.07.2000 The Lagarias-Wang finiteness conjecture is false

10.07.2000 Constant-degree expanders construction based on zig-zag product

02.06.2000 The norms of bilinear Hilbert transforms are uniformly bounded

30.05.2000 Random polynomial of degree n has no real zeros with probability

10.05.2000 Pair correlation density of sequence on is

03.05.2000 For all large , there is a prime number between and

30.03.2000 The only Banach space isomorphic to each of its subspaces is

27.03.2000 The intersection exponent for two simple random walks on the plane is 5/8

22.03.2000 Least-area way to enclose and separate two regions of given volumes in

11.03.2000 All braid groups are linear

01.03.2000 Szemeredi’s theorem holds with doubly exponential bound

28.02.2000 The modularity theorem: every elliptic curve over Q is modular

24.02.2000 Small set of initial points for Newton’s method to find all polynomials roots

28.01.2000 Polynomial minimisation can be reduced to LMI problem

25.01.2000 All critical points of a rational function f are real only if f is equivalent to real

24.01.2000 Inequality has or integer solutions

04.01.2000 There exists a field with u-invariant 9

30.12.1999 There are three nonempty phases for percolation on planar hyperbolic graph

28.10.1999 Elements of finite simple groups have short normal subsets representations

15.09.1999 There exist two different finite groups with isomorphic integral group rings

08.09.1999 The asymptotic mean of bounded multiplicative function is

05.07.1999 Moderate deviations probability for the Wiener Sausage volume decays fast

08.06.1999 The honeycomb conjecture is true

10.05.1999 Erdős-Taylor conjecture on most visited point of random walk in is true

29.04.1999 There are infinitely many primes of the form

09.02.1999 For every n>30, n-th Lehmer number has a primitive divisor

11.11.1998 The dodecahedral conjecture on the smallest volume of Voronoi cell is true

04.09.1998 The Kepler conjecture is true: the highest sphere packing density in is

31.07.1998 Palis conjecture on the arithmetic difference of regular Cantor sets is true

29.07.1998 Zagier conjecture is true:

20.04.1998 Characterisation of ﬁnitely generated groups with word problem in NP

01.08.1997 For any , optimal approximation ratio for Max-Ek-Sat is

15.07.1997 Almost every real quadratic polynomial is either regular or stochastic

24.05.1997 A finitely presented group can have NP-complete word problem

—————————————————————————————-

I thank my MSc student, Adam Smith, for a help with the website and Excel document.