arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6861 papers tagged with this keyword
2016-10-23 v2
Eulerian polynomials and descent statistics
Published in Adv. in Appl. Math. 90: 86-144, 2017 • View Publication • BIB
We prove several identities expressing polynomials counting permutations by various descent statistics in terms of Eulerian polynomials, extending results of Stembridge, Petersen, and Brändén. Additionally, we find $q$-exponential generating functions for $q$-analogues of these descent statistic polynomials that also keep track of the inversion number or inverse major index. We also present identities relating several of these descent statistic polynomials to refinements of type B Eulerian polynomials and flag descent polynomials by the number of negative letters of a signed permutation. Our methods include permutation enumeration techniques involving noncommutative symmetric functions, Brändén's modified Foata-Strehl action, and a group action of Petersen on signed permutations. Notably, the modified Foata-Strehl action yields an analogous relation between Narayana polynomials and the joint distribution of the peak number and descent number over 231-avoiding permutations, which we also interpret in terms of binary trees and Dyck paths.
Hit-and-Run for Sampling and Planning in Non-Convex Spaces
We propose the Hit-and-Run algorithm for planning and sampling problems in non-convex spaces. For sampling, we show the first analysis of the Hit-and-Run algorithm in non-convex spaces and show that it mixes fast as long as certain smoothness conditions are satisfied. In particular, our analysis reveals an intriguing connection between fast mixing and the existence of smooth measure-preserving mappings from a convex space to the non-convex space. For planning, we show advantages of Hit-and-Run compared to state-of-the-art planning methods such as Rapidly-Exploring Random Trees.
2016-10-18 v2
3-Rainbow index and forbidden subgraphs
Published • View Publication • BIB
A tree in an edge-colored connected graph $G$ is called \emph{a rainbow tree} if no two edges of it are assigned the same color. For a vertex subset $S\subseteq V(G)$, a tree is called an \emph{$S$-tree} if it connects $S$ in $G$. A \emph{$k$-rainbow coloring} of $G$ is an edge-coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow $S$-tree in $G$. The minimum number of colors that are needed in a $k$-rainbow coloring of $G$ is the \emph{$k$-rainbow index} of $G$, denoted by $rx_k(G)$. The \emph{Steiner distance $d(S)$} of a set $S$ of vertices of $G$ is the minimum size of an $S$-tree $T$. The \emph{$k$-Steiner diameter $sdiam_k(G)$} of $G$ is defined as the maximum Steiner distance of $S$ among all sets $S$ with $k$ vertices of $G$. In this paper, we focus on the 3-rainbow index of graphs and find all finite families $\mathcal{F}$ of connected graphs, for which there is a constant $C_\mathcal{F}$ such that, for every connected $\mathcal{F}$-free graph $G$, $rx_3(G)\leq sdiam_3(G)+C_\mathcal{F}$.
2016-10-18
Closed formulas for fractional chromatic polynomials of some common classes of graphs
Chromatic polynomials have been studied extensively, giving us results such as the Fundamental Reduction Theorem and closed formulas for the chromatic polynomials of common classes of graphs. Though, none of those extend to the context of fractional colorings. We thus present closed formulas for the "fractional" chromatic polynomial - a function that counts the number of distinct $b$-fold $λ$-colorings on a given graph - of complete graphs, trees and forests, as well as a generalized form of the Fundamental Reduction Theorem.
Increasing spanning forests in graphs and simplicial complexes
Published • View Publication • BIB
Let G be a graph with vertex set {1,...,n}. A spanning forest F of G is increasing if the sequence of labels on any path starting at the minimum vertex of a tree of F form an increasing sequence. Hallam and Sagan showed that the generating function ISF(G,t) for increasing spanning forests of G has all nonpositive integral roots. Furthermore they proved that, up to a change of sign, this polynomial equals the chromatic polynomial of G precisely when 1,...,n is a perfect elimination order for G. We give new, purely combinatorial proofs of these results which permit us to generalize them in several ways. For example, we are able to bound the coefficients of ISF(G,t) using broken circuits. We are also able to extend these results to simplicial complexes using the new notion of a cage-free complex. A generalization to labeled multigraphs is also given. We end by exploring spanning forests where the increasing condition is replaced by having the label sequences avoid the patterns 231, 312, and 321.
2016-10-17
Upper broadcast domination of toroidal grids and a classification of diametrical trees
A broadcast on a graph $G=(V,E)$ is a function $f:V \rightarrow \{0,1, \ldots, \text{diam}(G)\}$ satisfying $f(v) \leq e(v)$ for all $v \in V$, where $e(v)$ denotes the eccentricity of $v$ and $\text{diam}(G)$ denotes the diameter of $G$. We say that a broadcast dominates $G$ if every vertex can hear at least one broadcasting node. The upper domination number is the maximum cost of all possible minimal broadcasts, where the cost of a broadcast is defined as $\text{cost} (f)= \sum_{v \in V}f(v)$. In this paper we establish both the upper domination number and the upper broadcast domination number on toroidal grids. In addition, we classify all diametrical trees, that is, trees whose upper domination number is equal to its diameter.
2016-10-14
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.
2016-10-13 v3
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.
2016-10-13
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.
2016-10-12
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).
2016-10-11
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.
2016-10-10
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$.
2016-10-05
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.
2016-10-04 v4
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$.
2016-10-04 v3
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.
2016-10-04 v3
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$.