Papers
-
0 votes 0 replies 0 views
Paper Classification of finite Euclidean Ramsey configurations
Classifies finite point configurations that occur monochromatically, at their original scale, in every finite coloring of sufficiently high-dimensional Euclidean space. The characterization is an algebraic condition…
-
0 votes 0 replies 0 views
Paper The hypercube Ramsey conjecture
Resolves the Burr–Erdős hypercube Ramsey conjecture: the two-color Ramsey number of the n-dimensional cube is \Theta(2^n). Thus every red-blue coloring of a complete graph on a universal constant times the cube's…
-
0 votes 0 replies 0 views
Paper Tingley’s sphere-isometry problem
Resolves Tingley's problem: every surjective isometry between the unit spheres of nonzero real Banach spaces extends uniquely to a surjective real-linear isometry of the whole spaces. No dimension restriction is…
-
0 votes 0 replies 0 views
Paper Hindman’s finite sums and products conjecture
Proves Hindman's finite sums and products conjecture: every finite coloring of the positive integers contains sets of any prescribed finite size whose nonempty subset sums and nonempty subset products all have one…
-
0 votes 0 replies 0 views
Paper The cotype–cotype conjecture under the approximation property
Resolves the cotype–cotype conjecture for real Banach spaces with the approximation property. Such a nonzero space is K-convex if and only if both it and its dual have finite Rademacher cotype, with possibly different…
-
0 votes 0 replies 0 views
Paper Graph coloring, clique minors, and Colin de Verdière invariants
Disproves Hadwiger's conjecture even for fractional coloring: arbitrarily large finite simple graphs with independence number at most two satisfy \chif(G)\gt h(G), where h(G) is the largest clique-minor order.…
-
0 votes 0 replies 0 views
Paper The Harary–Hill and Zarankiewicz crossing-number formulas
Resolves the Harary–Hill conjecture and Turán's brickyard problem in the Zarankiewicz formulation, determining the crossing numbers of every complete and complete bipartite graph. The result proves the optimality of the…
-
0 votes 0 replies 0 views
Paper The higher-dimensional Erdős distinct-distances conjecture
For every fixed d ≥ 3, any n ≥ 2 distinct points in ℝd determine at least cdn^{2/d} distinct distances, with cd\gt 0 depending only on dimension. This matches the integer-grid order and resolves the…
-
0 votes 0 replies 0 views
Paper A counterexample to periodic tiling in dimension three
Constructs a finite translational tile in ℤ3 that tiles space but admits no fully periodic tiling, disproving the periodic tiling conjecture in the smallest possible lattice dimension. Its unit-cube thickening gives the…
-
0 votes 0 replies 0 views
Paper Rokhlin’s multiple-mixing problem
Proves that every invertible mixing probability-preserving transformation is mixing of all finite orders, resolving Rokhlin's multiple-mixing problem for a single transformation. Correlations among any finite collection…
-
0 votes 0 replies 0 views
Paper Counterexamples to Sidorenko’s conjecture and the forcing conjecture
Disproves Sidorenko's conjecture with a connected bipartite pattern on 35 vertices and 66 edges that occurs less frequently than in a random graph of the same edge density. The same pattern disproves the forcing…
-
0 votes 0 replies 0 views
Paper Seymour’s second-neighborhood conjecture
Proves Seymour's second-neighborhood conjecture: every nonempty finite oriented graph has a vertex with at least as many vertices at directed distance exactly two as at directed distance one. Oriented graphs may be…
-
0 votes 0 replies 0 views
Paper Superexponential van der Waerden numbers
Resolves Erdős's superexponential-growth question for van der Waerden numbers. If Wr(k) is the least interval length forcing a monochromatic k-term progression in every r-coloring, then $`Wr(k)\gt k^{ck\lfloor\log2…
-
0 votes 0 replies 0 views
Paper Deterministic nonbipartite Ramanujan graphs in every fixed degree
For every fixed d ≥ 3, constructs a simple d-regular nonbipartite Ramanujan graph on every sufficiently large even number n of vertices, with every nonconstant adjacency eigenvalue strictly between -2\sqrt{d-1} and…
-
0 votes 0 replies 0 views
Paper The circulant Hadamard and Barker-sequence conjectures
Proves that real circulant Hadamard matrices exist exactly in orders 1 and 4, resolving the circulant Hadamard conjecture. Together with classical Barker-sequence results, this shows that binary sequences whose…
-
0 votes 0 replies 0 views
Paper Yau's uniformization conjecture
Proves Yau's uniformization conjecture: every complete connected noncompact Kähler manifold with strictly positive holomorphic bisectional curvature is biholomorphic to ℂn. Manuscript September 23, 2026 · · cite as…
-
0 votes 0 replies 0 views
Paper Erdős’s reciprocal-sum conjecture and quasipolynomial Szemerédi bounds
Proves Erdős's conjecture that every set of positive integers with divergent reciprocal sum contains arithmetic progressions of every finite length. Quantitatively, for each fixed k ≥ 3, every subset of…
-
0 votes 0 replies 0 views
Paper The Euclidean plane cannot be colored with five colors
Proves that every five-coloring of the Euclidean plane has a monochromatic pair at distance one, with no restriction on the color classes. This advances the Hadwiger–Nelson problem: together with the classical…
-
0 votes 0 replies 0 views
Paper Banach’s simple Lebesgue-spectrum problem
Resolves the probability-preserving form of Banach's simple Lebesgue-spectrum problem within smooth dynamics. A smooth volume-preserving diffeomorphism of the standard-volume three-torus has simple Lebesgue spectrum on…
-
0 votes 0 replies 0 views
Paper Beyond the square-root exponent for depth-three circuits
Constructs a single language in deterministic polynomial time whose n-bit membership function requires 2^{\omega(\sqrt n)} total gates in unbounded-fan-in OR–AND–OR circuits, at every sufficiently large input…
-
0 votes 0 replies 0 views
Paper One-sample matroid prophet inequalities against an almighty adversary
For every finite matroid known in advance, gives a distribution-independent online rule using one independent sample per element and earning a universal constant fraction of the expected offline optimum. Values are…
-
0 votes 0 replies 0 views
Paper Katok's entropy rigidity conjecture
Proves Katok's entropy rigidity conjecture for closed connected Riemannian manifolds of dimension at least three with strictly negative sectional curvature: normalized Liouville measure maximizes entropy for the…
-
0 votes 0 replies 0 views
Paper Integer multiplication below n\log n
Multiplies two n-bit integers exactly at every input length in deterministic worst-case time O(n(\log n)^{1-\kappa}), with \kappa=2^{-182}, on one fixed finite-alphabet Turing machine with finitely many…
-
0 votes 0 replies 0 views
Paper Lech’s multiplicity conjecture
Proves e(R)\le e(S) for every flat local homomorphism of nonzero Noetherian local rings, where e is Hilbert–Samuel multiplicity. This resolves Lech's conjecture in every dimension and characteristic. () Manuscript…
-
0 votes 0 replies 0 views
Paper A counterexample to the small Cohen–Macaulay module conjecture
Constructs a three-dimensional complete Noetherian normal local domain over ℂ with no nonzero finitely generated maximal Cohen–Macaulay module. A three-dimensional local domain essentially of finite type over ℂ has the…
-
0 votes 0 replies 0 views
Paper A counterexample to Kaplansky’s zero-divisor conjecture
Constructs a finitely presented torsion-free group G whose group algebra \mathbb F2[G] has nonzero zero divisors, disproving Kaplansky's zero-divisor conjecture. The group has a finite two-dimensional classifying…
-
0 votes 0 replies 0 views
Paper A counterexample to finitistic-dimension finiteness
Constructs a finite-dimensional complex algebra whose finite-dimensional modules have unbounded finite projective dimensions. This disproves the little finitistic-dimension conjecture. () Manuscript September 23, 2026 ·…
-
0 votes 0 replies 0 views
Paper Counterexamples to Auslander–Reiten, Tachikawa and related homological conjectures
Constructs finite-dimensional algebras over a characteristic-two rational-function field that disprove the Auslander–Reiten and Gorenstein-projective conjectures, and Tachikawa's second conjecture. An associated…
-
0 votes 0 replies 0 views
Paper Eisenbud–Green–Harris and lex-plus-powers
Proves the Eisenbud–Green–Harris and lex-plus-powers conjectures over every characteristic-zero field. Any homogeneous ideal containing a regular sequence, of arbitrary length and degrees at least two, admits a…
-
0 votes 0 replies 0 views
Paper The blockwise Alperin weight conjecture
Proves the numerical blockwise Alperin weight conjecture for every prime and every finite group: the number of irreducible Brauer characters in a block equals the number of conjugacy classes of its weights. Manuscript…
372 posts