arXiv++ Combinatorics

In neutral-atom quantum computers, atoms are moved to target positions along paths of empty positions, and a target position may be reserved for one species of atom. Motivated by this task, we introduce Single-Move Labeled Token Routing: every source and every target vertex of a graph is assigned a set of labels, and tokens occupy the sources. A solution consists of a matching that assigns each source to a compatible target (one whose label set intersects its own), a route for each matched pair, and a movement order in which, when a token is moved, its route contains no other token. The problem is known to be polynomial-time solvable when every source is compatible with every target, and $\mathsf{NP}$-complete on grid graphs when each source is compatible with exactly one target. We prove that the latter case remains $\mathsf{NP}$-complete on grids and on planar graphs of maximum degree four even when some solution has pairwise edge-disjoint routes. On trees, the problem is known to be $\mathsf{NP}$-complete even for maximum degree three. We study trees through the solution edge multiplicity, the largest number of routes of a solution sharing an edge, and the candidate edge multiplicity, the largest number of compatible pairs whose paths share an edge. We prove that on trees of maximum degree three, the problem is $\mathsf{W}[1]$-hard parameterized by a bound on the solution edge multiplicity, even when a movement order is given, and that on trees of unbounded degree, it is $\mathsf{NP}$-complete even when the candidate edge multiplicity is at most eight. We show that on trees the problem is fixed-parameter tractable parameterized by the maximum degree together with the candidate edge multiplicity, and also by the candidate vertex multiplicity, the same count at vertices. Unless $\mathsf{P}=\mathsf{NP}$, neither the maximum degree nor the candidate edge multiplicity can be omitted.

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.

Rooted phylogenetic networks are widely used to represent the evolution of species that have undergone reticulate processes. However, these networks can be highly non-planar, making them more difficult to visualise and interpret than evolutionary trees. In this paper, we investigate planarity properties of galled networks, an important subclass of phylogenetic networks. We show that all planar galled networks are necessarily upward planar. Furthermore, by leveraging recent results on planar phylogenetic networks, we provide three characterisations for each of the outerplanar and terminal planar galled network classes in terms of forbidden vertex configurations, forbidden directed subgraphs, and forbidden structures in their associated underlying undirected graphs. These results contribute to a deeper understanding of the structural properties of galled networks and may inform future methods for their construction and visualisation.

Autocatalysis, the ability of a chemical subsystem to sustain its own constituents when supplied with sufficient food molecules, has been closely related to the origin of life on Earth. Emerging from Wilhelm Ostwald's considerations about an explicit autocatalytic reaction, different notions of autocatalysis have been developed over the years. The two most prominent are reflexively autocatalytic F-generated sets (RAFs) and stoichiometric autocatalysis. After having shown that each RAFs is, under reasonable conditions, in general stoichiometrically autocatalytic, we examine here the relationship between the two notions of minimality: irreducible RAFs and autocatalytic cores. To this end, we overcome the obstacle that RAFs and stoichiometric autocatalysis have been formalized in distinct systems of chemical reactions, i.e., catalytic reaction systems (CRS) and chemical reaction networks (CRNs), respectively. We show that reactions in a CRS constitute equivalence classes of reactions of the corresponding CRNs w.r.t. their specific catalyzations. Using the fact that CRN and CRS can be canonically identified whenever each CRS reaction is associated with a single catalyzation, we demonstrate that the Kőnig graph of a monocatalyzed, irreducible RAF is composed of strong blocks devoid of food and waste species that are separated by reaction vertices, each of which contains an autocatalytic core. In fact, a single irreducible RAF can, in general, contain exponentially many autocatalytic cores.

In this paper we first introduce the \emph{infinite multi-row periodic pattern of shape $α$} as a geometric realization of $\mathbf{C}_α$. We then give an explicit formula for the coefficients $b^λ_{α,β}$ appearing in the species decomposition \[ \mathbf{C}_α\times \mathbf{C}_β = \sum_{λ\vdash n} b^λ_{α,β}\,\mathbf{C}_λ. \]

