SearcharxivSearch

arXiv subjects

Eli Shamovich

Publications and source records attributed to Eli Shamovich.

At least 19 recordsLinked to original sources

On the spectral radius of operator tuples

In recent work, Shalit and Shamovich associated to every operator space structure $\mathcal{E}$ on $\mathbb{C}^d$ a spectral radius function $\rho_{\mathcal{E}}$ on $d$-tuples of operators. The main goal of this paper is to elucidate how this spectral radius depends on the operator space structure. Let $V = (\mathbb{C}^d, \|\cdot\|_V)$ be a normed space and let $\mathcal{E}$ be a quantization of $V$. We show that for a commuting operator tuple $X$, the spectral radius depends only on the underlying normed space; more precisely, \[ \rho_{\mathcal{E}}(X) = \max\{ \|\lambda\|_V : \lambda \in \sigma(X)\}, \] where $\sigma(X)$ denotes the joint spectrum of $X$. In contrast, we prove that if $\dim V \geq 3$, then $\rho_{\min(V)}(X) \neq \rho_{\max(V)}(X)$ already for some matrix tuple $X$. When $\mathcal{E}_1$ and $\mathcal{E}_2$ are selfadjoint operator spaces, we show that $\rho_{\mathcal{E}_1}(X) = \rho_{\mathcal{E}_2}(X)$ for all tuples $X$ implies $\mathcal{E}_1 = \mathcal{E}_2$. We present two proofs of this result; a key ingredient in one of them is a characterization, of independent interest, of $\rho_{\mathcal{E}}(A)$ in terms of the invertibility domain of the linear pencil associated with $A$. Finally, we prove that if two operator spaces give rise to the same spectral radius function, then the algebras of locally uniformly bounded NC functions on the corresponding NC unit balls coincide.

math.OA

Rings of non-commutative functions and their fields of fractions

Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables. These examples arise canonically in free analysis by completing the free algebra in the topology of ``uniform convergence on operator-space balls'' in the non-commutative universe of tuples of square matrices of any finite size. We show, in particular, that the ring of (uniformly) entire non-commutative (NC) functions in $d \in \mathbb{N}$ non-commuting variables, $\scr{O}_d$, is a semifir. Every finitely--generated right (or left) ideal in $\scr{O}_d$ is closed, which yields an analytic extension of G. Bergman's nullstellensatz for the free algebra. Any semifir admits a universal skew field of fractions; applying this to $\scr{O}_d$ yields the universal skew field of ``NC meromorphic expressions", $\scr{M} _d$. We show that any $f \in \scr{M} _d$ has a well-defined domain and evaluations in a large class of stably-finite topological algebras, including finite $C^*$-algebras, extending a result of Cohn for NC rational functions. As an application, we extend the almost sure convergence result of Haagerup and Thorbj\"ornsen for free polynomials evaluated on tuples of random matrices to the setting of NC meromorphic expressions.

math.OA

Global structure behind pointwise equivalences of noncommutative polynomials

This paper investigates the interplay between local and global equivalences on noncommutative polynomials, the elements of the free algebra. When the latter are viewed as functions in several matrix variables, a local equivalence of noncommutative polynomials refers to their values sharing a common feature point-wise on matrix tuples of all dimensions, such as rank-equivalence (values have the same ranks), isospectrality (values have the same spectrum), and pointwise similarity (values are similar). On the other hand, a global equivalence refers to a ring-theoretic relation within the free algebra, such as stable association or (elementary) intertwinedness. This paper identifies the most ubiquitous pairs of local and global equivalences. Namely, rank-equivalence coincides with stable association, isospectrality coincides with both intertwinedness and transitive closure of elementary intertwinedness, and pointwise similarity coincides with equality. Using these characterizations, further results on spectral radii and norms of values of noncommutative polynomials are derived.

math.RA

Boundary representations from constrained interpolation

