Macaulay representation of the prolongation matrix and the SOS conjecture

Chenlong Yue; Xiangyu Zhou; Zhiwei Wang

arxiv: 2509.04314 · v3 · submitted 2025-09-04 · 🧮 math.CV

Macaulay representation of the prolongation matrix and the SOS conjecture

Zhiwei Wang , Chenlong Yue , Xiangyu Zhou This is my paper

Pith reviewed 2026-05-18 19:34 UTC · model grok-4.3

classification 🧮 math.CV

keywords SOS conjectureMacaulay representationprolongation matrixHermitian polynomialsum of squaresrank estimatediagonal polynomial

0 comments

The pith

The Macaulay representation of the prolongation matrix yields a rank estimate that confirms Ebenfelt's SOS conjecture for dimensions 4 to 6 under the diagonal assumption on the Hermitian polynomial.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives a rank estimate for the sum of squares A(z, bar z) times the squared Euclidean norm when A is a real-valued diagonal bihomogeneous Hermitian polynomial that is not semipositive definite. The estimate comes from expressing the prolongation matrix in Macaulay form. This rank bound directly implies that A must satisfy the sum-of-squares condition in Ebenfelt's conjecture whenever the complex dimension n satisfies 4 ≤ n ≤ 6. The same method supplies partial results for n at least 7. A reader would care because the result resolves a concrete algebraic case of the conjecture in several low dimensions.

Core claim

Let z be in C^n and let A(z, bar z) be a real-valued diagonal bihomogeneous Hermitian polynomial such that A(z, bar z) ||z||^2 is a sum of squares. The paper provides an estimate for the rank of this sum of squares when A is not semipositive definite. As a consequence the SOS conjecture is confirmed for 4 ≤ n ≤ 6 when A is a real-valued diagonal Hermitian polynomial that need not be bihomogeneous, and partial answers are given for n ≥ 7.

What carries the argument

The Macaulay representation of the prolongation matrix, which supplies the rank estimate for the sum-of-squares form when A is diagonal.

If this is right

The SOS conjecture holds for all diagonal real-valued Hermitian polynomials in dimensions 4, 5, and 6.
Explicit rank estimates exist for sums of squares involving non-semipositive definite diagonal Hermitian polynomials.
Partial confirmation of the conjecture is obtained for all dimensions n at least 7 under the same diagonal assumption.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The diagonal restriction simplifies the entries of the prolongation matrix enough to permit direct rank calculation via the Macaulay basis.
Removing the diagonal hypothesis would require a different representation of the prolongation matrix that still controls the rank.

Load-bearing premise

The Hermitian polynomial A(z, bar z) must be diagonal so that the Macaulay representation of the prolongation matrix produces the rank estimate used in the confirmation.

What would settle it

An explicit diagonal Hermitian polynomial A in dimension 4 or 5 for which A ||z||^2 is a sum of squares but whose prolongation matrix has a rank different from the paper's predicted value would disprove the rank estimate.

read the original abstract

Let $z \in \mathbb{C}^n$, and let $A(z,\bar{z})$ be a real valued diagonal bihomogeneous Hermitian polynomial such that $A(z,\bar{z})\|z\|^2$ is a sum of squares, where $\|z\|$ denotes the Euclidean norm of $z$. In this paper, we provide an estimate for the rank of the sum of squares $A(z,\bar{z})\|z\|^2$ when $A(z,\bar{z})$ is not semipositive definite. As a consequence, we confirm the SOS conjecture proposed by Ebenfelt for $4 \leq n \leq 6$ when $A(z,\bar{z})$ is a real valued diagonal (not necessarily bihomogeneous) Hermitian polynomial, and we also give partial answers to the SOS conjecture for $n\geq 7$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper confirms Ebenfelt's SOS conjecture for diagonal Hermitian polynomials in dimensions 4-6 by deriving a rank bound via Macaulay representation of the prolongation matrix.

read the letter

