{"id":"880da132-42c8-4cb2-9682-d82ae431289a","arxiv_id":"2411.14844","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For affine Anosov skew products over an irrational rotation, the exponential growth rate of degree-m invariant tori equals the topological entropy.","lead":"This paper shows that for affine Anosov mappings on the torus driven by an irrational rotation, the number of invariant tori of a specific degree grows exponentially at the same rate as the system's topological entropy. It offers a way to read entropy from counting higher-dimensional periodic structures when ordinary periodic points are absent.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2(1) is not proven: the uniqueness of m rests on the false inclusion (4.5), though a corrected rescaling argument appears available.","rationale":"The reader's weakest assumption correctly identifies the false inclusion (4.5) as the load-bearing step for the uniqueness of m, which is the central novelty of the paper. I agree that the written proof is invalid at that point: the claimed subset relation between solution sets of induced systems with different base step sizes does not hold literally, and the subsequent conclusion that all invariant tori have the same degree m is therefore unsupported. The proposed correction—embedding solutions via g(ω)↦g(lω)—is natural and likely restores the argument, but it is not what appears in the manuscript. The paper also contains a second flaw in Lemma 2.5's claim that ||r||_{C0}<1 implies deg(r)=0, as the reader notes; this affects the existence proof but is similarly repairable by choosing the C2 approximation to preserve the degree. Both problems are real proof gaps, not mere stylistic issues, so a rejection of the current version is justified. I do not see evidence that the final theorem is false, only that the submitted proof is not rigorous; hence the reader's REJECT verdict with moderate confidence should stand, and no verdict change is needed.","tokens_in":12843,"tokens_out":29918,"duration_ms":308802,"concrete_test":"Re-derive the uniqueness step of Section 4 with the corrected map T_l: A^n_m → A^n_lm, (T_l g)(ω)=g(lω). Verify directly that T_l is well-defined and injective, and combine this with (4.6) to prove surjectivity from the equality of finite cardinalities. Then test the key substitution: for a generic solution G of ϕ_lm, set g(ω)=G(ω/l) and check whether g satisfies the ϕ_m equation for all ω. If this substitution succeeds for every G, the corrected proof is sound; if an explicit G is found for which it fails, the uniqueness claim of Theorem 1.2 is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of uniqueness of m in Section 4 relies on the assertion, immediately before (4.5), that every random periodic point of the induced system ϕ_m is also a random periodic point of ϕ_lm for every l. This is false as stated. A map g solving g(ω+α/m)=Ag(ω)+h(mω) does not generally satisfy the ϕ_lm relation g(ω+α/(lm))=Ag(ω)+h(lmω), because the increments α/m and α/(lm) differ; substituting one equation into the other gives no reason for the forced terms to agree. Consequently the inclusion A^n_m ⊆ A^n_lm in (4.5) is invalid. The argument can likely be repaired by replacing (4.5) with the embedding T_l(g)(ω)=g(lω), which does send solutions of ϕ_m to solutions of ϕ_lm, and then using the cardinality identity (4.6) to obtain the needed equality A^n_m = A^n_lm. But as written, the derivation of G(ϕ)=∪_n G(ϕ;n,m) breaks at exactly the point that guarantees the uniqueness of the degree m, so part (1) of Theorem 1.2 is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the skew-product system φ(ω,x)=(ω+α, Ax+h(ω)) on T×T², where A∈GL(2,Z) is hyperbolic and h is continuous. It introduces φ^n-invariant tori of degree m as multi-valued graphs and proves Theorem 1.2: for m the smallest positive integer with m(I-A)^{-1}(deg h_1, deg h_2)^T∈Z², every invariant torus has degree m; for each n there are finitely many invariant tori of degree m of order at most n; and the exponential growth rate of their number equals the topological entropy of φ. The proof proceeds by an existence result via C² approximation and a linear cohomological equation, a classification of invariant tori of the homogeneous system, a coset description of the random periodic points, and an entropy comparison through a finite-to-one factor map.","tokens_in":12988,"tokens_out":13628,"duration_ms":139376,"significance":"If established, the theorem gives a clean, explicitly computable degree for invariant tori of quasi-periodically forced affine Anosov maps and relates their counting function to topological entropy, complementing the density and uncountability results of Huang–Lian–Lu. The strategy of passing to induced systems, using a finite-to-one factor to compare entropies, and counting through the homogeneous system is natural and, in its main lines, economical. The statement is also concretely testable: the degree m is determined by the homology class of h, and the growth rate is a genuine prediction rather than a fitted quantity. However, several load-bearing proof steps are currently incorrect or incomplete, so the result should not be regarded as established in this version.","major_comments":[{"comment":"The assertion immediately before (4.5), that every random periodic point of the induced system φ_m is automatically a random periodic point of φ_lm for every l, is false. A relation for the rotation increment α/m cannot be substituted into a relation for the increment α/(lm); the forced terms h(mω+jα) and h(lmω+jα) differ. Consequently the inclusion A_m^n ⊆ A_lm^n in (4.5) is invalid, and the derivation of A_m^n = A_lm^n collapses. This is exactly the step that proves uniqueness of the degree m in Theorem 1.2(1). The argument can likely be repaired by using the embedding T_l(g)(ω)=g(lω) from solutions of φ_m into solutions of φ_lm and then applying the cardinality identity (4.6), but as written the proof of part (1) of Theorem 1.2 is not valid.","section":"Section 4, Eq. (4.5)"},{"comment":"The proof infers deg(r)=(0,0) from ‖r‖_{C^0}<1. This inference is false: with the standard flat metric on T, the map r(ω)=(ω mod 1, 0) has C^0 norm at most 1/2<1 but degree (1,0). The lemma as stated is therefore false. In the application in Proposition 2.1, one can choose the C² approximation ~h so close to h that deg(h−~h)=0, and then state Lemma 2.5 under the hypothesis deg(r)=0, but the current statement and proof are not valid. Since Proposition 2.1 supplies the invariant torus whose degree is claimed to be m, this is a load-bearing issue for the existence part.","section":"Lemma 2.5"},{"comment":"The proof of Lemma 3.1 is incomplete. To prove that a nonconstant invariant torus of the homogeneous system cannot exist, the text asserts that (Im(˜g)\\setminus{˜g(0)}) intersects W^s(0) or W^u(0) merely because those manifolds are dense. Density only forces intersection with nonempty open sets, and Im(˜g)\\setminus{˜g(0)} need not contain an open set; moreover the claim that removing one point from a continuous image of T leaves a path-connected set is not true for general Peano continua. Since Lemma 3.1 gives the correspondence between invariant tori of the homogeneous system and periodic points of A, this gap is central to the counting identity (4.4). A correct proof can be obtained, for instance, by taking Fourier coefficients in g(ω+β)=A g(ω) and using that A has no eigenvalues on the unit circle for k≠0.","section":"Lemma 3.1"}],"minor_comments":[{"comment":"In the displayed computation after (2.2), the expression g(ω+nω) should be g(ω+nα), and the equals sign before it should include the mod-1 reduction on the base coordinate.","section":"Lemma 2.2, proof"},{"comment":"The reference 'By Lemma 2.4' near the end of the proof should be 'By Lemma 2.2'; the numbering appears to be a typo.","section":"Lemma 2.3, final paragraph"},{"comment":"The phrase 'collection of all φ^k(k≤n)-invariant tori' defining G(ϕ;n,m) is ambiguous; it should say explicitly that a torus belongs to G(ϕ;n,m) if it is φ^k-invariant for at least one k with 1≤k≤n.","section":"Definition 1.1 and Section 1.2"},{"comment":"The notation m'∈N∩(0,m) in Lemma 2.3 is nonstandard but understandable; consider writing 1≤m'<m.","section":"Proposition 2.1"}],"recommendation":"major_revision","confidential_remarks":"The central theorem is plausible and the three main gaps I found appear to be repairable within the scope of the paper: replace (4.5) by the rescaling embedding, state Lemma 2.5 under deg(r)=0 and choose the approximating ~h accordingly, and prove Lemma 3.1 by a Fourier argument instead of the density argument. I therefore do not recommend rejection, but the number of incorrect statements in load-bearing lemmas is too large for the current version to be accepted. I would ask the authors to revise carefully and to make the repairs explicit rather than merely asserting them."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nYou should know that this paper has a genuinely interesting theorem but the written proof is not reliable. Theorem 1.2—that in affinely forced Anosov skew products on T×T² the invariant tori of a single degree m grow at the topological entropy rate—is the first result of this kind for systems without periodic orbits, and it deserves attention. But two load-bearing claims in the proof are false, and the uniqueness part is not established.\n\nWhat is good: the idea of counting invariant tori of fixed degree instead of periodic orbits is new and natural. Lemma 3.2, showing that the random periodic points of the forced system form an affine space over the homogeneous system, is clean and correct. The Fourier construction in Lemma 2.3 for the C² case is elegant. There are no fitted parameters and the argument is self-contained except for Claim 2.4, deferred to Lemma 7.3 of [6], a published paper by one of the authors; that is a technical regularity lemma, not the main result, so I do not see circularity.\n\nSoft spots:\n\n1. Lemma 2.5 claims that ||r||_{C0} < 1 implies deg(r) = 0. That is false. A map like r(ω) = (ω + 1/2 mod 1, 0) has C0 norm ≤ 1/2 and degree 1. The proof of Proposition 2.1 can be repaired by choosing the C² approximation with the same degree as h, so deg r = 0 holds by construction, but the lemma as stated is wrong.\n\n2. Equation (4.5) is also false. A random periodic point of ϕ_m of period n does not generally satisfy the ϕ_{lm} relation for n > 1; the forcing terms accumulate as h(mω + jα) under ϕ_m but as h(lmω + jα/l) under ϕ_{lm}. The map g(ω) ↦ g(lω) sends fixed points of ϕ_m to fixed points of ϕ_{lm}, but it does not send period-n solutions to period-n solutions for n ≥ 2. So the inclusion A^n_m ⊆ A^n_{lm} fails, and the equality A^n_m = A^n_{lm} used to conclude that all tori have degree m does not follow. A plausible repair is to show from the Fourier support that every solution of ϕ_{lm} has period 1/l, so the induced torus has degree m, but that argument is absent.\n\nThe central theorem is plausible and likely true. But the written proof breaks exactly where the uniqueness of m is derived. This paper deserves a serious referee, but not acceptance as is; it needs major revision. I would send it out with a request to fix the two points above.\n\nBest,\n[You]","headline":"Plausible and interesting theorem, but the written proof breaks at two false claims; uniqueness of the degree m is not established as written.","tokens_in":13604,"tokens_out":18192,"would_cite":false,"duration_ms":165310,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D20","37C35"],"pacs":[],"model":"deepseek-v4-flash","headline":"For affine Anosov maps with quasi-periodic forcing, one integer m—fixed by the winding numbers of h—describes every invariant torus, and the degree-m tori count grows at the topological entropy rate.","keywords":["affine Anosov mapping","quasi-periodic force","invariant torus","random periodic point","topological entropy","skew product","winding number","hyperbolic toral automorphism"],"falsifier":"For a concrete system, e.g., $A=\\begin{pmatrix}2&1\\\\1&1\\end{pmatrix}$, $\\alpha=\\sqrt{2}-1$, $h(\\omega)=(\\cos 2\\pi\\omega,0)$, one can solve the period-$n$ cohomological equation for steps $\\alpha$ and $\\alpha/2$ by Fourier series: a solution for step $\\alpha/2$ will not satisfy the step-$\\alpha$ equation pointwise, so $A^n_1\\not\\subset A^n_2$ as function sets, which isolates the gap in the uniqueness proof; the entropy formula itself can be tested by enumerating degree-1 tori for small $n$ and checking whether $(1/n)\\log\\sharp$ approaches $\\log\\lambda$.","tokens_in":12552,"feed_emoji":"🌀","tokens_out":11400,"duration_ms":102675,"temperature":0.7,"pith_summary":"This paper studies skew-product maps on $\\mathbb{T}\\times\\mathbb{T}^2$ given by $(\\omega,x)\\mapsto(\\omega+\\alpha, Ax+h(\\omega))$, where $\\alpha$ is irrational, $A$ is a hyperbolic matrix with integer entries, and $h$ is continuous. It proves that there is a unique positive integer $m$, determined only by the winding numbers of the two components of $h$, with the following property: every invariant torus of the system has degree $m$, and the number of degree-$m$ tori invariant up to time $n$ is finite and grows exponentially with rate equal to the topological entropy. This transplants the classical Bowen principle—periodic orbits counted at the entropy rate—to a setting without genuine periodic orbits, where tori take over the counting role. The integer $m$ is the smallest one that clears the denominators of a cohomological equation relating the degree of the torus to the degree of the forcing.","feed_headline":"One integer m fixes every torus; counts hit entropy rate","feed_subtitle":"The integer m comes from the forcing's winding numbers, and torus counts match the entropy of the linear part.","key_machinery":"The load-bearing construction is the induced system $\\phi_m(\\omega,x)=(\\omega+\\alpha/m,\\,Ax+h(m\\omega))$, together with the finite-to-one projection $K_m(\\omega,x)=(m\\omega,x)$ that yields $h_{\\mathrm{top}}(\\phi)=h_{\\mathrm{top}}(\\phi_m)$. An invariant torus of degree $m$ of $\\phi$ is equivalent to a continuous random periodic point of $\\phi_m$; the space of such points is an affine space modelled on the random periodic points of the homogeneous system $(\\omega,x)\\mapsto(\\omega+\\alpha,Ax)$. The degree condition on $m$ comes from comparing winding numbers in the lifted equation $g(\\omega+\\alpha)=Ag(\\omega)+h(\\omega)$, which forces $\\deg(g)=m(I-A)^{-1}\\deg(h)$ to be an integer vector.","core_discovery":"The central claim is Theorem 1.2. Let $m$ be the smallest positive integer satisfying $m(I-A)^{-1}(\\deg h_1,\\deg h_2)^T\\in\\mathbb{Z}^2$. Then $G(\\phi)=\\cup_n G(\\phi;n,m)$, each $\\sharp G(\\phi;n,m)$ is finite, and $\\lim_{n\\to\\infty}(1/n)\\log\\sharp G(\\phi;n,m)=h_{\\mathrm{top}}(\\phi)$. In other words, the degree of every invariant torus is forced by a Diophantine integrality condition on the forcing, and the tori of that degree reproduce the exponential complexity of the system. The argument first produces one invariant torus of degree $m$ by solving a cohomological equation with Fourier series, then shows that all other invariant tori are affine translates of the homogeneous system's tori, which are exactly graphs of periodic points of $A$.","pith_inferences":["A natural testbed is to replace $\\mathbb{T}^2$ with $\\mathbb{T}^d$: the same cohomological integrality condition should define a degree vector, and the entropy identity should persist whenever the cohomological equation has a continuous solution, which would show that the mechanism is the affine structure rather than the dimension.","When $\\deg(h)=0$ the theorem gives $m=1$, so invariant tori reduce to graphs of continuous random fixed points of $\\phi$ itself, reproducing classical random periodic point counting in that case.","The set inclusion (4.5) used for uniqueness is not literally correct: a solution of the step-$\\alpha/m$ system embeds into the step-$\\alpha/(lm)$ system through $g(\\omega)\\mapsto g(l\\omega)$, but the two solution spaces are not identical as function sets; the cardinality identity (4.6) still goes through, so the theorem's conclusions are recoverable, but the written proof needs this repair."],"forward_implications":["Because the growth rate equals $h_{\\mathrm{top}}(\\phi)=\\log\\lambda$, where $\\lambda$ is the expanding eigenvalue of $A$, the forcing $h$ changes which tori exist but not how fast they proliferate.","All invariant tori for every iterate $n$ share the same degree $m$, so there are no tori of other degrees to account for.","The number of degree-$m$ tori up to time $n$ equals the number of periodic points of $A$ of period at most $n$, giving an exact combinatorial dictionary between tori and periodic orbits of the linear part.","The degree $m$ is computable directly from the winding numbers of $h_1$ and $h_2$, so one can read off the allowed torus degree before solving any equations."],"supporting_citations":[{"why":"Defines topological entropy, the quantity the theorem equates with the torus growth rate.","marker":"[1]"},{"why":"Supplies Bowen's separated-set definition of entropy and the entropy formula for hyperbolic toral automorphisms used to compute $h_{\\mathrm{top}}(\\phi_0)$.","marker":"[3]"},{"why":"Establishes the classical principle that periodic orbits are counted at the entropy rate, which the paper transposes to invariant tori.","marker":"[4]"},{"why":"Introduces random periodic orbits for Anosov systems with quasi-periodic forcing and provides the Fourier-series regularity argument used in the construction of the degree-$m$ torus.","marker":"[6]"},{"why":"Introduces the random periodic point concept that underlies the induced-system formulation of invariant tori.","marker":"[8]"}],"fun_headline_variants":["One integer m sets torus counts equal to entropy rate","Unique m from winding numbers makes torus counts hit entropy","Forced Anosov tori: single integer m reproduces topological entropy","A unique Diophantine m forces tori growth rate to match entropy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness of the degree $m$ in Theorem 1.2 rests on the assertion in Section 4 that every random periodic point of the induced system with step $\\alpha/(lm)$ is already one for step $\\alpha/m$; as stated this inclusion is false, although the intended embedding of solution spaces would still preserve the cardinality comparison.","fun_headline_variants_meta":{"raw":{"variants":["One integer m sets torus counts equal to entropy rate","Unique m from winding numbers makes torus counts hit entropy","Forced Anosov tori: single integer m reproduces topological entropy","A unique Diophantine m forces tori growth rate to match entropy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000185,"raw_usage":{"total_tokens":1237,"prompt_tokens":779,"completion_tokens":458,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":395,"completion_tokens_details":{"reasoning_tokens":384}},"tokens_in":395,"tokens_out":458,"duration_ms":4912,"temperature":1.0,"reasoning_tokens":384,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:51:27.568574+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete system, e.g., $A=\\begin{pmatrix}2&1\\\\1&1\\end{pmatrix}$, $\\alpha=\\sqrt{2}-1$, $h(\\omega)=(\\cos 2\\pi\\omega,0)$, one can solve the period-$n$ cohomological equation for steps $\\alpha$ and $\\alpha/2$ by Fourier series: a solution for step $\\alpha/2$ will not satisfy the step-$\\alpha$ equation pointwise, so $A^n_1\\not\\subset A^n_2$ as function sets, which isolates the gap in the uniqueness proof; the entropy formula itself can be tested by enumerating degree-1 tori for small $n$ and checking whether $(1/n)\\log\\sharp$ approaches $\\log\\lambda$.","supporting_citations":[{"cited_title":"and McAndrew, M.H","cited_arxiv_id":null,"evidence_quote":"Defines topological entropy, the quantity the theorem equates with the torus growth rate."},{"cited_title":"Entropy for group endomorphisms and homogeneous spaces","cited_arxiv_id":null,"evidence_quote":"Supplies Bowen's separated-set definition of entropy and the entropy formula for hyperbolic toral automorphisms used to compute $h_{\\mathrm{top}}(\\phi_0)$."},{"cited_title":"Periodic points and measures for Axiom A diffeomorphisms","cited_arxiv_id":null,"evidence_quote":"Establishes the classical principle that periodic orbits are counted at the entropy rate, which the paper transposes to invariant tori."},{"cited_title":"Dynamical complexity of Anosov systems driven by a quasi-periodic forcing","cited_arxiv_id":null,"evidence_quote":"Introduces random periodic orbits for Anosov systems with quasi-periodic forcing and provides the Fourier-series regularity argument used in the construction of the degree-$m$ torus."},{"cited_title":"Periodicity and Sharkovsky’s theorem for random dynamical systems","cited_arxiv_id":null,"evidence_quote":"Introduces the random periodic point concept that underlies the induced-system formulation of invariant tori."}],"review_version":1}