Showing 1–33 of 33 results for author: Lee, W Y

Operator-valued rational functions

Authors: Raul E. Curto, In Sung Hwang, Woo Young Lee

Abstract: 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… ▽ More 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. △ Less

Submitted 22 October, 2021; originally announced October 2021.

MSC Class: 47

The Beurling-Lax-Halmos Theorem for Infinite Multiplicity

Authors: Raul E. Curto, In Sung Hwang, Woo Young Lee

Abstract: 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… ▽ More 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. △ Less

Submitted 19 October, 2019; originally announced October 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1805.06574

MSC Class: 46

Journal ref: Journal of Functional Analysis (2020

A canonical decomposition of strong $L^2$-functions

Authors: In Sung Hwang, Woo Young Lee

Abstract: 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 multi… ▽ More 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. △ Less

Submitted 23 October, 2019; v1 submitted 16 May, 2018; originally announced May 2018.

Comments: This paper was incorporated in a part of the new paper [The Beurling-Lax-Halmos Theorem for Infinite Multiplicity; arXiv:1910.09957] co-authored with Raul E. Curto

MSC Class: 46E40; 47B35; 30H10; 30J05

An almost splitting theorem for a warped product space

Authors: Paul Woon Yin Lee

Abstract: We prove an almost splitting theorem for the warped product space with warped function $f(r)=\cosh\left(r\sqrt{\fracλ{n-2}}\right)$. We prove an almost splitting theorem for the warped product space with warped function $f(r)=\cosh\left(r\sqrt{\fracλ{n-2}}\right)$. △ Less

Submitted 31 March, 2018; originally announced April 2018.

Comments: 20 pages

MSC Class: 53C21; 53C24

A Warped Product Splitting Theorem Through Weak KAM Theory

Authors: Paul W. Y. Lee

Abstract: In this paper, we strengthen the splitting theorem proved in [14, 15] and provide a different approach using ideas from the weak KAM theory. In this paper, we strengthen the splitting theorem proved in [14, 15] and provide a different approach using ideas from the weak KAM theory. △ Less

Submitted 2 January, 2018; v1 submitted 24 December, 2017; originally announced December 2017.

Comments: 21 pages

Volume Rigidity of Principal Circle Bundles over the Complex Projective Space

Authors: Paul W. Y. Lee

Abstract: In this paper, we prove that principal circle bundles over the complex projective space equipped with the standard Sasakian structures are volume rigid among all $K$-contact manifolds satisfying positivity conditions of tensors involing the Tanaka-Webster curvature. In this paper, we prove that principal circle bundles over the complex projective space equipped with the standard Sasakian structures are volume rigid among all $K$-contact manifolds satisfying positivity conditions of tensors involing the Tanaka-Webster curvature. △ Less

Submitted 11 December, 2017; originally announced December 2017.

Comments: 27 pages

Matrix Functions of Bounded Type: An Interplay Between Function Theory and Operator Theory

Authors: Raúl E. Curto, In Sung Hwang, Woo Young Lee

Abstract: 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 singulari… ▽ More 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. △ Less

Submitted 19 November, 2016; originally announced November 2016.

Comments: To appear in Memoirs Amer. Math. Soc.; vii+106 pages in preprint form

MSC Class: 47

Ricci curvature lower bounds on Sasakian manifolds

Authors: Paul W. Y. Lee

Abstract: Measure contraction property is a synthetic Ricci curvature lower bound for metric measure spaces. We consider Sasakian manifolds with non-negative Tanaka-Webster Ricci curvature equipped with the metric measure space structure defined by the sub-Riemannian metric and the Popp measure. We show that these spaces satisfy the measure contraction property $MCP(0,N)$ for some positive integer $N$. We a… ▽ More Measure contraction property is a synthetic Ricci curvature lower bound for metric measure spaces. We consider Sasakian manifolds with non-negative Tanaka-Webster Ricci curvature equipped with the metric measure space structure defined by the sub-Riemannian metric and the Popp measure. We show that these spaces satisfy the measure contraction property $MCP(0,N)$ for some positive integer $N$. We also show that the same result holds when the Sasakian manifold is equipped with a family of Riemannian metrics extending the sub-Riemannian one. △ Less

Submitted 26 December, 2015; v1 submitted 30 November, 2015; originally announced November 2015.

Comments: 30 pages

MSC Class: 53C17; 31E05

Sharp Harnack inequalities for a family of hypoelliptic diffusions

Authors: P. W. Y. Lee

Abstract: We prove sharp Harnack inequalities for a family of Kolmogorov-Fokker-Planck type hypoelliptic diffusions. We prove sharp Harnack inequalities for a family of Kolmogorov-Fokker-Planck type hypoelliptic diffusions. △ Less

Submitted 1 November, 2015; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: 16 pages

MSC Class: 35K10; 35K65

The Harnack inequality and the Jordan-Kinderlehrer-Otto scheme

Authors: P. W. Y. Lee

Abstract: We establish a version of the Harnack inequality for the Jordan-Kinderlehrer-Otto scheme of the heat equation on the flat torus. We establish a version of the Harnack inequality for the Jordan-Kinderlehrer-Otto scheme of the heat equation on the flat torus. △ Less

Submitted 7 September, 2015; originally announced September 2015.

Comments: 9 pages

MSC Class: 35J96; 35K05

Elementary Proof of Lehmer's Conjecture on Non-vanishing of Tau Function

Authors: Will Y. Lee

Abstract: In this paper we prove Lehmer's conjecture on Ramanujan's tau function, namely tau(n) not equal to zero for n >= 1 by investigating the additive group structure attached to tau(n) with the aid of the pigeonhole principle and unique factorization theorem. In this paper we prove Lehmer's conjecture on Ramanujan's tau function, namely tau(n) not equal to zero for n >= 1 by investigating the additive group structure attached to tau(n) with the aid of the pigeonhole principle and unique factorization theorem. △ Less

Submitted 17 June, 2016; v1 submitted 5 June, 2015; originally announced June 2015.

Comments: The proof for Lemma 2 and Lemma 4 turned out to be false

Differential Harnack inequalities for linear parabolic equations

Authors: Paul W. Y. Lee

Abstract: We prove matrix and scalar differential Harnack inequalities for linear parabolic equations on Riemannian and Kähler manifolds. We prove matrix and scalar differential Harnack inequalities for linear parabolic equations on Riemannian and Kähler manifolds. △ Less

Submitted 27 July, 2015; v1 submitted 24 May, 2015; originally announced May 2015.

Comments: 15 pages

MSC Class: 35K10

On measure contraction property without Ricci curvature lower bound

Authors: Paul W. Y. Lee

Abstract: Measure contraction properties $MCP(K,N)$ are synthetic Ricci curvature lower bounds for metric measure spaces which do not necessarily have smooth structures. It is known that if a Riemannian manifold has dimension $N$, then $MCP(K,N)$ is equivalent to Ricci curvature bounded below by $K$. On the other hand, it was observed in \cite{Ri} that there is a family of left invariant metrics on the thre… ▽ More Measure contraction properties $MCP(K,N)$ are synthetic Ricci curvature lower bounds for metric measure spaces which do not necessarily have smooth structures. It is known that if a Riemannian manifold has dimension $N$, then $MCP(K,N)$ is equivalent to Ricci curvature bounded below by $K$. On the other hand, it was observed in \cite{Ri} that there is a family of left invariant metrics on the three dimensional Heisenberg group for which the Ricci curvature is not bounded below. Though this family of metric spaces equipped with the Harr measure satisfy $MCP(0,5)$. In this paper, we give sufficient conditions for a $2n+1$ dimensional weakly Sasakian manifold to satisfy $MCP(0,2n+3)$. This extends the above mentioned result on the Heisenberg group in \cite{Ri}. △ Less

Submitted 14 December, 2014; originally announced December 2014.

Comments: 18 pages

MSC Class: 53C21; 53C23

On the Jordan-Kinderlehrer-Otto scheme

Authors: Paul W. Y. Lee

Abstract: In this paper, we prove that the Jordan-Kinderlehrer-Otto scheme for a family of linear parabolic equations on the flat torus converges uniformly in space. In this paper, we prove that the Jordan-Kinderlehrer-Otto scheme for a family of linear parabolic equations on the flat torus converges uniformly in space. △ Less

Submitted 9 October, 2015; v1 submitted 13 August, 2014; originally announced August 2014.

Comments: 15 pages

Matrix Factorizations via the Inverse Function Theorem

Authors: Paul W. Y. Lee

Abstract: We give proofs of QR factorization, Cholesky's factorization, and LDU factorization using the inverse function theorem. As a consequence, we obtain analytic dependence of these matrix factorizations which does not follow immediately using Gaussian elimination. We give proofs of QR factorization, Cholesky's factorization, and LDU factorization using the inverse function theorem. As a consequence, we obtain analytic dependence of these matrix factorizations which does not follow immediately using Gaussian elimination. △ Less

Submitted 11 August, 2014; originally announced August 2014.

Comments: 6 pages

An answer to a question of A. Lubin: The lifting problem for commuting subnormals

Authors: Sang Hoon Lee, Woo Young Lee, Jasang Yoon

Abstract: The subnormality for the sum of commuting subnormal operators does not guarantee the existence of commuting normal extensions. The subnormality for the sum of commuting subnormal operators does not guarantee the existence of commuting normal extensions. △ Less

Submitted 17 September, 2015; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: This revised version has salvaged a gap in the inequality of (2.7) of the earlier version

MSC Class: Primary 47B20; 47B37; 47A13; 28A50; Secondary 44A60; 47A20

Lehmer's Conjecture on the Non-vanishing of Ramanujan's Tau Function

Authors: Will Y. Lee

Abstract: In this paper we attempt to prove Lehmer's conjecture on Ramanujan's tau function, namely tau(n) is never zero, for each n larger than zero by investigating the additive group structure attached to tau(n) with the aid of unique factorization theorem. In this paper we attempt to prove Lehmer's conjecture on Ramanujan's tau function, namely tau(n) is never zero, for each n larger than zero by investigating the additive group structure attached to tau(n) with the aid of unique factorization theorem. △ Less

Submitted 18 June, 2016; v1 submitted 13 June, 2014; originally announced June 2014.

Comments: I withdraw the paper as there is error in the proof of Lemma 2 and Lemma 4

Bishop and Laplacian comparison theorems on Sasakian manifolds

Authors: Paul W. Y. Lee, Chengbo Li

Abstract: We prove a Bishop volume comparison theorem and a Laplacian comparison theorem for a natural sub-Riemannian structure defined on Sasakian manifolds. This generalizes the earlier work for the three dimensional case. We prove a Bishop volume comparison theorem and a Laplacian comparison theorem for a natural sub-Riemannian structure defined on Sasakian manifolds. This generalizes the earlier work for the three dimensional case. △ Less

Submitted 22 October, 2013; v1 submitted 20 October, 2013; originally announced October 2013.

Comments: 38 pages

MSC Class: 53C17

Ricci curvature type lower bounds for sub-Riemannian structures on Sasakian manifolds

Authors: Paul W. Y. Lee, Chengbo Li, Igor Zelenko

Abstract: Measure contraction properties are generalizations of the notion of Ricci curvature lower bounds in Riemannian geometry to more general metric measure spaces. In this paper, we give sufficient conditions for a Sasakian manifold equipped with a natural sub-Riemannian distance to satisfy these properties. Moreover, the sufficient conditions are defined by the Tanaka-Webster curvature. This generaliz… ▽ More Measure contraction properties are generalizations of the notion of Ricci curvature lower bounds in Riemannian geometry to more general metric measure spaces. In this paper, we give sufficient conditions for a Sasakian manifold equipped with a natural sub-Riemannian distance to satisfy these properties. Moreover, the sufficient conditions are defined by the Tanaka-Webster curvature. This generalizes the earlier work in \cite{AgLe1} for the three dimensional case and in \cite{Ju} for the Heisenberg group. To obtain our results we use the intrinsic Jacobi equations along sub-Riemannian extremals, coming from the theory of canonical moving frames for curves in Lagrangian Grassmannians \cite{LiZe1, LiZe2}. The crucial new tool here is a certain decoupling of the corresponding matrix Riccati equation. It is also worth pointing out that our method leads to exact formulas for the measure contraction in the case of the corresponding homogeneous models in the considered class of sub-Riemannian structures. △ Less

Submitted 8 November, 2014; v1 submitted 9 April, 2013; originally announced April 2013.

Comments: 25 pages

MSC Class: 53A55; 53C17

Differential Harnack inequalities for a family of sub-elliptic diffusion equations on Sasakian manifolds

Authors: Paul W. Y. Lee

Abstract: We prove a version of differential Harnack inequality for a family of sub-elliptic diffusions on Sasakian manifolds under certain curvature conditions. We prove a version of differential Harnack inequality for a family of sub-elliptic diffusions on Sasakian manifolds under certain curvature conditions. △ Less

Submitted 14 February, 2013; originally announced February 2013.

Comments: 27 pages

MSC Class: 58J35; 58J60

Abrahamse's Theorem for matrix-valued symbols and subnormal Toeplitz completions

Authors: Raul E. Curto, In Sung Hwang, Woo Young Lee

Abstract: 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 $\varphi\in L^\infty$ is such that $\varphi$ or $\overline\varphi$ is of bounded type and if $T_\varphi$ is s… ▽ More 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 $\varphi\in L^\infty$ is such that $\varphi$ or $\overline\varphi$ is of bounded type and if $T_\varphi$ is subnormal, then $T_\varphi$ 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$). △ Less

