Finite sum of squares, finite realization and noncommutative Carathéodory approximation

Tirthankar Bhattacharyya, James Eldred Pascoe, Chandan Pradhan

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 i…