Census bound for tame flow-critical canvases
Prove that every tame flow-critical canvas $(G,z)$ satisfies $\sum_{n\in C(G,z)}(n-6)\leq \deg(z)-8$.
References
If $(G,z)$ is a tame flow-critical canvas, then $$\sum_{n \in C(G,z)} (n-6) \leq \deg(z) -8.$$
— Flow-critical graphs
(2502.01451 - Árnadóttir et al., 3 Feb 2025) in Conjecture \ref{conj:fewlarge}, Section 1.2, Results