Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Borel Polychromatic Number of Grids
We study Borel polychromatic colorings of grid graphs arising from free Borel actions of $\mathbb{Z}^d$. A polychromatic coloring is one in which every unit $d$-dimensional cube sees all available colors. In the classical setting, every grid admits a $2^d$-polychromatic coloring, while in the Borel setting this fails. Our main result shows that every free $\mathbb{Z}^d$-action admits a Borel $(2^d-1)$-polychromatic coloring. This result is sharp: any action where the generators act ergodically does not admit a Borel $2^d$-polychromatic coloring. We conclude with open directions for extending the theory beyond cube tilings and for exploring the dependence of Borel polychromatic numbers on the underlying action.
Crossing and non-crossing families
For a finite set $P$ of points in the plane in general position, a \emph{crossing family} of size $k$ in $P$ is a collection of $k$ line segments with endpoints in $P$ that are pairwise crossing. It is a long-standing open problem to determine the largest size of a crossing family in any set of $n$ points in the plane in general position. It is widely believed that this size should be linear in $n$.
Motivated by results from the theory of partitioning complete geometric graphs, we study a variant of this problem for point sets $P$ that do not contain a \emph{non-crossing family} of size $m$, which is a collection of 4 disjoint subsets $P_1$, $P_2$, $P_3$, and $P_4$ of $P$, each containing $m$ points of $P$, such that for every choice of 4 points $p_i \in P_i$, the set $\{p_1,p_2,p_3,p_4\}$ is such that $p_4$ is in the interior of the triangle formed by $p_1,p_2,p_3$. We prove that, for every $m \in \mathbb{N}$, each set $P$ of $n$ points in the plane in general position contains either a crossing family of size $n/2^{O(\sqrt{\log{m}})}$ or a non-crossing family of size $m$, by this strengthening a recent breakthrough result by Pach, Rubin, and Tardos (2021). Our proof is constructive and we show that these families can be obtained in expected time $O(nm^{1+o(1)})$. We also prove that a crossing family of size $Ω(n/m)$ or a non-crossing family of size $m$ in $P$ can be found in expected time $O(n)$.
An eigenvalue interlacing approach to Garland's method
Let $X$ be a pure $d$-dimensional simplicial complex. For $0\le k\le d$, let $X(k)$ be the set of $k$-dimensional faces of $X$, let $\tilde{L}_k(X)$ be the $k$-dimensional weighted total Laplacian operator on $X$, and let $\tilde{H}_k(X;\mathbb{R})$ be its $k$-dimensional reduced homology group with real coefficients. For $σ\in X$, let $\text{lk}(X,σ)$ be the link of $σ$ in $X$. For a matrix $M$, we denote by $\text{Spec}(M)$ the multi-set containing all the eigenvalues of $M$. We show that, for every $0\le \ell<k \le d$, \[
\text{dim}(\tilde{H}_k(X;\mathbb{R}))\le \sum_{η\in X(\ell)}\left| \left\{ λ\in \text{Spec}(\tilde{L}_{k-\ell-1}(\text{lk}(X,η))) :\, λ\le \frac{(\ell+1)(d-k)}{k+1}\right\}\right|. \] This extends the classical vanishing theorem of Garland, corresponding to the special case when the right hand side of the inequality is equal to zero, and a more recent result by Hino and Kanazawa, corresponding to the case $\ell=k-1$. A main new ingredient in our proof is an abstract version of Garland's local to global principle, which follows as a simple consequence of the eigenvalue interlacing theorem, and may be of independent interest.
Additive systems for $\mathbb{Z}$ are undecidable
What are the collections of sets ${A}_i\subset\mathbb{Z}$ such that any $n\in\mathbb{Z}$ has exactly one representation as $n=a_0+a_1+\dotsb$ with $a_i\in{A}_i$? The answer for $\mathbb{N}_0$ instead of $\mathbb{Z}$ is given by a theorem of de Bruijn. We describe a family of natural candidate collections for $\mathbb{Z}$, which we call canonical collections. Translating the problem into the language of dynamical systems, we show that the question of whether the sumset of a canonical collection covers the entire $\mathbb{Z}$ is difficult: specifically, there is a collection for which this question is equivalent to the Collatz conjecture, and there is a well-behaved family of collections for which this question is equivalent to the universal halting problem for Fractran and is therefore undecidable.
Eigenvalues of Maximal Abelian Covers
We fully characterize the eigenvalues (flat bands) of the maximal abelian cover of a finite multi-graph in terms of the combinatorics of the base graph. This solves a problem of Higuchi and Nomura (2009, Problem 6.11). We use our new criterion to prove that the maximal abelian cover of any regular multi-graph has no eigenvalues, thereby proving a conjecture of (ibid., Conjecture 6.12). In an appendix, we relate our criterion for eigenvalues of the maximal abelian cover to an existing criterion for eigenvalues of the universal cover.
A subbase property for describing edge-end spaces
In a previous joint work with Aurichi and Magalhães Jr., we showed that the topological spaces arising from the edge-end structure of infinite graphs define a proper subfamily of those obtained through the well-known (vertex-)ends. This result was later recovered by a more general approach due to Pitz, who also stated the problem of finding a purely topological characterization for the class of edge-end spaces. His question reads as an edge-related version of a similar conjecture posed by Diestel in 1992, but there regarding the usual end structure of infinite graphs and which was recently answered also by Pitz via the existence of a suitable clopen subbase. This paper shows how an extra intersection property can be combined with his solution in order to restrict it to the edge-end spaces, hence stating a topological description for this later family as well.
Intersections of longest cycles in vertex-transitive and highly connected graphs
Motivated by the classical conjectures of Lovász, Thomassen, and Smith, recent work has renewed interest in the study of longest cycles in important graph families, such as vertex-transitive and highly connected graphs. In particular, Groenland et al.\ proved that if two longest cycles and in a graph share $m$ vertices, then there exists a vertex cut of size $O(m^{8/5})$ separating them, yielding improved bounds toward these conjectures. Their proof combines Turán-type arguments with computer-assisted search.
We prove two results addressing problems of Babai (1979) and Smith (1984) on intersections of longest cycles in vertex-transitive and highly connected graphs. First, we strengthen the bound of Groenland et al.\ by showing that if two longest cycles and in a graph share $m$ vertices, then there exists a vertex cut of size $O(m^{3/2})$ separating them. As a consequence, we show that in every \(k\)-connected graph, any two longest cycles intersect in at least \(Ω(k^{2/3})\) vertices, improving the best known bound toward Smith's conjecture. Our proof is purely combinatorial, employing supersaturation-type estimates beyond the existing Turán-type approach. Second, we prove that in every connected vertex-transitive graph on \(n\) vertices, any two longest cycles intersect in at least \(f(n)\) vertices for some function \(f(n)\to\infty\) as \(n\to\infty\), thereby resolving a problem of Babai (1979) for the class of vertex-transitive graphs central to his original motivation. In doing so, we introduce a new method for constructing longer cycles in vertex-transitive graphs based on a given cycle, which may be of independent interest.
Combinatorial Extensions on Andrews and El Bachraoui's Almost-Distinct Partitions
Andrews and El Bachraoui recently studied integer partitions where the smallest part is repeated a specified number of times and any other parts are distinct. Their results included two ``surprising identities'' for which they requested combinatorial proofs. We provide combinatorial proofs for an infinite family of related identities and also consider the analogous partitions where only the largest part can be repeated. The results give rise to infinite families of inequalities for the number of partitions with distinct parts.
A Refinement of the Crank-Mex Theorem
It is proved that the number of partitions of n with odd mex and k parts that aren't ones equals the number of partitions of n with nonnegative crank and k parts that aren't ones..
Singular Values Versus Expansion in Directed and Undirected Graphs
We relate the nontrivial singular values $σ_2,\ldots,σ_n$ of the normalized adjacency matrix of an Eulerian directed graph to combinatorial measures of graph expansion: \\ 1. We introduce a new directed analogue of conductance $φ_{dir}$, and prove a Cheeger-like inequality showing that $φ_{dir}$ is bounded away from 0 iff $σ_2$ is bounded away from 1. In undirected graphs, this can be viewed as a unification of the standard Cheeger Inequality and Trevisan's Cheeger Inequality for the smallest eigenvalue.\\ 2. We prove a singular-value analogue of the Higher-Order Cheeger Inequalities, giving a combinatorial characterization of when $σ_k$ is bounded away from 1. \\ 3. We tighten the relationship between $σ_2$ and vertex expansion, proving that if a $d$-regular graph $G$ with the property that all sets $S$ of size at most $n/2$ have at least $(1+δ)\cdot |S|$ out-neighbors, then $1-σ_2=Ω(δ^2/d)$. This bound is tight and saves a factor of $d$ over the previously known relationship.
Polynomial Property Testing
Property testers are fast, randomized "election polling"-type algorithms that determine if an input (e.g., graph or hypergraph) has a certain property or is $\varepsilon$-far from the property. In the dense graph model of property testing, it is known that many properties can be tested with query complexity that depends only on the error parameter $\varepsilon$ (and not on the size of the input), but the current bounds on the query complexity grow extremely quickly as a function of $1/\varepsilon$. Which properties can be tested efficiently, i.e., with $\mathrm{poly}(1/\varepsilon)$ queries? This survey presents the state of knowledge on this general question, as well as some key open problems.
A tail bound for cumulant series for complex functions of independent random variables
We obtain explicit bounds on the truncation error of the cumulant series of a bounded complex function of a random vector with independent components. The bounds are based on multidimensional differences. This extends the theory of the author with Brendan McKay and Rui-Ray Zhang (J. Combin. Th., Ser. B, 2025) from real functions to complex functions. We demonstrate some initial applications including a Berry--Esseen bound, an Edgeworth expansion for triangles in random graphs, and enumeration of regular graphs.
Symmetric $(2^k-1,2^{k-1},2^{k-2})$-designs which are $(2^{k-1}-1)$-pyramidal over abelian groups
A design is called $t$-pyramidal when it has an automorphism group which fixes $t$ points and acts sharply transitively on the remaining points. We determine all symmetric $(2^k-1,2^{k-1},2^{k-2})$-designs which are $(2^{k-1}-1)$-pyramidal over abelian groups.
Quantitative selection theorems
The point selection theorem says that the convex hull of any finite point set contains a point that lies in a positive proportion of the simplices determined by that set. This paper proves several new volumetric versions of this theorem which replace the points by sets of large volume, including the first volumetric selection theorem for $(d+1)$-tuples. As consequences, we significantly decrease the upper bound for the number of sets necessary in a volumetric weak $ε$-net, from $O_d(ε^{-d^2(d+3)^2/4})$ to $O_d(ε^{-(d+1)})$, and substantially reduce the the piercing number for volumetric $(p,q)$-theorems.
We also prove a volumetric version of the homogeneous point selection theorem. To do so, we introduce a volumetric same-type lemma and a new volumetric colorful Tverberg theorem.
We prove all of our results for diameter as well as volume.
Enumeration of Cayley graphs over a nonabelian group of order $8p$
Let $T_{8p} = \left\langle a,b\mid a^{2p}=b^8=e,a^p=b^4,b^{-1}ab=a^{-1} \right\rangle$ be a nonabelian group of order $8p$, where $p$ is an odd prime number. In this paper, we give the formula to calculate the number of Cayley graphs over $T_{8p}$ up to isomorphism by using the Pólya Enumeration Theorem. Moreover, we get the formula to calculate the number of connected Cayley graphs over $T_{8p}$ by deleting the disconnected graphs. By applying the results, we list the exact number of (connected) Cayley graphs for $3\leq p \leq 13$.
Graphs arising from the dual Steenrod algebra
We extend Wood's graph theoretic interpretation of certain quotients of the mod $2$ dual Steenrod algebra to quotients of the mod $p$ dual Steenrod algebra where $p$ is an odd prime and to quotients of the $C_2$-equivariant dual Steenrod algebra. We establish connectedness criteria for graphs associated to monomials in these algebra quotients and investigate questions about trees and Hamilton cycles in these settings. We also give graph theoretic interpretations of algebraic structures such as the coproduct and antipode arising from the Hopf algebra structure on the mod $p$ dual Steenrod algebra and the Hopf algebroid structure of the $C_2$-equivariant dual Steenrod algebra.
Friezes and continued fractions
We explore basic properties of number friezes, due to Conway and Coxeter, and their relations to decompositions of rational numbers into continued fractions, Farey sequences, and the modular group acting on the hyperbolic plane. These are notes from a mini-course for undergraduate students given at the 19th Summer School ``Modern Mathematics'', Dubna, Russia, July 18-29, 2019.
Orthogonal designs and symmetric Hadamard matrices
Our main result is the construction of symmetric Hadamard matrices of order q(1 + q) where q is a prime power congruent to 3 mod 8.
Exhaustive Generation of Pattern-Avoiding s-Words
The most well-known Gray code of permutations is plain changes. It was discovered in the 1600s by bell-ringers who wished to order the permutations of [n] by swaps (e.g., 123, 132, 312, 321, 231, 213 for n = 3). In other words, plain changes traces a Hamilton path in the permutohedron. In 2013 it was shown that plain changes can be generated by a greedy algorithm: swap the largest value. Algorithm J replaces the swap operation with the jump operation (which moves a larger digit past one or more smaller digits) and forms the basis of the wildly successful Combinatorial Generation via Permutation Languages series of papers.
Here we further generalize this line of research to languages of s-words (i.e., multiset permutations). We generalize jumps to bumps, which moves a sequential run of the same larger digit past one or more smaller digits. Algorithm B greedily applies minimum-length bumps prioritized by largest value, then largest index, then rightward before leftward (e.g. 1122, 1221, 1212, 2112, 2121, 2211 for s = (2, 2)).
We show that the algorithm works for s-word languages avoiding a wide variety of tame patterns. Specific applications include efficient algorithm for generating s-Stirling words (which avoid 121) and new Gray codes for various s-Catalan objects (which avoid 132 and 121). The former result leads to Hamilton paths in every s-permutahedron.
Acyclic and complete coloring of digraphs with the minimum and maximum possible numbers of colors
The dichromatic and diachromatic numbers of a digraph are the minimum and maximum numbers of colors, respectively, in acyclic and complete colorings of the digraph. In this paper, we construct, for all $r \leq t$, non-symmetric digraphs with dichromatic number $r$ and diachromatic number $t$. Moreover, we discuss the existence of asymmetric digraphs with dichromatic number $ r $ and diachromatic number $ t \geq r $, establishing a quadratic upper bound $ b(r) \leq t $.