Submitted 29 January, 2013; originally announced January 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1201.5974

MSC Class: Primary 47B20; 47B35; 46J15; 15A83; Secondary 30H10; 47A20

Generalized Li-Yau estimates and Huisken's monotonicity formula

Authors: Paul W. Y. Lee

Abstract: We prove a generalization of the Li-Yau estimate for a board class of second order linear parabolic equations. As a consequence, we obtain a new Cheeger-Yau inequality and a new Harnack inequality for these equations. We also prove a Hamilton-Li-Yau estimate, which is a matrix version of the Li-Yau estimate, for these equations. This results in a generalization of Huisken's monotonicity formula fo… ▽ More We prove a generalization of the Li-Yau estimate for a board class of second order linear parabolic equations. As a consequence, we obtain a new Cheeger-Yau inequality and a new Harnack inequality for these equations. We also prove a Hamilton-Li-Yau estimate, which is a matrix version of the Li-Yau estimate, for these equations. This results in a generalization of Huisken's monotonicity formula for a family of evolving hypersurfaces. Finally, we also show that all these generalizations are sharp in the sense that the inequalities become equalities for a family of fundamental solutions, which however different from the Gaussian heat kernels on which the equality was achieved in the classical case. △ Less

Submitted 3 September, 2013; v1 submitted 23 November, 2012; originally announced November 2012.

