{"id":"6035f5f3-1cf9-4fe7-8849-f12899d699df","arxiv_id":"2605.26980","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Investigates whether dynamical spectra for skew products with unit circle fiber have nonempty interior when Hausdorff dimension exceeds one and yield continuous functions from half-line intersections in conservative cases.","lead":"The paper studies dynamical Markov and Lagrange spectra for skew products of surface diffeomorphisms with unit circle fiber. A smart generalist might read it to learn how properties of these spectra extend from horseshoes to systems with circular fibers.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly notes that only the abstract is available, precluding verification of constructions or proofs. With no full argument accessible, no load-bearing technical flaw can be isolated; the headline claim is therefore left as stated.","tokens_in":1555,"tokens_out":245,"duration_ms":23001,"concrete_test":"Extract the precise definitions of the dynamical spectra for the skew products (likely in §2 or §3) and verify whether they reduce to the horseshoe case when the fiber map is trivial; if the reduction holds without extra hypotheses on the circle action, the extension is formally consistent.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract frames the work as an extension of known results on dynamical Markov/Lagrange spectra from horseshoes (nonempty interior for HD>1; continuous intersection functions in conservative case) to skew products of surface diffeomorphisms with unit circle fiber. No internal inconsistency, hidden assumption, or failure of the analogy is detectable from the given information; the central claim rests on the fiber preserving the necessary expansion/recurrence for the spectra to be well-defined and analyzed in the same manner.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript extends results on dynamical Markov and Lagrange spectra from horseshoes to skew products of surface diffeomorphisms with unit circle fiber. It claims that typical such spectra have nonempty interior when the Hausdorff dimension exceeds one, and that in the conservative setting the intersections of the spectra with half-lines determine a continuous function.","tokens_in":1614,"tokens_out":255,"duration_ms":30409,"significance":"If the claims are established with rigorous arguments, the work would enlarge the class of systems for which dynamical spectra are known to have positive Lebesgue measure or interior, and would supply new examples in which the conservative-case continuity property holds. This could be useful for studying partially hyperbolic dynamics and for testing the robustness of the horseshoe results under fiber extensions.","major_comments":[{"comment":"The provided text consists only of the abstract; no definitions of the skew-product maps, the precise construction of the dynamical spectra, the notion of 'typical,' or the Hausdorff-dimension hypothesis appear. Without these, the central claims cannot be verified and the analogy with the horseshoe case cannot be checked for load-bearing differences.","section":"Abstract"}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their report. The full manuscript contains the requested definitions and constructions; we address the comment below.","responses":[{"response":"The full manuscript (arXiv:2605.26980) defines the skew-product maps in Section 1 as extensions F:(x,θ)↦(f(x),θ+α(x)) of a surface diffeomorphism f with unit-circle fiber action α. The dynamical Markov and Lagrange spectra are constructed in Section 2 by recording limsup growth rates of derivatives along orbits of F, directly extending the horseshoe definitions while accounting for the fiber. 'Typical' is defined as a comeager set in the C¹ topology on the space of such skew products. The Hausdorff-dimension hypothesis requires dim_H(Λ)>1 for the base hyperbolic set Λ. These elements are used to prove the nonempty-interior and continuity claims in Theorems A and B, with the unit-circle fiber permitting both conservative and dissipative cases. The analogy with horseshoes is load-bearing only in the base dynamics; the fiber extension preserves the dimension and continuity properties under the stated hypotheses. If only the abstract was received, the complete text is available on arXiv.","revision_made":"no","referee_comment":"[Abstract] The provided text consists only of the abstract; no definitions of the skew-product maps, the precise construction of the dynamical spectra, the notion of 'typical,' or the Hausdorff-dimension hypothesis appear. Without these, the central claims cannot be verified and the analogy with the horseshoe case cannot be checked for load-bearing differences."}],"tokens_in":1098,"tokens_out":343,"duration_ms":55319,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is an extension of known facts about dynamical Markov and Lagrange spectra. For horseshoes with Hausdorff dimension above one, typical spectra have nonempty interior, and in the conservative case the intersections with half-lines give a continuous function. The paper asks the same questions for skew products of surface diffeomorphisms with unit circle fiber and claims the answers carry over.\n\nWhat is actually new is the move to this fiber setting. The abstract presents it as unexplored territory, so the work is trying to broaden the class of systems where these spectral properties are known.\n\nThe paper does the basic job of stating the analogous claims. If the constructions preserve the necessary expansion and recurrence so that the spectra are well-defined in the same way, then the extension is straightforward in principle.\n\nThe soft spot is that the abstract gives almost no information on how the skew products are built or why the fiber does not break the arguments that worked for horseshoes. Without seeing the definitions and the estimates, it is impossible to judge whether the analogy is forced or natural. That is the only real gap visible from what is here.\n\nThis is for people already working on dynamical spectra in low-dimensional dynamics. A reader who cares about horseshoe spectra might want to see whether the circle fiber changes anything. It is narrow enough that most people outside the subfield will not need it.\n\nI would send it to referees. The question is well-posed and the target is clear; a serious review can check whether the technical steps hold.","headline":"This extends dynamical spectra results from horseshoes to skew products with unit circle fibers, but the abstract leaves the key constructions and proofs unexamined.","tokens_in":2069,"tokens_out":380,"would_cite":false,"duration_ms":16769,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Skew products of surface diffeomorphisms with unit circle fiber produce dynamical spectra that typically have nonempty interior when Hausdorff dimension exceeds one.","keywords":["dynamical spectra","Markov spectrum","Lagrange spectrum","skew products","unit circle fiber","Hausdorff dimension","conservative dynamics","surface diffeomorphisms"],"falsifier":"An explicit example of a skew product with unit circle fiber whose base has Hausdorff dimension greater than one but whose associated dynamical spectrum has empty interior.","tokens_in":2468,"feed_emoji":"","tokens_out":439,"duration_ms":36389,"temperature":0.7,"pith_summary":"The paper extends the analysis of dynamical Markov and Lagrange spectra from horseshoes to skew products consisting of a surface diffeomorphism base with a unit circle fiber. It aims to show that these spectra have nonempty interior for typical constructions whenever the Hausdorff dimension is greater than one. In conservative settings the intersections of the spectra with half-lines form a continuous function. A sympathetic reader would care because the result indicates that interior and continuity properties of spectra persist when the underlying dynamics are enlarged by a circle fiber rather than remaining confined to hyperbolic horseshoes.","feed_headline":"Skew-product spectra have interior above dimension one","feed_subtitle":"Typical constructions with unit circle fiber yield nonempty interior for Hausdorff dimension greater than one, and conservative intersection","key_machinery":"The skew product map formed by a base surface diffeomorphism and dynamics on the unit circle fiber, which permits the dynamical spectra to be defined and studied by direct analogy with the horseshoe case.","core_discovery":"For typical skew products of surface diffeomorphisms with unit circle fiber the dynamical spectra have nonempty interior when the Hausdorff dimension is greater than one, and in the conservative setting the intersections of the spectra with half-lines determine a continuous function.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Skew-product spectra interior above dimension one","Typical skew products spectra interior when dim exceeds one","Conservative skew products spectra intersections form continuous function","Unit circle fiber skew products dynamical spectra nonempty interior"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The skew products must be constructed so that the dynamical spectra can be defined and analyzed in the same way as for horseshoes while the unit circle fiber preserves the needed expansion and recurrence properties.","fun_headline_variants_meta":{"raw":{"variants":["Skew-product spectra interior above dimension one","Typical skew products spectra interior when dim exceeds one","Conservative skew products spectra intersections form continuous function","Unit circle fiber skew products dynamical spectra nonempty interior"]},"model":"grok-4.3","cost_usd":0.008869,"raw_usage":{"total_tokens":3893,"prompt_tokens":476,"num_sources_used":0,"completion_tokens":56,"cost_in_usd_ticks":88687000,"prompt_tokens_details":{"text_tokens":476,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3361,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":476,"tokens_out":56,"duration_ms":43030,"temperature":1.0,"reasoning_tokens":3361,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-01T15:59:34.041168+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit example of a skew product with unit circle fiber whose base has Hausdorff dimension greater than one but whose associated dynamical spectrum has empty interior.","supporting_citations":[],"review_version":1}