arXiv++ Combinatorics

The House of Graphs is an online database of graphs which can be accessed at https://houseofgraphs.org/. It serves as a central repository for complete lists of graphs for various graph classes. However, its main feature is a searchable database of so-called "interesting" graphs. The development of the original House of Graphs started in 2010 and it was completely rebuilt in 2021-2022. Each graph in the database is accompanied by a significant amount of meta-data such as a name, drawings, precomputed graph invariants, and comments. Given this volume of information and the importance of reliability in the scientific world, robust data management is essential to ensure accuracy and consistency across the database. In this article, we therefore focus on knowledge management in the House of Graphs and describe the inner workings of the House of Graphs and how we ensure that its data is coherent, qualitative and stable.

Online contention resolution schemes (OCRSs) are a central tool in Bayesian online selection and resource allocation: they convert fractional ex-ante relaxations into feasible online policies while preserving each marginal probability up to a constant factor. Despite their importance, designing (near) optimal OCRSs is often technically challenging, and many existing constructions rely on indirect reductions to prophet inequalities and LP duality, resulting in algorithms that are difficult to interpret or implement. In this paper, we introduce "stationary online contention resolution schemes (S-OCRSs)," a permutation-invariant class of OCRSs in which the distribution of the selected feasible set is independent of arrival order. We show that S-OCRSs admit an exact distributional characterization together with a universal online implementation. We then develop a general `maximum-entropy' approach to construct and analyze S-OCRSs, reducing the design of online policies to constructing suitable distributions over feasible sets. This yields a new technical framework for designing simple and possibly improved OCRSs. We demonstrate the power of this framework across several canonical feasibility environments. In particular, we obtain an improved $(3-\sqrt{5})/2$-selectable OCRS for bipartite matchings, attaining the independence benchmark conjectured to be optimal and yielding the best known prophet inequality for this setting. We also obtain a $1-\sqrt{2/(πk)} + O(1/k)$-selectable OCRS for $k$-uniform matroids and a simple, explicit $1/2$-selectable OCRS for weakly Rayleigh matroids (including all $\mathbb{C}$-representable matroids such as graphic and laminar). While these guarantees match the best known bounds, our framework also yields concrete and systematic constructions, providing transparent algorithms in settings where previous OCRSs were implicit or technically involved.

A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges. Hoàng [Discrete Math. 349 (2026) 114809] proposed four conjectures: 1. $P_5$-free graphs are perfectly divisible; 2. Odd hole-free graphs are perfectly divisible; 3. Even hole-free graphs are perfectly divisible; and 4. $4K_1$-free graphs are perfectly divisible. Karthick et al. [Electron. J. Combin. 29 (2022) P3.19] proposed a conjecture: Fork-free graphs are perfectly divisible. In this paper, we prove that all of five conjectures above hold for bull-free graphs. Our results also generalize some results of Chudnovsky and Sivaraman [J. Graph Theory 90 (2019) 54--60] and Karthick et al. [Electron. J. Combin. 29 (2022) P3.19]. We say that a class ${\cal C}$ is {\em perfect-Pollyanna} if ${\cal C}\cap {\cal G}$ is perfectly divisible for any hereditary class ${\cal G}$ in which each triangle-free graph is 3-colorable. Let $H\in\{\text{house, hammer, diamond}\}$. In this paper, we prove that the class of $(\text{bull}, H)$-free graphs is perfect-Pollyanna. Let ${\cal C}$ be the class of $(\text{bull}, H)$-free graphs. This implies that ${\cal C}\cap {\cal G}$ is perfectly divisible if and only if all of triangle-free graphs in ${\cal G}$ are perfectly divisible. As corollaries, we show that $(\text{bull},{\cal H})$-free graphs are perfectly divisible, where ${\cal H}$ is one of $\{P_{11},C_4\},\{P_{14},C_5,C_4\}$, and $\{P_{17},C_6,C_5,C_4\}$.

We construct automata with input(s) in Fibonacci representation (also known as Zeckendorf representation) recognizing some basic arithmetic relations and study their number of states. We also consider some basic operations on Fibonacci-automatic sequences and discuss their state complexity. Furthermore, as a consequence of our results, we improve a bound in a recent paper of Bosma and Don. We also discuss the state complexity and runtime complexity of using a reasonable interpretation of Büchi arithmetic to actually construct some of the studied automata recognizing relations.

We investigate the adjacency matrices of zero-divisor graphs derived from Lipschitz quaternion rings modulo \(n\). For odd primes \(p\), utilizing the isomorphism \(\LL_p\cong M_2(\F_p)\), we categorize vertices by kernel-image type and demonstrate that the adjacency matrix possesses a block structure as a blow-up of a projective incidence matrix. This produces a reduced matrix on the class-constant subspace, with precise formula for the lower bound for the nullity and the multiplicity of the eigenvalue \(-1\), as well as a closed expression for the spectral radius through an equitable partition. For the two-adic family, we precisely ascertain the graph at \(n=2\) and demonstrate that for \(t\ge 2\), the graph \(G_{2^t}\) encompasses substantial cliques derived from the ideal filtering, which yield definitive lower bounds for the spectral radius. We also examine the implications for graph energy and provide a systematic construction of the adjacency matrix.

A triangulation of a surface is k-irreducible if every non-contractible curve has length at least k and any edge contraction breaks this property. Equivalently, every edge belongs to a non-contractible curve of length k and there are no shorter non-contractible curves. We prove that a k-irreducible triangulation of a surface of genus g has $O(k^2g)$ triangles, which is optimal. This is an improvement over the previous best bound $k^{O(k)} g^2$ of Gao, Richter and Seymour [Journal of Combinatorial Theory, Series B, 1996].

We consider the red-blue-yellow matching problem: given two natural numbers $k_R$, $k_B$ and a graph $G$ whose edges are colored red, blue or yellow, the goal is to find a matching of $G$ that contains exactly $k_R$ red edges and exactly $k_B$ blue edges, and is of maximum cardinality subject to these constraints. This is a natural generalization of the well known red-blue matching problem, whose complexity status is unknown: although a randomized polynomial-time algorithm exists, a deterministic algorithm has remained elusive for nearly four decades. The best known deterministic approach to the red-blue matching problem, due to Yuster (2012), gives an additive approximation. In this paper, we show a similar result for the red-blue-yellow matching problem, giving a polynomial-time deterministic algorithm that, under natural assumptions, finds a matching satisfying the color requirements almost exactly and has cardinality within 3 of the optimal solution. Our algorithm is a mix of classic linear programming techniques and ad hoc existence results on restricted classes of graphs such as paths and cycles. As a key ingredient, we prove a curious topological property of plane curves, which is a strengthened version of a result by Grandoni and Zenklusen (2010) in the related context of budgeted matchings.

Hyperbolic uniform disk graphs (HUDGs) are intersection graphs of disks with some radius $r$ in the hyperbolic plane, where $r$ may be constant or depend on the number of vertices in a family of HUDGs. We show that HUDGs with constant clique number do not admit \emph{product structure}, i.e., that there is no constant $c$ such that every such graph is a subgraph of $H \boxtimes P$ for some graph $H$ of treewidth at most $c$. This justifies that HUDGs are described as not having a grid-like structure in the literature, and is in contrast to unit disk graphs in the Euclidean plane, whose grid-like structure is evident from the fact that they are subgraphs of the strong product of two paths and a clique of constant size [Dvořák et al., '21, MATRIX Annals]. By allowing $H$ to be any graph of constant treewidth instead of a path-like graph, we reject the possibility of a grid-like structure not merely by the maximum degree (which is unbounded for HUDGs) but due to their global structure. We complement this by showing that for every (sub-)constant $r$, HUDGs admit product structure, whereas the typical hyperbolic behavior is observed if $r$ grows with the number of vertices. Our proof involves a family of $n$-vertex HUDGs with radius $\log n$ that has bounded clique number but unbounded treewidth, and one for which the ratio of treewidth and clique number is $\log n / \log \log n$. Up to a $\log \log n$ factor, this negatively answers a question raised by Bläsius et al. [SoCG '25] asking whether balanced separators of HUDGs with radius $\log n$ can be covered by less than $\log n$ cliques. Our results also imply that the local and layered tree-independence number of HUDGs are both unbounded, answering an open question of Dallard et al. [arXiv '25].

In recent work, Martinsson and Steiner showed that every $K_3$-free $d$-degenerate graph $G$ has fractional chromatic number $χ_f(G) = O\left(\frac{d}{\log d}\right)$. In this paper, we extend the result in two ways, employing an approach rooted in the analysis of the entropy of certain probability distributions. Our argument provides a template to tackle other problems, so it is of independent interest. First, we consider locally $r$-colorable graphs $G$, i.e., where $χ(G[N(v)]) \leq r$ for each vertex $v$. We show that $d$-degenerate locally $r$-colorable graphs $G$ satisfy $χ_f(G) = O\left(\frac{d\log (2r)}{\log d}\right)$, strengthening a result of Alon (1996) on the independence number of such graphs. Second, we extend Martinsson and Steiner's result to $r$-uniform $d$-degenerate hypergraphs $H$ of girth at least $4$. We show that such hypergraphs satisfy $χ_f(H) \leq c_r\left(\frac{d}{\log d}\right)^{\frac{1}{r-1}}$, implying a strict generalization of a seminal result of Ajtai, Komlós, Pintz, Spencer, and Szemerédi (1982) on the independence number of uncrowded hypergraphs. As a corollary, we obtain the same growth rate for the fractional chromatic number of $d$-degenerate linear hypergraphs. Our approach is constructive, yielding efficient algorithms to sample independent sets in each of the settings we consider.

Alternate bases are a numeration system that generalizes the Rényi numeration system. It is common in this context to construct examples or counter-examples by specifying the expansions of $1$ in the desired system. While it is easy to show when a system with given expansions of $1$ exists in the Rényi case, the same is not true in the alternate case. In this article, we establish conditions for given words to be the expansions of $1$ in the alternate case. To do so, we use a fixed point theorem on matrices defined from the expansions and obtain the elements of the base from the components of the fixed point. We also obtain a partial result for the uniqueness of such a base. In the latter parts of the article, we use similar techniques to prove the existence of bases with a given sequence of $B$-integers.

We consider the problem of packing edge-disjoint Steiner forests in a graph. The input consists of a multi-graph $G=(V,E)$ and a collection of $h$ vertex subsets $S = \{S_1,S_2,\ldots,S_h\}$. A Steiner forest for $S$, also called an $S$-forest, is a forest of $G$ in which each $S_i$ is connected. In the case where $h=1$, this is the Steiner Tree packing problem. Kriesell's conjecture postulates that $2k$-edge-connectivity of $S_1$ is sufficient to find $k$ edge-disjoint $S_1$-trees. Lau showed that $24k$-edge-connectivity suffices for the Steiner Tree packing problem, which was improved to $6.5k$ by West and Wu and $5k+4$ by Devos, McDonald and Pivotto. In his thesis, Lau asserts that for the Steiner Forest problem, if each $S_i$ is $30k$-edge-connected in $G$, then there exist $k$ edge-disjoint $S$-forests. However, Lau's proof relies on an intermediate theorem called the Extension Theorem, which in this paper we will demonstrate has a gap by providing a counterexample to Lau's Extension Theorem. Furthermore, we will resolve this gap by correcting Lau's proof to show that $36k$-edge-connectivity of each $S_i$ suffices to pack $k$ $S$-forests. More careful analysis yields that $35k$-edge-connectivity of each $S_i$ is sufficient when $k \geq 8$.

For a graph $G$ with at least two vertices, the maximum local edge-connectivity of $G$ is the maximum number of edge-disjoint $(u,v)$-paths over all distinct pairs of vertices $(u,v)$ in $G$. Stiebitz and Toft (2018) proved a Brooks-type theorem for graphs with maximum local edge-connectivity $k$, showing that a graph with maximum local edge-connectivity $k$ is not $k$-colourable if and only if it has a block in $\mathcal{H}_k$, which is the class of graphs that can be obtained by taking Hajós joins of copies of $K_{k+1}$ and, when $k=3$, odd wheels. We prove that a $2$-connected graph with maximum local edge-connectivity $k$ is $k$-choosable if and only if it is not in $\mathcal{H}_k$. On the other hand, deciding $k$-choosability when restricted to graphs with maximum local edge-connectivity $k$ (that might not be $2$-connected) is $Π_2$-complete. To prove the former result, we first prove several generalisations of a well-known characterisation of degree-choosability; these may be of independent interest.

We develop a family-based route to unicyclic graphs whose independence polynomials are unimodal but not log-concave. The paper is organized around one flagship statement: for the explicit KL-closure family $U_{k,r}$, with $r\in\{0,1,2\}$ and admissible $k$, the independence polynomial is unimodal but not log-concave. The proof separates the closure polynomial into a dominant convolution term and a real-rooted correction term. On the non-log-concavity side, we prove symbolically that the penultimate log-concavity inequality fails for every admissible parameter. On the unimodality side, we prove that the main convolution term $H_{k,r}=G_kF_{k+r}$ is unimodal with a controlled mode, using a combination of exact coefficient formulas, Ibragimov's strong-unimodality principle, and a residue-class growth argument. Darroch localization and an adjacent-mode bridge lemma then transfer that mode statement to the full KL closure polynomial. This yields an explicit infinite family of unicyclic graphs with unimodal but non-log-concave independence polynomials. In the exact range $k\le 400$, we further verify that the penultimate break is unique and determine exact mode formulas for $H_{k,r}$, the binomial correction term, and $I(U_{k,r};x)$ itself. The paper also places the KL family inside a broader reservoir program involving Galvin, Ramos-Sun, and Bautista-Ramos trees, from which we obtain substantial universal exact theorems for finite ranges.

Let $D$ be a digraph. A collection of disjoint sets of vertices (respec., collection of disjoint subdigraphs) $\mathcal{H}$ of $D$ and a vertex subset (or subdigraph) $Q$ of $D$ are orthogonal if every set (respec., subdigraph) $H \in \mathcal{H}$ contains exactly one vertex of $Q$. A well-known result of Gallai and Milgram shows that for every minimum path partition of a digraph there is a stable set orthogonal to it. Similarly, Gallai, Hasse, Roy and Vitaver independently proved that for every longest path of a digraph there is a vertex partition into stable sets (i.e, vertex-coloring) orthogonal to it. Berge showed that no analogous statements hold when optimality is required for the stable set or the vertex coloring. In this paper, we show that this holds if we replace stable sets by induced acyclic subdigraphs. In 1981, Linial proposed two generalizations of Gallai-Milgram and Gallai-Hasse-Roy-Vitaver results using a positive integer $k$ as a measure of optimality for the path partition and the coloring, respectively. These generalizations have led to two conjectures that remain open. Using the same strategy of replacing stable sets by induced acyclic subdigraphs, we prove relaxations of both conjectures.

We prove blow-up structure theorems for graphs excluding a tree or an apex-tree as a minor. First, we show that for every $t$-vertex tree $T$ with $t\geq 3$ and radius $h$, and every graph $G$ excluding $T$ as a minor, there exists a graph $H$ with pathwidth at most $2h-1$ such that $G$ is contained in $H\boxtimes K_{t-2}$ as a subgraph. This improves on a recent theorem of Dujmović, Hickingbotham, Joret, Micek, Morin, and Wood (2024), who proved the same result but with a larger bound on the order of the complete graph in the product. Second, we show that for every $t$-vertex tree $T$ with $t\geq 2$, radius $h$ and maximum degree $d$, and every graph $G$ excluding the apex-tree $T^+$ as a minor, where $T^+$ is the tree obtained by adding a universal vertex to $T$, there exists a graph $H$ with treewidth at most $4h-1$ such that $G$ is contained in $H\boxtimes K_{2(t-1)d}$. The bound on the treewidth of $H$ is best possible up to a factor $2$, and improves on a $2^{h+2}-4$ bound that follows from a recent result of Dujmović, Hickingbotham, Hodor, Joret, La, Micek, Morin, Rambaud, and Wood (2024).

We prove a nearly polynomial inverse theorem for the Gowers $U^d$ norm, over finite fields of non-small characteristic, for polynomials of degree $d+1$. The case of degree $d$ was very recently settled by Milićević and Randelović with a fully polynomial bound. We moreover provide a nearly polynomial inverse theorem for homogeneous polynomials of any degree smaller than $2d$.

We study the impartial game PAP (``permutations avoiding patterns''), in which players take turns choosing patterns to avoid. We define a set of length $k$ patterns, $B_k$, and show that it is the unique minimal monotone-forcing subset of $S_k$: every sufficiently long permutation that avoids $B_k$ is monotone, and every monotone-forcing subset of $S_k$ must contain $B_k$. We prove a quadratic upper bound for the monotone-forcing threshold, and determine the exact thresholds for $k=3,4,5,6$. We use properties of the sets $B_k$ to prove that a reverse-reply strategy wins PAP on $S_n$ when $k=4$ for all $n \geq 10$; for $k=3$, the same strategy can be analysed directly. We conjecture that it is a winning strategy for all $k$ and $n$ sufficiently large.

A strong edge coloring of a graph $G$ is an edge coloring $φ\,:\,E(G) \rightarrow \mathbb N$ such that each color class forms an induced matching in $G$. The strong chromatic index of $G$, written $χ'_s(G)$, is the minimum number of colors needed for a strong edge coloring of $G$. Erdős and Nešetřil conjectured in 1985 that if $G$ has maximum degree $d$, then $χ'_s(G) \leq \frac 54 d^2$. Mahdian showed in 2000 that if $G$ is $C_4$-free, then $χ'_s(G) \leq (2+o(1)) \frac{d^2}{\log d}$, and he conjectured that the same upper bound holds for $K_{t,t}$-free graphs. In this paper, we prove this conjecture and improve upon it to show the following: every $K_{t,t}$-free graph $G$ of maximum degree $d$ satisfies $χ'_s(G) \leq (1+o(1)) \frac{d^2}{\log d}$. We employ a variant of the Rödl nibble method to prove this result. The key new ingredient in our adaptation of the method is an application of the Kővári-Sós-Turán theorem to show that $H := L(G)^2$ satisfies certain structural properties. These properties, in conjunction with a variant of Talagrand's inequality to handle exceptional outcomes, allow us to concentrate the sizes of certain vertex sets through the nibble, even when these vertex sets have order smaller than the maximum codegree of $H$. We encapsulate these structural properties into a more general statement on list coloring that we believe to be of independent interest. In light of the conjectured computational threshold for coloring random graphs arising in average-case complexity theory, we suspect that our result is best possible using this approach.

Optimizing an implicational base of a closure system consists in turning this implicational base into an equivalent one with premises and conclusions as small as possible. This task is known to be hard in general but tractable for a number of classes of closure systems. In particular, several classes of convex geometries are known to have tractable optimization, while the problem was recently claimed to remain hard in general convex geometries. Continuing this line of research, we give a characterization of the optimum bases of a convex geometry in terms of what we call quasi-closed hypergraphs. We then use this characterization to show that when each quasi-closed hypergraph has disjoint edges, any implicational base of the convex geometry can be optimized in polynomial time with existing minimization and reduction algorithms. Finally, we prove that this property applies to double-shelling, acyclic, affine and acceptant convex geometries, thus unifying the existing results regarding the tractability of optimization for the first three classes.

Let $\mathcal{C}$ be a proper minor-closed class of graphs. Given the minors excluded in $\mathcal{C}$, we determine the maximum $q$-centered chromatic number and the maximum $q$th weak coloring number of graphs in $\mathcal{C}$ within an $\mathcal{O}(q)$-factor. Moreover, when $\mathcal{C}$ excludes a planar graph, we determine it within a constant factor. Our results imply that the $q$-centered chromatic number of $K_t$-minor-free graphs is in $\mathcal{O}(q^{t-1})$, improving on the previously known $\mathcal{O}(q^{h(t)})$ bound with a large and non-explicit function $h$. We include similar bounds for another family of parameters, the fractional treedepth fragility rates. All our bounds are proved via the same general framework.