Related papers: The strong thirteen spheres problem
We wish to draw attention to an interesting and promising interaction of two theories. On the one hand, it is the theory of \textbf{pseudo-triangulations} which was useful for implicit solution of thecarpenter's rule problem and proved…
There exists "a square problem": in a unit square is there a point with four rational distances to the vertices? This problem is still regarded as unproved. Yang showed proofs for several special cases of the square problem. By the…
Traves and Wehlau recently gave a straightedge construction that checks whether 10 points lie on a plane cubic curve. They also highlighted several open problems in the synthetic geometry of cubics. Hermann Grassmann investigated incidence…
The sphere packing problem asks for the greatest density of a packing of congruent balls in Euclidean space. The current best upper bound in all sufficiently high dimensions is due to Kabatiansky and Levenshtein in 1978. We revisit their…
When considering geometry, one might think of working with lines and circles on a flat plane as in Euclidean geometry. However, doing geometry in other spaces is possible, as the existence of spherical and hyperbolic geometry demonstrates.…
V. Arnold's problem 1987-14 asks whether there exist smooth hypersurfaces in $R^N$ (other than the conics in odd-dimensional spaces) for which the volume of the segment cut by any hyperplane from the body bounded by such a hypersurface is…
We show that a nontrivial graph isomorphism problem of two undirected graphs, and more generally, the permutation similarity of two given $n\times n$ matrices, is equivalent to equalities of volumes of the induced three convex bounded…
We will introduce a method to get all universal Hermitian lattices over imaginary quadratic fields over $\mathbb{Q}(\sqrt{-m})$ for all m. For each imaginary quadratic field $\mathbb{Q}(\sqrt{-m})$, we obtain a criterion on universality of…
We describe an algorithm to enumerate polytopes. This algorithm is then implemented to give a complete classification of combinatorial spheres of dimension 3 with 9 vertices and decide polytopality of those spheres. In particular, we…
Triply Special Relativity is a deformation of Special Relativity based on three fundamental parameters, that describes a noncommutative geometry on a curved spacetime, preserving the Lorentz invariance and the principle of relativity. Its…
In the late 90's, Tom Wolff introduced the circle tangency counting problem in his expository article on the Kakeya conjecture. For collections of well-spaced circles, we break the $N^{3/2}$-barrier, proving that a set of $N$ well-spaced…
This paper attacks the following problem. We are given a large number $N$ of rectangles in the plane, each with horizontal and vertical sides, and also a number $r<N$. The given list of $N$ rectangles may contain duplicates. The problem is…
We consider spherically symmetric motions of inviscid compressible gas surrounding a solid ball under the gravity of the core. Equilibria touch the vacuum with finite radii, and the linearized equation around one of the equilibria has…
In 1975, P. Erd\H{o}s proposed the problem of determining the maximum number $f(n)$ of edges in a graph on $n$ vertices in which any two cycles are of different lengths. Let $f^{\ast}(n)$ be the maximum number of edges in a simple graph on…
We solve Blaschke's problem for hypersurfaces of dimension $n\geq 3$. Namely, we determine all pairs of Euclidean hypersurfaces $f,\tilde{f}\colon M^n\to\R^{n+1}$ that induce conformal metrics on $M^n$ and envelope a common sphere…
We solve the isoperimetric problem in the Lens spaces with large fundamental group. Namely, we prove that the isoperimetric surfaces are geodesic spheres or tori of revolution about geodesics. We also show that the isoperimetric problem in…
Systems of identical particles with equal charge are studied under a special type of confinement. These classical particles are free to move inside some convex region S and on the boundary of it $\Omega$ (the $S^{d-1}-$ sphere, in our…
Linnik proved in the late 1950's the equidistribution of integer points on large spheres under a congruence condition. The congruence condition was lifted in 1988 by Duke (building on a break-through by Iwaniec) using completely different…
We construct an infinite family of 4-polytopes whose realization spaces have dimension smaller or equal to 96. This in particular settles a problem going back to Legendre and Steinitz: whether and how the dimension of the realization space…
Special generic maps are smooth maps between smooth manifolds with only definite fold points as their singularities. The problem of whether a closed $n$-manifold admits a special generic map into Euclidean $p$-space for $1 \leq p \leq n$…