{"id":"d7c93392-fa7e-46d2-b2da-c7c95083a5b2","arxiv_id":"2607.25604","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Orientation-preserving strong Markovian actions on bifoliated planes are exactly the actions arising from topological Anosov flows on closed orientable 3-manifolds.","lead":"This paper proves that every orientation-preserving 'strong Markovian' action on a bifoliated plane comes from a topological Anosov flow on a closed orientable 3-manifold, and that the Markovian rectangles can be lifted to a Markov partition of that flow. It thereby completes a characterization: these combinatorial plane actions and Anosov flows are the same objects, up to natural equivalence.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The corner-condition reduction (Prop 2.26) is stated with a hand-waved verification; if the refined family S fails the strong finite return or expansivity axioms, Theorem 1.5 only covers corner-condition actions, not all strong Markovian actions.","rationale":"The reader's weakest_assumption identifies the same juncture. I find no internal contradiction in the main construction (Sections 3–5) assuming the corner condition. The proof that every strong Markovian action admits a corner-condition family is the only bridge from the theorem's hypotheses to the advertised scope. The verification of the two most structural axioms for the refined family is postponed with 'not difficult to check'. That is a legitimate reason to keep the verdict CONDITIONAL. The concrete check would settle whether the corner-condition reduction is valid by testing both axioms on a small example and by forcing a complete proof of the truncated paragraph. I do not see grounds to reject the paper; the concern is about missing verification, not a demonstrated contradiction.","tokens_in":38575,"tokens_out":18489,"duration_ms":154441,"concrete_test":"Implement the cutting procedure of Prop 2.26 on a concrete non-corner example — e.g., the strong Markovian action associated to a suspension of a full two-shift on a compact surface, where a periodic point lies in the interior of an F^s-boundary of some rectangle. Enumerate the refined family S, then: (i) check the strong finite return axiom at a point lying on a cut leaf (verify that a small quadrant germ is contained in R∩R_h∩R_v for some R,R_h,R_v∈S); (ii) check the expansivity axiom by examining all bi-infinite nested vertical subrectangle sequences in S and confirming ∩S_i is an F^u-leaf of S_0. If either axiom fails, Prop 2.26 is false; if both hold, re-derive the final paragraph of Prop 2.26 with a complete argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The advertised characterization rests on Prop 2.26, which claims that cutting a strong Markovian family R along F^u-leaves through periodic points in F^s-boundary interiors yields a strong Markovian family S satisfying the corner condition. The proof verifies the Markovian intersection axiom in detail, but for the strong finite return axiom and expansivity axiom it says only 'it is not difficult to check' (end of Prop 2.26). This is the single step that removes the corner-condition hypothesis from Theorem 1.5. If the cuts destroy strong finite return — e.g., if infinitely many distinct cut leaves accumulate at a point so that no single rectangle of S contains a small quadrant germ — or if a nested sequence of vertical subrectangles in S has intersection a proper subsegment of an F^u-leaf of S_0 rather than the full leaf (violating Definition 2.13(4)), then the equivalence fails: Theorem 1.5 would be proved only for actions admitting a corner-condition family. Since Theorem 2.22 (used to bound periodic points) is itself from unpublished [Ia2], the reduction is the least secure internal link in the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a converse to the Barbot–Fenley construction: every orientation-preserving strong Markovian action on a bifoliated plane is realized by a topological Anosov flow on a closed orientable 3-manifold, and the preserved Markovian family lifts to a reduced Markov partition. The proof constructs the space W+ of positively oriented stable segments, proves that the group action on W+ is free, properly discontinuous, and cocompact in the fully orientable case, and obtains the flow as the quotient flow. A separate section treats non-fully orientable actions by passing to the index-two subgroup G+ that preserves the orientations of both foliations, constructing an involution on the resulting manifold, and taking a quotient. The corner condition appearing in Theorem 1.5 is supposedly removed by a cutting procedure in Proposition 2.26.","tokens_in":38887,"tokens_out":21744,"duration_ms":219244,"significance":"If the proof can be completed, this is a substantial contribution: it gives a purely planar/action-theoretic characterization of orbit spaces of topological Anosov flows, without assuming transitivity or preservation of foliation orientations, and it strengthens the strong-Markovian-family formalism to a two-way correspondence that includes Markov partitions. The construction is explicit, and many intermediate results—W+ ≅ R^3, the big-brother theorem, the cocompactness argument, and the cluster-separation procedure—are worked out in detail. The main reservations are the unverified corner-condition reduction and the heavy dependence on results imported from unpublished or very recent preprints by the second author.","major_comments":[{"comment":"The proof verifies the Markovian intersection axiom for the cut family S in detail, but for the strong finite return and expansivity axioms it says only 'it is not difficult to check'. This is the sole step that lets Theorem 1.5 and the advertised equivalence apply to all strong Markovian actions rather than only those admitting a corner-condition family. The transfer is not automatic: after cutting a rectangle along an F^u-leaf through a periodic point, a nested sequence of vertical subrectangles of a cut rectangle could have intersection a proper subsegment of the F^u-leaf of that cut rectangle, violating Definition 2.13(4); and the strong finite return axiom requires an explicit argument for germs lying on the cut leaves. Please supply a complete verification of both axioms, or state Theorem 1.5 with the corner condition as an explicit hypothesis.","section":"§2.6, Proposition 2.26"},{"comment":"Several load-bearing results are imported from [Ia2], listed as an unpublished arXiv preprint, and from [Ia]. Theorem 2.22(1) is used for freeness of eρ in Proposition 3.3 and for the absence of periodic rectangles in Section 5; Theorem 2.22(2)–(4) controls periodic points and gives the contraction/expansion used in Proposition 3.8 and Proposition 2.26; Lemmas 2.15–2.18 provide the predecessor/successor calculus throughout. Since these proofs are not reproduced, the referee cannot fully verify the foundation of the paper. Please either include the statements and proofs of these results, or make the dependence explicit and ensure the cited works are available in a verifiable form.","section":"§2.5–2.6 (Theorems 2.22, Lemmas 2.15–2.18, 2.23)"},{"comment":"The reduction to the fully orientable case depends on the existence of a lift ef0 of ρ(h) to W+ satisfying π∘ef0 = ρ(h)∘π, invoked from [Ba1, Prop. 1.36]. This is a delicate point because for h ∈ G−G+ the orientation of F^s is reversed, whereas the fibers of π are the positive F^s rays. The reader needs more than the bare reference: either a precise statement adapted to the present conventions, or a short verification that such a lift exists. Without this, the non-fully orientable part of Theorem 1.5 is not established.","section":"§6.1, Proposition 6.1"}],"minor_comments":[{"comment":"The notation is overloaded: eR is used both for the original lifted rectangles and for the new invariant rectangles eRinv. Please use distinct notation for the two families to avoid confusion.","section":"§6.2, (6.15)–(6.16)"},{"comment":"Reference [Ia3] contains a typo: 'Markov parititions' should be 'Markov partitions'.","section":"References"},{"comment":"The paragraph says the construction can be repeated 'finitely many times', but the proof only performs one cut in the F^s direction and one in the F^u direction. If iteration is intended, please state it explicitly and justify termination.","section":"Proposition 2.26, final paragraph"}],"recommendation":"major_revision","confidential_remarks":"The paper is ambitious and the construction is plausible, but the advertised iff rests on Proposition 2.26, whose key axioms are not actually verified. The authors should be asked to supply the missing verification or to weaken the main theorem accordingly. Also note the unusually large dependence on [Ia2] and [Ia]; if these results are not independently available, the manuscript will be difficult to referee rigorously."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nRead it. The main claim is real and significant: they show that an orientation-preserving strong Markovian action on a bifoliated plane—no dense-orbit assumption, no foliation-orientability assumption—produces a closed orientable 3-manifold, a topological Anosov flow, and a reduced Markov partition projecting down to the given family. That is a much cleaner statement than what BaFeMa/MaTa had, and the Markov partition lifting is genuinely new. The construction via positively oriented F^s-segments is the right idea, and the big-brother argument for cocompactness is clever. If all of this holds, it essentially closes the converse program in the topological setting.\n\nWhere I am less comfortable is exactly where the stress-test note points. Proposition 2.26 is load-bearing: it removes the corner condition and turns Theorem 1.5 into the advertised characterization of all strong Markovian actions. The Markovian intersection axiom is checked in detail, but strong finite return and expansivity are dismissed with “it is not difficult to check.” That is not enough in a paper whose main theorem depends on this cutting construction. The worry about cuts destroying strong finite return is concrete; I do not have a counterexample, and the claim may be true, but as written it is a gap in presentation. Also, Theorem 2.22—the hyperbolic behavior of periodic points—is imported from the second author's unpublished [Ia2], and Lemmas 2.15–2.18 are taken as verbatim transfers from [Ia]. That is a lot of weight on unavailable or very recent results. None of this is fatal by itself; self-citation becomes a problem only when the referee cannot check the cited results. I would want either [Ia2] posted or the relevant statements proved in this paper.\n\nMinor but worth fixing: Definition 1.3 forgets the orientation-preserving hypothesis that Theorem 1.5 needs, and the non-fully-orientable section leans on Barbot's habilitation Prop 1.36 without much comment. Both should be stated precisely.\n\nBottom line: the central architecture looks coherent, the construction is not fitting, and anyone working on Anosov flow classification or bifoliated plane actions should read this. It deserves a serious referee. Send it to review, and ask the referees specifically to verify Prop 2.26 and the transfer of Theorem 2.22. I would not accept it as-is; I would accept it modulo those checks.","headline":"The paper gives the cleanest converse yet for Barbot-Fenley: orientation-preserving strong Markovian actions are exactly what come from topological Anosov flows, with the corner-condition reduction the one step I want referees to push on.","tokens_in":39347,"tokens_out":2306,"would_cite":true,"duration_ms":25298,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D20","37C85","37B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"An orientation-preserving group action on a bifoliated plane comes from a topological Anosov flow on a closed orientable 3-manifold exactly when it preserves a strong Markovian family of rectangles.","keywords":["strong Markovian action","bifoliated plane","topological Anosov flow","Markov partition","orbit space","3-manifold","group action","corner condition"],"falsifier":"Exhibit a strong Markovian action (satisfying Definition 2.13) for which no invariant strong Markovian family satisfies the corner condition—for instance, a family whose every refinement forces a periodic point into the interior of a rectangle boundary—or, more directly, a strong Markovian family satisfying the corner condition for which the 'big brother' rectangle of Theorem-Definition 3.4 is not unique or does not exist (Remark 3.5 indicates this can happen without the corner condition). Such an example would contradict the claim that every strong Markovian action arises from an Anosov flow.","tokens_in":38487,"feed_emoji":"🌀","tokens_out":5830,"duration_ms":50848,"temperature":0.7,"pith_summary":"This paper proves a complete characterization: an orientation-preserving group action on a bifoliated plane—a plane with two transverse foliations—arises from a topological Anosov flow on a closed orientable 3-manifold exactly when the action preserves a strong Markovian family of rectangles. Such a family is a group-invariant collection of rectangles satisfying finiteness, Markovian intersection, strong finite return, and expansivity axioms; it encodes the finite combinatorics of a Markov partition. The authors construct, from these planar data alone, a closed 3-manifold and a topological Anosov flow whose orbit space is the given plane, whose fundamental-group action is conjugate to the original action, and whose reduced Markov partition projects precisely to the given rectangle family. They also show that a technical 'corner condition' on the rectangle family is not a genuine restriction, since every strong Markovian family can be cut into one satisfying it. The result matters because it recasts Anosov flows, up to orbital equivalence, as finite combinatorial data on the plane.","feed_headline":"Every strong Markovian action comes from an Anosov flow","feed_subtitle":"Finite rectangle data on a plane is shown to encode the full 3-dimensional dynamics up to orbit equivalence.","key_machinery":"The load-bearing object is a strong Markovian family: a ρ-invariant collection of rectangles (trivially bifoliated disks) covering the plane, with finitely many group orbits, the Markovian intersection axiom (two rectangles meet in a horizontal subrectangle of one and a vertical subrectangle of the other), a strong finite return axiom (every small quadrant germ is contained in a triple intersection R ∩ R_h ∩ R_v), and an expansivity axiom (nested rectangle chains collapse to a single leaf). Within such a family, the 'big brother' B(R) of a rectangle R is defined as the unique rectangle intersecting R exactly along R's positive unstable boundary and minimal for this property; its existence (T","core_discovery":"The central claim is Theorem 1.5: given an orientation-preserving strong Markovian action ρ of a torsion-free countable group G on a bifoliated plane (P, F^s, F^u) that preserves a strong Markovian family R satisfying the corner condition, there exists a closed orientable 3-manifold M with a topological Anosov flow Φ such that the bifoliated plane of Φ is isomorphic to (P, F^s, F^u), the π1(M)-action on that plane is conjugate to ρ, and the projection of the lift of a reduced Markov partition of Φ is exactly R. Since every strong Markovian action admits a family satisfying the corner condition (Proposition 2.26), the advertised conclusion follows: orientation-preserving strong Markovian acti","pith_inferences":["An implicit consequence is that Anosov flows up to orbital equivalence can be encoded as finite equivalence classes of strong Markovian families, suggesting a purely combinatorial (symbolic) classification of such flows.","The corner-condition cutting procedure hints at a normal-form theorem: every strong Markovian family can be refined so periodic points lie exactly at rectangle corners; because Proposition 2.26 is what removes the corner hypothesis from Theorem 1.5, verifying that cutting preserves the strong Markovian axioms in all cases is the key checkpoint.","The big-brother minimality resembles a deterministic 'next rectangle' rule; a testable extension is that the directed graph of rectangles with first-generation predecessor/successor relations forms a finite-state coding of the flow's return map.","The non-fully-orientable construction suggests that flows with orientation-reversing symmetries arise as quotients of orientation-preserving ones by a free involution, which may yield new examples by taking such quotients of known Anosov flows."],"forward_implications":["Every orientation-preserving strong Markovian action is realized by a topological Anosov flow on some closed orientable 3-manifold, so the finite rectangle combinatorics of a strong Markovian family completely determine the flow up to orbital equivalence.","The preserved strong Markovian family is precisely the projection of the lift of a reduced Markov partition of the flow, so Markov partitions can be reconstructed directly from planar data.","The construction works without assuming dense orbits or preservation of the orientations of the invariant foliations; the non-orientation-preserving case is handled by a fixed-point-free orbit-equivalence involution.","The same methods are stated to extend to actions preserving singular foliations, producing pseudo-Anosov flows; the authors defer that generalization to a subsequent work.","The theorem gives the converse to the known fact that every topological Anosov flow yields a strong Markovian action on its bifoliated plane, closing the circle between plane combinatorics and 3-dimensional dynamics."],"fun_headline_variants":["Strong Markovian actions realize Anosov flows","Anosov flows from Markovian plane actions","Markovian plane actions equal Anosov flows","Plane Markovian dynamics classify Anosov flows","Markovian rectangles on planes produce Anosov flows"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof's load-bearing premise is Proposition 2.26: that every strong Markovian action admits a strong Markovian family satisfying the corner condition (no periodic point lies in the interior of a rectangle boundary component); if this cutting construction fails to preserve the strong Markovian axioms for some action, the main theorem would be proved only under the extra corner-condition hypothesis.","fun_headline_variants_meta":{"raw":{"variants":["Strong Markovian actions realize Anosov flows","Anosov flows from Markovian plane actions","Markovian plane actions equal Anosov flows","Plane Markovian dynamics classify Anosov flows","Markovian rectangles on planes produce Anosov flows"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000205,"raw_usage":{"total_tokens":1179,"prompt_tokens":640,"completion_tokens":539,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":384,"completion_tokens_details":{"reasoning_tokens":464}},"tokens_in":384,"tokens_out":539,"duration_ms":5013,"temperature":1.0,"reasoning_tokens":464,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T01:57:18.786164+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a strong Markovian action (satisfying Definition 2.13) for which no invariant strong Markovian family satisfies the corner condition—for instance, a family whose every refinement forces a periodic point into the interior of a rectangle boundary—or, more directly, a strong Markovian family satisfying the corner condition for which the 'big brother' rectangle of Theorem-Definition 3.4 is not unique or does not exist (Remark 3.5 indicates this can happen without the corner condition). Such an example would contradict the claim that every strong Markovian action arises from an Anosov flow.","supporting_citations":[],"review_version":1}