Operator realizations of non-commutative analytic functions

Augat, Méric L.  ; Martin, Robert T. W.  ; Shamovich, Eli 

Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e137

Résumé

A realization is a triple, $(A,b,c)$, consisting of a $d-$tuple, $A= (A_1, \cdots , A_d )$, $d\in \mathbb {N}$, of bounded linear operators on a separable, complex Hilbert space, $\mathcal {H}$, and vectors $b,c \in \mathcal {H}$. Any such realization defines an analytic non-commutative (NC) function in an open neighbourhood of the origin, $0:= (0, \cdots , 0)$, of the NC universe of $d-$tuples of square matrices of any fixed size. For example, a univariate realization, i.e., where A is a single bounded linear operator, defines a holomorphic function of a single complex variable, z, in an open neighbourhood of the origin via the realization formula $b^{*} (I-zA)^{-1} c$.It is well known that an NC function has a finite-dimensional realization if and only if it is a non-commutative rational function that is defined at $0$. Such finite realizations contain valuable information about the NC rational functions they generate. By extending to infinite-dimensional realizations, we construct, study and characterize more general classes of analytic NC functions. In particular, we show that an NC function is (uniformly) entire if and only if it has a jointly compact and quasinilpotent realization. Restricting our results to one variable shows that a formal Taylor series extends globally to an entire or meromorphic function in the complex plane, $\mathbb {C}$, if and only if it has a realization whose component operator is compact and quasinilpotent, or compact, respectively. This motivates our definition of the field of global (uniformly) meromorphic NC functions as the field of fractions generated by NC rational expressions in the ring of NC functions with jointly compact realizations. This definition recovers the field of meromorphic functions in $\mathbb {C}$ when restricted to one variable.

Détail

DOI : 10.1017/fms.2025.10038

Bibliographie

[1] Agler, J., Mccarthy, J. E. and Young, N. J., Operator Analysis: Hilbert Space Methods in Complex Analysis, vol. 219 (Cambridge, Cambridge University Press, 2020).10.1017/9781108751292 Google Scholar | DOI

[2] Akhiezer, N. I. and Glazman, I. M., Theory of Linear Operators in Hilbert Space (Dover Publications, New York, 1993). Google Scholar

[3] Amitsur, S. A., ‘Rational identities and applications to algebra and geometry’, J. Algebra 3 (1966), 304–359.10.1016/0021-8693(66)90004-4 Google Scholar | DOI

[4] W. B. Arveson, ‘Subalgebras of algebras III: Multivariable operator theory’, Acta Math. (1998), 159–228.10.1007/BF02392585 Google Scholar | DOI

[5] Augat, M. L., The free Grothendieck theorem’, Proc. Lond. Math. Soc. 118 (2019), 787–825.10.1112/plms.12200 Google Scholar | DOI

[6] Augat, M. L., Helton, J. W., Klep, I. and Mccullough, S. A., ‘Bianalytic maps between free spectrahedra’, Math. Ann. 371 (2018), 883–959.10.1007/s00208-017-1630-3 Google Scholar | DOI

[7] Balakrishnan, A. V., ‘On the state space theory of linear systems’, J. Math. Anal. Appl. 14 (1966), 371–391.10.1016/0022-247X(66)90001-1 Google Scholar | DOI

[8] Ball, J. A., Bolotnikov, V. and Fang, Q., ‘Schur-class multipliers on the Fock space: de Branges–Rovnyak reproducing kernel spaces and transfer–function realizations’, in Operator Theory, Structured Matrices, and Dilations: Tiberiu Constantinescu Memorial Volume (Eds. M. Bakonyi, A. Gheondea, M. Putinar, and J. Rovnyak), Theta Ser. Adv. Math. 7, (Theta, Bucharest, 2007), pp. 85–114. Google Scholar

[9] Ball, J. A., Bolotnikov, V. and Fang, Q., ‘Schur-class multipliers on the Arveson space: de Branges–Rovnyak reproducing kernel spaces and commutative transfer–function realizations’, J. Math. Anal. Appl. 341 (2008), 519–539.10.1016/j.jmaa.2007.10.033 Google Scholar | DOI

