arXiv++ Combinatorics

We study which graph classes determine every graph with simple spectrum up to isomorphism by homomorphism counts from their members. We show that such a class has unbounded treewidth and Euler genus and contains a graph with the complete graph on seven vertices as a minor. To prove these conditions, we construct pairs of non-isomorphic cospectral graphs with simple spectrum, each bipartite, nonsingular and of maximum degree at most six. The construction attaches rooted trees to Cai-Furer-Immerman graphs and preserves homomorphism indistinguishability over every minor-closed class. We then prove that subcubic homomorphism counts determine every graph whose adjacency matrix has kernel dimension at most one. This extends the known result for nonsingular graphs and applies to all graphs with simple spectrum. We also prove that two graphs have the same subcubic homomorphism counts if and only if they have the same number of vertices and there is a bijective linear isometry between the images of their adjacency matrices that intertwines the adjacency operators and preserves the coordinatewise trilinear forms. Finally, we prove that homomorphism counts from the single-vertex graph and from subdivisions of any sequence of connected cubic graphs have the same distinguishing power as subcubic homomorphism counts if every complete graph is a minor of some member of the sequence.

We provide in this text a new framework for a family of combinatorial Hopf algebras. We adopt for this the language of species and twisted bialgebras (also known as Hopf monoids). We define the category of combinatorial twisted bialgebras (briefly, CTBs), a class of twisted bialgebras satisfying strong combinatorial conditions of compatibilities of the product and the coproduct with the underlying combinatorial structure. The considered morphisms also have to respect the combinatorial structure, in some sense. Many classical examples fit into this framework, including Hopf algebras of graphs, rooted trees, posets, hypergraphs, symmetric functions, boolean maps, etc. Most of known combinatorial Hopf algebras can be obtained from a CTB by application of a Fock functor, or by duality. A central result is the introduction of a universal CTB denoted by $\mathbf{Exch}$, built from collections of compositions satisfying a certain exchange condition. It has a special character $ε$, such that the pair $(\mathbf{Exch},ε)$ plays a role analogous to that of quasi-symmetric functions for graded and connected Hopf algebras: it is the terminal object in the category of CTBs equipped with combinatorial characters. This leads to universal morphisms that encode important information about the combinatorial structure of coproducts. The natural order on the set of compositions on a fixed set is used to define three important sub-objects $\mathbf{Exch}\_-$, $\mathbf{Exch}\_+$ and $\mathbf{Exch}\_{+\hspace{-2mm}+}$ of $\mathbf{Exch}$. We also studies polynomial invariants associated with CTBs. It establishes a correspondence between characters and polynomial invariants. Well-known invariants such as the chromatic polynomial of graphs and the Ehrhart polynomials of posets arise naturally within this framework. We show that, for a given degree, only finitely many polynomial invariants can occur. We show that these universal polynomial invariants can be used to give cancellation-free formulas for the antipode or the Eulerian idempotent, under conditions on the CTB, and use this for an example based on rooted trees, coming from a Hopf algebra used in linguistics. Results are also obtained for families of polynomial invariants with the alternating sign condition, or satisfying a reciprocity principle. We also extend the theory to combinatorial twisted double bialgebras (briefly, CTDBs), which involve two interacting coproduct structures. These generalize previously known examples arising from graphs, posets, hypergraphs, and rooted trees. The twisted approach preserves the combinatorial richness of these structures while providing a unified algebraic framework. We show that not any CTB can be made a CTDB, leading to the introduction of the notion of quasi-cocommutativity. In particular, we show that $\mathbf{Exch}\_+$ is not a CTDB, and construct a sub-object which is, in a unique way, and maximal for the inclusion. In the cocommutative case, simplifications naturally occur, and we show that in this case, a CTB of hypergraphs plays a central role, especially two sub-objects based on connectedness systems and antichain covers. We also show that, in the cocommutative case, the universal polynomial invariants are always chromatic polynomials of hypergraphs, no matter which CTB is considered. Finally, forgetting the combinatorial underlying structure, we study the algebraic structure of $\mathrm{Exch}$, with the help of a twisted version of Loday and Ronco's rigidity theorem for infinitesimal bialgebras.

