Stochastic Embeddings of Graphs into Trees

Th. Schlumprecht,Garrett Tresch

2023-06-10

Abstract:It is known that every graph with n vertices embeds stochastically into trees with distortion $O(\log n)$. In this paper, we show that this upper bound is sharp for a large class of graphs. As this class of graphs contains diamond graphs, this result extends known examples that obtain this largest possible stochastic distortion.

Combinatorics,Metric Geometry

What problem does this paper attempt to address?

Embedding Planar Graphs into Graphs of Treewidth $O(\log^{3} n)$

Hsien-Chih Chang,Vincent Cohen-Addad,Jonathan Conroy,Hung Le,Marcin Pilipczuk,Michał Pilipczuk

2024-11-01

Abstract:Cohen-Addad, Le, Pilipczuk, and Pilipczuk [CLPP23] recently constructed a stochastic embedding with expected $1+\varepsilon$ distortion of $n$-vertex planar graphs (with polynomial aspect ratio) into graphs of treewidth $O(\varepsilon^{-1}\log^{13} n)$. Their embedding is the first to achieve polylogarithmic treewidth. However, there remains a large gap between the treewidth of their embedding and the treewidth lower bound of $\Omega(\log n)$ shown by Carroll and Goel [CG04]. In this work, we substantially narrow the gap by constructing a stochastic embedding with treewidth $O(\varepsilon^{-1}\log^{3} n)$. We obtain our embedding by improving various steps in the CLPP construction. First, we streamline their embedding construction by showing that one can construct a low-treewidth embedding for any graph from (i) a stochastic hierarchy of clusters and (ii) a stochastic balanced cut. We shave off some logarithmic factors in this step by using a single hierarchy of clusters. Next, we construct a stochastic hierarchy of clusters with optimal separating probability and hop bound based on shortcut partition [CCLMST23, CCLMST24]. Finally, we construct a stochastic balanced cut with an improved trade-off between the cut size and the number of cuts. This is done by a new analysis of the contraction sequence introduced by [CLPP23]; our analysis gives an optimal treewidth bound for graphs admitting a contraction sequence.

Data Structures and Algorithms
Random embeddings of bounded degree trees with optimal spread

Paul Bastide,Clément Legrand-Duchesne,Alp Müyesser

2024-09-11

Abstract:A seminal result of Komlós, Sárközy, and Szemerédi states that any n-vertex graph G with minimum degree at least (1/2 + {\alpha})n contains every n-vertex tree T of bounded degree. Recently, Pham, Sah, Sawhney, and Simkin extended this result to show that such graphs G in fact support an optimally spread distribution on copies of a given T, which implies, using the recent breakthroughs on the Kahn-Kalai conjecture, the robustness result that T is a subgraph of sparse random subgraphs of G as well. Pham, Sah, Sawhney, and Simkin construct their optimally spread distribution by following closely the original proof of the Komlós-Sárközy-Szemerédi theorem which uses the blow-up lemma and the Szemerédi regularity lemma. We give an alternative, regularity-free construction that instead uses the Komlós-Sárközy-Szemerédi theorem (which has a regularity-free proof due to Kathapurkar and Montgomery) as a black-box. Our proof is based on the simple and general insight that, if G has linear minimum degree, almost all constant sized subgraphs of G inherit the same minimum degree condition that G has.

Combinatorics
Sharp threshold for embedding balanced spanning trees in random geometric graphs

Alberto Espuny Díaz,Lyuben Lichev,Dieter Mitsche,Alexandra Wesolek

2023-03-25

Abstract:A rooted tree is balanced if the degree of a vertex depends only on its distance to the root. In this paper we determine the sharp threshold for the appearance of a large family of balanced spanning trees in the random geometric graph $\mathcal{G}(n,r,d)$. In particular, we find the sharp threshold for balanced binary trees. More generally, we show that all sequences of balanced trees with uniformly bounded degrees and height tending to infinity appear above a sharp threshold, and none of these appears below the same value. Our results hold more generally for geometric graphs satisfying a mild condition on the distribution of their vertex set, and we provide a polynomial time algorithm to find such trees.

Combinatorics,Discrete Mathematics
Hyperbolic Metric Spaces and Stochastic Embeddings

