Positive matching decomposition number of Cartesian products of trees

Prove or disprove that, for trees T1, …, Tn with at most three factors isomorphic to K2, the positive matching decomposition number satisfies pmd(T1 □ ··· □ Tn) = Δ(T1 □ ··· □ Tn) + m − δm≠0, where m is the number of factors isomorphic to K2.

Background

Corollary 2.4 proves the proposed formula for Cartesian products of trees in the cases with no K2 factor and with exactly one K2 factor, and gives an upper bound involving the number m of K2 factors. The authors then formulate the displayed equality as a conjecture for m ≤ 3. They subsequently note that the conjecture fails when m ≥ 4, so the unresolved claim is restricted to the stated range.

References

The above corollary suggest us to pose the following conjecture. Conjecture 2.5. If T1, . . . , Tn are trees, thenpmd(T1□ * * * □Tn) = ∆(T1□ * * * □Tn) + m − δm6=0,where m := #{i : Ti ∼= K2} ≤ 3.

Positive matching decompositions of the cartesian product of graphs  (2502.02826 - Ghouchan et al., 5 Feb 2025) in Conjecture 2.5, Section 2, p. 5