[10] Ball, J. A. and Cohen, N., ‘De Branges–Rovnyak operator models and systems theory: A survey’, in Topics in Matrix and Operator Theory: Workshop on Matrix and Operator Theory Rotterdam (The Netherlands) , June 26–29, 1989 (Basel: Birkhäuser Basel, Basel, Switzerland, 1991), 93–136.10.1007/978-3-0348-5672-0_5 Google Scholar | DOI

[11] Ball, J. A., Groenewald, G. and Malakorn, T., ‘Structured noncommutative multidimensional linear systems’, SIAM J. Control Optim. 44 (2005), 1474–1528.10.1137/S0363012904443750 Google Scholar | DOI

[12] Bart, H., Gohberg, I. and Kaashoek, M. A., Minimal Factorization of Matrix and Operator Functions (Birkhäuser Basel, 1979).10.1007/978-3-0348-6293-6 Google Scholar | DOI

[13] Berstel, J. and Reutenauer, C., Noncommutative Rational Series with Applications (Encyclopedia of Mathematics and Its Applications) vol. 137 (Cambridge University Press, Cambridge, 2011). Google Scholar

[14] Chen, C. T., Introduction to Linear System Theory (Holt, 1970). Google Scholar

[15] Cohn, P. M., Free Ideal Rings and Localization in General Rings, vol. 3 (Cambridge, Cambridge University Press, 2006).10.1017/CBO9780511542794 Google Scholar | DOI

[16] Cohn, P. M., Skew Fields, Theory of General Division Rings (Encyclopedia of Mathematics and Its Applications) vol. 57 (Cambridge, Cambridge University Press, 2006). Google Scholar

[17] Conway, J. B., A Course in Functional Analysis (Springer, 2019). Google Scholar

[18] Davidson, K. R., ‘Domingo Herrero: His theorems and problems’, Houston J. Math. 17 (1991), 453–470. Google Scholar

[19] De Branges, L. and Rovnyak, J., ‘Canonical models in quantum scattering theory’, In Perturbation Theory and its Applications in Quantum Mechanics (Wiley, New York, 1966), 347–392. Google Scholar

[20] De Branges, L. and Rovnyak, J., Square Summable Power Series (Holt, Rinehart and Winston, 1966). Google Scholar

[21] Douglas, R. G., Shapiro, H. S. and Shields, A. L., ‘Cyclic vectors and invariant subspaces for the backward shift operator’, Ann. Inst. Fourier (Grenoble) 20 (1970), 37–76.10.5802/aif.338 Google Scholar | DOI

[22] Fliess, M., ‘Sur le plongement de l’algèbre des séries rationnelles non commutatives dans un corps gauche’, C. R. Academy of Science Paris, Series A 271 (1970), 926–927. Google Scholar

[23] Fliess, M., ‘Matrices de Hankel’, J. Math. Pures Appl. 53 (1974), 197–222. Google Scholar

[24] Fliess, M., ‘Sur divers produits de séries formelles’, Bull. Soc. Math. France 102 (1974), 181–191.10.24033/bsmf.1777 Google Scholar | DOI

[25] Gohberg, I. and Krein, M. G., Theory and Applications of Volterra Operators in Hilbert Space, vol. 24 (American Mathematical Society, 1970). Google Scholar

[26] Haagerup, U. V., Schultz, H. and Thorbjørnsen, S., ‘A random matrix approach to the lack of projections in ’, Adv. Math. 204 (2006), 1–83.10.1016/j.aim.2005.05.008 Google Scholar | DOI

[27] Haagerup, U. V. and Thorbjørnsen, S., ‘A new application of random matrices: is not a group’, Ann. of Math. 162 (2005), 711–775.10.4007/annals.2005.162.711 Google Scholar | DOI

[28] Hadamard, J., ‘Étude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann’, J. Math. Pures Appl. 9 (1893), 171–215. Google Scholar

