tree
6861 papers tagged with this keyword
Equivariant Trees and Partition Complexes
We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's Theorems A and B, which are of independent interest.
Fractional colorings of partial $t$-trees with no large clique
Published
• View Publication
• BIB
Dvořák and Kawarabayashi [European Journal of Combinatorics, 2017] asked, what is the largest chromatic number attainable by a graph of treewidth $t$ with no $K_r$ subgraph? In this paper, we consider the fractional version of this question. We prove that if $G$ has treewidth $t$ and clique number $2 \leq ω\leq t$, then $χ_f(G) \leq t + \frac{ω- 1}{t}$, and we show that this bound is tight for $ω= t$. We also show that for each value $0 < c < \frac{1}{2}$, there exists a graph $G$ of a large treewidth $t$ and clique number $ω= \lfloor (1 - c)t \rfloor$ satisfying $χ_f(G) \geq t + 1 + \frac{1}{2}\log(1-2c) + o(1)$, which is approximately equal to the upper bound for small values $c$.
On mixed radial Moore graphs of diameter 3
Published
• View Publication
• BIB
Radial Moore graphs and digraphs are extremal graphs related to the Moore ones where the distance-preserving spanning tree is preserved for some vertices. This leads to classify them according to their proximity to being a Moore graph or digraph. In this paper we deal with mixed radial Moore graphs, where the mixed setting allows edges and arcs as different elements. An exhaustive computer search shows the top ranked graphs for an specific set of parameters. Moreover, we study the problem of their existence by providing two infinite families for different values of the degrees and diameter $3$. One of these families turns out to be optimal.
Polynomial invariants for rooted trees related to their random destruction
Published
• View Publication
• BIB
We consider three bivariate polynomial invariants $P$, $A$, and $S$ for rooted trees, as well as a trivariate polynomial invariant $M$. These invariants are motivated by random destruction processes such as the random cutting model or site percolation on rooted trees. We exhibit recursion formulas for the invariants and identities relating $P$, $S$, and $M$. The main result states that the invariants $P$ and $S$ are complete, that is they distinguish rooted trees (in fact, even rooted forests) up to isomorphism. The proof method relies on the obtained recursion formulas and on irreducibility of the polynomials in suitable unique factorization domains. For $A$, we provide counterexamples showing that it is not complete, although that question remains open for the trivariate invariant $M$.
Discrepancies of subtrees
Published
• View Publication
• BIB
We study multicolour, oriented and high-dimensional discrepancies of the set of all subtrees of a tree. As our main result, we show that the $r$-colour discrepancy of the subtrees of any tree is a linear function of the number of leaves $\ell$ of that tree. More concretely, we show that it is bounded by $\lceil(r-1)\ell/r\rceil$ from below and $\lceil(r-1)\ell/2\rceil$ from above, and that these bounds are asymptotically sharp. Motivated by this result, we introduce natural notions of oriented and high-dimensional discrepancies and prove bounds for the corresponding discrepancies of the set of all subtrees of a given tree as functions of its number of leaves.
A note on limits of sequences of binary trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Analysis of Algorithms (May 30, 2023) dmtcs:10968
• View Publication
• BIB
We discuss a notion of convergence for binary trees that is based on subtree sizes. In analogy to recent developments in the theory of graphs, posets and permutations we investigate some general aspects of the topology, such as a characterization of the set of possible limits and its structure as a metric space. For random trees the subtree size topology arises in the context of algorithms for searching and sorting when applied to random input, resulting in a sequence of nested trees. For these we obtain a structural result based on a local version of exchangeability. This in turn leads to a central limit theorem, with possibly mixed asymptotic normality.
Generalizations of the Muller-Schupp theorem and tree-like inverse graphs
Published in Journal of the London Mathematical Society, Volume109, Issue 5 (2024)
• View Publication
• BIB
We extend the characterization of context-free groups of Muller and Schupp in two ways. We first show that for a quasi-transitive inverse graph $Γ$, being quasi-isometric to a tree, or context-free (finitely many end-cones types), or having the automorphism group $Aut(Γ)$ that is virtually free, are all equivalent conditions. Furthermore, we add to the previous equivalences a group theoretic analog to the representation theorem of Chomsky-Schützenberger that is fundamental in solving a weaker version of a conjecture of T. Brough which also extends Muller and Schupp' result to the class of groups that are virtually finitely generated subgroups of direct product of free groups. We show that such groups are precisely those whose word problem is the intersection of a finite number of languages accepted by quasi-transitive, tree-like inverse graphs.
The Subgraph Isomorphism Problem for Port Graphs and Quantum Circuits
We study a variant of the subgraph isomorphism problem that is of high interest to the quantum computing community. Our results give an algorithm to perform pattern matching in quantum circuits for many patterns simultaneously, independently of the number of patterns. After a pre-computation step in which the patterns are compiled into a decision tree, the running time is linear in the size of the input quantum circuit.
More generally, we consider connected port graphs, in which every edge $e$ incident to $v$ has a label $L_v(e)$ unique in $v$. Jiang and Bunke showed that the subgraph isomorphism problem $H \subseteq G$ for such graphs can be solved in time $O(|V(G)| \cdot |V(H)|)$. We show that if in addition the graphs are directed acyclic, then the subgraph isomorphism problem can be solved for an unbounded number of patterns simultaneously. We enumerate all $m$ pattern matches in time $O(P)^{P+3/2} \cdot |V(G)| + O(m)$, where $P$ is the number of vertices of the largest pattern. In the case of quantum circuits, we can express the bound obtained in terms of the maximum number of qubits $N$ and depth $δ$ of the patterns : $O(N)^{N + 1/2} \cdot δ\log δ\cdot |V(G)| + O(m)$.
Connected coalitions in graphs
Published
• View Publication
• BIB
The connected coalition in a graph $G=(V,E)$ consists of two disjoint sets of vertices $V_{1}$ and $V_{2}$, neither of which is a connected dominating set but whose union $V_{1}\cup V_{2}$, is a connected dominating set. A connected coalition partition in a graph $G$ of order $n=|V|$ is a vertex partition $ψ$ = $\{V_1, V_2,..., V_k \}$ such that every set $V_i \in ψ$ either is a connected dominating set consisting of a single vertex of degree $n-1$, or is not a connected dominating set but forms a connected coalition with another set $V_j\in ψ$ which is not a connected dominating set. The connected coalition number, denoted by $CC(G)$, is the maximum cardinality of a connected coalition partition of $G$.
In this paper, we initiate the study of connected coalition in graphs and present some basic results. Precisely, we characterize all graphs that have a connected coalition partition. Moreover, we show that for any graph $G$ of order $n$ with $δ(G)=1$ and with no full vertex, it holds that $CC(G)<n$. Furthermore, we show that for any tree $T$, $CC(T)=2$. Finally, we present two polynomial-time algorithms that for a given connected graph $G$ of order $n$ determine whether $CC(G)=n$ or $CC(G)=n-1$.
On individual leaf depths of trees
Published
• View Publication
• BIB
We explore a generating function trick which allows us to keep track of infinitely many statistics using finitely many variables, by recording their individual distributions rather than their joint distributions. Building on previous work of Panholzer and Prodinger, we apply this method to study the depth distributions of individual nodes in rooted binary trees, plane trees, noncrossing trees, and increasing trees; the height distributions of individual vertices and individual steps in Dyck paths; and the number of diagonals separating two fixed sides of a convex polygon in a triangulation or dissection. We obtain both exact and asymptotic results, which sometimes refine known formulas or provide combinatorial proofs of results from the probability literature.
Approximately Optimal Core Shapes for Tensor Decompositions
Published in Proceedings of the 40th International Conference on Machine Learning (ICML 2023) 11237-11254
• Search Publication
This work studies the combinatorial optimization problem of finding an optimal core tensor shape, also called multilinear rank, for a size-constrained Tucker decomposition. We give an algorithm with provable approximation guarantees for its reconstruction error via connections to higher-order singular values. Specifically, we introduce a novel Tucker packing problem, which we prove is NP-hard, and give a polynomial-time approximation scheme based on a reduction to the 2-dimensional knapsack problem with a matroid constraint. We also generalize our techniques to tree tensor network decompositions. We implement our algorithm using an integer programming solver, and show that its solution quality is competitive with (and sometimes better than) the greedy algorithm that uses the true Tucker decomposition loss at each step, while also running up to 1000x faster.
Spanning trees in graphs without large bipartite holes
Published
• View Publication
• BIB
We show that for any $\varepsilon>0$ and $Δ\in\mathbb{N}$, there exists $α>0$ such that for sufficiently large $n$, every $n$-vertex graph $G$ satisfying that $δ(G)\geq\varepsilon n$ and $e(X, Y)>0$ for every pair of disjoint vertex sets $X, Y\subseteq V(G)$ of size $αn$ contains all spanning trees with maximum degree at most $Δ$. This strengthens a result of Böttcher et al.
Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs
Published in Adv. Appl. Math. 157, 102703 (2024)
• View Publication
• BIB
We study three combinatorial models for the lower-triangular matrix with entries $t_{n,k} = \binom{n}{k} n^{n-k}$: two involving rooted trees on the vertex set $[n+1]$, and one involving partial functional digraphs on the vertex set $[n]$. We show that this matrix is totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. We then generalize to polynomials $t_{n,k}(y,z)$ that count improper and proper edges, and further to polynomials $t_{n,k}(y,\mathbfφ)$ in infinitely many indeterminates that give a weight $y$ to each improper edge and a weight $m! \, φ_m$ for each vertex with $m$ proper children. We show that if the weight sequence $\mathbfφ$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays.
Classifying Tree Topologies along Tropical Line Segments
Published in Alg. Stat. 14 (2023) 71-90
• View Publication
• BIB
The space of phylogenetic trees arises naturally in tropical geometry as the tropical Grassmannian. Tropical geometry therefore suggests a natural notion of a tropical path between two trees, given by a tropical line segment in the tropical Grassmannian. It was previously conjectured that tree topologies along such a segment change by a combinatorial operation known as Nearest Neighbor Interchange (NNI). We provide counterexamples to this conjecture, but prove that changes in tree topologies along the tropical line segment are either NNI moves or "four clade rearrangement" moves for generic trees. In addition, we show that the number of NNI moves occurring along the tropical line segment can be as large as $n^2$, but the average number of moves when the two endpoint trees are chosen at random is $O(n (\log n)^4)$. This is in contrast with $O(n \log n)$, the average number of NNI moves needed to transform one tree into another.
Dyck Numbers, III. Enumeration and bijection with symmetric Dyck paths
Dyck paths (also balanced brackets and Dyck words) are among the most heavily studied Catalan families. This paper is a continuation of [2, 3]. In the paper we enumerate the terms of the OEIS A036991, Dyck numbers, and construct a concomitant bijection with symmetric Dyck paths. In the case of binary coding of Dyck paths we work with compact natural numbers after removing leading zeros. Analysis of binary suffixes, allowed us to obtain a bijection between arbitrary A036991 terms and symmetric A036991 terms which encode symmetric Dyck paths. The bijection generates a forest of unary non-intersecting infinite trees. The root of each bijection tree is an asymmetric term; the other nodes are symmetrical. There are an infinite number of such trees. The reader is offered a software package for working with bijection trees.
Extremal values for Steiner distances and the Steiner $k$-Wiener index
Published
• View Publication
• BIB
Various questions related to distances between vertices of simple, finite graphs are of interest to extremal graph theorists. The Steiner distance of a set of $k$ vertices is a natural generalization of the regular distance. We extend several theorems on the middle parts and extremal values of trees from their regular distance variants to their Steiner distance variants. More specifically, we show that for a tree $T$, the Steiner $k$-distance, Steiner $k$-leaf-distance, and Steiner $k$-internal-distance are all concave along a path. We also calculate distances between the Steiner $k$-median, Steiner $k$-internal-median, and Steiner $k$-leaf-median. Letting the Steiner $k$-distance of a vertex $v \in V(T)$ be $\dd_k^T(v)$, we find bounds based on the order of $T$ for the ratios $\frac{\dd^T_{k}(u)}{\dd^T_{k}(v)}$, $\frac{\dd^T_{k}(w)}{\dd^T_{k}(z)}$, and $\frac{\dd^T_{k}(u)}{\dd^T_{k}(y)}$ where $u$ and $v$ are leaves, $w$ and $z$ are internal vertices, and $y$ is a Steiner $k$-centroid. Also, denoting the Steiner $k$-Wiener index as $\mathsf{SW}_k(T)$, we find upper and lower bounds for $\frac{\mathsf{SW}_k(T)}{\dd^G_{k}(v)}$. The extremal graphs that produce these bounds are also presented.
Strong Erdős-Hajnal properties in chordal graphs
Published
• View Publication
• BIB
A graph class $\mathcal{G}$ has the strong Erdős-Hajnal property (SEH-property) if there is a constant $c=c(\mathcal{G}) > 0$ such that for every member $G$ of $\mathcal{G}$, either $G$ or its complement has $K_{m, m}$ as a subgraph where $m \geq \left\lfloor c|V(G)|\right\rfloor$. We prove that the class of chordal graphs satisfy SEH-property with constant $c = 2/9$. On the other hand, a strengthening of SEH-property which we call the colorful Erdős-Hajnal property was discussed in geometric settings by Alon et al. (2005) and by Fox et al. (2012). Inspired by their results, we show that for every pair $F_1, F_2$ of subtree families of the same size in a tree $T$ with $k$ leaves, there exists subfamilies $F'_1 \subseteq F_1$ and $F'_2 \subseteq F_2$ of size $θ\left( \frac{\ln k}{k} \left| F_1 \right|\right)$ such that either every pair of representatives from distinct subfamilies intersect or every such pair do not intersect. Our results are asymptotically optimal.
Extremal digraphs for open neighbourhood location-domination and identifying codes
Published in Discrete Applied Mathematics 347:62-74, 2024
• View Publication
• BIB
A set $S$ of vertices of a digraph $D$ is called an open neighbourhood locating-dominating set if every vertex in $D$ has an in-neighbour in $S$, and for every pair $u,v$ of vertices of $D$, there is a vertex in $S$ that is an in-neighbour of exactly one of $u$ and $v$. The smallest size of an open neighbourhood locating-dominating set of a digraph $D$ is denoted by $γ_{OL}(D)$. We study the class of digraphs $D$ whose only open neighbourhood locating-dominating set consists of the whole set of vertices, in other words, $γ_{OL}(D)$ is equal to the order of $D$. We call those digraphs extremal. By considering digraphs with loops allowed, our definition also applies to the related (and more widely studied) concept of identifying codes. We extend previous studies from the literature for both open neighbourhood locating-dominating sets and identifying codes of both undirected and directed graphs. These results all correspond to studying open neighbourhood locating-dominating sets on special classes of digraphs. To do so, we prove general structural properties of extremal digraphs, and we describe how they can all be constructed. We then use these properties to give new proofs of several known results from the literature. We also give a recursive and constructive characterization of the extremal di-trees (digraphs whose underlying undirected graph is a tree).
A self-similar infinite binary tree is a solution of Steiner problem
Published
• View Publication
• BIB
We consider a general metric Steiner problem which is of finding a set $\mathcal{S}$ with minimal length such that $\mathcal{S} \cup A$ is connected, where $A$ is a given compact subset of a given complete metric space $X$; a solution is called Steiner tree.
Paolini, Stepanov and Teplitskaya provided an example of a planar Steiner tree with an infinite number of branching points connecting an uncountable set of points. We prove that such a set can have a positive Hausdorff dimension which was an open question (the corresponding tree is a self-similar fractal).
A phase transition in block-weighted random maps
Published
• View Publication
• BIB
We consider the model of random planar maps of size $n$ biased by a weight $u>0$ per $2$-connected block, and the closely related model of random planar quadrangulations of size $n$ biased by a weight $u>0$ per simple component. We exhibit a phase transition at the critical value $u_C=9/5$. If $u<u_C$, a condensation phenomenon occurs: the largest block is of size $Θ(n)$. Moreover, for quadrangulations we show that the diameter is of order $n^{1/4}$, and the scaling limit is the Brownian sphere. When $u > u_C$, the largest block is of size $Θ(\log(n))$, the scaling order for distances is $n^{1/2}$, and the scaling limit is the Brownian tree. Finally, for $u=u_C$, the largest block is of size $Θ(n^{2/3})$, the scaling order for distances is $n^{1/3}$, and the scaling limit is the stable tree of parameter $3/2$.