Related papers: Sufficiency of simplex inequalities

We define an invariant, which we call surface-complexity, of compact 3-manifolds by means of Dehn surfaces. The surface-complexity is a natural number measuring how much the manifold is complicated. We prove that it fulfils interesting…

Existence of symmetric (resp. asymmetric) solutions to the $L_p$ Gaussian Minkowski problem for $p\leq 0$ (resp. $p\geq 1$) will be provided. Moreover, existence and uniqueness of smooth solutions to the problem for $p>n$ will also be…

For positive integers $n,d$, let $\lambda(n,d)$ be the minimal number of vertices of a triangulation of $n$-sphere which admits a degree $d$ simplicial map to the boundary of $(n+1)$-simplex. We show that…

Lines and circles pose significant scalability challenges in synthetic geometry. A line with $n$ points implies ${n \choose 3}$ collinearity atoms, or alternatively, when lines are represented as functions, equality among ${n \choose 2}$…

We show that codimension one dimensional Jacobian of the barycentric straightening map is uniformly bounded for most of the higher rank symmetric spaces. As a consequence, we prove that the locally finite simplicial volume of most $\mathbb…

For k>=3 let A \subset [1,N] be a set not containing a solution to a_1 x_1+...+a_k x_k=a_1 x_{k+1}+...+a_k x_{2k} in distinct integers. We prove that there is an epsilon>0 depending on the coefficients of the equation such that every such A…

We prove the joints conjecture, showing that for any $N$ lines in ${\Bbb R}^3$, there are at most $O(N^{{3 \over 2}})$ points at which 3 lines intersect non-coplanarly. We also prove a conjecture of Bourgain showing that given $N^2$ lines…

Since the answer to the complex Busemann-Petty problem is negative in most dimensions, it is natural to ask what conditions on the (n-1)-dimensional volumes of the central sections of complex convex bodies with complex hyperplanes allow to…

We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…

The Busemann-Petty problem asks whether origin symmetric convex bodies in $\R^n$ with smaller hyperplane sections necessarily have smaller volume. The answer is affirmative if $n\leq 3$ and negative if $n\geq 4.$ We consider a class of…

We determine exactly which positive rational numbers occur as squared edge lengths of regular $d$-simplices with vertices in $\mathbb{Q}^n$. The answer exhibits a sharp stabilization phenomenon: once $n-d\geq 3$, every positive rational…

In this article we prove two cases of the abundance conjecture for $3$-folds in characteristic $p>5$: $(i)$ $(X, \Delta)$ is KLT and $\kappa(X, K_X+\Delta)=1$, and $(ii)$ $(X, 0)$ is KLT, $K_X\equiv 0$ and $X$ is not uniruled.

In a famous short paper, Conway and Soifer show that $n^2 + 2$ equilateral triangles with edge length 1 can cover one with side $n + \epsilon$. We provide a generalization to $d$ dimensions.

Eberhard proved that for every sequence $(p_k), 3\le k\le r, k\ne 5,7$ of non-negative integers satisfying Euler's formula $\sum_{k\ge3} (6-k) p_k = 12$, there are infinitely many values $p_6$ such that there exists a simple convex…

Makeev conjectured that every constant-width body is inscribed in the dual difference body of a regular simplex. We prove that homologically, there are an odd number of such circumscribing bodies in dimension 3, and therefore geometrically…

The (n,k)-hypersimplex is the convex hull of all 0/1-vectors of length n with coordinate sum k. We explicitly determine the extension complexity of all hypersimplices as well as of certain classes of combinatorial hypersimplices. To that…

It is proved that if $u_1,\ldots, u_n$ are vectors in ${\Bbb R}^k, k\le n, 1 \le p < \infty$ and $$r = ({1\over k} \sum ^n_1 |u_i|^p)^{1\over p}$$ then the volume of the symmetric convex body whose boundary functionals are $\pm u_1,\ldots,…

We connect k-triangulations of a convex n-gon to the theory of Schubert polynomials. We use this connection to prove that the simplicial complex with k-triangulations as facets is a vertex-decomposable triangulated sphere, and we give a new…

If n points B_1,---,B_n$ in the standard simplex \Delta_n are affinely independent, then they can span an (n-1)-simplex denoted by \Lambda=Con(B_1,---,B_n). Here \Lambda corresponds to an n*n matrix [\Lambda] whose columns are B_1,---,B_n.…