arXiv++ Combinatorics

Let $\mathcal{K}=\mathbb{F}_q((x^{-1}))$. Analogous to orthogonality in the Euclidean space $\mathbb{R}^n$, there exists a well-studied notion of ultrametric orthogonality in $\mathcal{K}^n$. In this paper, we extend the work of \cite{AB24} about counting results related to orthogonality in $\mathcal{K}^n$. For example, we answer an open question from \cite{AB24} by bounding the size of the largest ``orthogonal sets'' in $\mathcal{K}^n$. Furthermore, we investigate analogues of Hadamard matrices over $\mathcal{K}$. Finally, we use orthogonality to compute the number of sublattices of $\mathbb{F}_q[x]^n$ with a certain geometric structure, as well as to determine the number of orthogonal bases for a sublattice in $\mathcal{K}^n$. The resulting formulas depend crucially on successive minima.

A ($λ,μ$)-bow metric was defined in (Dragan & Ducoffe, 2023) as a far reaching generalization of an $α_i$-metric (which is equivalent to a ($0,i$)-bow metric). A graph $G=(V,E)$ is said to satisfy ($λ,μ$)-bow metric if for every four vertices $u,v,w,x$ of $G$ the following holds: if two shortest paths $P(u,w)$ and $P(v,x)$ share a common shortest subpath $P(v,w)$ of length more than $λ$ (that is, they overlap by more than $λ$), then the distance between $u$ and $x$ is at least $d_G(u,v)+d_G(v,w)+d_G(w,x)-μ$. ($λ,μ$)-Bow metric can also be considered for all geodesic metric spaces. It was shown by Dragan & Ducoffe that every $δ$-hyperbolic graph (in fact, every $δ$-hyperbolic geodesic metric space) satisfies ($δ, 2δ$)-bow metric. Thus, ($λ,μ$)-bow metric is a common generalization of hyperbolicity and of $α_i$-metric. In this paper, we investigate an intriguing question whether ($λ,μ$)-bow metric implies hyperbolicity in graphs. Note that, this is not the case for general geodesic metric spaces as Euclidean spaces satisfy ($0,0$)-bow metric whereas they have unbounded hyperbolicity. We conjecture that, in graphs, ($λ,μ$)-bow metric indeed implies hyperbolicity and show that our conjecture is true for several large families of graphs.

In 1957, Steinhaus proved that a chain of regular tetrahedra, meeting face-to-face and forming a closed loop does not exist. Over the years, various modifications of this statement have been considered and analysed. Weakening the statement by only requiring the tetrahedra of a chain to be wild, i.e. having all faces congruent, results in various examples of such chains. In this paper, we elaborate on the construction of these chains of wild tetrahedra. We therefore introduce the notions of chains and clusters of wild tetrahedra and relate these structures to simplicial surfaces. We establish that clusters and chains of wild tetrahedra can be described by polyhedra in Euclidean 3-space. As a result, we present methods to construct toroidal polyhedra arising from chains and provide a census of such toroidal polyhedra consisting of up to 20 wild tetrahedra. Here, we classify toroidal polyhedra with respect to self-intersections and reflection symmetries. We further prove the existence of an infinite family of toroidal polyhedra emerging from chains of wild tetrahedra and present clusters of wild tetrahedra that yield polyhedra of higher genera.