The purpose of this work is twofold. In the first part, we consider layered mixed matrices introduced by Murota, relate them to existing notions in combinatorial commutative algebra, and investigate the irreducibility of their determinants. Furthermore, for a layered mixed matrix in combinatorial canonical form, we determine the sparsity structure of its inverse. That is, we characterize which entries of the inverse are nonzero. In the second part, we establish for the first time a formal connection between these algebraic results and the theory of buffering structures for reaction networks developed by Mochizuki and Okada. We identify the lattice of buffering structures with the lattice of order ideals of the block poset of the combinatorial canonical form of the associated layered mixed matrix. This allows us to characterize the reducibility of the symbolic Jacobian determinant as a polynomial in the reaction-rate derivatives, as well as the nonzero sensitivity responses of species concentrations to reaction-rate perturbations.

We show that, in the ring of virtual species, \[ \mathcal{I}=\sum_{m\geq 0}(-1)^m\prod_{i=1}^{m}\bigl((E^{-1})^i-1\bigr), \] where $\mathcal{I}$ is the species of interval orders and $E^{-1}$ is the multiplicative inverse of the species $E$ of sets. The right-hand side is the virtual species of signed ballot matrices introduced by Claesson and Hannah. They showed that its signed cardinality counts labeled interval orders. We strengthen this to a species identity, which we prove twice: first algebraically and then bijectively, using a natural sign-reversing involution. The cycle index series of $\mathcal{I}$ specializes to the generating series for labeled and unlabeled interval orders. We describe the automorphism group of an interval order as a Young subgroup and prove the identity $\mathcal{I}=\mathcal{R}\circ E_+$, where $\mathcal{R}$ is the species of rigid interval orders. We also show that Glaisher's T-number $T_n$ counts the $24$-colored interval orders on $[n]$ in which no isolated element has color $24$.

Phylogenetic networks are graphs that represent the evolutionary history of species. Recently, the class of orchard phylogenetic networks, which can be reduced by so-called cherry-picking sequences, has gained attention for its computational and biological aspects. In this paper, we study a fundamental question on orchards and their cherry-picking sequences by considering the CoveringNumber problem: given an orchard network $N$, how many cherry-picking sequences are needed to reduce all subnetworks of $N$? We initiate this study by considering the problem for trees. We then show that the covering number can be computed for binary trees recursively using a similar but more fine-grained notion of survival covering number. We also give a recursive formula for the survival covering number of non-binary trees. However, computing the covering number for non-binary trees appears to be considerably more challenging. For this case, we show that the covering number of star trees (whose root is adjacent to all leaves) is equivalent to the so-called SubsetConnectivity problem, which we introduce in this paper. Finally, we show that if there is no restriction on the sequence length, a single sequence of minimum length $\binom{n}{2}$ suffices to reduce all subtrees of a tree on $n$ leaves.

The totally asymmetric simple exclusion process (TASEP) with open boundaries is a finite Markov chain describing particles hopping between adjacent sites on a one-dimensional lattice with left and right boundary transitions governed by parameters $α$ and $β$. The multispecies TASEP is a higher-rank generalization in which particles have different species. Multiline queues were introduced by Ferrari and Martin (2007) to compute the stationary distribution of the multispecies TASEP on a circle. It has remained an open problem to find a combinatorial formula for the stationary distribution of the multispecies open-boundary TASEP. Using Kirillov--Reshetikhin crystals of type $C$, we construct type $C$ multiline queues and a corresponding Ferrari--Martin pairing algorithm that projects them to TASEP configurations. This yields a combinatorial formula for the stationary distribution of the multispecies open-boundary TASEP for the $α=β=1$ specialization.

Grouping species according to their phylogenetic relationships often results in different groups than grouping them according to their shared traits. Monophyletic groups play an important role in this regard, as they are groups of species sharing the same trait and being uniquely defined by a joint phylogenetic subtree. This immediately leads to the question of how to identify possible monophyletic groups in characters, which assign each present-day species a certain trait and which are typically used for phylogenetic tree reconstruction. In our manuscript, we provide a general formula to quantify how many different characters are monophyletic on any given tree and provide simple formulae for binary characters and for certain tree shapes. We also investigate relations between monophyly and the well-known phylogenetic tree reconstruction criterion maximum parsimony by providing a linear-time algorithm which determines the parsimony score together with the monophyly type of a character on a tree.

