arXiv++ Combinatorics

We produce new upper and lower bounds for the s-Frobenius number by relating it to the so called s-covering radius of a certain convex body with respect to a certain lattice; this generalizes a well-known theorem of R. Kannan for the classical Frobenius number. Using these bounds, we obtain results on the average behavior of the s-Frobenius number, extending analogous recent investigations for the classical Frobenius number by a variety of authors. We also derive bounds on the s-covering radius, an interesting geometric quantity in its own right.

We study the problem of covering R^d by overlapping translates of a convex body P, such that almost every point of R^d is covered exactly k times. Such a covering of Euclidean space by translations is called a k-tiling. The investigation of tilings (i.e. 1-tilings in this context) by translations began with the work of Fedorov and Minkowski. Here we extend the investigations of Minkowski to k-tilings by proving that if a convex body k-tiles R^d by translations, then it is centrally symmetric, and its facets are also centrally symmetric. These are the analogues of Minkowski's conditions for 1-tiling polytopes. Conversely, in the case that P is a rational polytope, we also prove that if P is centrally symmetric and has centrally symmetric facets, then P must k-tile R^d for some positive integer k.

We prove that if $φ: {\Bbb R}^d \times {\Bbb R}^d \to {\Bbb R}$, $d \ge 2$, is a homogeneous function, smooth away from the origin and having non-zero Monge-Ampere determinant away from the origin, then $$ R^{-d} # \{(n,m) \in {\Bbb Z}^d \times {\Bbb Z}^d: |n|, |m| \leq CR; R \leq φ(n,m) \leq R+δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}.$$ This is a variable coefficient version of a result proved by Lettington in \cite{L10}, extending a previous result by Andrews in \cite{A63}, showing that if $B \subset {\Bbb R}^d$, $d \ge 2$, is a symmetric convex body with a sufficiently smooth boundary and non-vanishing Gaussian curvature, then $$ # \{k \in {\mathbb Z}^d: dist(k, R \partial B) \leq δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}. (*)$$ Furthermore, we shall see that the same argument yields a non-isotropic analog of $(*)$, one for which the exponent on the right hand side is, in general, sharp, even in the infinitely smooth case. This sheds some light on the nature of the exponents and their connection with the conjecture due to Wolfgang Schmidt on the distribution of lattice points on dilates of smooth convex surfaces in ${\Bbb R}^d$.

We describe an efficient algorithm to compute a pseudotriangulation of a finite planar family of pairwise disjoint convex bodies presented by its chirotope. The design of the algorithm relies on a deepening of the theory of visibility complexes and on the extension of that theory to the setting of branched coverings. The problem of computing a pseudotriangulation that contains a given set of bitangent line segments is also examined.

We show that up to unimodular equivalence there are only finitely many d-dimensional lattice polytopes without interior lattice points that do not admit a lattice projection onto a (d-1)-dimensional lattice polytope without interior lattice points. This was conjectured by Treutlein. As an immediate corollary, we get a short proof of a recent result of Averkov, Wagner and Weismantel, namely the finiteness of the number of maximal lattice polytopes without interior lattice points. Moreover, we show that in dimension four and higher some of these finitely many polytopes are not maximal as convex bodies without interior lattice points.

We extend the classical LR characterization of chirotopes of finite planar families of points to chirotopes of finite planar families of pairwise disjoint convex bodies: a map \c{hi} on the set of 3-subsets of a finite set I is a chirotope of finite planar families of pairwise disjoint convex bodies if and only if for every 3-, 4-, and 5-subset J of I the restriction of \c{hi} to the set of 3-subsets of J is a chirotope of finite planar families of pairwise disjoint convex bodies. Our main tool is the polarity map, i.e., the map that assigns to a convex body the set of lines missing its interior, from which we derive the key notion of arrangements of double pseudolines, introduced for the first time in this paper.

