K-formality of connected subgraph arrangements

Prove that every connected subgraph arrangement is k-formal for every k.

Background

The paper proves that every connected subgraph arrangement is combinatorially formal and recalls that free arrangements are k-formal for all permissible values of k. It also cites evidence showing k-formality for all connected subgraph arrangements of rank at most 4 and for all free members of the class. The remaining general assertion is formulated as a conjecture.

References

Conjecture 8.3. Any AG is k-formal for any k.

On connected subgraph arrangements  (2502.18144 - Giordani et al., 25 Feb 2025) in Section 8, immediately after the proof of Theorem 1.9, p. 23