Phylogenetic networks are used to represent the evolutionary history of species. Due to biological interpretations and computational advantages, researchers have focused on restricted classes of phylogenetic networks, such as tree-child, orchard, and tree-based. These classes capture different notions of tree-likeness: tree-child networks require every internal vertex to have a taxon reachable by a tree path, orchard networks are trees with horizontal arcs (for modelling histories rife with horizontal gene transfers), and tree-based networks are trees with additional (not-necessarily horizontal) arcs. A natural question to ask is ``how far is a given network from belonging to a particular class?'' This motivates the study of proximity measures, which measure the minimum number of graph modifications required to transform a network into one belonging to a particular class. In this paper, we consider three proximity measures based on leaf addition, valid arc deletion, and arc deletion. We study pairwise comparability of the proximity measures, prove complexity results, and derive extremal bounds for the classes of tree, tree-child, orchard, and tree-based networks.

A Hopf monoid structure on extended generalized permutahedra (EGP) was recently introduced by M.Aguiar and F.Ardila. We investigate the existence of a cointeracting bialgebra structure on EGP's. We show that a suitable notion of cointeraction exists, not in the classical comodule sense, but via the framework of measuring algebras. The comodule-type map assigns to each polyhedron the sum of pairs of face and tangent cone at the face. EGP's and affine cone EGP's form the cointeracting bimonoids in species with EGP as a third measuring structure. EGP's are in bijection to extended submodular functions. For an EGP, we also describe explicitly the submodular functions of its faces and tangent cones. The braid fan and its relation to preorders play a key role in this description.

In this paper, we study the structure of the complete asymptotic expansion of the probability that a large combinatorial object is connected or consists of a given number of connected components. For rapidly growing labeled families of structures, the coefficients involved in these expansions are possibly negative integers. Using species theory, we interpret these coefficients as the difference between the counting sequences of two derivative species of structures. In particular, we show that this difference can be viewed as the counting sequence of the virtual species obtained with the help of an "anti-$\mathrm{SEQ}$" operator applied to the initial family of structures. Applications include $P$-angulated discrete surfaces, quadratic square-tiled surfaces, and non-orientable graph encoded manifolds, which were not reachable with our previous methods. Moving on to the weighted species, we establish the whole structure of the asymptotic expansion of the probability that a graph is connected in the Erdős-Rényi model $G(n,p)$. Here, the asymptotic coefficients are polynomials in $\frac{p}{1-p}$ and can be described both in terms of simple graphs and irreducible tournaments with ties. We also provide general asymptotic results for sequence and cycle decomposition, as well as the complete asymptotic expansion of the probability that a random labeled tournament with ties is irreducible.

In recent work (Forum Math.~Sigma, 2024), we established a correspondence between MAT-labeled graphs arising from hyperplane arrangements and regular vines from probability theory. In this paper, we extend this connection to Arrow's single-peaked domains in social choice theory. We show that MAT-labeled complete graphs, regular vines, and maximal Arrow's single-peaked domains arise from the same recursive combinatorial structure. Our main result gives an axiomatic characterization of these objects using the language of combinatorial species. At the heart of this characterization are two fundamental operations, called splitting and merging, together with natural compatibility conditions that uniquely determine the structures. As consequences, we obtain explicit correspondences between maximal Arrow's single-peaked domains, MAT-labeled complete graphs, and regular vines, resolving an open problem in the economics literature concerning the combinatorial characterization of single-peaked domains. We further show, by a direct proof, that regular vines are equivalent to $(n,3)$-extremal lattices from formal concept analysis. Consequently, these extremal lattices also fit naturally into the same splitting and merging framework, providing another example from a different area that satisfies our axiomatic characterization.

In evolutionary biology, phylogenetic networks are now widely used to represent the historical relationships between species and population, when this history includes reticulation events such as hybridization, gene flow and admixture between populations. Semidirected phylogenetic networks are appropriate models when the direction of some edges and the root position are not identifiable from data. Comparing semidirected networks is important in many applications. For rooted and directed networks, a $μ$-representation was originally introduced to distinguish tree-child networks, and has since been extended in two different directions: to the larger class of orchard directed networks by adding an extra component that counts paths to reticulations; and to semidirected networks, through an edge-based variant. However, the latter does not provide a distance between semidirected and orchard networks. We introduce here a new edge-based $μ$-representation capable of distinguishing distinct orchard binary semidirected networks. For this class, we provide a reconstruction algorithm and therefore obtain a true distance that is computable in polynomial time.

