-
Coplanarity of rooted spanning-tree vectors
Authors:
Matteo Polettini,
Pedro E. Harunari,
Sara Dal Cengio,
Vivien Lecomte
Abstract:
Employing a recent technology of tree surgery we prove a ``deletion-constriction'' formula for products of rooted spanning trees on weighted directed graphs that generalizes deletion-contraction on undirected graphs. The formula implies that, letting $τ_x^\varnothing$, $τ_x^+$, and $τ_x^-$ be the rooted spanning tree polynomials obtained respectively by removing an edge in both directions or by fo…
▽ More
Employing a recent technology of tree surgery we prove a ``deletion-constriction'' formula for products of rooted spanning trees on weighted directed graphs that generalizes deletion-contraction on undirected graphs. The formula implies that, letting $τ_x^\varnothing$, $τ_x^+$, and $τ_x^-$ be the rooted spanning tree polynomials obtained respectively by removing an edge in both directions or by forcing the tree to pass through either direction of that edge, the vectors $(τ_x^\varnothing, τ_x^+, τ_x^-)$ are coplanar for all roots $x$. We deploy the result to give an alternative derivation of a recently found mutual linearity of stationary currents of Markov chains. We generalize deletion-constriction and current linearity among two edges, and conjecture that similar results may hold for arbitrary subsets of edges.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Oblique projections on metric spaces
Authors:
Matteo Polettini
Abstract:
It is known that complementary oblique projections $\hat{P}_0 + \hat{P}_1 = I$ on a Hilbert space $\mathscr{H}$ have the same standard operator norm $\|\hat{P}_0\| = \|\hat{P}_1\|$ and the same singular values, but for the multiplicity of $0$ and $1$. We generalize these results to Hilbert spaces endowed with a positive-definite metric $G$ on top of the scalar product. Our main result is that the…
▽ More
It is known that complementary oblique projections $\hat{P}_0 + \hat{P}_1 = I$ on a Hilbert space $\mathscr{H}$ have the same standard operator norm $\|\hat{P}_0\| = \|\hat{P}_1\|$ and the same singular values, but for the multiplicity of $0$ and $1$. We generalize these results to Hilbert spaces endowed with a positive-definite metric $G$ on top of the scalar product. Our main result is that the volume elements (pseudodeterminants $\det_+$) of the metrics $L_0,L_1$ induced by $G$ on the complementary oblique subspaces $\mathscr{H} = \mathscr{H}_0 \oplus \mathscr{H}_1$, and of those $\mathitΓ_0,\mathitΓ_1$ induced on their algebraic duals, obey the relations \begin{align} \frac{\det_+ L_1}{\det_+ \mathitΓ_0} = \frac{\det_+ L_0}{\det_+ \mathitΓ_1} = {\det}_+ G. \nonumber \end{align} Furthermore, we break this result down to eigenvalues, proving a "supersymmetry" of the two operators $\sqrt{\mathitΓ_0 L_0}$ and $\sqrt{L_1 \mathitΓ_1}$. We connect the former result to a well-known duality property of the weighted-spanning-tree polynomials in graph theory.
△ Less
Submitted 20 February, 2020; v1 submitted 10 November, 2017;
originally announced November 2017.
-
Cycle/cocycle oblique projections on oriented graphs
Authors:
Matteo Polettini
Abstract:
It is well known that the edge vector space of an oriented graph can be decomposed in terms of cycles and cocycles (alias cuts, or bonds), and that a basis for the cycle and the cocycle spaces can be generated by adding and removing edges to an arbitrarily chosen spanning tree. In this paper we show that the edge vector space can also be decomposed in terms of cycles and the generating edges of co…
▽ More
It is well known that the edge vector space of an oriented graph can be decomposed in terms of cycles and cocycles (alias cuts, or bonds), and that a basis for the cycle and the cocycle spaces can be generated by adding and removing edges to an arbitrarily chosen spanning tree. In this paper we show that the edge vector space can also be decomposed in terms of cycles and the generating edges of cocycles (called cochords), or of cocycles and the generating edges of cycles (called chords). From this observation follows a construction in terms of oblique complementary projection operators. We employ this algebraic construction to prove several properties of unweighted Kirchhoff-Symanzik matrices, encoding the mutual superposition between cycles and cocycles. In particular, we prove that dual matrices of planar graphs have the same spectrum (up to multiplicities). We briefly comment on how this construction provides a refined formalization of Kirchhoff's mesh analysis of electrical circuits, which has lately been applied to generic thermodynamic networks.
△ Less
Submitted 7 May, 2014; v1 submitted 5 May, 2014;
originally announced May 2014.
