{"id":"4a195095-4912-4a97-a773-c710755462da","arxiv_id":"2604.03206","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Establishes scaling limits and Fredholm determinant formulas for the extremes of noncolliding Brownian processes and related random matrix eigenvalues.","lead":"This paper derives limit theorems for the largest particle in noncolliding Brownian motion systems, including scaling limits for largest eigenvalues in random matrix models and Fredholm determinant formulas for path maxima. These connect stochastic particle systems to known objects in random matrix theory and last passage percolation.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's low-confidence UNVERDICTED verdict stemmed from abstract-only access. With the full manuscript the technical steps are standard and no load-bearing gap in the conditioning or limit interchange is visible.","tokens_in":1652,"tokens_out":252,"duration_ms":121333,"concrete_test":"Reproduce the Fredholm determinant formula in claim (iii) by direct Monte Carlo sampling of 1000 noncolliding Brownian bridges on [0,1] with 20 particles and compare the empirical CDF of the top-path maximum against the predicted determinant expression; agreement within 2% Kolmogorov distance would confirm the formula.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims rest on standard constructions for noncolliding processes (Karlin-McGregor determinants, Doob h-transforms for drifted Brownian motions) and known convergence results to the Airy process and Fredholm determinants. The derivations for the three limit theorems and the byproduct formulas for the Laguerre Orthogonal Ensemble and point-to-line LPP appear internally consistent; generic initial conditions are handled by the usual absolute-continuity arguments that keep the non-intersection probability positive on finite intervals.","agreement_with_reader":"disagree"},"referee_report":null,"author_rebuttal":null,"desk_editor":null,"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Noncolliding Brownian extremes and Airy/Fredholm limits orthogonal to RS forcing","alignment":"orthogonal","rationale":"Paper derives scaling limits and Fredholm formulas for maxima of conditioned drifted Brownian motions and Dyson BM using Karlin-McGregor determinants, Doob h-transforms, and contour-integral kernels. No J-cost, cosh identities, φ-ladders, ratio symmetry, 8-tick periodicity, or parameter-free constant derivations appear. Domain (math.PR, RMT edge statistics) lies outside RS structural theorems on recognition cost and spacetime emergence.","tokens_in":65714,"confidence":"high","tokens_out":136,"duration_ms":18776,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Noncolliding Brownian motions admit scaling limits and Fredholm formulas for their extreme statistics.","keywords":["noncolliding Brownian motions","extreme statistics","Airy process","Fredholm determinant","Dyson's Brownian motion","random matrices","Laguerre ensemble","last passage percolation"],"falsifier":"Numerical simulation of the maximum position in a system of noncolliding Brownian bridges whose distribution does not match the predicted Fredholm determinant would disprove the formula.","tokens_in":2558,"feed_emoji":"","tokens_out":731,"duration_ms":73978,"temperature":0.7,"pith_summary":"This paper studies noncolliding interacting particle systems driven by Brownian noise, such as drifted Brownian motions conditioned not to intersect. It establishes limit theorems for the position of the rightmost particle in these systems. These include a scaling limit for the largest eigenvalue in Brownian motion on positive definite Hermitian matrices and an Airy process limit for the largest eigenvalue in Dyson's Brownian motion for the Gaussian unitary ensemble under generic initial conditions. Additionally, it derives a Fredholm determinant formula for the maximum of the top path in noncolliding Brownian bridges, with byproducts for the Laguerre orthogonal ensemble and last passage percolation. A reader would care because these results provide exact descriptions of extremes in models that arise in random matrix theory and statistical physics.","feed_headline":"Noncolliding Brownian paths show Airy limits at their maxima","feed_subtitle":"Limit theorems and determinant formulas give the distribution of the largest particle in these conditioned systems.","key_machinery":"Conditioning drifted Brownian motions to remain non-intersecting, which enables the transfer of random matrix theory methods to describe the statistics of the extremal particle.","core_discovery":"We establish limit theorems for the extremal particle in noncolliding Brownian processes. These are the scaling limit of the largest eigenvalue of Brownian motion over Hermitian positive-definite matrices, the Airy process limit for the largest eigenvalue of Dyson's Brownian motion for GUE started from generic initial conditions, and a Fredholm determinant formula for the maximum of the top path among noncolliding Brownian bridges, along with new formulas for the largest eigenvalue in a Laguerre Orthogonal Ensemble and a related point-to-line last passage percolation model.","pith_inferences":["The results indicate that Airy limits for the top eigenvalue hold even with generic starting points rather than special ones.","The Fredholm determinant expressions could be used to derive large deviation principles or tail asymptotics for these extremes.","Similar techniques might apply to other conditioned stochastic processes beyond Brownian motion.","The connection to last passage percolation suggests universality of these formulas across related combinatorial models."],"forward_implications":["The largest eigenvalue in Brownian motion over Hermitian positive-definite matrices has a determined scaling limit.","Dyson's Brownian motion for GUE from generic initial conditions has its largest eigenvalue converging to the Airy process.","The maximum of the top path among noncolliding Brownian bridges is given by a Fredholm determinant formula.","A new explicit formula is obtained for the law of the largest eigenvalue in a particular Laguerre Orthogonal Ensemble.","A formula is derived for a related point-to-line last passage percolation model."],"fun_headline_variants":["Airy limits at maxima of noncolliding Brownian paths","Scaling limits of largest eigenvalues in matrix Brownian motions","Fredholm determinant for top Brownian bridge maximum","Largest eigenvalue laws for Laguerre ensembles from Brownian models"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The derivations depend on the well-definedness of conditioning drifted Brownian motions to not intersect and on the direct applicability of standard random matrix theory techniques to the extremal particle.","fun_headline_variants_meta":{"raw":{"variants":["Airy limits at maxima of noncolliding Brownian paths","Scaling limits of largest eigenvalues in matrix Brownian motions","Fredholm determinant for top Brownian bridge maximum","Largest eigenvalue laws for Laguerre ensembles from Brownian models"]},"model":"grok-4.3","cost_usd":0.006235,"raw_usage":{"total_tokens":2820,"prompt_tokens":598,"num_sources_used":0,"completion_tokens":59,"cost_in_usd_ticks":62353000,"prompt_tokens_details":{"text_tokens":598,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2163,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":598,"tokens_out":59,"duration_ms":49871,"temperature":1.0,"reasoning_tokens":2163,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-13T17:50:30.168238+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Numerical simulation of the maximum position in a system of noncolliding Brownian bridges whose distribution does not match the predicted Fredholm determinant would disprove the formula.","supporting_citations":[],"review_version":1}