Chris Gartland

2024-06-16

Abstract:Stochastic embeddings of finite metric spaces into graph-theoretic trees have proven to be a vital tool for constructing approximation algorithms in theoretical computer science. In the present work, we build out some of the basic theory of stochastic embeddings in the infinite setting with an aim towards applications to Lipschitz free space theory. We prove that proper metric spaces stochastically embedding into $\mathbb{R}$-trees have Lipschitz free spaces isomorphic to $L^1$-spaces. We then undergo a systematic study of stochastic embeddability of Gromov hyperbolic metric spaces into $\mathbb{R}$-trees by way of stochastic embeddability of their boundaries into ultrametric spaces. The following are obtained as our main results: (1) Every snowflake of a compact, finite Nagata-dimensional metric space stochastically embeds into an ultrametric space and has Lipschitz free space isomorphic to $\ell^1$. (2) The Lipschitz free space over hyperbolic $n$-space is isomorphic to the Lipschitz free space over Euclidean $n$-space. (3) Every infinite, finitely generated hyperbolic group stochastically embeds into an $\mathbb{R}$-tree, has Lipschitz free space isomorphic to $\ell^1$, and admits a proper, uniformly Lipschitz affine action on $\ell^1$.

Functional Analysis,Metric Geometry
Embedding Nearly Spanning Trees

Bruce Reed,Maya Stein

2024-05-25

Abstract:The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $\delta>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+\delta)|V(T)|$.

Combinatorics
Embedding induced trees in sparse expanding graphs

António Girão,Eoin Hurley

2024-06-07

Abstract:Inspired by the network routing literature \cite{aggarwal1996efficient}, we develop what we call a ``Pre-Emptive Greedy Algorithm" to embed bounded degree induced trees in sparse expanders. This generalises a powerful and central result of Friedman and Pippenger to the induced setting. As corollaries we obtain that a sparse random graph contains all bounded degree trees of linear order (whp) and that the induced and size induced Ramsey numbers of bounded degree trees are linear. No such linear bounds were previously known. We also prove a nearly-tight result on induced forests in bounded degree countable expanders. We expect that our new result will find many more applications.

Combinatorics
Decentralized Low-Stretch Trees via Low Diameter Graph Decompositions

Ruben Becker,Yuval Emek,Mohsen Ghaffari,Christoph Lenzen

DOI: https://doi.org/10.1137/22m1489034

2024-03-14

SIAM Journal on Computing

Abstract:SIAM Journal on Computing, Volume 53, Issue 2, Page 247-286, April 2024. We study the problem of approximating the distances in an undirected weighted graph [math] by the distances in trees based on the notion of stretch. Focusing on decentralized models of computation such as the [math], [math], and semi-streaming models, our main results are as follows: (1) We develop a simple randomized algorithm that constructs a spanning tree such that the expected stretch of every edge is [math], where [math] is the number of nodes in [math]. If [math] is unweighted, then this algorithm can be implemented to run in [math] rounds in the [math] model, where [math] is the hop-diameter of [math]; thus our algorithm is asymptotically optimal in this case. In the weighted case, the run-time of the algorithm matches the currently best known bound for exact single source shortest path (SSSP) computations, which despite recent progress is still separated from the lower bound of [math] by polynomial factors. A naive attempt to replace exact SSSP computations with approximate ones in order to improve the complexity in the weighted case encounters a fundamental challenge, as the underlying decomposition technique fails to work under distance approximation. (2) We overcome this obstacle by developing a technique termed blurry ball growing. This technique, in combination with a clever algorithmic idea of Miller, Peng, and Xu (SPAA 2013), allows us to obtain low diameter graph decompositions with small edge cutting probabilities based solely on approximate SSSP computations. (3) Using these decompositions, we in turn obtain metric tree embedding algorithms in the vein of the celebrated work of Bartal (FOCS 1996), whose computational complexity is optimal up to polylogarithmic factors not only in the [math] model but also in the [math] and semi-streaming models. Our embeddings have the additional useful property that the tree can be mapped back to the original graph such that each edge is "used" only logarithmically many times. This property is of interest for capacitated problems and for simulating [math] algorithms on the tree into which the graph is embedded.