The paper settles Ebenfelt's SOS conjecture for diagonal real-valued Hermitian polynomials in dimensions 4 through 6. That's the main result to note right away. They achieve this with a rank estimate on the sum of squares A(z, bar z) times the norm squared when A is not semipositive definite. The key step applies the Macaulay representation to the prolongation matrix to get that estimate. This application of Macaulay representation looks like a new technical step not seen in prior work on the conjecture. It allows them to treat both the bihomogeneous case and the broader diagonal case where the polynomial is not necessarily bihomogeneous. They also provide partial answers for dimensions 7 and higher. The approach rests on the diagonality assumption, which is necessary for their method. The abstract makes this scope clear. There is no indication that the rank estimate loops back to the conjecture itself. I would look closely at the explicit constructions in the proof to verify the rank bound. The abstract states it clearly, but the details matter for the non-semipositive case. Specialists working on positivity, sums of squares, and related questions in complex analysis or real algebraic geometry will find this useful. It removes specific open cases and could inform efforts on higher dimensions. The paper shows clear thinking on the problem and engages the literature honestly. It deserves a serious referee. I recommend sending it to peer review.

Referee Report

1 major / 2 minor

Summary. The paper claims to construct a Macaulay representation of the prolongation matrix associated to a real-valued diagonal bihomogeneous Hermitian polynomial A(z,¯z) for which A(z,¯z)||z||² is a sum of squares. From this representation it derives a rank estimate on the SOS when A is not semipositive definite. The estimate is then invoked to confirm Ebenfelt’s SOS conjecture for 4 ≤ n ≤ 6 in the diagonal case (both bihomogeneous and non-bihomogeneous) and to obtain partial results for n ≥ 7.

Significance. If the rank estimate is rigorously established, the work supplies a concrete algebraic confirmation of the SOS conjecture inside the diagonal restriction for low dimensions. The explicit use of prolongation matrices and Macaulay bases to obtain a dimension-dependent rank bound is a technical contribution that could serve as a template for further cases; the extension to non-bihomogeneous diagonal polynomials broadens the reach of the result.

major comments (1)

[Abstract and main derivation] Abstract (paragraph 2) and the section deriving the rank bound: the transition from the diagonal assumption on A to the claimed rank estimate on the prolongation matrix is asserted without exhibiting the explicit matrix entries or the rank computation for a general diagonal A. Because this rank bound is the sole ingredient used to confirm the conjecture for n = 4,5,6, the missing verification constitutes a load-bearing gap.

minor comments (2)

[Section 2] Notation for the prolongation matrix and its Macaulay basis should be introduced with a short self-contained definition before the rank calculation begins.
[Introduction] The statement that the result also covers non-bihomogeneous diagonal polynomials would benefit from a one-paragraph sketch of how the bihomogeneous construction is adapted.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying a point that requires greater explicitness in the derivation. We address the major comment below and have revised the manuscript to strengthen the presentation of the rank estimate.

read point-by-point responses

Referee: [Abstract and main derivation] Abstract (paragraph 2) and the section deriving the rank bound: the transition from the diagonal assumption on A to the claimed rank estimate on the prolongation matrix is asserted without exhibiting the explicit matrix entries or the rank computation for a general diagonal A. Because this rank bound is the sole ingredient used to confirm the conjecture for n = 4,5,6, the missing verification constitutes a load-bearing gap.

