Searcharxiv⌕ Search

arXiv subjects

Il Bong Jung

Publications and source records attributed to Il Bong Jung.

At least 19 recordsLinked to original sources
arXiv2026

Solutions to the 'moment property implies subnormality' and injectivity problems for composition operators on one-circuit graphs

We consider composition operators in $L^2(μ)$, where $μ$ is a discrete measure. Our main result shows that, for every integer $p\ge2$, there exists a non-hyponormal composition operator that generates Stieltjes moment sequences and whose symbol induces a directed graph consisting of a circuit of length $p$ and one infinite branch. In contrast, if the symbol induces a directed graph consisting of one loop and one infinite branch, then the generation of Stieltjes moment sequences does imply subnormality. These two results completely solve the ``moment property implies subnormality'' problem left open in [Adv. Math. 310 (2017), 484-556] for the entire family of one-branch directed graphs with a circuit of arbitrary length. Combining them with the examples in that paper shows that, for directed graphs consisting of one loop and a finite number of infinite branches, $2$ is the smallest number of branches for which the moment property does not imply subnormality. Finally, we construct a noninjective composition operator that generates Stieltjes moment sequences and whose symbol induces a directed graph consisting of one loop, one infinite branch, and one leaf. This operator gives a negative answer to the injectivity problem posed in the aforementioned paper. Both constructions use the Krein and Friedrichs measures of an arbitrary normalized S-indeterminate Stieltjes moment sequence.

math.FA↗
arXiv2026

CPD $n$th roots of subnormal operators are subnormal

We investigate the $n$th root problem for bounded operators on a Hilbert space within the class of conditionally positive definite (CPD) operators determined by the Lévy--Khintchine formula. The class contains subnormal operators, complete hypercontractions of order $2$, and $3$-isometries. Our main result shows that if $T$ is a CPD operator such that $T^n$ is subnormal (resp., quasinormal, normal, or a $3$-isometry), then $T$ belongs to the corresponding class. This establishes the invariance of these classes under taking $n$th roots within the CPD class and extends several earlier results in operator theory. Furthermore, we provide characterizations of quasinormal and normal operators in terms of their CPD property and the structure of the representing triplet. Finally, we show that the classes of CPD and normaloid operators are distinct by means of both theoretical arguments and explicit examples.

math.FA↗
arXiv2024

When is a CPD weighted shift similar to a subnormal operator?

We prove that a CPD unilateral weighted shift $W_λ$ of type III is a quasi-affine transform of the operator $M_z$ of multiplication by the independent variable on the $L^2(ρ)$-closure of analytic complex polynomials on the complex plane, where $ρ$ is a measure precisely determined by $W_λ$. By using this model, we provide necessary and sufficient conditions for similarity of $W_λ$ to $M_z$. Necessary conditions for a CPD operator to be similar to a subnormal one are given. A variety of concrete classes of non-subnormal CPD unilateral weighted shifts similar to subnormal operators are established.

math.FA↗
arXiv2024

Bishop-like theorems for non-subnormal operators

The celebrated Bishop theorem states that an operator is subnormal if and only if it is the strong limit of a net (or a sequence) of normal operators. By the Agler-Stankus theorem, $2$-isometries behave similarly to subnormal operator in the sense that the role of subnormal operators is played by $2$-isometries, while the role of normal operators is played by Brownian unitaries. In this paper we give Bishop-like theorems for $2$-isometries. Two methods are involved, the first of which goes back to Bishop's original idea and the second refers to Conway and Hadwin's result of general nature. We also investigate the strong and $*$-strong closedness of the class of Brownian unitaries.

math.FA↗
arXiv2024

Criteria for algebraic operators to be unitary

Criteria for an algebraic operator $T$ on a complex Hilbert space $\mathcal{H}$ to be unitary are established. The main one is written in terms of the convergence of sequences of the form $\{\|T^nh\|\}_{n=0}^{\infty}$ with $h\in \mathcal{H}$. Related questions are also discussed.

math.FA↗
arXiv2024

Convergence of power sequences of operators via their stability