A majority coloring of a graph $G = (V,E)$ is a coloring of $V(G)$ such that, for each vertex $v$, the number of neighbors of $v$ with the same color as $v$ is at most $deg(v)/2$. A strong majority coloring is a coloring of $V(G)$ such that, for each vertex $v$, every monochromatic subset of $N(v)$ has size at most $deg(v)/2$. The (strong) majority coloring game is a two-player Maker-Breaker-type game, in which two players Alice and Bob color the vertices of a graph $G$ alternately, maintaining the (strong) majority condition. The least number of colors such that Alice has a winning strategy in such a game is called the (strong) majority game chromatic number of the graph $G$, denoted $μ_g(G)$ (or $\mathrm{Maj}_g(G)$ for the strong version). For the majority coloring game, we prove that $μ_g(G) \le 3$ under the following cases: $G$ is a $2$-caterpillar, $G$ is a rooted tree with all leaves at depth $k \le 4$, and $G$ is a subdivision of some graph. The latter resolves a problem posed by Bosek--Grytczuk--Jakóbczak in 2019, who also asked whether $μ_g(T) \le 3$ for every tree $T$. For the latter question, we discuss various difficulties that arise when natural strategies are attempted by Alice to win the majority coloring game on trees. We include a comparison with the marking game and relaxed coloring game on trees, and with the majority coloring game on locally finite acyclic graphs $G$ with $δ(G) > 1$. For the strong majority coloring game, we compute $\mathrm{Maj}_g(C_n)$ exactly for each cycle $C_n$, $n \ge 3$. We also initiate the study of the computational complexity of the strong majority coloring game; specifically, we prove that the decision version of the Strong Majority Game Chromatic Number problem is PSPACE-complete. We also show that the Strong Majority 2-Coloring problem is NP-complete on Eulerian graphs.

Let $x_0(q)=-ξ_0(q)$ be the leading formal root of $Θ_0(x,q)=\sum_{n\geq0}x^nq^{\binom n2}$. I give here explicit combinatorial interpretations of the positive integer coefficients of $ξ_0(q)=1+q+2q^2+4q^3+9q^4+\cdots$ in terms of rooted trees enriched by stack polyominoes or certain Ferrers diagrams, weighted by total area. The two enrichments may be chosen independently at each level of the tree. A decomposition along the first-child path gives a combinatorial interpretation of $1-ξ_0^{-1}$. By reserving two successor slots at the root, I also obtain an interpretation of $1-ξ_0^{-2}$ and its zero coefficient in degree three. The sequence decomposition gives a Lyndon-word interpretation of the Euler-product exponents and proves their positivity and weak monotonicity. Finally, I derive the coefficient asymptotic $[q^n]ξ_0(q)\sim ξ_0(ρ)ρ^{-n}n^{-3/2}/(2\sqrtπ)$, where $ρ$ is the radius of convergence. The tree models are equinumerous with the braid classes studied by Flores and González-Meneses.

We determine the Doob-Martin boundary of Hoffman's leaf-grafting graph on finite unlabelled non-plane rooted trees. Its full and minimal boundaries coincide and are parametrized by deterministic recursive paintboxes, identified when their finite sampling laws agree. Every central measure is a unique mixture of the corresponding extremal laws, and its limiting boundary point generates the completed tail field. We also show that the boundary is homeomorphic to the space of unordered root masses marked by child boundary classes. For the recursive Ewens family, we obtain the unique extremal decomposition from independent Poisson-Dirichlet splits, including the uniform recursive-tree and rooted-tree Plancherel cases.

