{"id":"0b48f96b-8518-4fb5-b5cf-fa2f0a8dceec","arxiv_id":"2504.20300","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Near 3 the authors construct big subsets of the Lagrange spectrum with coinciding truncated and level-set dimensions and prove a shrinking upper bound for the Hausdorff dimension of the Markov-minus-Lagrange set.","lead":"This paper studies the classical Lagrange and Markov spectra just above 3. It builds large-dimensional subsets of the Lagrange spectrum where the level-set Hausdorff dimension matches the truncated-spectrum dimension, and it gives an upper bound for the dimension of the Markov-minus-Lagrange difference near 3 that tends to zero.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1's level-set equality D(t)=HD(ℓ^{-1}(t)) is delegated to [12, §3.3] with only a claim that the hypotheses are 'similar'; the second and fourth bullets stay conditional on an unverified extension.","rationale":"The reader's weakest_assumption correctly identifies the most load-bearing concern: the equality D(t)=HD(ℓ^{-1}(t)) on B_r, and the strict monotonicity of D|B_r, are not proved here but imported from [12, §3.3] and [12, Cor. 3.9]. This is structurally different from the paper's own new connection schemes, which are proved in detail. The paper's central new theorems are precisely about level sets and monotonicity, so an unverified dependency at that point is more serious than the use of [13, Lemma 5.7] in Proposition 5.1; a failure of that lemma would damage the dimension bounds, but a failure of the imported construction destroys the main content of Theorem 1.1. I see no internal inconsistency in the rest of the argument; the Farey/alphabet machinery and the connection schemes are coherent and carefully written. Thus the correct verdict remains CONDITIONAL: the theorems are plausible and well-motivated, but the key level-set property is conditional on an unverified extension of a prior result. My read does not change the reader's verdict, hence UNCHANGED.","tokens_in":54464,"tokens_out":8232,"duration_ms":73930,"concrete_test":"Independently re-derive Proposition 3.3 of [12] in the setting of §6.1: take t ∈ B_r, choose s_n ∈ B̃_r increasing to t and ε_n → 0, and verify that Λ(s_n,ε_n) is nested, has max f → t, has HD → HD((Λ(2))_t), and admits the connecting-orbit structure used to build θ. If the construction does not apply, compute HD(ℓ^{-1}(t)) directly from the symbolic description of B_r and compare it with D(t); a mismatch of positive size would refute the second bullet.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.1's second bullet, and via Proposition 6.1 also the fourth bullet, is not carried out in this paper. In §6.1, after constructing the subhorseshoes Λ(s_n,ε_n), the text states that 'These conclusions are similar to the hypothesis of proposition 3.3 of [12]' and asserts that an increasing sequence of subhorseshoes yields a homeomorphism θ: K^u(Λ(s_0,ε_0)) → ℓ^{-1}(t) with Hölder inverse of exponent arbitrarily close to 1, 'the details are in Section 3.3 of [12]'. For this imported construction to be applicable, the particular family Λ(s_n,ε_n) used here must satisfy at least: (i) nestedness in n; (ii) max f|Λ(s_n,ε_n) → t; (iii) HD(Λ(s_n,ε_n)) → HD((Λ(2))_t); and (iv) the connecting-orbit condition required by [12]'s construction to produce a bijective map with Hölder-inverse. The present text verifies none of these explicitly: it asserts (ii) and (iii) as limits, does not address (i) or (iv), and Proposition 6.1 is justified in one sentence by 'the spectral decomposition theorem and Corollary 3.9 of [12]'. If the imported construction does not extend to these sequences, Theorem 1.1's second and fourth bullets fail. This is not a disagreement with consensus; it is an unverified, load-bearing dependency on a same-group preprint.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Hausdorff dimension of the Lagrange spectrum L and the difference set M \\ L near the value 3. Theorem 1.1 constructs a decreasing sequence a_r → 3 such that, for each r, there is a set B_r ⊂ (a_{r+1}, a_r) ∩ L that carries the full Hausdorff dimension of the spectrum in that interval, satisfies D(t) = HD(ℓ^{-1}(t)) for every t ∈ B_r, makes D strictly increasing on B_r, and is contained in the accumulation set L′. Theorem 1.2 gives a quantitative upper bound HD((M \\ L) ∩ (-∞, 3+ρ)) ≤ (log|log ρ| - log(log|log ρ|) + C)/|log ρ| for small ρ > 0. The central technical result is Proposition 5.1, which states that a subhorseshoe of Λ(2) with max f < 3 + 6^{-3n} that does not connect with the orbit ψ_b before max f + ε has Hausdorff dimension at most C_0/n. The proof of Proposition 5.1 occupies most of the paper and is built from a case analysis of connection schemes, forced-letter arguments, and an imported lemma, Lemma 5.7, from the same-group preprint [13].","tokens_in":54733,"tokens_out":4290,"duration_ms":47680,"significance":"If the main results hold, the paper makes a genuine contribution to the fine structure of the classical Lagrange and Markov spectra near 3. Proposition 5.1 is a substantial and plausibly useful estimate: it turns non-connection with ψ_b into a uniform dimension bound, and Theorem 1.2 derives from it a nontrivial upper bound for M \\ L near 3. Theorem 1.1 identifies a large-dimensional subset of L where the level sets ℓ^{-1}(t) have the same dimension as the initial segments ℓ^{-1}(-∞,t), a property previously known only for the interior of the spectra. The paper contains no free parameters and the main new estimates are not used as inputs to the derivation. However, the proof of Theorem 1.1 depends crucially on an imported construction from [12, §3.3] that is not reproduced or verified for the specific subhorseshoe sequences used here, and the strict monotonicity step relies on a one-sentence citation to [12, Corollary 3.9]. These dependencies are load-bearing and make the current version conditional. The paper is not fully self-contained in exactly the places where its main theorem is most novel.","major_comments":[{"comment":"The proof of the second and fourth bullets of Theorem 1.1 is not carried out in this paper. After constructing the subhorseshoes Λ(s_n, ε_n), the text states that 'These conclusions are similar to the hypothesis of proposition 3.3 of [12]' and asserts that an increasing sequence of subhorseshoes yields a homeomorphism θ: K^u(Λ(s_0, ε_0)) → ℓ^{-1}(t) with Hölder inverse of exponent arbitrarily close to 1, with 'the details in Section 3.3 of [12]'. The present text verifies none of the conditions needed for that construction: nestedness of the sequence, convergence of max f|Λ(s_n, ε_n) to t, convergence of HD(Λ(s_n, ε_n)) to HD((Λ(2))_t), and the connecting-orbit condition required to produce a bijective map with Hölder inverse. The asserted limits do not by themselves give the homeomorphism, and the strict monotonicity statement D|_{B_r} is afterwards justified by Proposition 6.1, which is itself asserted in one sentence. Because these are load-bearing for Theorem 1.1, the authors should either reproduce the full argument of [12, §3.3] in the present setting or state and prove a precise theorem whose hypotheses are checked for the particular sequence Λ(s_n, ε_n).","section":"§6.1, proof of Theorem 1.1"},{"comment":"Lemma 5.7 is stated without proof and attributed to [13], yet it is used in all of the connection schemes (Lemmas 5.8 through 5.13) that form the backbone of Proposition 5.1. The lemma compares λ(σ^j(... ; ... β_2)) with the maximum of two Markov values plus 1/2^{T-1}, and its exact hypotheses on the tails β_1, β_2, β_3 and on the finite common block are essential for the contradiction arguments. Since the proof of the main theorems rests on this lemma, the authors should include a proof or a self-contained statement with all hypotheses made explicit and verified in the context where it is applied.","section":"§5.1.2, Lemma 5.7"},{"comment":"Proposition 6.1 claims that for two subhorseshoes Λ̃_1 ⊂ Λ̃_2 with proper inclusion one has HD(Λ̃_1) < HD(Λ̃_2), and it is justified only by 'the spectral decomposition theorem and Corollary 3.9 of [12]'. This is a strong rigidity statement and it is used directly to prove that D|_{B_r} is strictly increasing. The cited corollary is not stated or proved in this paper, and the spectral decomposition theorem alone does not imply strict dimension increase for arbitrary proper inclusions of transitive hyperbolic sets. The authors should either prove Proposition 6.1 or state the precise result from [12] and verify that its hypotheses hold for the specific subhorseshoes Λ(t, ε) appearing in the proof.","section":"§6.1, Proposition 6.1"}],"minor_comments":[{"comment":"The statement begins 'Suppose Λ_1 and Λ_1 are subhorseshoes'; the second symbol should be Λ_2.","section":"§2.1, Proposition 2.4"},{"comment":"The notation is not fully defined: the Markov value m of a finite or one-sided sequence is used without specifying how the one-sided tails are completed to bi-infinite sequences, and the role of the parameter T in the inequality is not discussed.","section":"§5.1.2, Lemma 5.7"},{"comment":"Reference [2] has a broken title, 'S. Roma˜naFractal dimensions' with a missing space and comma; reference [3] lacks publication data; reference [4] is listed as arXiv only despite being cited for specific numerical constants.","section":"References"},{"comment":"The abstract states B_r ⊂ (a_{r+1}, a_r) ∩ L′ while Theorem 1.1 states B_r ⊂ (a_{r+1}, a_r) ∩ L and adds B_r ⊂ L′ as the last bullet; the notation L′ is used before it is defined, and the two formulations should be reconciled.","section":"Abstract and Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The paper's main theorems are interesting, but the proof relies at several crucial points on unpublished same-group preprints [12] and [13], and the current version does not state their results as formal theorems or verify all hypotheses. In particular, the construction of the homeomorphism θ in §6.1 is delegated to [12, §3.3] and the strict dimension inequality in Proposition 6.1 is delegated to [12, Corollary 3.9]. If the editor is willing to accept such dependencies, the paper could be considered conditionally; otherwise the authors should be asked to include full proofs or precise statements with verifiable hypotheses. The heavy reliance on same-group preprints is not, by itself, misconduct, but it does affect the verifiability of the main claims."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something real: it constructs a decreasing sequence a_r → 3 and, inside each interval (a_{r+1}, a_r), a large subset B_r of the Lagrange spectrum on which D(t) = HD(ℓ^{-1}(t)) and D is strictly increasing. It also proves the first upper bound for HD((M\\L) ∩ (-∞, 3+ρ)) that tends to 0 as ρ→0. The upper bound is a genuine new result, and the connection schemes in Section 5 are the heart of the paper: they are intricate, appear original, and are the main technical engine. Proposition 5.1, which bounds the dimension of subhorseshoes that do not connect with ψ_b, is mostly proved in full, with dependence on Lemma 5.7 from [13] and some lemmas from [2] clearly cited.\n\nThe soft spot is exactly where the reader put it. The proof of Theorem 1.1's second bullet — D(t) = HD(ℓ^{-1}(t)) for t ∈ B_r — is not carried out in this paper. In Section 6.1, after building the subhorseshoes Λ(s_n, ε_n), the text says the conclusions are “similar to the hypothesis of proposition 3.3 of [12]” and that a homeomorphism with Hölder inverse can be constructed, with “the details in Section 3.3 of [12]”. But the paper does not verify that this particular family satisfies the needed hypotheses: nestedness, the connecting-orbit condition, and the exact convergence of dimensions. Proposition 6.1 is also imported from [12] in one sentence. This is a load-bearing, unverified dependency on a same-group preprint, and the stress-test note is correct that the second and fourth bullets of Theorem 1.1 would fail if the imported construction does not extend.\n\nThat said, the dependency is explicit, not hidden, and the rest of the paper gives me confidence the gap is fillable. The bound on the complement HD(((a_{r+1}, a_r) ∩ L)\\B_r) < d(a_{r+1}) is established directly from Proposition 5.1, and the strict monotonicity argument is clear once Proposition 6.1 is granted.\n\nWho this is for: researchers working on the classical or dynamical Markov and Lagrange spectra, and anyone interested in fractal dimensions of Diophantine approximation sets. The paper is well-structured and the writing is clear, though it assumes fluency with [2] and [12].\n\nMy recommendation: send it to peer review, but the referee should be specifically asked to check whether the hypotheses of Proposition 3.3 of [12] are satisfied for the family Λ(s_n, ε_n). If they are, the paper is a solid contribution. If not, the proof of Theorem 1.1 needs to be completed. Either way, this deserves refereeing, not a desk rejection.","headline":"New local structure for Lagrange/Markov spectra near 3 with a genuine new bound for M\\L, but Theorem 1.1's level-set equality is delegated to a same-group preprint and needs referee scrutiny.","tokens_in":55339,"tokens_out":1908,"would_cite":false,"duration_ms":21043,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D20","11J06","28A80"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that arbitrarily close to 3, the Lagrange spectrum contains full-dimensional subsets $B_r$ where $D(t)=HD(\\ell^{-1}(t))$ and $D$ is strictly increasing, and that the dimension of the Markov-minus-Lagrange spectrum below…","keywords":["Hausdorff dimension","Lagrange spectrum","Markov spectrum","horseshoes","continued fractions","hyperbolic sets of finite type","connection of subhorseshoes","renormalization"],"falsifier":"Take any $r$ and any $t$ in the constructed set $B_r$. Numerically estimate the Hausdorff dimension of the set of irrational continued fractions whose Lagrange value is exactly $t$ and compare it with $D(t)=HD(\\mathcal{L}\\cap(-\\infty,t))$; a value strictly below $D(t)$ would disprove the level-set identity. The decisive structural check is whether the homeomorphism from the unstable Cantor set of $\\Lambda(s_0,\\epsilon_0)$ to $\\ell^{-1}(t)$ constructed in Section 3.3 of [12] really has a H\\\"older inverse for the whole nested family of subhorseshoes used in the proof of Theorem 1.1; if any member of that family admits only a non-H\\\"older inverse, the strict monotonicity argument also fails.","tokens_in":54188,"feed_emoji":"📐","tokens_out":10560,"duration_ms":101415,"temperature":0.7,"pith_summary":"The paper studies the classical Lagrange spectrum $\\mathcal{L}$ and Markov spectrum $\\mathcal{M}$ immediately to the right of 3, where the two spectra are known to coincide below 3 and to diverge above it. Its central construction is a decreasing sequence $a_r$ approaching 3 together with, in each interval $(a_{r+1},a_r)$, a subset $B_r$ of the Lagrange spectrum that carries the Hausdorff dimension of the whole interval and lies among the accumulation points of $\\mathcal{L}$. On $B_r$, the paper establishes the exact level-set identity $D(t)=HD(\\ell^{-1}(t))$, where $D(t)$ is the dimension of the spectrum below $t$, and proves that $D$ restricted to $B_r$ is strictly increasing; the complement of $B_r$ in the interval has dimension strictly below $d(a_{r+1})$. It also gives an upper bound for the Hausdorff dimension of $\\mathcal{M}\\setminus\\mathcal{L}$ below $3+\\rho$ of order $(\\log|\\log\\rho|-\\log\\log|\\log\\rho|+C)/|\\log\\rho|$. If correct, these results show that arbitrarily close to 3 the dimension theory of the Lagrange spectrum is captured by a full-dimensional subset on which exact level sets have the same dimension as cumulative levels, with no plateaus.","feed_headline":"Near 3, Lagrange level sets reach full spectrum dimension","feed_subtitle":"Dimension-full levels just above 3 where exact-level-set dimension equals cumulative dimension.","key_machinery":"The load-bearing object is the horseshoe $\\Lambda(2)$ of bi-infinite sequences over $\\{1,2\\}$ carrying the continued-fraction function $\\lambda$, together with its hyperbolic sets of finite type called subhorseshoes. The central mechanism is a connection dichotomy: a subhorseshoe whose maximum is just above 3 either connects with the fixed orbit $\\psi_b$ (meaning there is a larger subhorseshoe with supremum of $f$ below a prescribed level containing both), or it fails to connect and is forced, by a long list of connection schemes built from Markov-tree alphabets and bad cuts, to have word factors that force at least $n/5$ of each continuation, leading to dimension at most $C_0/n$. The Farey-sequence coding of ordered alphabets $(\\alpha,\\beta)$ and the renormalization algorithm supply the word-level constraints, while bounded-distortion estimates convert the forced letters into the dimension bound.","core_discovery":"On the horseshoe model $\\Lambda(2)$ for the classical spectra below $\\sqrt{12}$, the paper proves Proposition 5.1: if a subhorseshoe has maximum $f$-value below $3+6^{-3n}$ and does not connect, before that maximum plus a small slack, with the periodic orbit $\\psi_b$, then its Hausdorff dimension is at most $C_0/n$. From this, the proof decomposes each interval $(a_{r+1},a_r)$ into subhorseshoes that do or do not connect with $\\psi_b$, shows the non-connecting ones are dimension-negligible, and defines $B_r$ as the points on which the connecting subhorseshoes accumulate. The identity $D(t)=HD(\\ell^{-1}(t))$ on $B_r$ is obtained by following the construction of a homeomorphism from an unstable Cantor set to the exact level set, and strict increase follows from comparing nested subhorseshoes via the spectral decomposition theorem. For $\\mathcal{M}\\setminus\\mathcal{L}$, every point below $3+\\rho$ lies on a transient component joining two subhorseshoes, at least one of which does not connect with $\\psi_b$; averaging the two dimension bounds gives the stated upper bound.","pith_inferences":["The same connection/non-connection dichotomy may transfer to other endpoints of gaps in the Markov tree, not only near 3, to locate full-dimensional subsets where level-set dimensions are known exactly.","The upper bound for $\\mathcal{M}\\setminus\\mathcal{L}$ near 3 suggests the natural conjecture that the true asymptotic is exactly $(\\log|\\log\\rho|-\\log\\log|\\log\\rho|+O(1))/|\\log\\rho|$, with the constant $C$ identified; the paper's proof gives $C=C_2+3\\log 6\\cdot C_0$ but does not claim sharpness.","A testable numerical consequence is that for $t\\in B_r$, algorithms estimating the dimension of continued-fraction level sets should return values matching $d(t)/2$; any systematic gap would indicate that the homeomorphism construction imported from the companion preprint does not extend to the full nested family of subhorseshoes used here.","If the imported construction extends as claimed, the same method should yield $D(t)=HD(\\ell^{-1}(t))$ on a set of full dimension in $(3,a_1)$, not just on the specific intervals selected by the sequence $a_r$."],"forward_implications":["For each $r$, the set of $t$ in $(a_{r+1},a_r)$ where the exact level-set dimension $D(t)=HD(\\ell^{-1}(t))$ is known to hold has the same Hausdorff dimension as the full interval, so the exceptions are dimension-negligible in that interval.","The strict increase of $D$ on $B_r$ gives intervals arbitrarily close to 3 on which a full-dimensional subset of the spectrum has strictly increasing exact-level dimension, ruling out local constancy of $D$ along that subset.","Because $B_r\\subset\\mathcal{L}'$ and $HD(B_r)=HD((a_{r+1},a_r)\\cap\\mathcal{L})$, the accumulation points of the Lagrange spectrum near 3 carry the full local dimension of the spectrum.","The bound on $HD((\\mathcal{M}\\setminus\\mathcal{L})\\cap(-\\infty,3+\\rho))$ tends to 0 as $\\rho\\to0$ at the rate $(\\log|\\log\\rho|)/|\\log\\rho|$, so the difference between the Markov and Lagrange spectra is dimension-sparse just to the right of 3.","Since $d(t)=2D(t)$ for $t