This paper is concerned with the convergence of power sequences and stability of Hilbert space operators, where "convergence" and "stability" refer to weak, strong and norm topologies. It is proved that an operator has a convergent power sequence if and only if it is a (not necessarily orthogonal) direct sum of an identity operator and a stable operator. This reduces the issue of convergence of the power sequence of an operator $T$ to the study of stability of $T$. The question of when the limit of the power sequence is an orthogonal projection is investigated. Among operators sharing this property are hyponormal and contractive ones. In particular, a hyponormal or a contractive operator with no identity part is stable if and only if its power sequence is convergent. In turn, a unitary operator has a weakly convergent power sequence if and only if its singular-continuous part is weakly stable and its singular-discrete part is the identity. Characterizations of the convergence of power sequences and stability of subnormal operators are given in terms of semispectral measures.

math.FA↗
arXiv2023

Convergence of power sequences of B-operators with applications to stability

The B-operators (abbreviation for Brownian-type operators) are upper triangular 2x2 block matrix operators that satisfy certain algebraic constraints. The purpose of this paper is to characterize the weak, the strongand the uniform stability of B-operators, respectively. This is achieved by giving equivalent conditions for the convergence of powers of a B-operator in each of the corresponding topologies. A more subtle characterization is obtained for B-operators with subnormal (2,2) entry. The issue of the strong stability of the adjoint of a B-operator is also discussed.

math.FA↗
arXiv2023

Lifting Brownian-type operators with subnormal entry

In this paper, we study Brownian-type operators, which are upper triangular $2\times 2$ block matrix operators with entries satisfying some algebraic constraints. We establish a lifting theorem stating that any Brownian-type operator with subnormal $(2,2)$ entry lifts to a Brownian-type operator with normal $(2,2)$ entry, where lifting is understood in the sense of extending entries of the block matrices representing the operators in question. The spectral inclusion and the filling in holes theorems are obtained for such operators.

math.FA↗
arXiv2022

Conditionally positive definiteness in operator theory

In this paper we extensively investigate the class of conditionally positive definite operators, namely operators generating conditionally positive definite sequences. This class itself contains subnormal operators, $2$- and $3$-isometries and much more beyond them. Quite a large part of the paper is devoted to the study of conditionally positive definite sequences of exponential growth with emphasis put on finding criteria for their positive definiteness, where both notions are understood in the semigroup sense. As a consequence, we obtain semispectral and dilation type representations for conditionally positive definite operators. We also show that the class of conditionally positive definite operators is closed under the operation of taking powers. On the basis of Agler's hereditary functional calculus, we build an $L^{\infty}(M)$-functional calculus for operators of this class, where $M$ is an associated semispectral measure. We provide a variety of applications of this calculus to inequalities involving polynomials and analytic functions. In addition, we derive new necessary and sufficient conditions for a conditionally positive definite operator to be a subnormal contraction (including a telescopic one).

math.FA↗
arXiv2021

Conditionally positive definite unilateral weighted shifts

In a recent paper [15], Hilbert space operators $T$ with the property that each sequence of the form $\{\|T^n h\|^2\}_{n=0}^{\infty}$ is conditionally positive definite in a semigroup sense were introduced. In the present paper, this line of research is continued in depth in the case of unilateral weighted shifts. The conditional positive definiteness of weighted shifts is characterized in terms of formal moment sequences. The description of the representing triplet, the main object canonically associated with such operators, is provided. The backward extension problem for conditionally positive definite weighted shifts is solved, revealing a new feature that does not appear in the case of other operator classes. Finally, the flatness problem in this context is discussed, with an emphases on unexpected differences from the corresponding problem for subnormal weighted shifts.

math.FA↗
arXiv2019

Taylor spectrum approach to Brownian-type operators with quasinormal entry