Let $M$ be a symmetric matrix over $\mathbb{F}_2$, and let $\operatorname{diag}(M)$ be its diagonal vector. It is known that $\operatorname{diag}(M)\in\operatorname{Im}(M)$. Thus the affine system $Mx=\operatorname{diag}(M)$ is always solvable. We strengthen this existence statement to a parity rigidity theorem: every solution satisfies $\operatorname{diag}(M)^T x\equiv\operatorname{rank}(M)\pmod{2}$. For graph matrices, this gives a common extension of Sutner's odd-domination theorem and Batal's parity theorem from closed-neighborhood matrices $A(G)+I$ to arbitrary partially looped graph matrices $A(G)+D$. We also study how rank and nullity change when loops are toggled. Algebraically, simultaneous loop toggling on the support of a vector $u$ is the diagonal rank-one update $M\mapsto M+uu^T$. We prove an exact three-case rank and nullity formula for this update. Finally, for rooted trees with arbitrary binary diagonal labels, we give a finite-state boundary recursion using affine subspaces of $\mathbb F_2^2$. This recursion counts all generalized odd-domination patterns and implies eventual quasigeometric nullity formulas for complete rooted trees with eventually periodic depth labels.

Let $Λ=KQ/I$ be a finite-dimensional zero-relation algebra. We encode Crawley--Boevey tree modules over $Λ$ by finite rooted trees labelled by arrows of $Q$ and their formal inverses, and construct a deterministic finite bottom-up tree automaton recognizing exactly these encodings. We define an accepted tree to be an automata-induced tree brick when it has no non-trivial factor--image self-overlap, and use Crawley--Boevey's graph-map basis to prove that this is equivalent to brickness of the associated tree module. We also introduce local colourings of $Q_1$ and show that the arrow alphabet can be compressed without changing the tree data, graph maps, or brick property. The optimal number of colours for such a compression is the maximum of the in-degree and out-degree of $Q$. We conclude by asking whether the tree language consisting only of bricks is regular.

We consider weighted lattice point enumeration in lecture hall order polytopes. We observe that these half-open polytopes are closed under weight-lifting for a large class of polynomial weights, including monomials and weights given by binomial coefficients. For rooted trees, we prove that the corresponding (weighted) $h^\ast$-polynomial is real-rooted thereby complementing previous results of Savage-Visontai and Brändén-Leander.

Hall algebras can be associated with a broad class of combinatorial structures through the theory of 2-Segal sets. In this paper, we study the Hall algebras arising from the 2-Segal sets of rooted trees, undirected graphs, and directed graphs. In each case, we establish an analogue of Green's theorem giving a twisted bialgebra structure to the Hall algebra, describe the primitive elements, and derive a presentation by generators and relations. As an application, we realize the Hall algebra of an undirected graph as the cohomology ring of a topological space. In the case of directed graphs, we introduce the Hall polynomial, defined as the Poincar{é} polynomial of the space of primitive elements. The Hall polynomial is an invariant of the underlying undirected graph which we show to be closely related to the Tutte polynomial. We furthermore give examples of graphs with equal Tutte polynomials but distinct Hall polynomials showing thus that the Hall polynomial encodes different information from that of the Tutte polynomial.

We endow spaces of decorated planar rooted trees with new dendriform and tridendrifrom algebra structures and provide their combinatorial description. We then show that the planar counterparts of Arborified Zeta Values are algebra morphisms for these shuffle and quasi-shuffle products of planar rooted trees. We also prove an arborified version of Hoffman's regularisation relation for Arborified Zeta Values. We conjecture that those give every rational relation between Arborified Zeta Values and show that this conjecture implies the regularised double shuffle conjecture for Multiple Zeta Values.

A $q$-deformed real number, or ``$q$-real'', was defined by Morier-Genoud and the second author. When $x\in\mathbb{R}$ such that $x\geq0$, the $q$-analogue $[x]_q$ is a power series with integer coefficients in one formal variable~$q$. In general a $q$-real is a formal Laurent series. The main goal of this paper is to study the coefficients of $q$-reals as functions on~$\mathbb{R}$ and give a combinatorial interpretation of these coefficients. This allows us to prove a conjecture studied by several authors stating that the $q$-deformed golden ratio has the smallest radius of convergence among the radii of the $q$-reals associated with positive real numbers. This is a $q$-analogue of the classical Hurwitz theorem. Our approach is combinatorial. We prove that for every real number $x$ in the interval $(1,2)$ the absolute value of each coefficient of the power series representing the $q$-real $[x]_q$ is dominated by the absolute value of the corresponding coefficient of the $q$-deformed golden ratio. The main notion is a certain collection of ordered rooted trees associated with a $q$-real. We prove that the golden ratio corresponds to a universal class of trees.

