arXiv subjects
Publications and source records attributed to In Sung Hwang.
In this paper we show that every inner divisor of the operator-valued coordinate function, $zI_E$, is a Blaschke-Potapov factor. We also introduce a notion of operator-valued "rational" function and then show that $Δ$ is two-sided inner and rational if and only if it can be represented as a finite Blaschke-Potapov product; this extends to operator-valued functions the well-known result proved by V.P. Potapov for matrix-valued functions.
This paper gives a complete answer to the following problem: Find the circle companion of the Hardy space of the unit disk with values in the space of all bounded linear operators between two separable Hilbert spaces. Classically, the problem asks whether for each function $h$ on the unit {\it disk}, there exists a ``boundary function" $bh$ on the unit {\it circle} such that the mapping $bh\mapsto h$ is an isometric isomorphism between Hardy spaces of the unit circle and the unit disk with values in some Banach space. For the case of bounded linear operator-valued functions, we construct a Hardy space of the unit circle such that its elements are SOT measurable, and their norms are integrable: indeed, this new space is isometrically isomorphic to the Hardy space of the unit disk via a ``strong Poisson integral."
In this paper we consider the subnormality of block Toeplitz operators $T_Φ$, where $Φ$ is an $n\times n$ matrix-valued function on the unit circle $\mathbb T$ of the form $$ Φ=QΦ^* \quad \hbox{($Q$ is a finite Blaschke--Potapov product).} $$ This is related to a matrix-valued version of Halmos's Problem 5 and Nakazi-Takahashi Theorem. We ask whether $T_Φ$ is either normal or analytic if $T_Φ$ is subnormal, where $Φ$ is of the above form. We give answers to this problem for different cases of the symbol. Moreover, we provide a sufficient condition for the answer to be affirmative when $Φ^*$ is not of bounded type.
In this paper we formulate the almost invariant subspaces theorems of backward shift operators in terms of the ranges or kernels of product of Toeplitz and Hankel operators. This approach simplifies and gives more explicit forms of these almost invariant subspaces which are derived from related nearly backward shift invariant subspaces with finite defect. Furthermore, this approach also leads to the surprising result that the almost invariant subspaces of backward shift operators are the same as the almost invariant subspaces of forward shift operators which were treated only briefly in literature.
We studied the feasibility of an experiment searching for sub-millicharged particles ($χ$s) using 30 GeV proton fixed-target collisions at J-PARC. The detector is composed of two layers of stacked scintillator bars and PMTs and is proposed to be installed 280 m from the target. The main background is a random coincidence between two layers due to dark counts in PMTs, which can be reduced to a negligible level using the timing of the proton beam. With $N_\textrm{POT}=10^{22}$ which corresponds to running the experiment for three years, the experiment provides sensitivity to $χ$s with the charge down to $5\times10^{-5}$ in $m_χ<0.2$ $\textrm{GeV}/\textrm{c}^2$ and $8\times10^{-4}$ in $m_χ<1.6$ $\textrm{GeV}/\textrm{c}^2$. This is the regime largely uncovered by the previous experiments. We also explored a few detector designs to achieve an optimal sensitivity to $χ$s. The photoelectron yield is the main driver, but the sensitivity does not have a strong dependence on the detector configuration in the sub-millicharge regime.
The aim of this paper is to establish a canonical decomposition of operator-valued strong $L^2$-functions by the aid of the Beurling-Lax-Halmos Theorem which characterizes the shift-invariant subspaces of vector-valued Hardy space. This decomposition invites us to coin a new notion of the "Beurling degree" of the inner function. Eventually, we establish a deep connection between the spectral multiplicity of the model operator and the Beurling degree of the corresponding characteristic function.
In this paper, we consider several questions emerging from the Beurling-Lax-Halmos Theorem, which characterizes the shift-invariant subspaces of vector-valued Hardy spaces. The Beurling-Lax-Halmos Theorem states that a backward shift-invariant subspace is a model space $\mathcal{H}(Δ) \equiv H_E^2 \ominus ΔH_{E}^2$, for some inner function $Δ$. Our first question calls for a description of the set $F$ in $H_E^2$ such that $\mathcal{H}(Δ)=E_F^*$, where $E_F^*$ denotes the smallest backward shift-invariant subspace containing the set $F$. In our pursuit of a general solution to this question, we are naturally led to take into account a canonical decomposition of operator-valued strong $L^2$-functions. Next, we ask: Is every shift-invariant subspace the kernel of a (possibly unbounded) Hankel operator? As we know, the kernel of a Hankel operator is shift-invariant, so the above question is equivalent to seeking a solution to the equation $\ker H_Φ^*=ΔH_{E^{\prime}}^2$, where $Δ$ is an inner function satisfying $Δ^* Δ=I_{E^{\prime}}$ almost everywhere on the unit circle $\mathbb{T}$ and $H_Φ$ denotes the Hankel operator with symbol $Φ$. Consideration of the above question on the structure of shift-invariant subspaces leads us to study and coin a new notion of "Beurling degree" for an inner function. We then establish a deep connection between the spectral multiplicity of the model operator and the Beurling degree of the corresponding characteristic function. At the same time, we consider the notion of meromorphic pseudo-continuations of bounded type for operator-valued functions, and then use this notion to study the spectral multiplicity of model operators (truncated backward shifts) between separable complex Hilbert spaces. In particular, we consider the multiplicity-free case.
In this paper, we study matrix functions of bounded type from the viewpoint of describing an interplay between function theory and operator theory. \ We first establish a criterion on the coprime-ness of two singular inner functions and obtain several properties of the Douglas-Shapiro-Shields factorizations of matrix functions of bounded type. \ We propose a new notion of tensored-scalar singularity, and then answer questions on Hankel operators with matrix-valued bounded type symbols. \ We also examine an interpolation problem related to a certain functional equation on matrix functions of bounded type; this can be seen as an extension of the classical Hermite-Fej\' er Interpolation Problem for matrix rational functions. \ We then extend the $H^\infty$-functional calculus to an $\overline{H^\infty}+H^\infty$-functional calculus for the compressions of the shift. \ Next, we consider the subnormality of Toeplitz operators with matrix-valued bounded type symbols and, in particular, the matrix-valued version of Halmos's Problem 5; we then establish a matrix-valued version of Abrahamse's Theorem. \ We also solve a subnormal Toeplitz completion problem of $2\times 2$ partial block Toeplitz matrices. \ Further, we establish a characterization of hyponormal Toeplitz pairs with matrix-valued bounded type symbols, and then derive rank formulae for the self-commutators of hyponormal Toeplitz pairs.
This paper deals with subnormality of Toeplitz operators with matrix-valued symbols and, in particular, with an appropriate reformulation of Halmos's Problem 5: Which subnormal Toeplitz operators with matrix-valued symbols are either normal or analytic? In 1976, M. Abrahamse showed that if $φ\in L^\infty$ is such that $φ$ or $\overlineφ$ is of bounded type and if $T_φ$ is subnormal, then $T_φ$ is either normal or analytic. In this paper we establish a matrix-valued version of Abrahamse's Theorem and then apply this result to solve the following Toeplitz completion problem: Find the unspecified Toeplitz entries of the partial block Toeplitz matrix $$ A:=\begin{bmatrix} T_{\overline b_α} & ?\\?& T_{\overline b_β}\end{bmatrix}\quad\hbox{($α,β\in\mathbb D$)} $$ so that $A$ becomes subnormal, where $b_λ$ is a Blaschke factor of the form $b_λ(z):=\frac{z-λ}{1-\overline λz}$ ($λ\in \mathbb D$).
We study subnormal Toeplitz operators on the vector-valued Hardy space of the unit circle, along with an appropriate reformulation of P.R. Halmos's Problem 5: Which subnormal block Toeplitz operators are either normal or analytic? We extend and prove Abrahamse's Theorem to the case of matrix-valued symbols; that is, we show that every subnormal block Toeplitz operator with bounded type symbol (i.e., a quotient of two analytic functions), whose co-analytic part has a "coprime decomposition," is normal or analytic. We also prove that the coprime decomposition condition is essential. Finally, we examine a well known conjecture, of whether every submormal Toeplitz operator with finite rank self-commutator is normal or analytic.
In this paper we are concerned with hyponormality and subnormality of block Toeplitz operators acting on the vector-valued Hardy space $H^2_{\mathbb{C}^n}$ of the unit circle. Firstly, we establish a tractable and explicit criterion on the hyponormality of block Toeplitz operators having bounded type symbols via the triangularization theorem for compressions of the shift operator. Secondly, we consider the gap between hyponormality and subnormality for block Toeplitz operators. This is closely related to Halmos's Problem 5: Is every subnormal Toeplitz operator either normal or analytic? We show that if $Φ$ is a matrix-valued rational function whose co-analytic part has a coprime factorization then every hyponormal Toeplitz operator $T_Φ$ whose square is also hyponormal must be either normal or analytic. Thirdly, using the subnormal theory of block Toeplitz operators, we give an answer to the following "Toeplitz completion" problem: Find the unspecified Toeplitz entries of the partial block Toeplitz matrix $$A:=[U^*& ? ?&U^*] $$ so that $A$ becomes subnormal, where $U$ is the unilateral shift on $H^2$.