In this paper, we introduce operators that are represented by upper triangular $2\times 2$ block matrices whose entries satisfy some algebraic constraints. We call them Brownian-type operators of class $\mathcal Q,$ briefly operators of class $\mathcal Q.$ These operators emerged from the study of Brownian isometries performed by Agler and Stankus via detailed analysis of the time shift operator of the modified Brownian motion process. It turns out that the class $\mathcal Q$ is closely related to the Cauchy dual subnormality problem which asks whether the Cauchy dual of a completely hyperexpansive operator is subnormal. Since the class $\mathcal Q$ is closed under the operation of taking the Cauchy dual, the problem itself becomes a part of a more general question of investigating subnormality in this class. This issue, along with the analysis of nonstandard moment problems, covers a large part of the paper. Using the Taylor spectrum technique culminates in a full characterization of subnormal operators of class $\mathcal Q.$ As a consequence, we solve the Cauchy dual subnormality problem for expansive operators of class $\mathcal Q$ in the affirmative, showing that the original problem can surprisingly be extended to a class of operators that are far from being completely hyperexpansive. The Taylor spectrum approach turns out to be fruitful enough to allow us to characterize other classes of operators including $m$-isometries. We also study linear operator pencils associated with operators of class $\mathcal Q$ proving that the corresponding regions of subnormality are closed intervals with explicitly described endpoints.

math.FA↗
arXiv2019

A Subnormal Completion Problem for Weighted Shifts on Directed Trees, II

The subnormal completion problem on a directed tree is to determine, given a collection of weights on a subtree, whether the weights may be completed to the weights of a subnormal weighted shift on the directed tree. We study this problem on a directed tree with a single branching point, $η$ branches and the trunk of length $1$ and its subtree which is the "truncation" of the full tree to vertices of generation not exceeding $2$. We provide necessary and sufficient conditions written in terms of two parameter sequences for the existence of a subnormal completion in which the resulting measures are $2$-atomic. As a consequence, we obtain a solution of the subnormal completion problem for this pair of directed trees when $η< \infty$. If $η=2$, we present a solution written explicitly in terms of initial data.

math.FA↗
arXiv2017

Almost invariant half-spaces for operators on Hilbert space. II: operator matrices

This paper is a sequel to [6]. In that paper we transferred the discussions in [1] and [13] concerning almost invariant half-spaces for operators on complex Banach spaces to the context of operators on Hilbert space, and we gave easier proofs of the main results in [1] and [13]. In the present paper we discuss consequences of the above-mentioned results for the matricial structure of operators on Hilbert space.

math.FA↗
arXiv2016

Semi-cubic hyponormality of weighted shifts with stampfli recursive tail

Let $α:\sqrt{x_{m}},\cdots ,\sqrt{x_{1}},(\sqrt{u},\sqrt{v},\sqrt{w}% )^{\wedge}$ be a backward $m$-step extension of a recursive weight sequence and let $% W_{α}$ be the weighted shift associated with $α$. In this paper we characterize the semi-cubic hyponormality of $W_{α}$ having the positive determinant coefficient property and discuss some related examples.

math.FA↗
arXiv2016

Subnormality of unbounded composition operators over one-circuit directed graphs: exotic examples

A recent example of a non-hyponormal injective composition operator in an $L^2$-space generating Stieltjes moment sequences, invented by three of the present authors, was built over a non-locally finite directed tree. The main goal of this paper is to solve the problem of whether there exists such an operator over a locally finite directed graph and, in the affirmative case, to find the simplest possible graph with these properties (simplicity refers to local valency). The problem is solved affirmatively for the locally finite directed graph $\mathscr G_{2,0}$, which consists of two branches and one loop. The only simpler directed graph for which the problem remains unsolved consists of one branch and one loop. The consistency condition, the only efficient tool for verifying subnormality of unbounded composition operators, is intensively studied in the context of $\mathscr G_{2,0}$, which leads to a constructive method of solving the problem. The method itself is partly based on transforming the Krein and the Friedrichs measures coming either from shifted Al-Salam-Carlitz $q$-polynomials or from a quartic birth and death process.

math.FA↗
arXiv2013

Unbounded quasinormal operators revisited

Various characterizations of unbounded closed densely defined operators commuting with the spectral measures of their moduli are established.In particular, Kaufman's definition of an unbounded quasinormal operator is shown to coincide with that given by the third-named author and Szafraniec. Examples demonstrating the sharpness of results are constructed.

math.FA↗