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

Donoghue-type extension for Schur multipliers over the unit spectral ball when p>1

Determine whether the following extension principle holds for matrix-size p>1: if a function S defined on a subset Ω of the unit spectral ball K = {Z ∈ C^{p×p} : ρ(Z) < 1} satisfies positivity of the Schur kernel K_S(A,B) = ∑_{n=0}^∞ A^n (I_p − S(A)S(B)^*) B^{* n} for all A,B ∈ Ω, then S is the restriction to Ω of a uniquely determined function on K of the form S(Z) = ∑_{n=0}^∞ Z^n S_n that is analytic in the sense of the paper and induces a contractive left ⋆-multiplication operator on H^2(K) (i.e., a Schur multiplier).

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

Background

Section 5 develops the notion of Schur multipliers S(Z) acting on the Hardy space H2(K) over the unit spectral ball K via left ⋆-multiplication. The positivity of the kernel K_S(A,B) = ∑_{n=0} An (I_p − S(A)S(B)*) B{* n} on K characterizes such multipliers and implies that the associated operator is contractive.

In the classical scalar case (p=1), Donoghue’s analytic continuation theorem ensures that if the kernel is positive on any subset of the unit disk with an accumulation point, then the function extends uniquely to an analytic contractive function on the disk. The authors state that they do not know whether an analogous extension principle holds in the present noncommutative, matrix-variable setting when p>1.

References

When p = 1 a much stronger result holds (see [39]): if (for p = 1), S is supposed defined on an open set, say Ω, of D (or more generally a subset of D having an accumulation point in D) and if the corresponding kernel (5.3) is positive in Ω, then S is the restriction to Ω of a uniquely defined function S analytic and contractive in the open unit disk. We do not know if there is a counterpart of the result for p > 1.

Schur analysis over the unit spectral ball (2402.10718 - Alpay et al., 16 Feb 2024) in Remark 5.5, Section 5.1