Source author record

Ryan Tully-Doyle

Ryan Tully-Doyle appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.FA math.CV math.OA math.CO math.DS math.RT

Catalog footprint

What is connected

8works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Induced Stinespring factorization and the Wittstock support theorem

Given a pair of self-adjoint-preserving completely bounded maps on the same $C^*$-algebra, say that $φ\leq ψ$ if the kernel of $φ$ is a subset of the kernel of $ψ$ and $ψ\circ φ^{-1}$ is completely positive. The \emph{Agler class} of a map $φ$ is the class of $ψ\geq φ.$ Such maps admit colligation formulae, and, in Lyapunov type situations, transfer function type realizations on the Stinespring coefficients of their Wittstock decompositions. As an application, we prove that the support of an extremal Wittstock decomposition is unique.

preprint2021arXiv

Dynamics of low-degree rational inner skew-products on $\mathbb{T}^2$

We examine iteration of certain skew-products on the bidisk whose components are rational inner functions, with emphasis on simple maps of the form $Φ(z_1,z_2) = (ϕ(z_1,z_2), z_2)$. If $ϕ$ has degree $1$ in the first variable, the dynamics on each horizontal fiber can be described in terms of Möbius transformations but the global dynamics on the $2$-torus exhibit some complexity, encoded in terms of certain $\mathbb{T}^2$-symmetric polynomials. We describe the dynamical behavior of such mappings $Φ$ and give criteria for different configurations of fixed point curves and rotation belts in terms of zeros of a related one-variable polynomial.

preprint2018arXiv

Representation of free Herglotz functions

A Herglotz function is a holomorphic map from the open complex unit disk into the closed complex right halfplane. A classical Herglotz function has an integral representation against a positive measure on the unit circle. We prove a free analytic analogue of the Herglotz representation and describe how our representations specialize to the free probabilistic case. We also show that the set of representable Herglotz functions arising from noncommutative conditional expectations must be closed in a natural topology.

preprint2016arXiv

Analytic functions on the bidisk at boundary singularities via Hilbert space methods

We investigate the behavior of a generalized Hilbert space model of a function in the Schur class of the bidisk at singular boundary points that satisfy a growth condition. We examine the relationship between the boundary behavior of Schur functions and the geometry of corresponding generalized Hilbert space models. We describe a geometric condition on an associated operator that classifies the behavior of the directional derivative of the underlying Schur function at a carapoint.

preprint2016arXiv

Cauchy transforms arising from homomorphic conditional expectations parametrize free Pick functions but those arising from conditional expectations do not

Nevanlinna showed that Cauchy transforms of probability measures parametrize all functions from the upper half plane into itself satisfying a certain asymptotic condition at infinity. We show that the correspondence fails in general for the unbounded case for somewhat trivial reasons; however, we show that in a setting of "homomorphic" operator valued free probability that Cauchy transforms of homomorphic conditional expectations parametrize free Pick functions.

preprint2015arXiv

Convex entire noncommutative functions are polynomials of degree two or less

This paper concerns matrix "convex" functions of (free) noncommuting variables, $x = (x_1, \ldots, x_g)$. Helton and McCullough showed that a polynomial in $x$ which is matrix convex is of degree two or less. We prove a more general result: that a function of $x$ that is matrix convex near $0$ and also that is "analytic" in some neighborhood of the set of all self-adjoint matrix tuples is in fact a polynomial of degree two or less. More generally, we prove that a function $F$ in two classes of noncommuting variables, $a = (a_1, \ldots, a_{\tilde{g}})$ and $x = (x_1, \ldots, x_g)$ that is "analytic" and matrix convex in $x$ on a "noncommutative open set" in $a$ is a polynomial of degree two or less.

preprint2014arXiv

Free functions with symmetry

In 1936, Margarete C. Wolf showed that the ring of symmetric free polynomials in two or more variables is isomorphic to the ring of free polynomials in infinitely many variables. We show that Wolf's theorem is a special case of a general theory of the ring of invariant free polynomials: every ring of invariant free polynomials is isomorphic to a free polynomial ring. Furthermore, we show that this isomorphism extends to the free functional calculus as a norm-preserving isomorphism of function spaces on a domain known as the row ball. We give explicit constructions of the ring of invariant free polynomials in terms of representation theory and develop a rudimentary theory of their structures. Specifically, we obtain a generating function for the number of basis elements of a given degree and explicit formulas for good bases in the abelian case.

preprint2013arXiv

Free Pick functions: representations, asymptotic behavior and matrix monotonicity in several noncommuting variables

We extend the study of the Pick class, the set of complex analytic functions taking the upper half plane into itself, to the noncommutative setting. R. Nevanlinna showed that elements of the Pick class have certain integral representations which reflect their asymptotic behavior at infinity. Loewner connected the Pick class to matrix monotone functions. We generalize the Nevanlinna representation theorems and Loewner's theorem on matrix monotone functions to the free Pick class, the collection of functions that map tuples of matrices with positive imaginary part into the matrices with positive imaginary part which obey the free functional calculus.