arXiv++ Combinatorics

Given an ordered tuple $\mathbf v=(v_0,\ldots,v_d)$ of vectors in $\mathbb{R}^d$, let $A_{\mathbf v}=[\,v_1-v_0\ \cdots\ v_d-v_0\,]$ be its edge matrix. We prove that, in every finite colouring of $\mathbb{R}^d$, one colour class realizes every prescribed value of the higher characteristic coefficients \[ (c_2(A_{\mathbf v}),\ldots,c_d(A_{\mathbf v})). \] This extends Graham's theorem on volumes, which corresponds to the last coefficient $c_d(A_{\mathbf v})=\det(A_{\mathbf v})$. We also prove a discrete analogue: if $E\subseteq\mathbb{Z}^d$ has positive upper Banach density, then, for some $q\geq 1$, the set of coefficient tuples realized by ordered tuples in $E$ contains \[ q^2\mathbb{Z}\times q^3\mathbb{Z}\times\cdots\times q^d\mathbb{Z}. \] Finally, we show that the ordinary trace $c_1(A_{\mathbf v})$ cannot be added to these conclusions. The proof combines a quantitative directional expansion result for ergodic actions of free abelian groups with a trace calculation for a family of model edge matrices.

This paper introduces and studies the Ehrhart spectrum of a set $E \subseteq \mathbb{Z}^r$, defined as the set of all Ehrhart polynomials of simplices with vertices in $E$, generalizing the notion of volume spectrum. We show that for any $E \subseteq \mathbb{Z}^r$ with positive upper Banach density, there is some $n \in \mathbb{Z}^r$ such that the Ehrhart spectrum of $n \mathbb{Z}^r$ is contained in the Ehrhart spectrum of $E$, generalizing an earlier result by the first and third author for the volume spectrum of $E$.

An extension of Szemerédi's Theorem is proved for sets of positive density in approximate lattices in general locally compact and second countable abelian groups. As a consequence, we establish a recent conjecture of Klick, Strungaru and Tcaciuc. Via a novel version of Furstenberg's Correspondence principle, which should be of independent interest, we show that our Szemerédi Theorems can be deduced from a general \emph{transverse} multiple recurrence theorem, which we establish using recent works of Austin.

In this paper we study ergodic $\mathbb{Z}^r$-actions and investigate expansion properties along cyclic subgroups. We show that under some spectral conditions there are always directions which expand significantly a given measurable set with positive measure. Among other things, we use this result to prove that the set of volumes of all $r$-simplices with vertices in a set with positive upper density must contain an infinite arithmetic progression, thus showing a discrete density analogue of a classical result by Graham.

We answer a question of Hegyvári and Ruzsa concerning effective estimates of the Bohr-regularity of certain triple sums of sets with positive upper Banach densities in the integers. Our proof also works for any discrete amenable group, and it does not require all addends in the triple products we consider to have positive (left) upper Banach densities; one of the addends is allowed to only have positive upper asymptotic density with respect to a (possibly very sparse) ergodic sequence.

Let $E \subset \mathbb{Z}^N$ be a set of positive upper Banach density and let $Γ< \operatorname{GL}_N(\mathbb{Z})$ be a finitely generated, strongly irreducible subgroup whose Zariski closure in $\operatorname{GL}_N(\mathbb{R})$ is a Zariski connected semisimple group with no compact factors. Let $Y$ be any set and suppose that $Ψ: \mathbb{Z}^N \rightarrow Y$ is a $Γ$-invariant function. We prove that for every positive integer $m$, there exists a positive integer $k$ with the property that for every finite set $F \subset \mathbb{Z}^N$ with $|F| = m$, we have \[ Ψ(kF) \subset Ψ(E-b) \quad \textrm{for some $b \in E$}. \] Furthermore, if $E$ is an aperiodic Bohr$_o$-set, we can choose $k = 1$ and $b = 0$. As one of many applications of this result, we show that if $E_o \subset \mathbb{Z}$ has positive upper Banach density, then, for any integer $m$, there exists an integer $k$ with the property for \emph{every} finite set $F \subset \mathbb{Z}$, we can find $x,y,z \in E_o$ such that \[ k^2 F \subset \big\{ (u-x)^2 + (v-y)^2 - (w-z)^2 \, : \, u,v,w \in E_o \big\}. \] In particular, if $E_o \subset \mathbb{Z}$ is an aperiodic Bohr$_o$-set, then every integer can be written on the form $u^2 + v^2 - w^2$ for some $u,v,w \in E_o$. Our techniques use recent results by Benoist-Quint and Bourgain-Furman-Lindenstrauss-Mozes on equidistribution of random walks on automorphism groups of tori.

We show that for every subset $E$ of positive density in the set of integer square-matrices with zero traces, there exists an integer $k \geq 1$ such that the set of characteristic polynomials of matrices in $E-E$ contains the set of \emph{all} characteristic polynomials of integer matrices with zero traces and entries divisible by $k$. Our theorem is derived from results by Benoist-Quint on measure rigidity for actions on homogeneous spaces.

The McMullen Correspondence gives a linear dependence between M-sequences of length |d/2|+1 and f-vectors of simplical d-polytopes. Denote the transfer matrix between g and f by M_d. Recently, Bjorner proved that any 2x2-minor of M_d is nonnegative and conjectured that the same would be true for arbitrary minors. In this paper we answer the question in the affirmative.