tree
6737 papers tagged with this keyword
Nowhere-zero $3$-flow and $\mathbb{Z}_3$-connectedness in Graphs with Four Edge-disjoint Spanning Trees
Published
• View Publication
• BIB
Given a zero-sum function $β: V(G) \rightarrow \mathbb{Z}_3$ with $\sum_{v\in V(G)}β(v)=0$, an orientation $D$ of $G$ with $d^+_D(v)-d^-_D(v)= β(v)$ in $\mathbb{Z}_3$ for every vertex $v\in V(G)$ is called a $β$-orientation. A graph $G$ is $\mathbb{Z}_3$-connected if $G$ admits a $β$- orientation for every zero-sum function $β$. Jaeger et al. conjectured that every $5$-edge-connected graph is $\mathbb{Z}_3$-connected. A graph is $\langle\mathbb{Z}_3\rangle$-extendable at vertex $v$ if any pre-orientation at $v$ can be extended to a $β$-orientation of $G$ for any zero-sum function $β$. We observe that if every $5$-edge-connected essentially $6$-edge-connected graph is $\langle\mathbb{Z}_3\rangle$-extendable at any degree five vertex, then the above mentioned conjecture by Jaeger et al. holds as well. Furthermore, applying the partial flow extension method of Thomassen and of Lovász et al., we prove that every graph with at least 4 edge-disjoint spanning trees is $\mathbb{Z}_3$-connected. Consequently, every $5$-edge-connected essentially $23$-edge-connected graph is $\langle\mathbb{Z}_3\rangle$-extendable at degree five vertex.
Order Quasisymmetric Functions Distinguish Rooted Trees
Published in Journal of Algebraic Combinatorics 46 (2017), 499-515
• View Publication
• BIB
Richard P. Stanley conjectured that finite trees can be distinguished by their chromatic symmetric functions. In this paper, we prove an analogous statement for posets: Finite rooted trees can be distinguished by their order quasisymmetric functions.
Orthogonal bases for transportation polytopes applied to Latin squares, magic squares and Sudoku boards
Published
• View Publication
• BIB
We give a simple construction of an orthogonal basis for the space of m by n matrices with row and column sums equal to zero. This vector space corresponds to the affine space naturally associated with the Birkhoff polytope, contingency tables and Latin squares. We also provide orthogonal bases for the spaces underlying magic squares and Sudoku boards. Our construction combines the outer (i.e., tensor or dyadic) product on vectors with certain rooted, vector-labeled, binary trees. Our bases naturally respect the decomposition of a vector space into centrosymmetric and skew-centrosymmetric pieces; the bases can be easily modified to respect the usual matrix symmetry and skew-symmetry as well.
Combinatorial differential operators in: Faà di Bruno formula, enumeration of ballot paths, enriched rooted trees and increasing rooted trees
We obtain a differential equation for the enumeration of the path length of general increasing trees. By using differential operators and their combinatorial interpretation we give a bijective proof of a version of Faà di Bruno formula, and model the generation of ballot and Dyck paths. We get formulas for its enumeration according with the height of their lattice points. Recursive formulas for the enumeration of enriched increasing trees and forests with respect to the height of their internal and external vertices are also obtained. Finally we present a generalized form of all those results using one-parameter groups in the general context of formal power series in an arbitrary number of variables.
Discovering Small Target Sets in Social Networks: A Fast and Effective Algorithm
Published
• View Publication
• BIB
Given a network represented by a graph $G=(V,E)$, we consider a dynamical process of influence diffusion in $G$ that evolves as follows: Initially only the nodes of a given $S\subseteq V$ are influenced; subsequently, at each round, the set of influenced nodes is augmented by all the nodes in the network that have a sufficiently large number of already influenced neighbors. The question is to determine a small subset of nodes $S$ (\emph{a target set}) that can influence the whole network. This is a widely studied problem that abstracts many phenomena in the social, economic, biological, and physical sciences. It is known that the above optimization problem is hard to approximate within a factor of $2^{\log^{1-ε}|V|}$, for any $ε>0$. In this paper, we present a fast and surprisingly simple algorithm that exhibits the following features: 1) when applied to trees, cycles, or complete graphs, it always produces an optimal solution (i.e, a minimum size target set); 2) when applied to arbitrary networks, it always produces a solution of cardinality which improves on the previously known upper bound; 3) when applied to real-life networks, it always produces solutions that substantially outperform the ones obtained by previously published algorithms (for which no proof of optimality or performance guarantee is known in any class of graphs).
Uniform Avoidance Coupling of Simple Random Walks
We start by introducing avoidance coupling of Markov chains, with an overview of existing results. We then introduce and motivate a new notion, uniform avoidance coupling. We show that the only Markovian avoidance coupling on a cycle is of this type, and that uniform avoidance coupling of simple random walks is impossible on trees, and prove that it is possible on several classes of graphs. We also derive a condition on the vertex neighborhoods in a graph equivalent to that graph admitting a uniform avoidance coupling of simple random walks, and an algorithm that tests this with run time polynomial in the number of vertices.
LR-Drawings of Ordered Rooted Binary Trees and Near-Linear Area Drawings of Outerplanar Graphs
Published
• View Publication
• BIB
In this paper we study a family of algorithms, introduced by Chan [SODA 1999] and called LR-algorithms, for drawing ordered rooted binary trees. In particular, we are interested in constructing LR-drawings (that are drawings obtained via LR-algorithms) with small width. Chan showed three different LR-algorithms that achieve, for an ordered rooted binary tree with $n$ nodes, width $O(n^{0.695})$, width $O(n^{0.5})$, and width $O(n^{0.48})$.
We prove that, for every $n$-node ordered rooted binary tree, an LR-drawing with minimum width can be constructed in $O(n^{1.48})$ time. Further, we show an infinite family of $n$-node ordered rooted binary trees requiring $Ω(n^{0.418})$ width in any LR-drawing; no lower bound better than $Ω(\log n)$ was previously known. Finally, we present the results of an experimental evaluation that allowed us to determine the minimum width of all the ordered rooted binary trees with up to $451$ nodes.
Our interest in LR-drawings is mainly motivated by a result of Di Battista and Frati [Algorithmica 2009], who proved that $n$-vertex outerplanar graphs have outerplanar straight-line drawings in $O(n^{1.48})$ area by means of a drawing algorithm which resembles an LR-algorithm.
We deepen the connection between LR-drawings and outerplanar straight-line drawings by proving that, if $n$-node ordered rooted binary trees have LR-drawings with $f(n)$ width, for any function $f(n)$, then $n$-vertex outerplanar graphs have outerplanar straight-line drawings in $O(f(n))$ area.
Finally, we exploit a structural decomposition for ordered rooted binary trees introduced by Chan in order to prove that every $n$-vertex outerplanar graph has an outerplanar straight-line drawing in $O(n\cdot 2^{\sqrt{2 \log_2 n}} \sqrt{\log n})$ area.
Minimal factorizations of a cycle: a multivariate generating function
Published in DMTCS Proceedings, 28th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2016), 239--250
• View Publication
• BIB
It is known that the number of minimal factorizations of the long cycle in the symmetric group into a product of $k$ cycles of given lengths has a very simple formula: it is $n^{k-1}$ where $n$ is the rank of the underlying symmetric group and $k$ is the number of factors. In particular, this is $n^{n-2}$ for transposition factorizations. The goal of this work is to prove a multivariate generalization of this result. As a byproduct, we get a multivariate analog of Postnikov's hook length formula for trees, and a refined enumeration of final chains of noncrossing partitions.
Spectrum of large random Markov chains: heavy-tailed weights on the oriented complete graph
Published in Random Matrices: Theory and Applications, World Scientific, 6 (2), pp.1750006 (2017)
• View Publication
• BIB
We consider the random Markov matrix obtained by assigning i.i.d. non-negative weights to each edge of the complete oriented graph. In this study, the weights have unbounded first moment and belong to the domain of attraction of an alpha-stable law. We prove that as the dimension tends to infinity, the empirical measure of the singular values tends to a probability measure which depends only on alpha, characterized as the expected value of the spectral measure at the root of a weighted random tree. The latter is a generalized two-stage version of the Poisson weighted infinite tree (PWIT) introduced by David Aldous. Under an additional smoothness assumption, we show that the empirical measure of the eigenvalues tends to a non-degenerate isotropic probability measure depending only on alpha and supported on the unit disc of the complex plane. We conjecture that the limiting support is actually formed by a strictly smaller disc.
Bounding the order of a graph using its diameter and metric dimension: a study through tree decompositions and VC dimension
Published in SIAM Journal on Discrete Mathematics 32(2):902-918, 2018
• View Publication
• BIB
The metric dimension of a graph is the minimum size of a set of vertices such that each vertex is uniquely determined by the distances to the vertices of that set. Our aim is to upper-bound the order $n$ of a graph in terms of its diameter $d$ and metric dimension $k$. In general, the bound $n\leq d^k+k$ is known to hold. We prove a bound of the form $n=\mathcal{O}(kd^2)$ for trees and outerplanar graphs (for trees we determine the best possible bound and the corresponding extremal examples). More generally, for graphs having a tree decomposition of width $w$ and length $\ell$, we obtain a bound of the form $n=\mathcal{O}(kd^2(2\ell+1)^{3w+1})$. This implies in particular that $n=\mathcal{O}(kd^{\mathcal{O}(1)})$ for graphs of constant treewidth and $n=\mathcal{O}(f(k)d^2)$ for chordal graphs, where $f$ is a doubly-exponential function. Using the notion of distance-VC dimension (introduced in 2014 by Bousquet and Thomassé) as a tool, we prove the bounds $n\leq (dk+1)^{t-1}+1$ for $K_t$-minor-free graphs, and $n\leq (dk+1)^{d(3\cdot 2^{r}+2)}+1$ for graphs of rankwidth at most $r$.
The ratio of domination and independent domination numbers on trees
Let $γ(G)$ and $i(G)$ be the domination number and the independent domination number of $G$, respectively. In 1977, Hedetniemi and Mitchell began with the comparison of of $i(G)$ and $γ(G)$ and recently Rad and Volkmann posted a conjecture that $i(G)/ γ(G) \leq Δ(G)/2$, where $Δ(G)$ is the maximum degree of $G$. In this work, we prove the conjecture for trees and provide the graph achieved the sharp bound.
Generalizations of the Matching Polynomial to the Multivariate Independence Polynomial
Published
• View Publication
• BIB
We generalize two main theorems of matching polynomials of undirected simple graphs, namely, real-rootedness and the Heilmann-Lieb root bound. Viewing the matching polynomial of a graph $G$ as the independence polynomial of the line graph of $G$, we determine conditions for the extension of these theorems to the independence polynomial of any graph. In particular, we show that a stability-like property of the multivariate independence polynomial characterizes claw-freeness. Finally, we give and extend multivariate versions of Godsil's theorems on the divisibility of matching polynomials of trees related to $G$.
The spectral radius of graphs without trees of diameter at most four
Published
• View Publication
• BIB
Nikiforov (LAA, 2010) conjectured that for given integer $k$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ contains all trees of order $2k+2$, unless $G=S_{n,k}$, where $S_{n,k}=K_k\vee \overline{K_{n-k}}$, the join of a complete graph of order $k$ and an empty graph of order $n-k$. In this paper, we show that the conjecture is true for trees of diameter at most four.
Time complexity of Synchronization of discrete pulse-coupled oscillators on trees
Published
• View Publication
• BIB
A major open question in the study of synchronization of coupled oscillators is to find necessary and sufficient condition for a system to synchronize on a given family of graphs. This is a difficult question that requires to understand exactly how the nonlienar interaction between local entities evolves over the underlying graph. Another open question is to obtain bounds on the time complexity of synchronization, which has important practical implications in clock synchronization algorithms. We address these questions for one-parameter family of discrete pulse-coupled inhibitory oscillatorscalled the $κ$-color firefly cellular automata (FCA). Namely, we show that for $κ\le 6$, recurrence of each oscillator is a necessary and sufficient condition for synchronization on finite trees, while for $κ\ge 7$ this condition is only necessary. As a corollary, we show that any non-synchronizing dynamics for $κ\le 6$ on trees decompose into synchronized subtrees partitioned by `dead' oscillators. Furthermore, on trees with diameter $d$ and maximum degree at most $κ$, we show that the worst-case number of iterations until synchronization is of order $O(κd)$ for $κ\in \{3,4,5\}$, $O(κd^{2})$ for $κ=6$, and infinity for $κ\ge 7$. Lastly, we report simulation results of FCA on lattices and conjecture that on a finite square lattice, arbitrary initial configuration is synchronized under $κ$-color FCA if and only if $κ=4$.
Constrained Hitting Set and Steiner Tree in $SC_k$ and $2K_2$-free Graphs
Published
• View Publication
• BIB
\emph{Strictly Chordality-$k$ graphs ($SC_k$)} are graphs which are either cycle-free or every induced cycle is of length exactly $k, k \geq 3$. Strictly chordality-3 and strictly chordality-4 graphs are well known chordal and chordal bipartite graphs, respectively. For $k\geq 5$, the study has been recently initiated in \cite{sadagopan} and various structural and algorithmic results are reported. In this paper, we show that maximum independent set (MIS), minimum vertex cover, minimum dominating set, feedback vertex set (FVS), odd cycle transversal (OCT), even cycle transversal (ECT) and Steiner tree problem are polynomial time solvable on $SC_k$ graphs, $k\geq 5$. We next consider $2K_2$-free graphs and show that FVS, OCT, ECT, Steiner tree problem are polynomial time solvable on subclasses of $2K_2$-free graphs.
Subdivisions in digraphs of large out-degree or large dichromatic number
Published
• View Publication
• BIB
In 1985, Mader conjectured the existence of a function $f$ such that every digraph with minimum out-degree at least $f(k)$ contains a subdivision of the transitive tournament of order $k$. This conjecture is still completely open, as the existence of $f(5)$ remains unknown. In this paper, we show that if $D$ is an oriented path, or an in-arborescence (i.e., a tree with all edges oriented towards the root) or the union of two directed paths from $x$ to $y$ and a directed path from $y$ to $x$, then every digraph with minimum out-degree large enough contains a subdivision of $D$. Additionally, we study Mader's conjecture considering another graph parameter. The dichromatic number of a digraph $D$ is the smallest integer $k$ such that $D$ can be partitioned into $k$ acyclic subdigraphs. We show that any digraph with dichromatic number greater than $4^m (n-1)$ contains every digraph with $n$ vertices and $m$ arcs as a subdivision.
Roman domination excellent graphs: trees
Published
• View Publication
• BIB
A Roman dominating function (RDF) on a graph $G = (V, E)$ is a labeling $f : V \rightarrow \{0, 1, 2\}$ such that every vertex with label $0$ has a neighbor with label $2$. The weight of $f$ is the value $f(V) = Σ_{v\in V} f(v)$. The Roman domination number, $γ_R(G)$, of $G$ is the minimum weight of an RDF on $G$. An RDF of minimum weight is called a $γ_R$-function. A graph G is said to be $γ_R$-excellent if for each vertex $x \in V$ there is a $γ_R$-function $h_x$ on $G$ with $h_x(x) \not = 0$. We present a constructive characterization of $γ_R$-excellent trees using labelings. A graph $G$ is said to be in class $UVR$ if $γ(G-v) = γ(G)$ for each $v \in V$, where $γ(G)$ is the domination number of $G$. We show that each tree in $UVR$ is $γ_R$-excellent.
On hamiltonian colorings of trees
Published in In: S. Govindrajan and A. Maheshwari (eds.), Algorithms and Discrete Applied Math., CALDAM 2016, LNCS, Vol. 9602, pp.49-60, Springer, Heidelberg (2016)
• View Publication
• BIB
A hamiltonian coloring $c$ of a graph $G$ of order $n$ is a mapping $c$ : $V(G) \rightarrow \{0,1,2,...\}$ such that $D(u, v)$ + $|c(u) - c(v)|$ $\geq$ $n-1$, for every two distinct vertices $u$ and $v$ of $G$, where $D(u, v)$ denotes the detour distance between $u$ and $v$ which is the length of a longest $u,v$-path in $G$. The value $hc(c)$ of a hamiltonian coloring $c$ is the maximum color assigned to a vertex of $G$. The hamiltonian chromatic number, denoted by $hc(G)$, is the min{$hc(c)$} taken over all hamiltonian coloring $c$ of $G$. In this paper, we present a lower bound for the hamiltonian chromatic number of trees and give a sufficient condition to achieve this lower bound. Using this condition we determine the hamiltonian chromatic number of symmetric trees, firecracker trees and a special class of caterpillars.
Some families of trees arising in permutation analysis
Published
• View Publication
• BIB
We extend classical results on simple varieties of trees (asymptotic enumeration, average behavior of tree parameters) to trees counted by their number of leaves. Motivated by genome comparison of related species, we then apply these results to strong interval trees with a restriction on the arity of prime nodes. Doing so, we describe a filtration of the set of permutations based on their strong interval trees. This filtration is also studied from a purely analytical point of view, thus illustrating the convergence of analytic series towards a non-analytic limit at the level of the asymptotic behavior of their coefficients.
Spectral atoms of unimodular random trees
Published
• View Publication
• BIB
We use the Mass Transport Principle to analyze the local recursion governing the resolvent $(A-z)^{-1}$ of the adjacency operator of unimodular random trees. In the limit where the complex parameter $z$ approaches a given location $λ$ on the real axis, we show that this recursion induces a decomposition of the tree into finite blocks whose geometry directly determines the spectral mass at $λ$. We then exploit this correspondence to obtain precise information on the pure-point support of the spectrum, in terms of expansion properties of the tree. In particular, we deduce that the pure-point support of the spectrum of any unimodular random tree with minimum degree $δ\ge 3$ and maximum degree $Δ$ is restricted to finitely many points, namely the eigenvalues of trees of size less than $\frac{Δ-2}{δ-2}$. More generally, we show that the restriction $δ\ge 3$ can be weakened to $δ\ge 2$, as long as the anchored isoperimetric constant of the tree remains bounded away from $0$. This applies in particular to any unimodular Galton-Watson tree without leaves, allowing us to settle a conjecture of Bordenave, Sen and Virág (2013).