tree
6737 papers tagged with this keyword
Oriented Hypergraphic Matrix-tree Type Theorems and Bidirected Minors via Boolean Order Ideals
Published
• View Publication
• BIB
Restrictions of incidence-preserving path maps produce an oriented hypergraphic All Minors Matrix-tree Theorems for Laplacian and adjacency matrices. The images of these maps produce a locally signed graphic, incidence generalization, of cycle covers and basic figures that correspond to incidence-k-forests. When restricted to bidirected graphs the natural partial ordering of maps results in disjoint signed boolean lattices whose minor calculations correspond to principal order ideals. As an application, (1) the determinant formula of a signed graphic Laplacian is reclaimed and shown to be determined by the maximal positive-circle-free elements, and (2) spanning trees are equivalent to single-element order ideals.
Extremal $k$-forcing sets in oriented graphs
This article studies the \emph{$k$-forcing number} for oriented graphs, generalizing both the \emph{zero forcing number} for directed graphs and the $k$-forcing number for simple graphs. In particular, given a simple graph $G$, we introduce the maximum (minimum) oriented $k$-forcing number, denoted $\MOF_k(G)$ ($\mof_k(G)$), which is the largest (smallest) $k$-forcing number among all possible orientations of $G$. These new ideas are compared to known graph invariants and it is shown that, among other things, $\mof(G)$ equals the path covering number of $G$ while $\MOF_k(G)$ is greater than or equal to the independence number of $G$ -- with equality holding if $G$ is a tree or if $k$ is at least the maximum degree of $G$. Along the way, we also show that many recent results about $k$-forcing number can be modified for oriented graphs.
On the classification of automorphisms of trees
Published in Contributions to discrete mathematics 14(1):203-213, 2019
• View Publication
• BIB
We identify the complexity of the classification problem for automorphisms of a given countable regularly branching tree up to conjugacy. We consider both the rooted and unrooted cases. Additionally, we calculate the complexity of the conjugacy problem in the case of automorphisms of several non-regularly branching trees.
Embeddings into almost self-centered graphs of given radius
Published
• View Publication
• BIB
A graph is almost self-centered (ASC) if all but two of its vertices are central. An almost self-centered graph with radius $r$ is called an $r$-ASC graph. The $r$-ASC index $θ_r(G)$ of a graph $G$ is the minimum number of vertices needed to be added to $G$ such that an $r$-ASC graph is obtained that contains $G$ as an induced subgraph. It is proved that $θ_r(G)\le 2r$ holds for any graph $G$ and any $r\ge 2$ which improves the earlier known bound $θ_r(G)\le 2r+1$. It is further proved that $θ_r(G)\le 2r-1$ holds if $r\geq 3$ and $G$ is of order at least $2$. The $3$-ASC index of complete graphs is determined. It is proved that $θ_3(G)\in \{3,4\}$ if $G$ has diameter $2$ and for several classes of graphs of diameter $2$ the exact value of the $3$-ASC index is obtained. For instance, if a graph $G$ of diameter $2$ does not contain a diametrical triple, then $θ_3(G) = 4$. The $3$-ASC index of paths of order $n\geq 1$, cycles of order $n\geq 3$, and trees of order $n\geq 10$ and diameter $n-2$ are also determined, respectively, and several open problems proposed.
Inversions in split trees and conditional Galton--Watson trees
Published
• View Publication
• BIB
We study $I(T)$, the number of inversions in a tree $T$ with its vertices labeled uniformly at random, which is a generalization of inversions in permutations. We first show that the cumulants of $I(T)$ have explicit formulas involving the $k$-total common ancestors of $T$ (an extension of the total path length). Then we consider $X_n$, the normalized version of $I(T_n)$, for a sequence of trees $T_n$. For fixed $T_{n}$'s, we prove a sufficient condition for $X_n$ to converge in distribution. As an application, we identify the limit of $X_n$ for complete $b$-ary trees. For $T_n$ being split trees, we show that $X_n$ converges to the unique solution of a distributional equation. Finally, when $T_n$'s are conditional Galton--Watson trees, we show that $X_n$ converges to a random variable defined in terms of Brownian excursions. By exploiting the connection between inversions and the total path length, we are able to give results that are stronger and much broader compared to previous work by Panholzer and Seitz.
Decompositions of amplituhedra
Published in Ann. Inst. Henri Poincaré D 7 (2020), no. 3, 303-363
• View Publication
• BIB
The (tree) amplituhedron A(n,k,m) is the image in the Grassmannian Gr(k,k+m) of the totally nonnegative part of Gr(k,n), under a (map induced by a) linear map which is totally positive. It was introduced by Arkani-Hamed and Trnka in 2013 in order to give a geometric basis for the computation of scattering amplitudes in N=4 supersymmetric Yang-Mills theory. In the case relevant to physics (m=4), there is a collection of recursively-defined 4k-dimensional BCFW cells in the totally nonnegative part of Gr(k,n), whose images conjecturally "triangulate" the amplituhedron--that is, their images are disjoint and cover a dense subset of A(n,k,4). In this paper, we approach this problem by first giving an explicit (as opposed to recursive) description of the BCFW cells. We then develop sign-variational tools which we use to prove that when k=2, the images of these cells are disjoint in A(n,k,4). We also conjecture that for arbitrary even m, there is a decomposition of the amplituhedron A(n,k,m) involving precisely M(k, n-k-m, m/2) top-dimensional cells (of dimension km), where M(a,b,c) is the number of plane partitions contained in an a x b x c box. This agrees with the fact that when m=4, the number of BCFW cells is the Narayana number N(n-3, k+1).
Anagram-free colourings of graph subdivisions
Published
• View Publication
• BIB
An anagram is a word of the form $WP$ where $W$ is a non-empty word and $P$ is a permutation of $W$. A vertex colouring of a graph is anagram-free if no subpath of the graph is an anagram. Anagram-free graph colouring was independently introduced by Kamčev, Łuczak and Sudakov and ourselves. In this paper we introduce the study of anagram-free colourings of graph subdivisions. We show that every graph has an anagram-free $8$-colourable subdivision. The number of division vertices per edge is exponential in the number of edges. For trees, we construct anagram-free $10$-colourable subdivisions with fewer division vertices per edge. Conversely, we prove lower bounds, in terms of division vertices per edge, on the anagram-free chromatic number for subdivisions of the complete graph and subdivisions of complete trees of bounded degree.
Speeding up non-Markovian First Passage Percolation with a few extra edges
Published
• View Publication
• BIB
One model of real-life spreading processes is First Passage Percolation (also called SI model) on random graphs. Social interactions often follow bursty patterns, which are usually modelled with i.i.d.~heavy-tailed passage times on edges. On the other hand, random graphs are often locally tree-like, and spreading on trees with leaves might be very slow, because of bottleneck edges with huge passage times. Here we consider the SI model with passage times following a power law distribution $\mathbb{P}(ξ>t)\sim t^{-α}$, with infinite mean. For any finite connected graph $G$ with a root $s$, we find the largest number of vertices $κ(G,s)$ that are infected in finite expected time, and prove that for every $k \leq κ(G,s)$, the expected time to infect $k$ vertices is at most $O(k^{1/α})$. Then, we show that adding a single edge from $s$ to a random vertex in a random tree $\mathcal{T}$ typically increases $κ(\mathcal{T},s)$ from a bounded variable to a fraction of the size of $\mathcal{T}$, thus severely accelerating the process. We examine this acceleration effect on some natural models of random graphs: critical Galton-Watson trees conditioned to be large, uniform spanning trees of the complete graph, and on the largest cluster of near-critical Erdős-Rényi graphs. In particular, at the upper end of the critical window, the process is already much faster than exactly at criticality.
Disjoint Dominating Sets with a Perfect Matching
Published
• View Publication
• BIB
In this paper, we consider dominating sets $D$ and $D'$ such that $D$ and $D'$ are disjoint and there exists a perfect matching between them. Let $DD_{\textrm{m}}(G)$ denote the cardinality of smallest such sets $D, D'$ in $G$ (provided they exist, otherwise $DD_{\textrm{m}}(G) = \infty$). This concept was introduced in [Klostermeyer et al., Theory and Application of Graphs, 2017] in the context of studying a certain graph protection problem. We characterize the trees $T$ for which $DD_{\textrm{m}}(T)$ equals a certain graph protection parameter and for which $DD_{\textrm{m}}(T) = α(T)$, where $α(G)$ is the independence number of $G$. We also further study this parameter in graph products, e.g., by giving bounds for grid graphs, and in graphs of small independence number.
Complete graphs: the space of simplicial cones, and their path tree representation
Let $G$ be a complete graph with $n+1$ vertices. In a recent paper of the authors, it is shown that the path trees of the graph play a special role in the structure of the truncated powers and partition functions that are associated with the graph. Motivated by the above, we take here a closer look at the geometry of the simplicial cones associated with the graph, and the role played by those simplicial cones that are generated by path trees. It is shown that the latter form a basis for the linear space spanned by the former, and that the representation of a general simplicial cone by path tree cones can be deduced by examining partial orders induced by rooted trees. While the problem itself is geometrical and its solution is combinatorial, the proofs rest with multivariate spline theory.
Counting equilibria of the Kuramoto model using birationally invariant intersection index
Published
• View Publication
• BIB
Synchronization in networks of interconnected oscillators is a fascinating phenomenon that appear naturally in many independent fields of science and engineering. A substantial amount of work has been devoted to understanding all possible synchronization configurations on a given network. In this setting, a key problem is to determine the total number of such configurations. Through an algebraic formulation, for tree and cycle graphs, we provide an upper bound on this number using the birationally invariant intersection index of a system of rational functions on a toric variety.
On $m$-Closed Graphs
Published in The Electronic Journal of Combinatorics, Volume 21, Issue 4 (2014)
• Search Publication
A graph is closed when its vertices have a labeling by $[n]$ such that the binomial edge ideal $J_G$ has a quadratic Gröbner basis with respect to the lexicographic order induced by $x_1 > \cdots > x_n > y_1> \cdots > y_n$. In this paper, we generalize this notion and study the so called $m-$closed graphs. We find equivalent condition to $3-$closed property of an arbitrary tree $T$. Using it, we classify a class of $3-$closed trees. The primary decomposition of this class of graphs is also studied.
On the zeroth-order general Randić index, variable sum exdeg index and trees having vertices with prescribed degree
Published in Discrete Math. Algorithm. Appl. 10 (2018) Art# 1850015
• View Publication
• BIB
The zeroth-order general Randić index (usually denoted by $R_α^{0}$) and variable sum exdeg index (denoted by $SEI_{a}$) of a graph $G$ are defined as $R_α^{0}(G)= \sum_{v\in V(G)} (d_{v})^α$ and $SEI_{a}(G)= \sum_{v\in V(G)}d_{v}a^{d_{v}}$ where $d_{v}$ is degree of the vertex $v\in V(G)$, $a$ is a positive real number different from 1 and $α$ is a real number other than $0$ and $1$. A segment of a tree is a path $P$, whose terminal vertices are branching or pendent, and all non-terminal vertices (if exist) of $P$ have degree 2. For $n\ge6$, let $\mathbb{PT}_{n,n_1}$, $\mathbb{ST}_{n,k}$, $\mathbb{BT}_{n,b}$ be the collections of all $n$-vertex trees having $n_1$ pendent vertices, $k$ segments, $b$ branching vertices, respectively. In this paper, all the trees with extremum (maximum and minimum) zeroth-order general Randić index and variable sum exdeg index are determined from the collections $\mathbb{PT}_{n,n_1}$, $\mathbb{ST}_{n,k}$, $\mathbb{BT}_{n,b}$. The obtained extremal trees for the collection $\mathbb{ST}_{n,k}$ are also extremal trees for the collection of all $n$-vertex trees having fixed number of vertices with degree 2 (because it is already known that the number of segments of a tree $T$ can be determined from the number of vertices of $T$ with degree 2 and vise versa).
Hamiltonian Maker-Breaker games on small graphs
We look at the unbiased Maker-Breaker Hamiltonicity game played on the edge set of a complete graph $K_n$, where Maker's goal is to claim a Hamiltonian cycle. First, we prove that, independent of who starts, Maker can win the game for $n = 8$ and $n = 9$. Then we use an inductive argument to show that, independent of who starts, Maker can win the game if and only if $n \geq 8$. This, in particular, resolves in the affirmative the long-standing conjecture of Papaioannou.
We also study two standard positional games related to Hamiltonicity game. For Hamiltonian Path game, we show that Maker can claim a Hamiltonian path if and only if $n \geq 5$, independent of who starts. Next, we look at Fixed Hamiltonian Path game, where the goal of Maker is to claim a Hamiltonian path between two predetermined vertices. We prove that if Maker starts the game, he wins if and only if $n \geq 7$, and if Breaker starts, Maker wins if and only if $n \geq 8$. Using this result, we are able to improve the previously best upper bound on the smallest number of edges a graph on $n$ vertices can have, knowing that Maker can win the Maker-Breaker Hamiltonicity game played on its edges.
To resolve the outcomes of the mentioned games on small (finite) boards, we devise algorithms for efficiently searching game trees and then obtain our results with the help of a computer.
Exploring the tiers of rooted phylogenetic network space using tail moves
Published
• View Publication
• BIB
Popular methods for exploring the space of rooted phylogenetic trees use rearrangement moves such as rNNI (rooted Nearest Neighbour Interchange) and rSPR (rooted Subtree Prune and Regraft). Recently, these moves were generalized to rooted phylogenetic networks, which are a more suitable representation of reticulate evolutionary histories, and it was shown that any two rooted phylogenetic networks of the same complexity are connected by a sequence of either rSPR or rNNI moves. Here, we show that this is possible using only tail moves, which are a restricted version of rSPR moves on networks that are more closely related to rSPR moves on trees. The connectedness still holds even when we restrict to distance-1 tail moves (a localized version of tail-moves). Moreover, we give bounds on the number of (distance-1) tail moves necessary to turn one network into another, which in turn yield new bounds for rSPR, rNNI and SPR (i.e. the equivalent of rSPR on unrooted networks). The upper bounds are constructive, meaning that we can actually find a sequence with at most this length for any pair of networks. Finally, we show that finding a shortest sequence of tail or rSPR moves is NP-hard.
On $Q$-deformations of Postnikov-Shapiro algebras
For any given loopless graph $G$, we introduce $Q$ - deformations of its Postnikov-Shapiro algebras counting spanning trees, counting spanning forests and $Q$ - deformations of internal algebra of $G$. We determine the total dimension of the algebras; our proof also gives a new proof of the formula for the total dimensions of the usual Postnikov-Shapiro algebras. Furthermore, we construct "square-free" definition of usual internal algebra of $G$.
Some Distributions on Finite Rooted Binary Trees
We introduce some natural families of distributions on rooted binary ranked plane trees with a view toward unifying ideas from various fields, including macroevolution, epidemiology, computational group theory, search algorithms and other fields. In the process we introduce the notions of split-exchangeability and plane-invariance of a general Markov splitting model in order to readily obtain probabilities over various equivalence classes of trees that arise in statistics, phylogenetics, epidemiology and group theory.
Generalized chordality, vertex separators and hyperbolicity on graphs
Let $G$ be a graph with the usual shortest-path metric. A graph is $δ$-hyperbolic if for every geodesic triangle $T$, any side of $T$ is contained in a $δ$-neighborhood of the union of the other two sides. A graph is chordal if every induced cycle has at most three edges. A vertex separator set in a graph is a set of vertices that disconnects two vertices. In this paper we study the relation between vertex separator sets, some chordality properties which are natural generalizations of being chordal and the hyperbolicity of the graph. We also give a characterization of being quasi-isometric to a tree in terms of chordality and prove that this condition also characterizes being hyperbolic, when restricted to triangles, and having stable geodesics, when restricted to bigons.
The Peterson recurrence formula for the chromatic discriminant of a graph
Published
• View Publication
• BIB
The absolute value of the coefficient of $q$ in the chromatic polynomial of a graph $G$ is known as the chromatic discriminant of $G$ and is denoted $α(G)$. There is a well known recurrence formula for $α(G)$ that comes from the deletion-contraction rule for the chromatic polynomial. In this paper we prove another recurrence formula for $α(G)$ that comes from the theory of Kac-Moody Lie algebras. We start with a brief survey on many interesting algebraic and combinatorial interpretations of $α(G)$. We use two of these interpretations (in terms of acyclic orientations and spanning trees) to give two bijective proofs for our recurrence formula of $α(G)$.
On Minimum Bisection and Related Cut Problems in Trees and Tree-Like Graphs
Published
• View Publication
• BIB
Minimum Bisection denotes the NP-hard problem to partition the vertex set of a graph into two sets of equal sizes while minimizing the width of the bisection, which is defined as the number of edges between these two sets. We first consider this problem for trees and prove that the minimum bisection width of every tree $T$ on $n$ vertices satisfies $MinBis(T) \leq 8 n Δ(T) / diam(T)$. Second, we generalize this to arbitrary graphs with a given tree decomposition $(T,X)$ and give an upper bound on the minimum bisection width that depends on the structure of $(T,X)$. Moreover, we show that a bisection satisfying our general bound can be computed in time proportional to the encoding length of the tree decomposition when the latter is provided as input.