Comments: 31 pages

MSC Class: 58J35

Displacement interpolations from a Hamiltonian point of view

Authors: Paul W. Y. Lee

Abstract: One of the most well-known results in the theory of optimal transportation is the equivalence between the convexity of the entropy functional with respect to the Riemannian Wasserstein metric and the Ricci curvature lower bound of the underlying Riemannian manifold. There are also generalizations of this result to the Finsler manifolds and manifolds with a Ricci flow background. In this paper, we… ▽ More One of the most well-known results in the theory of optimal transportation is the equivalence between the convexity of the entropy functional with respect to the Riemannian Wasserstein metric and the Ricci curvature lower bound of the underlying Riemannian manifold. There are also generalizations of this result to the Finsler manifolds and manifolds with a Ricci flow background. In this paper, we study displacement interpolations from the point of view of Hamiltonian systems and give a unifying approach to the above mentioned results. △ Less

Submitted 20 July, 2013; v1 submitted 7 May, 2012; originally announced May 2012.

Comments: 46 pages (A discussion on the Finsler case and a new example are added)

On curvature and hyperbolicity of monotone Hamiltonian systems

Authors: Paul W. Y. Lee

Abstract: Assume that a Hamiltonian system is monotone. In this paper, we give several characterizations on when such a system is Anosov. Assuming that a monotone Hamiltonian system has no conjugate point, we show that there are two distributions which are invariant under the Hamiltonian flow. We show that a monotone Hamiltonian flow without conjugate point is Anosov if and only if these distributions are t… ▽ More Assume that a Hamiltonian system is monotone. In this paper, we give several characterizations on when such a system is Anosov. Assuming that a monotone Hamiltonian system has no conjugate point, we show that there are two distributions which are invariant under the Hamiltonian flow. We show that a monotone Hamiltonian flow without conjugate point is Anosov if and only if these distributions are transversal. We also show that if the reduced curvature of the Hamiltonian system is non-positive, then the flow is Anosov if and only if the reduced curvature is negative somewhere along each trajectory. △ Less

