Source author record

David Stoner

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.FA math.MG

Catalog footprint

Research overview

3works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

A reverse Sidorenko inequality

Let $H$ be a graph allowing loops as well as vertex and edge weights. We prove that, for every triangle-free graph $G$ without isolated vertices, the weighted number of graph homomorphisms $\hom(G, H)$ satisfies the inequality $\hom(G, H ) \le \prod_{uv \in E(G)} \hom(K_{d_u,d_v}, H )^{1/(d_ud_v)},$ where $d_u$ denotes the degree of vertex $u$ in $G$ . In particular, one has $\hom(G, H )^{1/|E(G)|} \le \hom(K_{d,d}, H )^{1/d^2}$ for every $d$ -regular triangle-free $G$ . The triangle-free hypothesis on $G$ is best possible. More generally, we prove a graphical Brascamp-Lieb type inequality, where every edge of $G$ is assigned some two-variable function. These inequalities imply tight upper bounds on the partition function of various statistical models such as the Ising and Potts models, which includes independent sets and graph colorings. For graph colorings, corresponding to $H = K_q$ , we show that the triangle-free hypothesis on $G$ may be dropped; this is also valid if some of the vertices of $K_q$ are looped. A corollary is that among $d$ -regular graphs, $G = K_{d,d}$ maximizes the quantity $c_q(G)^{1/|V(G)|}$ for every $q$ and $d$ , where $c_q(G)$ counts proper $q$ -colorings of $G$ . Finally, we show that if the edge-weight matrix of $H$ is positive semidefinite, then $\hom(G, H) \le \prod_{v \in V(G)} \hom(K_{d_v+1}, H )^{1/(d_v+1)}.$ This implies that among $d$ -regular graphs, $G = K_{d+1}$ maximizes $\hom(G, H)^{1/|V(G)|}$ . For 2-spin Ising models, our results give a complete characterization of extremal graphs: complete bipartite graphs maximize the partition function of 2-spin antiferromagnetic models and cliques maximize the partition function of ferromagnetic models. These results settle a number of conjectures by Galvin-Tetali, Galvin, and Cohen-Csikvári-Perkins-Tetali, and provide an alternate proof to a conjecture by Kahn.

preprint2020arXiv

Exponential improvements for superball packing upper bounds

We prove that for all fixed $p > 2$ , the translative packing density of unit $\ell_p$ -balls in $\mathbb{R}^n$ is at most $2^{(γ_p + o(1))n}$ with $γ_p < - 1/p$ . This is the first exponential improvement in high dimensions since van der Corput and Schaake (1936).

preprint2019arXiv

Triforce and Corners

May the $\mathit{triforce}$ be the 3-uniform hypergraph on six vertices with edges $\{123',12'3,1'23\}$ . We show that the minimum triforce density in a 3-uniform hypergraph of edge density $δ$ is $δ^{4-o(1)}$ but not $O(δ^4)$ . Let $M(δ)$ be the maximum number such that the following holds: for every $ε> 0$ and $G = \mathbb{F}_2^n$ with $n$ sufficiently large, if $A \subseteq G \times G$ with $A \ge δ|G|^2$ , then there exists a nonzero "popular difference" $d \in G$ such that the number of "corners" $(x,y), (x+d,y), (x,y+d) \in A$ is at least $(M(δ) - ε)|G|^2$ . As a corollary via a recent result of Mandache, we conclude that $M(δ) = δ^{4-o(1)}$ and $M(δ) = ω(δ^4)$ . On the other hand, for $0 < δ< 1/2$ and sufficiently large $N$ , there exists $A \subseteq [N]^3$ with $|A|\geδN^3$ such that for every $d \ne 0$ , the number of corners $(x,y,z), (x+d,y,z),(x,y+d,z),(x,y,z+d) \in A$ is at most $δ^{c \log (1/δ)} N^3$ . A similar bound holds in higher dimensions, or for any configuration with at least 5 points or affine dimension at least 3.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.