tree
6861 papers tagged with this keyword
Asymptotic distribution of integers with certain prime factorizations
Published in J. Number Theory 136 (2014), 87-99
• View Publication
• BIB
Let $p_{1}<p_2<... <p_ν<...$ be the sequence of prime numbers and let $m$ be a positive integer. We give a strong asymptotic formula for the distribution of the set of integers having prime factorizations of the form $p_{m^{k_1}}p_{m^{k_{2}}...p_{m^{k_{n}}}$ with $k_{1}\le k_{2}\le...\le k_{n}$. Such integers originate in various combinatorial counting problems; when $m=2$, they arise as Matula numbers of certain rooted trees.
Inverses of triangular matrices and bipartite graphs
Published
• View Publication
• BIB
To a given nonsingular triangular matrix A with entries from a ring, we associate a weighted bipartite graph G(A) and give a combinatorial description of the inverse of A by employing paths in G(A). Under a certain condition, nonsingular triangular matrices A such that A and A^{-1} have the same zero-nonzero pattern are characterized. A combinatorial construction is given to construct outer inverses of the adjacency matrix of a weighted tree.
The Minimal Automorphism-Free Tree
A finite tree $T$ with $|V(T)| \geq 2$ is called {\it automorphism-free} if there is no non-trivial automorphism of $T$. Let $\mathcal{AFT}$ be the poset with the element set of all finite automorphism-free trees (up to graph isomorphism) ordered by $T_1 \preceq T_2$ if $T_1$ can be obtained from $T_2$ by successively deleting one leaf at a time in such a way that each intermediate tree is also automorphism-free. In this paper, we prove that $\mathcal{AFT}$ has a unique minimal element. This result gives an affirmative answer to the question asked by Rupinski.
Advantage in the discrete Voronoi game
Published in Journal of Graph Algorithms and Applications 18, no. 3 (2014), 439-455
• View Publication
• BIB
We study the discrete Voronoi game, where two players alternately claim vertices of a graph for t rounds. In the end, the remaining vertices are divided such that each player receives the vertices that are closer to his or her claimed vertices. We prove that there are graphs for which the second player gets almost all vertices in this game, but this is not possible for bounded-degree graphs. For trees, the first player can get at least one quarter of the vertices, and we give examples where she can get only little more than one third of them. We make some general observations, relating the result with many rounds to the result for the one-round game on the same graph.
Unary FA-presentable binary relations: transitivity and classification results
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. A particular focus of research has been the classification of those structures of some species that admit FA-presentations. Whilst some successes have been obtained, this appears to be a difficult problem in general. A restricted problem, also of significant interest, is to ask this question for unary FA-presentations: that is, FA-presentations over a one-letter alphabet. This paper studies unary FA-presentable binary relations.
It is proven that transitive closure of a unary FA-presentable binary relation is itself unary FA-presentable. Characterizations are then given of unary FA-presentable binary relations, quasi-orders, partial orders, tournaments, directed trees and forests, undirected trees and forests, and the orbit structures of unary FA-presentable partial and complete mappings, injections, surjections, and bijections.
A note on closed-form representation of Fibonacci numbers using Fibonacci trees
Published
• View Publication
• BIB
In this paper, we give a new representation of the Fibonacci numbers. This is achieved using Fibonacci trees. With the help of this representation, the nth Fibonacci number can be calculated without having any knowledge about the previous Fibonacci numbers.
Threshold-Coloring and Unit-Cube Contact Representation of Graphs
Published
• View Publication
• BIB
In this paper we study threshold coloring of graphs, where the vertex colors represented by integers are used to describe any spanning subgraph of the given graph as follows. Pairs of vertices with near colors imply the edge between them is present and pairs of vertices with far colors imply the edge is absent. Not all planar graphs are threshold-colorable, but several subclasses, such as trees, some planar grids, and planar graphs without short cycles can always be threshold-colored. Using these results we obtain unit-cube contact representation of several subclasses of planar graphs. Variants of the threshold coloring problem are related to well-known graph coloring and other graph-theoretic problems. Using these relations we show the NP-completeness for two of these variants, and describe a polynomial-time algorithm for another.
Characterization of Minimum Cycle Basis in Weighted Partial 2-trees
Published
• View Publication
• BIB
For a weighted outerplanar graph, the set of lex short cycles is known to be a minimum cycle basis [Inf. Process. Lett. 110 (2010) 970-974 ]. In this work, we show that the set of lex short cycles is a minimum cycle basis in weighted partial 2-trees (graphs of treewidth two) which is a superclass of outerplanar graphs.
On the relation between connectivity, independence and generalized caterpillars
A spanning generalized caterpillar is a spanning tree in which all vertices of degree more than two are on a path. In this note, we find a relation between the existence of spanning generalized caterpillar and the independence and connectivity number in a graph. We also point out to an error in a "theorem" in the paper "Spanning spiders and light-splitting switches", by L. Gargano et al. in Discrete Math. (2004), and find out a relation between another mentioned theorem and the existence of spanning generalized caterpillar.
Heat kernels on regular graphs and generalized Ihara zeta function formulas
Published
• View Publication
• BIB
We establish a new formula for the heat kernel on regular trees in terms of classical I-Bessel functions. Although the formula is explicit, and a proof is given through direct computation, we also provide a conceptual viewpoint using the horocyclic transform on regular trees. From periodization, we then obtain a heat kernel expression on any regular graph. From spectral theory, one has another expression for the heat kernel as an integral transform of the spectral measure. By equating these two formulas and taking a certain integral transform, we obtain several generalized versions of the determinant formula for the Ihara zeta function associated to finite or infinite regular graphs. Our approach to the Ihara zeta function and determinant formula through heat kernel analysis follows a similar methodology which exists for quotients of rank one symmetric spaces.
Labeled Packing of Non Star Tree into its Fifth Power and Sixth Power
In this paper we prove that we can find a labeled packing of a non star tree $T$ into $T^6$ with $m_T+\lceil\frac{n-m_T}{5}\rceil$ labels, where $n$ is the number of vertices of $T$ and $m_T$ is the maximum number of leaves that can be removed from $T$ in such a way that the obtained graph is a non star tree. Also, we prove that we can find a labeled packing of a non star tree $T$ into $T^5$ with $m_T+1$ labels and a labeled packing of a path $P_n$, $n\geq 4$, into $P_n^4$ with $\lceil \frac{n}{4}\rceil$ labels.
Transfinite game values in infinite chess
We investigate the transfinite game values arising in infinite chess, providing both upper and lower bounds on the supremum of these values---the omega one of chess---with two senses depending on whether one considers only finite positions or also positions with infinitely many pieces. For lower bounds, we present specific infinite positions with transfinite game values of omega, omega^2, omega^2 times k, and omega^3. By embedding trees into chess, we show that there is a computable infinite chess position that is a win for white if the players are required to play according to a deterministic computable strategy, but which is a draw without that restriction. Finally, we prove that every countable ordinal arises as the game value of a position in infinite three-dimensional chess, and consequently the omega one of infinite three-dimensional chess is as large as it can be, namely, true omega one.
Every totally real algebraic integer is a tree eigenvalue
Published
• View Publication
• BIB
Graph eigenvalues are examples of totally real algebraic integers, i.e. roots of real-rooted monic polynomials with integer coefficients. Conversely, the fact that every totally real algebraic integer occurs as an eigenvalue of some finite graph is a deep result, conjectured forty years ago by Hoffman, and proved seventeen years later by Estes. This short paper provides an independent and elementary proof of a stronger statement, namely that the graph may actually be chosen to be a tree. As a by-product, our result implies that the atoms of the limiting spectrum of $n\times n$ symmetric matrices with independent Bernoulli$\,\left(\frac{c}{n}\right)$ entries ($c>0$ is fixed as $n\to\infty$) are exactly the totally real algebraic integers. This settles an open problem raised by Ben Arous (2010).
The structure of graphs not admitting a fixed immersion
Published
• View Publication
• BIB
We present an easy structure theorem for graphs which do not admit an immersion of the complete graph. The theorem motivates the definition of a variation of tree decompositions based on edge cuts instead of vertex cuts which we call tree-cut decompositions. We give a definition for the width of tree-cut decompositions, and using this definition along with the structure theorem for excluded clique immersions, we prove that every graph either has bounded tree-cut width or admits an immersion of a large wall.
Hitting Times, Cover Cost, and the Wiener Index of a Tree
Published
• View Publication
• BIB
We exhibit a close connection between hitting times of the simple random walk on a graph, the Wiener index, and related graph invariants. In the case of trees we obtain a simple identity relating hitting times to the Wiener index.
It is well known that the vertices of any graph can be put in a linear preorder so that vertices appearing earlier in the preorder are "easier to reach" by a random walk, but "more difficult to get out of". We define various other natural preorders and study their relationships. These preorders coincide when the graph is a tree, but not necessarily otherwise.
Our treatise is self-contained, and puts some known results relating the behaviour or random walk on a graph to its eigenvalues in a new perspective.
Acquaintance Time of a Graph
Published
• View Publication
• BIB
We define the following parameter of connected graphs. For a given graph $G$ we place one agent in each vertex of $G$. Every pair of agents sharing a common edge is declared to be acquainted. In each round we choose some matching of $G$ (not necessarily a maximal matching), and for each edge in the matching the agents on this edge swap places. After the swap, again, every pair of agents sharing a common edge become acquainted, and the process continues. We define the \emph{acquaintance time} of a graph $G$, denoted by $AC(G)$, to be the minimal number of rounds required until every two agents are acquainted.
We first study the acquaintance time for some natural families of graphs including the path, expanders, the binary tree, and the complete bipartite graph. We also show that for all positive integers $n$ and $k \leq n^{1.5}$ there exists an $n$-vertex graph $G$ such that $AC(G) =Θ(k)$. We also prove that for all $n$-vertex connected graphs $G$ we have $AC(G) = O\left(\frac{n^2}{\log(n)/\log\log(n)}\right)$, improving the $O(n^2)$ trivial upper bound achieved by sequentially letting each agent perform depth-first search along a spanning tree of $G$.
Studying the computational complexity of this problem, we prove that for any constant $t \geq 1$ the problem of deciding that a given graph $G$ has $AC(G) \leq t$ or $AC(G) \geq 2t$ is $\mathcal{NP}$-complete. That is, $AC(G)$ is $\mathcal{NP}$-hard to approximate within multiplicative factor of 2, as well as within any additive constant factor.
On the algorithmic side, we give a deterministic algorithm that given a graph $G$ with $AC(G)=1$ finds a ${\lceil n/c\rceil}$-rounds strategy for acquaintance in time $n^{c+O(1)}$. We also design a randomized polynomial time algorithm that given a graph $G$ with $AC(G)=1$ finds with high probability an $O(\log(n))$-rounds strategy for acquaintance.
On Computing the Maximum Parsimony Score of a Phylogenetic Network
Published
• View Publication
• BIB
Phylogenetic networks are used to display the relationship of different species whose evolution is not treelike, which is the case, for instance, in the presence of hybridization events or horizontal gene transfers. Tree inference methods such as Maximum Parsimony need to be modified in order to be applicable to networks. In this paper, we discuss two different definitions of Maximum Parsimony on networks, "hardwired" and "softwired", and examine the complexity of computing them given a network topology and a character. By exploiting a link with the problem Multicut, we show that computing the hardwired parsimony score for 2-state characters is polynomial-time solvable, while for characters with more states this problem becomes NP-hard but is still approximable and fixed parameter tractable in the parsimony score. On the other hand we show that, for the softwired definition, obtaining even weak approximation guarantees is already difficult for binary characters and restricted network topologies, and fixed-parameter tractable algorithms in the parsimony score are unlikely. On the positive side we show that computing the softwired parsimony score is fixed-parameter tractable in the level of the network, a natural parameter describing how tangled reticulate activity is in the network. Finally, we show that both the hardwired and softwired parsimony score can be computed efficiently using Integer Linear Programming. The software has been made freely available.
Trees and spatial topology change in CDT
Published in J. Phys. A: Math. Theor. 46 (2013) 315201
• View Publication
• BIB
Generalized causal dynamical triangulations (generalized CDT) is a model of two-dimensional quantum gravity in which a limited number of spatial topology changes is allowed to occur. We solve the model at the discretized level using bijections between quadrangulations and trees. In the continuum limit (scaling limit) the amplitudes are shown to agree with known formulas and explicit expressions are obtained for loop propagators and two-point functions. It is shown that from a combinatorial point of view generalized CDT can be viewed as the scaling limit of planar maps with a finite number of faces and we determine the distance function on this ensemble of planar maps. Finally, the relation with planar maps is used to illuminate a mysterious identity of certain continuum cylinder amplitudes.
Fiedler Vectors and Elongation of Graphs: A Threshold Phenomenon on a Particular Class of Trees
Let $G$ be a graph. Its laplacian matrix $L(G)$ is positive and we consider eigenvectors of its first non-null eigenvalue that are called Fiedler vector. They have been intensively used in spectral partitioning problems due to their good empirical properties. More recently Fiedler vectors have been also popularized in the computer graphics community to describe elongation of shapes. In more technical terms, authors have conjectured that extrema of Fiedler vectors can yield the diameter of a graph. In this work we present (FED) property for a graph $G$, i.e. the fact that diameter of a graph can be obtain by Fiedler vectors. We study in detail a parametric family of trees that gives indeed a counter example for the previous conjecture but reveals a threshold phenomenon for (FED) property. We end by an exhaustive enumeration of trees with at most 20 vertices for which (FED) is true and some perspectives.
Homometric sets in trees
Published
• View Publication
• BIB
Let $G = (V,E)$ denote a simple graph with the vertex set $V$ and the edge set $E$. The profile of a vertex set $V'\subseteq V$ denotes the multiset of pairwise distances between the vertices of $V'$. Two disjoint subsets of $V$ are \emph{homometric}, if their profiles are the same. If $G$ is a tree on $n$ vertices we prove that its vertex sets contains a pair of disjoint homometric subsets of size at least $\sqrt{n/2} - 1$. Previously it was known that such a pair of size at least roughly $n^{1/3}$ exists. We get a better result in case of haircomb trees, in which we are able to find a pair of disjoint homometric sets of size at least $cn^{2/3}$ for a constant $c > 0$.