-
Sharp Quantitative Stability for the Prékopa-Leindler and Borell-Brascamp-Lieb Inequalities
Authors:
Alessio Figalli,
Peter van Hintum,
Marius Tiba
Abstract:
The Borell-Brascamp-Lieb inequality is a classical extension of the Prékopa-Leindler inequality, which in turn is a functional counterpart of the Brunn-Minkowski inequality. The stability of these inequalities has received significant attention in recent years. Despite substantial progress in the geometric setting, a sharp quantitative stability result for the Prékopa-Leindler inequality has remai…
▽ More
The Borell-Brascamp-Lieb inequality is a classical extension of the Prékopa-Leindler inequality, which in turn is a functional counterpart of the Brunn-Minkowski inequality. The stability of these inequalities has received significant attention in recent years. Despite substantial progress in the geometric setting, a sharp quantitative stability result for the Prékopa-Leindler inequality has remained elusive, even in the special case of log-concave functions. In this work, we provide a unified and definitive stability framework for these foundational inequalities. By establishing the optimal quantitative stability for the Borell-Brascamp-Lieb inequality in full generality, we resolve the conjectured sharp stability for the Prékopa-Leindler inequality as a particular case. Our approach builds on the recent sharp stability results for the Brunn-Minkowski inequality obtained by the authors.
△ Less
Submitted 8 January, 2025;
originally announced January 2025.
-
Additive Bases: Change of Domain
Authors:
Boris Bukh,
Peter van Hintum,
Peter Keevash
Abstract:
We consider two questions of Ruzsa on how the minimum size of an additive basis $B$ of a given set $A$ depends on the domain of $B$. To state these questions, for an abelian group $G$ and $A \subseteq D \subseteq G$ we write $\ell_D(A) \colon =\min \{ |B|: B \subseteq D, \ A \subseteq B+B \}$. Ruzsa asked how much larger can $\ell_{\mathbb{Z}}(A)$ be than $\ell_{\mathbb{Q}}(A)$ for…
▽ More
We consider two questions of Ruzsa on how the minimum size of an additive basis $B$ of a given set $A$ depends on the domain of $B$. To state these questions, for an abelian group $G$ and $A \subseteq D \subseteq G$ we write $\ell_D(A) \colon =\min \{ |B|: B \subseteq D, \ A \subseteq B+B \}$. Ruzsa asked how much larger can $\ell_{\mathbb{Z}}(A)$ be than $\ell_{\mathbb{Q}}(A)$ for $A\subset\mathbb{Z}$, and how much larger can $\ell_{\mathbb{N}}(A)$ be than $\ell_{\mathbb{Z}}(A)$ for $A\subset\mathbb{N}$. For the first question we show that if $\ell_{\mathbb{Q}}(A) = n$ then $\ell_{\mathbb{Z}}(A) \le 2n$, and that this is tight up to an additive error of at most $O(\sqrt{n})$. For the second question, we show that if $\ell_{\mathbb{Z}}(A) = n$ then $\ell_{\mathbb{N}}(A) \le O(n\log n)$, and this is tight up to the constant factor. We also consider these questions for higher order bases. Our proofs use some ideas that are unexpected in this context, including linear algebra and Diophantine approximation.
△ Less
Submitted 11 September, 2024;
originally announced September 2024.
-
Sharp stability of the Brunn-Minkowski inequality via optimal mass transportation
Authors:
Alessio Figalli,
Peter van Hintum,
Marius Tiba
Abstract:
The Brunn-Minkowski inequality, applicable to bounded measurable sets $A$ and $B$ in $\mathbb{R}^d$, states that $|A+B|^{1/d} \geq |A|^{1/d}+|B|^{1/d}$. Equality is achieved if and only if $A$ and $B$ are convex and homothetic sets in $\mathbb{R}^d$. The concept of stability in this context concerns how, when approaching equality, sets $A$ and $B$ are close to homothetic convex sets. In a recent b…
▽ More
The Brunn-Minkowski inequality, applicable to bounded measurable sets $A$ and $B$ in $\mathbb{R}^d$, states that $|A+B|^{1/d} \geq |A|^{1/d}+|B|^{1/d}$. Equality is achieved if and only if $A$ and $B$ are convex and homothetic sets in $\mathbb{R}^d$. The concept of stability in this context concerns how, when approaching equality, sets $A$ and $B$ are close to homothetic convex sets. In a recent breakthrough [FvHT23], the authors of this paper proved the following folklore conjectures on the sharp stability for the Brunn-Minkowski inequality:
(1) A linear stability result concerning the distance from $A$ and $B$ to their respective convex hulls.
(2) A quadratic stability result concerning the distance from $A$ and $B$ to their common convex hull.
As announced in [FvHT23], in the present paper, we leverage (1) in conjunction with a novel optimal transportation approach to offer an alternative proof for (2).
△ Less
Submitted 15 July, 2024;
originally announced July 2024.
-
Sharp quantitative stability of the Brunn-Minkowski inequality
Authors:
Alessio Figalli,
Peter van Hintum,
Marius Tiba
Abstract:
The Brunn-Minkowski inequality states that for bounded measurable sets $A$ and $B$ in $\mathbb{R}^n$, we have $|A+B|^{1/n} \geq |A|^{1/n}+|B|^{1/n}$. Also, equality holds if and only if $A$ and $B$ are convex and homothetic sets in $\mathbb{R}^d$. The stability of this statement is a well-known problem that has attracted much attention in recent years. This paper gives a conclusive answer by provi…
▽ More
The Brunn-Minkowski inequality states that for bounded measurable sets $A$ and $B$ in $\mathbb{R}^n$, we have $|A+B|^{1/n} \geq |A|^{1/n}+|B|^{1/n}$. Also, equality holds if and only if $A$ and $B$ are convex and homothetic sets in $\mathbb{R}^d$. The stability of this statement is a well-known problem that has attracted much attention in recent years. This paper gives a conclusive answer by proving the sharp stability result for the Brunn-Minkowski inequality on arbitrary sets.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Sharp bounds for the Tao-Vu Discrete John's Theorem
Authors:
Peter van Hintum,
Peter Keevash
Abstract:
Tao and Vu showed that every centrally symmetric convex progression $C\subset\mathbb{Z}^d$ is contained in a generalised arithmetic progression of size $d^{O(d^2)} \# C$. Berg and Henk improved the size bound to $d^{O(d\log d)} \# C$. We obtain the bound $d^{O(d)} \# C$, which is sharp up to the implied constant, and is of the same form as the bound in the continuous setting given by John's Theore…
▽ More
Tao and Vu showed that every centrally symmetric convex progression $C\subset\mathbb{Z}^d$ is contained in a generalised arithmetic progression of size $d^{O(d^2)} \# C$. Berg and Henk improved the size bound to $d^{O(d\log d)} \# C$. We obtain the bound $d^{O(d)} \# C$, which is sharp up to the implied constant, and is of the same form as the bound in the continuous setting given by John's Theorem.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
On Ruzsa's discrete Brunn-Minkowski conjecture
Authors:
Peter van Hintum,
Peter Keevash,
Marius Tiba
Abstract:
We prove a conjecture by Ruzsa from 2006 on a discrete version of the Brunn-Minkowski inequality, stating that for any $A,B\subset\mathbb{Z}^k$ and $ε>0$ with $B$ not contained in $n_{k,ε}$ parallel hyperplanes we have $|A+B|^{1/k}\geq |A|^{1/k}+\left(1-ε\right)|B|^{1/k}$.
We prove a conjecture by Ruzsa from 2006 on a discrete version of the Brunn-Minkowski inequality, stating that for any $A,B\subset\mathbb{Z}^k$ and $ε>0$ with $B$ not contained in $n_{k,ε}$ parallel hyperplanes we have $|A+B|^{1/k}\geq |A|^{1/k}+\left(1-ε\right)|B|^{1/k}$.
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Locality in Sumsets
Authors:
Peter van Hintum,
Peter Keevash
Abstract:
Motivated by the Polynomial Freiman-Ruzsa (PFR) Conjecture, we develop a theory of locality in sumsets, with applications to John-type approximation and sets with small doubling. First we show that if $A \subset \mathbb{Z}$ with $|A+A| \le (1-ε) 2^d |A|$ is non-degenerate then $A$ is covered by $O(2^d)$ translates of a $d$-dimensional generalised arithmetic progression ($d$-GAP) $P$ with…
▽ More
Motivated by the Polynomial Freiman-Ruzsa (PFR) Conjecture, we develop a theory of locality in sumsets, with applications to John-type approximation and sets with small doubling. First we show that if $A \subset \mathbb{Z}$ with $|A+A| \le (1-ε) 2^d |A|$ is non-degenerate then $A$ is covered by $O(2^d)$ translates of a $d$-dimensional generalised arithmetic progression ($d$-GAP) $P$ with $|P| \le O_{d,ε}(|A|)$; thus we obtain one of the polynomial bounds required by PFR, under the non-degeneracy assumption that $A$ is not efficiently covered by $O_{d,ε}(1)$ translates of a $(d-1)$-GAP. We also prove a stability result showing for any $ε,α>0$ that if $A \subset \mathbb{Z}$ with $|A+A| \le (2-ε)2^d|A|$ is non-degenerate then some $A' \subset A$ with $|A'|>(1-α)|A|$ is efficiently covered by either a $(d+1)$-GAP or $O_α(1)$ translates of a $d$-GAP. This `dimension-free' bound for approximate covering makes for a stark contrast with exact covering, where the required number of translates grows exponentially with $d$. We further show that if $A \subset \mathbb{Z}$ is non-degenerate with $|A+A| \le (2^d + \ell)|A|$ and $\ell \le 0.1 \cdot 2^d$ then $A$ is covered by $\ell+1$ translates of a $d$-GAP $P$ with $|P| \le O_d(|A|)$; this is tight, in that $\ell+1$ cannot be replaced by any smaller number. The above results also hold for $A \subset \mathbb{R}^d$, replacing GAPs by a suitable common generalisation of GAPs and convex bodies. In this setting the non-degeneracy condition holds automatically, so we obtain essentially optimal bounds with no additional assumption on $A$. These results are all deduced from a unifying theory, in which we introduce a new intrinsic structural approximation of any set, which we call the `additive hull', and develop its theory via a refinement of Freiman's theorem with additional separation properties.
△ Less
Submitted 2 March, 2024; v1 submitted 3 April, 2023;
originally announced April 2023.
-
The sharp doubling threshold for approximate convexity
Authors:
Peter van Hintum,
Peter Keevash
Abstract:
We show for $A,B\subset\mathbb{R}^d$ of equal volume and $t\in (0,1/2]$ that if $|tA+(1-t)B|< (1+t^d)|A|$, then (up to translation) $|\text{co}(A\cup B)|/|A|$ is bounded. This establishes the sharp threshold for Figalli and Jerison's quantative stability of the Brunn-Minkowski inequality. We additionally establish a similar sharp threshold for iterated sumsets.
We show for $A,B\subset\mathbb{R}^d$ of equal volume and $t\in (0,1/2]$ that if $|tA+(1-t)B|< (1+t^d)|A|$, then (up to translation) $|\text{co}(A\cup B)|/|A|$ is bounded. This establishes the sharp threshold for Figalli and Jerison's quantative stability of the Brunn-Minkowski inequality. We additionally establish a similar sharp threshold for iterated sumsets.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Inversion of Bayesian Networks
Authors:
Jesse van Oostrum,
Peter van Hintum,
Nihat Ay
Abstract:
Variational autoencoders and Helmholtz machines use a recognition network (encoder) to approximate the posterior distribution of a generative model (decoder). In this paper we study the necessary and sufficient properties of a recognition network so that it can model the true posterior distribution exactly. These results are derived in the general context of probabilistic graphical modelling / Bay…
▽ More
Variational autoencoders and Helmholtz machines use a recognition network (encoder) to approximate the posterior distribution of a generative model (decoder). In this paper we study the necessary and sufficient properties of a recognition network so that it can model the true posterior distribution exactly. These results are derived in the general context of probabilistic graphical modelling / Bayesian networks, for which the network represents a set of conditional independence statements. We derive both global conditions, in terms of d-separation, and local conditions for the recognition network to have the desired qualities. It turns out that for the local conditions the property perfectness (for every node, all parents are joined) plays an important role.
△ Less
Submitted 2 November, 2023; v1 submitted 20 December, 2022;
originally announced December 2022.
-
Towards Hadwiger's conjecture via Bourgain Slicing
Authors:
Marcelo Campos,
Peter van Hintum,
Robert Morris,
Marius Tiba
Abstract:
In 1957, Hadwiger conjectured that every convex body in $\mathbb{R}^d$ can be covered by $2^d$ translates of its interior. For over 60 years, the best known bound was of the form $O(4^d \sqrt{d} \log d)$, but this was recently improved by a factor of $e^{Ω(\sqrt{d})}$ by Huang, Slomka, Tkocz and Vritsiou. In this note we take another step towards Hadwiger's conjecture by deducing an almost-exponen…
▽ More
In 1957, Hadwiger conjectured that every convex body in $\mathbb{R}^d$ can be covered by $2^d$ translates of its interior. For over 60 years, the best known bound was of the form $O(4^d \sqrt{d} \log d)$, but this was recently improved by a factor of $e^{Ω(\sqrt{d})}$ by Huang, Slomka, Tkocz and Vritsiou. In this note we take another step towards Hadwiger's conjecture by deducing an almost-exponential improvement from the recent breakthrough work of Chen, Klartag and Lehec on Bourgain's slicing problem. More precisely, we prove that, for any convex body $K \subset \mathbb{R}^d$, $$\exp\bigg( - Ω\bigg( \frac{d}{(\log d)^8} \bigg) \bigg) \cdot 4^d$$ translates of $\text{int}(K)$ suffice to cover $K$. We also show that a positive answer to Bourgain's slicing problem would imply an exponential improvement for Hadwiger's conjecture.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
Capture times in the Bridge-burning Cops and Robbers game
Authors:
Rebekah Herrman,
Peter van Hintum,
Stephen G. Z. Smith
Abstract:
In this paper, we consider a variant of the cops and robbers game on a graph, introduced by Kinnersley and Peterson, in which every time the robber uses an edge, it is removed from the graph, known as bridge-burning cops and robbers. In particular, we study the maximum time it takes the cops to capture the robber.
In this paper, we consider a variant of the cops and robbers game on a graph, introduced by Kinnersley and Peterson, in which every time the robber uses an edge, it is removed from the graph, known as bridge-burning cops and robbers. In particular, we study the maximum time it takes the cops to capture the robber.
△ Less
Submitted 31 October, 2020;
originally announced November 2020.
-
Radius, Girth and Minimum Degree
Authors:
Vojtěch Dvořák,
Peter van Hintum,
Amy Shaw,
Marius Tiba
Abstract:
Given a connected graph $G$ on $n$ vertices, with minimum degree $δ\geq 2$ and girth at least $g \geq 4$, what is the maximum radius $r$ this graph can have? Erdős, Pach, Pollack and Tuza established in the triangle-free case ($g=4$) that $r \leq \frac{n-2}δ+12$, and noted that up to the value of the additive constant, this is tight. We determine the exact value for the triangle-free case. For hig…
▽ More
Given a connected graph $G$ on $n$ vertices, with minimum degree $δ\geq 2$ and girth at least $g \geq 4$, what is the maximum radius $r$ this graph can have? Erdős, Pach, Pollack and Tuza established in the triangle-free case ($g=4$) that $r \leq \frac{n-2}δ+12$, and noted that up to the value of the additive constant, this is tight. We determine the exact value for the triangle-free case. For higher $g$ little is known. We settle the order of $r$ for $g=6,8,12$ and prove an upper bound to the order for general even $g$. Finally, we show that proving the corresponding lower bound for general even $g$ is equivalent to the Erdős girth conjecture.
△ Less
Submitted 3 September, 2020; v1 submitted 1 September, 2020;
originally announced September 2020.
-
Sharp L1 Inequalities for Sup-Convolution
Authors:
Peter van Hintum,
Hunter Spink,
Marius Tiba
Abstract:
Given a compact convex domain $C\subset \mathbb{R}^k$ and bounded measurable functions $f_1,\ldots,f_n:C\to \mathbb{R}$, define the sup-convolution $(f_1\ast \ldots \ast f_n)(z)$ to be the supremum average value of $f_1(x_1),\ldots,f_n(x_n)$ over all $x_1,\ldots,x_n\in C$ which average to $z$. Continuing the study by Figalli and Jerison and the present authors of linear stability for the Brunn-Min…
▽ More
Given a compact convex domain $C\subset \mathbb{R}^k$ and bounded measurable functions $f_1,\ldots,f_n:C\to \mathbb{R}$, define the sup-convolution $(f_1\ast \ldots \ast f_n)(z)$ to be the supremum average value of $f_1(x_1),\ldots,f_n(x_n)$ over all $x_1,\ldots,x_n\in C$ which average to $z$. Continuing the study by Figalli and Jerison and the present authors of linear stability for the Brunn-Minkowski inequality with equal sets, for $k\le 3$ we find the optimal constants $c_{k,n}$ such that $$\int_C f^{\ast n}(x)-f(x) dx \ge c_{k,n}\int_C\text{co}(f)(x)-f(x) dx$$ where $\text{co}(f)$ is the upper convex hull of $f$. Additionally, we show $c_{k,n}=1-O(\frac{1}{n})$ for fixed $k$ and prove an analogous optimal inequality for two distinct functions. The key geometric insight is a decomposition of polytopal approximations of $C$ into hypersimplices according to the geometry of the set of points where $\text{co}(f)$ is close to $f$.
△ Less
Submitted 13 July, 2023; v1 submitted 11 August, 2020;
originally announced August 2020.
-
Improved Bound for Tomaszewski's Problem
Authors:
Vojtěch Dvořák,
Peter van Hintum,
Marius Tiba
Abstract:
In 1986, Tomaszewski made the following conjecture. Given $n$ real numbers $a_{1},...,a_{n}$ with $\sum_{i=1}^{n}a_{i}^{2}=1$, then of the $2^{n}$ signed sums $\pm a_{1} \pm ... \pm a_{n}$, at least half have absolute value at most $1$. Hendriks and Van Zuijlen (2020) and Boppana (2020) independently proved that a proportion of at least $0.4276$ of these sums has absolute value at most $1$. Using…
▽ More
In 1986, Tomaszewski made the following conjecture. Given $n$ real numbers $a_{1},...,a_{n}$ with $\sum_{i=1}^{n}a_{i}^{2}=1$, then of the $2^{n}$ signed sums $\pm a_{1} \pm ... \pm a_{n}$, at least half have absolute value at most $1$. Hendriks and Van Zuijlen (2020) and Boppana (2020) independently proved that a proportion of at least $0.4276$ of these sums has absolute value at most $1$. Using different techniques, we improve this bound to $0.46$.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Sets in $\mathbb{Z}^k$ with doubling $2^k+δ$ are near convex progressions
Authors:
Peter van Hintum,
Hunter Spink,
Marius Tiba
Abstract:
For $δ>0$ sufficiently small and $A\subset \mathbb{Z}^k$ with $|A+A|\le (2^k+δ)|A|$, we show either $A$ is covered by $m_k(δ)$ parallel hyperplanes, or satisfies $|\widehat{\operatorname{co}}(A)\setminus A|\le c_kδ|A|$, where $\widehat{\operatorname{co}}(A)$ is the smallest convex progression (convex set intersected with a sublattice) containing $A$. This generalizes the Freiman-Bilu $2^k$ theorem…
▽ More
For $δ>0$ sufficiently small and $A\subset \mathbb{Z}^k$ with $|A+A|\le (2^k+δ)|A|$, we show either $A$ is covered by $m_k(δ)$ parallel hyperplanes, or satisfies $|\widehat{\operatorname{co}}(A)\setminus A|\le c_kδ|A|$, where $\widehat{\operatorname{co}}(A)$ is the smallest convex progression (convex set intersected with a sublattice) containing $A$. This generalizes the Freiman-Bilu $2^k$ theorem, Freiman's $3|A|-4$ theorem, and recent sharp stability results of the present authors for sumsets in $\mathbb{R}^k$ conjectured by Figalli and Jerison.
△ Less
Submitted 5 December, 2022; v1 submitted 15 April, 2020;
originally announced April 2020.
-
The Eternal Game Chromatic Number of Random Graphs
Authors:
Vojtěch Dvořák,
Rebekah Herrman,
Peter van Hintum
Abstract:
The eternal graph colouring problem, recently introduced by Klostermeyer and Mendoza, is a version of the graph colouring game, where two players take turns properly colouring a graph. In this note, we study the eternal game chromatic number of random graphs. We show that with high probability $χ_{g}^{\infty}(G_{n,p}) = (\frac{p}{2} + o(1))n$ for odd $n$, and also for even $n$ when…
▽ More
The eternal graph colouring problem, recently introduced by Klostermeyer and Mendoza, is a version of the graph colouring game, where two players take turns properly colouring a graph. In this note, we study the eternal game chromatic number of random graphs. We show that with high probability $χ_{g}^{\infty}(G_{n,p}) = (\frac{p}{2} + o(1))n$ for odd $n$, and also for even $n$ when $p=\frac{1}{k}$ for some $k \in \mathbb{N}$. The upper bound applies for even $n$ and any other value of $p$ as well, but we conjecture in this case this upper bound is not sharp. Finally, we answer a question posed by Klostermeyer and Mendoza.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
(t,r) broadcast domination in the infinite grid
Authors:
Rebekah Herrman,
Peter van Hintum
Abstract:
The $(t,r)$ broadcast domination number of a graph $G$, $γ_{t,r}(G)$, is a generalization of the domination number of a graph. $γ_{t,r}(G)$ is the minimal number of towers needed, placed on vertices of $G$, each transmitting a signal of strength $t$ which decays linearly, such that every vertex receives a total amount of at least $r$ signal. In this paper we prove a conjecture by Drews, Harris, an…
▽ More
The $(t,r)$ broadcast domination number of a graph $G$, $γ_{t,r}(G)$, is a generalization of the domination number of a graph. $γ_{t,r}(G)$ is the minimal number of towers needed, placed on vertices of $G$, each transmitting a signal of strength $t$ which decays linearly, such that every vertex receives a total amount of at least $r$ signal. In this paper we prove a conjecture by Drews, Harris, and Randolph about the minimal density of towers in $\mathbb{Z}^2$ that provide a $(t,3)$ domination broadcast for $t>17$ and explore generalizations. Additionally, we determine the $(t,r)$ broadcast domination number of powers of paths, $P_n^{(k)}$ and powers of cycles, $C_n^{(k)}$.
△ Less
Submitted 24 December, 2019;
originally announced December 2019.
-
Sharp quantitative stability of the planar Brunn-Minkowski inequality
Authors:
Peter van Hintum,
Hunter Spink,
Marius Tiba
Abstract:
We prove a sharp stability result for the Brunn-Minkowski inequality for $A,B\subset\mathbb{R}^2$. Assuming that the Brunn-Minkowski deficit $δ=|A+B|^{\frac{1}{2}}/(|A|^\frac12+|B|^\frac12)-1$ is sufficiently small in terms of $t=|A|^{\frac{1}{2}}/(|A|^{\frac{1}{2}}+|B|^{\frac{1}{2}})$, there exist homothetic convex sets $K_A \supset A$ and $K_B\supset B$ such that…
▽ More
We prove a sharp stability result for the Brunn-Minkowski inequality for $A,B\subset\mathbb{R}^2$. Assuming that the Brunn-Minkowski deficit $δ=|A+B|^{\frac{1}{2}}/(|A|^\frac12+|B|^\frac12)-1$ is sufficiently small in terms of $t=|A|^{\frac{1}{2}}/(|A|^{\frac{1}{2}}+|B|^{\frac{1}{2}})$, there exist homothetic convex sets $K_A \supset A$ and $K_B\supset B$ such that $\frac{|K_A\setminus A|}{|A|}+\frac{|K_B\setminus B|}{|B|} \le C t^{-\frac{1}{2}}δ^{\frac{1}{2}}$. The key ingredient is to show for every $ε>0$, if $δ$ is sufficiently small then $|co(A+B)\setminus (A+B)|\le (1+ε)(|co(A)\setminus A|+|co(B)\setminus B|)$.
△ Less
Submitted 26 November, 2019;
originally announced November 2019.
-
Sharp Stability of Brunn-Minkowski for Homothetic Regions
Authors:
Peter van Hintum,
Hunter Spink,
Marius Tiba
Abstract:
We prove a sharp stability result concerning how close homothetic sets attaining near-equality in the Brunn-Minkowski inequality are to being convex. In particular, resolving a conjecture of Figalli and Jerison, we show there are universal constants $C_n,d_n>0$ such that for $A \subset \mathbb{R}^n$ of positive measure, if $|\frac{A+A}{2}\setminus A| \le d_n |A|$, then…
▽ More
We prove a sharp stability result concerning how close homothetic sets attaining near-equality in the Brunn-Minkowski inequality are to being convex. In particular, resolving a conjecture of Figalli and Jerison, we show there are universal constants $C_n,d_n>0$ such that for $A \subset \mathbb{R}^n$ of positive measure, if $|\frac{A+A}{2}\setminus A| \le d_n |A|$, then $|\operatorname{co}(A)\setminus A| \le C_n |\frac{A+A}{2}\setminus A|$ for $\operatorname{co}(A)$ the convex hull of $A$.
△ Less
Submitted 15 April, 2020; v1 submitted 30 July, 2019;
originally announced July 2019.
-
Biased partitions of $\mathbb{Z}^n$
Authors:
Peter van Hintum
Abstract:
Given a function $f$ on the vertex set of some graph $G$, a scenery, let a simple random walk run over the graph and produce a sequence of values. Is it possible to, with high probability, reconstruct the scenery $f$ from this random sequence? To show this is impossible for some graphs, Gross and Grupel, call a function $f:V\to\{0,1\}$ on the vertex set of a graph $G=(V,E)$ $p$-biased if for each…
▽ More
Given a function $f$ on the vertex set of some graph $G$, a scenery, let a simple random walk run over the graph and produce a sequence of values. Is it possible to, with high probability, reconstruct the scenery $f$ from this random sequence? To show this is impossible for some graphs, Gross and Grupel, call a function $f:V\to\{0,1\}$ on the vertex set of a graph $G=(V,E)$ $p$-biased if for each vertex $v$ the fraction of neighbours on which $f$ is 1 is exactly $p$. Clearly, two $p$-biased functions are indistinguishable based on their sceneries. Gross and Grupel construct $p$-biased functions on the hypercube $\{0,1\}^n$ and ask for what $p\in[0,1]$ there exist $p$-biased functions on $\mathbb{Z}^n$ and additionally how many there are. We fully answer this question by giving a complete characterization of these values of $p$. We show that $p$-biased functions exist for all $p=c/2n$ with $c\in\{0,\dots,2n\}$ and, in fact, there are uncountably many of them for every $c\in\{1,\dots,2n-1\}$. To this end, we construct uncountably many partitions of $\mathbb{Z}^n$ into $2n$ parts such that every element of $\mathbb{Z}^n$ has exactly one neighbour in each part. This additionally shows that not all sceneries on $\mathbb{Z}^n$ can be reconstructed from a sequence of values on attained on a simple random walk.
△ Less
Submitted 22 May, 2018; v1 submitted 14 May, 2018;
originally announced May 2018.
-
The bunkbed conjecture on the complete graph
Authors:
Peter van Hintum,
Piet Lammers
Abstract:
The bunkbed conjecture was first posed by Kasteleyn. If $G=(V,E)$ is a finite graph and $H$ some subset of $V$, then the bunkbed of the pair $(G,H)$ is the graph $G\times\{1,2\}$ plus $|H|$ extra edges to connect for every $v\in H$ the vertices $(v,1)$ and $(v,2)$. The conjecture asserts that $(v,1)$ is more likely to connect with $(w,1)$ than with $(w,2)$ in the independent bond percolation model…
▽ More
The bunkbed conjecture was first posed by Kasteleyn. If $G=(V,E)$ is a finite graph and $H$ some subset of $V$, then the bunkbed of the pair $(G,H)$ is the graph $G\times\{1,2\}$ plus $|H|$ extra edges to connect for every $v\in H$ the vertices $(v,1)$ and $(v,2)$. The conjecture asserts that $(v,1)$ is more likely to connect with $(w,1)$ than with $(w,2)$ in the independent bond percolation model for any $v,w\in V$. This is intuitive because $(v,1)$ is in some sense closer to $(w,1)$ than it is to $(w,2)$. The conjecture has however resisted several attempts of proof. This paper settles the conjecture in the case of a constant percolation parameter and $G$ the complete graph.
△ Less
Submitted 27 March, 2021; v1 submitted 20 March, 2018;
originally announced March 2018.
