REVIEW
Finite sum of squares, finite realization and noncommutative Carath\'eodory approximation
Functional Analysis · Submitted 4 Jun 2026 · 27 references
Pith's verdict: They prove a finite SOS decomposition for non-negative hereditary rational nc-functions on the polydisc, get a contractive finite realization from it, and use both to extend Carathéodory approximation to the nc setting where the commutative version stops at the bidisc.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Hereditary rational nc-functions on the noncommutative polydisc admit finite positive sum of squares decompositions.
The reading
What carries the argument
The finite positive sum of squares formula for non-negative hereditary rational nc-functions, which directly yields the realization and approximation results.
Extended reading notes
Core claim
Every non-negative hereditary rational nc-function on the noncommutative polydisc is a finite sum of squares of nc-rational functions. This implies a finite-dimensional realization formula for contractive nc-rational functions with contractive colligation matrix, which is unitary if and only if the function is inner. The results generalize Carathéodory's theorem by allowing approximation of holomorphic self-maps on the noncommutative polydisc by finite Blaschke products.
Load-bearing premise
The functions are hereditary rational nc-functions on the noncommutative polydisc, using the standard definitions of positivity, contractivity, and heredity.
Editorial extensions
If this is right
- Contractive nc-rational functions have finite-dimensional realizations with contractive colligations.
- The colligation is unitary precisely when the function is inner.
- Holomorphic self-maps of the nc polydisc can be approximated by finite Blaschke products.
- This approximation is possible in the nc polydisc, unlike the commutative polydisc where it is restricted.
Reading between the lines
- The noncommutative structure appears to remove the dimensional limitations that constrain the commutative version of the theorem.
- Similar finite sum of squares results might hold for other classes of nc functions beyond the rational hereditary ones.
Original abstract
In the noncommutative polydisc, we first prove a positive sum of squares formula for a non-negative hereditary rational nc-function. The number of summands is finite. This result is used to derive a finite-dimensional realization formula for contractive nc-rational functions, where the colligation matrix is contractive. It is unitary if and only if the function is inner. Finally, we apply these results to generalize Carath\'eodory's classical theorem - approximating holomorphic self-maps of the unit disc by finite Blaschke products - to the setting of holomorphic functions on the noncommutative polydisc. This is in sharp contrast with the commutative situation where Carath\'eodory's approximation is known for Schur classes only in the unit disc and the unit bidisc.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
In the noncommutative polydisc, we first prove a positive sum of squares formula for a non-negative hereditary rational nc-function. The number of summands is finite. This result is used to derive a finite-dimensional realization formula for contractive nc-rational functions, where the colligation matrix is contractive. It is unitary if and only if the function is inner. Finally, we apply these results to generalize Carath\'eodory's classical theorem - approximating holomorphic self-maps of the unit disc by finite Blaschke products - to the setting of holomorphic functions on the noncommutative polydisc. This is in sharp contrast with the commutative situation where Carath\'eodory's approximation is known for Schur classes only in the unit disc and the unit bidisc.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | In the noncommutative polydisc, we first prove a positive sum of squares formula for a non-negative hereditary rational nc-function. | result 0.65 | 0.94 | 0.26 | asserted 1.00 |
| s1 | The number of summands is finite. | result 0.99 | 0.84 | 0.07 | asserted 1.00 |
| s2 | This result is used to derive a finite-dimensional realization formula for contractive nc-rational functions, where the colligation matrix is contractive. | result 0.65 | 0.94 | 0.20 | asserted 1.00 |
| s3 | It is unitary if and only if the function is inner. | result 0.98 | 0.79 | 0.07 | asserted 1.00 |
| s4 | Finally, we apply these results to generalize Carath\'eodory's classical theorem - approximating holomorphic self-maps of the unit disc by finite Blaschke products - to the setting of holomorphic functions on the noncommutative polydisc. | contribution 0.83 | 0.94 | 0.42 | asserted 1.00 |
| s5 | This is in sharp contrast with the commutative situation where Carath\'eodory's approximation is known for Schur classes only in the unit disc and the unit bidisc. | interpretation 0.75 | 0.15 | 0.10 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.