Dice Question Streamline Icon: https://streamlinehq.com

Agler class membership of symmetric multiaffine stable rational inner functions

Determine whether, for any symmetric multiaffine polynomial p(z_1, …, z_d) with no zeros in D^d, the associated rational inner function φ(z) = \tilde{p}(z)/p(z) necessarily belongs to the Schur–Agler class.

Information Square Streamline Icon: https://streamlinehq.com

Background

The Schur–Agler class consists of bounded analytic functions on Dd that satisfy the operator inequality |f(T)| ≤ 1 for all commuting strictly contractive d-tuples T. In dimensions d ≥ 3, not all bounded analytic functions (nor all rational inner functions) satisfy this inequality, due to known counterexamples to von Neumann/Andô-type inequalities.

The paper provides sufficient, checkable conditions in prior work for certain symmetric multiaffine polynomials p with no zeros in Dd to yield φ = \tilde{p}/p in the Schur–Agler class. However, it remains unknown whether symmetry and multiaffinity alone guarantee φ ∈ Schur–Agler, which would strengthen classical results such as the Grace–Walsh–Szegő theorem.

References

The following is not known as far as we know. Problem Suppose $p(z_1,\dots, z_d)$ has no zeros in $Dd$, is multiaffine and symmetric. Does $\phi = \tilde{p}/p$ automatically belong to the Agler class?

Rational inner functions on the polydisk -- a survey (2409.14604 - Knese, 22 Sep 2024) in Problem (unnumbered), Section Higher dimensions