tree
6861 papers tagged with this keyword
An arithmetic variant of Raynaud's theorem
It is well known that for a regular semistable curve $\mathfrak X$ over a DVR with algebraically closed residue field, the spanning trees of the dual graph of the special fiber of $\mathfrak X$ are in bijection with components of the special fiber of the Néron model of the Jacobian of $\mathfrak X$. We prove a generalization of this fact that does not require the residue field to be algebraically closed, using a combinatorially enriched version of the dual graph to encode arithmetic information about divisors on $\mathfrak X$.
On Two Laplacian Matrices for Skew Gain Graphs
Published
• View Publication
• BIB
Let $G=(V,\overrightarrow{E})$ be a graph with some prescribed orientation for the edges and $Γ$ be an arbitrary group. If $f\in \mathrm{Inv}(Γ)$ be an anti-involution then the skew gain graph $Φ_f=(G,Γ,\varphi,f)$ is such that the skew gain function $\varphi:\overrightarrow{E}\rightarrow Γ$ satisfies $\varphi(\overrightarrow{vu})=f(\varphi(\overrightarrow{uv}))$. In this paper, we study two different types, Laplacian and $g$-Laplacian matrices for a skew gain graph where the skew gains are taken from the multiplicative group $F^\times$ of a field $F$ of characteristic zero. Defining incidence matrix, we also prove the matrix tree theorem for skew gain graphs in the case of the $g$-Laplacian matrix.
Pure pairs. VI. Excluding an ordered tree
Published
• View Publication
• BIB
A pure pair in a graph $G$ is a pair $(Z_1,Z_2)$ of disjoint sets of vertices such that either every vertex in $Z_1$ is adjacent to every vertex in $Z_2$, or there are no edges between $Z_1$ and $Z_2$. With Maria Chudnovsky, we recently proved that, for every forest $F$, every graph $G$ with at least two vertices that does not contain $F$ or its complement as an induced subgraph has a pure pair $(Z_1,Z_2)$ with $|Z_1|,|Z_2|$ linear in $|G|$.
Here we investigate what we can say about pure pairs in an {\em ordered} graph $G$, when we exclude an ordered forest $F$ and its complement as induced subgraphs. Fox showed that there need not be a linear pure pair; but Pach and Tomon showed that if $F$ is a monotone path then there is a pure pair of size $c|G|/\log |G|$. We generalise this to all ordered forests, at the cost of a slightly worse bound: we prove that, for every ordered forest $F$, every ordered graph $G$ with at least two vertices that does not contain $F$ or its complement as an induced subgraph has a pure pair of size $|G|^{1-o(1)}$.
Geometry of the minimal spanning tree in the heavy-tailed regime: new universality classes
Published
• View Publication
• BIB
A well-known open problem on the behavior of optimal paths in random graphs in the strong disorder regime, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade [31,32,38,70] is as follows: for a large class of random graph models with degree exponent $τ\in (3,4)$, the distance between two typical points on the minimal spanning tree (MST) on the giant component in the supercritical regime scales like $n^{(τ-3)/(τ-1)}$. The aim of this paper is to make progress towards a proof of this conjecture.
We consider a supercritical inhomogeneous random graph model with degree exponent $τ\in(3, 4)$ that is closely related to Aldous's multiplicative coalescent, and show that the MST constructed by assigning i.i.d. continuous weights to the edges in its giant component, endowed with the tree distance scaled by $n^{-(τ-3)/(τ-1)}$, converges in distribution with respect to the Gromov-Hausdorff topology to a random compact real tree. Further, almost surely, every point in this limiting space either has degree one (leaf), or two, or infinity (hub), both the set of leaves and the set of hubs are dense in this space, and the Minkowski dimension of this space equals $(τ-1)/(τ-3)$.
The multiplicative coalescent, in an asymptotic sense, describes the evolution of the component sizes of various near-critical random graph processes. We expect the limiting spaces in this paper to be the candidates for the scaling limit of the MST constructed for a wide array of other heavy-tailed random graph models.
The diameter of the uniform spanning tree of dense graphs
Published
• View Publication
• BIB
We show that the diameter of a uniformly drawn spanning tree of a simple connected graph on $n$ vertices with minimal degree linear in $n$ is typically of order $\sqrt{n}$. A byproduct of our proof, which is of independent interest, is that on such graphs the Cheeger constant and the spectral gap are comparable.
Pure pairs. IV. Trees in bipartite graphs
Published in Journal of Combinatorial Theory, Series B, Volume 161, July 2023, Pages 120-146
• View Publication
• BIB
In this paper we investigate the bipartite analogue of the strong Erdos-Hajnal property. We prove that for every forest $H$ and every $τ>0$ there exists $ε>0$, such that if $G$ has a bipartition $(A,B)$ and does not contain $H$ as an induced subgraph, and has at most $(1-τ)|A|\cdot|B|$ edges, then there is a stable set in $G$ that contains at least $ε|V_i|$ vertices of $V_i$, for $i=1,2$. No graphs $H$ except forests have this property.
A Cantor-Bernstein theorem for infinite matroids
We give a common matroidal generalisation of `A Cantor-Bernstein theorem for paths in graphs' by Diestel and Thomassen and `A Cantor-Bernstein-type theorem for spanning trees in infinite graphs' by ourselves.
Bounds on Sweep-Covers by Raney Numbers
In this work, we introduce a vertex separator in trees known as a sweep-cover that is defined by an ancestor-descendent relationship with all nodes in the tree. We prove the recurrence relation of sweep-covers with $n$ subcovers $P_{Δ, γ}(n)$ on a class of infinite $Δ$-ary trees with constant path lengths $γ$ between the $Δ$-star internal nodes. Then, we provide recurrence relations for Raney numbers over integer compositions and show that they provide a lower-bound for sweep-covers such that $P_{Δ, γ}(n) = Ω\left( \frac{\sqrt{2 π} n^{Δn + Δ+ \frac{3}{2}}}{e^n ((Δ-1)n+Δ+1)!(n+1)!} γ\right)$.
New Instances of Quadratic APN Functions
Published in IEEE Trans. Inf. Theory 68(1): 670-678 (2022)
• View Publication
• BIB
In a recent work, Beierle, Brinkmann and Leander presented a recursive tree search for finding APN permutations with linear self-equivalences in small dimensions. In this paper, we describe how this search can be adapted to find many new instances of quadratic APN functions. In particular, we found 12,921 new quadratic APN functions in dimension eight, 35 new quadratic APN functions in dimension nine and five new quadratic APN functions in dimension ten up to CCZ-equivalence. Remarkably, two of the 35 new APN functions in dimension nine are APN permutations.
Among the 8-bit APN functions, there are three extended Walsh spectra that do not correspond to any of the previously-known quadratic 8-bit APN functions and, surprisingly, there exist at least four CCZ-inequivalent 8-bit APN functions with linearity $2^7$, i.e., the highest possible non-trivial linearity for quadratic functions in dimension eight.
The general position number of the Cartesian product of two trees
Published in Bull. Aust. Math. Soc. 104 (2021) 1-10
• View Publication
• BIB
The general position number of a connected graph is the cardinality of a largest set of vertices such that no three pairwise-distinct vertices from the set lie on a common shortest path. In this paper it is proved that the general position number is additive on the Cartesian product of two trees.
On the number of spanning trees in bipartite graphs
In this paper, we address the Ehrenborg's conjecture which proposes that for any bipartite graph the number of spanning trees does not exceed the product of the degrees of the vertices divided by the product of the sizes of the graph components. We show that the conjecture is true for a one-side regular graph (that is a graph for which all degrees of the vertices of at least one of the components are equal). We also present a new proof of the fact that the equality holds for Ferrers graphs.
Counting ternary trees according to the number of middle edges and factorizing into $(3/2)$-ary trees
Published
• View Publication
• BIB
The sequence A120986 in the Encyclopedia of Integer Sequences counts ternary trees according to the number of nodes and the number of middle edges. Using a certain substition, the underlying cubic equation can be factored. This leads to an extension of the concept of $(3/2)$-ary trees, introduced by Knuth in his christmas lecture from 2014.
Trees with Matrix Weights: Laplacian Matrix and Characteristic-like Vertices
Published
• View Publication
• BIB
It is known that there is an alternative characterization of characteristic vertices for trees with positive weights on their edges via Perron values and Perron branches. Moreover, the algebraic connectivity of a tree with positive edge weights can be expressed in terms of Perron value.
In this article, we consider trees with matrix weights on their edges. More precisely, we are interested in trees with the following classes of matrix edge weights: 1. positive definite matrix weights, 2. lower (or upper) triangular matrix weights with positive diagonal entries. For trees with the above classes of matrix edge weights, we define Perron values and Perron branches. Further, we have shown the existence of vertices satisfying properties analogous to the properties of characteristic vertices of trees with positive edge weights in terms of Perron values and Perron branches, and we call such vertices characteristic-like vertices. In this case, the eigenvalues of the Laplacian matrix are nonnegative, and we obtain a lower bound for the first non-zero eigenvalue of the Laplacian matrix in terms of Perron value. Furthermore, we also compute the Moore-Penrose inverse of the Laplacian matrix of a tree with nonsingular matrix weights on its edges.
A new algorithm for the $^K$DMDGP subclass of Distance Geometry Problems
Published
• View Publication
• BIB
The fundamental inverse problem in distance geometry is the one of finding positions from inter-point distances. The Discretizable Molecular Distance Geometry Problem (DMDGP) is a subclass of the Distance Geometry Problem (DGP) whose search space can be discretized and represented by a binary tree, which can be explored by a Branch-and-Prune (BP) algorithm. It turns out that this combinatorial search space possesses many interesting symmetry properties that were studied in the last decade. In this paper, we present a new algorithm for this subclass of the DGP, which exploits DMDGP symmetries more effectively than its predecessors. Computational results show that the speedup, with respect to the classic BP algorithm, is considerable for sparse DMDGP instances related to protein conformation.
Shift-plethysm, Hydra continued fractions, and m-distinct partitions
Published
• View Publication
• BIB
We introduce the hydra continued fractions, as a generalization of the Rogers-Ramanujan continued fractions, and give a combinatorial interpretation in terms of shift-plethystic trees. We then show it is possible to express them as a quotient of m-distinct partition generating functions, and in its dual form as a quotient of the generating functions of compositions with contiguous rises upper bounded by m-1. We obtain new generating functions for compositions according to their local minima, for partitions with a prescribed set of rises, and for compositions with prescribed sets of contiguous differences.
An exact-arithmetic algorithm for spanning tree modulus
Published
• View Publication
• BIB
Spanning tree modulus is a generalization of effective resistance that is closely related to graph strength and fractional arboricity. The optimal edge density associated with spanning tree modulus is known to produce two hierarchical decompositions of arbitrary graphs, one based on strength and the other on arboricity. Here we introduce an exact-arithmetic algorithm for spanning tree modulus and the strength-based decomposition using Cunningham's algorithm for graph vulnerability. The algorithm exploits an interesting connection between spanning tree modulus and critical edge sets from the vulnerability problem. This paper introduces the new algorithm, describes a practical means for implementing it using integer arithmetic, and presents some examples and computational time scaling tests.
Ends of digraphs III: normal arborescences
In a series of three papers we develop an end space theory for digraphs. Here in the third paper we introduce a concept of depth-first search trees in infinite digraphs, which we call normal spanning arborescences. We show that normal spanning arborescences are end-faithful: every end of the digraph is represented by exactly one ray in the normal spanning arborescence that starts from the root. We further show that this bijection extends to a homeomorphism between the end space of a digraph $D$, which may include limit edges between ends, and the end space of any normal arborescence with limit edges induced from $D$. Finally we prove a Jung-type criterion for the existence of normal spanning arborescences.
Matroids that classify forests
Published in Algebra and Discrete Mathematics 33 (2022), 128-150
• View Publication
• BIB
Elementary arguments show that a tree or forest is determined (up to isomorphism) by binary matroids defined using the adjacency matrix.
Probabilistic analysis of algorithms for cost constrained minimum weighted combinatorial objects
Published in Oper. Res. Lett. 49 (2021), no. 3, 400-404
• View Publication
• BIB
We consider cost constrained versions of the minimum spanning tree problem and the assignment problem. We assume edge weights are independent copies of a continuous random variable $Z$ that satisfies $F(x)=\Pr(Z\leq x)\approx x^α$ as $x\to0$, where $α\geq 1$. Also, there are $r=O(1)$ budget constraints with edge costs chosen from the same distribution. We use Lagrangean duality to construct polynomial time algorithms that produce asymptotically optimal solutions. For the spanning tree problem, we allow $r>1$, but for the assignment problem we can only analyse the case $r=1$.
A canonical tree-of-tangles theorem for structurally submodular separation systems
Published
• View Publication
• BIB
We show that every structurally submodular separation system admits a canonical tree set which distinguishes its tangles.