Maximal cyclic edge-connectivity of cages

Prove that every $(k,g)$-cage is cyclically $(k-2)g$-edge-connected.

Background

For any (k,g)(k,g)-cage with k3k\ge 3 and g5g\ge 5, removing the edges incident with a fixed gg-cycle but not belonging to that cycle produces a cycle-separating cut of size (k2)g(k-2)g. Thus this quantity is an upper bound on cyclic edge-connectivity. The paper proposes that every cage achieves this maximum and proves the conjecture only for cages whose order is at most 2M(k,g)g22M(k,g)-g^2.

References

Each $(k, g)$-cage is cyclically $(k - 2)g$-edge-connected.

Cages and cyclic connectivity  (2503.07400 - Lukoťka et al., 10 Mar 2025) in Section 1, Introduction, Conjecture 1 (labelled \ref{conj:cc})