Searcharxiv⌕ Search

arXiv subjects

Jasang Yoon

Publications and source records attributed to Jasang Yoon.

17 recordsLinked to original sources
arXiv2026

Semi-hyponormality of commuting pairs of Hilbert space operators

We first find an explicit formula for the square root of positive $2 \times 2$ operator matrices with commuting entries, and then use it to define and study semi-hyponormality for commuting pairs of Hilbert space operators. \ For the well-known $3$--parameter family $W_{(\alpha,\beta)}(a,x,y)$ of $2$--variable weighted shifts, we completely identify the parametric regions in the open unit cube where $W_{(\alpha,\beta)}(a,x,y)$ is subnormal, hyponormal, semi-hyponormal, and weakly hyponormal. As a result, we describe in detail concrete sub-regions where each property holds. For instance, we identify the specific sub-region where weak hyponormality holds but semi-hyponormality does not hold, and vice versa. \ To accomplish this, we employ a new technique emanating from the homogeneous orthogonal decomposition of $\ell^2(\mathbb{Z}_+^2)$. The technique allows us to reduce the study of semi-hyponormality to positivity considerations of a sequence of $2 \times 2$ scalar matrices. It also requires a specific formula for the square root of $2 \times 2$ scalar and operator matrices, and we obtain that along the way. As an application of our main results, we show that the Drury-Arveson shift is {\it not} semi-hyponormal. Taken together, the new results offer a sharp contrast between the above-mentioned properties for unilateral weighted shifts and their $2$--variable counterparts.

math.FA↗
arXiv2020

Polynomial embeddings of unilateral weighted shifts into $2$-variable weighted shifts

Given a bounded sequence \omega of positive numbers and its associated unilateral weighted shift W_{\omega} acting on the Hilbert space \ell^2(\mathbb{Z}_+), we consider natural representations of W_{\omega} as a 2-variable weighted shift, acting on \ell^2(\mathbb{Z}_+^2). Alternatively, we seek to examine the various ways in which the sequence \omega can give rise to a 2-variable weight diagram. Our best (and more general) embedding arises from looking at two polynomials p and q nonnegative on a closed interval I in R_+ and the double-indexed moment sequence \{\int p(r)^k q(r)^{\ell} d\sigma(r)\}_{k,\ell \in \mathbb{Z}_+}, where W_{\omega} is assumed to be subnormal with Berger measure \sigma such that \supp \; \sigma \subseteq I; we call such an embedding a (p,q)-embedding of W_{\omega}. We prove that every (p,q)-embedding of a subnormal weighted shift W_{\omega} is (jointly) subnormal, and we explicitly compute its Berger measure. We apply this result to answer three outstanding questions: (i) Can the Bergman shift A_2 be embedded in a subnormal 2-variable spherically isometric weighted shift W_{(\alpha,\beta)}? If so, what is the Berger measure of W_{(\alpha,\beta)}? (ii) Can a contractive subnormal unilateral weighted shift be always embedded in a spherically isometric 2-variable weighted shift? (iii) Does there exist a hyponormal 2-variable weighted shift \Theta(W_{\omega}) (where \Theta(W_{\omega}) denotes the classical embedding of a hyponormal unilateral weighted shift W_{\omega}) such that some integer power of \Theta(W_{\omega}) is not hyponormal? As another application, we find an alternative way to compute the Berger measure of the Agler j-th shift A_{j} (j\geq 2). Our research uses techniques from the theory of disintegration of measures, Riesz functionals, and the functional calculus for the columns of the moment matrix associated to a polynomial embedding.

math.FA↗
arXiv2020

Solution of the Reconstruction-of-the-Measure Problem for Canonical Invariant Subspaces

We study the Reconstruction-of-the-Measure Problem (ROMP) for commuting 2-variable weighted shifts $W_{(\alpha,\beta)}$, when the initial data are given as the Berger measure of the restriction of $W_{(\alpha,\beta)}$ to a canonical invariant subspace, together with the marginal measures for the 0-th row and 0-th column in the weight diagram for $W_{(\alpha,\beta)}$. We prove that the natural necessary conditions are indeed sufficient. When the initial data correspond to a soluble problem, we give a concrete formula for the Berger measure of $W_{(\alpha,\beta)}$. Our strategy is to build on previous results for back-step extensions and one-step extensions. A key new theorem allows us to solve ROMP for two-step extensions. This, in turn, leads to a solution of ROMP for arbitrary canonical invariant subspaces of $\ell^2(\mathbb{Z}_+^2)$.

