arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6861 papers tagged with this keyword
2022-11-20
Noncommutative crossing partitions
We define and study noncommutative crossing partitions which are a generalization of non-crossing partitions. By introducing a new cover relation on binary trees, we show that the partially ordered set of noncommutative crossing partitions is a graded lattice. This new lattice contains the Kreweras lattice, the lattice of non-crossing partitions, as a sublattice. We calculate the Möbius function, the number of maximal chains and the number of $k$-chains in this new lattice by constructing an explicit $EL$-labeling on the lattice. By use of the $EL$-labeling, we recover the classical results on the Kreweras lattice. We characterize two endomorphism on the Kreweras lattice, the Kreweras complement map and the involution defined by Simion and Ullman, in terms of the maps on the noncommutative crossing partitions. We also establish relations among three combinatorial objects: labeled $k+1$-ary trees, $k$-chains in the lattice, and $k$-Dyck tilings.
Klein cordial trees and odd cyclic cordial friendship graphs
Published • View Publication • BIB
For a graph $G$ and an abelian group $A$, a labeling of the vertices of $G$ induces a labeling of the edges via the sum of adjacent vertex labels. Hovey introduced the notion of an $A$-cordial vertex labeling when both the vertex and edge labels are as evenly distributed as possible. Much work has since been done with trees, hypertrees, paths, cycles, ladders, prisms, hypercubes, and bipartite graphs. In this paper we show that all trees are $\mathbb{Z}_2^2$-cordial except for $P_4$ and $P_5$. In addition, we give numerous results relating to $\mathbb{Z}_m$-cordiality of the friendship graph $F_n$. The most general result shows that when $m$ is an odd multiple of $3$, then $F_n$ is $\mathbb{Z}_m$-cordial for all $n$. We also give a general conjecture to determine when $F_n$ is $\mathbb{Z}_m$-cordial.
2022-11-17
Unique identification and domination of edges in a graph: The vertex-edge dominant edge metric dimension
Dominating sets and resolving sets have important applications in control theory and computer science. In this paper, we introduce an edge-analog of the classical dominant metric dimension of graphs. By combining the concepts of a vertex-edge dominating set and an edge resolving set, we introduce the notion of a vertex-edge dominant edge resolving set of a graph. We call the minimum cardinality of such a set in a graph $\G$, the vertex-edge dominant edge metric dimension $\g_{emd}(\G)$ of $\G$. The new parameter $\g_{emd}$ is calculated for some common families such as paths, cycles, complete bipartite graphs, wheel and fan graphs. We also calculate $\g_{emd}$ for some Cartesian products of path with path and path with cycle. Importantly, some general results and bounds are presented for this new parameter. We also conduct a comparative analysis of $\g_{emd}$ with the dominant metric dimension of graphs. Comparison shows that these two parameters are not comparable, in general. Upon considering the class of bipartite graphs, we show that $\g_{emd}(T_n)$ of a tree $T_n$ is always less than or equal to its dominant metric dimension. However, we show that for non-tree bipartite graphs, the parameter is not comparable just like general graphs. Based on the results in this paper, we propose some open problems at the end.
2022-11-15
A Project on Cyclic Ordering of Some Families of Graphs
Let $G$ be an $n$-vertex connected graph. A cyclic base ordering of $G$ is a cyclic ordering of all edges such that every cyclically consecutive $n-1$ edges induce a spanning tree of $G$. In this project, we study cyclic base ordering of triangular grid graphs, series composition of graphs, generalized theta graphs, and circulant graphs.
The rotation distance of brooms
Published in European J. Combin. 118, 103877 (2024) • View Publication • BIB
The associahedron $\mathcal{A}(G)$ of a graph $G$ has the property that its vertices can be thought of as the search trees on $G$ and its edges as the rotations between two search trees. If $G$ is a simple path, then $\mathcal{A}(G)$ is the usual associahedron and the search trees on $G$ are binary search trees. Computing distances in the graph of $\mathcal{A}(G)$, or equivalently, the rotation distance between two binary search trees, is a major open problem. Here, we consider the different case when $G$ is a complete split graph. In that case, $\mathcal{A}(G)$ interpolates between the stellohedron and the permutohedron, and all the search trees on $G$ are brooms. We show that the rotation distance between any two such brooms and therefore the distance between any two vertices in the graph of the associahedron of $G$ can be computed in quasi-quadratic time in the number of vertices of $G$.
A few words about maps
Published • View Publication • BIB
In this paper, we survey some properties, encoding, and bijections involving combinatorial maps, double occurrence words, and chord diagrams. We particularly study quasi-trees from a purely combinatorial point of view and derive a topological representation of maps with a given spanning quasi-tree using two fundamental polygons, which extends the representation of planar maps based on the equivalence with bipartite circle graphs. Then, we focus on Depth-First Search trees and their connection with a poset we define on the spanning quasi-trees of a map. We apply the bijections obtained in the first section to the problem of enumerating loopless rooted maps. Finally, we return to the planar case and discuss a decomposition of planar rooted loopless maps and its consequences on planar rooted loopless map enumeration.
The RED-BLUE SEPARATION problem on graphs
Published in Theoretical Computer Science 970:114061, 2023 • View Publication • BIB
We introduce the Red-Blue Separation problem on graphs, where we are given a graph $G=(V,E)$ whose vertices are colored either red or blue, and we want to select a (small) subset $S \subseteq V$, called red-blue separating set, such that for every red-blue pair of vertices, there is a vertex $s \in S$ whose closed neighborhood contains exactly one of the two vertices of the pair. We study the computational complexity of Red-Blue Separation, in which one asks whether a given red-blue colored graph has a red-blue separating set of size at most a given integer. We prove that the problem is NP-complete even for restricted graph classes. We also show that it is always approximable in polynomial time within a factor of $2\ln n$, where $n$ is the input graph's order. In contrast, for triangle-free graphs and for graphs of bounded maximum degree, we show that Red-Blue Separation is solvable in polynomial time when the size of the smaller color class is bounded by a constant. However, on general graphs, we show that the problem is $W[2]$-hard even when parameterized by the solution size plus the size of the smaller color class. We also consider the problem Max Red-Blue Separation where the coloring is not part of the input. Here, given an input graph $G$, we want to determine the smallest integer $k$ such that, for every possible red-blue coloring of $G$, there is a red-blue separating set of size at most $k$. We derive tight bounds on the cardinality of an optimal solution of Max Red-Blue Separation, showing that it can range from logarithmic in the graph order, up to the order minus one. We also give bounds with respect to related parameters. For trees however we prove an upper bound of two-thirds the order. We then show that Max Red-Blue Separation is NP-hard, even for graphs of bounded maximum degree, but can be approximated in polynomial time within a factor of $O(\ln^2 n)$.
2022-11-15 v2
Acyclic colourings of graphs with obstructions
Published in SIAM Journal on Discrete Mathematics, 2025, vol. 39, no 1, p. 505-532 • View Publication • BIB
Given a graph $G$, a colouring of $G$ is \emph{acyclic} if it is a proper colouring of $G$ and every cycle contains at least three colours. Its acyclic chromatic number $χ_a(G)$ is the minimum~$k$ such that an acyclic $k$-colouring of $G$ exists. When $G$ has maximum degree $Δ$, it is known that $χ_a(G) = \mathcal {O}(Δ^{4/3})$ as $Δ\to \infty$, and that $χ_a(G) = \mathcal {O}(\sqrt{t} \cdot Δ)$ if in addition $G$ does not contain $K_{2,t}$ as a subgraph. We study the extremal value of the acyclic chromatic number in the class of graphs of maximum degree $Δ$ that do not contain some fixed subgraph $F$ on $t$ vertices. We establish that this extremal value is at most $\mathcal {O}(t^{8/3}Δ^{2/3})$ if $F$ is a tree, $\mathcal {O}(\sqrt{t} \cdot Δ)$ if $F$ is bipartite and can be made acyclic with the removal of one vertex, $2Δ+ \mathcal {O}(tΔ^{2/3})$ if $F$ is an even cycle of length at least $6$, and $\mathcal {O}(t^{1/4}Δ^{5/4})$ if $F=K_{3,t}$. Moreover, we exhibit an infinite family of obstructions $F$ that each induces a different asymptotic behaviour for this extremal value. This is obtained with the derivation of lower bounds that come from the analysis of the acyclic chromatic number of a random graph drawn from either $G(n,p)$ or $G(n,n,p)$, that we entirely determine up to a ${\rm polylog}(n)$ factor. As a byproduct, we can certify that most of our results are tight up to a $Δ^{\mathcal{O}(1/t)}$ factor.
2022-11-14 v2
Fishburn trees
Published • View Publication • BIB
The in-order traversal provides a natural correspondence between binary trees with a decreasing vertex labeling and endofunctions on a finite set. By suitably restricting the vertex labeling we arrive at a class of trees that we call Fishburn trees. We give bijections between Fishburn trees and other well-known combinatorial structures that are counted by the Fishburn numbers, and by composing these new maps we obtain simplified versions of some of the known maps. Finally, we apply this new machinery to the so called flip and sum problems on modified ascent sequences.
2022-11-14 v2
On distinguishing digraphs by its quasisymmetric B-polynomial
The $B$-polynomial defined by J. Awan and O. Bernardi is a generalization of Tutte Polynomial to digraphs. In this paper, we solve an open question raised by J. Awan and O. Bernardi regarding the expansion of $B$-polynomial in elementary symmetric polynomials. We show that the quasisymmetric generalization of the $B$-polynomial distinguishes a class of oriented proper caterpillars and the class of oriented paths. We present a recurrence relation for the quasisymmetric $B$-polynomial involving the deletion of a source or a sink. As a consequence, we prove that a class of digraph $\mathcal{D}$ is distinguishable if and only if the class $\mathcal{D}^{\vee}$ obtained by taking directed join of $K_1$ with each digraph in $\mathcal{D}$ is distinguishable, which concludes that the digraph analogue of Stanley's Tree conjecture holds for a large class of acyclic digraphs. We further study the symmetric properties of the quasisymmetric $B$-polynomial and its relation with certain digraphs.
2022-11-14 v2
Directed hereditary species and decomposition spaces
We introduce the notion of directed hereditary species and show that they have associated monoidal decomposition spaces, comodule bialgebras, and operadic categories. The notion subsumes Schmitt's hereditary species, Gálvez--Kock--Tonks directed restrictions species, and a directed version of Carlier's construction of monoidal decomposition spaces and comodule bialgebras. In addition to all the examples of Schmitt, Gálvez--Kock--Tonks and Carlier, the new construction covers also the Fauvet--Foissy--Manchon comodule bialgebra of finite topological spaces, the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, and the Faà di Bruno comodule bialgebra of linear trees.
2022-11-13
Quantifying syntax similarity with a polynomial representation of dependency trees
Published • View Publication • BIB
We introduce a graph polynomial that distinguishes tree structures to represent dependency grammar and a measure based on the polynomial representation to quantify syntax similarity. The polynomial encodes accurate and comprehensive information about the dependency structure and dependency relations of words in a sentence. We apply the polynomial-based methods to analyze sentences in the Parallel Universal Dependencies treebanks. Specifically, we compare the syntax of sentences and their translations in different languages, and we perform a syntactic typology study of available languages in the Parallel Universal Dependencies treebanks. We also demonstrate and discuss the potential of the methods in measuring syntax diversity of corpora.
2022-11-12 v2
Hypercubes and Hamilton cycles of display sets of rooted phylogenetic networks
Published in Advances in Applied Mathematics, 152:102595, 2024 • View Publication • BIB
In the context of reconstructing phylogenetic networks from a collection of phylogenetic trees, several characterisations and subsequently algorithms have been established to reconstruct a phylogenetic network that collectively embeds all trees in the input in some minimum way. For many instances however, the resulting network also embeds additional phylogenetic trees that are not part of the input. However, little is known about these inferred trees. In this paper, we explore the relationships among all phylogenetic trees that are embedded in a given phylogenetic network. First, we investigate some combinatorial properties of the collection P of all rooted binary phylogenetic trees that are embedded in a rooted binary phylogenetic network N. To this end, we associated a particular graph G, which we call rSPR graph, with the elements in P and show that, if |P|=2^k, where k is the number of vertices with in-degree two in N, then G has a Hamiltonian cycle. Second, by exploiting rSPR graphs and properties of hypercubes, we turn to the well-studied class of rooted binary level-1 networks and give necessary and sufficient conditions for when a set of rooted binary phylogenetic trees can be embedded in a level-1 network without inferring any additional trees. Lastly, we show how these conditions translate into a polynomial-time algorithm to reconstruct such a network if it exists.
2022-11-10 v5
Upper Embeddability of Graphs and Products of Transpositions Associated with Edges
Published • View Publication • BIB
Given a graph, we associate each edge with the transposition which exchanges the endvertices. Fixing a linear order on the edge set, we obtain a permutation of the vertices. Dénes proved that the permutation is a full cyclic permutation for any linear order if and only if the graph is a tree. In this article, we characterize graphs having a linear order such that the associated permutation is a full cyclic permutation in terms of graph embeddings. Moreover, we give a counter example for Eden's question about an edge ordering whose associated permutation is the identity.
2022-11-10 v3
Signed Graphs and Signed Cycles of Hyperoctahedral Groups
Published • View Publication • BIB
For a graph with edge ordering, a linear order on the edge set, we obtain a permutation of vertices by considering the edges as transpositions of endvertices. It is known from Dénes' results that the permutation of a tree is a full cyclic for any edge ordering. As a corollary, Dénes counted up the number of representations of a full cyclic permutation by means of product of the minimal number of transpositions. Moreover, a graph with an edge ordering which the permutation is a full cyclic is characterized by graph embedding. In this article, we consider an analogy of these results for signed graphs and hyperoctahedral groups. We give a necessary and sufficient condition for a signed graph to have an edge ordering such that the permutation is an even (or odd) full cyclic. We show that the edge ordering of the signed tree with some loops always gives an even (or odd) full cyclic permutation and count up the number of representations of an odd full cyclic permutation by means of product of the minimal number of transpositions.
2022-11-10
Greedy trees have minimum Sombor indices
Published in Publ. Inst. Math. 113 (2023) 57-65 • View Publication • BIB
Recently, Gutman [MATCH Commun. Math. Comput. Chem. 86 (2021) 11-16] defined a new graph invariant which is named the Sombor index $\mathrm{SO}(G)$ of a graph $G$ and is computed via the expression \[ \mathrm{SO}(G) = \sum_{u \sim v} \sqrt{\mathrm{deg}(u)^2 + \mathrm{deg}(v)^2} , \] where $\mathrm{deg}(u)$ represents the degree of the vertex $u$ in $G$ and the summing is performed across all the unordered pairs of adjacent vertices $u$ and $v$. Here we take into consideration the set of all the trees $\mathcal{T}_D$ that have a specified degree sequence $D$ and show that the greedy tree attains the minimum Sombor index on the set $\mathcal{T}_D$.
2022-11-10
Extremal trees for Maximum Sombor index with given degree sequence
Let $G=(V, E)$ be a simple graph with vertex set $V$ and edge set $E$. The Sombor index of the graph $G$ is a degree-based topological index, defined as $$SO(G)=\sum_{uv \in E}\sqrt{d(u)^2+d(v)^2},$$ in which $d(x)$ is the degree of the vertex $x \in V$ for $x=u, v$. In this paper, we characterize the extremal trees with a given degree sequence that maximizes the Sombor index.
2022-11-10
The generalized 3-connectivity of burnt pancake graphs and godan graphs
Published • View Publication • BIB
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is the minimum number of internally edge disjoint $S$-trees for any $S\subseteq V(G)$ and $|S|=k$. The generalized $k$-connectivity is a natural extension of the classical connectivity and plays a key role in applications related to the modern interconnection networks. The burnt pancake graph $BP_n$ and the godan graph $EA_n$ are two kinds of Cayley graphs which posses many desirable properties. In this paper, we investigate the generalized 3-connectivity of $BP_n$ and $EA_n$. We show that $κ_3(BP_n)=n-1$ and $κ_3(EA_n)=n-1$.
2022-11-10
Full Degree Spanning Trees in Random Regular Graphs
Published • View Publication • BIB
We study the problem of maximizing the number of full degree vertices in a spanning tree $T$ of a graph $G$; that is, the number of vertices whose degree in $T$ equals its degree in $G$. In cubic graphs, this problem is equivalent to maximizing the number of leaves in $T$ and minimizing the size of a connected dominating set of $G$. We provide an algorithm which produces (w.h.p.) a tree with at least $0.4591n$ vertices of full degree (and also, leaves) when run on a random cubic graph. This improves the previously best known lower bound of $0.4146 n$. We also provide lower bounds on the number of full degree vertices in the random regular graph $G(n,r)$ for $r \le 10$.
2022-11-09 v3
Directed Acyclic Outerplanar Graphs Have Constant Stack Number
Published in TheoretiCS, Volume 4 (October 17, 2025) theoretics:13453 • View Publication • BIB
The stack number of a directed acyclic graph $G$ is the minimum $k$ for which there is a topological ordering of $G$ and a $k$-coloring of the edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological ordering. We prove that the stack number of directed acyclic outerplanar graphs is bounded by a constant, which gives a positive answer to a conjecture by Heath, Pemmaraju and Trenk [SIAM J. Computing, 1999]. As an immediate consequence, this shows that all upward outerplanar graphs have constant stack number, answering a question by Bhore et al. [Eur. J. Comb., 2023] and thereby making significant progress towards the problem for general upward planar graphs originating from Nowakowski and Parker [Order, 1989]. As our main tool we develop the novel technique of directed $H$-partitions, which might be of independent interest. We complement the bounded stack number for directed acyclic outerplanar graphs by constructing a family of directed acyclic 2-trees that have unbounded stack number, thereby refuting a conjecture by Nöllenburg and Pupyrev [GD 2023].