Michael Hartz

A note on $Γ$ -convergence of Tikhonov functionals for nonlinear inverse problems

We consider variational regularization of nonlinear inverse problems in Banach spaces using Tikhonov functionals. This article addresses the problem of $Γ$ -convergence of a family of Tikhonov functionals and assertions of the convergence of their respective infima. Such questions arise, if model uncertainties, inaccurate forward operators, finite dimensional approximations of the forward solutions and / or data, etc. make the evaluation of the original functional impossible and, thus, its minimizer not computable. But for applications it is of utmost importance that the minimizer of the replacement functional approximates the original minimizer. Under certain additional conditions this is satisfied if the approximated functionals converge to the original functional in the sense of $Γ$ -convergence. We deduce simple criteria in different topologies which guarantee $Γ$ -convergence as well as convergence of minimizing sequences.

An invitation to the Drury-Arveson space

This is an extended version of a three part mini course on the Drury-Arveson space given as part of the Focus Program on Analytic Function Spaces and their Applications, hosted by the Fields Institute and held remotely. The Drury-Arveson space, also known as symmetric Fock space, is a natural generalization of the classical Hardy space on the unit disc to the unit ball in higher dimensions. It plays a universal role both in operator theory and in function theory. These notes give an introduction to the Drury-Arveson space. They are not intended to give a comprehensive overview of the entire subject, but rather aim to explain some of the contexts in which the Drury-Arveson space makes an appearance and to showcase the different approaches to this space.

Embedding dimension of the Dirichlet space

The classical Dirichlet space is a complete Pick space, hence by a theorem of Agler and McCarthy, there exists an embedding $b$ of the unit disc into a $d$ -dimensional ball such that composition with $b$ realizes the Dirichlet space as a quotient of the Drury-Arveson space. We show that $d =\infty$ is necessary, even if we only demand that composition with $b$ induces a surjective map between the multiplier algebras.

Free outer functions in complete Pick spaces

Jury and Martin establish an analogue of the classical inner-outer factorization of Hardy space functions. They show that every function $f$ in a Hilbert function space with a normalized complete Pick reproducing kernel has a factorization of the type $f=φg$ , where $g$ is cyclic, $φ$ is a contractive multiplier, and $\|f\|=\|g\|$ . In this paper we show that if the cyclic factor is assumed to be what we call free outer, then the factors are essentially unique, and we give a characterization of the factors that is intrinsic to the space. That lets us compute examples. We also provide several applications of this factorization.

Interpolation and duality in algebras of multipliers on the ball

We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$ . Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of $A(\mathcal H)$ in terms of the complementary bands of Henkin and totally singular measures for $\operatorname{Mult}(\mathcal{H})$ . This is applied to obtain several definitive results in interpolation. In particular, we establish a sharp peak interpolation result for compact $\operatorname{Mult}(\mathcal{H})$ -totally null sets as well as a Pick and peak interpolation theorem. Conversely, we show that a mere interpolation set is $\operatorname{Mult}(\mathcal{H})$ -totally null.

Jörg Eschmeier's mathematical work

An outline of Jörg Eschmeier's main mathematical contributions is organized both on a historical perspective, as well as on a few distinct topics. The reader can grasp from our essay the dynamics of spectral theory of commutative tuples of linear operators during the last half century. Some clear directions of future research are also underlined.

Multiplier tests and subhomogeneity of multiplier algebras

Multipliers of reproducing kernel Hilbert spaces can be characterized in terms of positivity of $n \times n$ matrices analogous to the classical Pick matrix. We study for which reproducing kernel Hilbert spaces it suffices to consider matrices of bounded size $n$ . We connect this problem to the notion of subhomogeneity of non-selfadjoint operator algebras. Our main results show that multiplier algebras of many Hilbert spaces of analytic functions, such as the Dirichlet space and the Drury-Arveson space, are not subhomogeneous, and hence one has to test Pick matrices of arbitrarily large matrix size $n$ . To treat the Drury-Arveson space, we show that multiplier algebras of certain weighted Dirichlet spaces on the disc embed completely isometrically into the multiplier algebra of the Drury-Arveson space.

Multipliers and operator space structure of weak product spaces

In the theory of reproducing kernel Hilbert spaces, weak product spaces generalize the notion of the Hardy space $H^1$ . For complete Nevanlinna-Pick spaces $\mathcal H$ , we characterize all multipliers of the weak product space $\mathcal H \odot \mathcal H$ . In particular, we show that if $\mathcal H$ has the so-called column-row property, then the multipliers of $\mathcal H$ and of $\mathcal H \odot \mathcal H$ coincide. This result applies in particular to the classical Dirichlet space and to the Drury-Arveson space on a finite dimensional ball. As a key device, we exhibit a natural operator space structure on $\mathcal H \odot \mathcal H$ , which enables the use of dilations of completely bounded maps.

