Related papers: An approximate isoperimetric inequality for r-sets

We show that if $\mathcal{A} \subset {[n] \choose n/2}$ with measure bounded away from zero and from one, then the $\Omega(\sqrt{n})$-iterated upper shadows of $\mathcal{A}$ and $\mathcal{A}^c$ intersect in a set of positive measure. This…

We consider the edge- and vertex-isoperimetric probem on finite and infinite hexagonal grids: For a subset W of the hexagonal grid of given cardinality, we give a lower bound for the number of edges between W and its complement, and lower…

A path system $\mathscr{P}$ in a graph $G=(V,E)$ is a collection of paths, with exactly one path between any two vertices in $V$. A path system is said to be consistent if it is closed under subpaths. We say that a path system $\mathscr{P}$…

Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to…

Let $\varepsilon>0$. We construct an explicit, full-measure set of $\alpha \in[0,1]$ such that if $\gamma \in \mathbb{R}$ then, for almost all $\beta \in[0,1]$, if $\delta \in \mathbb{R}$ then there are infinitely many integers $n\geq 1$…

We prove the following asymptotically tight lower bound for $k$-color discrepancy: For any $k \geq 2$, there exists a hypergraph with $n$ hyperedges such that its $k$-color discrepancy is at least $\Omega(\sqrt{n})$. This improves on the…

A famous conjecture of Ryser states that every $r$-partite hypergraph has vertex cover number at most $r - 1$ times the matching number. In recent years, hypergraphs meeting this conjectured bound, known as $r$-Ryser hypergraphs, have been…

We prove isoperimetric inequalities for quotients of $n$-dimensional Affine buildings. We use these inequalities to prove topological overlapping for the 2-dimensional skeletons of these buildings.

For a bounded metric space $ X $ one can consider the quantity $ \delta(X) := \text{inf\rule[-0.5ex]{0em}{1ex}}_{\,p\in X}\; \text{sup}_{q \in X} \; d(p,q) $. This purely metric invariant is known from approximation theory as the relative…

We prove an isoperimetric inequality of the Rayleigh-Faber-Krahn type for a nonlinear generalization of the first twisted Dirichlet eigenvalue. More precisely, we show that the minimizer among sets of given volume is the union of two equal…

Fix an integer $r\geq 3$. We consider metric spaces on $n$ points such that the distance between any two points lies in $\{1,..., r\}$. Our main result describes their approximate structure for large $n$. As a consequence, we show that the…

We show that any family of subsets $A\subseteq 2^{[n]}$ satisfies $\lvert A\rvert \leq O\bigl(n^{\lceil{d}/{2}\rceil}\bigr)$, where $d$ is the VC dimension of $\{S\triangle T \,\vert\, S,T\in A\}$, and $\triangle$ is the symmetric…

In this paper we consider the isoperimetric problem with double density in an Euclidean space, that is, we study the minimisation of the perimeter among subsets of $\mathbb{R}^n$ with fixed volume, where volume and perimeter are relative to…

Let $F_1,\dotsc,F_R$ be quadratic forms with integer coefficients in $n$ variables. When $n\geq 9R$ and the variety $V(F_1,\dotsc,F_R)$ is a smooth complete intersection, we prove an asymptotic formula for the number of integer points in an…

A family of sets is intersecting if any two sets in the family intersect. Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, let…

Let $\Theta=(\alpha,\beta)$ be a point in $\bR^2$, with $1,\alpha,\beta$ linearly independent over $\bQ$. We attach to $\Theta$ a quadruple $\Omega(\Theta)$ of exponents which measure the quality of approximation to $\Theta$ both by…

Diagrammatic reducibility DR and its generalization vertex asphericity VA are combinatorial tools developed for detecting asphericity of a 2-complex. Here we present tests for a relative version of VA that apply to pairs of 2-complexes…

Using elementary comparison geometry, we prove: Let $(M,g)$ be a simply-connected complete Riemannian manifold of dimension $\ge 3$. Suppose that the sectional curvature $K$ satisfies $ -1-s(r) \le K \le -1$, where $r$ denotes distance to a…

We show that the isomorphism induced by the inclusion of pairs $(X,\emptyset)\subset (X,Y)$ between the relative bounded cohomology of $(X,Y)$ and the bounded cohomology of $X$ is isometric in degree at least 2 if the fundamental group of…

A subset $C$ of the vertex set of a graph $\Gamma$ is said to be $(\alpha,\beta)$-regular if $C$ induces an $\alpha$-regular subgraph and every vertex outside $C$ is adjacent to exactly $\beta$ vertices in $C$. In particular, if $C$ is an…