{"id":"2c2798d4-5ecc-484d-b427-4edfd207834b","arxiv_id":"2606.06859","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Introduces and studies the rectangular finite free heat flow as a dynamical system on polynomials with equivalent characterizations, root asymptotics, and connections to Calogero-Moser systems and mean curvature flow on Lie group orbits.","lead":"The paper defines a new dynamical system on polynomials called the rectangular finite free heat flow, which acts like a heat equation in rectangular finite free probability. It analyzes its properties, root asymptotics, and links to Lie group geometry and integrable systems.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Well-posedness of the rectangular finite free heat flow without regularity conditions on initial polynomials","rationale":"The reader's weakest_assumption pinpoints the precise point where the multiple equivalent characterizations and the geometric interpretation become conditional on unstated regularity. No other internal inconsistency is visible from the abstract-level claims; the concern is therefore load-bearing and matches the reader's diagnosis exactly. The availability of the full text does not remove the need to verify the regularity scope.","tokens_in":1583,"tokens_out":296,"duration_ms":14701,"concrete_test":"Extract the definition of the flow and the proof that it satisfies the PDE/gradient-flow characterizations; apply both characterizations to a degree-3 initial polynomial with a repeated root and compare the resulting trajectories. If the two characterizations diverge or existence fails, the general well-posedness claim does not hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires the flow to be a well-defined dynamical system on the space of polynomials, with PDE and gradient-flow characterizations holding equivalently and the mean-curvature interpretation applying to general compact Lie-group orbits. If these equivalences are proved only under implicit assumptions (distinct roots, sufficient smoothness, or non-vanishing leading coefficients), the characterizations and the orbit-expansion statement fail to extend to the full space stated in the abstract. The long-time and high-degree root-distribution limits would then rest on the same unverified extension.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper defines the rectangular finite free heat flow as a dynamical system on polynomials in the rectangular finite free probability setting. It establishes several equivalent characterizations (PDE and gradient flow formulations), basic dynamical properties, asymptotic root distributions in the long-time and high-degree limits, connections to Calogero-Moser systems and Dunkl processes, and shows that the flow describes the mean curvature expansion of a family of compact Lie group orbits.","tokens_in":1703,"tokens_out":321,"duration_ms":12486,"significance":"If the well-posedness and equivalences hold as stated, the work supplies a new dynamical object that unifies aspects of finite free probability with PDE theory, gradient flows, and geometric evolution of Lie group orbits. The long-time and high-degree asymptotic root distribution results would constitute concrete, testable predictions of interest to researchers in random polynomials and free probability.","major_comments":[{"comment":"Abstract: The central claims require the rectangular finite free heat flow to be well-posed as a dynamical system on the full space of polynomials, with PDE and gradient-flow characterizations holding equivalently and the mean-curvature interpretation applying to general compact Lie-group orbits. The manuscript provides no explicit statement of the regularity conditions (distinct roots, non-vanishing leading coefficient, or sufficient smoothness) under which these equivalences are established; without such conditions the extension to the space stated in the abstract is unverified and load-bearing for all subsequent results.","section":"Abstract"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and the constructive comment on the abstract. We address the point below and will revise the manuscript accordingly.","responses":[{"response":"We agree that the abstract (and the introduction) should explicitly state the regularity conditions under which the equivalences and well-posedness hold. The manuscript works throughout with monic polynomials having distinct roots; the flow is shown to preserve this property for short time, and the PDE/gradient-flow equivalences are derived under this assumption. In the revision we will add a clarifying sentence to the abstract: “All results assume monic polynomials with distinct roots and non-vanishing leading coefficient; the flow preserves these properties locally in time.” We will also insert a short paragraph in Section 2 making the domain and regularity hypotheses precise. This addresses the concern without altering any theorems.","revision_made":"yes","referee_comment":"[Abstract] Abstract: The central claims require the rectangular finite free heat flow to be well-posed as a dynamical system on the full space of polynomials, with PDE and gradient-flow characterizations holding equivalently and the mean-curvature interpretation applying to general compact Lie-group orbits. The manuscript provides no explicit statement of the regularity conditions (distinct roots, non-vanishing leading coefficient, or sufficient smoothness) under which these equivalences are established; without such conditions the extension to the space stated in the abstract is unverified and load-bearing for all subsequent results."}],"tokens_in":1194,"tokens_out":315,"duration_ms":9191,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core contribution is a new dynamical system on rectangular polynomials that extends earlier finite free constructions. The authors give equivalent PDE and gradient-flow descriptions, record basic properties, and extract long-time and high-degree root limits. They also connect the flow to Calogero-Moser systems, Dunkl processes, and mean-curvature evolution on compact Lie-group orbits.\n\nThe geometric link is the clearest addition. It turns an algebraic object into something that can be viewed as orbit expansion, which is not a routine translation of prior work.\n\nThe main soft spot is the domain of the flow. The abstract states that the characterizations and the mean-curvature interpretation hold for the rectangular finite free heat flow on polynomials, yet the stress-test concern about implicit regularity (distinct roots, non-vanishing leading coefficients, sufficient smoothness) is reasonable. If those conditions are required for the equivalences, the statements as written do not cover the full space claimed. The asymptotic root results would inherit the same restriction.\n\nBecause only the abstract is visible here, the actual proofs cannot be inspected for gaps or for how the authors handle the initial data. That leaves the soundness of the equivalences unverified.\n\nThe paper is written for people already inside finite free probability and related integrable-systems circles. Outsiders will need the background literature to follow the definitions.\n\nI would send it to referees. The new object and the geometric claim are concrete enough to merit a technical review, even if the domain statements require tightening.","headline":"The paper defines a rectangular finite free heat flow with PDE, gradient-flow, and mean-curvature characterizations plus root-distribution limits, but the well-posedness claim on general polynomials needs explicit regularity checks.","tokens_in":2175,"tokens_out":389,"would_cite":false,"duration_ms":9312,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The rectangular finite free heat flow on polynomials equals mean curvature expansion of compact Lie group orbits.","keywords":["rectangular finite free probability","heat flow on polynomials","polynomial roots","mean curvature flow","Lie group orbits","Calogero-Moser systems","Dunkl processes"],"falsifier":"An explicit low-degree initial polynomial whose evolved roots fail to match the predicted long-time or high-degree asymptotic distribution, or whose orbit under the flow deviates from the mean curvature vector of the corresponding Lie group orbit.","tokens_in":2487,"feed_emoji":"","tokens_out":670,"duration_ms":11286,"temperature":0.7,"pith_summary":"The paper defines a dynamical system on polynomials called the rectangular finite free heat flow, which serves as the analogue of the heat equation within rectangular finite free probability. It proves that this system admits equivalent descriptions as a partial differential equation and as a gradient flow, while also establishing its basic dynamical properties. The flow is shown to govern the asymptotic distributions of polynomial roots both as time tends to infinity and as polynomial degree grows large. Finally, the construction is identified with the mean curvature expansion of orbits under actions of compact Lie groups, and links are drawn to Calogero-Moser systems and Dunkl processes.","feed_headline":"Polynomial heat flow equals mean curvature on Lie group orbits","feed_subtitle":"Rectangular finite free heat flow supplies PDE, gradient, and geometric characterizations while fixing long-time and high-degree root distri","key_machinery":"The rectangular finite free heat flow, a dynamical system on the space of polynomials that evolves according to finite free probability rules and unifies PDE, gradient-flow, and geometric descriptions.","core_discovery":"The rectangular finite free heat flow is a dynamical system on polynomials that plays the role of the heat equation in the setting of rectangular finite free probability. It admits equivalent characterizations via a PDE and via a gradient flow, determines the asymptotic root distributions in the long-time and high-degree limits, and describes the mean curvature expansion of a family of compact Lie group orbits, with additional connections to Calogero-Moser systems and Dunkl processes.","pith_inferences":["The asymptotic root laws could be used to predict eigenvalue distributions in certain random matrix models that arise from finite free probability.","The geometric characterization might extend to orbits under non-compact groups or to other curvature-driven flows on polynomial spaces.","Numerical schemes based on the gradient-flow formulation could be tested against the explicit asymptotic formulas for validation."],"forward_implications":["Polynomial roots evolve according to explicit asymptotic laws determined by the flow in both long-time and high-degree regimes.","The PDE and gradient-flow views supply interchangeable analytic tools for studying the dynamics.","The mean curvature interpretation supplies a geometric realization of the probabilistic evolution on Lie group orbits.","Connections to Calogero-Moser systems and Dunkl processes yield stochastic and integrable-system interpretations of the flow."],"fun_headline_variants":["Rectangular free heat flow matches Lie group mean curvature","Free probability heat flow reveals polynomial root asymptotics","Finite free heat flow links to Calogero-Moser and Dunkl","Polynomial system equals mean curvature expansion on orbits"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The newly defined rectangular finite free heat flow is well-posed as a dynamical system on polynomials, with its PDE and gradient-flow characterizations holding for arbitrary initial polynomials.","fun_headline_variants_meta":{"raw":{"variants":["Rectangular free heat flow matches Lie group mean curvature","Free probability heat flow reveals polynomial root asymptotics","Finite free heat flow links to Calogero-Moser and Dunkl","Polynomial system equals mean curvature expansion on orbits"]},"model":"grok-4.3","cost_usd":0.007322,"raw_usage":{"total_tokens":3308,"prompt_tokens":543,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":73224500,"prompt_tokens_details":{"text_tokens":543,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2703,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":543,"tokens_out":62,"duration_ms":12597,"temperature":1.0,"reasoning_tokens":2703,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T21:22:02.483723+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit low-degree initial polynomial whose evolved roots fail to match the predicted long-time or high-degree asymptotic distribution, or whose orbit under the flow deviates from the mean curvature vector of the corresponding Lie group orbit.","supporting_citations":[],"review_version":1}