Authors: We appreciate the referee drawing attention to the need for explicit verification. In Section 3 we define the Macaulay basis for the prolongation matrix associated to a diagonal bihomogeneous Hermitian polynomial A and derive the rank bound from the linear dependence relations that arise precisely when A is not semipositive definite. The entries of the prolongation matrix are given explicitly in terms of the diagonal coefficients of A and the monomial basis; the rank is then obtained by counting the dimension of the image after imposing the SOS condition on A(z,¯z)‖z‖². Nevertheless, we agree that a self-contained, step-by-step display of these matrix entries and the subsequent rank calculation for arbitrary diagonal A improves readability. We have therefore added a new subsection (now Section 3.2) that writes out the general form of the matrix, computes its rank directly, and illustrates the argument with the cases n=4,5,6. These additions make the passage from the diagonal hypothesis to the rank estimate fully explicit and self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on explicit Macaulay representation of the prolongation matrix applied to the diagonal case of A(z,¯z), which is stated as a deliberate scoping assumption rather than derived from the target SOS conjecture. The rank estimate for A(z,¯z)||z||² when A is not semipositive is obtained via standard algebraic constructions external to the conjecture itself. Confirmation for 4≤n≤6 follows as a consequence without reducing the central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The approach remains self-contained against external algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that A is diagonal (to enable the Macaulay representation) together with standard facts about Hermitian polynomials and sums of squares; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption A(z, bar z) is a real-valued diagonal bihomogeneous Hermitian polynomial
This property is invoked to apply the Macaulay representation and obtain the rank estimate when A is not semipositive definite.

pith-pipeline@v0.9.0 · 5674 in / 1411 out tokens · 66735 ms · 2026-05-18T19:34:41.762621+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

By introducing the prolongation map and its Macaulay-type representation, we can characterize A(z,¯z)∥z∥2 as a sum of squares (Proposition 2.2). Then, by employing an inductive argument, Macaulay-type estimates, and meticulous counting, we first obtain the following estimate for the case of diagonal bihomogeneous Hermitian polynomials.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We call (3) the Macaulay representation of the prolongation matrix Jn,d.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A Newton-Okounkov Body Viewpoint on the SOS Conjecture
math.CV 2025-12 unverdicted novelty 7.0

Reformulating the SOS conjecture via Newton-Okounkov bodies shows the minimal rank occurs at extreme points of the body, and for diagonal polynomials these reduce to finitely many rational points.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper

[1]

Brooks and D

J. Brooks and D. Grundmeier. Sum of squares conjecture: the monomial case inC 3. Math. Z. 299, 919–40, 2021. 2, 15

work page 2021
[2]

D’Angelo, Inequalities from complex analysis

J. D’Angelo, Inequalities from complex analysis. Carus Mathematical Monographs, 28, 2002. 2

work page 2002
[3]

Ebenfelt, On the HJY Gap Conjecture in CR Geometry vs

P. Ebenfelt, On the HJY Gap Conjecture in CR Geometry vs. the SOS Conjecture for Polynomials. In Analysis and Geometry in Several Complex Variables, 681, 125–35. Providence, RI: American Mathematical Society,

work page
[4]

Huang, On a linearity problem for proper holomorphic maps between balls in complex spaces of different dimensions

X. Huang, On a linearity problem for proper holomorphic maps between balls in complex spaces of different dimensions. J. Differential Geom., 51, 13–33, 1999. 2, 13

work page 1999
[5]

Gao and S

Y . Gao and S. Ng, On the rank of Hermitian polynomials and the SOS conjecture, International Mathematics Research Notices. IMRN, 13, 11276–11290, 2023. 2, 3, 9

work page 2023
[6]

Gao and S

Y . Gao and S. Ng, A hyperplane restriction theorem for holomorphic mappings and its application for the gap conjecture. Math. Ann. 388 (2024), no. 3, 3169–3182. 2

work page 2024
[7]

Green, Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann

M. Green, Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann. Algebraic Curves and Projective Geometry Trento Lecture Notes in Math., 1389, 76–86 , 1988. 5

work page 1988
[8]

Grundmeier, and J

D. Grundmeier, and J. Halfpap Kacmarcik, An application of Macaulay’s estimate to sums of squares problems in several complex variables. Proc. Amer. Math. Soc., 143, 1411–1422, 2015. 2, 8

work page 2015
[9]

Halfpap and J

J. Halfpap and J. Lebl, Signature pairs of positive polynomials. Bull. Inst. Math. Acad. Sin., 8, 169-192, 2013. 2, 13

work page 2013
[10]

Huang, S