We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Timár for classical expansion of bounded degree graphs. We prove that, like the separation profile, these new invariants are monotone under regular maps between complexes satisfying appropriate higher connectivity assumptions. In the dimension $1$ case, we recover the cutwidth profile of Huang-Hume-Kelly-Lam. We also prove the seemingly new result that any $1$-dimensional topological expander necessarily contains a graphical expander. In higher dimensions, we give full calculations of these new invariants for Euclidean spaces, which are natural analogues of waist and width-volume inequalities due to Gromov and Guth respectively. We present several other methods of obtaining upper bounds including naïve (yet useful) direct product and fibring theorems, and show how lower bounds can be obtained via thick embeddings of complexes, in analogy with previous work of Barrett-Hume. Using this, we find lower bounds for $k$-expansion of $(k+1)$-fold horocyclic products of trees, and for rank $k$ symmetric spaces of non-compact type. As a further application, we prove that for every $k\geq 2$ there is no coarse embedding (and more generally, no regular map) from the $k$-fold horocyclic product of $3$-regular trees to either any product $(\mathbb{H}^2)^{k-2}\times H \times D$ where $\mathbb{H}^2$ is the real hyperbolic plane, $H$ is a bounded degree hyperbolic graph and $D$ is a doubling metric space, or to any symmetric space whose non-compact factor has corank (dimension minus rank) is strictly less than $k$.

There is a famous problem in geometric graph theory to find the chromatic number of the unit distance graph on Euclidean space; it remains unsolved. A theorem of Erdos and De-Bruijn simplifies this problem to finding the maximum chromatic number of a finite unit distance graph. Via a construction built on sequential finite graphs obtained from a generalization of this theorem, we have found a class of geometrically defined hypergraphs of arbitrarily large edge cardinality, whose proper colorings exactly coincide with the proper colorings of the unit distance graph on $\mathbb R^d$. We also provide partial generalizations of this result to arbitrary real normed vector spaces.

\emph{Minkowski rings} are certain rings of simple functions on the Euclidean space $W = {\mathbb{R}}^d$ with multiplicative structure derived from Minkowski addition of convex polytopes. When the ring is (finitely) generated by a set ${\cal{P}}$ of indicator functions of $n$ polytopes then the ring can be presented as ${\mathbb{C}}[x_1,\ldots,x_n]/I$ when viewed as a ${\mathbb{C}}$-algebra, where $I$ is the ideal describing all the relations implied by identities among Minkowski sums of elements of ${\cal{P}}$. We discuss in detail the $1$-dimensional case, the $d$-dimensional box case and the affine Coxeter arrangement in ${\mathbb{R}}^2$ where the convex sets are formed by closed half-planes with bounding lines making the regular triangular grid in ${\mathbb{R}}^2$. We also consider, for a given polytope $P$, the Minkowski ring $M^\pm_F(P)$ of the collection ${\cal{F}}(P)$ of the nonempty faces of $P$ and their multiplicative inverses. Finally we prove some general properties of identities in the Minkowski ring of ${\cal{F}}(P)$; in particular, we show that Minkowski rings behave well under Cartesian product, namely that $M^\pm_F(P\times Q) \cong M^{\pm}_F(P)\otimes M^{\pm}_F(Q)$ as ${\mathbb{C}}$-algebras where $P$ and $Q$ are polytopes.

We show a criterion for a skeleton of a manifold triangulation being embeddable into Euclidean space in terms of the complement of a submanifold. As an application, we obtain embeddability of a $(q-1)$-skeleton of a triangulation of an $S^p$-bundle over $S^q$ into $\mathbb{R}^{p+q}$.

In this paper, we investigate the following Gallai-Ramsey question: how large must a complete bipartite graph $K_{n_1, n_2}$ be before any coloring of its edges with $r$ colors contains either a monochromatic copy of $G = K_{s,t}$ or a rainbow copy of $H = K_{s,t}$? We demonstrate that the answer is linear in $r$, and provide more precise bounds for the specific case $s = 2$. Furthermore, we also consider the following Euclidean Gallai-Ramsey question: given a configuration $H$ in Euclidean space, what is the smallest $n$ such that any $r$-coloring of $n$-dimensional Euclidean space contains a monochromatic or rainbow configuration congruent to $H$? Through a natural translation between edge colorings of the complete bipartite graph $K_{n_1,n_2}$ and colorings of a subset of $(n_1+n_2)$-dimensional Euclidean space, we prove new upper bounds on $n$ for some configurations which can be expressed as Cartesian products of simplices.

