math.CO ↗ arXiv
7121 papers in this category
Tameness, nullness, and amorphic complexity of automatic systems
In topological dynamics, tame and null systems arise naturally in the study of low-complexity aperiodic behaviour, yet providing concrete and easily testable conditions to establish their existence in a canonical class of systems is often nontrivial. We give a complete characterisation of tameness and nullness for minimal automatic systems generated by primitive constant length substitutions in terms of amorphic complexity -- a numerical invariant recently introduced to study zero entropy systems. We derive an easily computable closed formula for this invariant in this setting and show that, for infinite automatic systems, tameness and nullness are equivalent to its value being one.
Largest Sidon subsets in weak Sidon sets
A finite set $ S \subset \mathbb{R} $ is called a Sidon set if all sums $ x+y $ with $ x,y \in S $ and $ x \le y $ are distinct, and a weak Sidon set if all sums $ x+y $ with $ x,y \in S $ and $ x < y $ are distinct. For a finite set $ A \subset \mathbb{R} $, let $ h(A) $ denote the maximum size of a Sidon subset of $ A $, and define $$ g(n) := \min\{\, h(A) : A \subset \mathbb{R},\ |A| = n,\ A \text{ is a weak Sidon set} \,\}. $$ Sárközy and Sós asked whether the limit $ \lim_{n\to\infty} g(n)/n $ exists and, if so, to determine its value. We resolve this problem completely by determining $g(n)$ exactly: $$ g(n)=\left\lceil \frac{n+1}{2}\right\rceil \qquad\text{for all } n\ge 1. $$ In particular, $\lim_{n\to\infty} g(n)/n=\frac12$.
We also investigate a related problem of Erdős concerning a local difference condition. A finite set $ A \subset \mathbb{R} $ is called a $(4,5)$-set if every $4$-element subset of $A$ determines at least five distinct values among its six pairwise absolute differences. Erdős asked for the optimal constant $ c_* > 0 $ such that every $(4,5)$-set of size $ n $ contains a Sidon subset of size at least $ c_* n $. Gyárfás and Lehel reduced this to an extremal problem of $3$-uniform hypergraphs and proved $\frac{1}{2} + \frac{1}{141 \cdot 76} \le c_* \le \frac{3}{5}$. We improve both bounds by establishing $$ \frac{9}{17} \le c_* \le \frac{4}{7}, $$ where the lower bound uses a reformulation of the extremal problem, and the upper bound follows from an explicit construction together with a convenient characterization of $c_*$.
Automated Discovery of Improved Constant Weight Binary Codes
A constant weight binary code consists of $n$-bit binary codewords, each with exactly $w$ bits equal to 1, such that any two codewords are at least Hamming distance $d$ apart. $A(n,d,w)$ is the maximum size of a constant weight binary code with parameters $n,d,w$. We establish improved lower bounds on $A(n,d,w)$ by constructing new larger codes, for 24 values of $(n,d,w)$ with $6 \leq d \leq 18$ and $18 \leq n \leq 35$. The improved lower bounds come from two strategies. The first is a tabu search that operates at the level of bit swaps. The second is a novel greedy heuristic that repeatedly chooses the candidate codeword that maximizes a randomly-scored histogram of distances to previously-added codewords. These strategies were proposed by CPro1, an automated protocol that generates, implements, and tests diverse strategies for combinatorial constructions.
Building with Blocks: Enumerating Polyforms on Tilings
In areas as diverse as contemporary art, play structures, climbing equipment, and modular construction toys, we see the presence of building block-like polyhedral complexes, which are generalizations of the pieces in the game Tetris. We give an algorithm for counting the number of $n$-celled structures on polygonal and polyhedral cells of certain periodic two- and three-dimensional tilings; moreover, we count these structures up to translations, rotations, and reflections of the tiling. We describe this algorithm with respect to structures in the snub square tiling, provide numerical data related to existing three-dimensional art and structures, and suggest puzzles based on these constructions.
Spanning tight components in 4-uniform hypergraphs
We prove that every $n$-vertex 4-uniform hypergraph with minimum codegree at least $\lfloor n/4 \rfloor$ has a spanning tight component. This is tight, and it settles the 4-uniform case of a conjecture of Illingworth, Lang, Müyesser, Parczyk, and Sgueglia.
Cyclic sieving for a class of rectangular domino tableaux
The cyclic sieving phenomenon (CSP) provides valuable data about symmetry classes of cyclic actions, and has applications to representation theory. In this paper, we enumerate domino tableaux of shape 2-by-n, and use this result to prove a new CSP on these objects. We then enumerate the rectangular domino tableaux of any dimensions, and conjecture a more general CSP on rectangular domino tableaux. As a consequence of the enumerative results, we obtain several identities involving Fibonacci and Catalan numbers.
Regular $K_3$-regular graphs
We study graphs that are simultaneously regular with respect to the ordinary vertex degree and regular with respect to the triangle degree, that is, the number of triangles containing a given vertex. We call such graphs regular $K_3$-regular. We investigate the (non-)existence of regular $K_3$-regular graphs with prescribed parameters $(r_2,r_3)$, where $r_2$ is the vertex degree and $r_3$ is the triangle degree. General bounds relating vertex and edge triangle degrees are derived, and non-existence results are established for broad ranges of these parameters. Furthermore, it is shown that the class of regular $K_3$-regular graphs is closed under the Cartesian product, and decomposability properties are analysed. Special attention is paid to Turán graphs, for which we establish uniqueness results for certain parameters. The paper concludes with a summary of admissible parameters and several open problems.
The Multicolor Size-Ramsey Number of Bipartite Long Subdivisions
For a positive integer $r$, the $r$-color size-Ramsey
number~$\widehat{R}_r(H)$ of a graph $H$ is the minimum number of
edges in a graph $G$ such that every $r$-edge coloring of $G$
contains a monochromatic copy of $H$. For a graph~$H$ and a
function $σ:E(H)\to \mathbb{N}$, the \emph{subdivision}
$H^σ$ is obtained by replacing every $e \in E(H)$ with a path
of length $σ(e)$. In~\cite{javadi25:_induced_long} it is shown
that for all integers $r,\, D\geq 2 $, there exists a constant
$c=c(r, D)$ such that for every graph $ H $ with maximum degree $D$
if $H^σ$ is a subdivision of~$H$ in which
$σ(e) > c \log n $ for every $e \in E(H)$, where
$n=|V(H^σ)|$, then
$ \widehat{R}_r(H^σ) = O\big(2^{34r}
r^6 \log^5(r) D^5\log D\big)n. $ We improve upon this result in the case that~$H^σ$
is a bipartite graph and the number of colors~$r$ is large using a
significantly different argument, obtaining the bound
$ \widehat{R}_r(H^σ) \leq r^{400D \log D} \, n $.
The constructions of Singleton-optimal locally repairable codes with minimum distance 6 and locality 3
In this paper, we present new constructions of $q$-ary Singleton-optimal locally repairable codes (LRCs) with minimum distance $d=6$ and locality $r=3$, based on combinatorial structures from finite geometry. By exploiting the well-known correspondence between a complete set of mutually orthogonal Latin squares (MOLS) of order $q$ and the affine plane $\mathrm{AG}(2,q)$, We systematically construct families of disjoint 4-arcs in the projective plane $\mathrm{PG}(2,q)$, such that the union of any two distinct 4-arcs forms an 8-arc. These 4-arcs form what we call 4-local arcs, and their existence is equivalent to that of the desired codes. For any prime power $q\ge 7$, our construction yields codes of length $n = 2q$, $2q-2$, or $2q-6$ depending on whether $q$ is even, $q\equiv 3 \pmod{4}$, or $q\equiv 1 \pmod{4}$, respectively.
2-dimensional unit vector flows
We study $2$-dimensional unit vector flows on graphs, that is, nowhere-zero flows that assign to each oriented edge a unit vector in $\mathbb R^{3}$. We give a new geometric characterization of $\mathbb S^{2}$-flows on cubic graphs. We also prove that the class of cubic graphs admitting an $\mathbb S^{2}$-flow is closed under a natural composition operation, which yields further constructions; in particular, blowing up a vertex into a triangle preserves the existence of an $\mathbb S^{2}$-flow. Our second contribution is algebraic: we extend the rank-based approach of [SIAM J. Discrete Math., 29 (2015), pp.~2166--2178] from $\mathbb S^{1}$-flows to $\mathbb S^{2}$-flows. More precisely, we show that if an $\mathbb S^{2}$-flow $\varphi$ satisfies $\operatorname{rank}(S_{\mathbb{Q}}(\varphi))\le 2$ and $S_{\mathbb{Q}}(\varphi)$ is odd-coordinate-free, then the graph admits a nowhere-zero $4$-flow.
Signs of Hamiltonian Circles in Simple Plane Signed Graphs
We study which signs can occur among Hamiltonian circles in simple plane signed graphs. Using a face-based viewpoint, we relate the sign of a Hamiltonian circle to the product of the signs of the faces inside it, and we introduce co-Hamiltonian sequences. This yields a criterion for the existence of opposite-sign Hamiltonian circles via two co-Hamiltonian sequences with opposite face-products. Motivated by signed grid graphs, we develop local structural theorems that allow one to certify the existence of both signs without explicitly constructing the full sequences, including a ladder-type configuration where toggling along two $4$-circles produces Hamiltonian circles of opposite sign, as well as hexagon configurations that realize both signs.
Spectral radius, toughness, binding number and $k$-factor of graphs
A $k$-regular spanning subgraph of $G$ is called a $k$-factor. In this paper, we provide spectral radius and edge conditions to ensure that a graph $G$ with $δ(G)\ge k$ admits a $k$-factor. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] presented a tight sufficient condition in terms of the spectral radius for a connected 1-tough graph to contain a connected 2-factor (Hamilton cycle). Then it is interesting to consider the following problem: What is the spectral radius condition to guarantee the existence of a $k$-factor with $k\ge3$ in a connected 1-tough graph $G$ with $δ(G)\ge k$? We completely solve this problem, and we further obtain a sufficient spectral radius condition for the existence of a $k$-factor in a connected 1-binding graph, which solves an important problem posed by Fan and Lin [Electron. J. Combin. 31 (2024) 1--30].
Equivariant log concavity and the $\operatorname{FI^\sharp}$-module structure on $H^i(\operatorname{Conf}(n,\mathbb{R}^d))$
Published
• View Publication
• BIB
Previous work has conjectured that the graded $\mathfrak{S}_n$-representations $H^\bullet(\operatorname{Conf}(n,\mathbb{R}^d);\mathbb{Q})$ are strongly equivariantly log concave, and has proven this conjecture in low degrees. By leveraging the theory of representation stability, we are able instead prove a stronger statement about the $\operatorname{FI^\sharp}$-module structure on $H^i(\operatorname{Conf}(n,\mathbb{R}^d);\mathbb{Q})$ which implies the original conjecture up to degree 19. We conjecture that this equivariant log concavity-like property holds in all degrees for the $\operatorname{FI^\sharp}$-modules $H^i(\operatorname{Conf}(n,\mathbb{R}^d);\mathbb{Q})$.
On the Maximum Number of Spanning Trees in $C_4$-Free Graphs
We introduce a ``Kirchhoff--Turán'' variant of the extremal $C_4$ problem: among all simple connected $n$-vertex $C_4$-free graphs $G$, maximize the number of spanning trees $τ(G)$. For the projective-plane orders $n=q^2+q+1$ we compute an exact formula for the Erdős--Rényi orthogonal polarity graph $ER_q$, namely $τ(ER_q)=n^{(n-3)/2}$, via a polarity spectral identity and Kirchhoff's matrix--tree theorem. We also give an explicit general upper bound on $\mathrm{st}(n,C_4)$ at these $n$ using a sharp degree-sequence inequality for $τ(G)$ and a degree-balancing argument; this matches the lower bound in the leading exponential term.
On the Number of Connected Edge Cover Sets of Some Graph Families
Let $G=(V,E)$ be a simple connected graph. A connected edge cover of $G$ is a subset $S\subseteq E$ such that every vertex of $G$ is incident with at least one edge in $S$ and the subgraph induced by $S$ is connected. The connected edge cover polynomial of $G$ is defined as $E_c(G,x)=\sum_{i} e_c(G,i)x^i$, where $e_c(G,i)$ denotes the number of connected edge covers of $G$ with exactly $i$ edges. In this paper, we derive explicit formulas for both the connected edge cover polynomials and the total number of connected edge covers for several important graph families, including wheels, complete graphs $K_n$, complete bipartite graphs $K_{2,n}$, friendship graphs, and lollipop graphs. Each formula is accompanied by a combinatorial proof and verified by computational enumeration for small orders.
Perpetually Fair Assignments Via Balanced Sequences of Permutations
There is a set of n indivisible items (or chores), and a set of n players. Each day, a single item should be assigned to each player. We want to ensure that all players feel that they have been treated fairly, not only after the last day, but after every single day. We present two 'balance' conditions on sequences of permutations. One condition can always be satisfied, but is arguably too weak; a second condition is strong, and can be satisfied for all n <= 11, but cannot be satisfied for some larger values of n, including all n>61.
We then relate the 'balance' condition to the requirement that the cumulative assignment is proportional up to one item (PROP1), where proportionality holds in a strong ordinal sense -- for every valuations that are consistent with the item ranking. We present a third balance condition that implies ordinal PROP1. We show that a sequence guaranteeing this balance condition exists for all n <= 12, but might not exist when n=6k for any k >= 19.
Finally, we present a fourth, weaker balance condition on a sequence, that guarantees ordinal proportionality up to two items (PROP2). Whether or not this condition can be satisfied for all n remains an open question.
The average order of a connected vertex set in $K_m \times P_n$
Published
• View Publication
• BIB
Let $G$ be a connected graph. Let $N(G)$ and $S(G)$ be the number of connected sets of $G$ and the sum of the orders of these connected sets of $G$, respectively. Then $A(G)=\frac{S(G)}{N(G)}$ is called the average order of a connected set of $G$. In this paper, we derive a closed-form formula for $A(K_m \times P_n)$, where $K_m \times P_n$ is the Cartesian product of the complete graph $K_m$ and the path $P_n$.
A kernel for the maximum agreement forest problem on multiple binary phylogenetic trees
Published
• View Publication
• BIB
The maximum agreement forest (MAF) problem in phylogenetics takes as input a set t >=2 of binary phylogenetic trees T on the same set of taxa X. It asks for a partition X into the smallest number of blocks such that the subtrees induced by these blocks are disjoint and have common topology across all the trees in T. We produce a modified version of the well-known chain reduction rule in order to prove the existence of a kernel of size O( t * r * k ) where k is the natural parameter (the number of blocks) and r=min{max{k,3},t+1}}. We prove this bound for both the unrooted and rooted version of the problem, and demonstrate that the bound r, the length to which common chains are truncated, is tight. Our results constitute the first kernels for MAF in the t > 2 regime.
Steiner Forest for $H$-Subgraph-Free Graphs
Our main result is a full classification, for every connected graph $H$, of the computational complexity of Steiner Forest on $H$-subgraph-free graphs. To obtain this dichotomy, we establish the following new algorithmic, hardness, and combinatorial results:
Algorithms: We identify two new classes of graph-theoretical structures that make it possible to solve Steiner Forest in polynomial time. Roughly speaking, our algorithms handle the following cases: (1) a set $X$ of vertices of bounded size that are pairwise connected by subgraphs of treewidth $2$ or bounded size, possibly together with an independent set of arbitrary size that is connected to $X$ in an arbitrary way; (2) a set $X$ of vertices of arbitrary size that are pairwise connected in a cyclic manner by subgraphs of treewidth $2$ or bounded size.
Hardness results: We show that Steiner Forest remains NP-complete for graphs with 2-deletion set number $3$. (The $c$-deletion set number is the size of a smallest cutset $S$ such that every component of $G-S$ has at most $c$ vertices.)
Combinatorial results: To establish the dichotomy, we perform a delicate graph-theoretic analysis showing that if $H$ is a path or a subdivided claw, then excluding $H$ as a subgraph either yields one of the two algorithmically favourable structures described above, or yields a graph class for which NP-completeness of Steiner Forest follows from either our new hardness result or a previously known one.
Along the way to classifying the hardness for excluded subgraphs, we establish a dichotomy for graphs with $c$-deletion set number at most $k$. Specifically, our results together with pre-existing ones show that Steiner Forest is polynomial-time solvable if (1) $c=1$ and $k\geq 0$, or (2) $c=2$ and $k\leq 2$, or (3) $c\geq 3$ and $k=1$, and is NP-complete otherwise.
The perturbation threshold of degenerate graphs
We show that for any $d\ge 2$ and $Δ>0$ there exists $η>0$ such that the following holds: Let $G$ be an $n$-vertex graph with at least $Ω(n^2)$ edges and let $H$ be an $n$-vertex $d$-degenerate graph with maximum degree at most $Δ$. Then with high probability, $G \cup G(n, n^{-1/d - η})$ contains a copy of $H$. We also prove that the same conclusion extends to $d$-regular graphs with $d\ge 4$ satisfying a certain edge expansion property, with the threshold improved to $n^{-2/d - η}$. Such a property is satisfied by almost all
$d$-regular graphs and for even $d$, by the $(d/2)$-th power of a Hamilton cycle.