Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userShape, Scale, and Minimality of Matrix Ranges
61
0
0.0
(
0
)
Authors
Benjamin Passer
Ask ChatGPT about the research
No Arabic abstract
We study containment and uniqueness problems concerning matrix convex sets. First, to what extent is a matrix convex set determined by its first level? Our results in this direction quantify the disparity between two product operations, namely the product of the smallest matrix convex sets over $K_i subseteq mathbb{C}^d$, and the smallest matrix convex set over the product of $K_i$. Second, if a matrix convex set is given as the matrix range of an operator tuple $T$, when is $T$ determined uniquely? We provide counterexamples to results in the literature, showing that a compact tuple meeting a minimality condition need not be determined uniquely, even if its matrix range is a particularly friendly set. Finally, our results may be used to improve dilation scales, such as the norm bound on the dilation of (non self-adjoint) contractions to commuting normal operators, both concretely and abstractly.
rate research
Read More
We develop a symbol calculus for normal bimodule maps over a masa that is the natural analogue of the Schur product theory. Using this calculus we are able to easily give a complete description of the ranges of contractive normal bimodule idempotents that avoids the theory of J*-algebras. We prove that if $P$ is a normal bimodule idempotent and $|P| < 2/sqrt{3}$ then $P$ is a contraction. We finish with some attempts at extending the symbol calculus to non-normal maps.
A matrix convex set is a set of the form $mathcal{S} = cup_{ngeq 1}mathcal{S}_n$ (where each $mathcal{S}_n$ is a set of $d$-tuples of $n times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach are polar duality in the sense of Effros and Winkler, matrix ranges in the sense of Arveson, and concrete constructions of scaled commuting normal dilation for tuples of self-adjoint operators, in the sense of Helton, Klep, McCullough and Schweighofer. Given two matrix convex sets $mathcal{S} = cup_{n geq 1} mathcal{S}_n,$ and $mathcal{T} = cup_{n geq 1} mathcal{T}_n$, we find geometric conditions on $mathcal{S}$ or on $mathcal{T}$, such that $mathcal{S}_1 subseteq mathcal{T}_1$ implies that $mathcal{S} subseteq Cmathcal{S}$ for some constant $C$. For instance, under various symmetry conditions on $mathcal{S}$, we can show that $C$ above can be chosen to equal $d$, the number of variables, and in some cases this is sharp. We also find an essentially unique self-dual matrix convex set $mathcal{D}$, the self-dual matrix ball, for which corresponding inclusion and dilation results hold with constant $C=sqrt{d}$. Our results have immediate implications to spectrahedral inclusion problems studied recently by Helton, Klep, McCullough and Schweighofer. Our constants do not depend on the ranks of the pencils determining the free spectrahedra in question, but rather on the number of variables $d$. There are also implications to the problem of existence of (unital) completely positive maps with prescribed values on a set of operators.
We develop a general framework for reflexivity in dual Banach spaces, motivated by the question of when the weak* closed linear span of two reflexive masa-bimodules is automatically reflexive. We establish an affirmative answer to this question in a number of cases by examining two new classes of masa-bimodules, defined in terms of ranges of masa-bimodule projections. We give a number of corollaries of our results concerning operator and spectral synthesis, and show that the classes of masa-bimodules we study are operator synthetic if and only if they are strong operator Ditkin.
We give a brief introduction to private quantum codes, a basic notion in quantum cryptography and key distribution. Private code states are characterized by indistinguishability of their output states under the action of a quantum channel, and we show that higher rank numerical ranges can be used to describe them. We also show how this description arises naturally via conjugate channels and the bridge between quantum error correction and cryptography.
We consider two-variable model spaces associated to rational inner functions $Theta$ on the bidisk, which always possess canonical $z_2$-invariant subspaces $mathcal{S}_2.$ A particularly interesting compression of the shift is the compression of multiplication by $z_1$ to $mathcal{S}_2$, namely $ S^1_{Theta}:= P_{mathcal{S}_2} M_{z_1} |_{mathcal{S}_2}$. We show that these compressed shifts are unitarily equivalent to matrix-valued Toeplitz operators with well-behaved symbols and characterize their numerical ranges and radii. We later specialize to particularly simple rational inner functions and study the geometry of the associated numerical ranges, find formulas for the boundaries, answer the zero inclusion question, and determine whether the numerical ranges are ever circular.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