[29] Helton, J. W., ‘Discrete time systems, operator models, and scattering theory’, J. Funct. Anal. 16 (1974), 15–38.10.1016/0022-1236(74)90069-X Google Scholar | DOI

[30] Helton, J. W., Klep, I. and Volčič, J., ‘Geometry of free loci and factorization of noncommutative polynomials’, Adv. Math. 331 (2018), 589–626.10.1016/j.aim.2018.04.007 Google Scholar | DOI

[31] Helton, J. W., Mai, T. and Speicher, R., ‘Applications of realizations (aka linearizations) to free probability’, J. Funct. Anal. 274 (2018), 1–79.10.1016/j.jfa.2017.10.003 Google Scholar | DOI

[32] Jury, M. T., Martin, R. T. W. and Shamovich, E., ‘Blaschke–singular–outer factorization of free non-commutative functions’, Adv. in Math. 384 (2021), 107720.10.1016/j.aim.2021.107720 Google Scholar | DOI

[33] Jury, M. T., Martin, R. T. W. and Shamovich, E., ‘Non-commutative rational functions in the full Fock space’, Trans. Amer. Math. Soc. 374 (2021), 6727–6749.10.1090/tran/8418 Google Scholar | DOI

[34] Kaliuzhnyi-Verbovetskyi, D. S. and Vinnikov, V., ‘Noncommutative rational functions, their difference-differential calculus and realizations’, Multidimensional Systems and Signal Processing 23 (2012), 49–77.10.1007/s11045-010-0122-3 Google Scholar | DOI

[35] Kaliuzhnyi-Verbovetskyi, D. S. and Vinnikov, V., Foundations of Free Noncommutative Function Theory, vol. 199 (American Mathematical Society, 2014). Google Scholar

[36] Kalman, R. E., Falb, P. L. and Arbib, M. A., Topics in Mathematical System Theory (McGraw Hill, 1969). Google Scholar

[37] Kleene, S. C., ‘Representation of events in nerve nets and finite automata’, in Automata Studies (Ann. of Math. Stud.) vol. 34 (Princeton Univ. Press, Princeton, NJ, 1956), 3–41. Google Scholar

[38] Klep, I. and Špenko, Š., ‘Free function theory through matrix invariants’, Canad. J. Math. 69 (2017), 408–433.10.4153/CJM-2015-055-7 Google Scholar | DOI

[39] Klep, I., Vinnikov, V., and Volčič, J., ‘Local theory of free noncommutative functions: Germs, meromorphic functions, and Hermite interpolation’, Trans. Amer. Math. Soc. 373 (2020), 5587–5625.10.1090/tran/8076 Google Scholar | DOI

[40] Klep, I. and Volčič, J., ‘Free loci of matrix pencils and domains of noncommutative rational functions’, Comment. Math. Helv. 92 (2017), 105–130.10.4171/cmh/408 Google Scholar | DOI

[41] Kronecker, L., Zur Theorie der Elimination einer Variablen aus zwei Algebraische Gleichungen (Königliche Akad. der Wissenschaften, Berlin, 1881). Google Scholar

[42] Pascoe, J. E., ‘The inverse function theorem and the Jacobian conjecture for free analysis’, Math. Z. 278 (2014), 987–994.10.1007/s00209-014-1342-2 Google Scholar | DOI

[43] Pascoe, J. E., ‘An entire free holomorphic function which is unbounded on the row ball’, J. Operator Theory 84 (2020), 365–367.10.7900/jot.2019jun05.2242 Google Scholar | DOI

[44] Popescu, G. F., ‘Free holomorphic functions on the unit ball of ’, J. Funct. Anal. 241 (2006), 268–333.10.1016/j.jfa.2006.07.004 Google Scholar | DOI

[45] Popescu, G. F., ‘Similarity problems in noncommutative polydomains’, J. Funct. Anal. 267 (2014), 4446–4498.10.1016/j.jfa.2014.09.023 Google Scholar | DOI

[46] Porat, M. and Vinnikov, V., ‘Realizations of non-commutative rational functions around a matrix centre, I: Synthesis, minimal realizations and evaluation on stably finite algebras’, J. Lond. Math. Soc. 104 (2021), 1250–1299.10.1112/jlms.12459 Google Scholar | DOI