In the theory of species, the species $\mathbf{L}$ of linear orders and the substitution operation $\boldsymbol{\circ}$ combine for a compelling result: given any positive comonoid $\mathbf{p}$, $\mathbf{L}\boldsymbol{\circ}\mathbf{p}$ carries the structure of Hopf monoid, freely generated by $\mathbf{p}$. Leaving aside the universal property this implies, we ask, "for which $\mathbf{b}$ does $\mathbf{b}\boldsymbol{\circ}\mathbf{p}$ carry the structure of Hopf monoid?" After answering this question, we look at basic properties of our construction. We also extend a result of the present authors, on interpolation in species, to this new context.

We study two new families of symmetric functions arising from a species-theoretic construction motivated by cycle structure. For each partition of $n$, we define two combinatorial species that decompose into molecules indexed by the same partition, giving rise to two corresponding basis of the homogeneous symmetric functions of degree $n$. We prove that each of these families forms a basis by exhibiting explicit cycle-index formulas and triangular transition matrices to the power-sum basis. Using these constructions, we generalize a classical result describing the Kronecker (Hadamard) product in the homogeneous basis to the two new settings. In particular, we show that the categories generated by these species are closed under the Kronecker product, and that the product of two basis elements expands with nonnegative integer coefficients. Our results provide a new combinatorial framework for studying the Kronecker product and suggest avenues toward interpreting its structure constants

We study an $n$-species $t$-PushTASEP, an integrable long-range stochastic process, on a one-dimensional periodic lattice with inhomogeneities $x_1,\ldots,x_L$ and arbitrary capacity $l$ at each lattice site. The Markov matrix is identified with an alternating sum of commuting transfer matrices over all fundamental representations of $U_t(\widehat{sl}_{n+1})$. Stationary probabilities are expressed in a matrix product form involving a fusion of quantized corner transfer matrices for the strange five-vertex model introduced by Okado, Scrimshaw, and the second author. The resulting partition function, which serves as the normalization factor of the stationary probabilities, is obtained from the $l=1$ case by a finite plethystic substitution of length $l$.

We study several bialgebraic structures on boolean functions, that is to say maps defined on the set of subsets of a finite set $X$, taking the value $0$ on $\emptyset$. Examples of boolean functions are given by the indicator function of the hyperedges of a given hypergraph, or the rank function of a matroid. We give the species of boolean functions a two-parameters family of products and a coproduct, and this defines a two-parameters family of twisted bialgebras. We then try to define a second coproduct on boolean functions, based on contractions, in order to obtain a double bialgebra. We show that this is not possible on the whole species of boolean functions, but that there exists a maximal subspecies where this is possible. This subspecies being rather mysterious, we introduce rigid boolean functions and show that this subspecies has indeed a second coproduct, as wished, and that it contains rank functions of matroids and indicator functions associated to hypergraphs. As a consequence, we obtain a unique polynomial invariant on rigid boolean functions, which is a generalization of the chromatic polynomial of graphs.

Bipartite best match graphs (BMG) and their generalizations arise in mathematical phylogenetics as combinatorial models describing evolutionary relationships among related genes in a pair of species. In this work, we characterize the class of \emph{undirected 2-quasi-BMGs} (un2qBMGs), which form a proper subclass of the $P_6$-free chordal bipartite graphs. We show that un2qBMGs are exactly the class of bipartite graphs free of $P_6$, $C_6$, and the eight-vertex Sunlet$_4$ graph. Equivalently, a bipartite graph $G$ is un2qBMG if and only if every connected induced subgraph contains a ``heart-vertex'' which is adjacent to all the vertices of the opposite color. We further provide a $O(|V(G)|^3)$ algorithm for the recognition of un2qBMGs that, in the affirmative case, constructs a labeled rooted tree that ``explains'' $G$. Finally, since un2qBMGs coincide with the $(P_6,C_6)$-free bi-cographs, they can also be recognized in linear time.