arXiv++ Combinatorics

Motivated by the construction of optimal locally repairable codes, we introduce the new finite geometric concept of a \emph{local arc} which is defined as a collection $\mathcal{S}$ of disjoint point sets $S_{i}$ in $\mathrm{PG}(2,q)$ such that $S_{i} \cup S_{j}$ is an arc for any $S_{i}, S_{j} \in \mathcal{S}$. We focus on the upper and lower bounds on the sizes of maximum $k$-uniform local arcs. For $q=p^m$ with $p$ prime, we construct $k$-uniform local arcs in $\mathrm{PG}(2,q)$ of size $Ω(q^{d})$ where $d$ is between $1.1167$ and $1.25$ depending only on $m$. For $k=4$, this implies the existence of optimal locally repairable codes (LRCs) with minimum distance 6, locality 3, and disjoint repair groups, whose length is superlinear in $q$--a significant improvement over the previously known $O(q)$ constructions for such LRCs.

A graph $G=(V,E)$ is called $d$-rigid if, for a generic embedding of its vertices in $\mathbb{R}^d$, every edge-length preserving continuous motion of the vertices preserves the distances between all pairs of non-adjacent vertices as well. In this paper, we present several new results on the rigidity of random graphs. In particular, we show that there exists $c>0$ such that, for $p\ge 2 \log{n}/n$, the binomial random graph $G(n,p)$ is with high probability (whp) $\lfloor c n p\rfloor$-rigid. This is sharp up to the constant $c$, and complements recent results of Peled and Peleg (in the regime $p= o(n^{-1/2})$), and of Jordán, Liu, and Villányi (in the constant $p$ regime). Moreover, we show that for every fixed $d\ge 2$ and $r\ge 501d$, a random $r$-regular graph is whp $d$-rigid, and that for $100/n\le p\le 2\log{n}/n$, the binomial random graph $G(n,p)$ contains whp an $\lfloor np/251\rfloor$-rigid subgraph with at least $(1-e^{-np/2})n$ vertices. Both results are sharp up to the multiplicative constant. In addition, we present a new sufficient condition for rigidity in terms of the minimum codegree of the graph (the minimum number of common neighbours of a pair of vertices in the graph). A main tool in our arguments is a new combinatorial sufficient condition for rigidity, which provides a common generalization to Whiteley's vertex-splitting lemmas, and to the "rigid partitions" method, developed in works by Crapo, Lindemann, Lew, Nevo, Peled and Raz, and by the present authors.

The eccentricity matrix of a graph is obtained from the distance matrix by keeping the largest entries in their row or column, and the remaining entries are replaced by zeros. The eccentricity energy of a graph is the sum of the absolute values of the eigenvalues of its eccentricity matrix. In this paper, we investigate the effect of edge deletion on the eccentricity energy of graphs of the form $$G=K_{2n}\circ_{n} K_{2n}\circ_{n}\cdots \circ_{n} K_{2n}, (\text{\textit{l} copies of } K_{2n}),$$ where $n\geq 3,$ $l\geq 2,$ and $\circ_{n}$ denotes the $n-$coalescence of graphs, and prove that the eccentricity energy increases whenever an edge is removed. This result identifies a class of graphs whose eccentricity energy exhibits monotonic growth under edge deletion.

For a graph $G$, let $c_1(G)$ be the largest distortion necessary to embed any shortest-path metric on $G$ into $\ell_1$, and for any natural number $n,m\in\mathbb{N}$, denote $K_{n,m}$ as the complete bipartite graph. In this note, we caculate the value of $c_1(K_{2,n})$, more precisely we prove $c_1(K_{2,n})=\frac{3k-2}{2k-1}$ where $k=\lceil\frac{n}{2}\rceil$.

Finding spanning structures with many distinct colours in properly edge-coloured graphs is a central theme in extremal combinatorics. A classical result of Andersen shows that every proper edge-colouring of the complete graph $K_n$ contains a Hamilton cycle with $n - O(n^{1/2})$ distinct colours. In the bipartite setting, the analogous question for perfect matchings is closely related to permutations in Latin squares. In this paper, we investigate how a Dirac-type minimum degree condition forces colour diversity in spanning structures. For every constant $1/2 < c \le 1$, we prove the following. $\bullet$ Every properly edge-coloured graph $G$ on $n$ vertices with $δ(G)\ge cn$ contains a Hamilton cycle with at least $cn - O(n^{1/2})$ distinct colours. $\bullet$ Every subset of an $n\times n$ Latin square with at least $cn$ cells in each row and each column contains a permutation with at least $cn - O(n^{2/3})$ distinct symbols. Both bounds are best possible up to the error term.

