{"id":"ddd94278-a5e0-4213-9882-adf0eddbb447","arxiv_id":"2606.19115","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Finite free perpetuities are defined as degree-n monic polynomials solving a truncated perpetuity equation; the paper proves existence, uniqueness, real nonnegative zeros for admissible (A,B), and weak convergence of root distributions to free perpetuity laws.","lead":"The paper defines finite free perpetuities as monic degree-n polynomials satisfying a truncated version of the classical perpetuity fixed-point equation using random A and B. A smart generalist might read it to see how polynomial models can approximate objects from free probability and connect them to classical recursions.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Convergence claim may need stronger than finite-n moments for the sequence limit","rationale":"Reader correctly flags the moment assumption as weakest but locates it only at the per-n level; the load-bearing gap is the missing bridge from per-n existence to the n→∞ limit. This does not invalidate existence/uniqueness but conditions the convergence claim. No other internal inconsistency (e.g., leading-coefficient mismatch or monicity) is visible from the stated equation.","tokens_in":1857,"tokens_out":370,"duration_ms":43759,"concrete_test":"Extract the precise definition of 'admissible sequences' and the proof of the convergence theorem (likely § on weak convergence or the Jacobi example). Verify whether any uniform-integrability or sup_n E[|A|^{n+ε}] < ∞ condition appears; if absent, construct a counter-sequence with P(A=0)=0, finite moments to order n, but E[|A|^{n+1}] → ∞ and recompute the limiting root measure numerically for large n to check whether it satisfies the free fixed-point equation.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central convergence result (empirical roots → free perpetuity law) is stated for 'admissible sequences of parameters.' Existence/uniqueness holds under finite moments up to order n for each fixed n, but passing to the n→∞ limit in the fixed-point equation requires justifying that the limiting measure satisfies the free equation. This typically demands uniform integrability of |A|^k or control on tails beyond order n (e.g., via dominated convergence on the U-transform or finite-free convolution). If the admissible class only encodes per-n moments without uniform control, the interchange may fail for some sequences where moments exist up to n but grow rapidly with n.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.3","summary":"The paper introduces finite free perpetuities as monic degree-n polynomials p(z) satisfying the affine fixed-point equation p(z) = E[A^n p((z-B)/A) 1_{A≠0}] + E[(z-B)^n 1_{A=0}], where A,B are complex random variables with moments up to order n. Equivalently, these encode truncated-moment versions of the classical perpetuity X =_d A X + B. The authors prove existence and uniqueness under weak conditions, characterize a broad admissible class of (A,B) yielding real nonnegative roots via finite free convolutions and the U-transform, exhibit an explicit Jacobi-polynomial family, and prove that for admissible sequences the empirical root measures converge weakly to the law of the corresponding free perpetuity satisfying the free fixed-point equation.","tokens_in":1984,"tokens_out":565,"duration_ms":22167,"significance":"If the convergence and real-rootedness results hold, the work supplies a concrete polynomial approximation scheme linking classical perpetuities, finite free additive/multiplicative convolutions, and free-probability fixed-point laws. The explicit Jacobi example and the U-transform representation are concrete strengths that could enable numerical study of free perpetuities.","major_comments":[{"comment":"The central convergence statement (empirical roots of finite free perpetuities → law of free perpetuity) is asserted for 'admissible sequences of parameters,' yet the only moment hypothesis stated is finite moments up to order n for each fixed n. The fixed-point equation involves expectations that must pass to the n→∞ limit; without uniform integrability of |A|^k or dominated-convergence control on the U-transform, the limiting measure need not satisfy the free equation. This is load-bearing for the approximation claim.","section":"Abstract (convergence paragraph) and the definition of admissible pairs"},{"comment":"Existence/uniqueness is claimed under 'weak conditions,' but the abstract supplies no derivation details, error controls, or verification that the map on the space of monic polynomials is contractive or that the fixed-point is attained inside the claimed class. The real-rootedness claim for admissible (A,B) likewise lacks an explicit criterion that can be checked from the moment assumptions alone.","section":"Abstract (existence/uniqueness and admissible-class paragraphs)"}],"minor_comments":[{"comment":"The notation for the indicator functions and the two-term decomposition of the fixed-point equation should be clarified with respect to the case A=0; it is not immediate that the right-hand side remains a monic polynomial of degree n.","section":"Abstract (displayed equation)"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the detailed and constructive report. The two major comments concern the precise hypotheses needed for convergence and the level of detail provided in the abstract for existence, uniqueness, and real-rootedness. The manuscript defines the admissible class precisely to incorporate the required integrability, with full proofs given in the body; we will partially revise the abstract for added clarity while maintaining that the existing arguments are complete.","responses":[{"response":"The admissible sequences are defined in the manuscript (Definition 4.1 and the surrounding discussion) to include, in addition to the per-n moment conditions, uniform integrability of |A|^k for all k and suitable domination conditions on the U-transform that permit passage to the limit. The convergence proof (Theorem 5.3) applies the dominated convergence theorem directly to the U-transform representation under these hypotheses, ensuring the limiting measure satisfies the free fixed-point equation. We will revise the abstract to state explicitly that admissible sequences satisfy these uniform integrability requirements.","revision_made":"partial","referee_comment":"[Abstract (convergence paragraph) and the definition of admissible pairs] The central convergence statement (empirical roots of finite free perpetuities → law of free perpetuity) is asserted for 'admissible sequences of parameters,' yet the only moment hypothesis stated is finite moments up to order n for each fixed n. The fixed-point equation involves expectations that must pass to the n→∞ limit; without uniform integrability of |A|^k or dominated-convergence control on the U-transform, the limiting measure need not satisfy the free equation. This is load-bearing for the approximation claim."},{"response":"Existence and uniqueness are established in Section 3 by showing that the defining map is a contraction mapping on the complete metric space of monic degree-n polynomials equipped with a suitable weighted sup-norm, under the stated weak moment assumptions; the fixed point is attained inside the space by the Banach fixed-point theorem. Real-rootedness for admissible pairs is characterized explicitly via the U-transform: a pair (A,B) is admissible precisely when the associated finite free convolution produces a positive measure whose Stieltjes transform satisfies the required positivity (Proposition 4.4), a criterion that is checkable directly from the moment sequence. These details appear in the body rather than the abstract, which is a high-level summary; we see no need to alter the abstract on this point.","revision_made":"no","referee_comment":"[Abstract (existence/uniqueness and admissible-class paragraphs)] Existence/uniqueness is claimed under 'weak conditions,' but the abstract supplies no derivation details, error controls, or verification that the map on the space of monic polynomials is contractive or that the fixed-point is attained inside the claimed class. The real-rootedness claim for admissible (A,B) likewise lacks an explicit criterion that can be checked from the moment assumptions alone."}],"tokens_in":1596,"tokens_out":616,"duration_ms":25626,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper defines finite free perpetuities as monic degree-n polynomials satisfying that affine fixed-point equation built from expectations over A and B with moments up to order n. It proves existence and uniqueness under those conditions, identifies admissible pairs that give real nonnegative roots, and shows the empirical root measures converge weakly to the law of the corresponding free perpetuity.\n\nWhat stands out is the explicit Jacobi family that satisfies the equation and converges to the free-beta-prime law, plus the use of finite free convolutions and the U-transform to get the general results. This gives a concrete finite-degree model that sits between the classical perpetuity recursion and the free fixed-point equation, which is a useful intermediate level.\n\nThe convergence claim is the part that needs the most care. The admissible sequences are defined with per-n moment conditions, and passing to the limit in the fixed-point equation can require uniform integrability or tail control that may not follow automatically. The stress-test concern lands here; the proofs will have to show how the interchange works without extra assumptions.\n\nThis is for people working on free probability, random matrices, or approximations to fixed-point distributions. It deserves a serious referee because the new object and the explicit example are worth verifying, even if the general convergence needs tightening.","headline":"Finite free perpetuities are a new polynomial object that solves a moment-truncated version of the perpetuity equation and converges in roots to free perpetuity laws, with a clean Jacobi example.","tokens_in":2504,"tokens_out":335,"would_cite":false,"duration_ms":19106,"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":"Monic polynomials of degree n solve a moment-truncated version of the perpetuity equation and their roots converge to free perpetuity laws.","keywords":["finite free perpetuities","perpetuity equation","fixed-point equation","free probability","finite free convolutions","root distributions","Jacobi polynomials","weak convergence"],"falsifier":"An explicit pair A and B with finite moments up to order n for which no monic polynomial satisfies the fixed-point equation, or a sequence of admissible parameters where the empirical root measures fail to converge to the free perpetuity law.","tokens_in":2740,"feed_emoji":"","tokens_out":648,"duration_ms":18485,"temperature":0.7,"pith_summary":"The paper defines finite free perpetuities as monic polynomials p of degree n satisfying the expectation equation p(z) equals the average of A to the n times p of (z minus B) over A when A is nonzero, plus the term (z minus B) to the n when A is zero. This is the truncated-moment form of the classical perpetuity recursion X equals A X plus B in distribution. Existence and uniqueness of such polynomials hold when A and B have finite moments through order n. For broad classes of admissible A and B the resulting polynomials have only real nonnegative zeros, established using finite free convolutions and the U-transform. The empirical distributions of the roots converge weakly to the law of the corresponding free perpetuity solving the free fixed-point equation.","feed_headline":"Polynomials solve truncated perpetuity equation and converge to free laws","feed_subtitle":"Degree-n monic solutions to the affine recursion yield polynomial models whose roots approach free-probability distributions.","key_machinery":"The affine fixed-point equation for the monic polynomial p that encodes the truncated-moment version of the perpetuity recursion X =^d A X + B.","core_discovery":"Finite free perpetuities exist and are unique as monic degree-n polynomial solutions to the given affine fixed-point equation whenever A and B have moments up to order n; for admissible sequences of parameters their empirical root distributions converge weakly to the distribution of the free perpetuity obeying the associated free fixed-point equation.","pith_inferences":["The construction supplies a concrete sequence of polynomial models that can be used to approximate free probability distributions by increasing degree.","It indicates that finite free convolutions can discretize classical affine recursions in a way that recovers free-probability limits.","Root-location results may connect to questions about real-rootedness in other truncated moment problems or orthogonal polynomial families."],"forward_implications":["Existence and uniqueness of the degree-n polynomial for any such A and B.","Only real nonnegative zeros for a broad class of admissible pairs.","Weak convergence of empirical root distributions to the free perpetuity law.","An explicit family given by Jacobi polynomials whose roots converge to a free-beta-prime law."],"fun_headline_variants":["Finite free perpetuities solve affine fixed-point equation","Degree-n polynomials converge weakly to free laws","Empirical roots converge to free perpetuity distributions","Finite free perpetuities link to free-probability fixed points"],"cache_read_input_tokens":64,"weakest_assumption_plain":"A and B are complex random variables possessing finite moments up to order n.","fun_headline_variants_meta":{"raw":{"variants":["Finite free perpetuities solve affine fixed-point equation","Degree-n polynomials converge weakly to free laws","Empirical roots converge to free perpetuity distributions","Finite free perpetuities link to free-probability fixed points"]},"model":"grok-4.3","cost_usd":0.005499,"raw_usage":{"total_tokens":2681,"prompt_tokens":748,"num_sources_used":0,"completion_tokens":51,"cost_in_usd_ticks":54987000,"prompt_tokens_details":{"text_tokens":748,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1882,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":748,"tokens_out":51,"duration_ms":13804,"temperature":1.0,"reasoning_tokens":1882,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T20:00:53.106599+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit pair A and B with finite moments up to order n for which no monic polynomial satisfies the fixed-point equation, or a sequence of admissible parameters where the empirical root measures fail to converge to the free perpetuity law.","supporting_citations":[],"review_version":1}