computer science, theory & methods,mathematics, applied
Notes on embedding trees in graphs with O(|T|)-sized covers

Alexey Pokrovskiy

2024-09-24

Abstract:This is a companion paper to the paper "Hyperstability in the Erdos-Sos Conjecture". In that paper the following rough structure theorem was proved for graphs G containing no copy of a bounded degree tree T: from any such G, one can delete o(|G||T|) edges in order to get a subgraph all of whose connected components have a cover of order 3|T|. This theorem creates an incentive for studying graphs whose connected components have covers of order O(|T|) - and this is what will be explored here. It turns out that such graphs are amenable to regularity approaches which have been successful in studying dense T-free graphs. In this paper we will follow such an approach from the paper "On the Erdos-Sos conjecture for trees with bounded degree" by Besomi, Pavez-Signe, and Stein and show how it can be adapted from dense graphs to graphs with a small cover.

Combinatorics
Clan embeddings into trees, and low treewidth graphs

Arnold Filtser,Hung Le

DOI: https://doi.org/10.1145/3406325.3451043

2021-06-15

Abstract:In low distortion metric embeddings, the goal is to embed a host “hard” metric space into a “simpler” target space while approximately preserving pairwise distances. A highly desirable target space is that of a tree metric. Unfortunately, such embedding will result in a huge distortion. A celebrated bypass to this problem is stochastic embedding with logarithmic expected distortion. Another bypass is Ramsey-type embedding, where the distortion guarantee applies only to a subset of the points. However, both these solutions fail to provide an embedding into a single tree with a worst-case distortion guarantee on all pairs. In this paper, we propose a novel third bypass called clan embedding. Here each point x is mapped to a subset of points f(x), called a clan, with a special chief point χ(x)∈ f(x). The clan embedding has multiplicative distortion t if for every pair (x,y) some copy y′∈ f(y) in the clan of y is close to the chief of x: miny′∈ f(y)d(y′,χ(x))≤ t· d(x,y). Our first result is a clan embedding into a tree with multiplicative distortion O(logn/є) such that each point has 1+є copies (in expectation). In addition, we provide a “spanning” version of this theorem for graphs and use it to devise the first compact routing scheme with constant size routing tables. We then focus on minor-free graphs of diameter prameterized by D, which were known to be stochastically embeddable into bounded treewidth graphs with expected additive distortion є D. We devise Ramsey-type embedding and clan embedding analogs of the stochastic embedding. We use these embeddings to construct the first (bicriteria quasi-polynomial time) approximation scheme for the metric ρ-dominating set and metric ρ-independent set problems in minor-free graphs.
Doubly stochastic matrices of trees

Xiao-Dong Zhang,Jia-Xi Wu

DOI: https://doi.org/10.1016/j.aml.2004.03.008

IF: 4.294

2005-01-01

Applied Mathematics Letters

Abstract:In this paper, we obtain sharp upper and lower bounds for the smallest entries of doubly stochastic matrices of trees and characterize all extreme graphs which attain the bounds. We also present a counterexample to Merris’ conjecture on relations between the smallest entry of the doubly stochastic matrix and the algebraic connectivity of a graph in [R. Merris, Doubly stochastic graph matrices II, Linear Multilinear Algebr. 45 (1998) 275–285].
A $(1 + {\varepsilon})$-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs

Andreas Emil Feldmann,Wai Shing Fung,Jochen Könemann,Ian Post

DOI: https://doi.org/10.1137/16M1067196

2019-06-20

