tree
6861 papers tagged with this keyword
Planar Matrices and Arrays of Feynman Diagrams
Published
• View Publication
• BIB
Very recently planar collections of Feynman diagrams were proposed by Borges and one of the authors as the natural generalization of Feynman diagrams for the computation of $k=3$ biadjoint amplitudes. Planar collections are one-dimensional arrays of metric trees satisfying an induced planarity and compatibility condition. In this work we introduce planar matrices of Feynman diagrams as the objects that compute $k=4$ biadjoint amplitudes. These are symmetric matrices of metric trees satisfying compatibility conditions. We introduce two notions of combinatorial bootstrap techniques for finding collections from Feynman diagrams and matrices from collections. As applications of the first, we find all $693$, $13\,612$, and $346\,710$ collections for $(k,n)=(3,7), (3,8),$ and $(3,9)$ respectively. As applications of the second kind, we find all $90\, 608$ and $30\,659\,424$ planar matrices that compute $(k,n)=(4,8)$ and $(4,9)$ biadjoint amplitudes respectively. As an example of the evaluation of matrices of Feynman diagrams, we present the complete form of the $(4,8)$ and $(4,9)$ biadjoint amplitudes. We also start the study of higher dimensional arrays of Feynman diagrams, including the combinatorial version of the duality between $(k,n)$ and $(n-k,n)$ objects.
Extreme Values of the Fiedler Vector on Trees
Published
• View Publication
• BIB
Let $G$ be a connected tree on $n$ vertices and let $L = D-A$ denote the Laplacian matrix on $G$. The second-smallest eigenvalue $λ_{2}(G) > 0$, also known as the algebraic connectivity, as well as the associated eigenvector $φ_2$ have been of substantial interest. We investigate the question of when the maxima and minima of $φ_2$ are assumed at the endpoints of the longest path in $G$. Our results also apply to more general graphs that `behave globally' like a tree but can exhibit more complicated local structure. The crucial new ingredient is a reproducing formula for the eigenvector $φ_k$.
The Planted Matching Problem: Phase Transitions and Exact Results
Published
• View Publication
• BIB
We study the problem of recovering a planted matching in randomly weighted complete bipartite graphs $K_{n,n}$. For some unknown perfect matching $M^*$, the weight of an edge is drawn from one distribution $P$ if $e \in M^*$ and another distribution $Q$ if $e \notin M^*$. Our goal is to infer $M^*$, exactly or approximately, from the edge weights. In this paper we take $P=\exp(λ)$ and $Q=\exp(1/n)$, in which case the maximum-likelihood estimator of $M^*$ is the minimum-weight matching $M_{\text{min}}$. We obtain precise results on the overlap between $M^*$ and $M_{\text{min}}$, i.e., the fraction of edges they have in common. For $λ\ge 4$ we have almost perfect recovery, with overlap $1-o(1)$ with high probability. For $λ< 4$ the expected overlap is an explicit function $α(λ) < 1$: we compute it by generalizing Aldous' celebrated proof of the $ζ(2)$ conjecture for the un-planted model, using local weak convergence to relate $K_{n,n}$ to a type of weighted infinite tree, and then deriving a system of differential equations from a message-passing algorithm on this tree.
Glauber dynamics for Ising models on random regular graphs: cut-off and metastability
Published
• View Publication
• BIB
Consider random $d$-regular graphs, i.e., random graphs such that there are exactly $d$ edges from each vertex for some $d\ge 3$. We study both the configuration model version of this graph, which has occasional multi-edges and self-loops, as well as the simple version of it, which is a $d$-regular graph chosen uniformly at random from the collection of all $d$-regular graphs.
In this paper, we discuss mixing times of Glauber dynamics for the Ising model with an external magnetic field on a random $d$-regular graph, both in the quenched as well as the annealed settings. Let $β$ be the inverse temperature, $β_c$ be the critical temperature and $B$ be the external magnetic field. Concerning the annealed measure, we show that for $β> β_c$ there exists $\hat{B}_c(β)\in (0,\infty)$ such that the model is metastable (i.e., the mixing time is exponential in the graph size $n$) when $β> β_c$ and $0 \leq B < \hat{B}_c(β)$, whereas it exhibits the cut-off phenomenon at $c_\star n \log n$ with a window of order $n$ when $β< β_c$ or $β> β_c$ and $B>\hat{B}_c(β)$. Interestingly, $\hat{B}_c(β)$ coincides with the critical external field of the Ising model on the $d$-ary tree (namely, above which the model has a unique Gibbs measure). Concerning the quenched measure, we show that there exists $B_c(β)$ with $B_c(β) \leq \hat{B}_c(β)$ such that for $β> β_c$, the mixing time is at least exponential along some subsequence $(n_k)_{k\geq 1}$ when $0 \leq B < B_c(β)$, whereas it is less than or equal to $Cn\log n$ when $B>\hat{B}_c(β)$. The quenched results also hold for the model conditioned on simplicity, for the annealed results this is unclear.
A phase transition for large values of bifurcating autoregressive models
Published
• View Publication
• BIB
We describe the asymptotic behavior of the number $Z_n[a_n,\infty)$ of individuals with a large value in a stable bifurcating autoregressive process. The study of the associated first moment $\mathbb{E}(Z_n[a_n,\infty))$ is equivalent to the annealed large deviation problem $\mathbb{P}(Y_n\geq a_n)$, where $Y$ is an autoregressive process in a random environment and $a_n\rightarrow \infty$.
The population with large values and the trajectorial behavior of $Z_n[a_n,\infty)$ is obtained from the ancestral paths associated to the large deviations of $Y$ together with its environment. The study of large deviations of autoregressive processes in random environment is of independent interest and achieved first in this paper. The proofs of trajectorial estimates for bifurcating autoregressive process involves then a law of large numbers for non-homogenous trees.
Two regimes appear in the stable case, depending on the fact that one of the autoregressive parameter is greater than one or not. It yields two different asymptotic behaviors for the large local densities and maximal value of the bifurcating autoregressive process.
On the spectrum of random walks on complete finite $d$-ary trees
Published
• View Publication
• BIB
In the present paper, we determine the full spectrum of the simple random walk on finite, complete $d$-ary trees. We also find an eigenbasis for the transition matrix. As an application, we apply our results to get a lower bound for the interchange process on complete, finite d-ary trees, which we conjecture to be sharp.
Comparison of Wiener index and Zagreb eccentricity indices
The first and the second Zagreb eccentricity index of a graph $G$ are defined as $E_1(G)=\sum_{v\in V(G)}\varepsilon_{G}(v)^{2}$ and $E_2(G)=\sum_{uv\in E(G)}\varepsilon_{G}(u)\varepsilon_{G}(v)$, respectively, where $\varepsilon_G(v)$ is the eccentricity of a vertex $v$. In this paper the invariants $E_1$, $E_2$, and the Wiener index are compared on graphs with diameter $2$, on trees, on a newly introduced class of universally diametrical graphs, and on Cartesian product graphs. In particular, if the diameter of a tree $T$ is not too big, then $W(T) \ge E_2(T)$ holds, and if the diameter of $T$ is large, then $W(T) < E_1(T)$ holds.
Operads on graphs: extending the pre-Lie operad and general construction
Published
• View Publication
• BIB
The overall aim of this paper is to define a structure of graph operads, thus generalizing the celebrated pre-Lie operad on rooted trees. More precisely, we define two operads on multigraphs, and exhibit a non trivial link between them and the pre-Lie and Kontsevich- Willwacher operads. We study one of these operads in more detail. While its structure is too involved to exhibit a description by generators and relations, we show that it has interesting finitely generated sub-operads, with links with the commutative and the magmatic commutative operads. In particular, one of them is Koszul and this allows us to compute its Koszul dual. Finally, we introduce a new framework on species and operads and a general way to define operads on multigraphs.
The Ramsey Number for Tree Versus Wheel with Odd Order
Published
• View Publication
• BIB
Chen et al. (2004) strongly conjectured that R(Tn,Wm)=2n-1 if the maximum degree of Tn is small and m is even. Related to the conjecture, it is interesting to know for which tree Tn, we have R(Tn,Wm) > 2n-1 for even m. In this paper, we find the Ramsey number R(Tn,W8) for tree Tn with the maximum degree of Tn is at least n-3, namely R(Tn,W8) > 2n-1 for almost all such tree Tn. We also prove that if the maximum degree of Tn is large, then R(Tn,Wm) is a function of both m and n. In the end, we refine the conjecture of Chen et al. by giving the condition of small maximum degree. For a tree Tn with large maximum degree and even m, the R(Tn,Wm) is also unknown in general. In this paper, we shall determine the Ramsey number R(Tn,W8) for all trees Tn of order n with the maximum degree of Tn is at least n-3.
On the Locating Chromatic Number of Trees
Some coloring algorithms gives an upper bound for the locating chromatic number of trees with all the vertices not in an end-path colored by only two colors. That means, a better coloring algorithm could be achieved by optimizing the number of colors used in the end-paths. We provide an estimation of the locating chromatic number of trees using the locating chromatic number of its end-palms. We also study the locating chromatic number of palms, a subdivision of star. We also prove $χ_L(S_n(k))=Θ(n^{1/k})$; $χ_L(S_n(3))=(1+o(1))\sqrt[3]{4n}$; and $χ_L(O_n)=\left\lceil\log_3\left(\frac{n}{4}\right)\right\rceil+3$.
The phase transition for parking on Galton--Watson trees
Published in Discrete Analysis, 2022:1, 17pp
• View Publication
• BIB
We establish a phase transition for the parking process on critical Galton--Watson trees. In this model, a random number of cars with mean $m$ and variance $σ^{2}$ arrive independently on the vertices of a critical Galton--Watson tree with finite variance $Σ^{2}$ conditioned to be large. The cars go down the tree towards the root and try to park on empty vertices as soon as possible. We show a phase transition depending on $$ Θ:= (1-m)^2- Σ^2 (σ^2+m^2-m).$$ Specifically, when $m \leq 1$, if $ Θ>0,$ then all but (possibly) a few cars will manage to park, whereas if $Θ<0$, then a positive fraction of the cars will not find a spot and exit the tree through the root. This confirms a conjecture of Goldschmidt and Przykucki.
Distance matrices perturbed by a Laplacian
Published
• View Publication
• BIB
Let $T$ be a tree with $n$ vertices. To each edge of $T$, we assign a weight which is a positive definite matrix of some fixed order, say, $s$. Let $D_{ij}$ denote the sum of all the weights lying in the path connecting the vertices $i$ and $j$ of $T$. We now say that $D_{ij}$ is the distance between $i$ and $j$. Define $D:=[D_{ij}]$, where $D_{ii}$ is the $s \times s$ null matrix and for $i \neq j$, $D_{ij}$ is the distance between $i$ and $j$. Let $G$ be an arbitrary connected weighted graph with $n$ vertices, where each weight is a positive definite matrix of order $s$. If $i$ and $j$ are adjacent, then define $L_{ij}:=-W_{ij}^{-1}$, where $W_{ij}$ is the weight of the edge $(i,j)$. Define $L_{ii}:=\sum_{i \neq j,j=1}^{n}W_{ij}^{-1}$. The Laplacian of $G$ is now the $ns \times ns$ block matrix $L:=[L_{ij}]$. In this paper, we first note that $D^{-1}-L$ is always non-singular and then we prove that $D$ and its perturbation $(D^{-1}-L)^{-1}$ have many interesting properties in common.
Good acyclic orientations of 4-regular 4-connected graphs
Published
• View Publication
• BIB
We study graphs which admit an acyclic orientation that contains an out-branching and in-branching which are arc-disjoint (such an orientation is called {\bf good}). A {\bf 2T-graph} is a graph whose edge set can be decomposed into two edge-disjoint spanning trees. Clearly a graph has a good orientation if and only if it contains a spanning 2T-graph with a good orientation, implying that 2T-graphs play a central role. Vertex-minimal 2T-graphs with at least two vertices, also known as {\bf generic circuits}, play an important role in rigidity theory for graphs. It was shown in \cite{bangGOpaper} that every generic circuit has a good orientation. Using this, several results on good orientations of 2T-graphs were obtained in \cite{bangGOpaper}. It is an open problem whether there exist a polynomial algorithm for deciding whether a given 2T-graph has a good orientation. In \cite{bangGOpaper} complex constructions of 2T-graphs with no good orientation were given, indicating that the problem might be very difficult. In this paper we focus on so-called {\bf quartics} which are 2T-graphs where every vertex has degree 3 or 4. We identify a sufficient condition for a quartic to have a good orientation, give a polynomial algorithm to recognize quartics satisfying the condition and a polynomial algorithm to produce such an orientation when this condition is met. As a consequence of these results we prove that every 4-regular and 4-connected graph has a good orientation. \iffalse We also provide evidence that even for quartics it may be difficult to find a characterization of those instances which have a good orientation.\fi We also show that every graph on $n\geq 8$ vertices and of minimum degree at least $\lfloor{}n/2\rfloor$ has a good orientation. Finally we pose a number of open problems.
Tree containment and degree conditions
Published
• View Publication
• BIB
We survey results and open problems relating degree conditions with tree containment in graphs, random graphs, digraphs and hypergraphs, and their applications in Ramsey theory.
Inversion sequences avoiding pairs of patterns
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Combinatorics (June 29, 2020) dmtcs:5964
• View Publication
• BIB
The enumeration of inversion sequences avoiding a single pattern was initiated by Corteel--Martinez--Savage--Weselcouch and Mansour--Shattuck independently. Their work has sparked various investigations of generalized patterns in inversion sequences, including patterns of relation triples by Martinez and Savage, consecutive patterns by Auli and Elizalde, and vincular patterns by Lin and Yan. In this paper, we carried out the systematic study of inversion sequences avoiding two patterns of length $3$. Our enumerative results establish further connections to the OEIS sequences and some classical combinatorial objects, such as restricted permutations, weighted ordered trees and set partitions. Since patterns of relation triples are some special multiple patterns of length $3$, our results complement the work by Martinez and Savage. In particular, one of their conjectures regarding the enumeration of $(021,120)$-avoiding inversion sequences is solved.
Generalized Matrix polynomials of Tree Laplacians indexed by Symmetric functions and the GTS poset
Published in Séminaire Lotharingien de Combinatoire, 83, B83a, (2021)
• Search Publication
Let $T$ be a tree on $n$ vertices with $q$-Laplacian $L_T^q$ and Laplacian matrix $L_T$. Let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees on $n$ vertices. Inequalities are known between coefficients of the immanantal polynomial of $L_T$ (and $L_T^q$) as we go up the poset $GTS_n$. Using the Frobenius characteristic, this can be thought as a result involving the schur symmetric function $s_λ$. In this paper, we use an arbitrary symmetric function to define a {\it generalized matrix function} of an $n \times n$ matrix. When the symmetric function is the monomial and the forgotten symmetric function, we generalize such inequalities among coefficients of the generalized matrix polynomial of $L_T^q$ as we go up the $GTS_n$ poset.
Asymptotic dimension of multi-ended quasi-transitive graphs
We prove the existence of an upper bound on the asymptotic dimension of tree amalgamations of locally finite quasi-transitive connected graphs. This generalises a result of Dranishnikov for free products with amalgamation and a result of Tselekidis for HNN-extensions of groups to tree amalgamations of graphs. As a corollary, we obtain an upper bound on the asymptotic dimension of a multi-ended quasi-transitive locally finite graph based on any of their factorisations.
Enumerating the class of minimally path connected simplicial complexes
In 1983 Kalai proved an incredible generalisation of Cayley's formula for the number of trees on a labelled vertex set to a formula for a class of $r$-dimensional simplicial complexes. These simplicial complexes generalise trees by means of being homologically $\Bbb Q$-acyclic. In this text we consider a different generalisation of trees to the class of pure dimensional simplicial complexes that \textit{minimally connect a vertex set} (in the sense that the removal of any top dimensional face disconnects the complex). Our main result provides an upper and lower bound for the number of these minimally connected complexes on a labelled vertex set. We also prove that they are potentially vastly more topologically complex than the generalisation of Kalai. As an application of our bounds we compute the threshold probability for the connectivity of a random simplicial complex.
Distance to the stochastic part of phylogenetic varieties
Published
• View Publication
• BIB
Modelling the substitution of nucleotides along a phylogenetic tree is usually done by a hidden Markov process. This allows to define a distribution of characters at the leaves of the trees and one might be able to obtain polynomial relationships among the probabilities of different characters. The study of these polynomials and the geometry of the algebraic varieties defined by them can be used to reconstruct phylogenetic trees. However, not all points in these algebraic varieties have biological sense. In this paper, we explore the extent to which adding semi-algebraic conditions arising from the restriction to parameters with statistical meaning can improve existing methods of phylogenetic reconstruction. To this end, our aim is to compute the distance of data points to algebraic varieties and to the stochastic part of these varieties. Computing these distances involves optimization by nonlinear programming algorithms. We use analytical methods to find some of these distances for quartet trees evolving under the Kimura 3-parameter or the Jukes-Cantor models. Numerical algebraic geometry and computational algebra play also a fundamental role in this paper.
Some further results in Ramsey graph construction
Published in Australasian J. Combin. 78(1) (2020), 1-10
• Search Publication
A construction described by the current author (2017) uses two linear prototypes to build a compound graph with Ramsey properties inherited from the prototype graphs. The resulting graph is linear; and cyclic if both prototypes are cyclic. However, it will not generate a cyclic graph from a general linear prototype. Building on the properties of that construction, this paper proves that a general linear prototype graph of order m can be extended using a single new colour to produce a new cyclic graph of order $3m - 1$ which is triangle-free in the new colour, and has the same clique-number as the prototype in every other colour. The paper then describes a cyclic Ramsey $(3;3;4;4; 173)$-graph derived by constrained tree search, thus proving that $R(3;3;4;4) \ge 174$. Using a quadrupling construction to produce a further cyclic graph, it is shown that $R(3;4;5;5) \ge 693$. A compound cyclic Ramsey $(3;7;7; 622)$-graph derived by a limited manual search is then described. Further construction steps produce a $(8;8;8; 6131)$-graph, showing that $R_3(8) \ge 6132$. The paper concludes by showing that $R_4(7) \ge 81206$ and $R_4(9) \ge 630566$, implying corresponding improvements in the lower bounds for $R_5(7)$ and $R_5(9)$ and beyond. These results follow from the existence of cyclic prototype graphs derived by Mathon-Shearer 'doubling'.