{"id":"5df8dbf9-bf6c-440c-99de-42729f31e6a3","arxiv_id":"2607.23401","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For Pitman–Yor partitions, sums ∑_{j=⌊λn⌋}^{⌊μn⌋} M_jn converge in law (conditionally and marginally) to explicit mixture distributions built from truncated stable subordinators.","lead":"The paper derives limit distributions for linear combinations of the Pitman–Yor allele frequency spectrum, including uncentered counts of blocks of relative size in [λ,1]. These give concrete large-sample laws usable in population genetics and partition combinatorics.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"Theorem 3.2 needs an explicit justification for integrating the fixed-x local limit over x; pointwise convergence alone does not yield the marginal limit.","rationale":"I partially agree with the reader: the Fourier/local-limit passage is a genuine technical pressure point, but the paper gives a fairly detailed argument for it. The less defended step for the stated strongest claim is the subsequent marginalization over x. I do not see evidence that Theorem 3.2 is false; the general mgf identity is algebraically checked, the K_n local limit agrees with known results, and the p=1 and u_n=1_n checks provide meaningful internal support. Moreover, the proposed Scheffé verification may make the missing step short. Nevertheless, until that verification is written down, the theorem’s marginal conclusion has not quite been derived from its fixed-x conditional and local-limit ingredients. This warrants CONDITIONAL rather than rejection.","tokens_in":28782,"tokens_out":9771,"duration_ms":99661,"concrete_test":"Define μ_{n,ℓ}(x)=n^αP(S_n^λ=ℓ,K_n=⌊xn^α⌋) and let μ_ℓ(x) be the pointwise limit in (4.60). Before identifying μ_ℓ with the limiting marginal density, directly check that (x,ℓ)↦μ_ℓ(x) has total mass one: verify the Fubini steps in (4.66)–(4.68) absolutely, then sum over ℓ and integrate over x. If the total is 1, Scheffé’s lemma on (0,∞)×ℕ₀ upgrades pointwise convergence of the probability densities μ_{n,ℓ} to L¹ convergence and justifies the marginal limit; if the total is below 1 or a Fubini step fails, the gap is real.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof establishes, for each fixed x>0, the pointwise local limit in (4.59)–(4.60) for n^α P(S_n^λ=ℓ, K_n=⌊xn^α⌋). The marginal probability, however, is n^α∫_0^∞ P(S_n^λ=ℓ,K_n=⌊xn^α⌋)dx (up to the natural lattice endpoints). Passing from the displayed fixed-x limit to the integrated expression in (4.62) therefore requires an interchange of limit and x-integral—uniform integrability, dominated convergence, or a Scheffé-type argument. None is supplied at that step. This is distinct from Lemma 4.1’s τ-local-limit estimate, which is proved for fixed x and does not control mass escaping toward x=0, x=∞, or moving x-ranges. Lemma 4.3 gives useful mass information for K_n but, as written with Fatou, does not by itself provide the required domination for the joint (ℓ,x) density. Because this integration is exactly what converts the conditional result into the marginal Theorem 3.2, the omission is load-bearing, though it appears likely to be repairable.","agreement_with_reader":"partial"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The paper studies the component frequency spectrum (M_{jn}) of Gibbs-type random partitions, with detailed analysis of the two-parameter Pitman–Yor sampling model. Theorem 2.1 gives an exact mgf identity for u_n^T(M_n/K_n − q_n) jointly with {K_n=k}, expressing it as a centered mgf of i.i.d. V-variables times a ratio of point probabilities of sums of triangular arrays of X̂-variables, times P(K_n=k). For the Pitman–Yor model, Theorem 3.1 establishes a joint local limit theorem with an explicit limit involving the density at 1 of an infinitely divisible law; Corollaries 3.1–3.2 specialize to power weights (recovering the Ewens–Watterson statistic at p=2) and to counts S^{λ,µ}_n = Σ_{j=⌊λn⌋}^{⌊µn⌋} M_{jn} given K_n = ⌊xn^α⌋. Theorem 3.2, the second main result, gives the marginal limit distribution of S^λ_n as an explicit proper pmf — a mixture of x-integrated densities of Y_x(α,λ)+H_ℓ(λ) at 1. Proofs use a Poissonization/multinomial identity (Lemma 5.1), Kallenberg's array conditions, a Gnedenko–Kolmogorov-style local limit argument with a uniform exponential cf bound, and mgf asymptotics under the integrability condition (3.3).","tokens_in":29085,"tokens_out":6204,"duration_ms":103602,"significance":"If correct, the paper provides new, explicit, parameter-free limit laws for the uncentered, unnormed frequency spectrum of the Pitman–Yor partition — a regime distinct from the Gaussian \"expansive-case\" limits of Erlihson–Granovsky [5] (the authors themselves locate their results in the \"convergent\" category and explain the contrast). Theorem 2.1 is a clean general identity for Gibbs partitions of independent interest, and the derivation contains genuine internal checks: u_n=1_n and p=1 reduce to known identities (§5), and (3.6) recovers Pitman's local limit theorem for K_n, which the paper re-proves by a new route. The explicit limiting pmf in Theorem 3.2 is a falsifiable, simulable expression with direct relevance to allele-frequency-spectrum statistics in genetics. The connection noted to Kevei–Mason [24] in Remark (4.68)–(4.69) is an interesting bonus.","major_comments":[{"comment":"Proof of Theorem 3.2, (4.58)–(4.62): the passage from the fixed-x joint local limit (4.59)/(4.60) to the marginal pmf (3.10) integrates over 0<x<∞ without justifying the interchange of the n-limit and the x-integral. Pointwise convergence for each fixed x does not control mass escaping toward x=0, x=∞, or moving x-ranges; Lemma 4.3's Fatou step covers K_n alone and yields only a one-sided bound, not domination for the joint (ℓ,x) density. This step converts the conditional Corollary 3.2 into the marginal Theorem 3.2, so it is load-bearing. A repair appears available within the paper's own tools: p_n(ℓ,x) = n^α P(S^λ_n=ℓ, K_n=⌊xn^α⌋) are densities on {0,1,...}×(0,∞) (counting×Lebesgue) summing to 1, and the limit is shown proper in §5; a Scheffé-type argument would then give L¹ and hence marginal convergence. Note the properness proof currently derives (4.66) via the same unproven integra","section":"§4, proof of Theorem 3.2"},{"comment":"Proof of Corollary 3.2, (4.49)–(4.53): Feller's Laplace inversion operator (4.51) is applied, and limit, τ-integral, and the inversion/ℓ-summation are interchanged to obtain (4.52)–(4.53), with the only justification the remark that summing (4.53) over ℓ gives 1 via (4.54) 'and the interchange is valid'. Since (3.9) feeds both Corollary 3.2 and Theorem 3.2, this needs an actual argument. Bounds of the type (5.12)/(4.63) for the full exponent including g(x,iτ,λ,µ) (e.g., |e^{-g}g^ℓ| ≤ C_ℓ uniformly, with |E(e^{iτY^{(0)}_x})| ≤ e^{-cx|τ|^α}) should make the τ-integrations and interchanges routine; please supply the details.","section":"§4, proof of Corollary 3.2"}],"minor_comments":[{"comment":"The hypotheses on the weight function f (bounded variation, or continuity a.e., together with (3.3) and f(0)=0) are stated in §1 and used in the proof of Lemma 4.1, but Theorem 3.1's statement does not list them. Please restate the full assumptions on f in Theorem 3.1 so the theorem is self-contained.","section":"§3, Theorem 3.1"},{"comment":"Several typographical slips: double periods in the abstract and after (3.1); (4.16) conditions on 'K_n = n' (should be K_n = k); (4.7) defines Â^{(J)}_{kn} with '1 < j ≤ J' (should be 1 ≤ j ≤ J); (4.57) has an unmatched parenthesis and should read (xc(λ,µ))^ℓ E(...); in the proof of Theorem 3.1, 'f_{Y(ν,f)_θ}(1)' should be f_{Y(ν,f)_x}(1); 'Lebesque' → 'Lebesgue'.","section":"General"},{"comment":"In (5.29), the second line P(V^{(u_n)}_{1n} = 0) = q_{jn} for J+1 ≤ j ≤ n should presumably be P(V^{(u_n)}_{1n}=0) = Σ_{j>J} q_{jn}; as written each j>J is assigned probability q_{jn} for the same value 0. Please clarify.","section":"§5, derivation of Theorem 3 of [26]"},{"comment":"Reference [2] lacks volume/page information; [11] is cited only as an arXiv preprint — update if published. In [33] 'characterizedby' is missing a space.","section":"References"},{"comment":"It would help the reader to add one sentence after Corollaries 3.1–3.2 explaining why θ-independence of the conditional limits is to be expected (conditioning on K_n = ⌊xn^α⌋ fixes the θ-dependent factor), and to state explicitly in Theorem 3.2 that the lattice endpoints in the x-discretization contribute negligibly to (4.58).","section":"§3–§4"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is competent and the main results are plausible and, in the checkable special cases (u_n=1_n, p=1, ν=0), correct. However, the proof of Theorem 3.2 — arguably the headline result — contains an unjustified limit/integral interchange that the authors should be asked to repair; a Scheffé-type argument using the properness already proved in §5 looks sufficient, so I expect a short revision rather than new mathematics. The citation pattern leans heavily on the authors' own prior work, but it is used as background or for checks rather than to prop up the arguments, and the overlap with [26] is openly acknowledged (their Theorem 3 is re-derived as a corollary). Fit with the journal seems good."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The new pieces are Theorem 2.1 (a usable conditional mgf identity for Gibbs-type spectra) and the uncentered limits for mid- and large-block counts under Pitman–Yor (Cor 3.2, Thm 3.2). Those are not just rewrites of the usual Kn Mittag-Leffler story; they give explicit limiting pmfs for S_λ,μ and S_λ that genetics-style functionals actually use. Recovering the known Kn local limit and the finite-J normality from their earlier paper as checks is the right way to do it.\n\nProof craft is mostly careful: Poissonization/multinomial lemma, Kallenberg conditions for the ˆX arrays, Fourier splitting with an exponential tail bound on the cf, and the V-array mgf under the integrability condition on f. The double-checks for un = 1 and p = 1 close cleanly. Self-citations are background, not circular.\n\nThe soft spot the stress-test flags is real. They get, for each fixed x, the local limit of n^α P(S_λ = ℓ, K_n = ⌊x n^α⌋), then write the marginal by integrating in x. Pointwise convergence plus Lemma 4.3’s Fatou argument for Kn alone does not automatically justify interchanging lim and ∫ dx; you want domination or UI (or a Scheffé argument on the joint). That step is load-bearing for Theorem 3.2 and is thinner than the rest of Section 4. It looks repairable from the same Lévy and Mittag-Leffler tails they already control, not a conceptual hole.\n\nWho it’s for: people who work on partition spectra, PY/PD models, or allele-frequency statistics and want uncentered mid-range counts rather than another Kn limit. Not a broad crossover paper. Math and citation pattern look honest. I would send it to referees; ask them to force the domination step in the marginal and maybe push the suggested functional limit a sentence further. Worth engaging if that is your lane.","headline":"Solid Gibbs-to-Pitman-Yor spectrum limits with a real but fixable gap when they pass from conditional local limits to the marginal in Theorem 3.2.","tokens_in":29965,"tokens_out":534,"would_cite":false,"duration_ms":21526,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60C05","60F05","60G51","05A18"],"pacs":[],"model":"grok-4.5","headline":"Uncentered counts of large blocks in Pitman–Yor partitions converge to an explicit mixture of infinitely divisible laws.","keywords":["random partitions","component frequency spectrum","Pitman-Yor sampling formula","Gibbs distribution","limit shapes","allele frequency spectrum","infinitely divisible laws"],"falsifier":"Numerically sample large-n Pitman–Yor partitions for fixed (α,θ,λ) and compare the empirical distribution of S_λ,n against the explicit integral formula of Theorem 3.2; systematic discrepancy for moderate ℓ would falsify the claimed limit.","tokens_in":29889,"feed_emoji":"疊","tokens_out":1166,"duration_ms":19928,"temperature":0.7,"pith_summary":"The paper studies how the frequency spectrum of a random partition of {1,…,n} behaves for large n under the two-parameter Pitman–Yor model. It first derives a general moment-generating-function identity that expresses linear combinations of the spectrum, jointly with the number of blocks, in terms of triangular arrays of i.i.d. random variables. Specialising to Pitman–Yor, the authors prove that the uncentered number of blocks whose sizes lie between λ n and μ n converges in distribution to an explicit mixture involving a stable-type subordinator truncated to (0,1] and a sum of i.i.d. size-biased jumps. The same machinery recovers the classical local limit theorem for the total number of blocks and yields conditional limits given that number. The results sit in the “convergent” regime of partition-shape theory, where ordinary limit shapes fail to exist, and they suggest a possible functional limit theorem for the cumulative spectrum process.","feed_headline":"Large blocks in Pitman–Yor partitions converge without scaling","feed_subtitle":"Uncentered counts of blocks bigger than λ n have an explicit mixture limit useful in genetics","key_machinery":"The mgf identity of Theorem 2.1: the joint transform of Mn/Kn and Kn is written as the product of an ordinary mgf of centred i.i.d. V-variables and a ratio of local probabilities for two triangular arrays of i.i.d. ÛX-variables. All subsequent Pitman–Yor limits are obtained by verifying Kallenberg conditions for those arrays and justifying the local-limit passage to densities at the point 1.","core_discovery":"For the Pitman–Yor sampling formula the un-normalised partial sums S_λ,n = ∑_{j=⌊λ n⌋}^n M_jn converge in distribution to an explicit proper probability mass function that is a mixture, over a Mittag-Leffler-type weight, of the density at 1 of a truncated stable subordinator plus an independent sum of ℓ i.i.d. size-biased jumps on [λ,1]. The same identity produces joint and conditional limits for general linear functionals of the spectrum.","pith_inferences":["The appearance of the same truncated-stable characteristic exponent that governs ratios of trimmed subordinators suggests a deeper link between the Pitman–Yor spectrum and the jump structure of stable processes that could be made rigorous by Poisson-point-process methods.","Because the limiting pmf does not depend on the second Pitman–Yor parameter θ after conditioning on the number of blocks, many genetic summary statistics may be asymptotically ancillary for θ.","The general identity of Theorem 2.1 supplies a practical Monte-Carlo scheme: simulate the i.i.d. arrays rather than the full partition, which may be cheaper for very large n."],"forward_implications":["The allele-frequency spectrum functionals used in genetics (homozygosity, site-frequency spectrum bins) possess explicit large-sample distributions under Pitman–Yor sampling without further centring or scaling.","Finite-dimensional distributions of the cumulative process λ ↦ S_λ,n are available by the same mgf identity, opening a route to a functional limit theorem.","The same triangular-array representation applies, with only notational changes, to other Gibbs-type and Poisson–Kingman partitions once their weight sequences q_j are known.","In the convergent regime of partition-shape theory one obtains genuine distributional limits rather than the Gaussian fluctuations characteristic of the expansive regime."],"fun_headline_variants":["Pitman–Yor large-block sums converge unscaled to a mixture law","Unnormalized counts of blocks >λn in Pitman–Yor hit explicit limits","Frequency-spectrum tails for Pitman–Yor partitions converge without scaling","Big-block partial sums in Pitman–Yor models admit mixture limits","Pitman–Yor allele counts above λn converge to truncated-stable mixtures"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The passage from characteristic-function convergence of the triangular-array sums to pointwise convergence of their densities at the single point 1 must hold uniformly enough to interchange limit and integral; if that local-limit step fails for some admissible weight functions the density ratios that appear in every main theorem become unjustified.","fun_headline_variants_meta":{"raw":{"variants":["Pitman–Yor large-block sums converge unscaled to a mixture law","Unnormalized counts of blocks >λn in Pitman–Yor hit explicit limits","Frequency-spectrum tails for Pitman–Yor partitions converge without scaling","Big-block partial sums in Pitman–Yor models admit mixture limits","Pitman–Yor allele counts above λn converge to truncated-stable mixtures"]},"model":"grok-4.5","effort":"low","cost_usd":0.005348,"raw_usage":{"total_tokens":1417,"prompt_tokens":734,"num_sources_used":0,"completion_tokens":106,"cost_in_usd_ticks":53484000,"prompt_tokens_details":{"text_tokens":734,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":577,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":734,"tokens_out":106,"duration_ms":10369,"temperature":1.0,"reasoning_tokens":577,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T23:09:28.955332+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Numerically sample large-n Pitman–Yor partitions for fixed (α,θ,λ) and compare the empirical distribution of S_λ,n against the explicit integral formula of Theorem 3.2; systematic discrepancy for moderate ℓ would falsify the claimed limit.","supporting_citations":[],"review_version":1}