-
arXiv:2310.20643 [pdf, ps, other]
Sharp quantitative stability of the Brunn-Minkowski inequality
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
Submitted 31 October, 2023; originally announced October 2023.
Comments: 54 pages
MSC Class: 52A40; 49Q20; 52A27
-
arXiv:2309.12386 [pdf, ps, other]
Sharp bounds for the Tao-Vu Discrete John's Theorem
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
Submitted 21 September, 2023; originally announced September 2023.
Comments: 2 pages
MSC Class: 05B35; 05B40; 11P21; 11P70; 52A27; 52A40; 52C07; 52C17;
-
arXiv:2306.13225 [pdf, ps, other]
On Ruzsa's discrete Brunn-Minkowski conjecture
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}$.
Submitted 22 June, 2023; originally announced June 2023.
Comments: 6 pages
MSC Class: 11P70; 52A40; 49Q20; 52A27
-
arXiv:2304.01189 [pdf, ps, other]
Locality in Sumsets
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
Submitted 2 March, 2024; v1 submitted 3 April, 2023; originally announced April 2023.
Comments: 60 pages, updated for accessibility
MSC Class: 11P70; 52A40; 49Q20; 52A27
-
arXiv:2304.01176 [pdf, ps, other]
The sharp doubling threshold for approximate convexity
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.
Submitted 3 April, 2023; originally announced April 2023.
Comments: 6 pages, comments welcome
MSC Class: 11P70; 52A40; 49Q20; 49Q22
-
arXiv:2212.10649 [pdf, ps, other]
Inversion of Bayesian Networks
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
Submitted 2 November, 2023; v1 submitted 20 December, 2022; originally announced December 2022.
Journal ref: International Journal of Approximate Reasoning, Volume 164, 2024
-
arXiv:2206.11227 [pdf, ps, other]
Towards Hadwiger's conjecture via Bourgain Slicing
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
Submitted 22 June, 2022; originally announced June 2022.
Comments: 10 pages
-
Capture times in the Bridge-burning Cops and Robbers game
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.
Submitted 31 October, 2020; originally announced November 2020.
Comments: 16 pages, 3 figures
MSC Class: 05C57; 49N75; 91A24; 91A46; 91A05; 05C80
-
arXiv:2009.00741 [pdf, ps, other]
Radius, Girth and Minimum Degree
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
Submitted 3 September, 2020; v1 submitted 1 September, 2020; originally announced September 2020.
Comments: 11 pages
MSC Class: 05C35; 05C07 ACM Class: G.2.2
-
Sharp L1 Inequalities for Sup-Convolution
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
Submitted 13 July, 2023; v1 submitted 11 August, 2020; originally announced August 2020.
Comments: 16 pages
MSC Class: 52A40 (Primary); 49Q20 (Secondary)
Journal ref: Discrete Analysis 2023:7
-
arXiv:2005.05031 [pdf, ps, other]
Improved Bound for Tomaszewski's Problem
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
Submitted 11 May, 2020; originally announced May 2020.
Comments: 12 pages
MSC Class: 05A20 (Primary) 60C05 (Secondary)
Journal ref: SIAM Journal on Discrete Mathematics, 34(4), 2239-2249 (2020)
-
arXiv:2004.07264 [pdf, ps, other]
Sets in $\mathbb{Z}^k$ with doubling $2^k+δ$ are near convex progressions
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
Submitted 5 December, 2022; v1 submitted 15 April, 2020; originally announced April 2020.
Comments: 59 pages, heavily revised, accepted to Advances in Mathematics
MSC Class: 11P70 (Primary); 52A40 (Secondary)
-
arXiv:2001.08705 [pdf, ps, other]
The Eternal Game Chromatic Number of Random Graphs
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
Submitted 23 January, 2020; originally announced January 2020.
Comments: 16 pages
MSC Class: 05C15; 05C57; 05C80
Journal ref: European Journal of Combinatorics 95 (2021) 103324
-
(t,r) broadcast domination in the infinite grid
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
Submitted 24 December, 2019; originally announced December 2019.
Comments: 12 pages, 6 figures
MSC Class: 05C69; 05C63; 05C38
-
arXiv:1911.11945 [pdf, ps, other]
Sharp quantitative stability of the planar Brunn-Minkowski inequality
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
Submitted 26 November, 2019; originally announced November 2019.
Comments: 29 pages, 19 figures. Comments welcome
MSC Class: 52A40; 49Q20
-
arXiv:1907.13011 [pdf, ps, other]
Sharp Stability of Brunn-Minkowski for Homothetic Regions
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
Submitted 15 April, 2020; v1 submitted 30 July, 2019; originally announced July 2019.
Comments: 14 pages, minor corrections, to appear in the Journal of the European Math Society (JEMS)
MSC Class: 52A40 (Primary); 49Q20 (Secondary)
-
arXiv:1805.05283 [pdf, ps, other]
Biased partitions of $\mathbb{Z}^n$
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
Submitted 22 May, 2018; v1 submitted 14 May, 2018; originally announced May 2018.
Comments: 10 pages
MSC Class: 97K20; 05C81; 05C15; 05C70; 05A17
Journal ref: European Journal of Combinatorics 79 (2019): 262-270
-
arXiv:1803.07647 [pdf, ps, other]
The bunkbed conjecture on the complete graph
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
Submitted 27 March, 2021; v1 submitted 20 March, 2018; originally announced March 2018.
Comments: 3 pages; replaced with final version
MSC Class: 60K35; 05C80 (Primary) 05C12 (Secondary)
Journal ref: European Journal of Combinatorics 76 (2019) 175-177