{"id":"699df869-fc09-4604-ac1e-4bcd7ecd2c5d","arxiv_id":"2607.09168","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A homogeneous posynomial that is zero-free on a product of right half-planes has a concave degree-normalized root, giving a sharp link between sector stability and fractional log-concavity.","lead":"This paper proves a new version of Gårding's theorem for sums of monomials with arbitrary nonnegative real exponents: zero-freeness in the right half-plane forces concavity of the degree-normalized root. The result sharpens fractional log-concavity bounds and improves sampling guarantees for matchings and nonsymmetric determinantal point processes.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 6's sector-to-Pick-representation step is the load-bearing black box; verify that 0≤arg h≤arg z indeed yields a positive representing measure.","rationale":"The reader's weakest_assumption correctly identifies Lemma 6's appeal to the Pick/complete-Bernstein representation as the deepest external input. I reviewed the surrounding argument in detail: Lemma 3 is a valid real-exponent Descartes rule, Theorem 4's crossing argument is sound, Lemma 5's angular contraction correctly uses homogeneity and principal branches, and the perspective argument is standard. No internal inconsistency or circularity appears. The only point at which the proof could fail is the unproved characterization in Lemma 6: the sector condition must be exactly the hypothesis of [SSV12, Theorem 6.2]. This is a standard theorem in the literature, so the concern is not that the claim is false, but that the manuscript has not shown the fit. I therefore do not change the reader's ACCEPT verdict: the correct disposition is to keep acceptance while flagging this as a verification point. If the proposed concrete check were to reveal that the sector condition is insufficient, the verdict would need to become CONDITIONAL or REJECT; current evidence gives no reason to expect that. The AI-assistance disclosure does not affect the mathematical assessment.","tokens_in":6204,"tokens_out":35514,"duration_ms":347234,"concrete_test":"Independently prove or formally instantiate Lemma 6 from [SSV12, Theorem 6.2]: take h holomorphic on ℂ\\(−∞,0], positive on ℝ>0, with 0≤arg h(z)≤arg z for Im z>0, and derive the Nevanlinna representation of H(z)=h(z)/z, checking that the representing measure is nonnegative and satisfies the integrability condition. If this derivation succeeds, Lemma 6 is sound and Theorem 1 stands; if it reveals a hidden extra hypothesis, the proof of Lemma 6 has a gap requiring repair.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem depends on Lemma 6, which converts the angular condition 0≤arg h(z)≤arg z (Im z>0) into the complete Bernstein representation h(x)=a+bx+∫ x/(x+t)dμ(t) with μ≥0. This is exactly the step that makes h concave on ℝ>0: each x/(x+t) is concave and the positive measure integrates that concavity. The proof of Lemma 6 asserts, without derivation, that the hypotheses put h in the complete-Bernstein class and cites [SSV12, Theorem 6.2]. The paper does not instantiate the theorem's hypotheses, nor does it show that the sector condition implies the required representation (rather than merely Im h≥0 or a representation with weaker positivity/regularity properties). Because every later step—the perspective argument and the concavity of p^{1/d}—relies on this concavity of h, this is the least secure link in the proof. If the sector condition only implied a signed measure, or required extra regularity not established, Theorem 1 would not follow as written. This is a genuine reliance on an external characterization, not an observed contradiction; but it is the single most load-bearing unproved input in the manuscript.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves an analogue of Gårding's theorem for homogeneous posynomials with arbitrary nonnegative real exponents. The main result (Theorem 1) states that if such a posynomial is zero-free on a product of open right half-planes (Γ1-stable), then its degree-normalized root is concave on the positive orthant. Corollary 2 extends this to sector stability: Γα-stability implies α-fractional log-concavity. The proof proceeds through a real-exponent generalized Descartes rule (Lemma 3), a Sendov–Sendov ray-monotonicity theorem (Theorem 4), an angular-contraction lemma (Lemma 5), and a Pick-representation-based concavity lemma (Lemma 6). The applications section derives improved mixing-time and domain-sparsification bounds for fixed-size matchings and nonsymmetric determinantal point processes by removing a previously known factor-of-two loss.","tokens_in":6496,"tokens_out":19358,"duration_ms":170536,"significance":"If the result holds, it is a clean and useful extension of Gårding's theorem to posynomials, with a sharp dependence on the sector aperture α and concrete algorithmic consequences. The proof is essentially self-contained and, notably, has no fitted parameters or post hoc assumptions: the main theorem is derived from first principles with the only external input being the standard Pick/complete-Bernstein representation. The sharpness example shows the exponent range is optimal. The paper also transparently discloses the AI-assisted development of the proof. My reading of the central arguments is that they are correct: the generalized Descartes rule, ray monotonicity, angular contraction, and the perspective argument all check out. The one non-elementary step—the use of the complete-Bernstein characterization in Lemma 6—is correct but terse, and should be explained more explicitly for the intended CS readership.","major_comments":[],"minor_comments":[{"comment":"The proof asserts, without derivation, that the hypotheses 0≤arg h(z)≤arg z imply that h is a complete Bernstein function, and then cites the Pick representation in [SSV12, Theorem 6.2]. This is the single most load-bearing step in the paper, and although the implication is correct (the sector condition is equivalent to h and -h/z being Pick functions, which is the standard characterization of complete Bernstein functions), the manuscript should either prove this equivalence or give a precise citation to the characterization. As written, a reader cannot tell whether the cited theorem is being used for the representation or for the classification.","section":"§3, Lemma 6"},{"comment":"In the definition of H_β, some coefficients a_j sin(λ_jθ−β) may vanish. The sign-change count should explicitly say that zero coefficients are discarded before applying Lemma 3. This is a minor amendment but avoids ambiguity.","section":"§2, Theorem 4"},{"comment":"The proof of Lemma 5 says that the lift obtained from Theorem 4 is the same branch as the one obtained by moving from 1 to e^{iφ}. This is true because f is zero-free on ℂ\\ (−∞,0], which is simply connected, and both paths lie in that set. Stating this explicitly would improve clarity, since Theorem 4 is phrased along a ray of fixed angle, while the desired path is along the unit circle.","section":"§3, Lemma 5"},{"comment":"The sharpness example p(x,y)=x^β+y^β is stated without proof. A one-sentence explanation of why Γα-stability holds exactly when αβ≤1 (using the equation (z1/z2)^β=−1) would be useful.","section":"§1, Corollary 2"}],"recommendation":"minor_revision","confidential_remarks":"The paper is mathematically sound in my reading. The only substantive concern is the terse handling of the Pick-representation step in Lemma 6; I made this a minor comment because the step is correct and easily fixed by adding a short justification or a more precise citation. The applications are consequences of existing sampling theorems and do not require independent verification beyond the improved log-concavity parameter. The AI-use disclosure is transparent and does not affect my assessment."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: I think this paper is correct and worth refereeing. It proves Gårding's theorem for homogeneous posynomials with arbitrary nonnegative real exponents, and as a corollary gets Γα-stability implying α-fractional log-concavity. That is a genuine improvement over the earlier Γ_{2α} result, and the improved exponent matters for the mixing-time and domain-sparsification guarantees in the later sections. The main proof is carefully assembled: generalized Descartes rule, Sendov–Sendov ray monotonicity, angular contraction, and a perspective argument. I checked the steps and did not find a gap. The extension to real exponents is handled cleanly, and the extremal example shows the fractional parameter is sharp.\n\nThe deepest external input is Lemma 6, which converts the sector condition 0 ≤ arg h(z) ≤ arg z into the complete Bernstein / Pick representation and then concavity on the positive reals. The stress-test note worries that the paper doesn't instantiate the hypotheses of the cited theorem. That concern is fair as a presentation point, but I don't think it's a substantive defect: the implication is a standard characterization of complete Bernstein functions, and the paper cites the right source. A referee might still ask for one or two sentences making the verification explicit, but the step is not hiding a gap.\n\nThe applications are corollaries of earlier theorems, but they follow uniformly from the new result and the improvement from n^{3/4} to n^{1/2} sparsification is concrete. No fitted constants, no circular dependence, and the self-citations are used as black boxes for application-level statements, not for the core proof.\n\nWho is this for? People working on log-concavity, sector-stability, negative dependence, and entropic independence. It deserves a serious referee. I would recommend sending it to peer review, with a minor request to expand Lemma 6 to show exactly why the hypotheses satisfy the Pick representation theorem.","headline":"Gårding's theorem for posynomials is real: the paper closes the factor-of-two gap between sector stability and fractional log-concavity, and the proof is clean enough to send to referees.","tokens_in":607,"tokens_out":663,"would_cite":true,"duration_ms":31830,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["26B25","26C10","30C15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a homogeneous posynomial that is zero-free on a product of open right half-planes has a concave degree-normalized root, extending Gårding's theorem to real exponents.","keywords":["posynomials","Gårding's theorem","sector stability","fractional log-concavity","entropic independence","mixing time","determinantal point processes","matchings"],"falsifier":"Exhibit a homogeneous posynomial with positive real coefficients that is zero-free on (open right half-plane)^n but whose degree-normalized root p(x)^{1/d} is not concave on the positive orthant. Since the theorem is concise, the simplest check is numerical: sample two-variable posynomials with non-integer exponents, test zero-freeness on a grid of half-plane points, and test concavity by the midpoint inequality.","tokens_in":6117,"feed_emoji":"📐","tokens_out":5578,"duration_ms":49471,"temperature":0.7,"pith_summary":"This paper proves that a homogeneous posynomial—a positive-coefficient sum of monomials with arbitrary real exponents—that has no zeros on a product of open right half-planes must have a concave degree-normalized root. The result extends Gårding's classical theorem from polynomials to posynomials, where exponents are not required to be integers. Because sector stability with aperture απ implies α-fractional log-concavity, the theorem removes a factor-of-two loss in earlier sampling guarantees. A reader should care because this yields concrete improvements in mixing-time and domain-sparsification bounds for sampling fixed-size matchings and nonsymmetric determinantal point processes.","feed_headline":"Zero-freeness in a half-plane forces posynomial concavity","feed_subtitle":"Real exponents and sector stability sharpen fractional log-concavity, speeding sampling for matchings and DPPs.","key_machinery":"The angular-contraction lemma: for a Γ1-stable homogeneous posynomial p of degree d, if each coordinate of w has argument in [0, φ] with φ < π, then p(w) ≠ 0 and the continuous argument along the straight-line path satisfies 0 ≤ Arg(p(w)) ≤ dφ. This reduces the multivariate stability condition to a one-variable ray monotonicity statement for posynomials with real exponents, which is proved by a generalized Descartes rule; the one-variable statement then feeds a concavity criterion from the complete Bernstein function representation.","core_discovery":"The central claim is that zero-freeness in Γ1 (product of open right half-planes) is enough to make x ↦ p(x)^{1/d} concave on the positive orthant for any homogeneous posynomial of degree d. The proof establishes an angular-contraction estimate—that the argument of p along paths whose coordinate arguments lie in an interval of width φ < π is confined to [0, dφ]—and then uses the representation theorem for complete Bernstein functions to pass from that one-variable angular bound to concavity. The corollary sharpens the connection: Γα-stability implies α-fractional log-concavity, with the α dependence optimal.","pith_inferences":["The real-exponent formulation suggests that fractional log-concavity is not an artifact of integer exponents; the same sector-stability certificate might be used directly on generating functions with non-polynomial terms, e.g., partition functions with external fields, without first converting to polynomials.","Because Corollary 2 is sharp, any sampling algorithm whose mixing guarantee is governed by fractional log-concavity cannot hope for a better exponent from this certificate alone; further gains must come from additional structure, such as negative dependence or spectral gaps.","The angular-contraction technique may generalize to ratios of posynomials or to functions defined by integrals over the positive orthant, provided the one-dimensional ray argument can be extended to a suitable class of functions.","An immediate testable extension is to non-homogeneous posynomials: if one normalizes by the total degree and checks Γ1-stability after homogenization, a similar concavity statement may hold; the current proof relies on homogeneity for the perspective step."],"forward_implications":["If p is Γα-stable, then x ↦ log p(x^α) is concave, i.e. α-fractional log-concavity, for all 0 < α ≤ 1.","The α dependence is best possible: p(x,y)=x^β+y^β is Γα-stable exactly when αβ ≤ 1, and concavity of (x^{αβ}+y^{αβ})^{1/(αβ)} holds in the same range.","For sector-stable generating polynomials of k-subset distributions, the k↔k−r down-up walk with r=⌈1/α⌉ mixes in time O_α(k^{1/α} log(1/μ(S0)) log(1/ε)) and has modified log-Sobolev constant Ω_α(k^{-1/α}).","Domain sparsification reduces sampling from such distributions to sparse external fields supported on n^{1−α} poly(k) elements.","For fixed-size matchings and nonsymmetric DPPs, the new certificate yields two-site walks with Ω(k^{-2}) log-Sobolev bounds and sparse domains of size n^{1/2} poly(k), improving the previous n^{3/4} poly(k)."],"fun_headline_variants":["Zero-free half-planes make posynomial roots concave","Posynomial concave root from sector stability","Half-plane zero-freeness: posynomials get concave roots","Sector-stable posynomials speed matchings and DPPs"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof leans on the complete representation of a one-variable function that satisfies the angular condition 0 ≤ arg h(z) ≤ arg z; the concavity conclusion requires that the representing measure in that representation be positive, a fact the paper imports without proof.","fun_headline_variants_meta":{"raw":{"variants":["Zero-free half-planes make posynomial roots concave","Posynomial concave root from sector stability","Half-plane zero-freeness: posynomials get concave roots","Sector-stable posynomials speed matchings and DPPs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001014,"raw_usage":{"total_tokens":4061,"prompt_tokens":629,"completion_tokens":3432,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":373,"completion_tokens_details":{"reasoning_tokens":3365}},"tokens_in":373,"tokens_out":3432,"duration_ms":22568,"temperature":1.0,"reasoning_tokens":3365,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T07:41:23.319114+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a homogeneous posynomial with positive real coefficients that is zero-free on (open right half-plane)^n but whose degree-normalized root p(x)^{1/d} is not concave on the positive orthant. Since the theorem is concise, the simplest check is numerical: sample two-variable posynomials with non-integer exponents, test zero-freeness on a grid of half-plane points, and test concavity by the midpoint inequality.","supporting_citations":[],"review_version":2}