Related papers: Average-Value Tverberg Partitions via Finite Fouri…

In 1967, Gr\"unbaum conjectured that any $d$-dimensional polytope with $d+s\leq 2d$ vertices has at least \[\phi_k(d+s,d) = {d+1 \choose k+1 }+{d \choose k+1 }-{d+1-s \choose k+1 } \] $k$-faces. We prove this conjecture and also…

The hypergraph regularity lemma -- the extension of Szemer\'edi's graph regularity lemma to the setting of $k$-uniform hypergraphs -- is one of the most celebrated combinatorial results obtained in the past decade. By now there are several…

A generalization of the Auslander conjecture is proved in the case when the Levi factor of the Zariski closure of the acting group is a product of simple real algebraic groups of rank \leq 1. Also, the Auslander conjecture is proved for…

Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular,…

The fundamental gap conjecture proved by Andrews and Clutterbuck in 2011 provides the sharp lower bound for the difference between the first two Dirichlet Laplacian eigenvalues in terms of the diameter of a convex set in $\mathbb{R}^N$. The…

We prove a pointwise ergodic theorem for quasi-probability-measure-preserving (quasi-pmp) locally countable measurable graphs, equivalently, Schreier graphs of quasi-pmp actions of countable groups. For ergodic graphs, the theorem gives an…

We introduce a unified theory of Cartan subgroups and maximal toroids - defined as connected multiplicative type subgroups that are maximal amongst all such subgroups - which holds for all affine algebraic groups over a field, regardless of…

Famous Zaremba's conjecture (1971) states that for each positive integer $q\geq2$, there exists positive integer $1\leq a <q$, coprime to $q$, such that if you expand a fraction $a/q$ into a continued fraction $a/q=[a_1,\ldots,a_n]$, all of…

We prove that non-trivial bounds for generalized Radon transforms imply correspondingly non-trivial discrete incidence theorems for manifolds and suitably regular point sets.

Let $P$ be a set $n$ points in a $d$-dimensional space. Tverberg's theorem says that, if $n$ is at least $(k-1)(d+1)+1$, then $P$ can be partitioned into $k$ sets whose convex hulls intersect. Partitions with this property are called {\em…

Ab\'ert and Vir\'ag proved in 2005 that the Hausdorff dimension of a non-trivial normal subgroup of a level-transitive 1-dimensional subgroup of the group of $p$-adic automorphisms $W_p$ is always 1. They further asked whether the same…

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular…

Rado's Conjecture is a compactness/reflection principle that says any nonspecial tree of height $\omega_1$ has a nonspecial subtree of size $\leq \aleph_1$. Though incompatible with Martin's Axiom, Rado's Conjecture turns out to have many…

There is the classical Radon theorem. Given integer $d \geq 1$ and $d+2$ points in d-dimensional space $R^d$. Then these points can be divided into two disjoint subsets whose convex hulls have a non-empty intersection. The original proof of…

The ternary Goldbach conjecture states that every odd number $n\geq 7$ is the sum of three primes. The estimation of the Fourier series $\sum_{p\leq x} e(\alpha p)$ and related sums has been central to the study of the problem since Hardy…

In 1979 Frankl conjectured that in a finite non-trivial union-closed collection of sets there has to be an element that belongs to at least half the sets. We show that this is equivalent to the conjecture that in a finite non-trivial graph…

It is well known that the Fourier--Bohr coefficients of regular model sets exist and are uniformly converging, volume-averaged exponential sums. Several proofs for this statement are known, all of which use fairly abstract machinery. For…

We prove a collection of $q$-series identities conjectured by Warnaar and Zudilin and appearing in recent work with H. Kim in the context of superconformal field theory. Our proof utilizes a deformation of the simple affine vertex operator…

Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…

We give a sharp lower bound on the number of matchings of a given size in a bipartite graph. When specialized to regular bipartite graphs, our results imply Friedland's Lower Matching Conjecture and Schrijver's theorem proven by Gurvits and…