tree
6737 papers tagged with this keyword
Completely Independent Spanning Trees in Line Graphs
Published
• View Publication
• BIB
Completely independent spanning trees in a graph $G$ are spanning trees of $G$ such that for any two distinct vertices of $G$, the paths between them in the spanning trees are pairwise edge-disjoint and internally vertex-disjoint. In this paper, we present a tight lower bound on the maximum number of completely independent spanning trees in $L(G)$, where $L(G)$ denotes the line graph of a graph $G$. Based on a new characterization of a graph with $k$ completely independent spanning trees, we also show that for any complete graph $K_n$ of order $n \geq 4$, there are $\lfloor \frac{n+1}{2} \rfloor$ completely independent spanning trees in $L(K_n)$ where the number $\lfloor \frac{n+1}{2} \rfloor$ is optimal, such that $\lfloor \frac{n+1}{2} \rfloor$ completely independent spanning trees still exist in the graph obtained from $L(K_n)$ by deleting any vertex (respectively, any induced path of order at most $\frac{n}{2}$) for $n = 4$ or odd $n \geq 5$ (respectively, even $n \geq 6$). Concerning the connectivity and the number of completely independent spanning trees, we moreover show the following, where $δ(G)$ denotes the minimum degree of $G$. $\ $ $\bullet$ Every $2k$-connected line graph $L(G)$ has $k$ completely independent spanning trees if $G$ is not super edge-connected or $δ(G) \geq 2k$. $\ $ $\bullet$ Every $(4k-2)$-connected line graph $L(G)$ has $k$ completely independent spanning trees if $G$ is regular. $\ $ $\bullet$ Every $(k^2+2k-1)$-connected line graph $L(G)$ with $δ(G) \geq k+1$ has $k$ completely independent spanning trees.
On the Wiener Index of Orientations of Graphs
Published
• View Publication
• BIB
The Wiener index of a strong digraph $D$ is defined as the sum of the distances between all ordered pairs of vertices. This definition has been extended to digraphs that are not necessarily strong by defining the distance from a vertex $a$ to a vertex $b$ as $0$ if there is no path from $a$ to $b$ in $D$.
Knor, uSkrekovski and Tepeh [Some remarks on Wiener index of oriented graphs. Appl.\ Math.\ Comput.\ {\bf 273}] considered orientations of graphs with maximum Wiener index. The authors conjectured that for a given tree $T$, an orientation $D$ of $T$ of maximum Wiener index always contains a vertex $v$ such that for every vertex $u$, there is either a $(u,v)$-path or a $(v,u)$-path in $D$. In this paper we disprove the conjecture.
We also show that the problem of finding an orientation of maximum Wiener index of a given graph is NP-complete, thus answering a question by Knor, uSkrekovski and Tepeh [Orientations of graphs with maximum Wiener index. Discrete Appl.\ Math.\ 211].
We briefly discuss the corresponding problem of finding an orientation of minimum Wiener index of a given graph, and show that the special case of deciding if a given graph on $m$ edges has an orientation of Wiener index $m$ can be solved in time quadratic in $n$.
Extensions and reductions of square-free words
A word is square-free if it does not contain a nonempty word of the form $XX$ as a factor. A famous 1906 result of Thue asserts that there exist arbitrarily long square-free words over a $3$-letter alphabet. We study square-free words with additional properties involving single-letter deletions and extensions of words.
A square-free word is steady if it remains square-free after deletion of any single letter. We prove that there exist infinitely many steady words over a $4$-letter alphabet. We also demonstrate that one may construct steady words of any length by picking letters from arbitrary alphabets of size $7$ assigned to the positions of the constructed word. We conjecture that both bounds can be lowered to $4$, which is best possible.
In the opposite direction, we consider square-free words that remain square-free after insertion of a single (suitably chosen) letter at every possible position in the word. We call them bifurcate. We prove a somewhat surprising fact, that over a fixed alphabet with at least three letters, every steady word is bifurcate. We also consider families of bifurcate words possessing a natural tree structure. In particular, we prove that there exists an infinite tree of doubly infinite bifurcate words over alphabet of size $12$.
Proof a conjecture on connectivity keeping odd paths in k-connected bipartite graphs
Published
• View Publication
• BIB
Luo, Tian and Wu (2022) conjectured that for any tree $T$ with bipartition $X$ and $Y$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+t$, where $t=$max$\{|X|,|Y|\}$, contains a tree $T'\cong T$ such that $G-V(T')$ is still $k$-connected. Note that $t=\lceil\frac{m}{2}\rceil$ when the tree $T$ is the path with order $m$. In this paper, we proved that every $k$-connected bipartite graph $G$ with minimum degree at least $k+ \lceil\frac{m+1}{2}\rceil$ contains a path $P$ of order $m$ such that $G-V(P)$ remains $k$-connected. This shows that the conjecture is true for paths with odd order. And for paths with even order, the minimum degree bound in this paper is the bound in the conjecture plus one.
An Inductive Approach to Strongly Antimagic Labelings of Graphs
An antimagic labeling for a graph $G$ with $m$ edges is a bijection $f: E(G) \to \{1, 2, \dots, m\}$ so that $φ_f(u) \neq φ_f(v)$ holds for any pair of distinct vertices $u, v \in V(G)$, where $φ_f(x) = \sum_{x \in e} f(e)$. A strongly antimagic labeling is an antimagic labeling with an additional condition: For any $u, v \in V(G)$, if $°(u) > °(v)$, then $φ_f(u) > φ_f(v)$. A graph $G$ is strongly antimagic if it admits a strongly antimagic labeling. We present inductive properties of strongly antimagic labelings of graphs. This approach leads to simplified proofs that spiders and double spiders are strongly antimagic, previously shown by Shang [Spiders are antimagic, Ars Combinatoria, 118 (2015), 367--372] and Huang [Antimagic labeling on spiders, Master's Thesis, Department of Mathematics, National Taiwan University, 2015], and by Chang, Chin, Li and Pan [The strongly antimagic labelings of double spiders, Indian J. Discrete Math. 6 (2020), 43--68], respectively. We fix a subtle error in [The strongly antimagic labelings of double spiders, Indian J. Discrete Math. 6 (2020), 43--68]. Further, we prove certain level-wise regular trees, cycle spiders and cycle double spiders are all strongly antimagic.
Fast approximation of search trees on trees with centroid trees
Search trees on trees (STTs) generalize the fundamental binary search tree (BST) data structure: in STTs the underlying search space is an arbitrary tree, whereas in BSTs it is a path. An optimal BST of size $n$ can be computed for a given distribution of queries in $O(n^2)$ time [Knuth 1971] and centroid BSTs provide a nearly-optimal alternative, computable in $O(n)$ time [Mehlhorn 1977].
By contrast, optimal STTs are not known to be computable in polynomial time, and the fastest constant-approximation algorithm runs in $O(n^3)$ time [Berendsohn, Kozma 2022]. Centroid trees can be defined for STTs analogously to BSTs, and they have been used in a wide range of algorithmic applications. In the unweighted case (i.e., for a uniform distribution of queries), a centroid tree can be computed in $O(n)$ time [Brodal et al. 2001; Della Giustina et al. 2019]. These algorithms, however, do not readily extend to the weighted case. Moreover, no approximation guarantees were previously known for centroid trees in either the unweighted or weighted cases.
In this paper we revisit centroid trees in a general, weighted setting, and we settle both the algorithmic complexity of constructing them, and the quality of their approximation. For constructing a weighted centroid tree, we give an output-sensitive $O(n\log h)\subseteq O(n\log n)$ time algorithm, where $h$ is the height of the resulting centroid tree. If the weights are of polynomial complexity, the running time is $O(n\log\log n)$. We show these bounds to be optimal, in a general decision tree model of computation. For approximation, we prove that the cost of a centroid tree is at most twice the optimum, and this guarantee is best possible, both in the weighted and unweighted cases. We also give tight, fine-grained bounds on the approximation-ratio for bounded-degree trees and on the approximation-ratio of more general $α$-centroid trees.
Faces of Cosmological Polytopes
Published in Ann. Inst. H. Poincaré D, Comb. Phys. Interact. 2024
• View Publication
• BIB
A cosmological polytope is a lattice polytope introduced by Arkani-Hamed, Benincasa, and Postnikov in their study of the wavefunction of the universe in a class of cosmological models. More concretely, they construct a cosmological polytope for any Feynman diagram, i.e. an undirected graph. In this paper, we initiate a combinatorial study of these polytopes. We give a complete description of their faces, identify minimal faces that are not simplices and compute the number of faces in specific instances. In particular, we give a recursive description of the $f$-vector of cosmological polytopes of trees.
D-Sequence Edge Binomials, and Regularity of Powers of Binomial Edge Ideals of Trees
Published
• View Publication
• BIB
We provide the necessary and sufficient conditions for the edge-binomials of the tree forming a $d$-sequence in terms of the degree sequence notion of a graph. We study the regularity of powers of the binomial edge ideals of trees generated by $d$-sequence edge binomials.
Some Difference Graphs
In this paper, we discuss difference labeling of some standard families of graphs. We prove that Star, Butterfly, Bistar, umbrella and Olive tree are difference graphs. We also introduce difference labelings for some snakes (double triangular snake, irregular triangular snake, alternate $C_n$ snake). Furthermore we introduce a corollary helps us to find a unique difference labeling for the complete graph $K_3$ and all forms of difference labeling for the Star graph. Also this corollary can be used to prove that the complete bipartite graph $K_{2,4}$ is not a difference graph but the proof is very lengthy.
On the Edges of Characteristic Imset Polytopes
Published
• View Publication
• BIB
The edges of the characteristic imset polytope, $\operatorname{CIM}_p$, were recently shown to have strong connections to causal discovery as many algorithms could be interpreted as greedy restricted edge-walks, even though only a strict subset of the edges are known. To better understand the general edge structure of the polytope we describe the edge structure of faces with a clear combinatorial interpretation: for any undirected graph $G$ we have the face $\operatorname{CIM}_G$, the convex hull of the characteristic imsets of DAGs with skeleton $G$. We give a full edge-description of $\operatorname{CIM}_G$ when $G$ is a tree, leading to interesting connections to other polytopes. In particular the well-studied stable set polytope can be recovered as a face of $\operatorname{CIM}_G$ when $G$ is a tree. Building on this connection we are also able to give a description of all edges of $\operatorname{CIM}_G$ when $G$ is a cycle, suggesting possible inroads for generalization. We then introduce an algorithm for learning directed trees from data, utilizing our newly discovered edges, that outperforms classical methods on simulated Gaussian data.
Sequences of Trees and Higher-Order Renormalization Group Equations
Published
• View Publication
• BIB
We define a notion of higher order renormalization group equation and investigate when a sequence of trees satisfies such an equation. In the strongest sense, the sequence of trees satisfies a $k$th order renormalization group equation when applying any choice of Feynman rules results in a Green function satisfying a $k$th order renormalization group equation, and we characterize all such sequences of trees. We also make some comments on sequences of trees which require special choices of Feynman rules in order to satisfy a higher order renormalization group equation.
Discrete Rearrangements and the Polya-Szego Inequality on Graphs
Published
• View Publication
• BIB
For any $f: \mathbb{R}^n \rightarrow \mathbb{R}_{\geq 0}$ the symmetric decreasing rearrangement $f^*$ satisfies the Polya-Szegő inequality $\| \nabla f^*\|_{L^p} \leq \| \nabla f\|_{L^p}$. The goal of this paper is to establish analogous results in the discrete setting for graphs satisfying suitable conditions. We prove that if the edge-isoperimetric problem on a graph has a sequence of nested minimizers, then this sequence gives rise to a rearrangement satisfying the Polya-Szegő inequality in $L^1$. This shows, for example, that a specific rearrangement on the grid graph $\mathbb{Z}^2$, going around the origin in a spiral-like manner, satisfies $\| \nabla f^*\|_{L^1} \leq \| \nabla f\|_{L^1}$. The $L^{\infty}-$case is implied by an optimal ordering condition in vertex-isoperimetry. We use these ideas to prove that the canonical rearrangement on the infinite $d-$regular tree satisfies the Polya-Szegő inequality for all $1 \leq p \leq \infty$.
Small Transformers Compute Universal Metric Embeddings
Published in Journal of Machine Learning Research 24 (2023): 1-48
• Search Publication
We study representations of data from an arbitrary metric space $\mathcal{X}$ in the space of univariate Gaussian mixtures with a transport metric (Delon and Desolneux 2020). We derive embedding guarantees for feature maps implemented by small neural networks called \emph{probabilistic transformers}. Our guarantees are of memorization type: we prove that a probabilistic transformer of depth about $n\log(n)$ and width about $n^2$ can bi-Hölder embed any $n$-point dataset from $\mathcal{X}$ with low metric distortion, thus avoiding the curse of dimensionality. We further derive probabilistic bi-Lipschitz guarantees, which trade off the amount of distortion and the probability that a randomly chosen pair of points embeds with that distortion. If $\mathcal{X}$'s geometry is sufficiently regular, we obtain stronger, bi-Lipschitz guarantees for all points in the dataset. As applications, we derive neural embedding guarantees for datasets from Riemannian manifolds, metric trees, and certain types of combinatorial graphs. When instead embedding into multivariate Gaussian mixtures, we show that probabilistic transformers can compute bi-Hölder embeddings with arbitrarily small distortion.
On some numerical semigroup transforms
Published in Algebra Colloquium, Vol. 29, No. 03, pp. 509-526 (2022)
• View Publication
• BIB
In this paper we introduce a particular semigroup transform $\mathcal{A}$ that fixes the invariants involved in Wilf's conjecture, except the embedding dimension. It also allows one to arrange the set of not ordinary and not irreducible numerical semigroups in a family of rooted trees. We study also another transform, having similar features, that has been introduced by Bras-Amorós, and we make a comparison of them. In particular we study the behaviour of the embedding dimension under the action of such transforms, providing some consequences concerning Wilf's conjecture.
Count and cofactor matroids of highly connected graphs
Published in Journal of Combinatorial Theory, Series B, 2024
• View Publication
• BIB
We consider two types of matroids defined on the edge set of a graph $G$: count matroids ${\cal M}_{k,\ell}(G)$, in which independence is defined by a sparsity count involving the parameters $k$ and $\ell$, and the (three-dimensional generic) cofactor matroid $\mathcal{C}(G)$, in which independence is defined by linear independence in the cofactor matrix of $G$. We give tight lower bounds, for each pair $(k,\ell)$, that show that if $G$ is sufficiently highly connected, then $G-e$ has maximum rank for all $e\in E(G)$, and ${\cal M}_{k,\ell}(G)$ is connected. These bounds unify and extend several previous results, including theorems of Nash-Williams and Tutte ($k=\ell$), and Lovász and Yemini ($k=2, \ell=3$). We also prove that if $G$ is highly connected, then the vertical connectivity of $\mathcal{C}(G)$ is also high.
We use these results to generalize Whitney's celebrated result on the graphic matroid of $G$ (which corresponds to ${\cal M}_{1,1}(G)$) to all count matroids and to the three-dimensional cofactor matroid: if $G$ is highly connected, depending on $k$ and $\ell$, then the count matroid ${\cal M}_{k,\ell}(G)$ uniquely determines $G$; and similarly, if $G$ is $14$-connected, then its cofactor matroid $\mathcal{C}(G)$ uniquely determines $G$. We also derive similar results for the $t$-fold union of the three-dimensional cofactor matroid, and use them to prove that every $24$-connected graph has a spanning tree $T$ for which $G-E(T)$ is $3$-connected, which verifies a case of a conjecture of Kriesell.
Inertia and spectral symmetry of eccentricity matrices of some clique trees
Published
• View Publication
• BIB
The eccentricity matrix $\mathcal E(G)$ of a connected graph $G$ is obtained from the distance matrix of $G$ by leaving unchanged the largest nonzero entries in each row and each column, and replacing the remaining ones with zeros. In this paper, we consider the set $\mathcal C \mathcal T$ of clique trees whose blocks have at most two cut-vertices \textcolor{blue}{of the clique tree}. After proving the irreducibility of the eccentricity matrix of a clique tree in $\mathcal C \mathcal T$ and finding its inertia indices, we show that every graph in $\mathcal C \mathcal T$ with more than $4$ vertices and odd diameter has two positive and two negative $\mathcal E$-eigenvalues. Positive $\mathcal E$-eigenvalues and negative $\mathcal E$-eigenvalues turn out to be equal in number even for graphs in $\mathcal C \mathcal T$ with even diameter; that shared cardinality also counts the \textcolor{blue}{`diametrally distinguished'} vertices. Finally, we prove that the spectrum of the eccentricity matrix of a clique tree $G$ in $\mathcal C \mathcal T$ is symmetric with respect to the origin if and only if $G$ has an odd diameter and exactly two adjacent central vertices.
Polish space partition principles and the Halpern-Läuchli theorem
Published
• View Publication
• BIB
The Halpern-Läuchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles about products of perfect Polish spaces. These principles yield straightforward proofs of the Halpern-Läuchli theorem, and the same forcing from Harrington's proof can force their consistency. We also show that these principles are not ZFC theorems by showing that they put lower bounds on the size of the continuum.
Quantum Walks in the Normalized Laplacian
Published
• View Publication
• BIB
We provide a characterization of perfect state transfer in a quantum walk whose Hamiltonian is given by the normalized Laplacian. We discuss a connection between classical random walks and quantum walks only present in this model, and we also rule out several trees as candidates to host perfect state transfer.
Pattern Avoidance in Parking Functions
Published
• View Publication
• BIB
In this paper, we view parking functions viewed as labeled Dyck paths in order to study a notion of pattern avoidance first introduced by Remmel and Qiu. In particular we enumerate the parking functions avoiding any set of two or more patterns of length 3, and we obtain a number of well-known combinatorial sequences as a result. Along the way, we find bijections between specific sets of pattern-avoiding parking functions and a number of combinatorial objects such as partitions of polygons and trees with certain restrictions.
A Cantor-Bendixson Rank for Siblings of Trees
Published
• View Publication
• BIB
Similar to topological spaces, we introduce the Cantor-Bendixson rank of a tree $T$ by repeatedly removing the leaves and the isolated vertices of $T$ using transfinite recursion. Then, we give a representation of a tree $T$ as a leafless tree $T^\infty$ with some leafy trees attached to $T^\infty$. With this representation at our disposal, we count the siblings of a tree and obtain partial results towards a conjecture of Bonato and Tardif.