We prove several results of the following type: any $d$ measures in $\mathbb R^d$ can be partitioned simultaneously into $k$ equal parts by a convex partition (this particular result is proved independently by Pablo Soberón). Another example is: Any convex body in the plane can be partitioned into $q$ parts of equal areas and perimeters provided $q$ is a prime power. The above results give a partial answer to several questions posed by A. Kaneko, M. Kano, R. Nandakumar, N. Ramana Rao, and I. Bárány. The proofs in this paper are inspired by the generalization of the Borsuk--Ulam theorem by M. Gromov and Y. Memarian. The main tolopogical tool in proving these facts is the lemma about the cohomology of configuration spaces originated in the work of V.A. Vasil'ev. A newer version of this paper, merged with the similar paper of A. Hubard and B. Aronov is {arXiv:1306.2741}.

Generalizing results by Valette, Zamfirescu and Laczkovich, we will prove that a convex body $K$ is a polytope if there are sufficiently many tilings which contain a tile similar to $K$. Furthermore, we give an example that this can not be improved.

We generalize the ham sandwich theorem for the case of well separated measures. Given convex bodies $K_1,...,K_d$ in $\mathbb{R_d}$ and numbers $α_1,...,α_d \in [0, 1]$, we give a sufficient condition for existence and uniqueness of an (oriented)halfspace H with Vol($H \cap K_i$)= $α_i \dot$ Vol$K_i$ for every i. The result is extended from convex bodies to measures.

We give new bounds on the Erdos-Szekeres theorems for convex bodies of Bisztriczky and Fejes Toth and of Pach and Toth. We derive them from a combinatorial characterization of convex position of a family of planar convex bodies. This characterization confirms that the concept of Order Type for points can be extended to noncrossing families of convex bodies in a geometrically meaningful way.