A family of lines passing through the origin in an inner product space is said to be equiangular if every pair of lines defines the same angle. In 1973, Lemmens and Seidel raised what has since become a central question in the study of equiangular lines in Euclidean spaces. They asked for the maximum number of equiangular lines in $\mathbb{R}^r$ with a common angle of $\arccos{\frac{1}{2k-1}}$ for any integer $k \geq 2$. We show that the answer equals $r-1+\left\lfloor\frac{r-1}{k-1}\right\rfloor,$ provided that $r$ is at least exponential in a polynomial in $k$. This improves upon a recent breakthrough of Jiang, Tidor, Yao, Zhang, and Zhao [Ann. of Math. (2) 194 (2021), no. 3, 729-743], who showed that this holds for $r$ at least doubly exponential in a polynomial in $k$. We also show that for any common angle $\arccosα$, the answer equals $r+o(r)$ already when $r$ is superpolynomial in $1/α\to \infty$. The key new ingredient underlying our results is an improved upper bound on the multiplicity of the second-largest eigenvalue of a graph. In one of the regimes, this improves and significantly extends a result of McKenzie, Rasmussen, and Srivastava [STOC 2021, pp. 396-407].

In this paper we construct a new family of sets based on Diophantine approximation in the Euclidean space, and consider their applications in several problems in harmonic analysis. Our first application is on the Hausdorff dimension of our sets. We show a recent result of Ren and Wang on the ABC sum-product problem is sharp. Higher dimensional cases and the relation to orthogonal projections are also discussed. Some conjectures are proposed. In addition to Hausdorff dimension, we also consider Fourier dimension. For every $0\leq t\leq s\leq 1$, we are able to construct a subset of $\mathbb{R}$ that has Hausdorff dimension $s$ and Fourier dimension $t$, together with a measure $μ$ that captures both dimensions, i.e., $$μ(B(x,r))\lesssim_εr^{s-ε} \ \text{and} \ |\hatμ(ξ)|\lesssim_ε|ξ|^{-t/2 +ε}, \ \forall\,ε>0.$$ It is fundamental but the very first such result in the literature. Our last result is to provide a viewpoint of the sharpness of Fourier restriction over general measures from dimensions of sets and measures.

Motivated by applications to crystalline materials, we generalize the merge tree and the related barcode of a filtered complex to the periodic setting in Euclidean space. They are invariant under isometries, changing bases, and indeed changing lattices. In addition, we prove stability under perturbations and provide an algorithm that under mild geometric conditions typically satisfied by crystalline materials takes $\mathcal{O}({(n+m) \log n})$ time, in which $n$ and $m$ are the numbers of vertices and edges in the quotient complex, respectively.

Let $\mathcal{K}$ be a discrete valued field with finite residue field. In analogy with orthogonality in the Euclidean space $\mathbb{R}^n$, there is a well-studied notion of "ultrametric orthogonality" in $\mathcal{K}^n$. In this paper, motivated by a question of Erd{ő}s in the real case, given integers $k \geq \ell \geq 2$, we investigate the maximum size of a subset $S \subseteq \mathcal{K}^n \setminus\{{\bf 0}\}$ satisfying the following property: for any $E \subseteq S$ of size $k$, there exists $F \subseteq E$ of size $\ell$ such that any two distinct vectors in $F$ are orthogonal. Other variants of this property are also studied.