Submitted 28 July, 2012; v1 submitted 16 February, 2012; originally announced February 2012.

Comments: 34 pages, some typos are fixed in the new version

MSC Class: 37D20

Hyponormality and Subnormality of Block Toeplitz Operators

Authors: Raul Curto, In Sung Hwang, Woo Young Lee

Abstract: 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… ▽ More 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$. △ Less

Submitted 13 July, 2012; v1 submitted 28 January, 2012; originally announced January 2012.

Comments: Final version, accepted for publication in Advances in Mathematics

MSC Class: 47B20; 47B35; 47A13 (Primary) 30H10; 47A20; 47A57 (Secondary)

Journal ref: Adv. Math. 230(2012), 2094-2151

Which subnormal Toeplitz operators are either normal or analytic?

Authors: Raul Curto, In Sung Hwang, Woo Young Lee

Abstract: 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… ▽ More 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. △ Less

Submitted 13 July, 2012; v1 submitted 28 January, 2012; originally announced January 2012.

Comments: Final version, accepted for publication in Journal of Functional Analysis

MSC Class: 47B20; 47B35; 46J15 (Primary) 30H10; 47A57 (Secondary)

On surfaces in three dimensional contact manifolds

Authors: Paul Woon Yin Lee

Abstract: In this paper, we introduce two notions on a surface in a contact manifold. The first one is called degree of transversality (DOT) which measures the transversality between the tangent spaces of a surface and the contact planes. The second quantity, called curvature of transversality (COT), is designed to give a comparison principle for DOT along characteristic curves under bounds on COT. In parti… ▽ More In this paper, we introduce two notions on a surface in a contact manifold. The first one is called degree of transversality (DOT) which measures the transversality between the tangent spaces of a surface and the contact planes. The second quantity, called curvature of transversality (COT), is designed to give a comparison principle for DOT along characteristic curves under bounds on COT. In particular, this gives estimates on lengths of characteristic curves assuming COT is bounded below by a positive constant. We show that surfaces with constant COT exist and we classify all graphs in the Heisenberg group with vanishing COT. This is accomplished by showing that the equation for graphs with zero COT can be decomposed into two first order PDEs, one of which is the backward invisicid Burgers' equation. Finally we show that the p-minimal graph equation in the Heisenberg group also has such a decomposition. Moreover, we can use this decomposition to write down an explicit formula of a solution near a regular point. △ Less