math.FA↗
arXiv2020

The Spectral Picture and Joint Spectral Radius of the Generalized Spherical Aluthge Transform

For an arbitrary commuting $d$--tuple $\bT$ of Hilbert space operators, we fully determine the spectral picture of the generalized spherical Aluthge transform $\dbT$ and we prove that the spectral radius of $\bT$ can be calculated from the norms of the iterates of $\dbT$. \ Let $\bm{T} \equiv (T_1,\cdots,T_d)$ be a commuting $d$--tuple of bounded operators acting on an infinite dimensional separable Hilbert space, let $P:=\sqrt{T_1^*T_1+\cdots+T_d^*T_d}$, and let $$ \left( \begin{array}{c} T_1 \\ \vdots \\ T_d \end{array} \right) = \left( \begin{array}{c} V_1 \\ \vdots \\ V_d \end{array} \right) P $$ be the canonical polar decomposition, with $(V_1,\cdots,V_d)$ a (joint) partial isometry and $$ \bigcap_{i=1}^d \ker T_i=\bigcap_{i=1}^d \ker V_i=\ker P. $$ \medskip For $0 \le t \le 1$, we define the generalized spherical Aluthge transform of $\bm{T}$ by $$ \Delta_t(\bm{T}):=(P^t V_1P^{1-t}, \cdots, P^t V_dP^{1-t}). $$ We also let $\left\|\bm{T}\right\|_2:=\left\|P\right\|$. \ We first determine the spectral picture of $\Delta_t(\bm{T})$ in terms of the spectral picture of $\bm{T}$; in particular, we prove that, for any $0 \le t \le 1$, $\Delta_t(\bm{T})$ and $\bm{T}$ have the same Taylor spectrum, the same Taylor essential spectrum, the same Fredholm index, and the same Harte spectrum. \ We then study the joint spectral radius $r(\bm{T})$, and prove that $r(\bm{T})=\lim_n\left\|\Delta_t^{(n)}(\bm{T})\right\|_2 \,\, (0 < t < 1)$, where $\Delta_t^{(n)}$ denotes the $n$--th iterate of $\Delta_t$. \ For $d=t=1$, we give an example where the above formula fails.

math.FA↗
arXiv2019

Joint spectra of spherical Aluthge transforms of commuting n-tuples of Hilbert space operators

Let $\mathbf{T} \equiv (T_1,\cdots,T_n)$ be a commuting $n$-tuple of operators on a Hilbert space $\mathcal{H}$, and let $T_i \equiv V_i P \; (1 \le i \le n)$ be its canonical joint polar decomposition (i.e., $P:=\sqrt{T_1^*T_1+\cdots+T_n^*T_n}$, $(V_1,\cdots,V_n)$ a joint partial isometry, and $\bigcap_{i=1}^n \ker T_i = \bigcap_{i=1}^n \ker V_i = \ker P)$. \ The spherical Aluthge transform of $\mathbf{T}$ is the (necessarily commuting) $n$-tuple $\hat{\mathbf{T}}:=(\sqrt{P}V_1\sqrt{P},\cdots,\sqrt{P}V_n\sqrt{P})$. \ We prove that $\sigma_T(\hat{\mathbf{T}})=\sigma_T(\mathbf{T})$, where $\sigma_T$ denotes Taylor spectrum. \ We do this in two stages: away from the origin we use tools and techniques from criss-cross commutativity; at the origin we show that the left invertibility of $\mathbf{T}$ or $\hat{\mathbf{T}}$ implies the invertibility of $P$. \ As a consequence, we can readily extend our main result to other spectral systems that rely on the Koszul complex for their definitions.

math.FA↗
arXiv2019

Quasinormality of powers of commuting pairs of bounded operators

