{"id":"af5596a1-8657-4c40-b41a-0015424ff46c","arxiv_id":"2312.14883","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Limiting root distribution after repeated fractional differentiation is the push-forward of the initial distribution under a characteristic flow of the log-potential PDE.","lead":"The paper studies how roots of high-degree random polynomials with independent coefficients move when a fractional differential operator is applied many times. It derives a deterministic transport map for the limiting root distribution in the large-degree limit and links it to free probability.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Existence of limiting root distribution for initial P^N with independent coefficients is assumed, not proved, rendering the push-forward claim conditional on that prerequisite.","rationale":"The reader's weakest_assumption matches the load-bearing prerequisite exactly. Because the full text is now available but the abstract already reveals the assumption is taken as given, the concern remains and keeps the verdict provisional (CONDITIONAL on the initial limit existing under the coefficient laws used). No other internal inconsistency in the transport-map construction is apparent.","tokens_in":1796,"tokens_out":378,"duration_ms":46204,"concrete_test":"For coefficients a_k i.i.d. complex standard normal, compute empirical root measures of P^N for N=200,400,800; check weak convergence to a candidate μ_0 (e.g., normalized Lebesgue on unit circle) and whether the same limit appears for uniform-on-circle coefficients; if the limit fails to exist or depends on the law, the evolution claim is conditional.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that P^N(z) with independent coefficients possesses a limiting root distribution μ_0 as N→∞, after which the evolved measure μ_t is obtained as the push-forward of μ_0 under the characteristic flow T_t of the PDE for its log potential. The abstract states the setup for general independent coefficients without further moment or distributional assumptions, yet the existence of μ_0 is a non-trivial result in random polynomial theory (typically requiring e.g. finite log-moment conditions or Gaussianity to obtain e.g. the circular law on |z|=1). Without this limit, the transport construction and the free-probability interpretation cannot be applied. The paper then evolves this distribution, but the load-bearing step is the unproven initial convergence rather than the subsequent PDE/characteristics analysis.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper starts with a random polynomial P^N(z) of degree N with independent coefficients and considers the polynomial obtained after applying the fractional differential operator z^a (d/dz)^b a total of ⌈Nt⌉ times. It claims to compute the limiting root distribution μ_t as N→∞, showing that μ_t is the push-forward of the initial limiting root distribution under a transport map T_t obtained by flowing along characteristics of a PDE satisfied by the log potential of μ_t. Special cases include repeated differentiation (roots move radially at constant speed until reaching the origin) and a free-probability interpretation as multiplication by an R-diagonal transport operator; an application yields a push-forward characterization of the free self-convolution semigroup of radial measures on ℂ. The case b<0 (including repeated integration) is also treated.","tokens_in":1976,"tokens_out":505,"duration_ms":19929,"significance":"If the claims hold under appropriate conditions, the work supplies a dynamical description of root evolution under fractional operators that links random polynomials to free probability and gives an explicit characterization of the radial free self-convolution semigroup. The transport-map construction via PDE characteristics is a potentially useful technical contribution when the initial limiting measure exists.","major_comments":[{"comment":"Abstract and opening paragraphs: the central claim that μ_t is computed for general independent coefficients presupposes the existence of a limiting root distribution μ_0 for the initial P^N. No moment or distributional hypotheses are stated, yet existence of such limits is a non-trivial prerequisite (typically requiring e.g. finite log-moments or Gaussianity) that is not proved or even explicitly assumed in the manuscript; without it the push-forward construction cannot be applied.","section":"Abstract"},{"comment":"The derivation that the evolved measure is exactly the push-forward under the characteristic flow T_t of the log-potential PDE is presented as the main result, but the manuscript supplies no error estimates, tightness arguments, or verification that the limiting empirical measure converges to this transported measure; the soundness of the transport step therefore cannot be assessed from the given text.","section":"Abstract"}],"minor_comments":[{"comment":"The notation for the fractional operator z^a (d/dz)^b should include an explicit definition or reference for non-integer exponents a and b.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive comments on the assumptions and rigor. We address the two major comments point by point below.","responses":[{"response":"We agree that existence of the initial limiting measure μ_0 is a prerequisite not proved in the paper. The abstract and main text presuppose this limit exists when they refer to computing μ_t as its push-forward under T_t. The manuscript's focus is the evolution step assuming μ_0 is given, rather than proving existence (which is known in the literature under conditions such as i.i.d. Gaussian coefficients or finite log-moments). In revision we will explicitly state the assumption in the abstract and introduction, with a brief reference to standard sufficient conditions from the random-polynomial literature.","revision_made":"yes","referee_comment":"[Abstract] Abstract and opening paragraphs: the central claim that μ_t is computed for general independent coefficients presupposes the existence of a limiting root distribution μ_0 for the initial P^N. No moment or distributional hypotheses are stated, yet existence of such limits is a non-trivial prerequisite (typically requiring e.g. finite log-moments or Gaussianity) that is not proved or even explicitly assumed in the manuscript; without it the push-forward construction cannot be applied."},{"response":"The derivation obtains the explicit form of μ_t by evolving the log-potential, deriving the associated PDE, and solving along characteristics to produce the transport map T_t; the limiting distribution is then defined as the push-forward of μ_0. We acknowledge that the manuscript contains no quantitative error bounds, tightness proofs, or direct verification that the empirical measures converge to this transported limit. The result is therefore formal in the sense that it describes the candidate limit under the standing assumption that the initial empirical measures converge to μ_0 and that the transport applies in the limit. In revision we will add a clarifying remark in the introduction and main theorem statement to this effect, and we will indicate the additional analytic work that would be needed for a fully rigorous convergence proof.","revision_made":"yes","referee_comment":"[Abstract] The derivation that the evolved measure is exactly the push-forward under the characteristic flow T_t of the log-potential PDE is presented as the main result, but the manuscript supplies no error estimates, tightness arguments, or verification that the limiting empirical measure converges to this transported measure; the soundness of the transport step therefore cannot be assessed from the given text."}],"tokens_in":1523,"tokens_out":527,"duration_ms":21849,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core contribution is a dynamical description: start with the limiting root measure of a degree-N polynomial with independent coefficients, then push it forward under the flow of characteristics for the PDE satisfied by its log potential. This yields the evolved measure after repeated applications of z^a (d/dz)^b. For pure differentiation the roots move radially at constant speed until they reach zero and disappear. The same construction supplies a push-forward characterization of the free self-convolution semigroup on radial measures in the plane, via an R-diagonal transport operator interpretation. That link is the genuinely new piece; it is not just a restatement of earlier root-distribution results. The radial-motion example is clean and matches what one expects from repeated differentiation. The paper is honest about the b<0 case producing more complicated behavior. The soft spot is the starting point. The abstract and setup treat the existence of the initial limiting measure μ_0 as given for arbitrary independent coefficients, yet that limit is a nontrivial result in random polynomial theory and typically requires extra conditions (moments, Gaussianity, etc.) to guarantee something like the circular law. Without that limit the transport map and free-probability statements are conditional. If the full text supplies the missing convergence argument or cites a precise theorem that covers the general case, the concern disappears; otherwise the load-bearing step remains unproven. This is aimed at readers already working in random polynomials or free probability who want an explicit evolution rule. It is worth sending to a serious referee because the transport construction and the semigroup characterization are concrete and checkable, even if the initial convergence needs tightening.","headline":"The paper gives a transport map for root measures evolving under fractional operators via log-potential PDE characteristics, plus a free-probability reading as R-diagonal multiplication, but the initial limiting distribution for general independent coefficients is assumed rather than derived.","tokens_in":2448,"tokens_out":409,"would_cite":false,"duration_ms":14737,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Root transport via log-potential PDE and free-probability R-diagonal operators unrelated to RS distinction-forcing chain","alignment":"orthogonal","rationale":"Paper studies limiting root measures of random polynomials under fractional differential operators za(d/dz)b, deriving μ_t as push-forward of μ_0 under characteristic flow T_t of a Hamilton–Jacobi PDE on the log potential, plus free-probability interpretation as R-diagonal multiplication. No reference to J-cost, φ-ladder, 8-tick periodicity, or parameter-free derivation of constants. Central objects (Cauchy transform m(z), radial measures, free self-convolution semigroup ⊕) have no counterpart in the RS forcing theorems (reality_from_one_distinction, J-uniqueness via Aczél, AlexanderDuality for D=3). Domain mismatch (probabilistic complex analysis vs. logic-to-spacetime forcing) confirms orthogonality.","tokens_in":99007,"confidence":"high","tokens_out":203,"duration_ms":8723,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The limiting root distribution after repeated applications of a fractional differential operator is the push-forward of the initial distribution under a transport map from PDE characteristics.","keywords":["random polynomials","root distributions","fractional differential operators","limiting measures","transport maps","logarithmic potential","free probability"],"falsifier":"For a concrete initial distribution such as the circular law, compute the empirical roots of large-N polynomials after exactly floor(Nt) applications of the operator and test whether their empirical measure converges to the predicted push-forward.","tokens_in":2711,"feed_emoji":"","tokens_out":648,"duration_ms":16035,"temperature":0.7,"pith_summary":"The paper starts from random polynomials of degree N with independent coefficients that converge in root distribution to some measure as N grows. It applies an operator of the form z^a (d/dz)^b a total of roughly Nt times and derives the new limiting root measure μ_t. This measure equals the image of the initial limiting measure under an explicit transport map T_t. The map is constructed by solving a PDE for the logarithmic potential of μ_t and integrating its characteristic curves. The construction recovers radial inward motion at constant speed for pure repeated differentiation and supplies a free-probability multiplication rule for general parameters.","feed_headline":"Roots evolve by transport under fractional differentiation","feed_subtitle":"Limiting distributions after Nt operator applications equal the push-forward of the initial measure along PDE characteristics.","key_machinery":"The transport map T_t obtained by flowing along the characteristic curves of the PDE satisfied by the logarithmic potential of the evolving measure.","core_discovery":"Starting from a random polynomial P^N of degree N with independent coefficients that possesses a limiting root distribution ν, the polynomial obtained after roughly Nt applications of z^a (d/dz)^b has limiting root distribution μ_t equal to the push-forward of ν under the map T_t, where T_t is the flow along the characteristic curves of the PDE satisfied by the logarithmic potential of μ_t.","pith_inferences":["The same characteristic-flow method could be applied to other families of linear operators on polynomials whose action on the log-potential yields a closed PDE.","The free-probability multiplication rule may connect the root evolution to the multiplicative free convolution of circular elements.","Numerical checks on finite-N polynomials with Gaussian coefficients could confirm the predicted speed of radial motion before the large-N limit is taken."],"forward_implications":["For repeated differentiation the roots move radially inward at constant speed until they reach the origin and disappear.","The transport map admits an interpretation in free probability as multiplication of an R-diagonal operator by an R-diagonal transport operator.","The construction supplies a push-forward characterization of the free self-convolution semigroup of radial measures on the complex plane.","When the operator involves integration the root dynamics become more complicated than simple transport."],"fun_headline_variants":["Roots follow PDE characteristic flows under fractional differentiation","Polynomial roots pushed by transport map from log potential PDE","Fractional ops define push-forward on limiting root distributions","Roots evolve radially with constant speed until hitting origin"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The initial random polynomial of degree N with independent coefficients possesses a limiting root distribution as N tends to infinity.","fun_headline_variants_meta":{"raw":{"variants":["Roots follow PDE characteristic flows under fractional differentiation","Polynomial roots pushed by transport map from log potential PDE","Fractional ops define push-forward on limiting root distributions","Roots evolve radially with constant speed until hitting origin"]},"model":"grok-4.3","cost_usd":0.00765,"raw_usage":{"total_tokens":3539,"prompt_tokens":743,"num_sources_used":0,"completion_tokens":58,"cost_in_usd_ticks":76499500,"prompt_tokens_details":{"text_tokens":743,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2738,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":743,"tokens_out":58,"duration_ms":16355,"temperature":1.0,"reasoning_tokens":2738,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T05:00:04.974691+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"For a concrete initial distribution such as the circular law, compute the empirical roots of large-N polynomials after exactly floor(Nt) applications of the operator and test whether their empirical measure converges to the predicted push-forward.","supporting_citations":[],"review_version":1}