{"id":"7767b117-6639-4696-a842-b175b6e20085","arxiv_id":"2501.12153","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Packing and multifractal dimensions of almost Mathieu spectral measures have upper bounds that vanish at the arithmetic transition where ln lambda equals beta.","lead":"For the almost Mathieu operator, this paper proves new upper bounds on the packing and multifractal dimensions of spectral measures, bounds that shrink to zero as the resonance parameter beta approaches the Lyapunov exponent ln lambda. It also introduces a family of m-Borel transforms that link measure concentration to fractal dimensions, a tool of independent interest.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's upper bounds rely on extending [20, Thm 3.5] to λ ≤ e^β (Remark 6.5); if that extension fails, Lemmas 7.3, 8.2, and 9.2 collapse and Theorems 1.1–1.2 lack support.","rationale":"The reader's weakest_assumption is exactly the point I would stress. I agree that the short step 'only positivity is used' is the single most load-bearing unverified claim. All internal arguments in Sections 3–5 (m-Borel transforms) are self-contained and correct. The application section depends on the hierarchy construction from [20]. If the extension is valid, the dimension bounds follow: Lemma 8.2 yields the exponent in Lemma 9.2, and Theorem 9.4 gives the ς-range that produces exactly the stated 2(1 - ln λ/β). I found no internal contradiction in the present paper (after interpreting t1 as (β - ln λ)/β + σ), and the result is consistent with the known lower bound from [22]. The only remedy is a specialist audit of the original proof. Because the claim is not re-proved and is critical, I recommend CONDITIONAL acceptance rather than unconditional ACCEPT.","tokens_in":19615,"tokens_out":19182,"duration_ms":171572,"concrete_test":"Obtain the proof of [20, Theorem 3.5] and audit every inequality that involves λ and β. For each step, record the minimal hypothesis needed for the inequality to hold. In particular, check the large-deviation/lower bound on |P_k| at the 'good' point selected by Lemma 6.3: does it require ln λ > β to make the exceptional set summable, or only t := ln λ + 8 ln(s q_{n-n0}/q_{n-n0+1})/q_{n-n0} > 0? If any displayed inequality in the proof of [20, Thm 3.5] uses a term proportional to (ln λ - β) with a fixed positive sign, then Remark 6.5 is false and Lemma 7.3 must be re-proved for λ ≤ e^β; if not, the extension is valid and the main theorems stand.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central chain is: Theorem 9.4 (lower bounds on Im M_j) -> Corollary 1.4 -> Theorems 1.1–1.2. Theorem 9.4 relies on Lemma 9.2, which uses Lemma 8.2 through Theorem 2.3. Lemma 8.2 is proved from Theorem 7.1 and Lemma 7.3, both of which are proved from Theorem 6.4. Theorem 6.4 is quoted from [20, Theorem 3.5], originally stated for λ > e^{β(α)}. The paper extends it to 1 < λ ≤ e^β in Remark 6.5, asserting that in the proof 'only the fact that ln λ + 8 ln(s q_{n-n0}/q_{n-n0+1})/q_{n-n0} > 0 is used,' and does not reproduce that proof. This is load-bearing: if the original proof uses λ > e^β in a threshold beyond the positivity of the displayed decay rate—for example, in the large-deviation estimates that control the exceptional set where |P_k| is small—then the partial localization estimates (Lemma 7.3, Theorem 7.1) and the subsequent solution-norm lower bounds (Lemma 8.2) may fail exactly in the singular-continuous regime λ < e^β that the paper aims to capture. The authors are the same as [20] and the assertion is plausible, but it is not demonstrated in this manuscript; a reader can only check it by auditing the original proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a new general criterion (Theorem 1.3) showing that a pointwise lower bound on the m-Borel transform J_{\\mu,m}(x,\\epsilon) of order \\epsilon^\\varsigma implies an upper bound on the upper concentration exponent \\gamma_\\mu^+(x), with corollaries for packing and multifractal dimensions. This criterion is then applied to the almost Mathieu operator with \\alpha-Diophantine phase in the hyperbolic regime 1<\\lambda\\le e^{\\beta(\\alpha)}. The main results, Theorems 1.1 and 1.2, give upper bounds \\dim_P^+(\\mu_\\phi)\\le 2(1-\\ln\\lambda/\\beta(\\alpha)) and D_{\\mu_\\phi}^+(q)\\le (2\\beta(\\alpha)-2\\ln\\lambda)/(2\\beta(\\alpha)-\\ln\\lambda) for q\\ge 3/2. These bounds tend to zero as \\ln\\lambda approaches \\beta(\\alpha) from below, which the authors present as the first quantitative capture of the arithmetic transition from the singular-continuous side. The proof combines partial localization of generalized eigenfunctions (Theorem 7.1) with power-law subordinacy estimates on m-functions, building on the hierarchical machinery of the authors' earlier work [20].","tokens_in":19928,"tokens_out":24444,"duration_ms":220092,"significance":"If the proof is completed, the paper would provide the first upper bounds on packing and multifractal dimensions of spectral measures that vanish at the arithmetic transition, a genuinely new and important phenomenon. The general m-Borel-transform criterion in Sections 3–5 is original, appears correct, and is likely to find independent use; the proofs there are detailed and self-contained. The application, however, is more fragile: it depends on several imported statements from [20] whose validity in the newly needed parameter range is asserted rather than demonstrated, and one auxiliary lemma (Lemma 9.3) has a proof that does not appear to be valid as written. These issues are load-bearing for the central claims, so the paper needs substantial revision before the main theorems can be considered established.","major_comments":[{"comment":"Theorem 6.4, quoted from [20, Thm 3.5], is originally stated only for \\lambda>e^{\\beta(\\alpha)}. Remark 6.5 asserts that the proof only uses the positivity of \\ln\\lambda+8\\ln(sq_{n-n_0}/q_{n-n_0+1})/q_{n-n_0}, so the result extends to 1<\\lambda\\le e^{\\beta(\\alpha)}. This extension is load-bearing: it is used in Lemma 7.3, Theorem 7.1, Lemma 8.2, Lemma 9.2, and Theorem 9.4, and thus indirectly in Theorems 1.1 and 1.2. The paper does not reproduce or verify the proof of [20, Thm 3.5] in the extended range, so a reader cannot check that every step (including large-deviation estimates controlling the exceptional set where |P_k| is small) survives when \\lambda\\le e^{\\beta(\\alpha)}. Please provide a detailed proof of the extension, or at least a precise statement of which inequalities in the original proof are used and why each remains valid in the range 1<\\lambda\\le e^{\\beta(\\alpha)}.","section":"Remark 6.5 and Theorem 6.4"},{"comment":"The proof of Lemma 9.2 defines t_1=(\\beta-\\ln\\lambda)/(\\beta+\\sigma) and uses the exponent g=\\frac12 \\ln\\lambda/(t_1\\beta)-\\varepsilon from Lemma 8.2. When \\lambda=e^{\\beta(\\alpha)}, we have t_1=0, so the expression for g is undefined, and the proof of Lemma 8.2 cannot be applied as written. This equality case is explicitly claimed as new in Case 1 of Theorem 1.1 (Remark 1.1), so it is not a peripheral concern. The authors should either give a separate argument for \\lambda=e^{\\beta(\\alpha)} (for example, by a limiting argument from \\lambda<e^{\\beta(\\alpha)} if such a passage is justified, or by showing directly that the lower bound in Lemma 8.2 holds with any finite polynomial exponent when t_1=0) or adjust the statement of Theorem 1.1 to exclude this case.","section":"Lemma 9.2 and parameter t1 (eq. (69))"},{"comment":"Lemma 9.3 claims that the exceptional sets S_0=\\{E:2x_0(E)\\in\\mathbb Z\\} and S_1=\\{E:2x_0(E)\\in\\frac12+\\mathbb Z\\} have zero measure with respect to \\mu_{\\delta_0} and \\mu_{\\delta_1}, respectively. The proof, however, argues that for E\\in S_0 one has \\Im M_1(E+i\\epsilon)\\to 0 and then invokes 'basic spectral theory' to conclude \\mu_{\\delta_0}(S_0)=0. This implication is not valid for general Borel measures: the vanishing of the imaginary part of the Borel transform at a point E only indicates that E has zero absolutely continuous density and is not an atom; it does not imply that the set of such points has zero measure with respect to the measure. Since the argument is the only reason given for excluding S_0 and S_1, and the lower bounds on \\Im M_1 and \\Im M_2 in Theorem 9.4 depend on this exclusion, the proof of Lemma 9.3 needs to be substantially reworked or replaced. The authors should provide a correct argument that these exceptional sets are null (or explain why they are null in the context of the almost Mathieu operator with Diophantine phase).","section":"Lemma 9.3 and its proof"}],"minor_comments":[{"comment":"The bound in (82) is written as \\|u\\|_{L,L}\\le C(E)L^{1/2\\ln L}, which is ambiguous: it could be read as L^{1/2}\\ln L or as L^{(1/2)\\ln L}. The later use in Lemma 9.2 requires the bound b(L)\\le C(E)L^{1+\\epsilon}, which is compatible with L^{1/2}\\ln L but not with L^{(1/2)\\ln L}. Please clarify the notation.","section":"Equation (82)"},{"comment":"The displayed inequalities in Remark 6.5 are typeset in a confusing way, for example '8\\ln qt2 n qn−n0'. Please replace these with clearer notation such as q_n^{t_2} and q_{n-n_0} to make the argument readable.","section":"Remark 6.5"},{"comment":"The phrases 'Corollaries of 1.9 and 1.4' and 'Corollaries of 1.5 and 1.6' appear in the proof paragraphs; they should be 'Corollaries 1.9 and 1.4' and 'Corollaries 1.5 and 1.6'.","section":"Section 2.1"},{"comment":"The proof of Lemma 9.3 ends with '\\mu_{\\delta_0}(S_1)=0', but the statement concerns S_0; this appears to be a typo and should be corrected to '\\mu_{\\delta_0}(S_0)=0'.","section":"Lemma 9.3"},{"comment":"The simplification leading to (108), namely that 2\\varsigma/(2-\\varsigma) with \\varsigma=2(\\beta-\\ln\\lambda)/(2\\beta-\\ln\\lambda) equals (2\\beta-2\\ln\\lambda)/\\beta, is correct but not immediately transparent; writing the intermediate algebraic step would improve readability.","section":"Proof of Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is likely to be an important contribution if the load-bearing gaps can be fixed. Two of the authors are also authors of [20], so verifying the extension in Remark 6.5 should be straightforward from the original source; I would ask that the verification be written out in the revised manuscript rather than left as an aside. The issue with Lemma 9.3 is more serious: as written, the proof does not establish the required nullity, and it is possible that the exceptional sets require a genuinely different argument. I recommend major revision rather than rejection because the general criterion in Sections 3–5 is sound and the overall strategy is promising, but the current manuscript does not yet provide a complete proof of the advertised theorems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: this is a real result, but the part that matters most—the almost Mathieu application—is less self-contained than the abstract suggests. The general m-Borel transform criterion is proved in full and looks right. The application leans on an extension of [20, Thm 3.5] that is asserted in Remark 6.5 rather than demonstrated.\n\nWhat's new: The family of m-Borel transforms and the lower-bound concentration criterion (Theorems 1.3, 1.7, 1.8) are new and cleanly proved. Corollaries 1.4–1.6 and 1.9 give practical dimension bounds from boundary behavior of Borel-type transforms, and this is likely to be used elsewhere. Theorems 1.1 and 1.2 are, as far as I know, the first upper bounds on packing and multifractal dimensions that go to zero as ln λ approaches β(α) from below. That's a real step beyond [22], whose bounds stayed bounded away from zero. The partial localization statement in the singular continuous regime (Theorem 7.1) is also new.\n\nWhere it's soft: The chain to Theorems 1.1–1.2 runs through Theorem 9.4, Lemma 9.2, Lemma 8.2, Theorem 7.1, and Lemma 7.3, all of which rest on Theorem 6.4 from [20]. Theorem 6.4 was originally proved for λ > e^β. The authors assert in Remark 6.5 that only the positivity of the decay rate is used, so it extends to 1 < λ ≤ e^β. They don't reproduce the proof. The stress-test worry is correct: if the original proof has any hidden dependence on λ > e^β beyond that positivity—say in the large-deviation estimates—then the whole application collapses exactly in the singular-continuous regime the paper targets. I can't find the flaw by reading this preprint alone. Given that the authors are the same as [20] and the assertion is specific, I think it's likely correct, but it needs a referee who knows the original proof. This is a presentation gap as much as a mathematical risk.\n\nThe general results in Sections 3–5 are independent of that and hold up. The citation pattern is fine; the self-citations are to published, relevant work.\n\nBottom line: This paper deserves a serious referee. I would send it out with a specific request: verify that Remark 6.5 is justified, and ask the authors to at least include a paragraph explaining why the positivity of the decay rate is the only place λ > e^β enters. If that checks out, this is a strong addition to the singular-continuous side of the arithmetic transition.","headline":"New Borel-transform criterion is solid and independently useful; the AMO application is important but hinges on an asserted extension of [20] that a referee should check.","tokens_in":20527,"tokens_out":2513,"would_cite":true,"duration_ms":24096,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47B36","47B39","81Q10","28A78"],"pacs":[],"model":"deepseek-v4-flash","headline":"For the almost Mathieu operator, upper bounds on packing and multifractal dimensions of spectral measures now capture the sharp arithmetic transition, tending to zero as ln λ approaches β(α) from below.","keywords":["almost Mathieu operator","arithmetic transition","packing dimension","multifractal dimensions","singular continuous spectrum","m-Borel transforms","partial localization","Lyapunov exponent"],"falsifier":"Read the proof of [20, Theorem 3.5] and mark each inequality that uses the original hypothesis $\\lambda>e^{\\beta(\\alpha)}$; if any of them requires $\\ln\\lambda-\\beta(\\alpha)>0$ rather than the positivity of $\\ln\\lambda+8\\ln(sq_{n-n_0}/q_{n-n_0+1})/q_{n-n_0}$ stated in Remark 6.5, then Lemma 7.3, Lemma 8.2, and the m-function lower bound Lemma 9.2 all fail, and with them Theorems 1.1 and 1.2. A successful check would instead confirm that only the displayed positivity is used, which is exactly what the paper asserts.","tokens_in":19395,"feed_emoji":"📉","tokens_out":12591,"duration_ms":119750,"temperature":0.7,"pith_summary":"This paper aims to make the sharp arithmetic transition of the almost Mathieu operator visible in the fractal dimension of its spectral measures. For the almost Mathieu operator $H_{\\lambda,\\alpha,\\theta}$ with frequency $\\alpha$, coupling $\\lambda>0$, and Diophantine phase $\\theta$, the number $\\beta(\\alpha)$ measures how strongly $\\alpha$ is approximated by rationals. The main result proves that when $1<\\lambda<e^{\\beta(\\alpha)}$, the upper packing dimension of any spectral measure satisfies $\\dim_P^+(\\mu_\\phi)\\le 2(1-\\ln\\lambda/\\beta(\\alpha))$, and when $\\lambda\\ge e^{\\beta(\\alpha)}$ it is $0$; a companion bound for multifractal dimensions gives $D^+_{\\mu_\\phi}(q)\\le (2\\beta(\\alpha)-2\\ln\\lambda)/(2\\beta(\\alpha)-\\ln\\lambda)$ for $q\\ge 3/2$. These are the first upper bounds that vanish as the parameter approaches the transition $\\ln\\lambda=\\beta(\\alpha)$ from below, so they capture the transition quantitatively from the singular continuous side. The proof introduces a general criterion relating concentration of Borel measures to boundary behavior of new m-Borel transforms, together with a partial localization theorem for generalized eigenfunctions in the singular continuous regime.","feed_headline":"Spectral measure dimension bound vanishes at the arithmetic transition","feed_subtitle":"For the almost Mathieu operator, packing and multifractal dimension bounds now vanish at the transition.","key_machinery":"The central object is the m-Borel transform $J_{\\mu,m}(x,\\varepsilon)=\\varepsilon^m\\int_{\\mathbb{R}} d\\mu(y)/(|x-y|^m+\\varepsilon^m)$, a one-parameter deformation of the usual Borel transform that recovers $\\varepsilon\\,\\Im\\int d\\mu/(x-y-i\\varepsilon)$ when $m=2$. The key mechanism is the criterion that a positive $\\liminf$ of $\\varepsilon^{-\\varsigma}J_{\\mu,m}(x,\\varepsilon)$ implies a lower bound on $\\mu([x-\\varepsilon,x+\\varepsilon])$ and hence an upper bound on the local upper exponent $\\gamma^+_\\mu(x)$; this turns boundary growth of m-functions into packing and multifractal dimension bounds. For the almost Mathieu operator, the machinery is completed by partial localization, which gives exponential decay of generalized eigenfunctions on scales between $q_n^{t_1}$ and $q_n^{t_2}$, and by Lemma 8.2, which converts that decay into lower bounds on products of norms of solutions and ultimately into $\\Im M_j(E+i\\varepsilon)\\ge\\varepsilon^{-t}$ for $t<\\ln\\lambda/(2\\beta-\\ln\\lambda)$. These m-function lower bounds are exactly the boundary behavior the general criterion needs, and applying the criterion with $m=2$ yields Theorems 1.1 and 1.2.","core_discovery":"The central discovery is that the arithmetic transition of the almost Mathieu operator is quantitative rather than just a yes/no threshold. For every $\\alpha$-Diophantine phase $\\theta$ and every $\\phi\\in\\ell^2(\\mathbb{Z})$, Theorem 1.1 gives $\\dim_P^+(\\mu_\\phi)=0$ for $\\lambda\\ge e^{\\beta(\\alpha)}$ and $\\dim_P^+(\\mu_\\phi)\\le 2(1-\\ln\\lambda/\\beta(\\alpha))$ for $\\lambda<e^{\\beta(\\alpha)}$, while Theorem 1.2 gives $D^+_{\\mu_\\phi}(q)\\le (2\\beta(\\alpha)-2\\ln\\lambda)/(2\\beta(\\alpha)-\\ln\\lambda)$ for $q\\ge 3/2$. The bounds are transition-capturing: both right-hand sides tend to $0$ as $\\ln\\lambda\\uparrow\\beta(\\alpha)$, unlike earlier quantitative estimates that stayed bounded away from zero. The proof establishes two things the authors call firsts: partial localization, meaning exponential decay of generalized eigenfunctions on intermediate scales in the singular continuous regime, and a general mechanism by which lower bounds on concentrations of a Borel measure follow from boundary behavior of its m-Borel transforms. In the application, the m-function lower bounds of Lemma 9.2 combine with the general criterion at $m=2$ to force the dimension bounds.","pith_inferences":["The m-Borel transform criterion is stated for arbitrary Borel measures, so it could be applied outside quasiperiodic operators, for example to measures whose m-functions are known to grow like a power law, as a general tool for bounding packing dimension from boundary behavior.","The factor 2 in Theorem 1.1 is likely not sharp: the bound becomes vacuous when $\\beta(\\alpha)\\gg\\ln\\lambda$, so a sharper subordinacy estimate might replace it by $1-\\ln\\lambda/\\beta(\\alpha)$ and change the predicted dimension near the transition.","The threshold $q\\ge 3/2$ in Theorem 1.2 comes from applying the general criterion with $m=2$; varying $m$ could lower this threshold or improve the multifractal bound, an extension that the paper's mechanism makes available.","If the same partial localization works for other models with sharp arithmetic transitions, the paper's expectation that $\\ln\\lambda$ be replaced by $\\min_E L(E)$ would turn the packing-dimension vanishing near the transition into a universal phenomenon; that is a testable program but not yet a theorem."],"forward_implications":["At $\\lambda\\ge e^{\\beta(\\alpha)}$, every spectral measure of the almost Mathieu operator with Diophantine phase has upper packing dimension zero; the new case is $\\lambda=e^{\\beta(\\alpha)}$, where singular continuous spectrum can still occur.","For $1<\\lambda<e^{\\beta(\\alpha)}$, the upper packing dimension is at most $2(1-\\ln\\lambda/\\beta(\\alpha))$, so the singular continuous spectrum becomes quantitatively more singular as the coupling approaches the transition.","For every $q\\ge 3/2$, $D^+_{\\mu_\\phi}(q)\\le (2\\beta(\\alpha)-2\\ln\\lambda)/(2\\beta(\\alpha)-\\ln\\lambda)$, giving a multifractal analogue of the vanishing bound.","The general criterion (Theorem 1.3 and its corollaries) lets one bound the packing, Hausdorff, and multifractal dimensions of any Borel measure from the boundary behavior of its m-Borel transforms, independent of the almost Mathieu operator.","The authors expect the same formulation, with $\\ln\\lambda$ replaced by $\\min_E L(E)$, to apply to other models with sharp arithmetic transitions, using the same partial-localization and m-function input."],"supporting_citations":[{"why":"Supplies Theorem 6.4, the regularity of nonresonant sites that the paper extends to $1<\\lambda\\le e^{\\beta(\\alpha)}$ and uses to prove partial localization; also supplies the uniformity estimate used in Lemma 7.5.","marker":"[20]"},{"why":"Previous quantitative bound on spectral dimension in the positive Lyapunov regime, which stays bounded away from zero as $\\beta\\to L$; the paper's results improve on it near the transition.","marker":"[22]"},{"why":"Establishes the general link between Hausdorff dimensions and boundary behavior of Borel transforms; the proof of Theorem 1.8 follows its ideas.","marker":"[10]"},{"why":"Provides the power-law subordinacy framework and the m-function inequality used to convert solution norms to imaginary parts of m-functions.","marker":"[23]"},{"why":"Gives Theorem 2.1, expressing upper packing and Hausdorff dimensions as essential suprema of local exponents, which turns pointwise exponent bounds into dimension bounds.","marker":"[13]"},{"why":"Gives the inequality $D^+_\\mu(q)\\le \\dim_P^-(\\mu)$ used to pass from local exponent bounds to multifractal dimension bounds.","marker":"[6]"},{"why":"Supplies the lemma on uniform sets used in Lemma 7.5 to select a non-resonant phase and propagate exponential decay.","marker":"[2]"},{"why":"Provides the sub-polynomial bound on generalized eigenfunctions that Lemma 8.2 needs to get lower bounds on products of solution norms.","marker":"[25]"}],"fun_headline_variants":["Dimension bounds vanish at arithmetic transition","Quantitative singularity: dimensions collapse to zero","Transition-capturing bound: spectral dimension vanishes","Borel transform tools reveal vanishing dimensions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a regularity theorem for nonresonant sites, proved in an earlier paper under the strict condition $\\lambda>e^{\\beta(\\alpha)}$, remains valid when $1<\\lambda\\le e^{\\beta(\\alpha)}$ because only the positivity of a certain displayed quantity is used in that proof; the current paper does not reproduce the original proof, so this extension must be checked in [20, Theorem 3.5]. If the strict inequality is actually needed anywhere, the partial-localization step, the m-function lower bounds, and both main theorems lose their support.","fun_headline_variants_meta":{"raw":{"variants":["Dimension bounds vanish at arithmetic transition","Quantitative singularity: dimensions collapse to zero","Transition-capturing bound: spectral dimension vanishes","Borel transform tools reveal vanishing dimensions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000179,"raw_usage":{"total_tokens":1285,"prompt_tokens":916,"completion_tokens":369,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":532,"completion_tokens_details":{"reasoning_tokens":316}},"tokens_in":532,"tokens_out":369,"duration_ms":4361,"temperature":1.0,"reasoning_tokens":316,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T17:28:06.991739+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Read the proof of [20, Theorem 3.5] and mark each inequality that uses the original hypothesis $\\lambda>e^{\\beta(\\alpha)}$; if any of them requires $\\ln\\lambda-\\beta(\\alpha)>0$ rather than the positivity of $\\ln\\lambda+8\\ln(sq_{n-n_0}/q_{n-n_0+1})/q_{n-n_0}$ stated in Remark 6.5, then Lemma 7.3, Lemma 8.2, and the m-function lower bound Lemma 9.2 all fail, and with them Theorems 1.1 and 1.2. A successful check would instead confirm that only the displayed positivity is used, which is exactly what the paper asserts.","supporting_citations":[{"cited_title":"Jitomirskaya and W","cited_arxiv_id":null,"evidence_quote":"Supplies Theorem 6.4, the regularity of nonresonant sites that the paper extends to $1<\\lambda\\le e^{\\beta(\\alpha)}$ and uses to prove partial localization; also supplies the uniformity estimate used in Lemma 7.5."},{"cited_title":"Jitomirskaya and S","cited_arxiv_id":null,"evidence_quote":"Previous quantitative bound on spectral dimension in the positive Lyapunov regime, which stays bounded away from zero as $\\beta\\to L$; the paper's results improve on it near the transition."},{"cited_title":"del Rio, S","cited_arxiv_id":null,"evidence_quote":"Establishes the general link between Hausdorff dimensions and boundary behavior of Borel transforms; the proof of Theorem 1.8 follows its ideas."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the power-law subordinacy framework and the m-function inequality used to convert solution norms to imaginary parts of m-functions."},{"cited_title":"Guarneri and H","cited_arxiv_id":null,"evidence_quote":"Gives Theorem 2.1, expressing upper packing and Hausdorff dimensions as essential suprema of local exponents, which turns pointwise exponent bounds into dimension bounds."},{"cited_title":"Barbaroux, F","cited_arxiv_id":null,"evidence_quote":"Gives the inequality $D^+_\\mu(q)\\le \\dim_P^-(\\mu)$ used to pass from local exponent bounds to multifractal dimension bounds."},{"cited_title":"Avila and S","cited_arxiv_id":null,"evidence_quote":"Supplies the lemma on uniform sets used in Lemma 7.5 to select a non-resonant phase and propagate exponential decay."},{"cited_title":"Last and B","cited_arxiv_id":null,"evidence_quote":"Provides the sub-polynomial bound on generalized eigenfunctions that Lemma 8.2 needs to get lower bounds on products of solution norms."}],"review_version":1}