[47] Porat, M. and Vinnikov, V., ‘Realizations of non-commutative rational functions around a matrix centre, II: The lost-abbey conditions’, Integral Equations and Operator Theory 95 (2023), 1–58.10.1007/s00020-022-02718-z Google Scholar | DOI

[48] Reed, M. and Simon, B., Methods of Modern Mathematical Physics (Functional Analysis) vol. 1 (Academic Press, San Diego, CA, 1980). Google Scholar

[49] Rosenbrock, H. H., ‘Structural 20 properties of linear dynamical systems’, Internat. J. Control (1974), 191–202.10.1080/00207177408932729 Google Scholar | DOI

[50] Salomon, G., Shalit, O. M., and Shamovich, E., ‘Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball’, Trans. Amer. Math. Soc. 370 (2018), 8639–8690.10.1090/tran/7308 Google Scholar | DOI

[51] Salomon, G., Shalit, O. M. and Shamovich, E., ‘Algebras of noncommutative functions on subvarieties of the noncommutative ball: The bounded and completely bounded isomorphism problem’, J. Funct. Anal. 278 (2020), 108427, 2020.10.1016/j.jfa.2019.108427 Google Scholar | DOI

[52] Sarason, D., ‘Generalized interpolation in ’, Trans. Amer. Math. Soc. 127 (1967), 179–203. Google Scholar

[53] Schützenberger, M. P., ‘On the definition of a family of automata’, Information and Control 4 (1961), 245–270.10.1016/S0019-9958(61)80020-X Google Scholar | DOI

[54] Simon, B., ‘Notes on infinite determinants of Hilbert space operators’, Adv. Math. 24 (1977), 244–273.10.1016/S0001-8708(77)80044-3 Google Scholar | DOI

[55] Stein, E. M. and Shakarchi, R., Complex Analysis, vol. 2 (Princeton University Press, Princeton, NJ, 2010). Google Scholar

[56] Stessin, M., Yang, R. and Zhu, K., ‘Analyticity of a joint spectrum and a multivariable analytic Fredholm theorem’, New York J. Math. 17 (2011), 39–44. Google Scholar

[57] Sz.-Nagy, B. and Foiaş, C. Harmonic Analysis of Operators on Hilbert Space (Elsevier, New York, 1970). Google Scholar

[58] Taylor, J. L., ‘A general framework for a multi-operator functional calculus’, Adv. Math. 9 (1972), 183–252.10.1016/0001-8708(72)90017-5 Google Scholar | DOI

[59] Taylor, J. L., ‘Functions of several noncommuting variables’, Bull. Amer. Math. Soc. 79 (1973), 1–34.10.1090/S0002-9904-1973-13077-0 Google Scholar | DOI

[60] Voiculescu, D.-V., ‘Free analysis questions I: Duality transform for the coalgebra of ’, Int. Math. Res. Not. 16 (2004), 793–822.10.1155/S1073792804132443 Google Scholar | DOI

[61] Voiculescu, D.-V., ‘Free analysis questions II: The Grassmannian completion and the series expansions at the origin’, J. Reine Angew. Math. 2010 (2010), 155–236.10.1515/crelle.2010.063 Google Scholar | DOI

[62] Weyl, H., ‘Inequalities between the two kinds of eigenvalues of a linear transformation’, Proc. Natl. Acad. Sci. 35 (1949), 408–411.10.1073/pnas.35.7.408 Google Scholar PubMed | DOI

[63] Wimmer, H. K., ‘The structure of nonsingular polynomial matrices’, Mathematical Systems Theory 14 (1981), 367–379, 1981.10.1007/BF01752407 Google Scholar | DOI

[64] Woodbury, M. A., Inverting Modified Matrices (Department of Statistics, Princeton University, 1950). Google Scholar

[65] Yang, R., ‘Projective spectrum in Banach algebras’, J. Topol. Anal. 1 (2009), 289–306.10.1142/S1793525309000126 Google Scholar | DOI