Self-avoiding-walk inequality beyond cut-edges

Determine whether the inequality $|\mathscr{S}(u_0,v_0)|\leq|\mathscr{S}(u_0,v_1)|$ holds for every finite, connected, simple graph $G$ and every pair of distinct vertices $u,v\in V(G)$ such that $(u,v)$ is not a cut-edge of $G$.

Background

The general self-avoiding-walk comparison posed earlier in the paper fails for ladder graphs and for pairs joined by suitable cut-edges. The authors’ decomposition shows that cut-edges can force strictly more walks from u0u_0 to v0v_0 than from u0u_0 to v1v_1.

The paper explicitly states that it is unknown whether cut-edges are the only obstruction. It therefore formulates the restricted question of whether the opposite-layer inequality always holds when the pair (u,v)(u,v) is not a cut-edge of the base graph.

References

From Remark~\ref{rem: self-avoiding walk} we observe that cut edges may pose an obstacle to \cref{ques: SAW on bunkbed} having an affirmative answer, and we do not know whether this is the only type of obstacle.

Maximum flow and self-avoiding walk on bunkbed graphs  (2502.06237 - Tang, 10 Feb 2025) in Paragraph immediately preceding Question 2 and Question 2 (Section 3, Self-avoiding walks on bunkbed graphs)