An $H^p$ scale for complete Pick spaces

We define by interpolation a scale analogous to the Hardy $H^p$ scale for complete Pick spaces, and establish some of the basic properties of the resulting spaces, which we call $\mathcal{H}^p$ . In particular, we obtain an $\mathcal{H}^p-\mathcal{H}^q$ duality and establish sharp pointwise estimates for functions in $\mathcal{H}^p$ .

Dilation theory in finite dimensions and matrix convexity

We establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems from their classical infinite-dimensional counterparts. In addition to providing unified proofs of known finite-dimensional dilation theorems, we establish finite-dimensional versions of Agler's theorem on rational dilation on an annulus, of Berger's dilation theorem for operators of numerical radius at most $1$ , and of the Putinar-Sandberg numerical range dilation theorem. As a key tool, we prove versions of Carathéodory's and of Minkowski's theorem for matrix convex sets.

Every complete Pick space satisfies the column-row property

In the theory of complete Pick spaces, the column-row property has appeared in a variety of contexts. We show that it is satisfied by every complete Pick space in the following strong form: each sequence of multipliers that induces a contractive column multiplication operator also induces a contractive row multiplication operator. In combination with known results, this yields a number of consequences. Firstly, we obtain multiple applications to the theory of weak product spaces, including factorization, multipliers and invariant subspaces. Secondly, there is a short proof of the characterization of interpolating sequences in terms of separation and Carleson measure conditions, independent of the solution of the Kadison-Singer problem. Thirdly, we find that in the theory of de Branges-Rovnyak spaces on the ball, the column-extreme multipliers of Jury and Martin are precisely the extreme points of the unit ball of the multiplier algebra.

Interpolating sequences in spaces with the complete Pick property

We characterize interpolating sequences for multiplier algebras of spaces with the complete Pick property. Specifically, we show that a sequence is interpolating if and only if it is separated and generates a Carleson measure. This generalizes results of Carleson for the Hardy space and of Bishop, Marshall and Sundberg for the Dirichlet space. Furthermore, we investigate interpolating sequences for pairs of Hilbert function spaces.

Weak products of complete Pick spaces

Let $\mathcal H$ be the Drury-Arveson or Dirichlet space of the unit ball of $\mathbb C^d$ . The weak product $\mathcal H\odot\mathcal H$ of $\mathcal H$ is the collection of all functions $h$ that can be written as $h=\sum_{n=1}^\infty f_n g_n$ , where $\sum_{n=1}^\infty \|f_n\|\|g_n\|<\infty$ . We show that $\mathcal H\odot\mathcal H$ is contained in the Smirnov class of $\mathcal H$ , i.e. every function in $\mathcal H\odot\mathcal H$ is a quotient of two multipliers of $\mathcal H$ , where the function in the denominator can be chosen to be cyclic in $\mathcal H$ . As a consequence we show that the map $\mathcal N \to clos_{\mathcal H\odot\mathcal H} \mathcal N$ establishes a 1-1 and onto correspondence between the multiplier invariant subspaces of $\mathcal H$ and of $\mathcal H\odot\mathcal H$ . The results hold for many weighted Besov spaces $\mathcal H$ in the unit ball of $\mathbb C^d$ provided the reproducing kernel has the complete Pick property. One of our main technical lemmas states that for weighted Besov spaces $\mathcal H$ that satisfy what we call the multiplier inclusion condition any bounded column multiplication operator $\mathcal H \to \oplus_{n=1}^\infty \mathcal H$ induces a bounded row multiplication operator $\oplus_{n=1}^\infty \mathcal H \to \mathcal H$ . For the Drury-Arveson space $H^2_d$ this leads to an alternate proof of the characterization of interpolating sequences in terms of weak separation and Carleson measure conditions.

preprint2019arXiv

A Beurling-Lax-Halmos theorem for spaces with a complete Nevanlinna-Pick factor

We provide a short argument to establish a Beurling-Lax-Halmos theorem for reproducing kernel Hilbert spaces whose kernel has a complete Nevanlinna-Pick factor. We also record factorization results for pairs of nested invariant subspaces.

preprint2018arXiv

A multiplier algebra functional calculus

This paper generalizes the classical Sz.-Nagy--Foias $H^{\infty}(\mathbb{D})$ functional calculus for Hilbert space contractions. In particular, we replace the single contraction $T$ with a tuple $T=(T_1, \dots, T_d)$ of commuting bounded operators on a Hilbert space and replace $H^{\infty}(\mathbb{D})$ with a large class of multiplier algebras of Hilbert function spaces on the unit ball in $\mathbb C^d$ .

preprint2018arXiv

