tree
6737 papers tagged with this keyword
Complete combinatorial characterization of greedy-drawable trees
A (Euclidean) greedy drawing of a graph is a drawing in which, for any two vertices $s,t$ ($s \neq t$), there is a neighbor vertex of $s$ that is closer to $t$ than to $s$ in the Euclidean distance. Greedy drawings are important in the context of message routing in networks, and graph classes that admit greedy drawings have been actively studied. Nöllenburg and Prutkin (Discrete Comput. Geom., 58(3), pp.543-579, 2017) gave a characterization of greedy-drawable trees in terms of an inequality system that contains a non-linear equation. Using the characterization, they gave a linear-time recognition algorithm for greedy-drawable trees of maximum degree $\leq 4$. However, a combinatorial characterization of greedy-drawable trees of maximum degree 5 was left open. In this paper, we give a combinatorial characterization of greedy-drawable trees of maximum degree $5$, which leads to a complete combinatorial characterization of greedy-drawable trees. Furthermore, we give a characterization of greedy-drawable pseudo-trees.
Blowup polynomials and delta-matroids of graphs
Published in Seminaire Lotharingien de Combinatoire 86B (2022), Article #42
• Search Publication
For every finite simple connected graph $G = (V,E)$, we introduce an invariant, its blowup-polynomial $p_G(\{ n_v : v \in V \})$. This is obtained by dividing the determinant of the distance matrix of its blowup graph $G[{\bf n}]$ (containing $n_v$ copies of $v$) by an exponential factor. We show that $p_G({\bf n})$ is indeed a polynomial function in the sizes $n_v$, which is moreover multi-affine and real-stable. This associates a hitherto unexplored delta-matroid to each graph $G$; and we provide a second unexplored one for each tree. As another consequence, we obtain a new characterization of complete multipartite graphs, via the homogenization at $-1$ of $p_G$ being completely/strongly log-concave, i.e., Lorentzian. (These results extend to weighted graphs.) Finally, we show $p_G$ is indeed a graph invariant, i.e., $p_G$ and its symmetries (in the variables ${\bf n}$) recover $G$ and its isometries, respectively.
The number of occurrences of patterns in a random tree or forest permutation
Published
• View Publication
• BIB
The classes of tree permutations and forest permutations were defined by Acan and Hitczenko (2016). We study random permutations of a given length from these classes, and in particular the number of occurrences of a fixed pattern in one of these random permutations. The main results show that the distributions of these numbers are asymptotically normal.
The proof uses representations of random tree and forest permutations that enable us to express the number of occurrences of a pattern by a type of $U$-statistics; we then use general limit theorems for the latter.
Finding Biclique Partitions of Co-Chordal Graphs
Published
• View Publication
• BIB
The biclique partition number $(\text{bp})$ of a graph $G$ is referred to as the least number of complete bipartite (biclique) subgraphs that are required to cover the edges of the graph exactly once. In this paper, we show that the biclique partition number ($\text{bp}$) of a co-chordal (complementary graph of chordal) graph $G = (V, E)$ is less than the number of maximal cliques ($\text{mc}$) of its complementary graph: a chordal graph $G^c = (V, E^c)$. We first provide a general framework of the ``divide and conquer" heuristic of finding minimum biclique partitions of co-chordal graphs based on clique trees. Furthermore, a heuristic of complexity $O[|V|(|V|+|E^c|)]$ is proposed by applying lexicographic breadth-first search to find structures called moplexes. Either heuristic gives us a biclique partition of $G$ with size $\text{mc}(G^c)-1$. In addition, we prove that both of our heuristics can solve the minimum biclique partition problem on $G$ exactly if its complement $G^c$ is chordal and clique vertex irreducible. We also show that $\text{mc}(G^c) - 2 \leq \text{bp}(G) \leq \text{mc}(G^c) - 1$ if $G$ is a split graph.
Estimating the circumference of a graph in terms of its leaf number
Published
• View Publication
• BIB
Let $\mathcal{T}$ be the set of spanning trees of $G$ and let $L(T)$ be the number of leaves in a tree $T$. The leaf number $L(G)$ of $G$ is defined as $L(G)=\max\{L(T)|T\in \mathcal{T}\}$. Let $G$ be a connected graph of order $n$ and minimum degree $δ$ such that $L(G)\leq 2δ-1$. We show that the circumference of $G$ is at least $n-1$, and that if $G$ is regular then $G$ is hamiltonian.
Quaternionic $1-$factorizations and complete sets of rainbow spanning trees
Published
• View Publication
• BIB
A $1-$factorization of a complete graph on $2n$ vertices is said to be $G-$regular if it posseses an automorphism group $G$ acting sharply transitively on the vertex-set. The problem of determining which groups can realize such a situation dates back to a result by Hartman and Rosa (1985) on cyclic groups and, when $n$ is even, the problem is still open. An attempt to obtain a fairly precise description of groups and $1-$factorizations satisfying this symmetry constrain can be done by imposing further conditions. It was recently proved, see Rinaldi (2021) and Mazzuoccolo et al. (2019), that a $G-$regular $1-$factorization together with a complete set of rainbow spanning trees exists whenever $n$ is odd, while the existence for each $n$ even was proved when either $G$ is cyclic and $n$ is not a power of $2$, or when $G$ is a dihedral group. In this paper we extend this result and prove the existence also for other classes of groups.
Remarks on proper conflict-free colorings of graphs
Published
• View Publication
• BIB
A vertex coloring of a graph is said to be \textit{conflict-free} with respect to neighborhoods if for every non-isolated vertex there is a color appearing exactly once in its (open) neighborhood. As defined in [Fabrici et al., \textit{Proper Conflict-free and Unique-maximum Colorings of Planar Graphs with Respect to Neighborhoods}, arXiv preprint], the minimum number of colors in any such proper coloring of graph $G$ is the PCF chromatic number of $G$, denoted $χ_{\mathrm{pcf}}(G)$. In this paper, we determine the value of this graph parameter for several basic graph classes including trees, cycles, hypercubes and subdivisions of complete graphs. We also give upper bounds on $χ_{\mathrm{pcf}}(G)$ in terms of other graph parameters. In particular, we show that $χ_{\mathrm{pcf}}(G) \leq5Δ(G)/2$ and characterize equality. Several sufficient conditions for PCF $k$-colorability of graphs are established for $4\le k\le 6$. The paper concludes with few open problems.
A Lattice-Theoretic Perspective on the Persistence Map
We provide a naturally isomorphic description of the persistence map from merge trees to barcodes in terms of a monotone map from the partition lattice to the subset lattice. Our description is local, which offers the potential to speed up inverse computations, and brings classical tools in combinatorics to bear on an active area of research in topological data analysis (TDA).
All Graphs with at most 8 nodes are 2-interval-PCGs
Published in Fundamenta Informaticae, Volume 193 (May 14, 2025) fi:12237
• View Publication
• BIB
A graph G is a multi-interval PCG if there exist an edge weighted tree T with non-negative real values and disjoint intervals of the non-negative real half-line such that each node of G is uniquely associated to a leaf of T and there is an edge between two nodes in G if and only if the weighted distance between their corresponding leaves in T lies within any such intervals. If the number of intervals is k, then we call the graph a k-interval-PCG; in symbols, G = k-interval-PCG (T, I1, . . . , Ik). It is known that 2-interval-PCGs do not contain all graphs and the smallest known graph outside this class has 135 nodes. Here we prove that all graphs with at most 8 nodes are 2-interval-PCGs, so doing one step towards the determination of the smallest value of n such that there exists an n node graph that is not a 2-interval-PCG.
Radio Number for the Cartesian Product of Two Trees
Published
• View Publication
• BIB
Let $G$ be a simple connected graph. For any two vertices $u$ and $v$, let $d(u,v)$ denote the distance between $u$ and $v$ in $G$, and let $diam(G)$ denote the diameter of $G$. A radio-labeling of $G$ is a function $f$ which assigns to each vertex a non-negative integer (label) such that for every distinct vertices $u$ and $v$ in $G$, it holds that $|f(u)-f(v)| \geq diam(G) - d(u,v) +1$. The span of $f$ is the difference between the largest and smallest labels of $f(V)$. The radio number of $G$, denoted by $rn(G)$, is the smallest span of a radio labeling admitted by $G$. In this paper, we give a lower bound for the radio number of the Cartesian product of two trees. Moreover, we present three necessary and sufficient conditions, and three sufficient conditions for the product of two trees to achieve this bound. Applying these results, we determine the radio number of the Cartesian product of two stars as well as a path and a star.
Assigned rational functions of a rooted tree
Published in Appl. Math. Comput. Sci. 7 (2023) 1-16
• Search Publication
We investigate the spectral properties of rooted trees with the intention of improving the currently existing results that deal with this matter. The concept of an assigned rational function is recursively defined for each vertex of a rooted tree. Afterwards, two mathematical formulas are given which show how the characteristic polynomials of the adjacency and Laplacian matrix can be represented as products of the aforementioned rational functions. In order to demonstrate their general use case scenario, the obtained formulas are subsequently implemented on balanced trees, with a special focus on the Bethe trees. In the end, some of the previously derived results are used in order to construct a tree merging procedure which preserves the spectra of all of the starting trees.
On the walk matrix of the Dynkin graph $D_n$
Published
• View Publication
• BIB
Let $W(D_n)$ denote the walk matrix of the Dynkin graph $D_n$, a tree obtained from the path of order $n-1$ by adding a pendant edge at the second vertex. We prove that $\text{rank}\,W(D_n)=n-2$ if $4\mid n$ and $\text{rank}\,W(D_n)=n-1$ otherwise. Furthermore, we prove that the Smith normal form of $W(D_n)$ is $$\text{diag}[\underbrace{1,1,\ldots,1}_{\lceil\frac{n}{2}\rceil},\underbrace{2,2,\ldots,2}_{\lfloor\frac{n}{2}\rfloor-1},0]$$ when $4\nmid n$. This confirms a recent conjecture in [W.Wang, F.Liu, W.Wang, Generalized spectral characterizations of almost controllable graphs, European J. Combin., 96(2021):103348].
The Normalized Laplacian Spectrum Analysis of Fractal Mobius Octagonal Networks and its Applications
The study and calculation of spectrum of networks can be used to describe networks structure and quantify analysis of networks performance. The fractal Möbius octagonal networks, denoted by $Q_n$, is derived from the inverse identification of the opposite lateral edges of fractal linear octagonal networks. In this paper, the normalized Laplacian spectrum of $Q_n$ is determined by two matrices $\mathcal {L}_A$ and $\mathcal {L}_S$. As an important application of our results, some topological indices (multiplicative degree-Kirchhoff index, the number of spanning trees) formulas of $Q_n$ are obtained.
Upper bound for the $(d-2)$-leaky forcing number of $Q_d$ and $\ell$-leaky forcing number of $GP(n,1)$
Leaky-forcing is a recently introduced variant of zero-forcing that has been studied for families of graphs including paths, cycles, wheels, grids, and trees. In this paper, we extend previous results on the leaky forcing number of the d-dimensional hypercube, $Q_d$, to show that the $(d-2)$-leaky forcing number of $Q_d$ is at most $2^{d-1}$. We also examine a question about the relationship between the size of a minimum $\ell$-leaky-forcing set and a minimum zero-forcing set for a graph $G$.
Characterizing Spectral Properties of Bridge
The Bridge graph is a special type of graph which are constructed by connecting identical connected graphs with path graphs. We discuss different types of bridge graphs $B_{n\times l}^{m\times k}$ in this paper. In particular, we discuss the following: complete-type bridge graphs, star-type bridge graphs, and full binary tree bridge graphs. We also bound the second eigenvalues of the graph Laplacian of these graphs using methods from Spectral Graph Theory. In general, we prove that for general bridge graphs, $B_{n\times l}^2$, the second eigenvalue of the graph Laplacian should be between $0$ and $2$, inclusive. In the end, we talk about future work on infinite bridge graphs. We created definitions and found the related theorems to support our future work about infinite bridge graphs.
Exact Matching in Graphs of Bounded Independence Number
In the Exact Matching Problem (EM), we are given a graph equipped with a fixed coloring of its edges with two colors (red and blue), as well as a positive integer $k$. The task is then to decide whether the given graph contains a perfect matching exactly $k$ of whose edges have color red. EM generalizes several important algorithmic problems such as perfect matching and restricted minimum weight spanning tree problems. When introducing the problem in 1982, Papadimitriou and Yannakakis conjectured EM to be $\textbf{NP}$-complete. Later however, Mulmuley et al.~presented a randomized polynomial time algorithm for EM, which puts EM in $\textbf{RP}$. Given that to decide whether or not $\textbf{RP}=\textbf{P}$ represents a big open challenge in complexity theory, this makes it unlikely for EM to be $\textbf{NP}$-complete, and in fact indicates the possibility of a deterministic polynomial time algorithm. EM remains one of the few natural combinatorial problems in $\textbf{RP}$ which are not known to be contained in $\textbf{P}$, making it an interesting instance for testing the hypothesis $\textbf{RP}=\textbf{P}$. Despite EM being quite well-known, attempts to devise deterministic polynomial algorithms have remained illusive during the last 40 years and progress has been lacking even for very restrictive classes of input graphs. In this paper we finally push the frontier of positive results forward by proving that EM can be solved in deterministic polynomial time for input graphs of bounded independence number, and for bipartite input graphs of bounded bipartite independence number. This generalizes previous positive results for complete (bipartite) graphs which were the only known results for EM on dense graphs.
Marked graphs and the chromatic symmetric function
Published
• View Publication
• BIB
The main result of this paper is the introduction of marked graphs and the marked graph polynomials ($M$-polynomial) associated with them. These polynomials can be defined via a deletion-contraction operation. These polynomials are a generalization of the $W$-polynomial introduced by Noble and Welsh and a specialization of the $\mathbf{V}$-polynomial introduced by Ellis-Monaghan and Moffatt. In addition, we describe an important specialization of the $M$-polynomial which we call the $D$-polynomial. Furthermore, we give an efficient algorithm for computing the chromatic symmetric function of a graph in the \emph{star-basis} of symmetric functions. As an application of these tools, we prove that proper trees of diameter at most 5 can be reconstructed from its chromatic symmetric function.
On the bijective colouring of Cantor trees based on transducers
Published
• View Publication
• BIB
Given a vertex colouring of the infinite $n$-ary Cantor tree with $m$ colours ($n,m\geq 2$), the natural problem arises: may this colouring induce a bijective colouring of the infinite paths starting at the root, i.e., that every infinite $m$-coloured string is used for some of these paths but different paths are not coloured identically? In other words, we ask if the above vertex colouring may define a bijective short map between the corresponding Cantor spaces. We show that the answer is positive if and only if $n\geq m$, and provide an effective construction of the bijective colouring in terms of Mealy automata and functions defined by such automata. We also show that a finite Mealy automaton may define such a bijective colouring only in the trivial case, i.e. $m=n$.
Bipyramid Volume, Mahler Measure and Some $\mathbb{Z}^2$-periodic Links
Champanerkar, Kofman and Lalín conjectured an inequality between bipyramid volume of links and Mahler measure of associated dimer models induced from alternating links on torus. Hyperbolic volume and Mahler measure can be related for isoradial graphs, which allows us to confirm the conjecture for two examples. By exploiting a connection between perfect matchings of dimer models and spanning trees on lattices, five more examples are calculated.
The Inter-magic Spectra of Trees
Published
• View Publication
• BIB
For any positive integer $h$, a graph $G=(V,E)$ is said to be $h$-magic if there exists a labeling $l:E(G)\to \mathbb{Z}_h -\{0\} $ such that the induced vertex set labeling $\ l^+ : V(G) \to \mathbb{Z}_h \ $ defined by $$ l^+ (v)=\sum_{uv \in E(G)} \ l(uv) $$ is a constant map. The integer-magic spectrum of a graph $G$, denoted by $IM(G)$, is the set of all $h \in \mathbb{N} $ for which $G$ is $h$-magic. So far, only the integer-magic spectra of trees of diameter at most five have been determined. In this paper, we determine the integer-magic spectra of trees of diameter six and higher.