In this paper, we study $C^*$-envelopes of finite-dimensional operator algebras arising from constrained interpolation problems on the unit disc. In particular, we consider interpolation problems for the algebra $H^\infty_{\text{node}}$ that consists of bounded analytic functions on the unit disk that satisfy $ f(0) = f(\lambda)$ for some $0 \neq \lambda \in \mathbb{D}$. We show that there exist choices of four interpolation nodes that exclude both $0$ and $\lambda$, such that if $I$ is the ideal of functions that vanish at the interpolation nodes, then $C^*_e(H^\infty_{\text{node}}/I)$ is infinite-dimensional. This differs markedly from the behavior of the algebra corresponding to interpolation nodes that contain the constrained points studied in the literature. Additionally, we use the distance formula to provide a completely isometric embedding of $C^*_e(H^\infty_{\text{node}}/I)$ for any choice of $n$ interpolation nodes that do not contain the constrained points into $M_n(G^2_{nc})$, where $G^2_{nc}$ is Brown's noncommutative Grassmannian.

math.OA

A spectral radius for matrices over an operator space

With every operator space structure $\mathcal{E}$ on $\mathbb{C}^d$, we associate a spectral radius function $\rho_{\mathcal{E}}$ on $d$-tuples of operators. For a $d$-tuple $X = (X_1, \ldots, X_d) \in M_n(\mathbb{C}^d)$ of matrices we show that $\rho_{\mathcal{E}}(X)<1$ if and only if $X$ is jointly similar to a tuple in the open unit ball of $M_n(\mathcal{E})$, that is, there is an invertible matrix $S$ such that $\|S^{-1}X S\|_{M_n(\mathcal{E})}<1$, where $S^{-1} X S =(S^{-1} X_1 S, \ldots, S^{-1} X_d S)$. When $\mathcal{E}$ is the row operator space, for example, our spectral radius coincides with the joint spectral radius considered by Bunce, Popescu, and others, and we recover the condition for a tuple of matrices to be simultaneously similar to a strict row contraction. When $\mathcal{E}$ is the minimal operator space $\min(\ell^\infty_d)$, our spectral radius $\rho_{\mathcal{E}}$ is related to the joint spectral radius considered by Rota and Strang but differs from it and has the advantage that $\rho_{\mathcal{E}}(X)<1$ if and only if $X$ is simultaneously similar to a tuple of strict contractions. We show that for a nc rational function $f$ with descriptor realization $(A,b,c)$, the spectral radius $\rho_{\mathcal{E}}(A)<1$ if and only the domain of $f$ contains a neighborhood of the noncommutative closed unit ball of the operator space dual $\mathcal{E}^*$ of $\mathcal{E}$.

math.OA

Operator realizations of non-commutative analytic functions

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 a (uniformly) 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 via the formula $h(X) = I \otimes b^* ( I \otimes I =_{\mathcal{H}} - \sum X_j \otimes A_j ) ^{-1} I \otimes 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 considering more general, infinite-dimensional realizations we study, construct and characterize more general classes of uniformly 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 an analytic Taylor-MacLaurin series extends globally to an entire or meromorphic function if and only if it has a realization whose component operator is compact and quasinilpotent, or compact, respectively. This then motivates our definition of the set of global uniformly meromorphic NC functions as the (universal) skew field (of fractions) generated by NC rational expressions in the (semi-free ideal) ring of NC functions with jointly compact realizations.

math.FA

Deformations of complete Pick spaces

Motivated by the work of Pandey, Ofek, and Shalit on the one hand and deformation theory on the other, we study the Grassmannian of $n$-dimensional multiplier-coinvariant subspaces of the Drury-Arveson space. We show that this space admits a natural map to the symmetrized polyball that induces an isomorphism between the configuration space of $n$ points in the ball and the subspace of projection onto spaces spanned by $n$ distinct kernels. We discuss the tautological bundle on our Grassmannian and the corresponding operator algebra bundle. We construct examples of bundles of complete Pick spaces from homogeneous hypersurfaces in $\mathbb{B}_d$. Along with these bundles, we construct examples of Cowen-Doulas tuples of operators from the compressed Arveson $d$-shift.

