2402.16076
QUASI-INTERMEDIATE VALUE THEOREM AND OUTFLANKING ARC THEOREM FOR PLANE MAPS
Jiehua Mai, Enhui Shi, Kesong Yan, Fanping Zeng
correcthigh confidence
- Category
- math.DS
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The Outflanking Arc Theorem (Theorem 4.4) is carefully proved in the paper via a case reduction and a boundary-degree/contradiction argument using an auxiliary map G; the proof is complete and self-contained in the provided text. In contrast, the candidate solution contains critical gaps: it misidentifies an endpoint when excluding boundary fixed points (checks f(y)≠y instead of addressing the endpoint v on [v,u]A), makes an unjustified inference about f(Γ2)∩Γ1=∅ by “applying f,” and leaves the key interior/exterior “sidedness” claims and corner-rotation accounting insufficiently justified for the degree computation. Hence, the paper’s argument stands, but the model’s proof outline does not yet constitute a valid proof. See the statement and proof of Theorem 4.4, including the construction leading to the degree −1 boundary map G, and the case reductions via topological conjugacies.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} strong field \textbf{Justification:} The article proves an Outflanking Arc Theorem that generalizes Brouwer’s lemma to plane maps under a natural geometric outflanking hypothesis. The proof is meticulous, combining normalization by topological conjugacy with a boundary-degree argument that is robust and transparent once the configuration is set. The result is interesting and potentially useful in planar dynamics. Some expository streamlining would make the argument easier to follow, but the mathematics appears correct.