Related papers: The Extremal Spheres Theorem
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…
In this work, the classical Borsuk conjecture is discussed, which states that any set of diameter 1 in the Euclidean space $ {\mathbb R}^d $ can be divided into $ d+1 $ parts of smaller diameter. During the last two decades, many…
A classical result in extremal graph theory is Mantel's Theorem, which states that every maximum triangle-free subgraph of $K_n$ is bipartite. A sparse version of Mantel's Theorem is that, for sufficiently large $p$, every maximum…
An ordinary hypersphere of a set of points in real $d$-space, where no $d+1$ points lie on a $(d-2)$-sphere or a $(d-2)$-flat, is a hypersphere (including the degenerate case of a hyperplane) that contains exactly $d+1$ points of the set.…
Given a finite collection P of convex n-polytopes in RP^n (n>1), we consider a real projective manifold M which is obtained by gluing together the polytopes in P along their facets in such a way that the union of any two adjacent polytopes…
In 1988, Kalai extended a construction of Billera and Lee to produce many triangulated (d-1)-spheres. In fact, in view of upper bounds on the number of simplicial d-polytopes by Goodman and Pollack, he derived that for every dimension d>=5,…
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a finite set of balls in Euclidean space is repositioned so that…
We establish sharp universal upper bounds on the length of the shortest closed geodesic on a punctured sphere with three or four ends endowed with a complete Riemannian metric of finite area. These sharp curvature-free upper bounds are…
Let M be a complete Riemannian manifold whose sectional curvature is bounded above by 1. We say that M has positive spherical rank if along every geodesic one hits a conjugate point at t=\pi. The following theorem is then proved: If M is a…
We consider extremal black hole solutions to the vacuum Einstein equations in dimensions greater than five. We prove that the near-horizon geometry of any such black hole must possess an SO(2,1) symmetry in a special case where one has an…
The Monotone Upper Bound Problem (Klee, 1965) asks if the number M(d,n) of vertices in a monotone path along edges of a d-dimensional polytope with n facets can be as large as conceivably possible: Is M(d,n) = M_{ubt}(d,n), the maximal…
We prove new upper and lower bounds on transversal numbers of several classes of simplicial complexes. Specifically, we establish an upper bound on the transversal numbers of pure simplicial complexes in terms of the number of vertices and…
In this paper, claims by Lemmens and Seidel in 1973 about equiangular sets of lines with angle $1/5$ are proved by carefully analyzing pillar decompositions, with the aid of the uniqueness of two-graphs on $276$ vertices. The Neumann…
Inversive geometry can be used to generate exactly self-similar space-filling sphere packings. We present a construction method in two dimensions and generalize it to search for packings in higher dimensions. We newly discover 29…
Let $g : X \to Y$ be the contraction of an extremal ray of a smooth projective 4-fold $X$ such that $\dim Y=3$. Then $g$ may have a finite number of 2-dimensional fibers. We shall classify those fibers. Especially we shall prove that any…
The Spectral Edges Conjecture is a well-known and widely believed conjecture in the theory of discrete periodic operators. It states that the extrema of the dispersion relation are isolated, non-degenerate, and occur in a single band. We…
If K is an odd-dimensional flag closed manifold, flag generalized homology sphere or a more general flag weak pseudomanifold with sufficiently many vertices, then the maximal number of edges in K is achieved by the balanced join of cycles.…
In this paper, we prove that, for any integer $n\ge 2,$ there exists an $\epsilon_{n} \ge 0$ so that if $M$ is an n-dimensional complete manifold with sectional curvature $ K_{M}\ge 1$ and if $M$ has conjugate radius bigger than…
We investigate the group of points of the $3$-sphere modulo a prime, point out connections to other known groups and the Chebyshev polynomials, and show that there is an infinite series which converges if and only if there are finitely many…
Spherical configurations that are very massive must be surrounded by apparent horizons. These in turn, when placed outside a collapsing body, have a fixed area and must propagate outward with a velocity equal to the velocity of radially…