Ideal membership in $H^\infty$ : Toeplitz corona approach

We study the ideal membership problem in $H^\infty$ on the unit disc. Thus, given functions $f,f_1,\ldots,f_n$ in $H^\infty$ , we seek sufficient conditions on the size of $f$ in order for $f$ to belong to the ideal of $H^\infty$ generated by $f_1,\ldots,f_n$ . We provide a different proof of a theorem of Treil, which gives the sharpest known sufficient condition. To this end, we solve a closely related problem in the Hilbert space $H^2$ , which is equivalent to the ideal membership problem by the Nevanlinna-Pick property of $H^2$ .

preprint2018arXiv

Radially weighted Besov spaces and the Pick property

For $s\in \mathbb R$ the weighted Besov space on the unit ball $\mathbb B_d$ of $\mathbb C^d$ is defined by $B^s_ω=\{f\in \operatorname{Hol}(\mathbb B_d): \int_{\mathbb B_d}|R^sf|^2 ωdV<\infty\}.$ Here $R^s$ is a power of the radial derivative operator $R= \sum_{i=1}^d z_i\frac{\partial}{\partial z_i}$ , $V$ denotes Lebesgue measure, and $ω$ is a radial weight function not supported on any ball of radius $< 1$ . Our results imply that for all such weights $ω$ and $ν$ , every bounded column multiplication operator $B^s_ω\to B^t_ν\otimes \ell^2$ induces a bounded row multiplier $B^s_ω\otimes \ell^2 \to B^t_ν$ . Furthermore we show that if a weight $ω$ satisfies that for some $α>-1$ the ratio $ω(z)/(1-|z|^2)^α$ is nondecreasing for $t_0<|z|<1$ , then $B^s_ω$ is a complete Pick space, whenever $s\ge (α+d)/2$ .

Boundary representations of operator spaces, and compact rectangular matrix convex sets

We initiate the study of matrix convexity for operator spaces. We define the notion of compact rectangular matrix convex set, and prove the natural analogs of the Krein-Milman and the bipolar theorems in this context. We deduce a canonical correspondence between compact rectangular matrix convex sets and operator spaces. We also introduce the notion of boundary representation for an operator space, and prove the natural analog of Arveson's conjecture: every operator space is completely normed by its boundary representations. This yields a canonical construction of the triple envelope of an operator space.

Henkin measures for the Drury-Arveson space

We exhibit Borel probability measures on the unit sphere in $\mathbb C^d$ for $d \ge 2$ which are Henkin for the multiplier algebra of the Drury-Arveson space, but not Henkin in the classical sense. This provides a negative answer to a conjecture of Clouâtre and Davidson.

Multiplier algebras of complete Nevanlinna-Pick spaces: dilations, boundary representations and hyperrigidity

We study reproducing kernel Hilbert spaces on the unit ball with the complete Nevanlinna-Pick property through the representation theory of their algebras of multipliers. We give a complete description of the representations in terms of the reproducing kernels. While representations always dilate to $*$ -representations of the ambient $C^*$ -algebra, we show that in our setting we automatically obtain coextensions. In fact, we show that in many cases, this phenomenon characterizes the complete Nevanlinna-Pick property. We also deduce operator theoretic dilation results which are in the spirit of work of Agler and several other authors. Moreover, we identify all boundary representations, compute the $C^*$ -envelopes and determine hyperrigidity for certain analogues of the disc algebra. Finally, we extend these results to spaces of functions on homogeneous subvarieties of the ball.

The classification problem for operator algebraic varieties and their multiplier algebras

We study from the perspective of Borel complexity theory the classification problem for multiplier algebras associated with operator algebraic varieties. These algebras are precisely the multiplier algebras of irreducible complete Nevanlinna-Pick spaces. We prove that these algebras are not classifiable up to algebraic isomorphism using countable structures as invariants. In order to prove such a result, we develop the theory of turbulence for Polish groupoids, which generalizes Hjorth's turbulence theory for Polish group actions. We also prove that the classification problem for multiplier algebras associated with varieties in a finite dimensional ball up to isometric isomorphism has maximum complexity among the essentially countable classification problems. In particular, this shows that Blaschke sequences are not smoothly classifiable up to conformal equivalence via automorphisms of the disc.

The Smirnov class for spaces with the complete Pick property

We show that every function in a reproducing kernel Hilbert space with a normalized complete Pick kernel is the quotient of a multiplier and a cyclic multiplier. This extends a theorem of Alpay, Bolotnikov and Kaptanoğlu. We explore various consequences of this result regarding zero sets, spaces on compact sets and Gleason parts. In particular, using a construction of Salas, we exhibit a rotationally invariant complete Pick space of analytic functions on the unit disc for which the corona theorem fails.