We study jointly quasinormal and spherically quasinormal pairs of commuting operators on Hilbert space, as well as their powers. We first prove that, up to a constant multiple, the only jointly quasinormal $2$-variable weighted shift is the Helton-Howe shift. Second, we show that a left invertible subnormal operator $T$ whose square $T^{2}$ is quasinormal must be quasinormal. Third, we generalize a characterization of quasinormality for subnormal operators in terms of their normal extensions to the case of commuting subnormal $n$-tuples. Fourth, we show that if a $2$-variable weighted shift $W_{\left(\alpha ,\beta \right) }$ and its powers $W_{\left(\alpha ,\beta \right)}^{(2,1)}$ and $W_{\left(\alpha ,\beta \right)}^{(1,2)}$ are all spherically quasinormal, then $W_{\left( \alpha ,\beta \right)}$ may not necessarily be jointly quasinormal. Moreover, it is possible for both $W_{\left(\alpha ,\beta \right)}^{(2,1)}$ and $W_{\left(\alpha ,\beta \right)}^{(1,2)}$ to be spherically quasinormal without $W_{\left(\alpha ,\beta \right)}$ being spherically quasinormal. Finally, we prove that, for $2$-variable weighted shifts, the common fixed points of the toral and spherical Aluthge transforms are jointly quasinormal.

math.FA↗
arXiv2017

Aluthge transforms of 2-variable weighted shifts

We introduce two natural notions of multivariable Aluthge transforms (toral and spherical), and study their basic properties. In the case of 2-variable weighted shifts, we first prove that the toral Aluthge transform does not preserve (joint) hyponormality, in sharp contrast with the 1-variable case. Second, we identify a large class of 2-variable weighted shifts for which hyponormality is preserved under both transforms. Third, we consider whether these Aluthge transforms are norm-continuous. Fourth, we study how the Taylor and Taylor essential spectra of 2-variable weighted shifts behave under the toral and spherical Aluthge transforms; as a special case, we consider the Aluthge transforms of the Drury-Arveson 2-shift. Finally, we briefly discuss the class of spherically quasinormal 2-variable weighted shifts, which are the fixed points for the spherical Aluthge transform.

math.FA↗
arXiv2011

Subnormality for arbitrary powers of 2-variable weighted shifts whose restrictions to a large invariant subspace are tensor products

The Lifting Problem for Commuting Subnormals (LPCS) asks for necessary and sufficient conditions for a pair of subnormal operators on Hilbert space to admit commuting normal extensions. \ We study LPCS within the class of commuting 2-variable weighted shifts $\mathbf{T} \equiv (T_1,T_2)$ with subnormal components $T_1$ and $T_2$, acting on the Hilbert space $\ell ^2(\mathbb{Z}^2_+)$ with canonical orthonormal basis $\{e_{(k_1,k_2)}\}_{k_1,k_2 \geq 0}$ . \ The \textit{core} of a commuting 2-variable weighted shift $\mathbf{T}$, $c(\mathbf{T})$, is the restriction of $\mathbf{T}$ to the invariant subspace generated by all vectors $e_{(k_1,k_2)}$ with $k_1,k_2 \geq 1$; we say that $c(\mathbf{T})$ is of \textit{tensor form} if it is unitarily equivalent to a shift of the form $(I \otimes W_α, W_β\otimes I)$, where $W_α$ and $W_β$ are subnormal unilateral weighted shifts. \ Given a 2-variable weighted shift $\mathbf{T}$ whose core is of tensor form, we prove that LPCS is solvable for $\mathbf{T}$ if and only if LPCS is solvable for any power $\mathbf{T}^{(m,n)}:=(T^m_1,T^n_2)$ ($m,n\geq 1$). \

math.FA↗
arXiv2011

When is hyponormality for 2-variable weighted shifts invariant under powers?

For 2-variable weighted shifts W_{(α,β)}(T_1, T_2) we study the invariance of (joint) k- hyponormality under the action (h,\ell) -> W_{(α,β)}^{(h,\ell)}(T_1, T_2):=(T_1^k,T_2^{\ell}) (h,\ell >=1). We show that for every k >= 1 there exists W_{(α,β)}(T_1, T_2) such that W_{(α,β)}^{(h,\ell)}(T_1, T_2) is k-hyponormal (all h>=2,\ell>=1) but W_{(α,β)}(T_1, T_2) is not k-hyponormal. On the positive side, for a class of 2-variable weighted shifts with tensor core we find a computable necessary condition for invariance. Next, we exhibit a large nontrivial class for which hyponormality is indeed invariant under all powers; moreover, for this class 2-hyponormality automatically implies subnormality. Our results partially depend on new formulas for the determinant of generalized Hilbert matrices and on criteria for their positive semi-definiteness.

math.FA↗
arXiv2010

A new approach to the 2-variable subnormal completion problem

