{"id":"a2e06154-23f0-4d74-bc15-2bec75a3966c","arxiv_id":"2501.11400","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For monotone Hamburger Hamiltonians with regularly varying parameters, the monodromy matrix grows like r times an inverse-function integral, yielding the exact Nevanlinna order 1/(2(β-1)) in the simply critical Jacobi case with 3/2<β<2.","lead":"This paper proves a new lower bound for the growth of Nevanlinna matrices attached to a class of Hamburger moment problems with monotone angle parameters. It uses that bound to compute the exact growth order in a previously open critical case for Jacobi matrices with power asymptotics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.5's omitted verification is the gate for Theorem 1.4: the power-asymptotic parameters must be γ-tempered with γ_n=n and τ0=β−σ; if that calculation fails, Theorem 3.2 cannot be invoked.","rationale":"The reader and I converge on the same fragile spot. The paper's central Jacobi result (Theorem 1.4) has no independent proof: it is a corollary of Theorem 3.4, which in turn rests on Theorem 3.2 and the γ-tempered framework. The two deferred ingredients are Lemma 3.3 (the recessive-solution asymptotics, communicated by Świderski and sketched) and Lemma 3.5 (the γ-temperedness of the unperturbed power-asymptotic parameters, stated without proof). I weight Lemma 3.5 as the single most load-bearing starting point because it is the condition that makes the whole framework applicable, and it is entirely omitted rather than sketched. The calculation is likely correct: expanding ~a_n^2−4~b_{n−1}~b_n appears to yield the advertised τ0, and the bounded-variation checks are routine. Therefore the concern does not justify rejection, but it does justify the conditional verdict. My recommended verdict is UNCHANGED because this is precisely the gap the reader identified, and the proposed verification would resolve it: if the check succeeds, the paper could be upgraded to ACCEPT.","tokens_in":18949,"tokens_out":11862,"duration_ms":103675,"concrete_test":"Perform the omitted computation in Lemma 3.5: for ~b_n=n^β(x0+x1/n), ~a_n=n^β(y0+y1/n), γ_n=n, β>1, substitute into each of the six sequences in Definition 3.1 and check that ∑|Δx_n|<∞ for each; then compute τ0=1/4·lim n(~a_n^2−4~b_{n−1}~b_n)/~b_n^2 and compare with β−σ=β−2x1/x0+2y1/y0. If all variations are finite and the limit equals β−σ, Lemma 3.5 is confirmed and the blockage is cleared; if not, Theorem 1.4 is invalid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.4 is deduced from Theorem 3.4, whose proof applies Theorem 3.2 to the unperturbed parameters ~b_n=n^β(x0+x1/n), ~a_n=n^β(y0+y1/n) with γ_n=n. This application is legitimate only if Lemma 3.5 is true: the six sequences in Definition 3.1 must be of bounded variation, and the limit defining τ0 must equal β−σ. The lemma is asserted with 'somewhat lengthy but simple calculations, which we omit' (Section 3.3). It is the entry condition to the γ-tempered framework: if any of the bounded-variation conditions fails, or if τ0≠β−σ, then Theorem 3.2 does not apply, and the growth estimate (1.12) is unsupported. Because the lemma is unproved, the central claim currently rests on an unverified computation, which is exactly the kind of gap that makes the paper CONDITIONAL rather than ACCEPT. No sign of an error has been found; the concern is absent evidence, not contrary evidence.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the growth (order) of the Nevanlinna matrix of an indeterminate Hamburger moment problem, equivalently of the monodromy matrix of the associated two-dimensional canonical system, in the regime where the order is larger than one half. The main abstract result is Theorem 1.1, a new lower bound for max|z|=r log ||W_H(z)|| under the assumptions that the Hamiltonian lengths are comparable to a regularly varying function, the angle increments are comparable to another such function, and the angles are eventually monotone. Theorem 1.2 combines this lower bound with upper bounds from PRW23 to give a classification of exact growth in the range 1 < δ_l + δ_φ < 2. The paper then specializes to Jacobi matrices with two-term power asymptotics in the simply critical case. Theorem 1.4 states that for 3/2 < β < min{2,σ}, the Nevanlinna matrix satisfies max|z|=r log ||W(z)|| ≍ r^{1/(2(β−1))}, determining the order in the regime where Pru20 only gave 1/β ≤ ρ ≤ 1/(2(β−1)). The proof passes from Jacobi parameters to a Hamburger Hamiltonian and invokes the γ-tempered framework of Świderski–Trojan, ultimately applying Theorem 1.2(iii).","tokens_in":19102,"tokens_out":7874,"duration_ms":80438,"significance":"If the proof can be completed, Theorem 1.4 is a substantial contribution: it gives the first computed examples of limit-circle Jacobi matrices whose Nevanlinna order differs from the convergence exponent of b_n, and it closes the gap left by Pru20 in the simply critical case. The lower-bound method for canonical systems, based on a determinant comparison lemma (Lemma 2.3), is novel and is developed in considerable detail in Section 2; that part of the paper appears sound and is a genuine methodological advance. The authors are also careful to separate the new lower bound from previously known upper bounds, and the reliance on the preprint LRW24 for Lemma 2.1 is not circular because that lemma has an independent proof in a different paper. However, the Jacobi part of the paper currently rests on at least one unproved algebraic verification, Lemma 3.5, which is the entry condition for the entire γ-tempered framework in the power-asymptotics setting. Until that calculation is supplied, the headline order computation is conditional rather than proven.","major_comments":[{"comment":"Lemma 3.5 is load-bearing but its proof is omitted. The lemma asserts that the unperturbed parameters (3.11) are γ-tempered with γ_n = n and that τ_0 = β − σ. These are precisely the hypotheses that allow Theorem 3.2 to be applied in the proof of Theorem 3.4, and hence Theorem 1.4. The text says only that the lemma follows by \"somewhat lengthy but simple calculations, which we omit.\" This is not acceptable for a central verification: the six bounded-variation conditions in Definition 3.1 must be checked, and the limit defining τ_0 must be computed. Please include the full calculation, at least in an appendix.","section":"Section 3.3, Lemma 3.5"},{"comment":"A footnote at this point reads \"Some technical details are left out.\" The formulas (3.1)–(3.3) are the bridge between Jacobi parameters and the Hamiltonian data, and they are used directly in Step 1 of the proof of Theorem 3.2 to obtain (3.20)–(3.21). Since the proof of the paper's main Jacobi result depends on these formulas, the omitted details should be supplied or the exact derivation from Kac99 should be reproduced, rather than left to a footnote.","section":"Section 3.1, equations (3.1)–(3.3)"},{"comment":"The proof of Lemma 3.3 is a sketch rather than a complete proof. In particular, it invokes \"Claim 5.2\" of Świderski–Trojan to obtain |f_n|^2 ∼ c√(γ_n/b_n), and it invokes Theorem 4.4 of ŚT22 for the perturbation step, but the exact statements are not quoted and the way they apply here is not fully documented. The linear-independence argument is also compressed: the assertion that the right-hand side is divergent uses lim √γ_n/n = 0 together with (3.18), but the convergence of the relevant series is not shown. Since the asymptotic (3.15) and the angle convergence are the keys to (3.20)–(3.21), this lemma needs a more self-contained proof or, at minimum, precise references to the claims used.","section":"Section 3.2, Lemma 3.3"},{"comment":"The construction of the permutation σ with σ(I_j^+) ⊆ I_j^- is asserted immediately after the cardinality comparison |I_j^+| < |I_j^-|. This does not by itself justify the existence of a global permutation on the union of the intervals: one must also check that the target intervals I_j^- are pairwise disjoint (and similarly the source intervals I_j^+), so that the piecewise injections combine into a permutation. This disjointness does follow from regular variation, but it is not stated or proved. Please add the short verification.","section":"Section 2.2, Step 3"}],"minor_comments":[{"comment":"The notation \"/greaterorsimilar\" for ≳ is nonstandard and appears in several displayed formulas; please use standard symbols such as ≳ and ≲ consistently.","section":"Throughout"},{"comment":"The lower bound in Theorem 1.1 is stated as log |w_H,22(ir)| ≳ r ∫ ...; the dimensions of the right-hand side are not transparent. A brief explanation of why the expression has the expected order would help the reader.","section":"Section 1.1, equation (1.7)"},{"comment":"The conclusion \"lim_{n→∞}(arg f_n − arg f_{n−1}) exists modulo π and is equal to 0\" is phrased awkwardly. Since the limit is asserted to equal 0 modulo π, it would be clearer to say that arg f_n − arg f_{n−1} → 0 after choosing representatives, or to define precisely what \"modulo π\" means here.","section":"Section 3.2, Lemma 3.3"},{"comment":"The claim that these are \"to the best of our knowledge\" the first examples where the order differs from the convergence exponent of b_n is appropriately hedged, but it would be useful to state explicitly what previous examples are known to be excluded by the cited literature.","section":"Remark 1.6"},{"comment":"The paper relies heavily on the unpublished preprint LRW24 and on the preprint PRW23. If the journal policy allows citing preprints, please ensure the versions are clearly identified; it would also be helpful to state which parts of LRW24 are used beyond Lemma 2.1.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the omitted proof of Lemma 3.5. I found no sign of an actual error in the rest of the manuscript, and the canonical-systems part of the paper is carefully executed. If the author supplies the missing γ-temperedness verification (and, ideally, expands the sketch in Lemma 3.3), I would expect to be able to recommend acceptance. The paper fits the scope of the journal and the result, if completed, is a genuine advance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the paper. The main thing to know: the lower bound for monotone-angle Hamiltonians (Theorem 1.1) is proved in detail and the determinant manipulation checks out, but the Jacobi order result (Theorem 1.4) runs through Theorem 3.2 and hinges on Lemma 3.5 being true, and that lemma is asserted without proof. That is the gate.\n\nWhat is genuinely new: Theorem 1.1 is a real improvement for Nevanlinna order larger than one half, where previous lower bounds like Livsic or Berg-Szwarc were known to fail. The proof is careful and self-contained once you accept Lemma 2.1 from the authors' own preprint; the point construction in Steps 1-7 is explicit and the comparison chain in Lemma 2.3 works. The Jacobi application resolves a case that Pru20 explicitly left open, and Remark 1.6 is a nice observation about the first limit-circle examples where the Nevanlinna order differs from the convergence exponent of b_n. The paper is also honest about what it skips, which I appreciate.\n\nNow the soft spots, in proportion. Theorem 3.2 is the bridge from canonical systems to Jacobi matrices, and its proof consists of a few assertions: from Lemma 3.3 it takes the length decay l_{n+1} ≍ sqrt(γ_n)/b_n, the angle increment ≍ 1/sqrt(γ_n), and monotonicity of the angles after possibly flipping them modulo π. Those deductions are plausible, but they are quick and not fully detailed; a referee should ask for them to be written out. More importantly, Lemma 3.5 claims that the unperturbed power-asymptotic parameters are γ-tempered with γ_n = n and τ0 = β − σ, and this is exactly the entry condition for applying Theorem 3.2 to the simply critical case. The proof is a one-line \"somewhat lengthy but simple calculations, which we omit.\" If any of the six bounded-variation conditions fails, or if τ0 is not β − σ, Theorem 3.2 cannot be invoked. I found no sign of an error; the issue is absent evidence, not contrary evidence. This is the classic case where a referee should demand the calculation be added before publication.\n\nCitation pattern is fine: the self-cited lemmas (LRW24, PRW23) are independent external results used as inputs, not restatements of the target theorem. No code or data is relevant for a proof paper.\n\nThis paper is for spectral theorists working on Jacobi operators, moment problems, and canonical systems. It makes a meaningful step and the main argument is credible. Send it to a serious referee, with instructions to check Lemma 3.5 and the unproven parts of Theorem 3.2. If those are supplied, I would be comfortable with the claims.","headline":"A genuinely new lower bound for monotone-angle Hamiltonians and a plausible order computation for critical Jacobi matrices, but the Jacobi theorem rests on a lemma whose proof is omitted.","tokens_in":19739,"tokens_out":1827,"would_cite":true,"duration_ms":20552,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["34L40","34L20","47B36","44A60"],"pacs":[],"model":"deepseek-v4-flash","headline":"For simply critical Jacobi matrices, the Nevanlinna order is exactly 1/(2(β−1)) when 3/2 < β < 2.","keywords":["Nevanlinna matrix","order of growth","canonical systems","Hamburger moment problem","Jacobi operator","limit circle case","regular variation","power asymptotics"],"falsifier":"Take a concrete Jacobi matrix in the theorem's range, say $\\beta=7/4$, $x_0=1$, $y_0=2x_0$, $\\sigma=3$, with $\\chi_n=\\mu_n=0$, and compute the associated canonical system: if the normalized angle increments $\\sqrt{n}(\\varphi_{n+1}-\\varphi_n)$ do not converge to a nonzero constant of one sign, or if $\\log|w_{H,22}(ir)|/r^{1/(2(\\beta-1))}$ does not stay bounded between two positive constants as $r\\to\\infty$, then Theorem 1.4 fails.","tokens_in":18660,"feed_emoji":"📈","tokens_out":19524,"duration_ms":165590,"temperature":0.7,"pith_summary":"This paper closes a gap in the spectral theory of indeterminate Hamburger moment problems: the order of the associated Nevanlinna matrix is always at most $1$, but for orders above $1/2$ the known lower bounds were too rough to determine it. The author proves a lower bound for the growth of the monodromy matrix of a Hamburger canonical system (a discrete $2\\times2$ Hamiltonian built from lengths and angles) whose angles eventually rotate monotonically, and shows that in this large-order regime the bound matches an existing upper bound up to multiplicative constants. Applied to Jacobi matrices with two-term power asymptotics in the simply critical case, the result fixes the order of the Nevanlinna matrix at $1/(2(\\beta-1))$ when $3/2<\\beta<\\min\\{2,\\sigma\\}$, replacing the earlier bracketing $1/\\beta\\leq\\rho\\leq1/(2(\\beta-1))$. This matters because these are, according to the paper, the first limit-circle examples whose Nevanlinna order differs from the convergence exponent of the coefficients $b_n$.","feed_headline":"Critical Jacobi matrices get exact Nevanlinna order 1/(2(β−1))","feed_subtitle":"Earlier bounds only bracketed the order; a new monotone-angle lower bound pins it down exactly.","key_machinery":"The mechanism is geometric: the monodromy of the canonical system is controlled by how much the Hamiltonian directions rotate. The proof of the lower bound uses the identity $\\det\\Omega(x_m,x_n)=\\frac12\\sum_{j,k=m+1}^{n} l_j l_k \\sin^2(\\varphi_j-\\varphi_k)$ together with a lower-bound lemma that converts many disjoint time intervals with $\\det\\Omega(s_{j-1},s_j)\\geq c/r^2$ into the estimate $\\log|w_{H,22}(ir)|\\gtrsim k(r)$. When the angles are monotone, one can choose a permutation $\\sigma$ pairing the index block $I_j^+$ into $I_j^-$ so that $|\\sin(\\varphi_k-\\varphi_{\\sigma(k)})|\\asymp 1$, making the determinant large on roughly $k(r)$ intervals. On the Jacobi side, the load is carried by a recessive solution $(f_n)$ of the three-term recurrence with $|f_n|^2\\sim c\\sqrt{\\gamma_n}/b_n$ and $\\arg f_n-\\arg f_{n-1}\\to0$; via the formulas (3.1)--(3.4) this yields lengths $l_{n+1}\\asymp\\sqrt{\\gamma_n}/b_n$ and angle increments $\\asymp1/\\sqrt{\\gamma_n}$, and a sign analysis of $\\cos(\\varphi_{n+1}-\\varphi_n)$ produces the monotone angle representation required by Theorem 1.2(iii).","core_discovery":"The paper's central claim is an exact growth formula in the regime where the order of the Nevanlinna matrix exceeds one half. Theorem 1.1 states that whenever a Hamburger Hamiltonian in limit circle case has regularly varying lengths and angle steps, $l_j \\gtrsim d_l(j)$ and $|\\varphi_{j+1}-\\varphi_j|\\asymp d_\\varphi(j)$ with indices $-\\delta_l$ and $-\\delta_\\varphi$, $\\delta_\\varphi\\in(0,1)$, and the angles are eventually monotone, then $\\log|w_{H,22}(ir)| \\gtrsim r \\int_{[d_\\varphi/d_l]^-(r)}^{\\infty} d_l(x)\\,dx$. Theorem 1.2(iii) upgrades this to $\\max_{|z|=r}\\log\\|W_H(z)\\| \\asymp m(r)$, with order $(1-\\delta_\\varphi)/(\\delta_l-\\delta_\\varphi)$, when $1<\\delta_l+\\delta_\\varphi<2$. In Jacobi terms, Theorem 1.4 asserts that for parameters satisfying (1.11) in the simply critical case with $3/2<\\beta<\\min\\{2,\\sigma\\}$ and $\\sum_{n=1}^{\\infty}\\sqrt{n}(|\\chi_n|+|\\mu_n|)<\\infty$, the operator is limit circle and $\\max_{|z|=r}\\log\\|W(z)\\| \\asymp r^{1/(2(\\beta-1))}$, so the order is exactly $1/(2(\\beta-1))$. The proof also yields the exceptional case $\\delta_l=\\delta_\\varphi=1$ with $l_j\\asymp j^{-1}(\\log j)^{-\\nu}$ and angle increments $\\asymp j^{-1}$, where the order is $1/\\nu$.","pith_inferences":["Editorial inference: if the sign-assignment construction sketched in Remark 1.3 works, then any regularly varying $f$ with $k\\lesssim f\\lesssim m$ is realized as the growth of some Hamiltonian, so the exact growth would encode the averaged rotation direction rather than just the order.","Editorial inference: the interval-pairing lower bound is a phase-coherence argument that could be tested on other one-dimensional discrete systems, such as Schrödinger operators with monotone phase shifts; a numerical check of the determinant lower bound in those models would show whether monotonicity alone drives the same $\\asymp$ growth.","Editorial inference: the proof of Theorem 3.2 rests on the recessive-solution asymptotic; supplying the omitted $\\gamma$-tempered verification (Lemma 3.5) for wider perturbation classes would automatically extend the exact growth formula to slowly varying or periodically modulated coefficients whenever the angle sequence is eventually monotone.","Editorial inference: the boundary case $\\beta=2$ is left with order $1/2$ but without an exact $\\asymp$; the method suggests a logarithmic correction interpolates between the two growth regimes, and a direct calculation there would settle its form."],"forward_implications":["For Hamburger Hamiltonians satisfying (1.8) with eventually monotone angles, $\\delta_\\varphi>0$ and $1<\\delta_l+\\delta_\\varphi<2$, the exact growth $\\max_{|z|=r}\\log\\|W_H(z)\\|\\asymp m(r)$ and order $(1-\\delta_\\varphi)/(\\delta_l-\\delta_\\varphi)$ now follow.","For Jacobi matrices with power asymptotics in the simply critical case and $3/2<\\beta<\\min\\{2,\\sigma\\}$, the Nevanlinna order is exactly $1/(2(\\beta-1))$, not merely bracketed by $1/\\beta$ and that value.","With the earlier analyses, Theorem 1.5 gives a complete classification: limit circle occurs exactly in the listed small-diagonal, simply critical, and doubly critical cases, and the order is $1/\\beta_1$ except in the simply critical range $3/2<\\beta_1<2$, where it is $1/(2(\\beta_1-1))$.","The exceptional Proposition 2.5 shows that at the parameter boundary $\\delta_l=\\delta_\\varphi=1$, monotone angles with logarithmic corrections still force order $1/\\nu>1/2$ for $\\nu\\in(1,2)$.","According to Remark 1.6, these are the first limit-circle examples with a computed Nevanlinna order different from the convergence exponent of $(b_n)$."],"supporting_citations":[{"why":"Supplies the formulas (3.1)-(3.4) that translate the Jacobi parameters and orthogonal polynomials into Hamiltonian lengths and angles; this is how the recessive-solution asymptotics becomes a statement about the Hamiltonian.","marker":"[Kac99]"},{"why":"Provides the central lower-bound tool, Lemma 2.1, and the determinant representation used in (2.3), which the proof of Theorem 1.1 applies to monotone angles.","marker":"[LRW24]"},{"why":"Gives the matching upper bound m(r) and the earlier lower bounds and corollaries that Theorem 1.2 combines with the new lower bound; also supplies the upper bound used in Proposition 2.5.","marker":"[PRW23]"},{"why":"Characterizes limit circle versus limit point for Jacobi matrices with power asymptotics and gives the previous order bounds that Theorem 1.4 closes.","marker":"[Pru20]"},{"why":"Provides the gamma-tempered perturbation framework, the limit-circle criteria, and the route to the recessive-solution asymptotics used in Lemma 3.3.","marker":"[´ST23]"},{"why":"Supplies the regular variation theory, uniform convergence, and asymptotic inversion used throughout the proof of Theorem 1.1 and Proposition 2.5.","marker":"[BGT89]"}],"fun_headline_variants":["Exact Nevanlinna order for critical Jacobi matrices","Nevanlinna growth pinned down for large-order systems","Critical Jacobi case yields exact growth order","Large-order Nevanlinna matrices get explicit lower bound","Order 1/(2(β−1)) proven exact for critical Jacobi"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The decisive premise is that the special small-at-infinity solution of the Jacobi recurrence has squared modulus comparable to $\\sqrt{\\gamma_n}/b_n$ and phase steps tending to zero, and that the power-asymptotic parameters satisfy the auxiliary regularity condition (asserted as Lemma 3.5, without proof) that makes this asymptotic available; if either part fails, the monotone-angle picture and the final order formula collapse.","fun_headline_variants_meta":{"raw":{"variants":["Exact Nevanlinna order for critical Jacobi matrices","Nevanlinna growth pinned down for large-order systems","Critical Jacobi case yields exact growth order","Large-order Nevanlinna matrices get explicit lower bound","Order 1/(2(β−1)) proven exact for critical Jacobi"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000687,"raw_usage":{"total_tokens":3201,"prompt_tokens":1118,"completion_tokens":2083,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":734,"completion_tokens_details":{"reasoning_tokens":2008}},"tokens_in":734,"tokens_out":2083,"duration_ms":13906,"temperature":1.0,"reasoning_tokens":2008,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T18:18:49.675081+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete Jacobi matrix in the theorem's range, say $\\beta=7/4$, $x_0=1$, $y_0=2x_0$, $\\sigma=3$, with $\\chi_n=\\mu_n=0$, and compute the associated canonical system: if the normalized angle increments $\\sqrt{n}(\\varphi_{n+1}-\\varphi_n)$ do not converge to a nonzero constant of one sign, or if $\\log|w_{H,22}(ir)|/r^{1/(2(\\beta-1))}$ does not stay bounded between two positive constants as $r\\to\\infty$, then Theorem 1.4 fails.","supporting_citations":[],"review_version":1}