arXiv++ Combinatorics

Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f\colon P\rightarrow P'$ and for any $A, B\in P$, $A\leq _P B$ if and only if $f(A)\leq_{P'} f(B)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements. We focus on the poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$-dimensional Boolean lattice $Q_n$, as $n$ grows large. It is known that $n+c_1(P) \leq R(P,Q_n) \leq c_2(P) n$, for positive constants $c_1$ and $c_2$. However, there is no poset $P$ known, for which $R(P, Q_n)> (1+ε)n$, for $ε>0$. This paper is devoted to a new method for finding upper bounds on $R(P, Q_n)$ using a duality between copies of $Q_n$ and sets of elements that cover them, referred to as blockers. We prove several properties of blockers and their direct relation to the Ramsey numbers. Using these properties we show that $R(\mathcal{N},Q_n)=n+Θ(n/\log n)$, for a poset $\mathcal{N}$ with four elements $A, B, C, $ and $D$, such that $A<C$, $B<D$, $B<C$, and the remaining pairs of elements are incomparable.

We describe one-dimensional central measures on numberings (tableaux) of ideals of partially ordered sets (posets). As the main example, we study the poset ${\Bbb Z}_+^d$ and the graph of its finite ideals, multidimensional Young tableaux; for $d=2$, it is the ordinary Young graph. The central measures are stratified by dimension; in the paper we give a complete description of the one-dimensional stratum and prove that every ergodic central measure is uniquely determined by its frequencies. The suggested method, in particular, gives the first purely combinatorial proof of E.~Thoma's theorem for one-dimensional central measures different from the Plancherel measure (which is of dimension~$2$).

In this paper, nonzero component graphs and nonzero component union graphs of finite dimensional vector space are studied using the zero-divisor graph of specially constructed 0-1-distributive lattice and the zero-divisor graph of rings. Further, we define an equivalence relation on nonzero component graphs and nonzero component union graphs to deduce that these graphs are the graph join of zero-divisor graphs of Boolean algebras and complete graphs. In the last section, we characterize the perfect and chordal nonzero component graphs and nonzero component union graphs.

We prove the automorphism conjecture for ordered sets of width less than or equal to 11. The proof supports the meta conjecture that a large number of automorphisms is achievable only as some type of product of independent automorphisms on highly symmetric subsets.

In this work we define a unified generating functions for 9 different kinds of set partitions including cyclically ordered set partitions. Such generating function depends on 4 parameters. We consider property of this function and provide combinatorial explanation for polynomials generated by this function. Two new combinatorial statistics are defined and the explicit formulae given for coefficients of parametrized polynomials defined by the generating function.