Local complement is a graph operation formalized by Bouchet which replaces the neighborhood of a chosen vertex with its edge-complement. This operation induces an equivalence relation on graphs; determining the size of the resulting equivalence classes is a challenging problem in general. Bouchet obtained formulas only for paths and cycles, and brute-force methods are limited to very small graphs. In this work, we extend these results by deriving explicit formulas for several broad families of distance-hereditary graphs, including complete multipartite graphs, clique-stars, and repeater graphs. Our approach uses a technique known as split decomposition to establish upper bounds on equivalence class sizes, and we prove these bounds are tight through a combinatorial enumeration of the graphs' decomposed structure up to symmetry.

We consider a probabilistic cellular automaton (PCA) of evaporation-deposition on the one-dimensional lattice having $n$ sites with periodic boundary conditions, in which each site, during each epoch, can be in one of two states: $0$ and $1$. Fix a positive integer $m\geqslant 2$. There are two types of transitions at each discrete time, which are as follows: (i) the first site in every contiguous block of $m$ $0$s becomes a $1$ with probability $p_1$, and (ii) the first site in every contiguous block of $(m-1)$ $0$s followed immediately by a $1$ also becomes a $1$ with probability $(1-p_2)$. As in a PCA, all of these transitions occur simultaneously. We show that the resulting discrete-time Markov chain is ergodic, and we give an explicit formula for its limiting distribution, the partition function and the density. We also propose necessary and sufficient conditions for this Markov chain to be reversible. For $m=2$, we provide a fully analytical expression for the free energy of this model.

Merge-width is a recently introduced family of graph parameters that unifies treewidth, clique-width, twin-width, and generalised colouring numbers. We prove the equivalence of several alternative definitions of merge-width, thus demonstrating the robustness of the notion. Our characterisation via definable merge-width uses vertex orderings inspired by generalised colouring numbers from sparsity theory, and enables us to obtain the first non-trivial approximation algorithm for merge-width, running in time $n^{O(1)} \cdot 2^n$. We also obtain a new characterisation of bounded clique-width in terms of vertex orderings, and establish that graphs of bounded merge-width admit sparse quotients with bounded strong colouring numbers, are quasi-isometric to graphs of bounded expansion, and admit neighbourhood covers with constant overlap. We also discuss several other variants of merge-width and connections to adjacency labelling schemes.

A subset $S$ of vertices, in a connected graph $G$, is called a distance-equalizer set if for every pair of distinct vertices outside $S$, there exists a vertex in $S$ equidistant to both. The equidistant dimension, denoted by $ξ(G)$, is defined as the minimum cardinality of such sets. While several distance-based parameters have been studied for different graph products, the equidistant dimension of corona product graphs has remained unexplored. In this paper, we investigate the equidistant dimension of the corona product $G \odot H$ of two graphs $G$ and $H$. We introduce the empty bisector graph $\widehat{G}$, an auxiliary construction that relates pairs of vertices in $G$ that cannot be equidistant from any third vertex. Using this framework, we establish tight bounds on the equidistant dimension of $G \odot H$ and derive exact values for several classical families of graphs. Moreover, we show that for any fixed base graph $G$, the equidistant dimension of $G \odot H$ depends on $H$ only through its order and eventually becomes linear in $\n(H)$.

If $S$ is a non-empty finite set, $|S|=s$, then a system $\mathscr{A}$ of subsets of $S$ is a size-minimal hypercompletely separable system (i.e., for every $a\in S$ there are $A,B\in\mathscr{A}$ such that $A\cap B=\{a\}$) if and only if $|\mathscr{A}|=\left\lceil\frac{1+\sqrt{8s+1}}2\right\rceil$.

