{"id":"7d2bb6ec-ab6f-4444-b4ce-bec37adedd19","arxiv_id":"2508.01458","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The bulk characteristic polynomial of the Gaussian beta-ensemble is shown to converge jointly to Sine-beta local fluctuations and a log-correlated Gaussian field, down to vanishing errors.","lead":"This paper derives a complete asymptotic description of the characteristic polynomial of the Gaussian beta-ensemble random matrix model, valid across the bulk of the spectrum. It unifies local fluctuations (Sine-beta process) with global log-correlated Gaussian structure, and yields several known results as corollaries.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim requires a uniform error estimate as the observable scale sweeps from local to mesoscopic; the abstract provides no such estimate, and known results for β≠2 do not supply one.","rationale":"The reader correctly identifies the simultaneous local/mesoscopic coupling as the most fragile premise. My stress-test agrees and makes the concern more concrete: the only way the abstract's 'accurate down to vanishing errors' can be a single theorem is if the error is controlled uniformly over the full range of scales, in particular over the transition region between the Sine-β process and the Gaussian log-correlated field. Neither the abstract nor any known result for general β displayed in the abstract supplies this uniform control. However, this is a concern about missing verification, not a demonstrated falsehood; without access to the full proof, the appropriate verdict remains unverified. The reader's UNVERDICTED judgment is therefore unchanged. I give credit for the plausibility of the claimed unification and for the paper naming concrete prior results it extends, but those do not substitute for the missing uniform error estimate. The suggested numerical check would provide independent evidence if the full text is not examined, while a direct inspection of the theorem statement is the fastest route to settling the concern.","tokens_in":717,"tokens_out":5393,"duration_ms":75929,"concrete_test":"Extract the main theorem's error bound and check its dependence on the scale parameter α. If the bound is of the form N^{-δ} with δ independent of α, the uniform claim is plausible; if it contains a factor like exp(c(1-α) log N) or an unspecified uniformity over α, run a numerical check: for β=1 (tridiagonal model), N=2^k, estimate the covariance of log|P_N(e^{iθ})| and log|P_N(e^{i(θ+ℓ)})| at ℓ=N^{-α} for α=0.25, 0.5, 0.75, 0.95, and compare with the interpolated prediction. The uniform claim fails if the normalized error grows as α→1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central theorem is not merely the conjunction of two separate known convergence statements; it asserts one limit that is simultaneously local (Sine-β point process) and global/mesoscopic (log-correlated Gaussian field), with errors vanishing as N→∞. The load-bearing step is therefore a joint coupling in which statistics of log|P_N| at any scale ℓ_N=N^{-α}, α∈[0,1], are approximated by the appropriate object, and the error is o(1) uniformly in α. The abstract does not state the topology in which this coupling lives, nor any quantitative rate. The danger is a non-uniform transition: for a single fixed α∈(0,1), convergence could follow by standard arguments, while the error grows as α→1 or as the bulk point approaches the edge. Because continuity in α is not automatic, a family of pointwise-in-α convergences does not imply the claimed simultaneous description. For general β, known results (Valkó–Virág and Bourgade–Mody–Pain) are qualitative or distributional; they do not yield the explicit uniform error control that this theorem needs. So the weakest assumption is that such a uniform coupling exists and is supplied in the proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper (arXiv:2508.01458) claims a comprehensive bulk asymptotic for the Gaussian β-ensemble (GβE) characteristic polynomial, asserting that a single theorem simultaneously describes local-scale fluctuations (governed by the Sine-β point process) and global/mesoscopic log-correlated Gaussian structure, with errors vanishing as N→∞. Three corollaries are listed: (1) convergence of characteristic polynomial ratios to the stochastic zeta function, extending work of Valkó and Virág; (2) a martingale approximation of the log-characteristic polynomial that recovers the central limit theorem of Bourgade, Mody and Pain; and (3) an order-one correction described by the stochastic Airy function. The manuscript provided for review consists solely of this abstract; no proof, technical assumptions, or error bounds are included.","tokens_in":907,"tokens_out":3464,"duration_ms":40580,"significance":"If the claimed theorem is correct, it would be a substantial contribution, unifying two previously separate asymptotic regimes (local Sine-β fluctuations and mesoscopic log-correlated Gaussian field) for a general-β model, and yielding several known results as corollaries. The significance also depends on the strength of the coupling: a genuine simultaneous description with uniform error control would go beyond simply combining two known distributional limits. However, because the abstract contains no proof or precise statement, the result is currently unverified. The paper's value cannot be assessed without the full derivation, including the uniform error estimates that the central claim requires.","major_comments":[{"comment":"The main theorem is asserted without a precise statement: no definitions of the Sine-β process, the log-correlated Gaussian field, or the topology of convergence are given. Most importantly, the phrase 'simultaneously captures both local-scale fluctuations and global/mesoscopic log-correlated Gaussian structure, accurate down to vanishing errors' requires a joint coupling with errors that vanish uniformly as the observable scale sweeps from local to mesoscopic. The abstract does not state this uniformity, and pointwise convergence for each fixed scale does not imply a single coupled limit with uniformly vanishing error. This is load-bearing because a failure to control the transition between scales would invalidate the claimed simultaneous description. The authors must provide the full theorem statement, the coupling, and the uniform error estimate.","section":"Abstract (central theorem)"},{"comment":"The abstract says the three results are 'immediate corollaries,' but it does not disclose how the proof of the main theorem depends on the cited results of Valkó–Virág and Bourgade–Mody–Pain. If the main theorem is proved using those results, the corollaries may be less independent than the phrasing implies, and a circularity concern arises. The proof should clearly delineate which statements are assumed and which are derived, so the reader can verify the logical dependency structure.","section":"Corollaries (1)–(3)"},{"comment":"The claim 'anywhere in the bulk of the spectrum' lacks technical precision. It does not specify how close to the spectral edge the result holds, nor the range of scale exponents (e.g., ℓ_N = N^{-α} for which α ∈ [0,1]) over which the simultaneous description is uniform. Without this specification, the claim is not precise enough to be checked or falsified. A complete statement must include the admissible region in the bulk and the uniformity in the scale parameter and in the bulk point.","section":"Abstract (scope)"}],"minor_comments":[{"comment":"The terms 'stochastic zeta function' and 'stochastic Airy function' are not defined or referenced; the abstract should include precise definitions or citations.","section":"Abstract"},{"comment":"The phrase 'vanishing errors as N→∞' is too vague; it should be quantified (e.g., in probability, almost surely, or in a specific metric, with or without rate).","section":"Abstract"},{"comment":"The manuscript as provided to the reviewer contains only the abstract. A complete submission must include the full text with proofs, so that the technical claims can be evaluated.","section":"General"}],"recommendation":"uncertain","confidential_remarks":"The manuscript is currently only an abstract, so no substantive technical review is possible. The central claim is plausible but unverified. I recommend that the editor require the full manuscript before sending it for review, or, if this is the entire submission, that it be returned as incomplete. The specific risk identified by the stress-test—lack of a uniform joint coupling between the local and mesoscopic scales—is real and must be addressed in the full paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's the short version: this paper states a theorem that would put all bulk scales of the GβE characteristic polynomial into one asymptotic. That's a real step beyond Valkó–Virág (which handles the Sine-β process) and Bourgade–Mody–Pain (which gives a CLT). If the theorem stands, it's a major result in random matrix theory, and the three corollaries—stochastic zeta function convergence, martingale approximation, and the stochastic Airy correction—are natural and honestly claimed.\n\nWhat impresses me from the abstract alone: the authors aren't trying to sell one more local CLT. They are aiming for a single statement that is simultaneously local and mesoscopic, with errors vanishing as N→∞. The recovery of known results as corollaries, rather than assumptions, points away from circularity. The writing is clear, and the authors have a track record that makes the claim plausible.\n\nThe soft spot is exactly what the stress-test note says: the theorem's load-bearing parts are a uniform coupling and a uniform error estimate across all scales from local to mesoscopic. The abstract gives no topology, no rate, and no statement of how the transition region is controlled. Pointwise convergence in α does not imply uniform convergence, and for general β the known results are distributional, not quantitative. So either the proof supplies a strong uniform estimate, or the theorem as stated could have a hidden gap. I stress that this is a concern about evidence, not an identified error—I have not seen the proof.\n\nThere is another minor issue: the abstract does not disclose how heavily the proof leans on Valkó–Virág or Bourgade–Mody–Pain. That is not a flaw per se, but a referee will want to see the dependency structure.\n\nBottom line: this paper deserves a serious referee. The claim is important, credible, and checkable. A desk reject would be wrong. I wouldn't cite it in my own work until the proof is public and I've checked the uniform estimates, but I'd absolutely want to see the full write-up and would recommend sending it to the strongest available referees.","headline":"A credible, major multiscale claim for GβE characteristic polynomials that we cannot yet verify; deserves full refereeing.","tokens_in":1439,"tokens_out":2279,"would_cite":false,"duration_ms":27402,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60B20","60F05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the bulk characteristic polynomial of the Gaussian $\\beta$-ensemble has one limiting description that covers local Sine-$\\beta$ fluctuations and mesoscopic log-correlated Gaussian structure simultaneously, with…","keywords":["Gaussian β-ensemble","characteristic polynomial","Sine-β point process","log-correlated Gaussian field","bulk asymptotics","stochastic zeta function","martingale approximation"],"falsifier":"Take two bulk points separated by a distance $N^{-\\theta}$ with $0<\\theta<1$ and compute the covariance of $\\log|p_N(x)|$ and $\\log|p_N(y)|$; the claimed mesoscopic Gaussian description predicts a specific log-correlated covariance, so any discrepancy that does not vanish as $N\\to\\infty$ would falsify the central claim.","tokens_in":502,"feed_emoji":"🎲","tokens_out":11202,"duration_ms":113354,"temperature":0.7,"pith_summary":"The paper sets out to prove that the characteristic polynomial of the Gaussian $\\beta$-ensemble, evaluated in the bulk of the spectrum, has a single asymptotic description valid at every scale. On the smallest scale the fluctuations are governed by the Sine-$\\beta$ point process, while on mesoscopic scales the logarithm of the characteristic polynomial behaves like a log-correlated Gaussian field, and the two descriptions fit together with errors that vanish as $N\\to\\infty$. If this is right, it unifies two previously separate pictures of the same random object and gives a tool for reading off local and mesoscopic statistics from one statement. The paper also draws immediate corollaries: convergence of characteristic polynomial ratios to a stochastic zeta function, a martingale approximation that recovers a known central limit theorem, and an order-one correction to that martingale described by the stochastic Airy function.","feed_headline":"One theorem now unites local and mesoscopic behavior of β-ensemble","feed_subtitle":"The same theorem now captures local Sine-β and mesoscopic log-correlated Gaussian bulk limits with vanishing error.","key_machinery":"The central object is the logarithm of the characteristic polynomial, $\\log p_N(x)$, which carries both the local zero structure and the mesoscopic Gaussian fluctuations. The load-bearing mechanism is the joint coupling between the Sine-$\\beta$ point process at the local scale and a log-correlated Gaussian field at the mesoscopic scale, with errors controlled uniformly in the bulk. Two named limiting objects appear: the stochastic zeta function, the random limit of characteristic polynomial ratios whose zeros are governed by Sine-$\\beta$, and the stochastic Airy function, which enters as the order-one correction in the martingale approximation.","core_discovery":"The central claim is that the bulk characteristic polynomial of the Gaussian $\\beta$-ensemble admits a comprehensive asymptotic description that is accurate uniformly in the bulk with negligible error as $N\\to\\infty$. At the microscopic scale, the zeros of the polynomial behave like the Sine-$\\beta$ point process; at mesoscopic scales, the log-characteristic polynomial is asymptotically a log-correlated Gaussian field. The discovery is that these two regimes are captured by one joint statement rather than by separate theorems. From that statement follow the convergence of characteristic polynomial ratios to the stochastic zeta function, a martingale approximation of the log-characteristic polynomial, and an explicit order-one correction involving the stochastic Airy function.","pith_inferences":["If the coupling is as strong as claimed, it should allow one to compute cross-correlations between mesoscopic linear statistics and local eigenvalue counts directly from the same asymptotic description; the abstract does not state this, but it is a natural consequence.","The martingale approximation with a stochastic-Airy correction suggests that quantitative rates for the central limit theorem, not just qualitative convergence, may follow from the same argument; this is an extension the paper does not itself advertise.","A plausible testable extension is that the same simultaneous bulk description holds for other $\\beta$-ensembles or deformed Gaussian models, but only if the coupling mechanism does not rely on the specific form of the Gaussian weight; the paper does not claim this."],"forward_implications":["Characteristic polynomial ratios in the bulk converge to the stochastic zeta function, extending the Sine-$\\beta$ result to the Gaussian $\\beta$-ensemble.","The log-characteristic polynomial admits a martingale approximation, and the central limit theorem follows from it.","The first non-trivial correction to the martingale is given by the stochastic Airy function.","Local and mesoscopic bulk statistics are covered by one uniform statement with vanishing error, so the same theorem applies at any observation scale."],"supporting_citations":[],"fun_headline_variants":["One theorem unifies local and mesoscopic bulk limits for β-ensemble","Bulk characteristic polynomial of GβE: unified Sine-β and log-correlated limits","GβE bulk: single result links Sine-β and log-correlated Gaussian limits","One theorem for GβE bulk: local Sine-β and mesoscopic Gaussian asymptotics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof must show that the local Sine-$\\beta$ description and the mesoscopic log-correlated Gaussian description agree on an overlap region, with errors that vanish uniformly across the bulk; if the transition between the two scales is not controlled, the simultaneous statement fails.","fun_headline_variants_meta":{"raw":{"variants":["One theorem unifies local and mesoscopic bulk limits for β-ensemble","Bulk characteristic polynomial of GβE: unified Sine-β and log-correlated limits","GβE bulk: single result links Sine-β and log-correlated Gaussian limits","One theorem for GβE bulk: local Sine-β and mesoscopic Gaussian asymptotics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001734,"raw_usage":{"total_tokens":6804,"prompt_tokens":845,"completion_tokens":5959,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":461,"completion_tokens_details":{"reasoning_tokens":5869}},"tokens_in":461,"tokens_out":5959,"duration_ms":40591,"temperature":1.0,"reasoning_tokens":5869,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T05:34:15.415173+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take two bulk points separated by a distance $N^{-\\theta}$ with $0<\\theta<1$ and compute the covariance of $\\log|p_N(x)|$ and $\\log|p_N(y)|$; the claimed mesoscopic Gaussian description predicts a specific log-correlated covariance, so any discrepancy that does not vanish as $N\\to\\infty$ would falsify the central claim.","supporting_citations":[],"review_version":1}