math.FA

Iteration theory of noncommutative maps

This note aims to study the iteration theory of noncommutative self-maps of bounded matrix convex domains. We prove a version of the Denjoy-Wolff theorem for the row ball and the maximal quantization of the unit ball of $\mathbb{C}^d$. For more general bounded matrix convex sets, we prove a version of Wolff's theorem inspired by the results of Abate. Lastly, we use iteration and fixed point theory to generalize the commutative results of Davidson, Ramsey, and Shalit to quotients of the free semigroup algebra by WOT closed ideals.

math.OA

Rational Cuntz states peak on the free disk algebra

We apply realization theory of non-commutative rational multipliers of the Fock space, or free Hardy space of square--summable power series in several non-commuting variables to the convex analysis of states on the Cuntz algebra. We show, in particular, that a large class of Cuntz states which arise as the `non-commutative Clark measures' of isometric NC rational multipliers are peak states for Popescu's free disk algebra in the sense of Clouâtre and Thompson.

math.OA

Non-commutative rational Clark measures

We characterize the non-commutative Aleksandrov--Clark measures and the minimal realization formulas of contractive and, in particular, isometric non-commutative rational multipliers of the Fock space. Here, the full Fock space over $\mathbb{C} ^d$ is defined as the Hilbert space of square--summable power series in several non-commuting formal variables, and we interpret this space as the non-commutative and multi-variable analogue of the Hardy space of square--summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov--Clark measure theory for non-commutative and contractive rational multipliers. Non-commutative measures are defined as positive linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz algebra, the unital $C^*-$algebra generated by the left creation operators on the full Fock space. Our results demonstrate that there is a fundamental relationship between NC Hardy space theory, representation theory of the Cuntz--Toeplitz and Cuntz algebras, and the emerging field of non-commutative rational functions.

math.OA

Non-commutative rational functions in the full Fock space

A rational function belongs to the Hardy space, $H^2$, of square-summable power series if and only if it is bounded in the complex unit disk. Any such rational function is necessarily analytic in a disk of radius greater than one. The inner-outer factorization of a rational function, $\mathfrak{r} \in H^2$ is particularly simple: The inner factor of $\mathfrak{r}$ is a (finite) Blaschke product and (hence) both the inner and outer factors are again rational. We extend these and other basic facts on rational functions in $H^2$ to the full Fock space over $\mathbb{C}^d$, identified as the \emph{non-commutative (NC) Hardy space} of square-summable power series in several NC variables. In particular, we characterize when an NC rational function belongs to the Fock space, we prove analogues of classical results for inner-outer factorizations of NC rational functions and NC polynomials, and we obtain spectral results for NC rational multipliers.

math.FA

A de Branges-Beurling theorem for the full Fock space

We extend the de Branges-Beurling theorem characterizing the shift-invariant spaces boundedly contained in the Hardy space of square-summable power series to the full Fock space over $\mathbb{C} ^d$. Here, the full Fock space is identified as the \emph{Non-commutative (NC) Hardy Space} of square-summable Taylor series in several non-commuting variables. We then proceed to study lattice operations on NC kernels and operator-valued multipliers between vector-valued Fock spaces. In particular, we demonstrate that the operator-valued Fock space multipliers with common coefficient range space form a bounded general lattice modulo a natural equivalence relation.

math.FA

Blaschke-Singular-Outer factorization of free non-commutative functions

By classical results of Herglotz and F. Riesz, any bounded analytic function in the complex unit disk has a unique inner-outer factorization. Here, a bounded analytic function is called \emph{inner} or \emph{outer} if multiplication by this function defines an isometry or has dense range, respectively, as a linear operator on the Hardy Space, $H^2$, of analytic functions in the complex unit disk with square-summable Taylor series. This factorization can be further refined; any inner function $θ$ decomposes uniquely as the product of a \emph{Blaschke inner} function and a \emph{singular inner} function, where the Blaschke inner contains all the vanishing information of $θ$, and the singular inner factor has no zeroes in the unit disk. We prove an exact analog of this factorization in the context of the full Fock space, identified as the \emph{Non-commutative Hardy Space} of analytic functions defined in a certain multi-variable non-commutative open unit disk.

math.FA

Noncommutative Choquet simplices

We introduce a notion of noncommutative Choquet simplex, or briefly an nc simplex, that generalizes the classical notion of a simplex. While every simplex is an nc simplex, there are many more nc simplices. They arise naturally from C*-algebras and in noncommutative dynamics. We characterize nc simplices in terms of their geometry and in terms of structural properties of their corresponding operator systems. There is a natural definition of nc Bauer simplex that generalizes the classical definition of a Bauer simplex. We show that a compact nc convex set is an nc Bauer simplex if and only if it is affinely homeomorphic to the nc state space of a unital C*-algebra, generalizing a classical result of Bauer for unital commutative C*-algebras. We obtain several applications to noncommutative dynamics. We show that the set of nc states of a C*-algebra that are invariant with respect to the action of a discrete group is an nc simplex. From this, we obtain a noncommutative ergodic decomposition theorem with uniqueness. Finally, we establish a new characterization of discrete groups with Kazhdan's property (T) that extends a result of Glasner and Weiss. Specifically, we show that a discrete group has property (T) if and only if for every action of the group on a unital C*-algebra, the set of invariant states is affinely homeomorphic to the state space of a unital C*-algebra.

math.OA

How to count zeroes of polynomials on quadrature domains using the Bezout matrix

Classically, the Bezout matrix or simply Bezoutian of two polynomials is used to locate the roots of the polynomial and, in particular, test for stability. In this paper, we develop the theory of Bezoutians on real Riemann surfaces of dividing type. The main result connects the signature of the Bezoutian of two real meromorphic functions to the topological data of their quotient, which can be seen as the generalization of the classical Cauchy index. As an application, we propose a method to count the number of zeroes of a polynomial in a quadrature domain using the inertia of the Bezoutian. We provide examples of our method in the case of simply connected quadrature domains.

math.CV

On Deformations of Hyperbolic Varities

In this paper we study flat deformations of real subschemes of $\mathbb{P}^n$, hyperbolic with respect to a fixed linear subspace, i.e. admitting a finite surjective and real fibered linear projection. We show that the subset of the corresponding Hilbert scheme consisting of such subschemes is closed and connected in the classical topology. Every smooth variety in this set lies in the interior of this set. Furthermore, we provide sufficient conditions for a hyperbolic subscheme to admit a flat deformation to a smooth hyperbolic subscheme. This leads to new examples of smooth hyperbolic varieties.

math.AG

On fixed points of self maps of the free ball

In this paper, we study the structure of the fixed point sets of noncommutative self maps of the free ball. We show that for such a map that fixes the origin the fixed point set on every level is the intersection of the ball with a linear subspace. We provide an application for the completely isometric isomorphism problem of multiplier algebras of noncommutative complete Pick spaces.

math.OA

Nevanlinna-Pick Families and Singular Rational Varieties

The goal of this note is to apply ideas from commutative algebra (a.k.a. affine algebraic geometry) to the question of constrained Nevanlinna-Pick interpolation. More precisely, we consider subalgebras $A \subset \mathbb{C}[z_1,\ldots,z_d]$, such that the map from the affine space to the spectrum of $A$ is an isomorphism except for finitely many points. Letting $\mathfrak{A}$ be the weak-$*$ closure of $A$ in $\mathcal{M}_d$ -- the multiplier algebra of the Drury-Arveson space. We provide a parametrization for the Nevanlinna-Pick family of $M_k(\mathfrak{A})$ for $k \geq 1$. In particular, when $k=1$ the parameter space for the Nevanlinna-Pick family is the Picard group of $A$.

math.OA