Let $S$ be a finite set, $s=|S|\ge6$. Given a non-negative integer $t$, there exists an inclusion-minimal non-Bondy system $\mathscr{A}$ of size $t$ on $S$ if and only if $s+1\le t\le2s$.

We investigate random connected graphs from a block-stable class whose distribution is weighted based on the number of $2$-connected components, or blocks. This includes the class of planar graphs. For this, we develop a notion of a decorated block tree. Following similar ideas to Fleurat and the second author on block-weighted planar maps, we find a phase transition in the singular behaviour of the appropriate generating function and in the typical structure of the block tree. Moreover, for certain block-stable classes (including planar graphs), we obtain precise enumeration results and determine also the typical sizes of the largest blocks in subcritical, critical, and supercritical regimes. It strengthens previously known results on block sizes in uniform random planar graphs.

Ramsey-type problems for linear equations began with Schur's theorem and were systematically generalized by Richard Rado. In the off-diagonal framework for two colors, one considers two different linear equations $(\mathcal{E}_1,\mathcal{E}_2)$ and determines the minimum integer $N$ for which any red-blue coloring of $\{1,2,...,N\}$ forces either a red solution of the equation $\mathcal{E}_1$ or a blue solution of the equation $\mathcal{E}_2$. In this work, we study off-diagonal Rado numbers for non-homogeneous linear equations of the forms $x+y+c=z$ and $x+qy=z$. We determine the exact two-color off-diagonal Rado number $R_2(c,q)$ associated with this system of equations.

We prove a Seidel product formula for the torus-equivariant quantum $K$-theory of a generalized flag variety $G/P.$ This is a natural generalization of the corresponding results by Buch, Chaput, and Perrin for the cominuscule flag varieties. Our proof is based on the $K$-theoretic Peterson isomorphism, due to Kato. We also use a version of the $K$-theoretic nil-Hecke algebra associated with the extended affine Weyl group, which was studied by Ikeda, Shimozono, and Yamaguchi.

The asymmetric tropical distance is a distance measure on the tropical torus $\mathbb{R}^n/\mathbb{R}\mathbf{1}$ and in particular on the Bergman fan $B(K_N) \subseteq \mathbb{R}^{\binom{N}{2}}/\mathbb{R}\mathbf{1}$ of the complete graphical matroid. In this paper, we define and analyse a clustering algorithm for equidistant phylogenetic trees based on this distance, using the correspondence between $B(K_N)$ and the space of equidistant trees with $N$ leaves.

The work considers the set $Λ_n^k$ of all $n\times n$ binary matrices having the same number of $k$ units in each row and each column. The article specifically focuses on the matrices whose rows and columns are sorted lexicographically. We examine some particular cases and special properties of this matrices. Finally, we demonstrate the relationship between the Fibonacci numbers and the cardinality of two classes of $Λ_n^k$-matrices with lexicographically sorted rows and columns.