Fiorini, Joret, and Wood (2013) showed that tree minors satisfy the so-called Erdős-Pósa property with a linear bound: For every tree $T$ there exists a constant $c \geq 1$ such that, for every graph $G$ and integer $k\geq 0$, either $G$ contains $k$ vertex-disjoint subgraphs each containing a $T$-minor, or $G$ has a set $X$ of at most $c k$ vertices such that $G-X$ has no $T$-minor. In this paper, we prove that the same result remains true if, given a subset $S$ of vertices of $G$, one only considers $T$-minors of $G$ that are rooted in $S$. Here, a $T$-minor is rooted in $S$ if there is a minor-model of $T$ where each branch set contains a vertex from $S$. This result can be seen as a generalization of the classical $S$-Path Theorem of Gallai, which corresponds to the case $T=K_2$. The upper bound on the size of $X$ is best possible up to the value of the constant $c$, and improves on an earlier $O(k^2)$ bound due to Hodor, La, Micek, and Rambaud (2026).

Classical shuffle products on permutations and binary planar rooted trees (i.e., on the vertices of permutohedra and associahedra) admit descriptions in terms of intervals in the weak Bruhat order and the Tamari order, respectively. Palacios and Ronco extended these products as well as their interval description to surjections and planar rooted trees (i.e. on all faces of permutohedra and associahedra). In this article, we present a broad generalisation of this phenomenon. We show that the shuffle product on faces of certain families of nestohedra admits an interval description with respect to the generalised flip order, a partial order defined on the faces of nestohedra through elementary splitting and fusion operations on the tree-like combinatorial objects encoding them. The generalised flip order extends the flip order of Barnard and McConville from vertices to all faces of nesthedra. We further compare it with the facial weak order of Dermenjian-Hohlweg-Pilaud and the generalised Tamari order of Ronco, and we provide its characterisation in terms of (generalised) inversions.

Two graphs are degree-similar if their adjacency matrices and degree matrices are simultaneously similar. Godsil and Sun asked whether non-isomorphic degree-similar unicyclic graphs exist. We prove that they do not exist. Every graph degree-similar to a unicyclic graph is isomorphic to it. The proof uses a symbolic leaf-peeling algorithm to recover the rooted trees attached to the unique cycle, and a rigidity lemma for colored cycles to identify automorphisms of the cycle.

We construct the planar Linares--Otto--Tempelmayr Hopf algebra, thereby filling the missing planar noncommutative multi-index corner in the square relating the LOT, Butcher--Connes--Kreimer, and Munthe-Kaas--Wright Hopf algebras. Starting from the free associative algebra on a weighted alphabet $\mathbb Z_{\ge -1}\times A$, we define an insertion-type product yielding a post-Lie structure on the Lie algebra generated by the linear span $V(A)$ of weight $-1$ monomials whose proper left prefixes all have nonnegative weight, and the Guin--Oudom construction then produces the planar LOT Hopf algebra. We introduce a planar tree fertility map from decorated planar rooted trees to monomials in $V(A)$, prove that it is a linear isomorphism, and obtain a natural Hopf algebra isomorphism with the Munthe-Kaas--Wright Hopf algebra. We further derive an explicit coproduct formula in terms of left-admissible cuts, establish the extraction-contraction coproduct, and construct a word symmetrization operator compatible with the classical tree symmetrization operator.

We show that finite twin-width does not imply accessibility for finitely generated groups, which answers a question of Esperet. That is, we prove that there exists a finitely generated group $Γ$ that has finite uniform twin-width but is not accessible. In particular, for every finite generating set $S$ of $Γ$, the Cayley graph $Cay(Γ; S)$ has finite twin-width but is not accessible. The example is obtained by combining Wilkes construction of a finitely generated inaccessible residually $p$-finite groups with a result of Bonnet, Geniet, Tessera and Thomasse regarding the twin-width of groups acting faithfully on regular rooted trees.

