tree
6737 papers tagged with this keyword
Induced Minors and Coarse Tree Decompositions
Let $G$ be a graph, $S \subseteq V(G)$ be a vertex set in $G$ and $r$ be a positive integer. The distance $r$-independence number of $S$ is the size of the largest subset $I \subseteq S$ such that no pair $u$, $v$ of vertices in $I$ have a path on at most $r$ edges between them in $G$. It has been conjectured [Chudnovsky et al., arXiv, 2025] that for every positive integer $t$ there exist positive integers $c$, $d$ such that every graph $G$ that excludes both the complete bipartite graph $K_{t,t}$ and the grid $\boxplus_t$ as an induced minor has a tree decomposition in which every bag has (distance $1$) independence number at most $c(\log n)^d$. We prove a weaker version of this conjecture where every bag of the tree decomposition has distance $16(\log n + 1)$-independence number at most $c(\log n)^d$. On the way we also prove a version of the conjecture where every bag of the decomposition has distance $8$-independence number at most $2^{c (\log n)^{1-(1/d)}}$.
Topological indices on self-similar graphs generated by groups
In this paper, we determine precise formulas for the diameters, the number of perfect matchings, and the Tutte polynomials for an infinite family of finite graphs, namely the Schreier graphs of tree automaton groups, also called tree graph automata. This enables us to easily find the number of spanning trees, spanning forests, and an explicit form for the chromatic polynomials. In the second part of the paper, we provide the precise values for the Wiener and Szeged index of any tree graph automaton.
Rainbow connectivity Maker-Breaker game
We study biased Maker-Breaker games on a graph system $\{G_1,\ldots,G_s\}$, in which Maker's goal is to claim certain rainbow structures, i.e., specified subgraphs consisting of at most one edge from each graph $G_i$. We consider the rainbow-connectivity game, in which Maker wants to claim a rainbow path between every pair of vertices.
We analyse this game in detail, essentially determining the threshold bias when played on the system of complete graphs, and observing that whether the random graph intuition holds depends on the size of $s$. The key ingredient of our result is the analysis of a Maker's strategy that combines several randomized strategies with an appropriately designed balancing game. As a byproduct, we find the order of the threshold bias for the Maker-Breaker diameter game, and disprove a conjecture by Balogh, Martin and Pluhár.
Another natural and general way to analyse Maker-Breaker games that are played on a colored board is to require Maker to occupy a rainbow winning set of a given positional game. In the case of the connectivity game, Maker's goal is to claim a rainbow spanning tree. For this game played on the system of complete graphs, we establish matching upper and lower bounds on the threshold bias, up to constant factors.
Patrolling cop vs omniscient robber
We study a variant of the classical Cops and Robbers game with one cop and one robber, in which the cop follows a fixed walk on the graph, a patrol, that is chosen before the game begins, while the robber is omniscient, he knows the entire patrol in advance. A capture occurs when the robber comes within a given radius of capture of the cop. This model arises naturally at the intersection of recent work on limited-visibility games and offline versions of pursuit-evasion problems.
By $\tildeρ{(G)}$ we denote the minimum radius of capture that the cop must have to always capture the robber on $G$ in this setting, under optimal play, where $G$ is a connected graph. We initiate a systematic study of this parameter for several graph classes. We determine the exact value of $\tildeρ{(G)}$ for trees, establish upper and lower bounds for grids, and analyze the parameter for various families of chordal graphs, including interval graphs and caterpillars. Along the way, we develop general tools and structural results that may be of independent interest for the study of pursuit-evasion games with predetermined patrols and limited information.
Asymptotic normality for general subtree counts in conditioned Galton--Watson trees
Let $\mathcal{T}$ denote a Galton--Watson tree with offspring distribution $ξ$ satisfying $\mathbb{E}(ξ) = 1$, and let $\mathcal{T}_n$ be the Galton--Watson tree conditioned to have exactly $n$ nodes. We show that, under a mild moment condition on $ξ$, the number of occurrences of a fixed rooted plane tree $\mathbf{t}$ as a general subtree in $\mathcal{T}_n$ is asymptotically normal as $n \to \infty$, with both mean and variance linear in $n$. In addition, we prove that this limiting distribution is nondegenerate except for some special cases where the variance remains bounded. These results confirm a conjecture of Janson in recent work on the same topic. Finally, we present examples showing that if the proposed moment condition on $ξ$ is violated, the conclusion may fail.
A Class of Unrooted Phylogenetic Networks Inspired by the Properties of Rooted Tree-Child Networks
A directed phylogenetic network is tree-child if every non-leaf vertex has a child that is not a reticulation. As a class of directed phylogenetic networks, tree-child networks are very useful from a computational perspective. For example, several computationally difficult problems in phylogenetics become tractable when restricted to tree-child networks. At the same time, the class itself is rich enough to contain quite complex networks. Furthermore, checking whether a directed network is tree-child can be done in polynomial time. In this paper, we seek a class of undirected phylogenetic networks that is rich and computationally useful in a similar way to the class tree-child directed networks. A natural class to consider for this role is the class of tree-child-orientable networks which contains all those undirected phylogenetic networks whose edges can be oriented to create a tree-child network. However, we show here that recognizing such networks is NP-hard, even for binary networks, and as such this class is inappropriate for this role. Towards finding a class of undirected networks that fills a similar role to directed tree-child networks, we propose new classes called $q$-cuttable networks, for any integer $q\geq 1$. We show that these classes have many of the desirable properties, similar to tree-child networks in the rooted case, including being recognizable in polynomial time, for all $q\geq 1$. Towards showing the computational usefulness of the class, we show that the NP-hard problem Tree Containment is polynomial-time solvable when restricted to $q$-cuttable networks with $q\geq 3$.
Counting $P_3$-convex sets in graphs
We study the $P_3$-convexity, the path convexity generated by all three-vertex paths, and focus on the problem of counting the $P_3$-convex vertex sets of a graph $G$, denoted by $\noc(G)$. First, we settle the associated extremal question: we characterize the $n$-vertex graphs maximizing $\noc(G)$ among all graphs and determine the connected extremal graphs. Next, we investigate computational complexity and show that counting $P_3$-convex sets is $\#\mathsf{P}$-complete already on split graphs, even under additional structural restrictions. On the positive side, we identify two tractable subclasses, namely trees and threshold graphs, and obtain linear-time algorithms for both. Finally, we design nontrivial exact exponential-time algorithms for general graphs, combining structural decomposition, propagation rules capturing forced consequences of $P_3$-convexity, and fast counting of independent sets in auxiliary graphs. The resulting strategy becomes particularly effective on graph classes where large independent sets are guaranteed and can be found efficiently.
Hat guessing with proper colorings
We initiate the study of the hat guessing number of a graph where the adversary is only allowed to provide a proper coloring of the graph. This is the largest number $q$ for which there is a guessing strategy on each vertex that only depends on its neighborhood, such that for every proper coloring of the graph with $q$ colors at least one vertex guesses its color correctly. In this variation, we prove that the hat guessing number of the complete graphs on $n$ vertices is $2n - 1$, which is roughly twice the classical hat guessing number of the complete graph. Our winning strategy is related to finding perfect matchings between the middle layers of the boolean poset of dimension $2n - 1$. We prove that the hat guessing number of all trees on $n \geq 3$ vertices is equal to $4$. We derive some general upper and lower bounds for all graphs and give improved estimates for book graphs. Using our results and an ILP formulation of the problem, we determine the exact hat guessing number for all graphs on at most $4$ vertices, give bounds on graphs on $5$ vertices, and propose general conjectures.
Gauge-string duality, monomial bases and graph determinants
Questions at the intersection of the AdS/CFT correspondence and quantum information theory motivate the study of projectors in sequences of subalgebras of finite-dimensional commutative associative semisimple algebras $\mathcal{A}$, obtained by incrementally adjoining one generator at each step to produce a non-linear generating set for $\mathcal{A}$. We define degeneracy graphs, which are finite layered tree graphs whose nodes represent projectors in the successive subalgebras. Using combinatorial properties of the degeneracy graph, we give a simple formula for constructing a linear basis of $\mathcal{A}$ in terms of monomials in the generators. The nodes can be labelled by formal variables corresponding to the eigenvalues of the generators added at each layer. We prove that the construction is compatible with the required counting of projectors in $\mathcal{A}$, and give explicit constructions of the projectors in terms of the monomials, in the cases of one- and two-layer degeneracy graphs with arbitrary numbers of nodes. More generally, we provide extensive computational evidence for the invertibility of the matrix relating the proposed monomial basis to the projector basis, by evaluating its determinant. In the 1-layer case, this is a Vandermonde determinant. A simple formula for the non-vanishing determinant in the general layer case is conjectured and supported by the computational data. The construction is illustrated with examples including centres of symmetric group algebras and maximally commuting subalgebras generated by JucysMurphy elements. We outline applications of the monomial basis to algorithms for constructing matrix units in non-commutative semisimple algebras, with relevance to orthogonal bases of multi-matrix gauge-invariant operators and to quantum information theory.
Graph labellings and external difference families
Digraph-defined external difference families were recently introduced as a natural generalization of several well-studied combinatorial objects motivated by cryptography (e.g. external difference families (EDFs) and circular external difference families (CEDFs)). In this paper, we develop a systematic framework for using various types of vertex-labellings for graphs and digraphs to create digraph-defined external difference families. The approach is to combine suitable vertex-labellings (generalizations of $α$-valuations, namely near $α$-valuations and oriented near $α$-valuations) with a graph blow-up technique. Many new families are produced, including the first explicit construction for an infinite family of $2$-CEDFs, achieving all parameter sets for $(n,m,l;1)$-$2$-CEDFs with $m \equiv 0 \mod 4$ sets. Further, new results arise for graph labellings themselves (e.g. cyclotomy-based near $α$-valuations for a family of trees without $α$-valuations, and an $α$-valuation for sun graphs).
Color $2$-switches and neighborhood $λ$-balanced graphs with $k$ colors
This paper examines vertex colorings of graphs with constraints on the distribution of colors in vertex neighborhoods. We introduce color 2-switches and color degree matrices. The color degree matrix of a $k$-colored graph is an analog of the degree sequence, while a color 2-switch provides a way to transform a $k$-colored graph to another such graph while maintaining the color of each vertex and the multiset of colors in each vertex neighborhood. We prove that two $k$-colored graphs have the same color degree matrix if and only if one can be obtained from the other by a sequence of color 2-switches.
In related work, we generalize neighborhood balanced colorings by allowing for $k$ colors (instead of two) and more flexibility on the number of vertices of each color in a neighborhood. We introduce three classes of $k$-colored, $λ$-balanced graphs, in which any two color classes in a vertex neighborhood differ in size by at most $λ$. These classes are distinguished by whether the balancing condition is imposed on the open neighborhood $N(v)$, the closed neighborhood $N[v]$, or allowed to vary by vertex. For each class, the minimum $λ$ for which a graph admits a balanced coloring defines its $λ$-balance number. We prove general results about these classes and their $λ$-balance numbers. For $k = 2$, we introduce a fourth class, parity balanced graphs, in which the number of vertices of each color are equal in open neighborhoods for even-degree vertices and in closed neighborhoods for odd-degree vertices.
Additionally, we focus on the important case where $k=2$ and $λ\le 1$ and introduce the technique of red-blue removals. We provide separating examples between these four classes and prove balance number results for paths, cycles, wheels, trees, caterpillars, and complete multipartite graphs, and a counting result for caterpillars.
Measures on Cameron's treelike classes and applications to tensor categories
Measures on Fraïssé classes are a key input in the Harman--Snowden (2022) construction of tensor categories. Treelike Fraïssé classes provide a particularly tractable source of examples. In this paper, we complete the classification of measures on Cameron's elementary treelike classes. In particular, for the class $\partial \mathfrak{T}_3(n)$ of node-colored rooted binary tree structures with $n$ colors, we classify measures by an explicit bijection with directed rooted trees edge-labeled by $\{1, \dots, n\}$ with a distinguished vertex, yielding $(2n+2)^n$ distinct $\mathbb{Z}\left[\frac{1}{2}\right]$-valued measures. For each $n \geq 1$, we use a family of measures $μ_n^I$ and their supports $\partial \mathfrak{T}_3(n)^{\mathrm{ord}}_I$ (where $I \subseteq \{1, \dots, n\}$) to construct the Karoubi envelopes $\mathbf{Rep}(\partial \mathfrak{T}_3(n)^{\mathrm{ord}}_I;μ^I_n)$, producing infinite families of semisimple tensor categories with superexponential growth that cannot be obtained via Deligne's interpolation of representation categories. We also prove the nonexistence of measures on the $n$-colored tree class $C_n\mathfrak{T}$ for $n \geq 2$ and the labeled tree class $L \mathfrak{T}$, extending Snowden's results for uncolored trees.
Signed graphs with exactly two main eigenvalues: The unicyclic case
An eigenvalue $λ$ of a signed graph $S$ of order $n$ is called a main eigenvalue if its eigenspace is not orthogonal to the all-ones vector $j$. Characterizing signed graphs with exactly $k$ $(1\le k\le n)$ distinct main eigenvalues is a problem in algebraic and graph theory that has been studied since 2020. Du et al. (2024, 2026) characterized a class of signed graphs with exactly two main eigenvalues by analyzing a type of multigraph whose base graph is a tree. In this paper, we extend this study to the case where the associated multigraph has a unicyclic base graph, and we conclude by proposing several open problems.
The Gaussian Wave for Graphs of Finite Cone Type
We show that for any infinite tree of finite cone type satisfying a mild expansion condition, the only typical process on its vertices with covariance induced by the Green's function is the Gaussian wave. This generalizes a result of Backhausz and Szegedy, who proved this for the infinite regular tree of degree $d\geq 3$. We do this by giving a reduction to a statement concerning the distribution of the inner product of our process with columns of the Green's function, which in turn are straightforward to calculate.
As a consequence, for random bipartite biregular graphs, the distribution of local neighborhoods of eigenvectors must approximate the Gaussian wave. Moreover, for generic configuration models including random lifts, the local distribution of a uniformly chosen eigenvector from any arbitrarily small spectral window likewise converges to the Gaussian wave.
Combinatorial Characterizations of Virtually Torsion-Free and Virtually Free Groups
We establish combinatorial characterizations of virtually torsion-free and virtually free groups using the canonical graph decomposition theory in \cite{DJKK22}. Our main results show that a finitely presented, residually finite group $Γ$ is virtually torsion-free if and only if there exists a locality parameter $r>0$ such that its $r$-local cover admits a canonical tree-decomposition with finite quotient and finite adhesion, every finite subgroup of $Γ$ fixes a vertex of this decomposition, and the finite subgroups in each bag have uniformly bounded order. Moreover, a finitely generated group $Γ$ is virtually free if and only if for some $r>0$ its $r$-global decomposition has a finite model graph with finite bags and the tree-decomposition of the $r$-local cover is $Γ$-equivariantly isomorphic to the Bass--Serre tree arising from a splitting of $Γ$ as a finite graph of finite groups.
Metric embeddings of cubes into dense subsets of cubes
Fix $k \in \mathbb{N}$ and $0 < δ< 1$. We study how large $N$ must be so that every $δ$-dense subset $\mathcal{D} \subset \{0,1\}^N$ (meaning $|\mathcal{D}| \geq δ2^N$) contains the image of a metric embedding $f: \{0,1\}^k \to \mathcal{D}$. We study three variants. For a $(1+\varepsilon)$-bi-Lipschitz map $f$ with fixed $\varepsilon > 0$, we show $N = O(\varepsilon^{-2} \log(1/δ) k^3)$. For an isometric map with arbitrary rescaling (undistorted), we show $N = \log(1/δ) e^{Ω(k)}$ and conjecture $N = \log(1/δ) e^{O(k)}$. For an isometric map with bounded rescaling we show $N = \exp[\log(1/δ) e^{Θ(k)}]$.
As a geometric application, we obtain a nonpositive Alexandrov curvature counterpart to the work of Bartal-Linial-Mendel-Naor on the nonlinear Dvoretzky problem. It is known that any subset of $\{0,1\}^N$ embedding with bi-Lipschitz distortion $< α$ into a metric space of nonnegative Alexandrov curvature must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-2}))}$. Work of Gromov and Kondo shows that this approach does not extend to CAT(0) targets. We prove that for every $N \gtrsim α^6 \geq 1$, any $\mathcal{D} \subset \{0,1\}^N$ embedding with distortion $< α$ into a CAT(0) space must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-4}))}$, via a completely different approach. Similar results hold for targets of nontrivial Enflo type.
Finally, we prove the density analogue of a coloring theorem of Rodl-Sales: we give bounds for $(1+\varepsilon)$-bi-Lipschitz embeddings of the path $\{1,\ldots,k\}$ into dense subsets of $\{1,\ldots,N\}$ (improving a bound of Dumitrescu), and prove similar bounds for binary tree metrics.
Unimodality of independence polynomials of two family of trees
In 1987, Alavi, Malde, Schwenk and Erdős conjectured that the independence polynomials of trees are unimodal. Subsequently, many researchers proposed strengthening this conjecture to log-concavity. In 2023, Kadrawi, Levit, Yosef, and Mizrachi discovered independence polynomials of trees of order 26 that are not log-concave, which led them to construct two infinite families of such polynomials, denoted by $T_{3,m,n}$ and $T_{3,m,n}^*$. In this paper, we show that these two infinite families also satisfy the unimodal conjecture raised by Alavi, Malde, Schwenk, and Erdős.
Concentration of the largest induced tree size of $G_{n,p}$ around the standard expectation threshold
Let $T(G)$ be the size of the largest induced tree of $G$, and let $G_{n,p}$ be the binomial random graph. Kamaldinov, Skorkin, and Zhukovskii proved that $T(G_{n,p})$ equals one of two consecutive values with high probability if $p$ is constant, and more recently, Oropeza extended this result to include all vanishing $p$ such that $p > n^{-\frac{e-2}{3e-2} + ε}$, where $e$ is Euler's constant. We further extend this result to all vanishing $p$ such that $p \gg n^{-1/2} \ln^{3/2} n$, and furthermore, we show that, for $p$ such that $n^{-1} \ll p \ll n^{-1/2}, \ T(G_{n,p})$ cannot be concentrated at the standard expectation threshold.
A two-steps tensor eigenvector centrality for nodes and hyperedges in hypergraphs
Hypergraphs have been a powerful tool to represent higher-order interactions, where hyperedges can connect an arbitrary number of nodes. Quantifying the relative importance of nodes and hyperedges in hypergraphs is a fundamental problem in network analysis. In this paper, we propose a new tensor-based centrality measure for general hypergraphs. We use a third-order tensor to represent the relationship between nodes and hyperedges. The tensor's positive Perron vector is defined as the centrality vector of the hypergraph. The existence and uniqueness of this centrality vector are guaranteed by the Perron-Frobenius theorem for tensors. This new centrality measure captures a higher-order mutual reinforcement mechanism: a node's importance is determined by the importance of its incident hyperedges and the other nodes within these hyperedges; symmetrically, a hyperedge's importance is determined by the importance of its constituent nodes and the other hyperedges containing these nodes. We further provide a combinatorial interpretation by proving that the centrality vector represents the limit geometric capacity of two-steps expansion trees. We illustrate the centrality measure on real-world hypergraph datasets.
Block-weighted random graphs: planar and beyond
We investigate random connected graphs from a block-stable class whose distribution is weighted based on the number of $2$-connected components, or blocks. This includes the class of planar graphs. For this, we develop a notion of a decorated block tree. Following similar ideas to Fleurat and the second author on block-weighted planar maps, we find a phase transition in the singular behaviour of the appropriate generating function and in the typical structure of the block tree. Moreover, for certain block-stable classes (including planar graphs), we obtain precise enumeration results and determine also the typical sizes of the largest blocks in subcritical, critical, and supercritical regimes. It strengthens previously known results on block sizes in uniform random planar graphs.