Abstract:A classical result of Graham and Pollak (1971) states that the determinant of the distance matrix D T of any tree T depends only on the number of edges of T . This and several other variants of D T have since been studied – including a q -version, a multiplicative version, and directed versions of these – and in all cases, det ( D T ) depends only on the edge-data. In this paper, we introduce a more general framework for bi-directed weighted trees that has not been studied to date; our work is significant for three reasons. First, our setting strictly generalizes – and unifies – all variants of D T studied to date (with coefficients in an arbitrary unital commutative ring) – including in Graham and Pollak (1971) above, as well as Graham and Lovász (1978), Yan and Yeh (2006), Yan and Yeh (2007), Sivasubramanian (2010), and others. Second, our results strictly improve on state-of-the-art for every variant of the distance matrix studied to date, even in the classical Graham–Pollak case. Here are three results for trees: (1) We compute the minors obtained by deleting arbitrary equinumerous sets of pendant nodes (in fact, more general sub-forests) from the rows and columns of D T , and show these minors depend only on the edge-data and not the tree-structure. (2) We compute a second function of the distance matrix D T : the sum of all its cofactors, termed cof ( D T ) . We do so in our general setting and in stronger form, after deleting equinumerous pendant nodes (and more generally) as above – and show these quantities also depend only on the edge-data. (3) We compute in closed form the inverse of D T , extending a result of Graham and Lovász (1978) and answering an open question of Bapat et al. (2006) in greater generality. Third, a new technique is to crucially use commutative algebra arguments – specifically, Zariski density – which to our knowledge are hitherto unused for such matrices/invariants, but are richly rewarding. We also explain why our setting is “most general”, in that for more general edgeweights, det ( D T ) , cof ( D T ) depend on the tree structure. In a sense, this completes the study of the invariants det ( D T ) , cof ( D T ) for distance matrices of trees T with edge-data in a commutative ring. Our proofs use novel results for arbitrary bi-directed strongly connected graphs G : we prove a multiplicative analogue of an additive result by Graham et al. (1977), as well as a novel q -version thereof. In particular, we provide closed-form expressions for det ( D G ) , cof ( D G ) , and D G − 1 in terms of their strong blocks. We then show how this subsumes the classical 1977 result, and provide sample applications to adding pendant trees and to cycle-clique graphs (including cactus/polycyclic graphs and hypertrees), subsuming variants in the literature. The final section introduces and computes a third – and novel – invariant for trees, as well as a parallel Graham–Hoffman–Hosoya type result for our “most general” distance matrix D T .

A refinement of Cayley's formula for trees

An elaborate new proof of Cayley's formula

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

On trees with real rooted independence polynomial

On locally finite ordered rooted trees and their rooted subtrees

New refinements of Narayana polynomials and Motzkin polynomials

Prime Parking Functions on Rooted Trees

A Family of Invariants of Rooted Forests

Tree hook length formulae, Feynman rules and B-series

An algorithm for uniform generation of unlabeled trees (Pólya trees), with an extension of Cayley's formula

A Telescopic Proof of Cayley's Formula

Getting to the Root of the Problem: Sums of Squares for Infinite Trees

On [math]-Counting of Noncrossing Chains and Parking Functions

Refined Horton-Strahler numbers I: a discrete bijection

Enumeration of labeled trees and Dyck tilings

Distance matrices of a tree: Two more invariants, and in a unified framework

The (u,v)-Calkin-Wilf Forest

On the roots of the subtree polynomial

Tiered tree, Parking function and Postnikov-Shapiro algebra

Increasing Binary Trees and the $(α,β)$-Eulerian Polynomials

Q-polynomial invariant of rooted trees