{"id":"8065ffa9-d6ec-4627-b1f0-36d2ff467ee1","arxiv_id":"2508.21409","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Pareto vertex weights, the critical Potts inverse temperature is bounded by simple logarithms of the number of states, with sharpened asymptotics for large and small state counts.","lead":"This paper proves tight upper bounds on the critical temperature of the Potts model on random graphs with Pareto-distributed vertex weights, and gives sharp asymptotics as the number of spin states grows. The bounds become exact in the homogeneous limit, giving researchers a direct formula for a phase transition in inhomogeneous networks.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Bounds (22) and (24) inherit unproved uniqueness/sign theorems from [1]; without them t_c is not well-defined.","rationale":"I read the proof of (22) and (24) carefully; the algebra is consistent and the Newton identity (25) is elegant. The only place where the argument depends on something not established in this manuscript is the uniqueness/sign-pattern framework imported from [1]. I also checked the §7 q↓2 material: it is explicitly asymptotic/heuristic and secondary to the main bounds, so it does not move the verdict. The reader's weakest-assumption analysis identifies the same load-bearing gap. A short self-contained proof of uniqueness of the positive zero of K'' would remove the concern entirely; meanwhile the paper is correctly assessed as CONDITIONAL.","tokens_in":20924,"tokens_out":32642,"duration_ms":308533,"concrete_test":"Supply a self-contained proof, using only (18)-(20) and the Φ-integral in (33), that F0'' (equivalently K'') has exactly one positive zero for all τ≥4, q>2, and that K, K', K'' have the sign pattern (14)-(16); if this proof cannot be completed, the main inequalities are conditional. As a numerical cross-check, compute the zeros of K, K', K'' by high-precision quadrature on a (q,τ) grid and verify uniqueness and 0<t''_c<t'_c<t_c.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central inequalities (22) and (24) are established through the sign criteria (14)-(16) and the ordering 0<t''_c<t'_c<t_c. These require that K, K', and K'' each have a unique positive zero and that K'' is negative then positive. The paper does not prove these facts; it imports them from [1, Thms. 1.14, 1.21 and §7.1, §7.3]. In particular, the inference from K(2 ln(q−1))>0 to t_c<2 ln(q−1) is valid only because t_c is the unique zero with K<0 before it and K>0 after it; the Newton sharpening (24) further uses convexity of K on [t_c,∞), which in turn uses t_c>t''_c and K''>0 there. The paper has the machinery for a self-contained proof: from (20), K'' is proportional to a bracket, and in §7 the equivalent Φ(t)=∫_t^∞ x^{−τ+3}a(x)dx has a(x)>0 for x<b and <0 for x>b, so Φ decreases then increases, making uniqueness of t''_c immediate. But this argument is not supplied, and the identities t'_c=t_b, t''_c=t_* are likewise taken from [1]. Thus, if any of the imported theorems fails, the central bounds are not merely off by a constant; the objects t_c, t'_c, t''_c are not well-defined. This is the most load-bearing gap. The §7 q↓2 asymptotics are explicitly leading-order without error control and do not carry the main theorem, but should be labeled heuristic.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes the quantities t_c, t'_c, t''_c that determine the critical inverse temperature of the annealed q-state Potts model on sparse rank-1 random graphs with Pareto vertex weights of exponent τ≥4. Building on the companion paper [1], which establishes existence, uniqueness, and ordering of these zeros, the author derives explicit upper bounds: t_c<2 ln(q−1), t'_c<3/2 ln(q−1), t''_c<ln(q−1), together with the sharpened bound t_c<2(τ−2)/(τ−1) ln(q−1) and an improved bound for t'_c via an auxiliary quantity T. The paper also proves large-q limits for all three quantities, analyzes the homogeneous τ→∞ limit, and presents a leading-order analysis of t''_c as q↓2 with four distinct decay regimes depending on τ.","tokens_in":21281,"tokens_out":27948,"duration_ms":244224,"significance":"If the results are correct, they give simple, parameter-free analytic control of the critical inverse temperature for a nontrivial family of heterogeneous Potts models. The main inequalities are explicit and sharp in the homogeneous limit, and the large-q limits are proved rigorously. The paper also provides explicit asymptotic forms for t'_c in the homogeneous case, including monotonicity of T(q) and T(q)/ln(q−1). These are useful and publishable contributions. The main caveat is that the paper relies substantially on the companion paper [1] for the fundamental uniqueness and sign properties that underpin the proof strategy.","major_comments":[{"comment":"The central bounds depend on the sign criteria t<t_c ⇔ K(t)<0, t<t'_c ⇔ K'(t)<0, and t<t''_c ⇔ K''(t)<0, plus the ordering 0<t''_c<t'_c<t_c. These properties are not proved in the manuscript; they are imported from [1, Thm. 1.14, Thm. 1.21] and, for K' and K'', only inferred 'from the proof' of [1, Thm. 1.14]. In particular, the Newton sharpening in §5, Eq. (63), uses convexity of K on [t_c,∞), which requires t_c>t''_c and K''>0 there. If the imported uniqueness/sign statements fail, the objects t_c, t'_c, t''_c are not even well-defined and the inequalities (22),(24) do not follow from evaluating K at specific points. Since the paper has the representations (18)–(20) and, for t''_c, the Φ-characterization (33), a self-contained lemma establishing these facts for the Pareto case would remove the load-bearing dependence on [1].","section":"Section 6, Eq. (91)"},{"comment":"The displayed inequality γ_c < t_c(1 + 1/(e^{t_c}−1)) does not follow from the lower bound in (90), F_0(t)>1−q/(e^t+q−1). Correctly, 1/F_0(t)<1+q/(e^t−1). The factor q is missing. Consequently, the large-q estimate below (91) should involve a correction O((q−1)^{1−α}) rather than O((q−1)^{−α}) when α is chosen as in (92). The qualitative conclusion of (93) can be recovered by redefining the exponent, but the displayed equations need correction.","section":"Section 7"},{"comment":"The q↓2 asymptotic regimes for t''_c are derived by leading-order matching of T_1 and T_2 with no error bounds. As written, the four decay behaviours in (35) are not proved to the standard of a theorem; they are heuristic unless residual terms are controlled. The paper does state 'leading-order' in §7, but the abstract and introduction present these as results. Either add error estimates or explicitly label this section as a conjecture/heuristic analysis. The main bounds in §§4–5 do not depend on this section, but it is part of the advertised contribution.","section":"Section 2"}],"minor_comments":[{"comment":"The conjecture in the Introduction/Section 2 is stated for τ≥4, but the expression 2(τ−5)/(τ−4) is undefined at τ=4. Section 6 correctly states the conjecture for τ≥5. Please correct the earlier statement.","section":"Abstract"},{"comment":"The phrase 'large-q behaviour of t_c, t_c and t''_c' should read 't_c, t'_c and t''_c'. There is also a typo 'characerization' in Section 7.","section":"Abstract"},{"comment":"The text says the proof of (18) is given in [1], Appendix C. It would be helpful to include a direct derivation for completeness, especially because the sign properties in Section 4 use the detailed form of the coefficient multiplying D.","section":"Section 3"},{"comment":"The inequality F_0(t)<1 is immediate, but the lower bound in (90) should be stated as strict for t>0; the subsequent use of the bound holds, but the strictness should be explicit.","section":"Section 6"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is analytically sound in its main derivations, but its central claims rest on uniqueness and sign theorems taken from a companion preprint without a self-contained statement/proof. This is a normal citation practice, but given that [1] is itself a preprint and the present paper's bounds are conditioned on those facts, the editor may want the authors to either prove the needed properties or state them as explicit assumptions with exact references. The q↓2 section is not at the same rigor level as the rest and should be labeled as heuristic or completed. None of this appears to be circular in the sense of fitting parameters; the issues are about self-containedness and precision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper delivers what it promises: explicit upper bounds on the three critical quantities t_c, t'_c, t''_c for the annealed Potts model with Pareto weights, plus a Newton-type sharpening and large-q limits. The main inequalities (22) and (24) are proven cleanly from the single-integral representations (18)–(20), using convexity and a neat iteration argument. The homogeneous τ→∞ limits give sharpness in the right sense. That is real work and useful for anyone working with heavy-tailed rank-1 models.\n\nThe soft spots are two. First, the paper imports the existence and uniqueness of the zeros of K, K', K'' from the companion paper [1], along with the identities t'_c = t_b and t''_c = t_*. The sign criteria (14)–(16) and the whole bounding argument depend on those. The stress-test note is right that the paper has the machinery to prove at least the uniqueness of t''_c from (33) — Φ(t) is easy to show decreasing then increasing — but it doesn't. That is not fatal: citing prior work in a series is legitimate, and [1] is parameter-free. But a referee should ask the author to either prove or state the imported lemmas explicitly, because the central objects are not well-defined without them. This is the load-bearing gap, and it is real.\n\nSecond, Section 7's q↓2 decay classification is leading-order asymptotic matching without error control. The abstract advertises it, and the paper honestly says \"it appears\" and \"approximately,\" but it is not a theorem. If the author wants those regimes in the advertised results, they need rigorous bounds or a clear heuristic label. As it stands, it does not affect the main inequality theorems, which are solid conditional on [1].\n\nOverall: a solid, narrow contribution to a specialized but active area. The analytic representations are elegant and the bounds are sharp. I would not desk-reject it; I would ask for the imported uniqueness theorems to be either proved in an appendix or stated as assumptions, and for Section 7's language to be made conditional. Take it to the reading group if anyone cares about heavy-tailed Potts models; otherwise file it for reference. I'd cite it if I worked in this corner.","headline":"Solid analytic bounds for the annealed Potts critical point with Pareto weights; the proof is clean but leans on imported uniqueness theorems from [1], and the q↓2 asymptotics are heuristic.","tokens_in":21778,"tokens_out":2642,"would_cite":true,"duration_ms":21356,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B26","05C80"],"pacs":[],"model":"deepseek-v4-flash","headline":"For the annealed Potts model with Pareto vertex weights, the critical parameter obeys t_c < 2 ln(q−1), sharpened to 2(τ−2)/(τ−1) ln(q−1), with companion bounds t'_c < 3/2 ln(q−1) and t''_c < ln(q−1), all tight as τ→∞.","keywords":["annealed Potts model","rank-1 random graphs","Pareto vertex weights","critical inverse temperature","upper bounds","phase transition","homogeneous limit"],"falsifier":"Compute K(t) at t = 2 ln(q−1) from the explicit Pareto representation (18)–(21) for a single pair (τ,q), e.g. τ=5, q=10; the claim t_c < 2 ln(q−1) is equivalent to K(2 ln(q−1)) > 0, so a value ≤ 0 for any τ≥4, q>2 would refute the main theorem.","tokens_in":20808,"feed_emoji":"🌡️","tokens_out":13652,"duration_ms":103977,"temperature":0.7,"pith_summary":"This paper studies the annealed q-state Potts model on sparse rank-1 random graphs whose vertex weights have a Pareto density with exponent τ≥4. The critical inverse temperature β_c is controlled by a number t_c, related by γ_c = exp(β_c)−1 = t_c/F_0(t_c), where t_c is the unique positive zero of a function K built from the stationarity and criticality conditions. The paper proves simple universal bounds valid for every q>2 and τ≥4: t_c < 2 ln(q−1), and more sharply t_c < 2(τ−2)/(τ−1) ln(q−1), alongside the companion bounds t'_c < 3/2 ln(q−1) and t''_c < ln(q−1) for the zeros of K' and K'', with the ordering 0 < t''_c < t'_c < t_c. These bounds are sharp in the sense that they become equalities in the homogeneous limit τ→∞. The results delimit where a first-order phase transition can occur and give explicit large-q asymptotics, t_c ~ 2(τ−2)/(τ−1) ln(q−1) and t'_c, t''_c ~ ln(q−1).","feed_headline":"Sharp log bounds fix the Potts critical temperature on weighted graphs","feed_subtitle":"Universal inequalities on t_c hold for all Pareto exponents and become exact as τ→∞.","key_machinery":"The central object is the function K(t) from [1] (defined in (6)), whose unique positive zero is t_c; its derivatives K' and K'' have unique zeros t'_c and t''_c, which are respectively the tangency point of F_0 through the origin and the inflection point of F_0. For Pareto weights, K, K', K'' admit closed representations (18)–(20) involving one common integral D(t) = ∫_1^∞ w^{−τ+1}/(e^{tw}+q−1) dw. The proofs use the sign criteria (14)–(16) — K(t)<0 for t<t_c and K(t)>0 for t>t_c, and similarly for the derivatives — plus a convexity lower bound on D obtained from the convexity of 1/(e^z+1). The sharpened bound for t_c uses the exact identity K(2 ln(q−1))/K'(2 ln(q−1)) = 2 ln(q−1)/(τ−1), yie","core_discovery":"The paper proves that for all τ≥4 and q>2 the three positive zeros t_c, t'_c=t_b, t''_c=t_* of K, K', K'' obey 0 < t''_c < t'_c < t_c < ∞, with t_c < 2 ln(q−1), t'_c < 3/2 ln(q−1), t''_c < ln(q−1), and the sharper t_c < 2(τ−2)/(τ−1) ln(q−1). The proof uses explicit Pareto representations of K, K', K'' and convexity of 1/(e^z+1); the sharpened bound follows from an exact Newton-step identity at t = 2 ln(q−1). Sharpness is certified by the homogeneous limit τ→∞, where t_c = 2 ln(q−1), t''_c = ln(q−1), t'_c = T(q) solves (27). The paper also derives the large-q limits (31) and the τ-dependent q↓2 asymptotics of t''_c in (35).","pith_inferences":["The same single-integral-plus-convexity device may extend to other heavy-tailed weight densities; the moment-based numerical observation (86) suggests a general two-sided bound t_c ∈ (2 μ_3/μ_4 ln(q−1), 2 μ_0/μ_1 ln(q−1)) that the paper does not prove.","The sharp lower-bound conjecture (32) could plausibly be proven by running the same Newton-step argument from a left endpoint, which would turn the conjecture into a theorem and give a uniform relative-width bound for all τ≥4.","Since t'_c and t''_c are geometric features of F_0 (tangency and inflection), the new bounds constrain the shape of the phase diagram in the companion paper's Figure 1, and may help certify first-order transitions for finite q without solving the full fixed-point equations.","One can test whether the constant 2(τ−2)/(τ−1) is determined by the tail exponent alone or by further moments, by comparing with the exponential-weight case from [2] and with light-tailed distributions."],"forward_implications":["The transition parameter t_c is confined to an explicit interval for all τ≥4 and q>2; combined with the conjectured lower bound 2(τ−5)/(τ−4) ln(q−1) (proved for large q), this gives a two-sided estimate whose width shrinks as τ grows.","Through γ_c = t_c/F_0(t_c) and the sandwich bound for F_0, the log bounds translate into explicit upper bounds on the critical inverse temperature β_c itself, uniformly in q.","The large-q limits (31) fix the asymptotic shape of the critical curve: t_c ~ 2(τ−2)/(τ−1) ln(q−1), while t'_c and t''_c both approach ln(q−1).","The q↓2 behaviour of t''_c has four distinct regimes depending on τ (τ=4, 4<τ<5, τ=5, τ>5), with decay from exponentially small to linear in ln(q−1), which must be reproduced by any numerical computation of the phase diagram.","The bounds are tight in the homogeneous limit, so they cannot be improved without using more information about the weight distribution than the Pareto tail exponent."],"supporting_citations":[{"why":"Defines the model, the function K, and the existence/uniqueness theorems (1.14 and 1.21) giving t_c, t'_c=t_b, t''_c=t_* on which all bounds rest.","marker":"[1]"},{"why":"Provides the companion exponential-weight analysis and the a_n(q) expansion coefficients used in Section 9 to obtain the small-(q−2) expansion of T(q).","marker":"[2]"},{"why":"Supplies the continuous Lehmer inequality used to order μ_3/μ_4 < μ_0/μ_1 in the moment-based bound conjecture (86).","marker":"[3]"}],"fun_headline_variants":["Potts critical temp: new sharp bounds, exact in homogeneous limit","Tight log bounds for Potts critical inverse temperature on Pareto graphs","t_c bound improved: 2(τ−2)/(τ−1) log(q−1) for Potts","Pareto weights yield sharp t_c bounds, sharpening as τ→∞","Annealed Potts: t_c bounded above by 2 log(q−1), proven sharp"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The paper assumes from the companion study [1] that for every q>2 and τ≥4 the functions K, K' and K'' each have exactly one positive zero, with t'_c = t_b and t''_c = t_*, and that F_0'' changes sign once; if any of these existence facts fail, the bounds do not apply.","fun_headline_variants_meta":{"raw":{"variants":["Potts critical temp: new sharp bounds, exact in homogeneous limit","Tight log bounds for Potts critical inverse temperature on Pareto graphs","t_c bound improved: 2(τ−2)/(τ−1) log(q−1) for Potts","Pareto weights yield sharp t_c bounds, sharpening as τ→∞","Annealed Potts: t_c bounded above by 2 log(q−1), proven sharp"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000932,"raw_usage":{"total_tokens":4059,"prompt_tokens":1209,"completion_tokens":2850,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":953,"completion_tokens_details":{"reasoning_tokens":2740}},"tokens_in":953,"tokens_out":2850,"duration_ms":22789,"temperature":1.0,"reasoning_tokens":2740,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T14:18:17.179083+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute K(t) at t = 2 ln(q−1) from the explicit Pareto representation (18)–(21) for a single pair (τ,q), e.g. τ=5, q=10; the claim t_c < 2 ln(q−1) is equivalent to K(2 ln(q−1)) > 0, so a value ≤ 0 for any τ≥4, q>2 would refute the main theorem.","supporting_citations":[{"cited_title":"Annealed Potts models on rank-1 inhomogeneous random graphs","cited_arxiv_id":"2502.10553","evidence_quote":"Defines the model, the function K, and the existence/uniqueness theorems (1.14 and 1.21) giving t_c, t'_c=t_b, t''_c=t_* on which all bounds rest."},{"cited_title":"Janssen, The critical temperature in the annealed Potts model with exponential vertex weights, Eurandom preprint series, 2025-08","cited_arxiv_id":null,"evidence_quote":"Provides the companion exponential-weight analysis and the a_n(q) expansion coefficients used in Section 9 to obtain the small-(q−2) expansion of T(q)."},{"cited_title":"Bullen, Handbook of means and their inequalities, Springer, 1987","cited_arxiv_id":null,"evidence_quote":"Supplies the continuous Lehmer inequality used to order μ_3/μ_4 < μ_0/μ_1 in the moment-based bound conjecture (86)."}],"review_version":1}