Abstract:Graphs with bounded highway dimension were introduced by Abraham et al. [SODA 2010] as a model of transportation networks. We show that any such graph can be embedded into a distribution over bounded treewidth graphs with arbitrarily small distortion. More concretely, given a weighted graph G = (V, E) of constant highway dimension, we show how to randomly compute a weighted graph H = (V, E') that distorts shortest path distances of G by at most a 1 + ${\varepsilon}$ factor in expectation, and whose treewidth is polylogarithmic in the aspect ratio of G. Our probabilistic embedding implies quasi-polynomial time approximation schemes for a number of optimization problems that naturally arise in transportation networks, including Travelling Salesman, Steiner Tree, and Facility Location. To construct our embedding for low highway dimension graphs we extend Talwar's [STOC 2004] embedding of low doubling dimension metrics into bounded treewidth graphs, which generalizes known results for Euclidean metrics. We add several non-trivial ingredients to Talwar's techniques, and in particular thoroughly analyse the structure of low highway dimension graphs. Thus we demonstrate that the geometric toolkit used for Euclidean metrics extends beyond the class of low doubling metrics.

Data Structures and Algorithms
One Tree to Rule Them All: Poly-Logarithmic Universal Steiner Tree

Costas Busch,Da Qi Chen,Arnold Filtser,Daniel Hathcock,D Ellis Hershkowitz,Rajmohan Rajaraman

2023-08-02

Abstract:A spanning tree $T$ of graph $G$ is a $\rho$-approximate universal Steiner tree (UST) for root vertex $r$ if, for any subset of vertices $S$ containing $r$, the cost of the minimal subgraph of $T$ connecting $S$ is within a $\rho$ factor of the minimum cost tree connecting $S$ in $G$. Busch et al. (FOCS 2012) showed that every graph admits $2^{O(\sqrt{\log n})}$-approximate USTs by showing that USTs are equivalent to strong sparse partition hierarchies (up to poly-logs). Further, they posed poly-logarithmic USTs and strong sparse partition hierarchies as open questions. We settle these open questions by giving polynomial-time algorithms for computing both $O(\log ^ 7 n)$-approximate USTs and poly-logarithmic strong sparse partition hierarchies. For graphs with constant doubling dimension or constant pathwidth we improve this to $O(\log n)$-approximate USTs and $O(1)$ strong sparse partition hierarchies. Our doubling dimension result is tight up to second order terms. We reduce the existence of these objects to the previously studied cluster aggregation problem and what we call dangling nets.

Data Structures and Algorithms
Stochastic Minimum Spanning Trees with a Single Sample

Ruben Hoeksma,Gavin Speek,Marc Uetz

2024-09-24

Abstract:We consider the minimum spanning tree problem in a setting where the edge weights are stochastic from unknown distributions, and the only available information is a single sample of each edge's weight distribution. In this setting, we analyze the expected performance of the algorithm that outputs a minimum spanning tree for the sampled weights. We compare to the optimal solution when the distributions are known. For every graph with weights that are exponentially distributed, we show that the sampling based algorithm has a performance guarantee that is equal to the size of the largest bond in the graph. Furthermore, we show that for every graph this performance guarantee is tight. The proof is based on two separate inductive arguments via edge contractions, which can be interpreted as reducing the spanning tree problem to a stochastic item selection problem. We also generalize these results to arbitrary matroids, where the performance guarantee is equal to the size of the largest co-circuit of the matroid.

Data Structures and Algorithms
A Note on Doubly Stochastic Graph Matrices

XD Zhang

DOI: https://doi.org/10.1016/j.laa.2005.05.014

IF: 1.307

2005-01-01

Linear Algebra and its Applications

Abstract:A sharp lower bound for the smallest entries, among those corresponding to edges, of doubly stochastic matrices of trees is obtained, and the trees that attain this bound are characterized. This result is used to provide a negative answer to Merris’ question in [R. Merris, Doubly stochastic graph matrices II, Linear Multilin. Algebra 45 (1998) 275–285].
Stochastic and mixed flower graphs

C Tyler Diggans,Erik M Bollt,Daniel Ben-Avraham,C. Tyler Diggans,Erik M. Bollt,and Daniel ben-Avraham

DOI: https://doi.org/10.1103/PhysRevE.101.052315

IF: 2.707

2020-05-23

Physical Review E

Abstract:Stochasticity is introduced to a well studied class of recursively grown graphs: -flower nets, which have power-law degree distributions as well as small-world properties (when . The stochastic variant interpolates between different (deterministic) flower graphs thus adding flexibility ... [Phys. Rev. E 101, 052315] Published Fri May 22, 2020

physics, fluids & plasmas, mathematical
Randomly perturbed digraphs also have bounded-degree spanning trees

Patryk Morawski,Kalina Petrova

2024-08-20

Abstract:We show that a randomly perturbed digraph, where we start with a dense digraph $D_\alpha$ and add a small number of random edges to it, will typically contain a fixed orientation of a bounded degree spanning tree. This answers a question posed by Araujo, Balogh, Krueger, Piga and Treglown and generalizes the corresponding result for randomly perturbed graphs by Krivelevich, Kwan and Sudakov. More specifically, we prove that there exists a constant $c = c(\alpha, \Delta)$ such that if $T$ is an oriented tree with maximum degree $\Delta$ and $D_\alpha$ is an $n$-vertex digraph with minimum semidegree $\alpha n$, then the graph obtained by adding $cn$ uniformly random edges to $D_\alpha$ will contain $T$ with high probability.

Combinatorics
Polynomial-time derivation of optimal k-tree topology from Markov networks

Fereshteh R. Dastjerdi,Liming Cai

2024-04-09

Abstract:Characterization of joint probability distribution for large networks of random variables remains a challenging task in data science. Probabilistic graph approximation with simple topologies has practically been resorted to; typically the tree topology makes joint probability computation much simpler and can be effective for statistical inference on insufficient data. However, to characterize network components where multiple variables cooperate closely to influence others, model topologies beyond a tree are needed, which unfortunately are infeasible to acquire. In particular, our previous work has related optimal approximation of Markov networks of tree-width k >=2 closely to the graph-theoretic problem of finding maximum spanning k-tree (MSkT), which is a provably intractable task.

Data Structures and Algorithms,Machine Learning
Hyperstability in the Erdős-Sós Conjecture

Alexey Pokrovskiy

2024-09-24

Abstract:A rough structure theorem is proved for graphs $G$ containing no copy of a bounded degree tree $T$: from any such $G$, one can delete $o(|G||T|)$ edges in order to get a subgraph all of whose connected components have a cover of order $3|T|$. This theorem has the ability to turn questions about sparse $T$-free graphs (about which relatively little is known), into questions about dense $T$-free graphs (for which we have powerful techniques like regularity). There are various applications, the most notable being a proof of the Erdős-Sós Conjecture for large, bounded degree trees.

Combinatorics
A linear-time approximation algorithm for the minimum-length geometric embedding of trees

Alireza Bagheri,Fatemeh Keshavarz-Kohjerdi,Mohammadreza Razzazi

DOI: https://doi.org/10.1080/02331934.2024.2335946

IF: 2.2

2024-04-05

Optimization

Abstract:In this paper, we study the problem of computing a geometric embedding of a tree onto a point set in the Euclidean plane such that the total edge length of the embedding is minimum. We present a linear-time O(Δph(T)) -approximation algorithm, where Δ and ph(T) denote the maximum node-degree and the path height of the input tree T , respectively. The previous best result in the literature has O(nlog⁡log⁡n) time-complexity and O(Δlog2⁡n) approximation factor. We show that ph(T) is less than log2⁡n for any n -node tree T . The problem is a generalization of the Euclidean travelling salesman problem, which is a well-known NP-hard problem.

mathematics, applied,operations research & management science

Stochastic Embeddings of Graphs into Trees

Embedding Planar Graphs into Graphs of Treewidth $O(\log^{3} n)$

Random embeddings of bounded degree trees with optimal spread

Sharp threshold for embedding balanced spanning trees in random geometric graphs

Hyperbolic Metric Spaces and Stochastic Embeddings

Embedding Nearly Spanning Trees

Embedding induced trees in sparse expanding graphs

Decentralized Low-Stretch Trees via Low Diameter Graph Decompositions

Notes on embedding trees in graphs with O(|T|)-sized covers

Clan embeddings into trees, and low treewidth graphs

Doubly stochastic matrices of trees

A $(1 + {\varepsilon})$-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs

One Tree to Rule Them All: Poly-Logarithmic Universal Steiner Tree

Stochastic Minimum Spanning Trees with a Single Sample

A Note on Doubly Stochastic Graph Matrices

Stochastic and mixed flower graphs

Randomly perturbed digraphs also have bounded-degree spanning trees

Polynomial-time derivation of optimal k-tree topology from Markov networks

Hyperstability in the Erdős-Sós Conjecture

A linear-time approximation algorithm for the minimum-length geometric embedding of trees