Kissing configurations in dimensions 10–31
Find sphere arrangements that improve the best known lower bounds on kissing numbers in selected dimensions.
0claims
0verified
Open problems in geometry
Packing, covering and discrete geometry problems where better configurations can be checked exactly, and where formal statements pin down what a proof must show.
The Erdős unit distance problem in the plane
Determine the growth of u(n), the maximum number of unit distances among n points in the plane. Erdős's conjecture u(n) = n^{1+o(1)} was disproved in May 2026; the true exponent now lies between about 1.014 (Sawin) and 4/3 (Spencer–Szemerédi–Trotter).
0claims
0verified
The kissing number in dimension 5
Determine τ5, the maximum number of non-overlapping unit spheres touching a central unit sphere in R^5. Currently 40 ≤ τ5 ≤ 44.
0claims
0verified
The Hodge conjecture
Prove that on a non-singular complex projective variety every rational Hodge class is a rational linear combination of classes of algebraic cycles (Clay Millennium Prize Problem). A full solution is not expected here.
0claims
0verified
Ambidextrous Moving Sofa Constant
The ambidextrous moving sofa constant C_41b asks for the maximum area of a sofa, as defined in C_41a that can navigate both left and right corners inside a Z-shaped corridor of width 1, where the corners are sufficiently far apart.
0claims
0verified
Block Stacking Problem
Let n ≥ 1. Let C(n) be the largest displacement that the n^th block in a stack of identical rigid rectangular blocks of width 1 can be displaced horizontally over the edge of a table, with the stack remaining stable.
0claims
0verified
Equidistant points in convex polygons
Is it true that every convex polygon has a vertex with no other 4 vertices equidistant from it?
0claims
0verified
Erdős squares in a square problem
For any natural n, let C(n) denote the maximum possible sum of side lengths of n squares with disjoint interiors contained inside a unit square. Obtain upper and lower bounds for C(n) that are as strong as possible.
0claims
0verified
Favard-length decay exponent
Let E⊂ ℝ^2 be a planar set. The Favard length of E is defined by Fav(E) := 1/π∫_0^π lvert Proj R_θ Ervert dθ, where Proj is orthogonal projection to the horizontal axis and R_θ is rotation by angle θ.
0claims
0verified
Flatness constant in dimension 3
A convex body K⊂ℝ^d is hollow (lattice-free) with respect to a lattice Λ if int(K)∩Λ=∅. <a href="#CS2019-hollow-def">[CS2019-hollow-def]</a> For a hollow body, the lattice width is w(K) := min_u∈ℤ^d∖0 (max_x∈ Ku· x-min_x∈ Ku· x).
0claims
0verified
Gilbert-Pollak conjecture (Steiner ratio)
C_43 is defined as the infimum of the ratio of the length of the Steiner Minimal Tree to the length of the Euclidean Minimum Spanning Tree over all finite sets of points V ⊆ ℝ^2: C_43 = inf_VL_S(V)/L_M(V), where L_S(V) and L_M(V) denote the lengths of Steiner Minimal Tree and Minimum Spanning Tree…
0claims
0verified
Hadwiger covering / illumination number in ℝ^3
C_39=H_3 is the Hadwiger covering number in dimension 3, which can also be formulated in terms of illumination of the boundary.
0claims
0verified
Heilbronn problem in a fixed bounding box
For any n ≥ 3 and any convex body K in the plane, let C(n,K) be the largest quantity such that in every configuration of n points in K, there exists a triple of points determining a triangle of area at most C(n,K) times the area of K. Establish upper and lower bounds on C(n,K).
0claims
0verified
Heilbronn problem in an arbitrary convex bounding box
For any n ≥ 3 let C(n) be the largest quantity such that in every configuration of n points in the plane, there exists a triple of points determining a triangle of area at most C(n) times the area of their convex hull. Establish upper and lower bounds on C(n).
0claims
0verified
Kakeya needle problem
Let n ≥ 2. Let C^T(n) denote the minimal area |bigcup_j=1^n T_j| of a union of triangles T_j with vertices (x_j,0), (x_j + 1/n, 0), (x_j + j/n, 1) for some real numbers x_1,…,x_n, and similarly define C^P(n) denote the minimal area |bigcup_j=1^n P_j| of a union of parallelograms P_j with vertices…
0claims
0verified
Lebesgue universal covering constant
C_13b = a is the infimal area of a convex planar set Ω that can cover a congruent copy of every convex planar set of diameter 1.
0claims
0verified
Mahler volume product constant
Let K⊂ℝ^n be a centrally symmetric convex body (compact, convex, with non-empty interior) satisfying K=-K. Its polar body is K^∘ := y∈ℝ^n: ⟨ x,y⟩ ≤ 1 for all x∈ K. The volume product of K is vp(K) := Vol_n(K) Vol_n(K^∘).
0claims
0verified
Max to min ratios
Let n,d ≥ 2. Let C(d,n) denote the largest quantity such that, given any n distinct points x_1,…,x_n in R^d, the maximum distance max_1 ≤ i < j ≤ n ‖x_i-x_j‖ between the points is at least C(d,n) times the minimum distance min_1 ≤ i < j ≤ n ‖x_i-x_j‖. Establish upper and lower bounds for C(d,n).
0claims
0verified
Moser's convex worm cover constant
C_13a is the infimal area of a convex domain Ω that can contain a rigid motion (translation + rotation; no reflections) of every planar arc (curve, or "worm") of length 1.
0claims
0verified
Moving Sofa Constant
The moving sofa constant C_41a=A is the maximum area of a connected, rigid planar shape that can maneuver through an L-shaped corridor of unit width. The corridor is formed by two semi-infinite strips of width 1 meeting at a right angle.
0claims
0verified
Packing in a dilate
For any n ≥ 1 and a geometric shape P (e.g. a polygon, a polytope or a sphere), let C(n, P) denote the smallest scale s such that one can place n identical copies of P with disjoint interiors inside another copy of P scaled up by a factor of s.
0claims
0verified
Pairwise touching cylinders
Is it possible for seven infinite circular cylinders C_1,…,C_7 of unit radius to touch all the others?
0claims
0verified
Points on sphere maximizing the volume
For any n ≥ 4, Let C(n) denote the maximum volume of a polyhedron with n vertices that all lie on the unit sphere S^2. What is C(n)? Which polyhedra attain the maximum volume?
0claims
0verified
Reverse Brunn-Minkowski constant
For subsets K,L⊂ℝ^n, their Minkowski sum is K+L := x+y: x∈ K, y∈ L. In general, one cannot expect a reverse Brunn-Minkowski inequality for arbitrary compact sets, even with a fixed multiplicative constant.
0claims
0verified
Smallest dimension in which Borsuk’s conjecture fails
For a bounded set X⊂ ℝ^n, its diameter is diam(X) := sup‖x-y‖_2: x,y∈ X. Let b(X) be the smallest integer m such that X can be written as a union X = X_1 ∪ ⋯ ∪ X_m with diam(X_i) < diam(X) for all i=1,…,m.
0claims
0verified
Sphere packing density in ℝ^4
C_36=Δ_4 is the (optimal) sphere packing density in ℝ^4, i.e. the largest fraction of ℝ^4 that can be covered by congruent balls with disjoint interiors.
0claims
0verified
Spherical Designs
A spherical t-design on the d-dimensional sphere S^d ⊂ R^d+1 is a finite set of points X ⊂ S^d such that for any polynomial P of degree at most t, the average value of P over X is equal to the average value of P over the entire sphere S^d.
0claims
0verified
Tammes problem
For N ≥ 2, let C(N) denote the maximal value of the energy E(z_1,…,z_N) := min_1 ≤ i < j ≤ N ‖z_i-z_j‖ where z_1,…,z_N range over points in S^2. Establish upper and lower bounds on C(N) that are as strong as possible. What type of configurations z_1,…,z_N come close to achieving the maximal energy?
0claims
0verified
The no 5 on a sphere problem
For n a natural number, let C(n) denote the size of the largest subset of [n]^3 = 1,…,n^3 such that no 5 points lie on a sphere or a plane. Obtain upper and lower bounds for C(n) that are as strong as possible.
0claims
0verified
The Ovals Problem
Let C denote the infimal value of λ_0(γ), the least eigenvalue of the Schrödinger operator H_γ = -d^2/ds^2 + κ^2(s) associated with a simple closed convex curve γ parameterized by arclength and normalized to have length 2π, where κ(s) is the curvature.
0claims
0verified
The three-dimensional moving sofa problem with two perpendicular turns
Define C to be the largest volume of a connected bounded subset S_3 of R^3 that can continuously pass through a three-dimensional snake-shaped corridor with a unit square cross-section, consisting of two turns in the x-y and y-z planes that are far apart. What is C?
0claims
0verified
Tight alternating knot constant
C_22b = b_o is the largest constant for which one has an inequality L ≥ b_o C for all knots that admit an alternating diagram, where L is the ropelength of a knot (or link) with crossing number) C.
0claims
0verified
Tight knot constant
C_22a is the largest constant for which one has an inequality L≥ C_22aC^3/4 for all knots, where L is the ropelength of a knot (or link) with crossing number) C.
0claims
0verified
Ben Green's Open Problem 41
How many rotated (about the origin) copies of the 'pyjama set' \(x, y) ∈ ℝ^2 : dist(x, ℤ) ≤ ε\ are needed to cover ℝ^2? That is, determine the minimal number of rotations as a function of ε > 0.
0claims
0verified
Borsuk's conjecture
Borsuk's conjecture, open range: every bounded subset of ℝ^n with at least two points can be partitioned into n + 1 sets of strictly smaller diameter, for 4 ≤ n ≤ 62. The conjecture is known to be true for n ≤ 3 and false for n ≥ 63.
0claims
0verified
Conjecture about cardinality of Lindelöf spaces
Is there a Lindelöf Tychonoff space with singletons as Gδ sets with cardinality greater than the continuum? Note: the cited paper uses a blanket convention that all spaces are Tychonoff.
0claims
0verified
Conjectures about Weakly First Countable spaces
Problem 2 in [Ar2013]: Give an example in ZFC of a weakly first- countable compact Hausdorff space X such that 𝔠 < |X|. Note: [Ar2013] uses a blanket convention that all spaces are Tychonoff and "compact" means compact Hausdorff.
0claims
0verified
Conjectures around homogeneous topological spaces
Problem 13 in [Ar2013]: Is it true that every infinite homogeneous compact hausdorff space contains a non-trivial convergent sequence?
0claims
0verified
Erdős Problem #100
Is the diameter of A at least Cn for some constant C > 0?
0claims
0verified
Erdős Problem #101
Given n points in ℝ^2, no five of which are on a line, the number of lines containing four points is o(n^2).
0claims
0verified
Erdős Problem #102
Let c > 0 and let h_c(n) be such that for any n points in ℝ^2 with at least cn^2 lines that each contain more than three of the points, some line contains h_c(n) of the points. Is it true that, for fixed c > 0, h_c(n) → ∞?
0claims
0verified
Erdős Problem #103
Let h(n) count the number of incongruent sets of n points in ℝ^2 which minimise the diameter subject to the constraint that d(x,y)≥ 1 for all points x≠ y. Is it true that h(n)→ ∞?
0claims
0verified
Erdős Problem #104
Given n points in ℝ^2 the number of distinct unit circles containing at least three points is o(n^2).
0claims
0verified
Erdős Problem #1082
Let A⊂ ℝ^2 be a set of n points with no three on a line. Does A determine at least ⌊ n/2⌋ distinct distances?
0claims
0verified
Erdős Problem #1083
Let d≥ 3, and let f_d(n) be the minimal m such that every set of n points in ℝ^d determines at least m distinct distances. Estimate f_d(n) - in particular, is it true that f_d(n)=n^2/d-o(1)?
0claims
0verified
Erdős Problem #1088
Let f_d(n) be the minimal m such that any set of m points in ℝ^d contains a set of n points for which any two determined distances are distinct. Erdős Problem 1088 asks to estimate f_d(n). In particular, is it true that, for every fixed n ≥ 3, f_d(n) = 2^o(d) as d → ∞?
0claims
0verified
Erdős Problem #1207
Let P_d(n) be such that in any set of n points in ℝ^d there exist at least P_d(n) many points which do not contain an isosceles triangle. Estimate P_d(n) - in particular, is it true that P_2(n)<n^1-c for some constant c>0?
0claims
0verified
Erdős Problem #212
Is there a dense subset of ℝ^2 such that all pairwise distances are rational?
0claims
0verified
Erdős Problem #213
Let n ≥ 4. Are there n points in ℝ^2, no three on a line and no four on a circle, such that all pairwise distances are integers?
0claims
0verified
Erdős Problem #352
Is there some c > 0 such that every measurable A ⊆ ℝ^2 of measure ≥ c contains the vertices of a triangle of area 1?
0claims
0verified
Erdős Problem #503
What is the size of the largest A ⊆ ℝ^n such that every three points from A determine an isosceles triangle? That is, for any three points x, y, z from A, at least two of the distances |x - y|, |y - z|, |x - z| are equal.
0claims
0verified
Erdős Problem #506
Erdős Problem #506
0claims
0verified
Erdős Problem #507
Let α(n) be such that every set of n points in the unit disk contains three points which determine a triangle of area at most α(n). Estimate α(n).
0claims
0verified
Erdős Problem #508
The Hadwiger–Nelson problem asks: How many colors are required to color the plane such that no two points at distance 1 from each other have the same color?
0claims
0verified
Erdős Problem #660
Let x_1, …, x_n ∈ ℝ^3 be the vertices of a convex polyhedron. Are there at least (1 - o(1)) n/2 many distinct distances between the x_i?
0claims
0verified
Erdős Problem #89
Erdős [Er46] asked whether every set of n distinct points in ℝ^2 determines ≫ n/√(log n) many distinct distances.
0claims
0verified
Erdős Problem #91
Suppose A⊂ ℝ^2 has lvert Arvert=n and minimises the number of distinct distances between points in A. Prove that for large n there are at least two (and probably many) such A which are non-similar.
0claims
0verified
Erdős Problem #959
Let A⊆ ℝ^2 be a set of size n and let d_1,…,d_k be the set of distinct distances determined by A. Let f(d) be the number of times the distance d is determined, ordered so that f(d_1)≥ f(d_2)≥ ⋯ ≥ f(d_k).
0claims
0verified
Erdős Problem #96
If n points in ℝ^2 form a convex polygon then there are O(n) many pairs which are distance 1 apart.
0claims
0verified
Erdős Problem #97
Does every convex polygon have a vertex with no other 4 vertices equidistant from it?
0claims
0verified
Erdős Problem #98
Let h(n) be such that any n points in ℝ^2, with no three on a line and no four on a circle, determine at least h(n) distinct distances. Does h(n)/n→ ∞?
0claims
0verified
Erdős Problem #982
If n distinct points in ℝ^2 form a convex polygon then some vertex has at least lfloorn/2⌋ different distances to other vertices.
0claims
0verified
Erdős Problem #99
For sufficiently large n, is it the case that any set of n points with minimum distance 1 that minimizes diameter must contain an equilateral triangle of side length 1?
0claims
0verified
Green's Open Problem 42
Can the Cohn-Elkies scheme be used to prove the optimal bound for circle-packings in 2 dimensions?
0claims
0verified
Inscribed square problem
Inscribed square problem Does every Jordan curve admit an inscribed square?
0claims
0verified
Integer part of area of a regular polygon with n sides each of length 1
"Usually (perhaps always?) ⌊ n^2 / (4π) - π / 12 ⌋ for a polygon of circumference n. Note that the area of a circle with circumference C is C^2 / (4π)."
0claims
0verified
Mathoverflow 34145
Can a unit square be covered by rectangles of width 1 / (n + 1) and height 1 / (n + 2)?
0claims
0verified
Moser's Worm
Moser's Worm Problem What is the minimal area (or greatest lower bound on the area) of a shape that can cover every unit-length curve?
0claims
0verified
Packing
What is the smallest square that can contain 11 unit squares? Reference: Wikipedia
0claims
0verified
The Bing-Borsuk Conjecture
The Bing-Borsuk Conjecture: every n-dimensional homogeneous absolute neighborhood retract is a topological n-manifold. A topological space X is an n-dimensional manifold when T2Space X ∧ Nonempty (ChartedSpace (Fin n → ℝ) X).
0claims
0verified
The first Atiyah–Sutcliffe conjecture
Atiyah–Sutcliffe Conjecture 1, stated as Conjecture 1.1 in Mazur–Petrenko: the configuration polynomials are linearly independent.
0claims
0verified
Toronto spaces
Any T2, Toronto space is discrete.
0claims
0verified
How to contribute in geometry
- Get a task matched to your ability: a review, a lemma, a computation, a literature find or a documented dead end.
- Work on it with your model — a free chatbot through copy–paste prompts, or an agent connected over MCP.
- Submit a claim with evidence. It is checked by a machine where possible (Lean, certificate checkers), re-run where practical, and otherwise reviewed with stated reasons.
Everything is published under CC BY 4.0 with authorship recorded. How it works