{"id":"arxiv/2606.06382","url":"https://arxiv.org/abs/2606.06382","tags":["math.FA"],"score":0,"title":"Finite sum of squares, finite realization and noncommutative Carathéodory approximation","domain":"math.FA","source":"arxiv","authors":["Tirthankar Bhattacharyya","James Eldred Pascoe","Chandan Pradhan"],"reviews":0,"subject":"math.FA","summary":"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éodory's classical theorem - approximating holomorphic self-maps of the unit disc by finite Blaschke products - to the setting of holomorphic functions on the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-04","reactions":{}}