As an extension of a classical tree-partition problem, we consider decompositions of graphs into edge-disjoint (rooted-)trees with an additional matroid constraint. Specifically, suppose that we are given a graph G = (V, E), a multiset R = {r 1 , . . . , rt} of vertices in V , and a matroid M on R. We prove a necessary and sufficient condition for G to be decomposed into t edge-disjointIf M is a free matroid, this is a decomposition into t edge-disjoint spanning trees; thus, our result is a proper extension of NashWilliams' tree-partition theorem. Such a matroid constraint is motivated by combinatorial rigidity theory. As a direct application of our decomposition theorem, we present characterizations of the infinitesimal rigidity of frameworks with nongeneric "boundary," which extend classical the Laman's theorem for generic 2-rigidity of bar-joint frameworks and Tay's theorem for generic d-rigidity of body-bar frameworks.
Introduction.In this paper two fundamental results in combinatorial optimization, the Tutte-Nash-Williams tree-packing theorem and the Nash-Williams tree-partition theorem, are extended. In 1961, Tutte [40] and Nash-Williams [26] independently proved that an undirected graph G = (V, E) contains k edge-disjoint spanning trees if and only if |δ G (P)| ≥ k|P| − k holds for any partition P of V , where δ G (P) denotes the set of edges of G connecting two distinct subsets of P and |P| denotes the number of subsets of P. As a dual form, the Nash-Williams tree-partition theorem [27] asserts that an undirected graph G = (V, E) can be decomposed into k edge-disjoint spanning trees if and only if |E| = k|V | − k and |F | ≤ k|V (F )| − k for any nonempty F ⊆ E, where V (F ) denotes the set of vertices incident to F . These two theorems are sometimes referred to in terms of rooted-edge-connectivity, as edge-disjoint spanning trees indicate how to send distinct "commodities" from a specific root-node to other vertices without interference. (In fact, the packing of spanning trees is a concept equivalent to the rooted-edge-connectivity orientation of undirected graphs; see, e.g., [9].) In this paper we address a more general situation. Suppose that we have t distinct roots, each of which has the ability to send a commodity, and suppose that the set of commodities possesses an independence structure, say, linear independence by regarding commodities as vectors. Then, we are asked