X. Huang, S. Ji and W. Yin, Recent progress on two problems in several complex variables, Proc. Int. Congress Chi. Math. I (2007):563–75. 2

work page 2007
[11]

F. S. Macaulay, Some properties of enumeration in the theory of modular systems. Proc. Lond. Math. Soc. 26, 531–555 , 1927. 5

work page 1927
[12]

Quillen, On the representation of hermitian forms as sums of squares

D. Quillen, On the representation of hermitian forms as sums of squares. Invent. Math., 5:237-242, 1968. 2 ZhiweiWang: Laboratory ofMathematics andComplexSystems(Ministry ofEducation), School ofMathemati- calSciences, BeijingNormalUniversity, Beijing100875, P. R. China Email address:zhiwei@bnu.edu.cn ChenlongYue: School ofMathematicalSciences, BeijingNorm...

work page 1968

[1] [1]

Brooks and D

J. Brooks and D. Grundmeier. Sum of squares conjecture: the monomial case inC 3. Math. Z. 299, 919–40, 2021. 2, 15

work page 2021

[2] [2]

D’Angelo, Inequalities from complex analysis

J. D’Angelo, Inequalities from complex analysis. Carus Mathematical Monographs, 28, 2002. 2

work page 2002

[3] [3]

Ebenfelt, On the HJY Gap Conjecture in CR Geometry vs

P. Ebenfelt, On the HJY Gap Conjecture in CR Geometry vs. the SOS Conjecture for Polynomials. In Analysis and Geometry in Several Complex Variables, 681, 125–35. Providence, RI: American Mathematical Society,

work page

[4] [4]

Huang, On a linearity problem for proper holomorphic maps between balls in complex spaces of different dimensions

X. Huang, On a linearity problem for proper holomorphic maps between balls in complex spaces of different dimensions. J. Differential Geom., 51, 13–33, 1999. 2, 13

work page 1999

[5] [5]

Gao and S

Y . Gao and S. Ng, On the rank of Hermitian polynomials and the SOS conjecture, International Mathematics Research Notices. IMRN, 13, 11276–11290, 2023. 2, 3, 9

work page 2023

[6] [6]

Gao and S

Y . Gao and S. Ng, A hyperplane restriction theorem for holomorphic mappings and its application for the gap conjecture. Math. Ann. 388 (2024), no. 3, 3169–3182. 2

work page 2024

[7] [7]

Green, Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann

M. Green, Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann. Algebraic Curves and Projective Geometry Trento Lecture Notes in Math., 1389, 76–86 , 1988. 5

work page 1988

[8] [8]

Grundmeier, and J

D. Grundmeier, and J. Halfpap Kacmarcik, An application of Macaulay’s estimate to sums of squares problems in several complex variables. Proc. Amer. Math. Soc., 143, 1411–1422, 2015. 2, 8

work page 2015

[9] [9]

Halfpap and J

J. Halfpap and J. Lebl, Signature pairs of positive polynomials. Bull. Inst. Math. Acad. Sin., 8, 169-192, 2013. 2, 13

work page 2013

[10] [10]

Huang, S

X. Huang, S. Ji and W. Yin, Recent progress on two problems in several complex variables, Proc. Int. Congress Chi. Math. I (2007):563–75. 2

work page 2007

[11] [11]

F. S. Macaulay, Some properties of enumeration in the theory of modular systems. Proc. Lond. Math. Soc. 26, 531–555 , 1927. 5

work page 1927

[12] [12]

Quillen, On the representation of hermitian forms as sums of squares

D. Quillen, On the representation of hermitian forms as sums of squares. Invent. Math., 5:237-242, 1968. 2 ZhiweiWang: Laboratory ofMathematics andComplexSystems(Ministry ofEducation), School ofMathemati- calSciences, BeijingNormalUniversity, Beijing100875, P. R. China Email address:zhiwei@bnu.edu.cn ChenlongYue: School ofMathematicalSciences, BeijingNorm...

work page 1968