We study the Subnormal Completion Problem (SCP) for 2-variable weighted shifts. We use tools and techniques from the theory of truncated moment problems to give a general strategy to solve SCP. We then show that when all quadratic moments are known (equivalently, when the initial segment of weights consists of five independent data points), the natural necessary conditions for the existence of a subnormal completion are also sufficient. To calculate explicitly the associated Berger measure, we compute the algebraic variety of the associated truncated moment problem; it turns out that this algebraic variety is precisely the support of the Berger measure of the subnormal completion.

math.FA↗
arXiv2007

Reconstruction of the Berger measure when the core is of tensor form

Let $\mathfrak{H}_{0}$ denote the class of commuting pairs of subnormal operators on Hilbert space, and let $\mathcal{TC}:=\{\mathbf{T}\in \mathfrak{% H}_{0}:c(\mathbf{T)}$ is of tensor form$\}$, where $c(\mathbf{T})$ is the core of $\mathbf{T}$. We obtain a concrete necessary and sufficient condition for the subnormality of $\mathbf{T}\equiv (T_{1},T_{2})\in \mathcal{TC}$ in terms of $c(\mathbf{T})$, the marginal measures of $T_{1}$ and $T_{2}$, and the weight $α_{01}$.

math.FA↗
arXiv2006

Spectral pictures of 2-variable weighted shifts

We study the spectral pictures of (jointly) hyponormal 2-variable weighted shifts with commuting subnormal components. By contrast with all known results in the theory of subnormal single and 2-variable weighted shifts, we show that the Taylor essential spectrum can be disconnected. We do this by obtaining a simple sufficient condition that guarantees disconnectedness, based on the norms of the horizontal slices of the shift. We also show that for every k >= 1 there exists a k-hyponormal 2-variable weighted shift whose horizontal and vertical slices have 1- or 2-atomic Berger measures, and whose Taylor essential spectrum is disconnected.

math.FA↗
arXiv2006

Hyponormality and subnormality for powers of commuting pairs of subnormal operators

Let H_0 (resp. H_\infty denote the class of commuting pairs of subnormal operators on Hilbert space (resp. subnormal pairs), and for an integer k>=1 let H_k denote the class of k-hyponormal pairs in H_0. We study the hyponormality and subnormality of powers of pairs in H_k. We first show that if (T_1,T_2) is in H_1, then the pair (T_1^2,T_2) may fail to be in H_1. Conversely, we find a pair (T_1,T_2) in H_0 such that (T_1^2,T_2) is in H_1 but (T_1,T_2) is not. Next, we show that there exists a pair (T_1,T_2) in H_1 such that T_1^mT_2^n is subnormal (all m,n >= 1), but (T_1,T_2) is not in H_\infty; this further stretches the gap between the classes H_1 and H_\infty. Finally, we prove that there exists a large class of 2-variable weighted shifts (T_1,T_2) (namely those pairs in H_0 whose cores are of tensor form) for which the subnormality of (T_1^2,T_2) and (T_1,T_2^2) does imply the subnormality of (T_1,T_2).

math.FA↗
arXiv2006

Propagation phenomena for hyponormal 2-variable weighted shifts

We study the class of hyponormal 2-variable weighted shifts with two consecutive equal weights in the weight sequence of one of the coordinate operators. We show that under natural assumptions on the coordinate operators, the presence of consecutive equal weights leads to horizontal or vertical flatness, in a way that resembles the situation for 1-variable weighted shifts. In 1-variable, it is well known that flat weighted shifts are necessarily subnormal (with finitely atomic Berger measures). By contrast, we exhibit a large collection of flat (i.e., horizontally and vertically flat) 2-variable weighted shifts which are hyponormal but not subnormal. Moreover we completely characterize the hyponormality and subnormality of symmetrically flat contractive 2-variable weighted shifts.

math.FA↗
arXiv2005

k-hyponormality of multivariable weighted shifts

We characterize joint k-hyponormality for 2-variable weighted shifts. Using this characterization we construct a family of examples which establishes and illustrates the gap between k-hyponormality and (k+1)-hyponormality for each k>=1. As a consequence, we obtain an abstract solution to the Lifting Problem for Commuting Subnormals.

math.FA↗
arXiv2004

Jointly hyponormal pairs of commuting subnormal operators need not be jointly subnormal

We construct three different families of commuting pairs of subnormal operators, jointly hyponormal but not admitting commuting normal extensions. Each such family can be used to answer in the negative a 1988 conjecture of R. Curto, P. Muhly and J. Xia. We also obtain a sufficient condition under which joint hyponormality does imply joint subnormality.

math.FA↗