C₄ Eulerian-avoidability in orientations

Question 6.4 · arXiv:2510.11311

arXiv Question high confidence— first stated 2025-10-13

Authors: Micha Christoph, Barnabás Janzer, Kalina Petrova, Raphael Steiner

Status open high confidence

Question 6.4 asks whether every orientation of $C_4$ is Eulerian-avoidable, i.e., whether for every orientation $F$ of $C_4$ there exists a function $d_F$ such that every Eulerian digraph of minimum out-degree at least $d_F(k)$ contains an $F$-free subdigraph of minimum out-degree at least $k$. The source paper (arXiv:2510.11311) shows that the anti-directed orientation of $C_4$ (which is the complete bipartite digraph $\vec{K}_{2,2}$) is not avoidable in the general setting, but leaves the Eulerian-avoidable status of all orientations of $C_4$ open. No follow-up work addressing this specific question was found in a web search conducted in May 2026.

Reviewer notes. No follow-up found. The paper establishes the general (non-Eulerian) framework and shows the anti-directed C4 is not avoidable, but Question 6.4 specifically asks about the Eulerian-restricted setting, which is entirely open. The conjecture is very recent (October 2025) and the absence of follow-up is expected.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).

Question. Is every orientation of $C_{4}$ Eulerian-avoidable?

Context

Restricting to Eulerian digraphs (where each vertex has equal out- and in-degree) may make avoidability questions more tractable. The authors ask whether the specific case of $C_4$, which is open in the general setting, becomes resolvable in the Eulerian host digraph setting.

Source paper

Extending Thomassen's conjecture to directed graphs
Micha Christoph, Barnabás Janzer, Kalina Petrova, Raphael Steiner · 2025-10-13
https://arxiv.org/abs/2510.11311