tree
6737 papers tagged with this keyword
The chromatic symmetric function in the star-basis
Published
• View Publication
• BIB
We study Stanley's chromatic symmetric function (CSF) for trees when expressed in the star-basis. We use the deletion-near-contraction algorithm recently introduced in \cite{ADOZ} to compute coefficients that occur in the CSF in the star-basis. In particular, one of our main results determines the smallest partition in lexicographic order that occurs as an indexing partition in the CSF, and we also give a formula for its coefficient. In addition to describing properties of trees encoded in the coefficients of the star-basis, we give two main applications of the leading coefficient result. The first is a strengthening of the result in \cite{ADOZ} that says that proper trees of diameter less than or equal to 5 can be reconstructed from their CSFs. In this paper we show that this is true for all trees of diameter less than or equal 5. In our second application, we show that the dimension of the subspace of symmetric functions spanned by the CSF of $n$-vertex trees is $p(n)-n+1$, where $p(n)$ is the number of partitions of $n$.
Minimizing the determinant of the graph Laplacian
In this paper, we study extremal values for the determinant of the weighted graph Laplacian under simple nondegeneracy conditions on the weights. We derive necessary and sufficient conditions for the determinant of the Laplacian to be bounded away from zero and for the existence of a minimizing set of weights. These conditions are given both in terms of properties of random spanning trees and in terms of a type of density on graphs. These results generalize and extend the work of [7].
An efficient algorithm for identifying rainbow ortho-convex 4-sets in k-colored point sets
Published in Information Processing Letters 189 (2025) 106551
• View Publication
• BIB
Let $P$ be a $k$-colored set of $n$ points in the plane, $4 \leq k \leq n$. We study the problem of deciding if $P$ contains a subset of four points of different colors such that its Rectilinear Convex Hull has positive area. We show this problem to be equivalent to deciding if there exists a point $c$ in the plane such that each of the open quadrants defined by $c$ contains a point of $P$, each of them having a different color. We provide an $O(n \log n)$-time algorithm for this problem, where the hidden constant does not depend on $k$; then, we prove that this problem has time complexity $Ω(n \log n)$ in the algebraic computation tree model. No general position assumptions for $P$ are required.
Extremal minimal bipartite matching covered graphs
A connected graph, on four or more vertices, is matching covered (aka 1-extendable) if every edge is present in some perfect matching. An ear decomposition theorem exists for bipartite matching covered graphs due to Hetyei. From the results and proofs of Lovász and Plummer, that rely on Hetyei's theorem, one may deduce that any minimal bipartite matching covered graph has at least $2(m-n+2)$ vertices of degree two (where minimal means that deleting any edge results in a graph that is not matching covered); such a graph is said to be extremal if it attains the stated lower bound.
In this paper, we provide a complete characterization of the class of extremal minimal bipartite matching covered graphs. In particular, we prove that every such graph $G$ is obtained from two copies of a tree devoid of degree two vertices, say $T$ and $T'$, by adding edges -- each of which joins a leaf of $T$ with the corresponding leaf of $T'$.
Apart from the aforementioned bound, there are four other bounds that appear in, or may be deduced from, the work of Lovász and Plummer. Each of these bounds leads to a notion of extremality. In this paper, we obtain a complete characterization of all of these extremal classes and also establish relationships between them. Two of our characterizations are in the same spirit as the one stated above. For the remaining two extremal classes, we reduce each of them to one of the already characterized extremal classes using standard matching theoretic operations.
A connected graph is k-extendable if it has a matching of cardinality $k$ and each such matching extends to a perfect matching. We also discuss bounds proved by Lou (1999) for minimal k-extendable bipartite graphs. We conjecture stronger bounds and provide evidence for our conjectures by constructing tight examples that are straightforward generalizations of the ones that appear in the 1-extendable case.
The Central Spanning Tree Problem
Spanning trees are an important primitive in many data analysis tasks, when a data set needs to be summarized in terms of its "skeleton", or when a tree-shaped graph over all observations is required for downstream processing. Popular definitions of spanning trees include the minimum spanning tree and the optimum distance spanning tree, a.k.a. the minimum routing cost tree. When searching for the shortest spanning tree but admitting additional branching points, even shorter spanning trees can be realized: Steiner trees. Unfortunately, both minimum spanning and Steiner trees are not robust with respect to noise in the observations; that is, small perturbations of the original data set often lead to drastic changes in the associated spanning trees. In response, we make two contributions when the data lies in a Euclidean space: on the theoretical side, we introduce a new optimization problem, the "(branched) central spanning tree", which subsumes all previously mentioned definitions as special cases. On the practical side, we show empirically that the (branched) central spanning tree is more robust to noise in the data, and as such is better suited to summarize a data set in terms of its skeleton. We also propose a heuristic to address the NP-hard optimization problem, and illustrate its use on single cell RNA expression data from biology and 3D point clouds of plants.
Iwasawa theory for branched $\mathbb{Z}_{p}$-towers of finite graphs
We initiate the study of Iwasawa theory for branched $\mathbb{Z}_{p}$-towers of finite connected graphs. These towers are more general than what have been studied so far, since the morphisms of graphs involved are branched covers, a particular kind of harmonic morphisms of graphs. We prove an analogue of Iwasawa's asymptotic class number formula for the $p$-part of the number of spanning trees in this setting. Moreover, we find an explicit generator for the characteristic ideal of the torsion Iwasawa module governing the growth of the $p$-part of the number of spanning trees in such towers.
BFS versus DFS for random targets in ordered trees
Consider a search from the root of an ordered tree with $n$ edges to some target node at a fixed distance $\ell$ from that root. We compare the average time complexity of the breadth-first search (BFS) and depth-first search (DFS) algorithms, when the target node is selected uniformly at random among all nodes at level $\ell$ in the ordered trees with $n$ edges. Intuition suggests that BFS should have better average performance when $\ell$ is small, while DFS must have an advantage when $\ell$ is large. But where exactly is the threshold, as a function of $n$, and is it unique? We obtain explicit formulas for the expected number of steps of both BFS and DFS, by using results on the occupation measure of Brownian excursions, as well as a combinatorial proof of an identity related to lattice paths. This allows us to show that there exists a unique constant $λ\approx 0.789004$, such that in expectation BFS is asymptotically faster than DFS if and only if $\ell\leq λ\sqrt{n}$. Furthermore, we find the asymptotic average time complexity of BFS in the given setting for any class of Galton$\unicode{x2013}$Watson trees, including binary trees and ordered trees. Finally, we introduce the truncated DFS algorithm, which performs better than both BFS and DFS when $\ell$ is known in advance, and we find a formula evaluating the average time complexity of this algorithm.
Enumerating runs, valleys, and peaks in Catalan words
We provide generating functions, formulas, and asymptotic expressions for the number of Catalan words based on the number of runs of ascents (descents), runs of weak ascents (descents), $\ell$-valleys, valleys, symmetric valleys, $\ell$-peaks, peaks, and symmetric peaks. We also establish some bijections with restricted Dyck paths and ordered trees that transports some statistics.
A note on the multicolor size-Ramsey numbers of connected graphs
The $r$-color size-Ramsey number of a graph $H$, denoted by $\widehat{R}_r(H)$, is the minimum number of edges in a graph $G$ having the property that every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H$.
Krivelevich proved that $\widehat{R}_r(P_{m+1})=Ω(r^2m)$ where $P_{m+1}$ is the path on $m$ edges. He explains that his proof actually applies to any connected graph $H$ with $m$ edges and vertex cover number larger than $\sqrt{m}$. He also notes that some restriction on the vertex cover number is necessary since the star with $m$ edges, $K_{1,m}$, has vertex cover number 1 and satisfies $\widehat{R}_r(K_{1,m})=r(m-1)+1$. We prove that the star is actually the only exception; that is, $\widehat{R}_r(H)=Ω(r^2m)$ for every non-star connected graph $H$ with $m$ edges.
We also prove a strengthening of this result for trees. It follows from results of Beck and Dellamonica that $\widehat{R}_2(T)=Θ(β(T))$ for every tree $T$ with bipartition $\{V_1, V_2\}$ and $β(T)=|V_1|\max\{d(v):v\in V_1\}+|V_2|\max\{d(v):v\in V_2\}$. We prove that $\widehat{R}_r(T)=Ω(r^2β(T))$ for every tree $T$, again with the exception of the star. Additionally, we prove that for the family of non-star trees $T$ with $β(T)=Ω(n_1n_2)$ (which includes all non-star trees of linear maximum degree and all trees of radius 2 for example) we have $\widehat{R}_r(T)=Θ(r^2β(T))$.
Reconstructing a graph from the distance matrix of its boundary
A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices.
The boundary distance matrix $\hat{D}_G$ of a graph $G=([n],E)$ is the square matrix of order $κ$, being $κ$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$.
Given a square matrix $\hat{B}$ of order $κ$, we prove under which conditions $\hat{B}$ is the distance matrix $\hat{D}_T$ of the set of leaves of a tree $T$, which is precisely its boundary.
We show that if $G$ is either a block graph or a unicyclic graph, then $G$ is uniquely determined by the boundary distance matrix $\hat{D}_{G}$ of $G$ and we also conjecture that this statement holds for every connected graph $G$, whenever both the order $n$ and the boundary (and thus also the boundary distance matrix) of $G$ are prefixed.
Moreover, an algorithm for reconstructing a 1-block graph (resp., a unicyclic graph) from its boundary distance matrix is given, whose time complexity in the worst case is $O(κn)$ (resp., $O(n^2)$).
Alternative Proof of the Determinant of Complete Non-Ambiguous Trees
Complete non-ambiguous trees have been studied in various contexts. Recently, a conjecture was made about their determinants, and subsequently proved by Aval. An alternative proof is given here.
Bijections on pattern avoiding inversion sequences and related objects
The number of inversion sequences avoiding two patterns $101$ and $102$ is known to be the same as the number of permutations avoiding three patterns $2341$, $2431$, and $3241$. This sequence also counts the number of Schröder paths without triple descents, restricted bicolored Dyck paths, $(101,021)$-avoiding inversion sequences, and weighted ordered trees. We provide bijections to integrate them together by introducing $F$-paths. Moreover, we define three kinds of statistics for each of the objects and count the number of each object with respect to these statistics. We also discuss direct sums of each object.
Path-monochromatic bounded depth rooted trees in (random) tournaments
Published
• View Publication
• BIB
An edge-colored rooted directed tree (aka arborescence) is path-monochromatic if every path in it is monochromatic. Let $k,\ell$ be positive integers. For a tournament $T$, let $f_T(k)$ be the largest integer such that every $k$-edge coloring of $T$ has a path-monochromatic subtree with at least $f_T(k)$ vertices and let $f_T(k,\ell)$ be the restriction to subtrees of depth at most $\ell$. It was proved by Landau that $f_T(1,2)=n$ and proved by Sands et al. that $f_T(2)=n$ where $|V(T)|=n$. Here we consider $f_T(k)$ and $f_T(k,\ell)$ in more generality, determine their extremal values in most cases, and in fact in all cases assuming the Caccetta-Häggkvist Conjecture. We also study the typical value of $f_T(k)$ and $f_T(k,\ell)$, i.e., when $T$ is a random tournament.
Odometers in non-compact spaces
We define an odometer in the Baire space. That is the non-compact space of one sided sequences of natural numbers. We go on to prove that it is topologically conjugated to the dyadic odometer restricted to an appropriate non-compact subset of the space of one sided sequences on two symbols. We extend the action of the odometer to finite words. It turns out that, arranging the finite words in appropriate binary tree, this extension runs through the tree from left-right and top-down. Several well known binary trees made out of rational numbers, such as the Kepler tree or the Calkin and Wilf tree, are recovered in this way. Indeed, it suffices to identify finite words with rational numbers by means of certain continued fractions. The odometric action allow us to recover, in a unified way, several counting results for the rational numbers. Moreover, associated to certain interval maps with countably many branches we construct their corresponding odometers. Explicit formulas are provided in the cases of the Gauss map (continued fractions) and the Renyi map (backward continued fractions).
Locally finite graphs and their localization numbers
We study the Localization game on locally finite graphs trees, where each of the countably many vertices have finite degree. In contrast to the finite case, we construct a locally finite tree with localization number $n$ for any choice of positive integer $n$. Our examples have uncountably many ends, and we show that this is necessary by proving that locally finite trees with finitely or countably many ends have localization number at most 2. Finally, as is the case for finite graphs, we prove that any locally finite graph contains a subdivision where one cop can capture the robber.
Burning Random Trees
Let $\mathcal{T}$ be a Galton-Watson tree with a given offspring distribution $ξ$, where $ξ$ is a $Z_{\geq 0}$-valued random variable with $E[ξ] = 1$ and $0 < σ^{2}:=Var[ξ] < \infty$. For $n \geq 1$, let $T_{n}$ be the tree $\mathcal{T}$ conditioned to have $n$ vertices. In this paper we investigate $b(T_n)$, the burning number of $T_n$. Our main result shows that asymptotically almost surely $b(T_n)$ is of the order of $n^{1/3}$.
On the Sombor index of trees with degree restrictions
We study the Sombor index of trees with various degree restrictions. In addition to rediscovering that among all trees with a given degree sequence, the greedy tree minimises the Sombor index and the alternating greedy tree maximises it, we also provide a full characterisation of all trees that have those maximum or minimum values. Moreover, we compare trees with different degree sequences and deduce a few corollaries.
Ore-type conditions for existence of a jellyfish in a graph
The famous Dirac's Theorem states that for each $n\geq 3$ every $n$-vertex graph $G$ with minimum degree $δ(G)\geq n/2$ has a hamiltonian cycle. When $δ(G)< n/2$, this cannot be guaranteed, but the existence of some other specific subgraphs can be provided. Gargano, Hell, Stacho and Vaccaro proved that every connected $n$-vertex graph $G$ with $δ(G)\geq (n-1)/3$ contains a spanning {\em spider}, i.e., a spanning tree with at most one vertex of degree at least $3$. Later, Chen, Ferrara, Hu, Jacobson and Liu proved the stronger (and exact) result that for $n\geq 56$ every connected $n$-vertex graph $G$ with $δ(G)\geq (n-2)/3$ contains a spanning {\em broom}, i.e., a spanning spider obtained by joining the center of a star to an endpoint of a path. They also showed that a $2$-connected graph $G$ with $δ(G)\geq (n-2)/3$ and some additional properties contains a spanning {\em jellyfish} which is a graph obtained by gluing the center of a star to a vertex in a cycle disjoint from that star. Note that every spanning jellyfish contains a spanning broom.
The goal of this paper is to prove an exact Ore-type bound which guarantees the existence of a spanning jellyfish: We prove that if $G$ is a $2$-connected graph on $n$ vertices such that every non-adjacent pair of vertices $(u,v)$ satisfies $d(u) + d(v) \geq \frac{2n-3}{3}$, then $G$ has a spanning jellyfish. As corollaries, we obtain strengthenings of two results by Chen et al.: a minimum degree condition guaranteeing the existence of a spanning jellyfish, and an Ore-type sufficient condition for the existence of a spanning broom. The corollaries are sharp for infinitely many $n$. One of the main ingredients of our proof is a modification of the Hopping Lemma due to Woodall.
Paint cost spectrum of perfect $k$-ary trees
We determine the paint cost spectrum for perfect $k$-ary trees.
A coloring of the vertices of a graph $G$ with $d$ colors is said to be \emph{$d$-distinguishing} if only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number of $G$ and is denoted $\mbox{dist}(G).$ The \emph{paint cost of $d$-distinguishing $G$}, denoted $ρ^d(G)$, is the minimum size of the complement of a color class over all $d$-distinguishing colorings. A subset $S$ of the vertices of $G$ is said to be a \emph{fixing set} for $G$ if the only automorphsim that fixes the vertices in $S$ pointwise is the trivial automorphism. The cardinality of a smallest fixing set is denoted $\mbox{fix}(G)$. In this paper, we explore the breaking of symmetry in perfect $k$-ary trees by investigating what we define as the \emph{paint cost spectrum} of a graph $G$: $(\mbox{dist}(G); ρ^{\mbox{dist}(G)}(G), ρ^{\mbox{dist}(G)+1}(G), \dots, ρ^{\mbox{fix}(G)+1}(G))$ and the \emph{paint cost ratio} of $G$, which is defined to be the fraction of paint costs in the paint cost spectrum equal to $\mbox{fix}(G)$. We determine both the paint cost spectrum and the paint cost ratio completely for perfect $k$-ary trees.
We also prove a lemma that is of interest in its own right: given an $n$-tuple, $n \geq 2$ of distinct elements of an ordered abelian group and $1 \leq k \leq n! -1$, there exists a $k \times n$ row permuted matrix with distinct column sums.
$q$-Chromatic polynomials
We introduce and study a $q$-version of the chromatic polynomial of a given graph $G=(V,E)$, namely, \[ χ_G^λ(q,n) \ := \sum_{\substack{\text{proper colorings}\\ c\,:\,V\to[n]}} q^{ \sum_{ v \in V } λ_v c(v) }, \] where $λ\in \mathbb{Z}^V$ is a fixed linear form. Via work of Chapoton (2016) on $q$-Ehrhart polynomials, $χ_G^λ(q,n)$ turns out to be a polynomial in the $q$-integer $[n]_q$, with coefficients that are rational functions in $q$. Additionally, we prove structural results for $χ_G^λ(q,n)$ and exhibit connections to neighboring concepts, e.g., chromatic symmetric functions and the arithmetic of order polytopes. We offer a strengthened version of Stanley's conjecture that the chromatic symmetric function distinguishes trees, which leads to an analogue of $P$-partitions for graphs.