{"id":"b38ded81-8ce5-4968-a23f-c88cab6f15eb","arxiv_id":"1908.07887","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Fuss-Catalan distribution μ(p,r) is freely self-decomposable if and only if p=r with 1≤p≤2.","lead":"This paper characterizes which Fuss-Catalan distributions, a family of probability laws in free probability and random matrix theory, are freely self-decomposable: exactly the diagonal family μ(p,p) with 1≤p≤2. The authors also correct an earlier incomplete classification and add unimodality results.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The only-if proof of Theorem 4.3 fails at p=2r, where the leading asymptotic for k_{p,r} vanishes, leaving the central classification unproven for e.g. μ(4,2).","rationale":"The reader's weakest assumption identifies the same load-bearing hole I find. The positive direction of the central theorem is supported by cumulant positivity and the free L1 argument, but the only-if direction is where the proof is exposed. The p = 2r degeneracy is not cosmetic: it is a one-dimensional subfamily inside the region that must be excluded, and the cited asymptotic is identically zero to leading order there. Since no alternative argument is supplied, the written proof does not establish the theorem for these parameters. I do not treat this as evidence against the theorem, because the next-order term appears to give the desired positive derivative, and independent checks such as the behavior of μ(4,2) support the stated classification. The false inequality in Proposition 3.10 is a separate flaw in an auxiliary unimodality result and does not bear directly on Theorem 1.3(2), so I do not use it as the main objection. The apparent typo in the final case of Theorem 4.1 ('p > 2 and p − 1 < r < p/2' is empty) is also repairable and secondary. Because the central only-if proof is incomplete as written, the appropriate verdict is CONDITIONAL rather than ACCEPT.","tokens_in":17636,"tokens_out":16360,"duration_ms":162491,"concrete_test":"Analyze p = 2r directly. With q = r, the free Lévy density is k_{2r,r}(x) = x W_{r,r}(x). Using formula (2) with p = r, W_{r,r}(ρ(φ)) = sin φ sin(rφ)/(π sin((r−1)φ)). Expand ρ(φ) and W_{r,r}(ρ(φ)) near φ = π/r by writing δ = π/r − φ: ρ(φ) ∼ C δ^r, while W_{r,r}(ρ(φ)) ∼ C′ δ. Hence k_{2r,r}(x) ∼ C″ x^{1+1/r} with C″ > 0 for r > 1, giving k′_{2r,r}(x) > 0 on (0, ε). If this expansion checks out, the excluded p = 2r case is settled and Theorem 4.3 is repaired; if the sign were not positive, the classification itself would be in doubt.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is Theorem 1.3(2): μ(p,r) is freely self-decomposable if and only if 1 ≤ p = r ≤ 2. The only-if direction reduces, via Theorem 4.1, to excluding 0 < r ≤ min{p/2, p−1}. Theorem 4.3 attempts this by citing [9, Corollary 2.5]: k_{p,r}(x) = x W_{p−r,r}(x) ~ (1/π) sin(rπ/(p−r)) x^{r/(p−r)} as x→0+. On the stated range the sine factor is positive except exactly at p−r = r, i.e. p = 2r, where it is sin π = 0. For every r > 1, and for the atomic endpoint r = 1, the point p = 2r lies inside the region to be excluded. The written asymptotic therefore gives no sign information there, and the sentence 'Hence k′_{p,r}(x) ≥ 0 for x ∈ (0, ε)' is unsupported for this one-parameter subfamily. The manuscript contains no separate analysis of p = 2r, so the classification is not proven for μ(4,2), μ(6,3), and all μ(2r,r) with r > 1. The conclusion is likely correct, but the only-if direction has a genuine missing case.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the two-parameter Fuss-Catalan (Raney) distributions μ(p,r), whose moments are the Raney numbers A_k(p,r). Its main results are a classification of free infinite divisibility (Theorem 1.3(1)), a classification of free self-decomposability (Theorem 1.3(2)), a classification of free regularity (Theorem 1.3(3)), and a number of unimodality statements for special families μ(p,p), μ(p,p−1), μ(2r,r), μ(1,r), and μ(2,r). The positive directions are based on integral representations of binomial-type sequences (Propositions 3.1 and 3.3) and on the free-cumulant criterion of Hasebe–Thorbjørnsen–Sakuma; the negative directions use the Forrester–Liu density asymptotics and determinantal positivity checks.","tokens_in":17867,"tokens_out":17295,"duration_ms":180509,"significance":"If the main classification is correct, Theorem 1.3(2) gives a complete characterization of free self-decomposability in the Fuss-Catalan family and corrects the earlier claim in [16] about free infinite divisibility. The explicit free Lévy–Khintchine representations (Propositions 3.6, 4.2, Corollary 4.8) and the hypergeometric computations are careful and useful. The arguments are mostly analytic and do not rely on numerical fitting, and the paper is honest about correcting an earlier oversight. However, the only-if direction of the central Theorem 4.3 has a genuine missing boundary case, so the main classification is not fully proved as written.","major_comments":[{"comment":"The only-if direction for 0<r≤min{p/2,p−1} uses the asymptotic k_{p,r}(x)∼(1/π)sin(rπ/(p−r))x^{r/(p−r)} as x→0+ and concludes that k'_{p,r}(x)≥0 near 0. On the subfamily p=2r, the sine factor is sin(π)=0, so the displayed leading term carries no sign information. This subfamily is nonempty in the range to be excluded (for instance μ(4,2), μ(6,3), and more generally μ(2r,r) for r>1); for r=1,p=2, there is the additional issue that W_{1,1} is the Dirac mass at 1 rather than a density, so formula (16) is not directly applicable. No separate analysis of p=2r appears in the manuscript, and therefore the classification of free self-decomposability in Theorem 1.3(2) is not established for this one-parameter family. The conclusion may well be true, but the written proof has a genuine gap.","section":"Section 4.3, Theorem 4.3"},{"comment":"The proof asserts that rϕ and (2r−1)ϕ both lie in (0,π/2) for all ϕ∈(0,π/(2r)) when r>1. The first is true, but the second is false because (2r−1)π/(2r)>π/2 for r>1. Consequently, the term containing cos((2r−1)ϕ) is not necessarily nonnegative on the whole interval, and the inequality that drops this term is not justified. This invalidates the proof that g'_r(ϕ)≥0. The unimodality claim for μ(2r,r) needs a corrected argument; this does not affect the central free-self-decomposability classification, but it is a technical error in a stated result.","section":"Section 4.5.2, Proposition 4.6"}],"minor_comments":[{"comment":"The case statement 'p>2 and p−1<r<p/2' is empty because p−1>p/2 for p>2; from the surrounding argument the intended case appears to be p/2<r<p−1 (with boundary cases handled separately). Please correct this typo, as it makes the exclusion of the region r≤p−1, r>p/2 unclear.","section":"Section 4.1, Theorem 4.1 proof"},{"comment":"The support formula (p−r)^{p−r}(p−r−1)^{1−(p−r)} gives the indeterminate form 0^0 when p−r=1, i.e. for μ(2,1); the boundary case p−r=1 should be excluded or treated separately.","section":"Section 4.2, Proposition 4.2"},{"comment":"The notation writes the Lebesgue measure as 'dx' inside the integrand after the indicator function, which is slightly misleading for a Lévy measure of the form k(x)dx/|x|; this is a presentational issue only.","section":"Section 3.3, equation (12) and Remark 3.7"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the missing p=2r case in Theorem 4.3, which is load-bearing for the central classification. The flaw in Proposition 4.6 is secondary but should be corrected. I see no issue with the paper's framing of its correction of [16] or with the use of external criteria."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the main classification (free self-decomposability iff 1 ≤ p = r ≤ 2) is very likely true, and the paper does a real service by correcting the earlier free-infinite-divisibility statement from [16]. But the written proof of the only-if direction has a genuine missing case at p=2r, and the unimodality claim for p>2 is argued with a false inequality. I would still send this to a referee; it deserves one.\n\nWhat's new and good: the positive direction for μ(p,p), 1≤p≤2, is clean. The integral representations in Props 3.1 and 3.3 are straightforward, the free cumulant criterion is applied properly, and Theorem 3.9 actually puts μ(p,p) in free L1. The Lévy–Khintchine representation in Prop 3.6 is explicit and useful. The paper is also honest about correcting [16, Cor 7.1]; self-citation here is legitimate because the earlier statement was wrong.\n\nWhere it gets soft: Theorem 4.3 cites the small-x asymptotic k_{p,r}(x) ~ (1/π) sin(rπ/(p−r)) x^{r/(p−r)} from [9]. On the range 0<r≤min{p/2,p−1}, the sine factor is positive except exactly at p=2r, where it vanishes. That is a real subfamily—r>1, e.g. μ(4,2), μ(6,3)—and the asymptotic carries no sign information there. The paper doesn't treat it separately, so the written proof of the classification has a hole. I don't think the theorem is false; independent checks point the right way. But it needs an additional argument.\n\nAlso, Proposition 3.10 claims sin(pφ) ≥ sin(φ) on (0,π/p) for p>2; that is false near the right endpoint, where sin(pφ) is negative. So the unimodality proof for μ(p,p), p>2, rests on a false inequality. Maybe the conclusion can be saved by a more careful derivative analysis, but the present text doesn't do it. Proposition 4.6 for μ(2r,r) also has a range issue: (2r−1)φ is not confined to (0,π/2) for φ near π/(2r), so the sign analysis there is not fully justified.\n\nAudience: free probabilists and anyone working with Fuss-Catalan/Raney distributions. The main structural theorem is the kind of thing that will be cited. If I were handling it, I would send it to a good referee in free probability, tell them the p=2r case and the unimodality proofs are the areas to scrutinize, and ask for revisions before acceptance.","headline":"The main classification is likely right and worth publishing, but the written proof has a genuine gap at p=2r and a false inequality in the p>2 unimodality argument.","tokens_in":18487,"tokens_out":3939,"would_cite":true,"duration_ms":36090,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L54","60E07"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper classifies which Fuss-Catalan distributions are freely self-decomposable: precisely the diagonal laws μ(p,p) with 1≤p≤2.","keywords":["Fuss-Catalan distributions","free self-decomposability","free infinite divisibility","free Lévy measure","free cumulants","unimodality","free regularity","free L1 class"],"falsifier":"Run the cumulant-criterion test on the untouched p=2r edge: for μ(4,2) the free cumulants are A_n(2,2), and the 2×2 Hankel minor of {n r_n} equals (2·5)(4·42)−(3·14)^2 = 10·168−42² = −84<0, so Proposition 2.2 rules out free self-decomposability for this case; any off-diagonal pair whose Hankel minors are all nonnegative would refute the classification.","tokens_in":17377,"feed_emoji":"📈","tokens_out":10268,"duration_ms":519669,"temperature":0.7,"pith_summary":"This paper settles which of the two-parameter Fuss-Catalan distributions μ(p,r), p≥1, 0<r≤p, are freely self-decomposable: exactly the diagonal family μ(p,p) with 1≤p≤2. Free self-decomposability is the free-probability analogue of classical self-decomposability, the class of limit laws for sums of independent variables, so a complete classification in a natural two-parameter family shows exactly where this stability property appears. Along the way the paper corrects an earlier description of free infinite divisibility for these distributions, proves that the diagonal members μ(p,p) lie in the free L1 class for 1≤p≤2, characterizes free regularity, and establishes unimodality for several subfamilies. If the main classification is right, only a single curve—the diagonal segment p=r∈[1,2]—carries free self-decomposability; every off-diagonal law in the freely infinitely divisible region fails it.","feed_headline":"Only diagonal Fuss-Catalan laws are freely self-decomposable","feed_subtitle":"In the two-parameter family, free self-decomposability occurs only when p=r between 1 and 2.","key_machinery":"The central object is the free Lévy density k_{p,r}(x)=xW_{p-r,r}(x), defined on the freely infinitely divisible region 0<r≤min{p/2,p-1}. It carries the argument because free self-decomposability is equivalent to k_{p,r}(x)dx being unimodal with mode 0; the sign of k'_{p,r}(x) just to the right of 0 is therefore decisive. Two auxiliary instruments do the heavy lifting: the parametrization of the support by ρ(φ) from Proposition 1.1 together with the asymptotic k_{p,r}(x)∼(1/π)sin(rπ/(p-r))$x^{{r/(p-r)}}$ as x→0+, which excludes every off-diagonal case in the proof; and, for μ(p,p), the integral representation of (n+2) binom(p,n+2) that makes the cumulant sequence {n r_n} manifestly conditionally positive definite for 1≤p≤2.","core_discovery":"The paper's central claim is a complete classification: for p≥1 and 0<r≤p, μ(p,r) is freely self-decomposable if and only if p=r and 1≤p≤2. The mechanism is the free Lévy measure. Every freely infinitely divisible Fuss-Catalan law has Lévy density k_{p,r}(x)=xW_{p-r,r}(x), and free self-decomposability is equivalent to k_{p,r}(x)dx being unimodal with mode 0. In the off-diagonal freely infinitely divisible region, the near-zero asymptotic of W_{p-r,r} forces k_{p,r} to increase from 0, so the mode-0 condition fails; on the diagonal μ(p,p), 1≤p≤2, the free cumulants are binomial coefficients and the sequence {n binom(p,n)} is conditionally positive definite, which by the cumulant criterion proves free self-decomposability. The paper also completes the description of free infinite divisibility for the family and gives the associated free Lévy-Khintchine representations.","pith_inferences":["The unhandled p=2r edge in the written proof can be settled directly: for μ(4,2), the cumulant Hankel test gives a negative 2×2 minor, so the classification survives that case even though the asymptotic argument does not cover it.","The proof strategy—reading free self-decomposability off the sign of the Lévy density near 0—suggests that for p=2r one needs the second term of the expansion of W_{p-r,r}; computing it would close the only written gap and could be checked against the same cumulant minors.","If the phase-transition conjecture holds, the curve r0(p) would split the off-diagonal region into a unimodal side near r=0 and a non-unimodal band below r=p, giving a natural upper boundary for any future extension of the free-self-decomposability classification."],"forward_implications":["In the whole two-parameter family, free self-decomposability occurs only on the diagonal segment p=r with 1≤p≤2; every law with 0<r<p, including the freely infinitely divisible off-diagonal laws, fails it.","For 1≤p≤2 each μ(p,p) is not only freely self-decomposable but lies in the free L1 class: the remainder ρ_c in the dilation decomposition is itself freely self-decomposable for every c∈(0,1).","Free regularity holds exactly for 0<r≤min{p/2,p-1} and for p=r=1 or 2; in particular the diagonal interior 1<p<2 is freely self-decomposable yet not free regular.","The diagonal law μ(p,p) is unimodal for every p≥1, and the paper proves unimodality for μ(p,p-1), μ(2r,r), and for μ(2,r) with 1<r<r0; μ(1,r) is not unimodal for 0<r<1.","The paper's Conjecture 4.10 proposes a phase transition for every p>1: μ(p,r) is unimodal for r=p or 0<r≤r0(p), with r0(2)≈1.6756 supported by numerics."],"supporting_citations":[{"why":"Supplies the density parametrization and the near-zero asymptotic of the Lévy density used to rule out off-diagonal free self-decomposability.","marker":"[9]"},{"why":"Gives the free cumulant formula r_k(μ(p,r))=A_k(p-r,r) and the density of μ(1,r), the starting point for both directions of the classification.","marker":"[15]"},{"why":"Proves the cumulant-sequence criterion (conditional positive definiteness of {n r_n}) that establishes free self-decomposability of μ(p,p), 1≤p≤2.","marker":"[13]"},{"why":"Provides the free Lévy measure characterization: a law is freely self-decomposable precisely when its Lévy density k(x)dx is unimodal with mode 0.","marker":"[4]"},{"why":"Gives that freely self-decomposable laws are unimodal, used for μ(p,p) on the diagonal.","marker":"[12]"},{"why":"Supplies the free-regularity characterization in terms of the free cumulant transform, used to show 1<p<2 diagonal laws are not free regular.","marker":"[3]"},{"why":"Earlier treatment of binomial-moment distributions whose classification of free infinite divisibility is corrected and whose auxiliary lemmas support the off-diagonal exclusion.","marker":"[16]"}],"fun_headline_variants":["Free self-decomposability of Fuss-Catalan: iff p=r∈[1,2]","Off-diagonal Fuss-Catalan laws never free self-decomposable","Fuss-Catalan free self-decomposable only when p=r and 1≤p≤2"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the off-diagonal exclusion depends on the asymptotic k_{p,r}(x)∼(1/π)sin(rπ/(p-r))$x^{{r/(p-r)}}$ near x=0; when p=2r the sine factor is 0, so the written argument supplies no sign information and leaves cases such as μ(4,2) uncovered.","fun_headline_variants_meta":{"raw":{"variants":["Free self-decomposability of Fuss-Catalan: iff p=r∈[1,2]","Off-diagonal Fuss-Catalan laws never free self-decomposable","Fuss-Catalan free self-decomposable only when p=r and 1≤p≤2"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0013,"raw_usage":{"total_tokens":5247,"prompt_tokens":834,"completion_tokens":4413,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":450,"completion_tokens_details":{"reasoning_tokens":4335}},"tokens_in":450,"tokens_out":4413,"duration_ms":162594,"temperature":1.0,"reasoning_tokens":4335,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:57:00.292535+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the cumulant-criterion test on the untouched p=2r edge: for μ(4,2) the free cumulants are A_n(2,2), and the 2×2 Hankel minor of {n r_n} equals (2·5)(4·42)−(3·14)^2 = 10·168−42² = −84<0, so Proposition 2.2 rules out free self-decomposability for this case; any off-diagonal pair whose Hankel minors are all nonnegative would refute the classification.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the density parametrization and the near-zero asymptotic of the Lévy density used to rule out off-diagonal free self-decomposability."},{"cited_title":"Młotkowski, Fuss-Catalan numbers in noncommutativ e probability","cited_arxiv_id":null,"evidence_quote":"Gives the free cumulant formula r_k(μ(p,r))=A_k(p-r,r) and the density of μ(1,r), the starting point for both directions of the classification."},{"cited_title":"Hasebe, S","cited_arxiv_id":null,"evidence_quote":"Proves the cumulant-sequence criterion (conditional positive definiteness of {n r_n}) that establishes free self-decomposability of μ(p,p), 1≤p≤2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the free Lévy measure characterization: a law is freely self-decomposable precisely when its Lévy density k(x)dx is unimodal with mode 0."},{"cited_title":"Hasebe, S","cited_arxiv_id":null,"evidence_quote":"Gives that freely self-decomposable laws are unimodal, used for μ(p,p) on the diagonal."},{"cited_title":"Arizmendi, T","cited_arxiv_id":null,"evidence_quote":"Supplies the free-regularity characterization in terms of the free cumulant transform, used to show 1<p<2 diagonal laws are not free regular."},{"cited_title":"Młotkowski, K","cited_arxiv_id":null,"evidence_quote":"Earlier treatment of binomial-moment distributions whose classification of free infinite divisibility is corrected and whose auxiliary lemmas support the off-diagonal exclusion."}],"review_version":1}