tree
6737 papers tagged with this keyword
A Graded Möbius transform and its harmonic interpretation
We give a graded version of the Möbius inversion formula in the framework of trace monoids. The formula is based on a graded version of the Möbius transform, related to the notion of height deriving from the Cartier-Foata normal form of the elements of a trace monoid.
Using the notion of Bernoulli measures on the boundary of a trace monoid developped recently, we study a probabilistic interpretation of the graded inversion formula. We introduce Möbius harmonic functions for trace monoids and obtain an integral representation formula for them, analogous to the Poisson formula for harmonic functions associated to random walks on trees.
An efficient search algorithm for inverting the sweep map on rational Dyck paths
Given a coprime pair $(m,n)$ of positive integers, rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal. The sweep map of a rational $(m,n)$-Dyck paths $D$ is the rational Dyck path $Φ(D)$ obtained by sorting the steps of $D$ according to the ranks of their starting points, where the rank of $(a,b)$ is $bm-an$. It is conjectured to be a bijection, but to this date, $Φ$ is only known to be bijective for the Fuss case ($m=kn\pm 1$). In this paper we give an efficient search algorithm for inverting the $Φ$ map. Roughly speaking, given $σ\in \cal D_{m,n}$, by searching through a $d$-array tree of certain depth, we can output all $D$ such that $Φ(D)=σ$, where $d$ is the remainder of $m$ when divided by $n$. In particular, we show that $Φ$ is invertible for the Fuss case by giving a simple recursive construction for $Φ^{-1} (σ)$.
On model-theoretic tree properties
Published
• View Publication
• BIB
We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($κ_{\text{cdt}}, κ_{\text{sct}}, κ_{\text{inp}}$, respectively). In particular, we obtain a quantitative refinement of Shelah's theorem ($\text{TP} \Rightarrow \text{TP}_1 \lor \text{TP}_2$) for countable theories, show that $\text{TP}_1$ is always witnessed by a formula in a single variable (partially answering a question of Shelah) and that weak $k-\text{TP}_1$ is equivalent to $\text{TP}_1$ (answering a question of Kim and Kim). Besides, we give a characterization of $\text{NSOP}_1$ via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are indeed $\text{NSOP}_1$.
On the partial order competition dimensions of chordal graphs
Published
• View Publication
• BIB
Choi {\it et al.} [{J.~Choi, K.~S.~Kim, S.~-R.~Kim, J.~Y.~Lee, and Y.~Sano}: {On the competition graphs of $d$-partial orders}, \emph{Discrete Applied Mathematics} (2015), \texttt{http://dx.doi.org/10.1016/j.dam.2015.11.004}] introduced the notion of the partial order competition dimension of a graph. It was shown that complete graphs, interval graphs, and trees, which are chordal graphs, have partial order competition dimensions at most three. In this paper, we study the partial order competition dimensions of chordal graphs. We show that chordal graphs have partial order competition dimensions at most three if the graphs are diamond-free. Moreover, we also show the existence of chordal graphs containing diamonds whose partial order competition dimensions are greater than three.
On local weak limit and subgraph counts for sparse random graphs
Published in J. Appl. Probab., 59 (2022), 755-776
• View Publication
• BIB
We use an inequality of Sidorenko to show a general relation between local and global subgraph counts and degree moments for locally weakly convergent sequences of sparse random graphs. This yields an optimal criterion to check when the asymptotic behaviour of graph statistics such as the clustering coefficient and assortativity is determined by the local weak limit. As an application we obtain new facts for several common models of sparse random intersection graphs where the local weak limit, as we see here, is a simple random clique tree corresponding to a certain two-type Galton-Watson branching process.
First order limits of sparse graphs: Plane trees and path-width
Nesetril and Ossona de Mendez introduced the notion of first order convergence as an attempt to unify the notions of convergence for sparse and dense graphs. It is known that there exist first order convergent sequences of graphs with no limit modeling (an analytic representation of the limit). On the positive side, every first order convergent sequence of trees or graphs with no long path (graphs with bounded tree-depth) has a limit modeling. We strengthen these results by showing that every first order convergent sequence of plane trees (trees with embeddings in the plane) and every first order convergent sequence of graphs with bounded path-width has a limit modeling.
Hydras: Directed Hypergraphs and Horn Formulas
Published
• View Publication
• BIB
We introduce a new graph parameter, the hydra number, arising from the minimization problem for Horn formulas in propositional logic. The hydra number of a graph $G=(V,E)$ is the minimal number of hyperarcs of the form $u,v\rightarrow w$ required in a directed hypergraph $H=(V,F)$, such that for every pair $(u, v)$, the set of vertices reachable in $H$ from $\{u, v\}$ is the entire vertex set $V$ if $(u, v) \in E$, and it is $\{u, v\}$ otherwise. Here reachability is defined by forward chaining, a standard marking algorithm.
Various bounds are given for the hydra number. We show that the hydra number of a graph can be upper bounded by the number of edges plus the path cover number of the line graph of a spanning subgraph, which is a sharp bound in several cases. On the other hand, we construct single-headed graphs for which that bound is off by a constant factor. Furthermore, we characterize trees with low hydra number, and give a lower bound for the hydra number of trees based on the number of vertices that are leaves in the tree obtained from $T$ by deleting its leaves. This bound is sharp for some families of trees. We give bounds for the hydra number of complete binary trees and also discuss a related minimization problem.
Spanning trees in connected graphs with few branch and end vertices
A vertex of degree one in a tree is called an end vertex and a vertex of degree at least three is called a branch vertex. For a graph $G$, let $σ_2$ be the minimum degree sum of two nonadjacent vertices in $G$. We consider tree problems arising in the context of optical and centralized terminal networks: finding a spanning tree of G (i) with the minimum number of end vertices, (ii) with the minimum number of branch vertices and (iii) with the minimum degree sum of the branch vertices, motivated by network design problems where junctions are significantly more expensive than simple end- or through-nodes, and are thus to be avoided. We consider: $(\ast)$ connected graphs on $n$ vertices such that $σ_2\ge n-k+1$ for some positive integer $k$. In 1976, it was proved (by the author) that every graph satisfying $(\ast)$ has a spanning tree with at most $k$ end vertices. In this paper we first show that every graph satisfying $(\ast)$ has a spanning tree with at most $k+1$ branch and end vertices altogether. The next result states that every graph satisfying $(\ast)$ has a spanning tree with at most $(k-1)/2$ branch vertices. The third result states that every graph satisfying $(\ast)$ has a spanning tree with at most $\frac{3}{2}(k-1)$ degree sum of branch vertices. All results are sharp.
Split-by-edges trees
A split-by-edges tree of a graph G on n vertices is a binary tree T where the root = V(G), every leaf is an independent set in G, and for every other node N in T with children L and R there is a pair of vertices {u, v} in N such that L = N - v, R = N - u, and uv is an edge in G. It follows from the definition that every maximal independent set in G is a leaf in T, and the maximum independent sets of G are the leaves closest to the root of T.
Computing graph gonality is hard
Published
• View Publication
• BIB
There are several notions of gonality for graphs. The divisorial gonality dgon(G) of a graph G is the smallest degree of a divisor of positive rank in the sense of Baker-Norine. The stable gonality sgon(G) of a graph G is the minimum degree of a finite harmonic morphism from a refinement of G to a tree, as defined by Cornelissen, Kato and Kool. We show that computing dgon(G) and sgon(G) are NP-hard by a reduction from the maximum independent set problem and the vertex cover problem, respectively. Both constructions show that computing gonality is moreover APX-hard.
Critical ideals of trees
Given a graph $G=(V, E)$, its generalized Laplacian matrix is given by \[ L(G,X_G)_{u,v}= \begin{cases} x_u&\text{if }u=v,\\ -m_{uv}&\text{if }u\neq v, \end{cases} \] where $X_G=\{x_u\, | \, u\in V(G)\}$ is a set of indeterminates and $m_{uv}$ is the number of edges between $u$ and $v$. The $j$-critical ideal of $G$ is the determinantal ideal generated by the minors of size $j$ of $L(G, X)$. A $2$-matching of $G$ is a subset $\mathcal{M}$ of its edges such that every vertex of $G$ has at most two incident edges in $\mathcal{M}$. We give a combinatorial description of a set of generators of the $j$-critical ideal of a tree $T$ as a function of a set of special $2$-matchings, which we called minimal, of the graph $T^\ell$ obtained from $T$ by adding a loop at each of its vertices. Also, we prove that the algebraic co-rank of $T$ is equal to the $2$-matching number of $T$, the maximum number of edges of a $2$-matching of $T$. As a consequence, one can compute each invariant factor of the critical group of any graph $G$ such that $G\setminus v$ is a tree for some of its vertices $v$, as the greatest common divisor of the evaluation of some polynomials associated to the minimal $2$-matchings of $T^\ell$. For instance, in the regular case, we recover some of the results obtained by Levine and Toumpakari about the critical group of a wired regular tree. Additionally, we can prove that the path $P_n$ is the unique simple graph with $n$ vertices and $n-1$ trivial critical ideals. We conjecture that the set of generators that we give is a reduced Gröbner basis and we can prove this for the $|V(T)|-1$-critical ideal. Finally, we apply the result in order to calculate the critical ideals of trees with depth two and some arithmetical trees associated to the reduction of elliptic curves of Kodaira type $I_n^*$.
Connectivity in bridge-addable graph classes: the McDiarmid-Steger-Welsh conjecture
Published in J. Combin. Theory Ser. B 136 (2019), 44-71
• View Publication
• BIB
A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. We prove a conjecture of McDiarmid, Steger, and Welsh, that says that if $\mathcal{G}_n$ is any bridge-addable class of graphs on $n$ vertices, and $G_n$ is taken uniformly at random from $\mathcal{G}_n$, then $G_n$ is connected with probability at least $e^{-\frac{1}{2}} + o(1)$, when $n$ tends to infinity. This lower bound is asymptotically best possible since it is reached for forests.
Our proof uses a "local double counting" strategy that may be of independent interest, and that enables us to compare the size of two sets of combinatorial objects by solving a related multivariate optimization problem. In our case, the optimization problem deals with partition functions of trees relative to a supermultiplicative functional.
Gromov meets Phylogenetics - new Animals for the Zoo of Biocomputable Metrics on Tree Space
We present a new class of metrics for unrooted phylogenetic $X$-trees derived from the Gromov-Hausdorff distance for (compact) metric spaces. These metrics can be efficiently computed by linear or quadratic programming. They are robust under NNI-operations, too. The local behavior of the metrics shows that they are different from any formerly introduced metrics. The performance of the metrics is briefly analised on random weighted and unweighted trees as well as random caterpillars.
Cyclic Critical Groups of Graphs
In this note, we describe a construction that leads to families of graphs whose critical groups are cyclic. For some of these families we are able to give a formula for the number of spanning trees of the graph, which then determines the group exactly. We also pose several open questions related to this work.
Cohen-Macaulay and Gorenstein path ideals of trees
Published
• View Publication
• BIB
Let $R=k[x_{1},\ldots,x_{n}]$, where $k$ is a field. The path ideal (of length $t\geq 2$) of a directed graph $G$ is the monomial ideal, denoted by $I_{t}(G)$, whose generators correspond to the directed paths of length $t$ in $G$. Let $Γ$ be a directed rooted tree. We characterize all such trees whose path ideals are unmixed and Cohen-Macaulay.
Moreover, we show that $R/I_{t}(Γ)$ is Gorenstein if and only if the Stanley-Reisner simplicial complex of $I_{t}(Γ)$ is a matroid.
The Brownian continuum random tree as the unique solution to a fixed point equation
Published
• View Publication
• BIB
In this note, we provide a new characterization of Aldous' Brownian continuum random tree as the unique fixed point of a certain natural operation on continuum trees (which gives rise to a recursive distributional equation). We also show that this fixed point is attractive.
Parking functions for trees and mappings
We apply the concept of parking functions to rooted labelled trees and functional digraphs of mappings (i.e., functions $f : [n] \to [n]$) by considering the nodes as parking spaces and the directed edges as one-way streets: Each driver has a preferred parking space and starting with this node he follows the edges in the graph until he either finds a free parking space or all reachable parking spaces are occupied. If all drivers are successful we speak about a parking function for the tree or mapping. We transfer well-known characterizations of parking functions to trees and mappings. Especially, this yields bounds and characterizations of the extremal cases for the number of parking functions with $m$ drivers for a given tree $T$ of size $n$. Via analytic combinatorics techniques we study the total number $F_{n,m}$ and $M_{n,m}$ of tree and mapping parking functions, respectively, i.e., the number of pairs $(T,s)$ (or $(f,s)$), with $T$ a size-$n$ tree (or $f : [n] \to [n]$ an $n$-mapping) and $s \in [n]^{m}$ a parking function for $T$ (or for $f$) with $m$ drivers, yielding exact and asymptotic results. We describe the phase change behaviour appearing at $m=\frac{n}{2}$ for $F_{n,m}$ and $M_{n,m}$, respectively, and relate it to previously studied combinatorial contexts. Moreover, we give a bijective proof of the occurring relation $n F_{n,m} = M_{n,m}$.
The Simultaneous Strong Metric Dimension of Graph Families
Published in Bulletin of the Malaysian Mathematical Sciences Society 39(S1) (2016) 175-192
• View Publication
• BIB
Let ${\cal G}$ be a family of graphs defined on a common (labeled) vertex set $V$. A set $S\subset V$ is said to be a simultaneous strong metric generator for ${\cal G}$ if it is a strong metric generator for every graph of the family. The minimum cardinality among all simultaneous strong metric generators for ${\cal G}$, denoted by $Sd_s({\cal G})$, is called the simultaneous strong metric dimension of ${\cal G}$. We obtain general results on $Sd_s({\cal G})$ for arbitrary families of graphs, with special emphasis on the case of families composed by a graph and its complement. In particular, it is shown that the problem of finding the simultaneous strong metric dimension of families of graphs is $NP$-hard, even when restricted to families of trees.
A Note on Weighted Rooted Trees
Published
• View Publication
• BIB
Let $T$ be a tree rooted at $r$. Two vertices of $T$ are related if one is a descendant of the other; otherwise, they are unrelated. Two subsets $A$ and $B$ of $V(T)$ are unrelated if, for any $a\in A$ and $b\in B$, $a$ and $b$ are unrelated. Let $ω$ be a nonnegative weight function defined on $V(T)$ with $\sum_{v\in V(T)}ω(v)=1$. In this note, we prove that either there is an $(r, u)$-path $P$ with $\sum_{v\in V(P)}ω(v)\ge \frac13$ for some $u\in V(T)$, or there exist unrelated sets $A, B\subseteq V(T)$ such that $\sum_{a\in A }ω(a)\ge \frac13$ and $\sum_{b\in B }ω(b)\ge \frac13$. The bound $\frac13$ is tight. This answers a question posed in a very recent paper of Bonamy, Bousquet and Thomassé.
Flows and bisections in cubic graphs
Published in Journal of Graph Theory 86(2) (2017), 149-158
• View Publication
• BIB
A $k$-weak bisection of a cubic graph $G$ is a partition of the vertex-set of $G$ into two parts $V_1$ and $V_2$ of equal size, such that each connected component of the subgraph of $G$ induced by $V_i$ ($i=1,2$) is a tree of at most $k-2$ vertices. This notion can be viewed as a relaxed version of nowhere-zero flows, as it directly follows from old results of Jaeger that every cubic graph $G$ with a circular nowhere-zero $r$-flow has a $\lfloor r \rfloor$-weak bisection. In this paper we study problems related to the existence of $k$-weak bisections. We believe that every cubic graph which has a perfect matching, other than the Petersen graph, admits a 4-weak bisection and we present a family of cubic graphs with no perfect matching which do not admit such a bisection. The main result of this article is that every cubic graph admits a 5-weak bisection. When restricted to bridgeless graphs, that result would be a consequence of the assertion of the 5-flow Conjecture and as such it can be considered a (very small) step toward proving that assertion. However, the harder part of our proof focuses on graphs which do contain bridges.