Submitted 12 June, 2012; v1 submitted 1 September, 2011; originally announced September 2011.

Comments: 16 pages

MSC Class: 32V30; 35R03

Bishop and Laplacian Comparison Theorems on Three Dimensional Contact Subriemannian Manifolds with Symmetry

Authors: Andrei Agrachev, Paul W. Y. Lee

Abstract: We prove a Bishop volume comparison theorem and a Laplacian comparison theorem for three dimensional contact subriemannian manifolds with symmetry. We prove a Bishop volume comparison theorem and a Laplacian comparison theorem for three dimensional contact subriemannian manifolds with symmetry. △ Less

Submitted 6 July, 2013; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: 26 pages (some typos fixed)

MSC Class: 53C17; 35R03

A Remark on the Potentials of Optimal Transport Maps

Authors: Paul W. Y. Lee

Abstract: Optimal maps, solutions to the optimal transportation problems, are completely determined by the corresponding c-convex potential functions. In this paper, we give simple sufficient conditions for a smooth function to be c-convex when the cost is given by minimizing a Lagrangian action. Optimal maps, solutions to the optimal transportation problems, are completely determined by the corresponding c-convex potential functions. In this paper, we give simple sufficient conditions for a smooth function to be c-convex when the cost is given by minimizing a Lagrangian action. △ Less

Submitted 20 June, 2010; originally announced June 2010.

Comments: 20 pages

MSC Class: 49L99; 37J05

New Computable Necessary Conditions for the Regularity Theory of Optimal Transportation

Authors: Paul W. Y. Lee

Abstract: We give new computable necessary conditions for a class of optimal transportation problems to have smooth solutions. We give new computable necessary conditions for a class of optimal transportation problems to have smooth solutions. △ Less