Defining distances over finite fields formally by $||x-y||:=(x_1-y_1)^2+\cdots + (x_d-y_d)^2$ for $x,y\in \mathbb{F}_q^d$, distance problems naturally arise in analogy to those studied by Erdős and Falconer in Euclidean space. Given a graph $G$ and a set $E\subseteq \mathbb{F}_q^2$, let $Δ_G(E)$ be the generalized distance set corresponding to $G$. In the case when $G$ is the complete graph on $k+1$ vertices, Bennett, Hart, Iosevich, Pakianathan, and Rudnev showed that when $|E|\geq q^{d-\frac{d-1}{k+1}}$, it follows that $|Δ_G(E)|\geq cq^{\binom{k+1}{2}}$. In the case when $k=d=2$, the threshold can be improved to $|E|\geq q^{\frac{8}{5}}$. Moreover, Jardine, Iosevich, and McDonald showed that in the case when $G$ is a tree with $k+1$ vertices, then whenever $E\subseteq \mathbb{F}_q^d$, $d\geq 2$ satisfies $|E|\geq C_kq^{\frac{d+1}{2}}$, it follows that $Δ_G(E)=\mathbb{F}_q^k$. In this paper, we present a technique which enables us to study certain graphs with both rigid and non-rigid components. In particular, we show that for $E\subseteq \mathbb{F}_q^2$, $q=p^n$, $n$ odd, $p\equiv 3 \ \text{mod} \ 4$, and $G$ is the graph consisting of two triangles joined at a vertex, then whenever $|E|\geq q^{\frac{12}{7}}$, it follows that $|Δ_G(E)|\geq cq^6$.

Let $\mathbb{F}_q$ denote a finite field with $q$ elements. Let $n,k$ denote integers with $n>2k\geq 6$. Let $V$ denote a vector space over $\mathbb{F}_{q}$ that has dimension $n$. The vertex set of the Grassmann graph $J_q(n,k)$ consists of the $k$-dimensional subspaces of $V$. Two vertices of $J_q(n,k)$ are adjacent whenever their intersection has dimension $k-1$. Let $\partial$ denote the path-length distance function of $J_q(n,k)$. Pick vertices $x,y$ of $J_q(n,k)$ such that $1<\partial(x,y)<k$. Let $\text{Stab}(x,y)$ denote the subgroup of $GL(V)$ that stabilizes both $x$ and $y$. In this paper, we investigate the orbits of $\text{Stab}(x,y)$ acting on the local graph $Γ(x)$. We show that there are five orbits. By construction, these five orbits give an equitable partition of $Γ(x)$; we find the corresponding structure constants. In order to describe the five orbits more deeply, we bring in a Euclidean representation of $J_q(n,k)$ associated with the second largest eigenvalue of $J_q(n,k)$. By construction, for each orbit its characteristic vector is represented by a vector in the associated Euclidean space. We compute many inner products and linear dependencies involving the five representing vectors.

The chromatic number of a lattice in n-dimensional Euclidean space is defined as the chromatic number of its Voronoi graph. The Voronoi graph is the Cayley graph on the lattice having the strict Voronoi vectors as generators. In this paper we determine the chromatic number of all 4-dimensional lattices. To achieve this we use the known classification of 52 parallelohedra in dimension 4. These 52 geometric types yield 16 combinatorial types of relevant Voronoi graphs. We discuss a systematic approach to checking for isomorphism of Cayley graphs of lattices. Lower bounds for the chromatic number are obtained from choosing appropriate small finite induced subgraphs of the Voronoi graphs. Matching upper bounds are derived from periodic colorings. To determine the chromatic numbers of these finite graphs, we employ a SAT solver.

For an ordered point set in a Euclidean space or, more generally, in an abstract metric space, the ordered Nearest Neighbor Graph is obtained by connecting each of the points to its closest predecessor by a directed edge. We show that for every set of $n$ points in $\mathbb{R}^d$, there exists an order such that the corresponding ordered Nearest Neighbor Graph has maximum degree at least $\log{n}/(4d)$. Apart from the $1/(4d)$ factor, this bound is the best possible. As for the abstract setting, we show that for every $n$-element metric space, there exists an order such that the corresponding ordered Nearest Neighbor Graph has maximum degree $Ω(\sqrt{\log{n}/\log\log{n}})$.

