arXiv++ Combinatorics

A graph $G$ is $m$-minor-universal if every graph with at most $m$ edges (and no isolated vertices) is a minor of $G$. We prove that the $d$-dimensional hypercube, $Q_d$, is $Ω\left(\frac{2^d}{d}\right)$-minor-universal, and that there exists an absolute constant $C >0$ such that $Q_d$ is not $\frac{C2^d}{\sqrt{d}}$-minor-universal. Similar results are obtained in a more generalized setting, where we bound the size of minors in a product of finite connected graphs. A key component of our proof is the following claim regarding the decomposition of a permutation of a box into simpler, one-dimensional permutations: Let $n_1, \dots, n_d$ be positive integers, and define $X := [n_1] \times \dots \times [n_d]$. We prove that every permutation $σ: X \to X$ can be expressed as $σ= σ_1 \circ \dots \circ σ_{2d-1}$, where each $σ_i$ is a one-dimensional permutation, meaning it fixes all coordinates except possibly one. We discuss future directions and pose open problems.

It is proved that the number of shortest paths between two vertices of distance $t$ in a graph with degrees bounded by $Δ$ is at most $2 \cdot (\fracΔ{2})^t$. This improves upon the naïve $Δ(Δ-1) ^{t-1}$ bound.

We study high dimensional expansion beyond simplicial complexes (posets) and focus on $q$-complexes which are complexes whose basic building blocks are linear spaces. We show that the complete $q$-complex (consists of all subspaces of a given linear space) may have non-trivial homology groups and therefore some techniques for simplicial complexes fail. We develop new techniques to work bypass this. In particular: (i) We describe a new construction of cones and use it to determine when the homology of the complete $q$-complex is trivial. We use this construction to prove the "projective support dimension conjecture" conjectured by Mnukhin and Siemons. (ii) We define topological high dimensional expansion for posets, and show that the complete $q$-complex has linear (in the number of lines) coboundary expansion. (iii) We define the $q$-Linial-Meshulam model of random $q$-complexes and prove a sharp threshold for the connectivity of random $q$-complexes.

It is proved that the number of subsets of $[n]^d$ that tile $\mathbb{Z}^d$ is $\left(3^{\frac{1}{3}}\right)^{n^d \pm o(n^d)}$.

We investigate rigidity-type problems on the real line and the circle in the non-generic setting. Specifically, we consider the problem of uniquely determining the positions of $n$ distinct points $V = {v_1, \ldots, v_n}$ given a set of mutual distances $\mathcal{P} \subseteq {V \choose 2}$. We establish an extremal result: if $|\mathcal{P}| = Ω(n^{3/2})$, then the positions of a large subset $V' \subseteq V$, where large means $|V'| = Ω(\frac{|\mathcal{P}|}{n})$, can be uniquely determined up to isometry. As a main ingredient in the proof, which may be of independent interest, we show that dense graphs $G=(V,E)$ for which every two non-adjacent vertices have only a few common neighbours must have large cliques. Furthermore, we examine the problem of reconstructing $V$ from a random distance set $\mathcal{P}$. We establish that if the distance between each pair of points is known independently with probability $p = \frac{C \ln(n)}{n}$ for some universal constant $C > 0$, then $V$ can be reconstructed from the distances with high probability. We provide a randomized algorithm with linear expected running time that returns the correct embedding of $V$ to the line with high probability. Since we posted a preliminary version of the paper on arxiv, follow-up works have improved upon our results in the random setting. Girão, Illingworth, Michel, Powierski, and Scott proved a hitting time result for the first moment at which an time at which one can reconstruct $V$ when $\mathcal{P}$ is revealed using the Erdös--Rényi evolution, our extremal result lies in the heart of their argument. Montgomery, Nenadov and Szabó resolved a conjecture we posed in a previous version and proved that w.h.p a graph sampled from the Erdös--Rényi evolution becomes globally rigid in $\mathbb{R}$ at the moment it's minimum degree is $2$.