John E. McCarthy

A generalization of Hardy's operator and an asymptotic Muntz-Szasz Theorem

The Hardy operator has all the monomial functions as eigenvectors. We study bounded operators on L^2 that take monomial functions to multiples of other monomials, with a shifted exponent. We prove that they all leave the space of functions vanishing on [0,s] invariant. We prove an asymptotic Muntz-Szasz theorem, characterizing the set of functions that are limits of linear combinations of monomials with exponents between n and 2n.

Beurling's theorem for the Hardy operator on $L^2[0,1]$

We prove that the invariant subspaces of the Hardy operator on $L^2[0,1]$ are the spaces that are limits of sequences of finite dimensional spaces spanned by monomial functions.

Complete Norm Preserving Extensions of Holomorphic Functions

We show that for every connected analytic subvariety $V$ there is a pseudoconvex set $Ω$ such that every bounded matrix-valued holomorphic function on $V$ extends isometrically to $Ω$ . We prove that if $V$ is two analytic disks intersecting at one point, if every bounded scalar valued holomorphic function extends isometrically to $Ω$ , then so does every matrix-valued function. In the special case that $Ω$ is the symmetrized bidisk, we show that this cannot be done by finding a linear isometric extension from the functions that vanish at one point.

Conferences -- An Owner's Manual

I share my opinions on how to get the most out of conferences. I have some advice on giving talks, but most of the essay is devoted to the much larger share of the conference not spent giving talks: attending talks and socializing.

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.

Monomial Operators

We study monomial operators on $L^2[0,1]$ , that is bounded linear operators that map each monomial $x^n$ to a multiple of $x^{p_n}$ for some $p_n$ . We show that they are all unitarily equivalent to weighted composition operators on a Hardy space. We characterize what sequences $p_n$ can arise. In the case that $p_n$ is a fixed translation of $n$ , we give a criterion for boundedness of the operator.

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.

The Hardy-Weyl algebra

We study the algebra $\mathcal{A}$ generated by the Hardy operator $H$ and the operator $M_x$ of multiplication by $x$ on $L^2[0,1]$ . We call $\mathcal{A}$ the Hardy-Weyl algebra. We show that its quotient by the compact operators is isomorphic to the algebra of functions that are continuous on $Λ$ and analytic on the interior of $Λ$ for a planar set $Λ$ = $[-1,0] \cup \bar{ \mathbb{D}(1,1)}$ , which we call the lollipop. We find a Toeplitz-like short exact sequence for the $C^*$ -algebra generated by $\mathcal{A}$ . We study the operator $Z = H - M_x$ , show that its point spectrum is $(-1,0] \cup \mathbb{D}(1,1)$ , and that the eigenvalues grow in multiplicity as the points move to $0$ from the left.

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$ .

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.

Long range versus short range aerial transmission of SARS-CoV-2

We compare the quantitative risk of infection from short range airborne transmission of SARS-CoV-2 to the long-range risk from aerosol transmission in an enclosed space.

Symbol functions for symmetric frameworks