Submitted 22 May, 2010; v1 submitted 24 December, 2009; originally announced December 2009.

Comments: 28 pages

MSC Class: 35J70

New examples on spaces of negative sectional curvature satisfying Ma-Trudinger-Wang conditions

Authors: Paul W. Y. Lee, Jiayong Li

Abstract: In this paper, we study the Ma-Trudinger-Wang (MTW) conditions for cost functions $c$ which are of the form $c=l\circ d$, where $d$ is a Riemannian distance function with constant sectional curvature. In this case, the MTW conditions are equivalent to some computable conditions on the function $l$. As a corollary, we give some new costs on Riemannian manifolds of constant negative curvature for… ▽ More In this paper, we study the Ma-Trudinger-Wang (MTW) conditions for cost functions $c$ which are of the form $c=l\circ d$, where $d$ is a Riemannian distance function with constant sectional curvature. In this case, the MTW conditions are equivalent to some computable conditions on the function $l$. As a corollary, we give some new costs on Riemannian manifolds of constant negative curvature for which the MTW conditions are satisfied. △ Less

Submitted 4 December, 2009; v1 submitted 20 November, 2009; originally announced November 2009.

Comments: 17 pages

MSC Class: 35J70

The Ma-Trudinger-Wang curvature for natural mechanical actions

Authors: Paul W. Y. Lee, Robert J. McCann

Abstract: The Ma-Trudinger-Wang curvature --- or cross-curvature --- is an object arising in the regularity theory of optimal transportation. If the transportation cost is derived from a Hamiltonian action, we show its cross-curvature can be expressed in terms of the associated Jacobi fields. Using this expression, we show the least action corresponding to a harmonic oscillator has zero cross-curvature, and… ▽ More The Ma-Trudinger-Wang curvature --- or cross-curvature --- is an object arising in the regularity theory of optimal transportation. If the transportation cost is derived from a Hamiltonian action, we show its cross-curvature can be expressed in terms of the associated Jacobi fields. Using this expression, we show the least action corresponding to a harmonic oscillator has zero cross-curvature, and in particular satisfies the necessary and sufficient condition \Athreew\ for the continuity of optimal maps. We go on to study gentle perturbations of the free action by a potential, and deduce conditions on the potential which guarantee either that the corresponding cost satisfies the more restrictive condition \Athrees\ of Ma, Trudinger and Wang, or in some cases has positive cross-curvature. In particular, the quartic potential of the anharmonic oscillator satisfies \Athrees\ in the perturbative regime. △ Less

Submitted 30 May, 2010; v1 submitted 31 August, 2009; originally announced August 2009.

Comments: 18 pages

MSC Class: 35B65

k-hyponormality of finite rank perturbations of unilateral weighted shifts

Authors: Raul E. Curto, Woo Young Lee

Abstract: In this paper we explore finite rank perturbations of unilateral weighted shifts $W_α$. First, we prove that the subnormality of $W_α$ is never stable under nonzero finite rank pertrubations unless the perturbation occurs at the zeroth weight. Second, we establish that 2-hyponormality implies positive quadratic hyponormality, in the sense that the Maclaurin coefficients of… ▽ More In this paper we explore finite rank perturbations of unilateral weighted shifts $W_α$. First, we prove that the subnormality of $W_α$ is never stable under nonzero finite rank pertrubations unless the perturbation occurs at the zeroth weight. Second, we establish that 2-hyponormality implies positive quadratic hyponormality, in the sense that the Maclaurin coefficients of $D_n(s):=\text{det} P_n [(W_α+sW_α^2)^*, W_α+s W_α^2] P_n$ are nonnegative, for every $n\ge 0$, where $P_n$ denotes the orthogonal projection onto the basis vectors $\{e_0,...,e_n\}$. Finally, for $α$ strictly increasing and $W_α$ 2-hyponormal, we show that for a small finite-rank perturbation $α^\prime$ of $α$, the shift $W_{α^\prime}$ remains quadratically hyponormal. △ Less

Submitted 4 July, 2005; originally announced July 2005.

Comments: 19 pages; to appear in Trans. Amer. Math. Soc

MSC Class: 47B20; 47B35; 47B37

Journal ref: Trans. Amer. Math. Soc. 357(2005), 4719-4737