Phylogenetic trees are rooted trees with branch lengths that record genetic divergence or elapsed time, and quantifying differences between them is central to a wide range of evolutionary and epidemiological analyses. Graph-polynomial encodings of rooted trees provide an accurate, interpretable, and computationally efficient way to compare tree shapes, but existing polynomial encodings must be paired with auxiliary structures to study rooted trees with branch lengths. We introduce a bivariate polynomial encoding that incorporates branch lengths directly into a recursive computation from the leaf vertices to the root vertex of a tree. We prove that, for rooted trees with branch lengths and no vertices of degree two, which include all standard phylogenetic trees, two trees have the same polynomial if and only if their underlying unlabeled trees are isomorphic and the branch lengths of corresponding edges are equal. We apply the polynomial encoding to three published HIV-1 phylogenies sampled in different epidemiological settings and show that it accurately separates the three datasets based on their tree topologies and branch lengths, outperforming previous polynomial-based approaches for analyzing rooted trees with branch lengths.

Maranca and Rosenberg (2024) devised a ranking scheme for unlabeled multifurcating rooted trees, in which the trees are bijectively associated with the positive integers. Here, generalizing earlier results for bifurcating trees, we determine, for trees with a fixed number of leaves, which multifurcating trees obtain the maximal and minimal ranks. We identify these maximizing and minimizing trees for each of two sets of unlabeled multifurcating rooted trees: strictly $k$-furcating trees, in which each internal node possesses exactly $k$ descendants, and at-most-$k$-furcating trees, in which internal nodes possess at least 2 and at most $k$ descendants. In both scenarios, we find that a tree that can be regarded as maximally balanced attains the minimal rank, and a minimally balanced tree attains the maximal rank. We deduce recurrences for the maximal and minimal rank for trees with fixed numbers of leaves in both the strictly $k$-furcating and at-most-$k$-furcating cases. The maximal rank on $(n-1)(k-1)+1$ leaves grows with $(k!)^{\frac{1}{k-1}} β_k^{(k^n)}$ in the strictly $k$-furcating case, and the maximal rank on $n$ leaves grows with $(k!)^{\frac{1}{k-1}} γ_k^{(k^n)}$ in the at-most-$k$-furcating case, where $β_k > 1$ and $γ_k > 1$ are constants that depend on the value of $k$. We show that $β_k$ decreases as the value of $k$ increases, and that $γ_k > β_k$ for $k \geq 3$. The results contribute to the use of tree encodings for empirical characterization of phylogenies and measurement of tree balance.

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra over $\mathbb{C}$ and let $L(ρ)$ be the irreducible integrable $\mathfrak{g}$-module with highest weight $ρ$. Let $I$ be a subgraph of the Dynkin diagram of $\mathfrak{g}$ which has only simple bonds and no cycle of length $\geq 3$. For every subset $D$ of $I$, denote by $β_D$ the sum of the simple roots corresponding to $D$. To every $D \subset I$ such that $λ_{D,I} = 2ρ- β_I - β_D$ is dominant, we associate certain elements $π_{D,I}$ of weight $λ_{D,I} {-} ρ$ in the crystal $B(ρ)$, which depend on the choice of a root vertex in each connected component of $I$. Then we prove that our elements are $ρ$-dominant elements of $B(ρ)$, hence provide new families of components of the tensor product $L(ρ)\otimes L(ρ)$.

We introduce a combinatorial structure $(n,W,T)$ encoding the topological type of a curve transverse to a fixed cellular arrangement of curves on a compact real surface, in terms of intersection numbers, Dyck words and rooted trees. We apply this formalism to analyze a natural generalization of Hilbert's 16th problem to arrangements of curves. We obtain a complete classification of arrangements of three lines and a cubic, and a partial classification of arrangements of three lines and a quartic. This is achieved using Bézout-type obstructions, Viro's patchworking and translations, and by developing the Julia library NWT to handle large databases of curves.