In this paper we prove the Gromov--Milman conjecture (the Dvoretzky type theorem) for homogeneous polynomials on $\mathbb R^n$, and improve bounds on the number $n(d,k)$ in the analogous conjecture for odd degrees $d$ (this case is known as the Birch theorem) and complex polynomials. We also consider a stronger conjecture on the homogeneous polynomial fields in the canonical bundle over real and complex Grassmannians. This conjecture is much stronger and false in general, but it is proved in the cases of $d=2$ (for $k$'s of certain type), odd $d$, and the complex Grassmannian (for odd and even $d$ and any $k$). Corollaries for the John ellipsoid of projections or sections of a convex body are deduced from the case $d=2$ of the polynomial field conjecture.

Based on the work of Okounkov (\cite{Ok96}, \cite{Ok03}), Lazarsfeld and Musta\c t\u a (\cite{LM08}) and Kaveh and Khovanskii (\cite{KK08}) have independently associated a convex body, called the Okounkov body, to a big divisor on a smooth projective variety with respect to a complete flag. In this paper we consider the following question: what can be said about the set of convex bodies that appear as Okounkov bodies? We show first that the set of convex bodies appearing as Okounkov bodies of big line bundles on smooth projective varieties with respect to admissible flags is countable. We then give a complete characterisation of the set of convex bodies that arise as Okounkov bodies of $\R$-divisors on smooth projective surfaces. Such Okounkov bodies are always polygons, satisfying certain combinatorial criteria. Finally, we construct two examples of non-polyhedral Okounkov bodies. In the first one, the variety we deal with is Fano and the line bundle is ample. In the second one, we find a Mori dream space variety such that under small perturbations of the flag the Okounkov body remains non-polyhedral.

Minkowski's second theorem on successive minima gives an upper bound on the volume of a convex body in terms of its successive minima. We study the problem to generalize Minkowski's bound by replacing the volume by the lattice point enumerator of a convex body. In this context we are interested in bounds on the coefficients of Ehrhart polynomials of lattice polytopes via the successive minima. Our results for lattice zonotopes and lattice-face polytopes imply, in particular, that for 0-symmetric lattice-face polytopes and lattice parallelepipeds the volume can be replaced by the lattice point enumerator.

In this paper we prove, for all $d \ge 2$, that for no $s<\frac{d+1}{2}$ does $I_s(μ)<\infty$ imply the canonical Falconer distance problem incidence bound, or the analogous estimate where the Euclidean norm is replaced by the norm generated by a particular convex body $B$ with a smooth boundary and everywhere non-vanishing curvature. Our construction, based on a combinatorial construction due to Pavel Valtr naturally leads us to some interesting connections between the problem under consideration, geometric incidence theorem in the discrete setting and distribution of lattice points in convex domains. We also prove that an example by Mattila can be discretized to produce a set of points and annuli for which the number of incidences is much greater than in the case of the lattice. In particular, we use the known results on the Gauss Circle Problem and a discretized version of Mattila's example to produce a non-lattice set of points and annuli where the number of incidences is much greater than in the case of the standard lattice. Finally, we extend Valtr's example into the setting of vector spaces over finite fields and show that a finite field analog of the key incidence bound is also sharp.

Let $H_d$ denote the smallest integer $n$ such that for every convex body $K$ in $\Re^d$ there is a $0<λ< 1$ such that $K$ is covered by $n$ translates of $λK$. In the book \emph{Research problems in discrete geometry.} by Brass, Moser and Pach, the following problem was posed: Is there a $0<λ_d<1$ depending on $d$ only with the property that every convex body $K$ in $\Re^d$ is covered by $H_d$ translates of $λ_d K$? We prove the affirmative answer to the question and hence show that the Gohberg--Markus--Boltyanski--Hadwiger Conjecture (according to which $H_d\leq 2^d$) holds if, and only if, a formally stronger version of it holds.

We show that the number of lattice directions in which a d-dimensional convex body in R^d has minimum width is at most 3^d-1, with equality only for the regular cross-polytope. This is deduced from a sharpened version of the 3^d-theorem due to Hermann Minkowski (22 June 1864--12 January 1909), for which we provide two independent proofs.

In his work on log-concavity of multiplicities, Okounkov showed in passing that one could associate a convex body to a linear series on a projective variety, and then use convex geometry to study such linear systems. Although Okounkov was essentially working in the classical setting of ample line bundles, it turns out that the construction goes through for an arbitrary big divisor. Moreover, this viewpoint renders transparent many basic facts about asymptotic invariants of linear series, and opens the door to a number of extensions. The purpose of this paper is to initiate a systematic development of the theory, and to give a number of applications and examples.

A theorem of Kushnirenko and Bernstein shows that the number of isolated roots of a system of polynomials in a torus is bounded above by the mixed volume of the Newton polytopes of the given polynomials, and this upper bound is generically exact. We improve on this result by introducing refined combinatorial invariants of polynomials and a generalization of the mixed volume of convex bodies: the mixed integral of concave functions. The proof is based on new techniques and results from relative toric geometry.

The Andreev-Thurston Circle Packing Theorem is generalized to packings of convex bodies in planar simply connected domains. This turns out to be a useful tool for constructing conformal and quasiconformal mappings with interesting geometric properties. We attempt to illustrate this with a few results about uniformizations of finitely connected planar domains. For example, the following variation of a theorem by Courant, Manel and Shiffman is proved and generalized. If $G$ is an $n+1$-connected bounded planar domain, $H$ is a simply connected bounded planar domain, and $P_1,P_2,...,P_n$ are (compact) planar convex bodies, then sets $P_j'$ can be found so that $G$ is conformally equivalent to $H-\cup_{j=1}^n P_j'$, and each $P_j'$ is either a point, or is positively homothetic to $P_j$.

A classical theorem of Fritz John allows one to describe a convex body, up to constants, as an ellipsoid. In this article we establish similar descriptions for generalized (i.e. multidimensional) arithmetic progressions in terms of proper (i.e. collision-free) generalized arithmetic progressions, in both torsion-free and torsion settings. We also obtain a similar characterization of iterated sumsets in arbitrary abelian groups in terms of progressions, thus strengthening and extending recent results of Szemerédi and Vu.