We introduce and study several random combinatorial billiard trajectories. Such a system, which depends on a fixed parameter $p\in(0,1)$, models a beam of light that travels in a Euclidean space, occasionally randomly reflecting off of a hyperplane in the Coxeter arrangement of an affine Weyl group with some probability that depends on the side of the hyperplane that it hits. In one case, we (essentially) recover Lam's reduced random walk in the limit as $p$ tends to $0$. The investigation of our random billiard trajectories relies on an analysis of new finite Markov chains that we call stoned exclusion processes. These processes have remarkable stationary distributions determined by well-studied polynomials such as ASEP polynomials, inhomogeneous TASEP polynomials, and open boundary ASEP polynomials; in many cases, it was previously not known how to construct Markov chains with these stationary distributions. Using multiline queues, we analyze correlations in the stoned multispecies TASEP, allowing us to determine limit directions for reduced random billiard trajectories and limit shapes for new random growth processes for $n$-core partitions. Our perspective coming from combinatorial billiards naturally leads us to formulate a new variant of the ASEP on $\mathbb{Z}$ called the scan ASEP, which we deem interesting in its own right.

We provide a general framework to construct colorings avoiding short monochromatic arithmetic progressions in Euclidean Ramsey theory. Specifically, if $\ell_m$ denotes $m$ collinear points with consecutive points of distance one apart, we say that $\mathbb{E}^n \not \to (\ell_r,\ell_s)$ if there is a red/blue coloring of $n$-dimensional Euclidean space that avoids red congruent copies of $\ell_r$ and blue congruent copies of $\ell_s$. We show that $\mathbb{E}^n \not \to (\ell_3, \ell_{20})$, improving the best-known result $\mathbb{E}^n \not \to (\ell_3, \ell_{1177})$ by Führer and Tóth, and also establish $\mathbb{E}^n \not \to (\ell_4, \ell_{14})$ and $\mathbb{E}^n \not \to (\ell_5, \ell_{8})$ in the spirit of the classical result $\mathbb{E}^n \not \to (\ell_6, \ell_{6})$ due to Erdős et. al. We also show a number of similar $3$-coloring results, as well as $\mathbb{E}^n \not \to (\ell_3, α\ell_{6889})$, where $α$ is an arbitrary positive real number. This final result answers a question of Führer and Tóth in the positive.

Starting from billiard partitions which arose recently in the description of periodic trajectories of ellipsoidal billiards in $d$-dimensional Euclidean space, we introduce a new type of separable integer partition classes, called type B. We study the numbers of basis partitions with $d$ parts and relate them to the Fibonacci sequence and its natural generalizations. Remarkably, the generating series of basis partitions can be related to the quiver generating series of symmetric quivers corresponding to the framed unknot via knots-quivers correspondence, and to the count of Schröder paths.

A graph is called $α_i$-metric ($i \in {\cal N}$) if it satisfies the following $α_i$-metric property for every vertices $u, w, v$ and $x$: if a shortest path between $u$ and $w$ and a shortest path between $x$ and $v$ share a terminal edge $vw$, then $d(u,x) \ge d(u,v) + d(v,x) - i$. The latter is a discrete relaxation of the property that in Euclidean spaces the union of two geodesics sharing a terminal segment must be also a geodesic. Recently in (Dragan & Ducoffe, WG'23) we initiated the study of the algorithmic applications of $α_i$-metric graphs. Our results in this prior work were very similar to those established in (Chepoi et al., SoCG'08) and (Chepoi et al., COCOA'18) for graphs with bounded hyperbolicity. The latter is a heavily studied metric tree-likeness parameter first introduced by Gromov. In this paper, we clarify the relationship between hyperbolicity and the $α_i$-metric property, proving that $α_i$-metric graphs are $f(i)$-hyperbolic for some function $f$ linear in $i$. We give different proofs of this result, using various equivalent definitions to graph hyperbolicity. By contrast, we give simple constructions of $1$-hyperbolic graphs that are not $α_i$-metric for any constant $i$. Finally, in the special case of $i=1$, we prove that $α_1$-metric graphs are $1$-hyperbolic, and the bound is sharp. By doing so, we can answer some questions left open in (Dragan & Ducoffe, WG'23).