Let $F$ be a crossing family over ground set $V$, that is, for any two sets $U,W\in{F}$ with nonempty intersection and proper union, both sets $U\cap{W},U\cup{W}$ are in $F$. Let $σ:V\to \{+,-\}$ be a signing. We call $σ$ a "cosigning" if every set includes a positive element and excludes a negative element. It is "$\cap\cup$-closed" if every pairwise nonempty intersection and co-intersection include positive and negative elements, respectively. We characterize the existence of ($\cap\cup$-closed) cosignings $σ$ through necessary and sufficient conditions. Our proofs are algorithmic and lead to elegant `forcing' algorithms for finding $σ$, reminiscent of the Cameron-Edmonds algorithm for bicoloring balanced hypergraphs. We prove that the algorithms run in polynomial time, and further, the cosigning algorithm can be run in oracle polynomial time through an application of submodular function minimization. Cosigned crossing families arise naturally in digraphs with vertex set $V$ comprised of sources and sinks, where every set in $F$ is "covered" by an incoming arc. Under mild and necessary conditions, we build an outer-planar arc covering of $F$ when the vertices are placed around a circle. These gadgets are then used to find disjoint dijoins in $0,1$-weighted planar digraphs when the weight-$1$ arcs form a connected component that is not necessarily spanning.

Let $G$ be a finite simple graph and $B \subseteq V(G)$. We introduce the \emph{bivariate $B$-restricted clique polynomial} \[ C_B(G;x,y) = \sum_{\substack{K \subseteq V \\ K \text{ is a clique}}} x^{|K|} y^{|K \cap B|}, \] where the coefficient of $x^i y^j$ counts cliques of size $i$ with exactly $j$ vertices in $B$. This polynomial simultaneously captures combinatorial structure, local extremal properties, and spectral constraints associated with the subset $B$. \\ First, we develop vertex and edge deletion recurrences, generalizing classical clique polynomial results. These recurrences imply monotonicity for the largest negative root $ζ_G(B;y)$ (viewed as a polynomial in $x$ for fixed $y \in [0,1]$) under induced and spanning subgraphs. From this, we derive bounds on $B$-independence numbers, $B$-girth, and clique densities restricted to $B$. \\ Next, we prove that for any integer $r \ge 1$, any $r$-connected $K_{r+3}$-free chordal graph $G$, and any subset $B \subseteq V(G)$, the bivariate clique polynomial $C_B(G;x,y)$ is real-stable. \\ Then, we connect $C_B(G;x,y)$ with spectral graph theory. For $(n,d,λ)$-graphs, expansion constraints via Tanner's inequality limit clique growth within $B$, yielding explicit bounds on coefficients and $ζ_G(B;y)$. \\ Finally, we analyze weighted vertices and homomorphism obstructions in this framework, giving a general no-homomorphism criterion. We also conclude the paper with a couple of interesting open problems for young and motivated researchers.

We provide details of the error Gabor Ellmann found in 2004 in a heuristic argument of Guy and Kelly on this problem. This led to a correction of their conjectured upper bound for the no-three-in-line problem. However, details of the issue and its correction, including the actual location of the issue, while simple, do not seem to have appeared in the literature previously. That said, very recent work of Prellberg [5] does contain a derivation of the corrected conjectured upper bound.

In an oriented graph, the inversion of a subset of vertices X is the operation reversing the direction of every arc with both endpoints in X. Given a graph G, the inversion distance between two orientations G is the minimum number of inversions transforming one into the other. The inversion diameter diam(G) is the maximum such distance over all pairs of orientations of G. Through an equivalent formulation of inversions over 2-edge-colorings of G, we introduce the use of homomorphism-universal 2-edge-colored graphs to obtain bounds on the inversion diameter of various classes of graphs. Our first result upper bounds the inversion diameter by a linear function of the acyclic chromatic number, improving on the previous quadratic dependency. We then consider the inversion diameter of planar graphs, exhibiting a lower bound of 6, as well as new lower and upper bounds for those of a given girth, in particular settling the girth 7 case. We then show that any triangle-free graph G with maximum degree D satisfies diam(G) <= D + log D, making progress on the conjecture of Havet et al. that diam(G) <= D. Finally, we prove a general result about subdivisions: if a graph has inversion diameter k, any of its subdivisions has inversion diameter at most k + log k + 5.

We show that every connected graph $G$ has a tree decomposition indexed by a tree $T$ such that $T$ is a subgraph of $G$ and the width of the tree decomposition is bounded from above by a function of the pathwidth of $G$. This answers a question of Blanco, Cook, Hatzel, Hilaire, Illingworth, and McCarty (2024), who proved that it is not possible to have such a tree decomposition whose width is bounded by a function of the treewidth of $G$. The proof relies on Simon's Factorization Theorem for finite semigroups, a tool that has already been applied successfully in various areas of graph theory and combinatorics in recent years. Our application is particularly simple and can serve as a good introduction to this technique.

This article considers the class of connected 3-colored digraphs. Let $G$ be a 3-colored digraph and $A(G)$ be its adjacency matrix. $G$ is said to be non-singular (resp. singular) if $A(G)$ is a non-singular (resp. singular) matrix. A connected digraph is k-cyclic if it has $n$ vertices and $n+k-1$ edges. The main objective of this article is to provide a characterization of non-singular 3-colored unicyclic and bicyclic digraphs. If $A(G)$ is non-singular and $A(G)^{-1}$ has a $zero$ diagonal, then $A(G)^{-1}$ can be realized as the adjacency matrix of a digraph with complex weights. Therefore, we also identify all 3-colored bicyclic digraphs such that the diagonal of $A(G)^{-1}$ is zero. Furthermore, we study the invertibility of these digraphs and identify all those bicyclic 3-colored digraphs whose inverse is also a 3-colored digraph. We conduct the same study for the class of unicyclic 3-colored digraphs.

We introduce and study a multiplicative analogue of additive indecomposability for linear order types that we call untranscendability, as well as a strengthening that we call $s$-untranscendability. We show that, with the unique exception of the two-point type, every untranscendable type is additively indecomposable, and every $σ$-scattered untranscendable type is strongly indecomposable. Under the Proper Forcing Axiom, every untranscendable Aronszajn type is strongly indecomposable. We also show that a theorem of Hagendorf and Jullien, that every strictly additively indecomposable type must be strictly indecomposable to either the left or right, has a natural analogue for $s$-untranscendable types.

We present a creative reimagining of Zolotarev's classical proof of the Law of Quadratic Reciprocity.

Incidence theorems concern configurations of points, lines, and, more generally, higher-dimensional subspaces in projective space. Broadly speaking, such theorems fall into two classes: those that hold over an arbitrary division ring, such as Desargues' theorem, and those that hold only over fields, such as Pappus' theorem. In this paper, we explain the topological origin of this distinction. To this end, we extend to the noncommutative setting the surface-graph approach to incidence theorems developed by Richter-Gebert, Fomin, and Pylyavskyy. We then show that theorems associated with graphs embedded on the sphere, such as Desargues' theorem, hold over any division ring, whereas theorems corresponding to graphs embedded on surfaces of positive genus, such as Pappus' theorem, typically hold if and only if the ground ring is a field.

In this work it is shown that the SD-KE decomposition is multiplicative under determinantal-type functions for graphs with perfect matchings, providing a new tool for the study of unimodular and singular matchable graphs.

The burning number $b(G)$ of a graph $G$ is the minimum number of rounds required to burn all vertices when, at each discrete step, existing fires spread to neighboring vertices and one new fire may be ignited at an unburned vertex. This parameter measures the speed of influence propagation in a network and has been studied as a model for information diffusion and resource allocation in distributed systems. A central open problem, the Burning Number Conjecture (BNC), asserts that every graph on $n$ vertices can be burned in at most $\lceil \sqrt n\rceil$ rounds, a bound known to be sharp for paths and verified for several structured families of trees. We investigate rooted graph products, focusing on comb graphs obtained by attaching a path (a ``tooth'') to each vertex of a path (the ``spine''). Unlike classical symmetric graph products, rooted products introduce hierarchical bottlenecks: communication between local subnetworks must pass through designated root vertices, providing a natural model for hub-and-spoke or chain-of-command architectures. We prove that the BNC holds for all comb graphs and determine the precise asymptotic order of their burning number in every parameter regime, including exact formulas in the spine-dominant case that generalize the known formula for paths. Our approach is constructive, based on an explicit greedy algorithm that is optimal or near-optimal depending on the regime.

The number of perfect matchings of a $k$-pfaffian graph can be counted by computing a linear combination of the pfaffians of $k$ matrices. The pfaffian number of a graph $G$ is the smallest integer $k$ such that $G$ is $k$-pfaffian. We present the first known lower bounds for the pfaffian number of graphs. As an intermediate step, we prove an upper bound for the rank of two matrices related to their Khatri-Rao product, a result of independent relevance. One of the consequences of these results is the existence of graphs whose pfaffian numbers are arbitrarily large.

Aldous' spectral gap conjecture, proven by Caputo, Liggett and Richthammer, states the following: for any set of transpositions in the symmetric group $\mathrm{Sym}(n)$, the spectral gap of the corresponding random walk on the group -- an $n!$-state process -- coincides with that of the corresponding random walk of a single element -- an $n$-state process. This paper presents an analog of this conjecture in the unitary group $\mathrm{U}(n)$, and proves it in several non-trivial cases. The phenomenon we discover is that for some natural families of probability distributions on $\mathrm{U}(n)$, the spectral gap of the corresponding random walk, which has a continuous state space, is identical to that of a discrete KMP process (also known as the uniform reshuffling process) with two indistinguishable particles on a hypergraph on $n$ vertices -- a discrete Markov chain with $\binom{n+1}{2}$ states.