We propose a topological framework to study the evolution of Alzheimer's disease, the most common neurodegenerative disease. The modeling of this disease starts with the representation of the brain connectivity as a graph and the seeding of a toxic protein in a specific region represented by a vertex. Over time, the accumulation of toxic proteins at vertices and their propagation along edges are modeled by a dynamical system on this graph. These dynamics provide an order on the edges of the graph according to the damage created by high concentrations of proteins. This sequence of edges defines a filtration of the graph. We consider different filtrations given by different disease seeding locations. To study this filtration we propose a new combinatorial and topological method. A filtration defines a maximal chain in the partially ordered set of spanning subgraphs ordered by inclusion. To identify similar graphs, and define a topological signature, we quotient this poset by graph homotopy equivalence, which gives maximal chains in a smaller poset. We provide an algorithm to compute this direct quotient without computing all subgraphs and then propose bounds on the total number of graphs up to homotopy equivalence. To compare the maximal chains generated by this method, we extend Kendall's $d_K$ metric for permutations to more general graded posets and establish bounds for this metric. We then demonstrate the utility of this framework on actual brain graphs by studying the dynamics of tau proteins on the structural connectome. {We show that the proposed topological brain chain equivalence classes distinguish different simulated subtypes of Alzheimer's disease.

We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse sequences of finite spaces and prove some properties.

A notion of combinatorial game over a partially ordered set of atomic outcomes was recently introduced by Selinger. These games are appropriate for describing the value of positions in Hex and other monotone set coloring games. It is already known that there are infinitely many distinct monotone game values when the poset of atoms is not linearly ordered, and that there are only finitely many such values when the poset of atoms is linearly ordered with 4 or fewer elements. In this short paper, we settle the remaining case: when the atom poset has 5 or more elements, there are infinitely many distinct monotone values.

This paper presents a novel method for computing certain particle locations in the multi-species $q$-TAZRP (totally asymmetric zero range process). The method is based on a decomposition of the process into its discrete-time embedded Markov chain, which is described more generally as a monotone process on a graded partially ordered set; and an independent family of exponential random variables. A further ingredient is explicit contour integral formulas for the transition probabilities of the $q$-TAZRP. The main result of this method is a shift invariance for the multi-species $q$-TAZRP on the infinite line. By a previously known Markov duality result, these particle locations are the same as joint $q$-moments. One particular special case is that for step initial conditions, ordered multi-point joint $q$-moments of the $n$-species $q$-TAZRP match the $n$-point joint $q$-moments of the single-species $q$-TAZRP. Thus, we conjecture that the Airy$_2$ process describes the joint multi-point fluctuations of multi-species $q$-TAZRP. As a probabilistic application of this result, we find explicit contour integral formulas for the joint $q$-moments of the multi-species $q$-TAZRP in the diffusive scaling regime.

We present a combinatorial analysis of fiber bundles of generalized configuration spaces on connected abelian Lie groups. These bundles are akin to those of Fadell-Neuwirth for configuration spaces, and their existence is detected by a combinatorial property of an associated finite partially ordered set. This is consistent with Terao's fibration theorem connecting bundles of hyperplane arrangements to Stanley's lattice supersolvability. We obtain a combinatorially determined class of K($π$,1) toric and elliptic arrangements. Under a stronger combinatorial condition, we prove a factorization of the Poincaré polynomial when the Lie group is noncompact. In the case of toric arrangements, this provides an analogue of Falk-Randell's formula relating the Poincaré polynomial to the lower central series of the fundamental group.

The motivation for this paper comes from the ongoing SARS-CoV-2 Pandemic. Its goal is to present a previously neglected approach to non-adaptive group testing and describes it in terms of residuated pairs on partially ordered sets. Our investigation has the advantage, as it naturally yields an efficient decision scheme (decoder) for any given testing scheme. This decoder allows to detect a large amount of infection patterns. Apart from this, we devise a construction of good group testing schemes that are based on incidence matrices of finite partial linear spaces. The key idea is to exploit the structure of these matrices and make them available as test matrices for group testing. These matrices may generally be tailored for different estimated disease prevalence levels. As an example, we discuss the group testing schemes based on generalized quadrangles. In the context at hand, we state our results only for the error-free case so far. An extension to a noisy scenario is desirable and will be treated in a subsequent account on the topic.

For an ordered set W = {w1,w2,...,wk} of vertices and a vertex v in a connected graph G, the ordered k-vector r(v|W) := (d(v,w1),d(v,w2),...,d(v,wk)) is called the (metric) representation of v with respect to W, where d(x,y) is the distance between the vertices x and y. The set W is called a resolving set for G if distinct vertices of G have distinct representations with respect to W. The minimum cardinality of a resolving set for G is its metric dimension. In this paper, we investigate the metric dimension of the lexicographic product of graphs G and H, G[H] for some known graphs.

An ordered set $S$ of vertices of a graph $G$ is a resolving set for $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of G is the minimum cardinality of a resolving set. In this paper we study resolving sets tolerant to several failures in three-dimensional grids. Concretely, we seek for minimum cardinality sets that are resolving after removing any $k$ vertices from the set. This is equivalent to finding $(k+1)$-resolving sets, a generalization of resolving sets, where, for every pair of vertices, the vector of distances to the vertices of the set differ in at least $k+1$ coordinates. This problem is also related with the study of the $(k+1)$-metric dimension of a graph, defined as the minimum cardinality of a $(k+1)$-resolving set. In this work, we first prove that the metric dimension of a three-dimensional grid is 3 and establish some properties involving resolving sets in these graphs. Secondly, we determine the values of $k\ge 1$ for which there exists a $(k+1)$-resolving set and construct such a resolving set of minimum cardinality in almost all cases.

This paper is a contribution to the study of hereditary classes of relational structures, these classes being quasi-ordered by embeddability. It deals with the specific case of ordered sets of width two and the corresponding bichains and incomparability graphs. Several open problems about hereditary classes of relational structures which have been considered over the years have positive answer in this case. For example, well-quasi-ordered hereditary classes of finite bipartite permutation graphs, respectively finite 321-avoiding permutations, have been characterized by Korpelainen, Lozin and Mayhill, respectively by Albert, Brignall, Ruškuc and Vatter. We provide another proof of the results mentioned above. It is based on the existence of a countable universal poset of width two, obtained by the first author in 1978, his notion of multichainability (1978) (a kind of analog to letter-graphs), and metric properties of incomparability graphs. Using Laver's theorem (1971) on better-quasi-ordering (bqo) of countable chains we prove that a wqo hereditary class of finite or countable bipartite permutation graphs is necessarily bqo. This gives a positive answer to a conjecture of Nash-Williams (1965) in this case. We extend a previous result of Albert et al. by proving that if a hereditary class of finite, respectively countable, bipartite permutation graphs is wqo, respectively bqo, then the corresponding hereditary classes of posets of width at most two and bichains are wqo, respectively bqo. Several notions of labelled wqo are also considered. We prove that they are all equivalent in the case of bipartite permutation graphs, posets of width at most two and the corresponding bichains. We characterize hereditary classes of finite bipartite permutation graphs which remain wqo when labels from a wqo are added.

For $k \geq 1$, in a graph $G=(V,E)$, a set of vertices $D$ is a distance $k$-dominating set of $G$, if any vertex in $V\setminus D$ is at distance at most $k$ from some vertex in $D$. The minimum cardinality of a distance $k$-dominating set of $G$ is the distance $k$-domination number, denoted by $γ_k(G)$. An ordered set of vertices $W=\{w_1,w_2,\ldots,w_r\}$ is a resolving set of $G$, if for any two distinct vertices $x$ and $y$ in $V\setminus W$, there exists $1\leq i\leq r$, such that $d_G(x,w_i)\neq d_G(y,w_i)$. The minimum cardinality of a resolving set of $G$ is the metric dimension of the graph $G$, denoted by $dim(G)$. In this paper, we introduce the distance $k$-resolving dominating set, which is a subset of $V$ that is both a distance $k$-dominating set and a resolving set of $G$. The minimum cardinality of a distance $k$-resolving dominating set of $G$ is called the distance $k$-resolving domination number and is denoted by $γ^r_k(G)$. We give several bounds for $γ^r_k(G)$ some in terms of the metric dimension $dim(G)$ and the distance $k$-domination number $γ_k(G)$. We determine $γ^r_k(G)$ when $G$ is a path or a cycle. Afterwards, we characterize the connected graphs of order $n$ having $γ^r_k(G)$ equal to $1$, $n-2$, and $n-1$, for $k\geq 2$. Then, we construct graphs realizing all the possible triples $(dim(G),γ_k(G),γ^r_k (G))$, for all $k\geq 2$. Later, we determine the maximum order of a graph $G$ having distance $k$-resolving domination number $γ^r_k(G)=γ^r_k\geq 1$, we provide graphs achieving this maximum order for any positive integers $k$ and $γ^r_k$. Finally, we establish Nordhaus-Gaddum bounds for $γ^r_k(G)$, for $k\geq 2$.

The classical $q$-analogue of the integers was recently generalized by Morier-Genoud and Ovsienko to give $q$-analogues of rational numbers. Some combinatorial interpretations are already known, namely as the rank generating functions for certain partially ordered sets. We review some of these interpretations, and additionally give a slightly novel approach in terms of planar graphs called snake graphs. Using the snake graph approach, we show that the numerators of $q$-rationals count the sizes of certain varieties over finite fields, which are unions of open Schubert cells in some Grassmannian.

Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f: P\rightarrow P'$ and for any $X, Y\in P$, $X\leq _P Y$ if and only of $f(X)\leq_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements. We focus on a poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$-dimensional Boolean lattice $Q_n$, as $n$ grows large. We show a sharp jump in behaviour of this number as a function of $n$ depending on whether or not $P$ contains a copy of either a poset $V$, i.e. a poset on elements $A, B, C$ such that $B>C$, $A>C$, and $A$ and $B$ incomparable, or a poset $Λ$, its symmetric counterpart. Specifically, we prove that if $P$ contains a copy of $V$ or $Λ$ then $R(P, Q_n) \geq n +\frac{1}{15} \frac{n}{\log n}$. Otherwise $R(P, Q_n) \leq n + c(P)$ for a constant $c(P)$. This gives the first non-marginal improvement of a lower bound on poset Ramsey numbers and as a consequence gives $R(Q_2, Q_n) = n + Θ(\frac{n}{\log n})$.

The Dodgson/Muir Identity is an identity on determinants of matrix minors that generalizes the Dodgson Identity. Using the matrix tree theorem, we create an equivalent forest identity on ordered sets of $k$ forests. We then prove the generalized Forest Identity, and by extension the Dodgson/Muir Identity, using an edge-swapping involution. This algorithm is a generalization of the Red Hot Potato algorithm, developed by the author in 2021 to prove the Dodgson Identity.

A Lattice is a partially ordered set where both least upper bound and greatest lower bound of any pair of elements are unique and exist within the set. Kötter and Kschischang proved that codes in the linear lattice can be used for error and erasure-correction in random networks. Codes in the linear lattice have previously been shown to be special cases of codes in modular lattices. Two well known classifications of semimodular lattices are geometric and distributive lattices. Most of the frequently used coding spaces are examples of either or both. We have identified the unique criterion which makes a geometric lattice distributive, thus characterizing all finite geometric distributive lattices. Our characterization helps to prove a conjecture regarding the maximum size of a distributive sublattice of a finite geometric lattice and identify the maximal case. The Whitney numbers of the class of geometric distributive lattices are also calculated. We present a few other applications of this unique characterization to derive certain results regarding linearity and complements in the linear lattice.

Phylogenetic networks are a generalization of evolutionary or phylogenetic trees that are commonly used to represent the evolution of species which cross with one another. A special type of phylogenetic network is an {\em $X$-cactus}, which is essentially a cactus graph in which all vertices with degree less than three are labelled by at least one element from a set $X$ of species. In this paper, we present a way to {\em encode} $X$-cactuses in terms of certain collections of partitions of $X$ that naturally arise from $X$-cactuses. Using this encoding, we also introduce a partial order on the set of $X$-cactuses (up to isomorphism), and derive some structural properties of the resulting partially ordered set. This includes an analysis of some properties of its least upper and greatest lower bounds. Our results not only extend some fundamental properties of phylogenetic trees to $X$-cactuses, but also provides a new approach to solving topical problems in phylogenetic network theory such as deriving consensus networks.