Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Source. Equation (14) and its defect-Hall explanation in the proof of Theorem 12, printed pp. 1328–1329 (published PDF).
Statement. Let be the transversal matroid of the replicated family , whether or not a full -transversal exists. For every ,
where . Equivalently, for every integer ,
If has a -transversal, then and the bases of are exactly the -transversals.
Proof. The rank formula (1) is Welsh's equation (14), which the source obtains from the defect version of Hall's theorem applied to the replicated family (pp. 1328–1329). The equivalence (2) restates (1) threshold by threshold.
The final base assertion is the corrected Theorem 3.