{"id":"038461ed-996b-4338-9e2f-4b674eca08a7","arxiv_id":"2411.17526","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Strictly stable Hurwitz polynomials on tube domains over cones admit, up to multiplication by a stable factor, a certifying determinantal representation.","lead":"The paper shows that multivariable polynomials satisfying a strict growth condition on a tube domain can be multiplied by another stable polynomial so that the product equals the determinant of a linear matrix pencil with positive imaginary part. This gives explicit certificates of stability that are relevant to semidefinite programming, operator theory, and multidimensional system theory.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Theorem 3.1's proof is a valid Cayley reduction to [11, Thm. 4.1]; the strict-stability hypothesis is strong but not inconsistent.","rationale":"The reader's weakest assumption was the strict stability growth condition (3.6). I agree that this condition is the most restrictive hypothesis in the paper and that it rules out many stable polynomials that are zero-free only on the open tube. However, that does not make Theorem 3.1 incorrect; the theorem is explicitly conditional on (3.6), and the proof via the Cayley transform and [11, Thm. 4.1] appears sound. I checked the key algebraic steps of the reverse Cayley transform, including the factorization leading to A0 and A_j, the treatment of the denominator in q, and the strict contractivity requirement; no fatal gap emerged. The manuscript's real problems are editorial: the erroneous matrix display in Lemma 6.2, the mistaken 'Conjecture 7.7' reference in the proof of Theorem 7.1, and the conjectural status of the exceptional 27-variable case not being flagged in the abstract. These warrant the reader's CONDITIONAL verdict, but they do not shift the verdict further; the central claim stands as stated.","tokens_in":73,"tokens_out":41617,"duration_ms":506505,"concrete_test":"Verify the exact statement of [11, Theorem 4.1] in the source paper: confirm that it yields a strictly contractive K whenever the polynomial is zero-free on a neighbourhood of the closed polydisk, and recompute Eq. (3.7) for the basic case p(z)=prod_j(z_j+i), which should give q=1, A0=iI, and A_j equal to the coordinate projections, confirming the Cayley identities and the positivity of Im A0.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I read Theorem 3.1 as the central claim, and I do not find a load-bearing flaw in it. The proof is a clean reduction: condition (3.6) makes the Cayley-transformed polynomial \\tilde p zero-free on a neighbourhood of the closed polydisk; scaling by r>1 puts it into the strict Schur-stable regime; [11, Thm. 4.1] then supplies a strictly contractive K and a polynomial \\tilde q. The reverse Cayley computation in (3.7) is algebraically correct: the factorization (I-K)D + i(I+K) = (I-K)(D + i(I-K)^{-1}(I+K)) requires no commutativity with the diagonal D, and the resulting A_j are nonnegative projections summing to the identity, with Im A0 > 0. The potential issue of q having denominator factors z_j+i is handled by enlarging N_j and inserting zero rows and columns in K, which does not change the determinant. The main caveat is scope rather than correctness: (3.6) is a genuine growth lower bound, not merely zero-freeness on the closed tube, so polynomials such as z1+1 or other boundary-zero-free stable polynomials are outside the theorem. That is a limitation of the hypothesis, but the theorem is internally consistent and the proof supports the stated claim. The reader-identified typos (Lemma 6.2 matrix display and the 'Conjecture 7.7' reference in Theorem 7.1's proof) are real but editorial and do not affect Theorem 3.1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a family of certifying determinantal representation theorems for multivariable polynomials that are strictly stable on tube domains. The main result (Theorem 3.1) shows that if a polynomial p of multidegree (n_1,...,n_d) satisfies the growth lower bound |p(z)| ≥ ε ∏_j |z_j + i|^{n_j} on the upper half plane H^d, then there exists a polynomial q such that pq equals det(A_0 + z_1 A_1 + ... + z_d A_d) with Im A_0 > 0, A_j ≥ 0, and A_1 + ... + A_d > 0. The proof uses the Cayley transform to reduce to a strictly Schur-stable polynomial on the polydisk and invokes the matrix-valued Hermitian Positivstellensatz of [11] (Grinshpan et al.). Sections 4–7 extend this approach to tube domains over matrix, Siegel, skew-symmetric, and Lorentz cones, and Section 8 formulates conjectural results for the exceptional 27-dimensional tube domain.","tokens_in":63,"tokens_out":21855,"duration_ms":624780,"significance":"Theorem 3.1 is a clean and largely convincing application of [11, Theorem 4.1] and provides a new class of strictly stable Hurwitz polynomials with certifying determinantal representations, connecting naturally to the generalized Lax conjecture. The algebraic computations in the proof of Theorem 3.1 are explicit and checkable, and the Cayley-transform strategy is elegant. The extension to symmetric cones is potentially significant, but the proof of the n-variable Lorentz cone case (Theorem 7.7) is only sketched, so the full scope of the paper's claims is not yet established. If the missing details are supplied, the paper would make a solid contribution to the operator-theoretic approach to stable polynomials and determinantal representations.","major_comments":[{"comment":"The proof of Theorem 7.7 is not complete. The statement 'We will apply a variation of [11, Theorem 4.1] where the inequality I - P(z)^*P(z) > 0 is replaced by P_+(z)^*P_+(z) - P_-(z)^*P_-(z) > 0' is a substantial generalization, and the subsequent sentence 'Adjusting now the proof of [11, Theorem 4.1] yields the desired determinantal representation' does not show how the lurking-contraction argument is adapted. In particular, the application of [11, Theorem 2.3] to the noncommutative polynomial P_+^*P_+ - P_-^*P_- is not demonstrated. Since Theorem 7.7 is used to prove Theorem 7.1, this gap affects the Lorentz-cone results and the conjectural Section 8. The authors should provide a full proof or a precise statement of the theorem from [11] that covers this setting.","section":"Theorem 7.7"},{"comment":"The paper repeatedly applies [11, Theorem 4.1] to domains that are not the polydisk, such as products of Cartan type I and III domains (Theorem 4.1), the skew-symmetric domain (Theorem 5.2), and the 2-variable Lie ball (Theorem 6.3). The introduction only states the polydisk version of [11, Theorem 4.1]. For the reader to verify these applications, the authors should either state the full matrix-valued version of [11, Theorem 4.1] they are using, or explain why the polydisk version suffices after a Cayley transform. This is particularly relevant in Theorem 6.3, where the Lie ball is described by I - P(z)^*P(z) > 0 with a 2×2 matrix P(z), and the claim that [11, Theorem 4.1] applies is not immediate.","section":"Sections 4–6"},{"comment":"The proof of Theorem 7.1 contains the sentence 'By the assumption that Conjecture 7.7 holds...' but there is no Conjecture 7.7; the reference should be to Theorem 7.7. While this is a typo, it appears in a load-bearing step and, as written, suggests an unproved assumption. The authors should correct this and ensure that all references to numbered results are accurate.","section":"Theorem 7.1, proof"}],"minor_comments":[{"comment":"The displayed formula for M(z) contains the term zz^* - zz^T with off-diagonal entries printed as z1 z2 - z1 z2, which is identically zero; the intended matrix appears to be M(z) = ‖z‖^2 I_n - zz^* + zz^T. Please fix the display.","section":"Lemma 6.2"},{"comment":"After equation (3.7), the definition 'A_j = ⊕_{k=1}^d δ_{jk} I_{N_k}, j = 1,...,k' should read j = 1,...,d; also, the phrase 'increase N_j in (7)' should refer to equation (3.7).","section":"Theorem 3.1, proof"},{"comment":"The choice of r>1 for which \tilde p(rz) is strictly Schur stable on ar D^d is not explained; since \tilde p is zero-free on the closed polydisk, one can take r>1 sufficiently close to 1, but this should be stated explicitly.","section":"Theorem 3.1, proof"},{"comment":"In the proof of (iii) ⇒ (i), the dominance argument for the full multidegree term is stated only for |z_1|+...+|z_d| ≥ M; the case where some variables stay bounded while others tend to infinity should be addressed explicitly.","section":"Proposition 3.2"},{"comment":"There are numerous typographical errors (e.g., 'coeeficients' in the introduction, 'Lorents cone' in the Section 6 heading, 'peroperty' in the footnote on page 23, and the reference to 'Conjecture 7.7' already noted). A careful proofreading is needed.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper builds on [11] by partially overlapping authors, and the novelty lies in the Cayley transport to tube domains and symmetric cones. The main theorem (3.1) is sound, but the later sections require a more rigorous treatment of the matrix-valued Positivstellensatz, particularly Theorem 7.7. I would not recommend acceptance before the proof of Theorem 7.7 is completed or clearly reduced to a stated theorem in [11]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the main theorem is fine; the packaging is not. Section 3's Theorem 3.1 does what it claims: under the growth bound (3.6), a Cayley transform turns p into a strongly stable Schur polynomial, [11, Thm 4.1] supplies a contractive determinantal representation, and transforming back gives Im A0 > 0 with the A_j nonnegative projections. I checked the algebra in (3.7) and it is correct. The strict stability hypothesis is strong—it forces the top multidegree term and lower bounds on |p|—but that is a scope limit, not a flaw, and Proposition 3.2 says exactly what it buys you.\n\nWhat is genuinely new is carrying this template from the polydisk to tube domains over symmetric cones. The sections on matrix, skew-symmetric, and Lorentz cones follow the same Cayley/reduction pattern, and the n-variable Lorentz section introduces a genuine matrix-pencil description of the Lie ball, P±(z), which is a real contribution and likely to be reusable.\n\nNow the soft spots, in proportion. The abstract says \"we establish various certifying determinantal representation results\" but Section 8 is explicitly conjectural. That should be in the abstract. The proof of Theorem 7.1 refers to \"Conjecture 7.7\" when the proved Theorem 7.7 is meant; that is just a typo, but confusing because there is also a real Conjecture 8.7. Theorem 7.7 itself is presented as a variation of [11, Theorem 4.1] and is only sketched; a referee will need to check that the polynomial convexity argument and the operator-tuple maximalization really feed in as claimed. Lemma 6.2 contains a wrong matrix computation: the 2x2 matrix displayed does not have zero trace, and its eigenvalues are not the two nonzero eigenvalues of zz* − zz^T. The final statement of Lemma 6.2 is true, so this is a fixable proof error, not a counterexample.\n\nIs the reliance on [11] a problem? No. The cited theorem is peer-reviewed and the new content is the transport theorem and the cone-by-cone analysis. The paper is not self-contained, though; readers need [11] in hand.\n\nWho should read this: people working on the generalized Lax conjecture, stable polynomials, and determinantal representations. It is not a breakthrough that resolves Lax, but it is a meaningful step and the Lie ball pencil is worth having. I would send it to a serious referee. My own verdict would be conditional: accept after fixing the abstract, the reference typo, and the proof of Lemma 6.2, and after a specialist checks the sketch of Theorem 7.7.","headline":"Theorem 3.1 is sound and the paper is a real step toward certifying representations on tube domains, but the abstract oversells the conjectural Section 8 and a few proofs need cleanup before publication.","tokens_in":22784,"tokens_out":4828,"would_cite":true,"duration_ms":42853,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["15A15","26C10","32A10","47A13","30C10","93B28"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every strictly stable Hurwitz polynomial admits, up to a stable factor, a certifying determinantal representation as the determinant of a linear pencil with positive definite imaginary part.","keywords":["Determinantal representation","Hurwitz stability","Schur stability","Multivariable polynomial","Siegel domain","Lie ball","Tube domain","Lorentz cone"],"falsifier":"Construct a polynomial of multidegree $(n_1,\\dots,n_d)$ that satisfies the growth bound (3.6) but for which no polynomial $q$ makes $pq$ equal to $\\det(A_0 + z_1 A_1 + \\cdots + z_d A_d)$ with $\\operatorname{Im} A_0 > 0$ and all $A_j \\ge 0$; such an example would refute Theorem 3.1. A smaller, still decisive test is to check computationally, for low degrees and $d=2$, whether every Schur-side representation from [11, Theorem 4.1] pulled back through the Cayley transform can be chosen so that denominator factors cancel to a polynomial $q$.","tokens_in":21698,"feed_emoji":"🧮","tokens_out":8709,"duration_ms":73495,"temperature":0.7,"pith_summary":"This paper proves a multivariable Hurwitz stability version of the known Schur-stability determinantal representation theorem. If a polynomial $p$ of multidegree $(n_1,\\dots,n_d)$ satisfies the growth bound $|p(z)| \\ge \\epsilon \\prod_{j=1}^d |z_j + i|^{n_j}$ on the upper half plane $\\mathbb{H}^d$—the paper's notion of strict stability—then there is a polynomial $q$ for which $pq$ admits a certifying determinantal representation $pq = \\det(A_0 + z_1 A_1 + \\cdots + z_d A_d)$ with $\\operatorname{Im} A_0 > 0$, $A_j \\ge 0$, and $A_1 + \\cdots + A_d > 0$. The argument runs through the Cayley transform from the unit disk to the upper half plane, so the added factor is what makes the product fit into the Schur-side contractive representation. The same pattern is extended to tube domains over matrix and Siegel upper halfspaces, skew-symmetric matrix halfspaces, and Lorentz cones; for the exceptional 27-variable tube domain the result is established conditional on a stated polynomial-convexity conjecture. The reason to care is that certifying determinantal representations of this kind exhibit stability through matrix positivity, which is the bridge to semidefinite programming and to the generalized Lax conjecture for hyperbolic polynomials.","feed_headline":"A growth condition turns stable polynomials into matrix determinants","feed_subtitle":"The guarantee: a stable factor q exists so that pq is the determinant of a linear pencil with positive definite imaginary part.","key_machinery":"The machinery is the Cayley transform $\\varphi(z) = i(1+z)/(1-z)$, which maps the unit disk conformally onto the upper half plane and converts Hurwitz stability into Schur stability. On the unit-disk side, the paper invokes the Matrix-valued Hermitian Positivstellensatz (specifically [11, Theorem 4.1]), which gives a contractive determinantal representation $\\tilde p \\tilde q = \\tilde p(0)\\tilde q(0) \\det(I - K Z_N)$ for strictly stable Schur polynomials. Pulling that representation back through the Cayley transform yields $A_0 = i(I+K)(I-K)^{-1}$, which has positive definite imaginary part, and the block projections $A_j$ that are positive semidefinite and sum to the identity.","core_discovery":"Working in $\\mathbb{H}^d = \\{z \\in \\mathbb{C}^d : \\operatorname{Im} z_j > 0\\}$, the paper's central theorem (Theorem 3.1) asserts the following. Let $p$ have multidegree $(n_1,\\dots,n_d)$ and suppose there is $\\epsilon > 0$ with $|p(z)| \\ge \\epsilon \\prod_{j=1}^d |z_j + i|^{n_j}$ for all $z \\in \\mathbb{H}^d$. Then there exists a polynomial $q$ and matrices $A_0,\\dots,A_d$ such that $\\operatorname{Im} A_0 > 0$, $A_j \\ge 0$, $A_1 + \\cdots + A_d > 0$, and $p(z)q(z) = \\det(A_0 + z_1 A_1 + \\cdots + z_d A_d)$. The proof Cayley-transforms the upper half plane to the unit disk, applies the Schur-stable contractive determinantal representation, and transforms back; the growth bound is exactly what makes the transformed polynomial bounded away from zero on the closed polydisk.","pith_inferences":["Editorial extension: if Theorem 3.1 is correct, the growth bound (3.6) is the natural notion of strictness in multivariable Hurwitz stability, and the same bound would be the first hypothesis to try in any search for a constructive version of the generalized Lax conjecture beyond the plane-curve case.","Editorial extension: because the proof reduces to a Schur-side statement, an effective algorithmic version could be obtained by tracking the matrix sizes in [11, Theorem 4.1]; numerical experiments on low-degree examples could reveal how large the certifying factor $q$ must be.","Editorial extension: in the exceptional 27-variable case, resolving polynomial convexity of $C$ is the only missing ingredient; the paper's own suggested route—proving rotational invariance of $C$—would likely complete the theorem by falling into the known theory of bounded symmetric domains."],"forward_implications":["Every polynomial satisfying the growth bound (3.6) admits, after multiplication by a certifying factor $q$, a determinantal representation $\\det(A_0 + \\sum_j z_j A_j)$ with $\\operatorname{Im} A_0 > 0$ and each $A_j \\ge 0$.","Proposition 3.2 characterizes the growth bound: it is equivalent to the Cayley-transformed polynomial being bounded away from zero on the closed polydisk, and also to $p$ containing the full multidegree term $\\prod_j z_j^{n_j}$ while staying bounded away from zero on $\\mathbb{H}^d$.","The same method gives certifying determinantal representations for polynomials strictly stable on tube domains over matrix and Siegel upper halfspaces, skew-symmetric matrix halfspaces, and the bivariable and $n$-variable Lorentz cones.","For the exceptional 27-variable tube domain, the analogous representation follows if a stated polynomial-convexity conjecture about the bounded domain $C$ is resolved.","The result provides an upper-half-plane analogue of the known unit-disk contractive determinantal representation theorem, placing strict Hurwitz stability within the same certifying-representation framework as Schur stability."],"supporting_citations":[{"why":"Supplies the Schur-stable contractive determinantal representation $\\tilde p \\tilde q = \\tilde p(0)\\tilde q(0)\\det(I - K Z_N)$ that the upper-half-plane proof pulls back through the Cayley transform.","marker":"[11, Theorem 4.1]"},{"why":"Provides the operator-theoretic proof of the Lax conjecture whose Cayley-transform calculations are adapted here.","marker":"[19]"},{"why":"Supplies the symmetric-cone framework, including Cayley transforms and bounded symmetric domains, used for tube domains over classical cones.","marker":"[6]"},{"why":"Proves the preliminary fact, used in Theorem 2.1, that the initial form of a conically stable determinant polynomial is hyperbolic.","marker":"[4]"},{"why":"Provides the theory of bounded symmetric domains and polynomial convexity invoked in the Lie-ball and exceptional-domain sections.","marker":"[25]"}],"fun_headline_variants":["Growth bound turns stable polynomials into matrix determinants","Stable polynomials under growth become linear pencil determinants","Growth condition yields determinantal representation for stable polynomials","A growth condition guarantees a determinant form for stable polynomials","Stable polynomials with growth bound admit matrix determinants"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the growth lower bound $|p(z)| \\ge \\epsilon \\prod_{j=1}^d |z_j + i|^{n_j}$ holding on the whole upper half plane; if a stable polynomial decays faster near infinity, the Cayley transform no longer lands in the setting where the known Schur-side representation applies.","fun_headline_variants_meta":{"raw":{"variants":["Growth bound turns stable polynomials into matrix determinants","Stable polynomials under growth become linear pencil determinants","Growth condition yields determinantal representation for stable polynomials","A growth condition guarantees a determinant form for stable polynomials","Stable polynomials with growth bound admit matrix determinants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000239,"raw_usage":{"total_tokens":1452,"prompt_tokens":821,"completion_tokens":631,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":560}},"tokens_in":437,"tokens_out":631,"duration_ms":5692,"temperature":1.0,"reasoning_tokens":560,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:02:23.020442+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a polynomial of multidegree $(n_1,\\dots,n_d)$ that satisfies the growth bound (3.6) but for which no polynomial $q$ makes $pq$ equal to $\\det(A_0 + z_1 A_1 + \\cdots + z_d A_d)$ with $\\operatorname{Im} A_0 > 0$ and all $A_j \\ge 0$; such an example would refute Theorem 3.1. A smaller, still decisive test is to check computationally, for low degrees and $d=2$, whether every Schur-side representation from [11, Theorem 4.1] pulled back through the Cayley transform can be chosen so that denominator factors cancel to a polynomial $q$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the operator-theoretic proof of the Lax conjecture whose Cayley-transform calculations are adapted here."},{"cited_title":"Analysis on symmetric cones","cited_arxiv_id":null,"evidence_quote":"Supplies the symmetric-cone framework, including Cayley transforms and bounded symmetric domains, used for tube domains over classical cones."},{"cited_title":"Conic stability of polynomials and positive maps","cited_arxiv_id":"1908.11124","evidence_quote":"Proves the preliminary fact, used in Theorem 2.1, that the initial form of a conically stable determinant polynomial is hyperbolic."},{"cited_title":"Lecture Notes, Department of Mathematics, University of California Irvin e, 1977","cited_arxiv_id":null,"evidence_quote":"Provides the theory of bounded symmetric domains and polynomial convexity invoked in the Lie-ball and exceptional-domain sections."}],"review_version":1}