We prove a variant of the well-known result that intertwiners for the bilateral shift on ` $\ell^2(Z)$ are unitarily equivalent to multiplication operators on $L^2(T)$ . This enables us to unify and extend fundamental aspects of rigidity theory for bar-joint frameworks with an abelian symmetry group. In particular, we formulate the symbol function for a wide class of frameworks and show how to construct generalised rigid unit modes in a variety of new contexts.

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.

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

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$ .

preprint2017arXiv

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.

Complete Nevanlinna-Pick kernels

We give a new treatment of Quiggin's and McCullough's characterization of complete Nevanlinna-Pick kernels. We show that a kernel has the matrix-valued Nevanlinna-Pick property if and only if it has the vector-valued Nevanlinna-Pick property. We give a representation of all complete Nevanlinna-Pick kernels, and show that they are all restrictions of a universal complete Nevanlinna-Pick kernel.

Interpolating sequences on the bidisk

We give a characterization of interpolating sequences for bounded analytic functions on the bidisk.

Nevanlinna-Pick Kernels and Localization

We describe those reproducing kernel Hilbert spaces of holomorphic functions on domains in ${\Bbb C}^d$ for which an analogue of the Nevanlinna-Pick theorem holds, in other words when the existence of a (possibly matrix-valued) function in the unit ball of the multiplier algebra with specified values on a finite set of points is equivalent to the positvity of a related matrix. Our description is in terms of a certain localization property of the kernel.

The Julia-Caratheodory theorem on the bidisk revisited

The Julia quotient measures the ratio of the distance of a function value from the boundary to the distance from the boundary. The Julia-Carathéodory theorem on the bidisk states that if the Julia quotient is bounded along some sequence of nontangential approach to some point in the torus, the function must have directional derivatives in all directions pointing into the bidisk. The directional derivative, however, need not be a linear function of the direction in that case. In this note, we show that if the Julia quotient is uniformly bounded along every sequence of nontangential approach, the function must have a linear directional derivative. Additionally, we analyze a weaker condition, corresponding to being Lipschitz near the boundary, which implies the existence of a linear directional derivative for rational functions.

The three point Pick problem on the Bidisk

We analyze the three point Pick interpolation problem on the bidisk

preprint2015arXiv

NC Automorphisms of nc-bounded domains

We establish rigidity (or uniqueness) theorems for nc automorphisms which are natural extensions of clasical results of H.~Cartan and are improvements of recent results. We apply our results to nc-domains consisting of unit balls of rectangular matrices.

preprint2015arXiv

Non-commutative Functional Calculus and Spectral Theory

We develop a functional calculus for $d$ -tuples of non-commuting elements in a Banach algebra. The functions we apply are free analytic functions, that is nc functions that are bounded on certain polynomial polyhedra.

preprint2015arXiv

Non-commutative holomorphic functions on Operator domains

We characterize functions of $d$ -tuples of bounded operators on a Hilbert space that are uniformly approximable by free polynomials on balanced open sets.

preprint2014arXiv

The implicit function theorem and free algebraic sets

We prove an implicit function theorem for non-commutative functions. We use this to show that if $p(X,Y)$ is a generic non-commuting polynomial in two variables, and $X$ is a generic matrix, then all solutions $Y$ of $p(X,Y)=0$ will commute with $X$ .

preprint2014arXiv

Thin sequences and the Gram matrix

We provide a new proof of Volberg's Theorem characterizing thin interpolating sequences as those for which the Gram matrix associated to the normalized reproducing kernels is a compact perturbation of the identity. In the same paper, Volberg characterized sequences for which the Gram matrix is a compact perturbation of a unitary as well as those for which the Gram matrix is a Schatten- $2$ class perturbation of a unitary operator. We extend this characterization from $2$ to $p$ , where $2 \le p \le \infty$ .

preprint2014arXiv

Unions of Lebesgue spaces and $A_1$ majorants

We study two questions. When does a function belong to the union of Lebesgue spaces and when does a function have an $A_1$ majorant? We show these questions are fundamentally related. For functions restricted to a fixed cube we prove that the following are equivalent: a function belongs to $L^p$ for some $p>1$ ; the function has an $A_1$ majorant; for any $p>1$ the function belongs to $L^p_w$ for some $A_p$ weight $w$ . We also examine the case of functions defined on ${\mathbb R}^n$ and give characterizations of the union of $L^p_w$ over $w$ in $A_p$ and when a function has an $A_1$ majorant on all of ${\mathbb R}^n$ .

Global holomorphic functions in several non-commuting variables

We define a free holomorphic function to be a function that is locally a bounded nc-function. We prove that free holomorphic functions are the functions that are locally uniformly approximable by free polynomials. We prove a realization formula and an Oka-Weil theorem for free analytic functions.

On the isomorphism question for complete Pick multiplier algebras

Every multiplier algebra of an irreducible complete Pick kernel arises as the restriction algebra $\mv = \{f\big|_V : f \in \cM_d\}$, where $d$ is some integer or $\infty$ , $\cM_d$ is the multiplier algebra of the Drury-Arveson space $H^2_d$ , and $V$ is a subvariety of the unit ball. For finite $d$ it is known that, under mild assumptions, every isomorphism between two such algebras $\mv$ and $\mw$ is induced by a biholomorphism between $W$ and $V$ . In this paper we consider the converse, and obtain positive results in two directions. The first deals with the case where $V$ is the proper image of a finite Riemann surface. The second deals with the case where $V$ is a disjoint union of varieties.

On the Representation of Holomorphic Functions on Polyhedra

We generalize the Oka extension theorem, and obtain bounds on the norm of the extension, by using operator theory.

Operator monotone functions and Löwner functions of several variables

We prove generalizations of Löwner's results on matrix monotone functions to several variables. We give a characterization of when a function of $d$ variables is locally monotone on $d$ -tuples of commuting self-adjoint $n$ -by- $n$ matrices. We prove a generalization to several variables of Nevanlinna's theorem describing analytic functions that map the upper half-plane to itself and satisfy a growth condition. We use this to characterize all rational functions of two variables that are operator monotone.