-
New lower bound on ball packing density in high-dimensional hyperbolic spaces
Authors:
Irene Gil Fernández,
Jaehoon Kim,
Hong Liu,
Oleg Pikhurko
Abstract:
We present a new lower bound on the Bowen-Radin maximal density of radius-R ball packings in the m-dimensional hyperbolic space, improving on the basic covering bound by factor Ω(m(R+\ln m)) as m tends to infinity. This is done by applying the recent theorem of Campos, Jenssen, Michelen and Sahasrabudhe on independent sets in graphs with sparse neighbourhoods.
We present a new lower bound on the Bowen-Radin maximal density of radius-R ball packings in the m-dimensional hyperbolic space, improving on the basic covering bound by factor Ω(m(R+\ln m)) as m tends to infinity. This is done by applying the recent theorem of Campos, Jenssen, Michelen and Sahasrabudhe on independent sets in graphs with sparse neighbourhoods.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Disjoint isomorphic balanced clique subdivisions
Authors:
Irene Gil Fernández,
Joseph Hyde,
Hong Liu,
Oleg Pikhurko,
Zhuo Wu
Abstract:
A thoroughly studied problem in Extremal Graph Theory is to find the best possible density condition in a host graph $G$ for guaranteeing the presence of a particular subgraph $H$ in $G$. One such classical result, due to Bollobás and Thomason, and independently Komlós and Szemerédi, states that average degree $O(k^2)$ guarantees the existence of a $K_k$-subdivision. We study two directions extend…
▽ More
A thoroughly studied problem in Extremal Graph Theory is to find the best possible density condition in a host graph $G$ for guaranteeing the presence of a particular subgraph $H$ in $G$. One such classical result, due to Bollobás and Thomason, and independently Komlós and Szemerédi, states that average degree $O(k^2)$ guarantees the existence of a $K_k$-subdivision. We study two directions extending this result. On the one hand, Verstraëte conjectured that the quadratic bound $O(k^2)$ would guarantee already two vertex-disjoint isomorphic copies of a $K_k$-subdivision. On the other hand, Thomassen conjectured that for each $k \in \mathbb{N}$ there is some $d = d(k)$ such that every graph with average degree at least $d$ contains a balanced subdivision of $K_k$, that is, a copy of $K_k$ where the edges are replaced by paths of equal length. Recently, Liu and Montgomery confirmed Thomassen's conjecture, but the optimal bound on $d(k)$ remains open. In this paper, we show that the quadratic bound $O(k^2)$ suffices to force a balanced $K_k$-subdivision. This gives the optimal bound on $d(k)$ needed in Thomassen's conjecture and implies the existence of $O(1)$ many vertex-disjoint isomorphic $K_k$-subdivisions, confirming Verstraëte's conjecture in a strong sense.
△ Less
Submitted 26 April, 2022;
originally announced April 2022.
-
How to build a pillar: a proof of Thomassen's conjecture
Authors:
Irene Gil Fernández,
Hong Liu
Abstract:
Carsten Thomassen in 1989 conjectured that if a graph has minimum degree more than the number of atoms in the universe ($δ(G)\ge 10^{10^{10}}$), then it contains a pillar, which is a graph that consists of two vertex-disjoint cycles of the same length, $s$ say, along with $s$ vertex-disjoint paths of the same length which connect matching vertices in order around the cycles. Despite the simplicity…
▽ More
Carsten Thomassen in 1989 conjectured that if a graph has minimum degree more than the number of atoms in the universe ($δ(G)\ge 10^{10^{10}}$), then it contains a pillar, which is a graph that consists of two vertex-disjoint cycles of the same length, $s$ say, along with $s$ vertex-disjoint paths of the same length which connect matching vertices in order around the cycles. Despite the simplicity of the structure of pillars and various developments of powerful embedding methods for paths and cycles in the past three decades, this innocent looking conjecture has seen no progress to date. In this paper, we give a proof of this conjecture by building a pillar (algorithmically) in sublinear expanders.
△ Less
Submitted 7 April, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
New lower bounds on kissing numbers and spherical codes in high dimensions
Authors:
Irene Gil Fernández,
Jaehoon Kim,
Hong Liu,
Oleg Pikhurko
Abstract:
Let the kissing number $K(d)$ be the maximum number of non-overlap** unit balls in $\mathbb R^d$ that can touch a given unit ball. Determining or estimating the number $K(d)$ has a long history, with the value of $K(3)$ being the subject of a famous discussion between Gregory and Newton in 1694. We prove that, as the dimension $d$ goes to infinity,…
▽ More
Let the kissing number $K(d)$ be the maximum number of non-overlap** unit balls in $\mathbb R^d$ that can touch a given unit ball. Determining or estimating the number $K(d)$ has a long history, with the value of $K(3)$ being the subject of a famous discussion between Gregory and Newton in 1694. We prove that, as the dimension $d$ goes to infinity,
$$
K(d)\ge (1+o(1)){\frac{\sqrt{3π}}{4\sqrt2}}\,\log\frac{3}{2}\cdot d^{3/2}\cdot \Big(\frac{2}{\sqrt{3}}\Big)^{d},
$$ thus improving the previously best known bound of Jenssen, Joos and Perkins by a factor of $\log(3/2)/\log(9/8)+o(1)=3.442...$. Our proof is based on the novel approach from Jenssen, Joos and Perkins that uses the hard core sphere model of an appropriate fugacity. Similar constant-factor improvements in lower bounds are also obtained for general spherical codes, as well as for the expected density of random sphere packings in the Euclidean space $\mathbb R^d$.
△ Less
Submitted 18 December, 2023; v1 submitted 1 November, 2021;
originally announced November 2021.
-
Nested cycles with no geometric crossings
Authors:
Irene Gil Fernández,
Jaehoon Kim,
Youn** Kim,
Hong Liu
Abstract:
In 1975, Erdős asked the following question: what is the smallest function $f(n)$ for which all graphs with $n$ vertices and $f(n)$ edges contain two edge-disjoint cycles $C_1$ and $C_2$, such that the vertex set of $C_2$ is a subset of the vertex set of $C_1$ and their cyclic orderings of the vertices respect each other? We prove the optimal linear bound $f(n)=O(n)$ using sublinear expanders.
In 1975, Erdős asked the following question: what is the smallest function $f(n)$ for which all graphs with $n$ vertices and $f(n)$ edges contain two edge-disjoint cycles $C_1$ and $C_2$, such that the vertex set of $C_2$ is a subset of the vertex set of $C_1$ and their cyclic orderings of the vertices respect each other? We prove the optimal linear bound $f(n)=O(n)$ using sublinear expanders.
△ Less
Submitted 9 September, 2021; v1 submitted 10 April, 2021;
originally announced April 2021.