tree
6861 papers tagged with this keyword
Ubiquity in graphs I: Topological ubiquity of trees
Published
• View Publication
• BIB
Let $\triangleleft$ be a relation between graphs. We say a graph $G$ is \emph{$\triangleleft$-ubiquitous} if whenever $Γ$ is a graph with $nG \triangleleft Γ$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \triangleleft Γ$, where $αG$ is the disjoint union of $α$ many copies of $G$.
The \emph{Ubiquity Conjecture} of Andreae, a well-known open problem in the theory of infinite graphs, asserts that every locally finite connected graph is ubiquitous with respect to the minor relation.
In this paper, which is the first of a series of papers making progress towards the Ubiquity Conjecture, we show that all trees are ubiquitous with respect to the topological minor relation, irrespective of their cardinality. This answers a question of Andreae from 1979.
On the Fourier Entropy Influence Conjecture for Extremal Classes
The Fourier Entropy-Influence (FEI) Conjecture of Friedgut and Kalai states that ${\bf H}[f] \leq C \cdot {\bf I}[f]$ holds for every Boolean function $f$, where ${\bf H}[f]$ denotes the spectral entropy of $f$, ${\bf I}[f]$ is its total influence, and $C > 0$ is a universal constant. Despite significant interest in the conjecture it has only been shown to hold for some classes of Boolean functions such as symmetric functions and read-once formulas.
In this work, we prove the conjecture for extremal cases, functions with small influence and functions with high entropy. Specifically, we show that:
* FEI holds for the class of functions with ${\bf I}[f] \leq 2^{-cn}$ with the constant $C = 4 \cdot \frac{c+1}{c}$. Furthermore, proving FEI for a class of functions with ${\bf I}[f] \leq 2^{-s(n)}$ for some $s(n) = o(n)$ will imply FEI for the class of all Boolean functions.
* FEI holds for the class of functions with ${\bf H}[f] \geq cn$ with the constant $C = \frac{1 + c}{h^{-1}(c^2)}$. Furthermore, proving FEI for a class of functions with ${\bf H}[f] \geq s(n)$ for some $s(n) = o(n)$ will imply FEI for the class of all Boolean functions.
Additionally, we show that FEI holds for the class of functions with constant $\|\widehat{f}\|_1$, completing the results of Chakhraborty et al. that bounded the entropy of such functions. We also improve the result of Wan et al. for read-k decision trees, from ${\bf H}[f] \leq O(k) \cdot {\bf I}[f]$ to ${\bf H}[f] \leq O(\sqrt{k}) \cdot {\bf I}[f]$. Finally, we suggest a direction for proving FEI for read-k DNFs, and prove the Fourier Min-Entropy/Influence (FMEI) Conjecture for regular read-k DNFs.
The characterization of perfect Roman domination stable trees
A \emph{perfect Roman dominating function} (PRDF) on a graph $G = (V, E)$ is a function $f : V \rightarrow \{0, 1, 2\}$ satisfying the condition that every vertex $u$ for which $f(u) = 0$ is adjacent to exactly one vertex $v$ for which $f(v) = 2$. The weight of a PRDF is the value $w(f) = \sum_{u \in V}f(u)$. The minimum weight of a PRDF on a graph $G$ is called the \emph{perfect Roman domination number $γ_R^p(G)$} of $G$. A graph $G$ is perfect Roman domination domination stable if the perfect Roman domination number of $G$ remains unchanged under the removal of any vertex. In this paper, we characterize all trees that are perfect Roman domination stable.
From unicellular fatgraphs to trees
In this paper we study the minimum number of reversals needed to transform a unicellular fatgraph into a tree. We consider reversals acting on boundary components, having the natural interpretation as gluing, slicing or half-flipping of vertices. Our main result is an expression for the minimum number of reversals needed to transform a unicellular fatgraph to a plane tree. The expression involves the Euler genus of the fatgraph and an additional parameter, which counts the number of certain orientable blocks in the decomposition of the fatgraph. In the process we derive a constructive proof of how to decompose non-orientable, irreducible, unicellular fatgraphs into smaller fatgraphs of the same type or trivial fatgraphs, consisting of a single ribbon. We furthermore provide a detailed analysis how reversals affect the component-structure of the underlying fatgraphs. Our results generalize the Hannenhalli-Pevzner formula for the reversal distance of signed permutations.
The $A_α$-spectral radius of graphs with given degree sequence
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$, and let $D(G)$ be the diagonal matrix of the degrees of $G$. For any real $α\in[0,1]$, write $A_α(G)$ for the matrix $$A_α(G)=αD(G)+(1-α)A(G).$$ This paper presents some extremal results about the spectral radius $ρ(A_α(G))$ of $A_α(G)$ that generalize previous results about $ρ(A_0(G))$ and $ρ(A_{\frac{1}{2}}(G))$. In this paper, we give some results on graph perturbation for $A_α$-matrix with $α\in [0,1)$. As applications, we characterize all extremal trees with the maximum $A_α$-spectral radius in the set of all trees with prescribed degree sequence firstly. Furthermore, we characterize the unicyclic graphs that have the largest $A_α$-spectral radius for a given unicycilc degree sequence.
Correlation bounds for fields and matroids
Published in Journal of the European Mathematical Society 24 (2022), 1335-1351
• View Publication
• BIB
Let $G$ be a finite connected graph, and let $T$ be a spanning tree of $G$ chosen uniformly at random. The work of Kirchhoff on electrical networks can be used to show that the events $e_1 \in T$ and $e_2 \in T$ are negatively correlated for any distinct edges $e_1$ and $e_2$. What can be said for such events when the underlying matroid is not necessarily graphic? We use Hodge theory for matroids to bound the correlation between the events $e \in B$, where $B$ is a randomly chosen basis of a matroid. As an application, we prove Mason's conjecture that the number of $k$-element independent sets of a matroid forms an ultra-log-concave sequence in $k$.
Blockers for simple Hamiltonian paths in convex geometric graphs of odd order
Let G be a complete convex geometric graph, and let F be a family of subgraphs of G. A blocker for F is a set of edges, of smallest possible size, that has an edge in common with every element of F. In [C. Keller and M. A. Perles, Blockers for simple Hamiltonian paths in convex geometric graphs of even order, Disc. Comput. Geom., 60(1) (2018), pp. 1-8] we gave an explicit description of all blockers for the family of simple (i.e., non-crossing) Hamiltonian paths (SHPs) in G in the `even' case |V(G)|=2m. It turned out that all the blockers are simple caterpillar trees of a certain class. In this paper we give an explicit description of all blockers for the family of SHPs in the `odd' case |V(G)|=2m-1. In this case, the structure of the blockers is more complex, and in particular, they are not necessarily simple. Correspondingly, the proof is more complicated.
Maximum and minimum nullity of a tree degree sequence
The nullity of a graph is the multiplicity of the eigenvalue zero in its adjacency spectrum. In this paper, we give a closed formula for the minimum and maximum nullity among trees with the same degree sequence, using the notion of matching number and annihilation number. Algorithms for constructing such minimum-nullity and maximum-nullity trees are described.
Spanning trees with at most 2 branch vertices in claw - free graphs
In this article, we will prove that if $G$ is a connected claw-free graph and either $σ_6(G)\geq |G|-5$ or $σ_7(G)\geq |G|-2$, here $σ_k(G)$ is the minimmum degree sum of $k$ independent vertices in $G$, then $G$ has a spanning tree with at most two branch vertices.
On majorization of closed walks vector of trees with given degree sequences
Published
• View Publication
• BIB
Let $C_{v}(k;T)$ be the number of the closed walks of length $k$ starting at vertex $v$ in a tree $T$. We prove that for a given tree degree sequence $π$, then for any tree with degree sequence $π$, the sequence
$C(k;T)\equiv(C_{v}(k;T), v\in V(T))$ is weakly majorized by the sequence $C(k, T_π^*)\equiv C(k, T_π^*, v\in V(T^*))$, where $T_π^*$ is the greedy tree corresponding to $π$. In addition, for two trees degree sequences $π,~π'$, if $π$ is majorized by $π'$, then $C(k;T_π^*)$ is weakly majorized by $C(k;T_{π'}^*)$.
Sequential sampling of junction trees for decomposable graphs
Published
• View Publication
• BIB
The junction-tree representation provides an attractive structural property for organizing a decomposable graph. In this study, we present two novel stochastic algorithms, which we call the junction-tree expander and junction-tree collapser for sequential sampling of junction trees for decomposable graphs. We show that recursive application of the junction-tree expander, expanding incrementally the underlying graph with one vertex at a time, has full support on the space of junction trees with any given number of underlying vertices. On the other hand, the junction-tree collapser provides a complementary operation for removing vertices in the underlying decomposable graph of a junction tree, while maintaining the junction tree property. A direct application of our suggested algorithms is demonstrated in a sequential-Monte-Carlo setting designed for sampling from distributions on spaces of decomposable graphs. Numerical studies illustrate the utility of the proposed algorithms for combinatorial computations on decomposable graphs and junction trees. All the methods proposed in the paper are implemented in the Python library trilearn.
The lemniscate tree of a random polynomial
Published
• View Publication
• BIB
To each generic complex polynomial $p(z)$ there is associated a labeled binary tree (here referred to as a "lemniscate tree") that encodes the topological type of the graph of $|p(z)|$. The branching structure of the lemniscate tree is determined by the configuration (i.e., arrangement in the plane) of the singular components of those level sets $|p(z)|=t$ passing through a critical point.
In this paper, we address the question "How many branches appear in a typical lemniscate tree?" We answer this question first for a lemniscate tree sampled uniformly from the combinatorial class and second for the lemniscate tree arising from a random polynomial generated by i.i.d. zeros. From a more general perspective, these results take a first step toward a probabilistic treatment (within a specialized setting) of Arnold's program of enumerating algebraic Morse functions.
Tropical Geometry of Phylogenetic Tree Space: A Statistical Perspective
Phylogenetic trees are the fundamental mathematical representation of evolutionary processes in biology. They are also objects of interest in pure mathematics, such as algebraic geometry and combinatorics, due to their discrete geometry. Although they are important data structures, they face the significant challenge that sets of trees form a non-Euclidean phylogenetic tree space, which means that standard computational and statistical methods cannot be directly applied. In this work, we explore the statistical feasibility of a pure mathematical representation of the set of all phylogenetic trees based on tropical geometry for both descriptive and inferential statistics, and unsupervised and supervised machine learning. Our exploration is both theoretical and practical. We show that the tropical geometric phylogenetic tree space endowed with a generalized Hilbert projective metric exhibits analytic, geometric, and topological properties that are desirable for theoretical studies in probability and statistics and allow for well-defined questions to be posed. We illustrate the statistical feasibility of the tropical geometric perspective for phylogenetic trees with an example of both a descriptive and inferential statistical task. Moreover, this approach exhibits increased computational efficiency and statistical performance over the current state-of-the-art, which we illustrate with a real data example on seasonal influenza. Our results demonstrate the viability of the tropical geometric setting for parametric statistical and probabilistic studies of sets of phylogenetic trees.
A law of large numbers for the range of rotor walks on periodic trees
The aim of the current work is to prove a law of large numbers for the range size of recurrent rotor walks with random initial configuration on a general class of trees, called periodic trees or directed covers of graphs.
Palindromes in starlike trees
In this note, we obtain an upper bound on the maximum number of distinct non-empty palindromes in starlike trees. This bound implies, in particular, that there are at most $4n$ distinct non-empty palindromes in a starlike tree with three branches each of length $n$. For such starlike trees labelled with a binary alphabet, we sharpen the upper bound to $4n-1$ and conjecture that the actual maximum is $4n-2$. It is intriguing that this simple conjecture seems difficult to prove, in contrast to the straightforward proof of the bound.
Further results on the radio number of trees
Published in Electronic Notes in Discrete Mathematics, Volume 63, Pages 85-91, 2017
• View Publication
• BIB
Let $G$ be a finite, connected, undirected graph with diameter $diam(G)$ and $d(u,v)$ denote the distance between $u$ and $v$ in $G$. A radio labeling of a graph $G$ is a mapping $f: V(G) \rightarrow \{0,1,2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest integer $k$ such that $G$ has a radio labeling $f$ with $\max\{f(v) : v \in V(G)\} = k$. In this paper, we determine the radio number for three families of trees obtained by taking graph operation on a given tree or a family of trees.
Fairest edge usage and minimum expected overlap for random spanning trees
Published
• View Publication
• BIB
Random spanning trees of a graph $G$ are governed by a corresponding probability mass distribution (or "law"), $μ$, defined on the set of all spanning trees of $G$. This paper addresses the problem of choosing $μ$ in order to utilize the edges as "fairly" as possible. This turns out to be equivalent to minimizing, with respect to $μ$, the expected overlap of two independent random spanning trees sampled with law $μ$. In the process, we introduce the notion of homogeneous graphs. These are graphs for which it is possible to choose a random spanning tree so that all edges have equal usage probability. The main result is a deflation process that identifies a hierarchical structure of arbitrary graphs in terms of homogeneous subgraphs, which we call homogeneous cores. A key tool in the analysis is the spanning tree modulus, for which there exists an algorithm based on minimum spanning tree algorithms, such as Kruskal's or Prim's.
On the distance matrices of the CP graphs
This paper introduces a new class of graphs, the CP graphs, and shows that their distance determinant and distance inertia are independent of their structures. The CP graphs include the family of linear $2$-trees. When a graph is attached with a CP graph, it is shown that the distance determinant and the distance inertia are also independent of the structure of the CP graph. Applications to the addressing problem proposed by Graham and Pollak in 1971 are given.
A Polynomial Time Algorithm to Find the Star Chromatic Index of Trees
Published
• View Publication
• BIB
A star edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every path and cycle of length four in $G$ uses at least three different colors. The star chromatic index of a graph $G$, is the smallest integer $k$ for which $G$ admits a star edge coloring with $k$ colors. In this paper, we present a polynomial time algorithm that finds an optimum star edge coloring for every tree. We also provide some tight bounds on the star chromatic index of trees with diameter at most four, and using these bounds we find a formula for the star chromatic index of certain families of trees.
Eternal dominating sets on digraphs and orientations of graphs
Published
• View Publication
• BIB
We study the eternal dominating number and the m-eternal dominating number on digraphs. We generalize known results on graphs to digraphs. We also consider the problem "oriented (m-)eternal domination", consisting in finding an orientation of a graph that minimizes its eternal dominating number. We prove that computing the oriented eternal dominating number is NP-hard and characterize the graphs for which the oriented m-eternal dominating number is 2. We also study these two parameters on trees, cycles, complete graphs, complete bipartite graphs, trivially perfect graphs and different kinds of grids and products of graphs.