Showing 1–46 of 46 results for author: Hwang, S

Transverse Ricci solitons on a compact foliated manifold

Authors: Seungsu Hwang, Seoung Dal Jung, Jungwoo Moon

Abstract: We investigate transverse Ricci solitons, the self-similar solutions of the transverse Ricci flow, on a compact foliated manifold. In particular, we show the relations between a taut Riemannian foliation and a transverse Ricci soliton. Moreover, we find some examples of transverse Ricci solitons. We investigate transverse Ricci solitons, the self-similar solutions of the transverse Ricci flow, on a compact foliated manifold. In particular, we show the relations between a taut Riemannian foliation and a transverse Ricci soliton. Moreover, we find some examples of transverse Ricci solitons. △ Less

Submitted 20 March, 2024; originally announced March 2024.

Comments: 32 pages

MSC Class: 53C12; 53C25

A Note on Finite Number Rings

Authors: Suk-Geun Hwang, Woo Jeon, Ki-Bong Nam, Tung T. Nguyen

Abstract: We define the finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ where $m,n$ are positive integers and $r$ in an integer akin to the definition of the Gaussian integer ${\Bbb Z}[i]$. This idea is also introduced briefly in [7]. By definition, this finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ is naturally isomorphic to the ring ${\Bbb Z}_n[x]/{\langle x^m-r \rangle}$. From an educational standpoint, th… ▽ More We define the finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ where $m,n$ are positive integers and $r$ in an integer akin to the definition of the Gaussian integer ${\Bbb Z}[i]$. This idea is also introduced briefly in [7]. By definition, this finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ is naturally isomorphic to the ring ${\Bbb Z}_n[x]/{\langle x^m-r \rangle}$. From an educational standpoint, this description offers a straightforward and elementary presentation of this finite ring, making it suitable for readers who do not have extensive exposure to abstract algebra. We discuss various arithmetical properties of this ring. In particular, when $n=p$ is a prime number and $\mathbb{Z}_p$ contains a primitive $m$-root of unity, we describe the structure of $\mathbb{Z}_n[\sqrt[m]{r}]$ explicitly. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: Expository paper. Comments are welcome!

MSC Class: 11T06; 11T30; 11Z05; 97H40

Bayesian Approach to Linear Bayesian Networks

Authors: Seyong Hwang, Kyoungjae Lee, Sunmin Oh, Gunwoong Park

Abstract: This study proposes the first Bayesian approach for learning high-dimensional linear Bayesian networks. The proposed approach iteratively estimates each element of the topological ordering from backward and its parent using the inverse of a partial covariance matrix. The proposed method successfully recovers the underlying structure when Bayesian regularization for the inverse covariance matrix wi… ▽ More This study proposes the first Bayesian approach for learning high-dimensional linear Bayesian networks. The proposed approach iteratively estimates each element of the topological ordering from backward and its parent using the inverse of a partial covariance matrix. The proposed method successfully recovers the underlying structure when Bayesian regularization for the inverse covariance matrix with unequal shrinkage is applied. Specifically, it shows that the number of samples $n = Ω( d_M^2 \log p)$ and $n = Ω(d_M^2 p^{2/m})$ are sufficient for the proposed algorithm to learn linear Bayesian networks with sub-Gaussian and 4m-th bounded-moment error distributions, respectively, where $p$ is the number of nodes and $d_M$ is the maximum degree of the moralized graph. The theoretical findings are supported by extensive simulation studies including real data analysis. Furthermore the proposed method is demonstrated to outperform state-of-the-art frequentist approaches, such as the BHLSM, LISTEN, and TD algorithms in synthetic data. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Vacuum static spaces and Conformal vector fields

Authors: Seungsu Hwang, Gab** Yun

Abstract: In this paper, we show that if a compact $n$-dimensional vacuum static space $(M^n, g, f)$ admits a non-trivial closed conformal vector field $V$, then $(M, g)$ is isometric to a standard sphere ${\Bbb S}^n(c)$. We also prove that if a pair $(g, f)$ of a Riemannian metric and a function defined on a compact $n$-dimensional manifold $M^n$ satisfies the critical point equation and $(M, g)$ admits a… ▽ More In this paper, we show that if a compact $n$-dimensional vacuum static space $(M^n, g, f)$ admits a non-trivial closed conformal vector field $V$, then $(M, g)$ is isometric to a standard sphere ${\Bbb S}^n(c)$. We also prove that if a pair $(g, f)$ of a Riemannian metric and a function defined on a compact $n$-dimensional manifold $M^n$ satisfies the critical point equation and $(M, g)$ admits a non-trivial closed conformal vector field $V$, we have the same result. Finally, we prove a criterion for a nontrivial conformal vector field to be closed. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: 13

MSC Class: Primary 53C21; Secondary 53C24

Existence of weak solutions for Porous medium equation with a divergence type of drift term in a bounded domain

Authors: Sukjung Hwang, Kyungkeun Kang, Hwa Kil Kim

Abstract: We study porous medium equations with a divergence form of drift terms in a bounded domain with no-flux lateral boundary conditions. We establish $L^q$-weak solutions for $ 1\leq q < \infty$ in Wasserstein space under appropriate conditions on the drift, which is an extension of authors' previous works done in the whole space into the case of bounded domains. Applying existence results to a certai… ▽ More We study porous medium equations with a divergence form of drift terms in a bounded domain with no-flux lateral boundary conditions. We establish $L^q$-weak solutions for $ 1\leq q < \infty$ in Wasserstein space under appropriate conditions on the drift, which is an extension of authors' previous works done in the whole space into the case of bounded domains. Applying existence results to a certain Keller-Segel equation of consumption type, construction of $L^q$-weak solutions is also made, in case that the equation of a biological organism is of porous medium type. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 37 pages. arXiv admin note: text overlap with arXiv:2111.04278

Persistence of the solution to the Euler equations in the end-point critical Triebel-Lizorkin space $F^{d+1}_{1, \infty}(\mathbb{R}^d)$

Authors: Hee Chul Pak, Jun Seok Hwang

Abstract: Local stay of the solutions to the Euler equations for an ideal incompressible fluid in the end-point Triebel-Lizorkin spaces $F^s_{1, \infty}(\mathbb{R}^d)$ with $s \geq d + 1$ is clarified. Local stay of the solutions to the Euler equations for an ideal incompressible fluid in the end-point Triebel-Lizorkin spaces $F^s_{1, \infty}(\mathbb{R}^d)$ with $s \geq d + 1$ is clarified. △ Less

Submitted 26 February, 2023; originally announced February 2023.

Comments: 15 pages

MSC Class: 76B03; 35Q31

Generalized Lindemann-Weierstrass and Gelfond-Schneider-Baker Theorems

Authors: Suk-Geun Hwang, Choon Ho Lee, Ki-Bong Nam Rachel M Chaphalkar

Abstract: We generalize Lindemann-Weierstrass theorem and Gelfond -Schneider-Baker Theorem. We find new transcendental numbers in this work. There are several methods to find transcendental numbers in the work. Recently transcendental numbers are applicable for cryptography (\cite{G}, \cite{K}, \cite{V}). Since we are able to make many tables of random numbers, the new transcendental numbers will be applica… ▽ More We generalize Lindemann-Weierstrass theorem and Gelfond -Schneider-Baker Theorem. We find new transcendental numbers in this work. There are several methods to find transcendental numbers in the work. Recently transcendental numbers are applicable for cryptography (\cite{G}, \cite{K}, \cite{V}). Since we are able to make many tables of random numbers, the new transcendental numbers will be applicable for encryption and decryption in this work (\cite{V}, \cite{Z}). △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 6 pages. arXiv admin note: text overlap with arXiv:2106.04055

MSC Class: 11J81; 11J85

Critical Point Equation on three-dimensional manifolds and the Besse Conjecture

Authors: Gab** Yun, Seungsu Hwang

Abstract: In this paper, we present the resolution of the Besse conjecture on a three dimensional compact manifold. We also prove the rigidity of the Miao-Tam critical metric on a three dimensional compact manifold with a smooth boundary. In this paper, we present the resolution of the Besse conjecture on a three dimensional compact manifold. We also prove the rigidity of the Miao-Tam critical metric on a three dimensional compact manifold with a smooth boundary. △ Less

Submitted 30 November, 2022; v1 submitted 23 August, 2022; originally announced August 2022.

Comments: There is an error in the proof of Lemma 3.6 (Lemma 5.1)

MSC Class: 53C21

On the geometry of Einstein-type manifolds with some structural conditions

Authors: Gab** Yun, Seungsu Hwang

Abstract: In this paper, we investigate the geometry of Einstein-type equation on a Riemannian manifold, unifying various particular geometric structures recently studied in the literature, such as critical point equation and vacuum static equation. We show various rigidity results of Einstein-type manifolds under assumptions of several curvature conditions. In this paper, we investigate the geometry of Einstein-type equation on a Riemannian manifold, unifying various particular geometric structures recently studied in the literature, such as critical point equation and vacuum static equation. We show various rigidity results of Einstein-type manifolds under assumptions of several curvature conditions. △ Less

Submitted 30 March, 2022; originally announced March 2022.

MSC Class: 53C25; 53C20; 53C43

Existence of weak solutions for Porous medium equation with a divergence type of drift term

Authors: Sukjung Hwang, Kyungkeun Kang, Haw Kil Kim

Abstract: We consider degenerate porous medium equations with a divergence type of drift terms. We establish the existence of $L^{q}$-weak solutions (satisfying energy estimates or even further with moment and speed estimates in Wasserstein spaces), in case the drift term belongs to a sub-scaling (including scaling invariant) class depending on $q$ and $m$ caused by the nonlinear structure of diffusion, whi… ▽ More We consider degenerate porous medium equations with a divergence type of drift terms. We establish the existence of $L^{q}$-weak solutions (satisfying energy estimates or even further with moment and speed estimates in Wasserstein spaces), in case the drift term belongs to a sub-scaling (including scaling invariant) class depending on $q$ and $m$ caused by the nonlinear structure of diffusion, which is a major difference compared to that of a linear case. It is noticeable that the classes of drift terms become wider if the drift term is divergence-free. Similar conditions of gradients of drift terms are also provided to ensure the existence of such weak solutions. Uniqueness results follow under an additional condition on the gradients of the drift terms with the aid of methods developed in Wasserstein spaces. One of our main tools is so called the splitting method to construct a sequence of approximated solutions, which implies, bypassing to the limit, the existence of weak solutions satisfying not only an energy inequality but also moment and speed estimates. One of the crucial points in the construction is uniform Hölder continuity up to initial time for homogeneous porous medium equations, which seems to be of independent interest. As an application, we improve a regularity result for solutions of a repulsive Keller-Segel system of porous medium type. △ Less

Submitted 6 January, 2022; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: 76 pages

MSC Class: 35A01; 35K55; 35Q84; 92B05

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

Closed generalized Einstein manifolds with radially flat Ricci curvature

Authors: Seungsu Hwang, Marcio Santos, Gab** Yun

Abstract: In this paper, we show that a closed $n$-dimensional generalized $(λ, n+m)$-Einstein manifold of constant scalar curvature with weakly radially zero Ricci curvature is isometric to either a sphere ${\Bbb S}^n$, or a product ${\Bbb S}^{1} \times Σ^{n-1}$ of a circle with an $(n-1)$-dimensional Einstein manifold of positive Ricci curvature, up to finite cover and rescaling. Furthermore, if we assume… ▽ More In this paper, we show that a closed $n$-dimensional generalized $(λ, n+m)$-Einstein manifold of constant scalar curvature with weakly radially zero Ricci curvature is isometric to either a sphere ${\Bbb S}^n$, or a product ${\Bbb S}^{1} \times Σ^{n-1}$ of a circle with an $(n-1)$-dimensional Einstein manifold of positive Ricci curvature, up to finite cover and rescaling. Furthermore, if we assume $(M, g)$ has positive isotropic curvature, $M$ must be isometric to either a sphere ${\Bbb S}^n$, or a product ${\Bbb S}^{1} \times {\Bbb S}^{n-1}$ of a circle with an $(n-1)$-sphere. △ Less

Submitted 9 August, 2023; v1 submitted 24 August, 2021; originally announced August 2021.

Comments: 21 pages

MSC Class: 53C25; 58E11

New Gelfond-Type Transcendental Numbers

Authors: R. M. Chaphalkar, S. G. Hwang, C. H. Lee, Ki-Bong Nam

Abstract: It is well known that value at a non-zero algebraic number of each of the functions $e^{x}, \ln x, \sin x, \cos x, \tan x, \csc x, \sec x, \cot x, \sinh x,$ $ \cosh x,$ $ \tanh x,$ and $\coth x$ is transcendental number (see Theorem 9.11 of \cite{N}). In the work, we show that for any one of the above mentioned functions, $f(x)$, and for a polynomial $g(x)$ with rational coefficients the zero, if… ▽ More It is well known that value at a non-zero algebraic number of each of the functions $e^{x}, \ln x, \sin x, \cos x, \tan x, \csc x, \sec x, \cot x, \sinh x,$ $ \cosh x,$ $ \tanh x,$ and $\coth x$ is transcendental number (see Theorem 9.11 of \cite{N}). In the work, we show that for any one of the above mentioned functions, $f(x)$, and for a polynomial $g(x)$ with rational coefficients the zero, if any, of the equation $f(x)=g(x)$ is a transcendental number. We also show that if $f(x)$ and $g(x)$ are polynomials with rational coefficients, then a zero of the equation $e^{f(x)}=g(x)$ is a transcendental number. Finally we show that the existence of an abelian group whose non-zero elements are transcendental numbers. △ Less

Submitted 19 September, 2021; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: 6 Pages

MSC Class: 11J81

V-static spaces with positive isotropic curvature

Authors: Gab** Yun, Seungsu Hwang

Abstract: In this paper, we give a complete classification of critical metrics of the volume functional on a compact manifold $M$ with boundary $\partial M$ having positive isotropic curvature. We prove that for a pair $(f, κ)$ of a nontrivial smooth function $f: M \to {\Bbb R}$ and a nonnegative real number $κ$, if $(M, g)$ having positive isotropic curvature satisfies $$ Ddf - (Δf)g - f{\rm Ric} = κg, $$… ▽ More In this paper, we give a complete classification of critical metrics of the volume functional on a compact manifold $M$ with boundary $\partial M$ having positive isotropic curvature. We prove that for a pair $(f, κ)$ of a nontrivial smooth function $f: M \to {\Bbb R}$ and a nonnegative real number $κ$, if $(M, g)$ having positive isotropic curvature satisfies $$ Ddf - (Δf)g - f{\rm Ric} = κg, $$ then $(M, g)$ is isometric to a geodesic ball in ${\Bbb S}^n$ when $κ>0$, and either $M$ isometric to ${\Bbb S}^n_+$, or the product $I \times {\Bbb S}^{n-1}$, up to finite cover when $κ=0$. △ Less

Submitted 29 March, 2021; originally announced March 2021.

MSC Class: 53C25

Vacuum Static Spaces with Positive Isotropic Curvature

Authors: Seungsu Hwang, Gab** Yun

Abstract: In this paper, we study vacuum static spaces with positive isotropic curvature. We prove that if $(M^n, g, f)$, $n \ge 4$, is a compact vacuum static space with positive isotropic curvature, then up to finite cover, $M$ is isometric to a sphere ${\Bbb S}^n$ or the product of a circle ${\Bbb S}^1$ with an $(n-1)$-dimensional sphere ${\Bbb S}^{n-1}$. In this paper, we study vacuum static spaces with positive isotropic curvature. We prove that if $(M^n, g, f)$, $n \ge 4$, is a compact vacuum static space with positive isotropic curvature, then up to finite cover, $M$ is isometric to a sphere ${\Bbb S}^n$ or the product of a circle ${\Bbb S}^1$ with an $(n-1)$-dimensional sphere ${\Bbb S}^{n-1}$. △ Less

Submitted 29 March, 2021; originally announced March 2021.

Comments: 16 pages without figures. arXiv admin note: text overlap with arXiv:2103.15482

MSC Class: Primary 53C25; Secondary 53C20

Besse conjecture with positive isotropic curvature

Authors: Seungsu Hwang, Gab** Yun

Abstract: The critical point equation arises as a critical point of the total scalar curvature functional defined on the space of constant scalar curvature metrics of a unit volume on a compact manifold. In this equation, there exists a function $f$ on the manifold that satisfies the following $$ (1+f){\rm Ric} = Ddf + \frac{nf +n-1}{n(n-1)}sg. $$ It has been conjectured that if $(g, f)$ is a soluti… ▽ More The critical point equation arises as a critical point of the total scalar curvature functional defined on the space of constant scalar curvature metrics of a unit volume on a compact manifold. In this equation, there exists a function $f$ on the manifold that satisfies the following $$ (1+f){\rm Ric} = Ddf + \frac{nf +n-1}{n(n-1)}sg. $$ It has been conjectured that if $(g, f)$ is a solution of the critical point equation, then $g$ is Einstein and so $(M, g)$ is isometric to a standard sphere. In this paper, we show that this conjecture is true if the given Riemannian metric has positive isotropic curvature. △ Less

Submitted 29 March, 2021; originally announced March 2021.

Comments: 21 pages without figures

MSC Class: Primary 53C25; Secondary 53C20

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

Continuity results for degenerate diffusion equations with $L^{p}_t L^{q}_{x}$ drifts

Authors: Sukjung Hwang, Yuming Paul Zhang

Abstract: In this paper, we study local uniform continuity of nonnegative weak solutions to degenerate diffusion-drift equations in the form \[ u_{t} = Δu^{m} + \nabla\cdot \left( B (x,t) \, u\right), \quad \text{for } m \geq 1 \] assuming a vector field $B \in L^{p}_t L^{q}_{x}$. Regarding local Hölder continuity, we provide a sharp condition on $p$ and $q$, which is referred to as the subcritical region.… ▽ More In this paper, we study local uniform continuity of nonnegative weak solutions to degenerate diffusion-drift equations in the form \[ u_{t} = Δu^{m} + \nabla\cdot \left( B (x,t) \, u\right), \quad \text{for } m \geq 1 \] assuming a vector field $B \in L^{p}_t L^{q}_{x}$. Regarding local Hölder continuity, we provide a sharp condition on $p$ and $q$, which is referred to as the subcritical region. In the critical region, the divergence-free condition is essential to providing uniform continuity which depends on the modulus continuity of $B$. △ Less

Submitted 12 June, 2019; originally announced June 2019.

MSC Class: 35B65; 35K55; 35K65

Myers-type compactness theorem with the Bakry-Emery Ricci tensor

Authors: Seungsu Hwang, Sanghun Lee

Abstract: In this paper, we first prove the $f$-mean curvature comparison in a smooth metric measure space when the Bakry-Emery Ricci tensor is bounded from below and $|f|$ is bounded. Based on this, we define a Myers-type compactness theorem by generalizing the results of Cheeger, Gromov, and Taylor and of Wan for the Bakry-Emery Ricci tensor. Moreover, we improve a result from Soylu by using a weaker cond… ▽ More In this paper, we first prove the $f$-mean curvature comparison in a smooth metric measure space when the Bakry-Emery Ricci tensor is bounded from below and $|f|$ is bounded. Based on this, we define a Myers-type compactness theorem by generalizing the results of Cheeger, Gromov, and Taylor and of Wan for the Bakry-Emery Ricci tensor. Moreover, we improve a result from Soylu by using a weaker condition on a derivative $f'(t)$. △ Less

Submitted 9 July, 2019; v1 submitted 18 April, 2019; originally announced April 2019.

Comments: 13 pages

MSC Class: 53C20; 53C21

Integral Curvature Bounds and Bounded Diameter with Bakry--Emery Ricci Tensor

Authors: Seungsu Hwang, Sanghun Lee

Abstract: For Riemannian manifolds with a smooth measure $(M, g, e^{-f}dv_{g})$, we prove a generalized Myers compactness theorem when Bakry--Emery Ricci tensor is bounded from below and $f$ is bounded. For Riemannian manifolds with a smooth measure $(M, g, e^{-f}dv_{g})$, we prove a generalized Myers compactness theorem when Bakry--Emery Ricci tensor is bounded from below and $f$ is bounded. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: 9 pages

MSC Class: 53C25; 53C21

Uniform boundedness for weak solutions of quasilinear parabolic equations

Authors: Karthik Adimurthi, Sukjung Hwang

Abstract: In this paper, we study the boundedness of weak solutions to quasilinear parabolic equations of the form \[u_t - \text{div} \mathcal{A}(x,t,\nabla u) = 0, \] where the nonlinearity $\mathcal{A}(x,t,\nabla u)$ is modelled after the well studied $p$-Laplace operator. The question of boundedness has received lot of attention over the past several decades with the existing literature showing that weak… ▽ More In this paper, we study the boundedness of weak solutions to quasilinear parabolic equations of the form \[u_t - \text{div} \mathcal{A}(x,t,\nabla u) = 0, \] where the nonlinearity $\mathcal{A}(x,t,\nabla u)$ is modelled after the well studied $p$-Laplace operator. The question of boundedness has received lot of attention over the past several decades with the existing literature showing that weak solutions in either $\frac{2N}{N+2}<p<2$, $p=2$ or $2<p$ are bounded. The proof is essentially split into three cases mainly because the estimates that have been obtained in the past always included an exponent of the form $\frac{1}{p-2}$ or $\frac{1}{2-p}$ which blows up as $p \rightarrow 2$. In this note, we prove the boundedness of weak solutions in the full range $\frac{2N}{N+2} < p < \infty$ without having to consider the singular and degenerate cases separately. Subsequently, in a slightly smaller regime of $\frac{2N}{N+1} < p < \infty$, we also prove an improved boundedness estimate. △ Less

Submitted 7 January, 2019; originally announced January 2019.

Vacuum static spaces with vanishing of complete divergence of Bach tensor and Weyl tensor

Authors: Seungsu Hwang, Gab** Yun

Abstract: In this paper, we study vacuum static spaces with the complete divergence of the Bach tensor and Weyl tensor. First, we prove that the vanishing of complete divergence of the Bach tensor and Weyl tensor implies the harmonicity of the metric, and we present examples in which these conditions do not imply Bach flatness. As an application, we prove the non-existence of multiple black holes in vacuum… ▽ More In this paper, we study vacuum static spaces with the complete divergence of the Bach tensor and Weyl tensor. First, we prove that the vanishing of complete divergence of the Bach tensor and Weyl tensor implies the harmonicity of the metric, and we present examples in which these conditions do not imply Bach flatness. As an application, we prove the non-existence of multiple black holes in vacuum static spaces with zero scalar curvature. On the other hand, we prove the Besse conjecture under these conditions, which are weaker than harmonicity or Bach flatness. Moreover, we show a rigidity result for vacuum static spaces and find a sufficient condition for the metric to be Bach-flat. △ Less

Submitted 29 May, 2019; v1 submitted 31 December, 2018; originally announced December 2018.

MSC Class: 53C25

Gap theorems on critical point equation of the total scalar curvature with divergence-free Bach tensor

Authors: Gab** Yun, Seungsu Hwang

Abstract: On a compact $n$-dimensional manifold, it is well known that a critical metric of the total scalar curvature, restricted to the space of metrics with unit volume is Einstein. It has been conjectured that a critical metric of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, will be Einstein. This conjecture, proposed in 1987 by Besse, has… ▽ More On a compact $n$-dimensional manifold, it is well known that a critical metric of the total scalar curvature, restricted to the space of metrics with unit volume is Einstein. It has been conjectured that a critical metric of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, will be Einstein. This conjecture, proposed in 1987 by Besse, has not been resolved except when $M$ has harmonic curvature or the metric is Bach flat. In this paper, we prove some gap properties under divergence-free Bach tensor condition for $n\geq 5$, and a similar condition for $n=4$. △ Less

Submitted 1 September, 2018; originally announced September 2018.

MSC Class: 53C25; 58E11

Parabolic $L^p$ Dirichlet Boundary Value Problem and VMO-type time-varying domains

Authors: Martin Dindoš, Luke Dyer, Sukjung Hwang

Abstract: We prove the solvability of the parabolic $L^p$ Dirichlet boundary value problem for $1 < p \leq \infty$ for a PDE of the form $u_t = \mbox{div} (A \nabla u) + B \cdot \nabla u$ on time-varying domains where the coefficients $A= [a_{ij}(X, t)]$ and $B=[b_i]$ satisfy a certain natural small Carleson condition. This result brings the state of affairs in the parabolic setting up to the elliptic sta… ▽ More We prove the solvability of the parabolic $L^p$ Dirichlet boundary value problem for $1 < p \leq \infty$ for a PDE of the form $u_t = \mbox{div} (A \nabla u) + B \cdot \nabla u$ on time-varying domains where the coefficients $A= [a_{ij}(X, t)]$ and $B=[b_i]$ satisfy a certain natural small Carleson condition. This result brings the state of affairs in the parabolic setting up to the elliptic standard. Furthermore, we establish that if the coefficients of the operator $A,\,B$ satisfy a vanishing Carleson condition and the time-varying domain is of VMO type then the parabolic $L^p$ Dirichlet boundary value problem is solvable for all $1 < p \leq \infty$. This result is related to results in papers by Mazýa, Mitrea and Shaposhnikova, and Hofmann, Mitrea and Taylor where the fact that boundary of domain has normal in VMO or near VMO implies invertibility of certain boundary operators in $L^p$ for all $1 < p \leq \infty$ which then (using the method of layer potentials) implies solvability of the $L^p$ boundary value problem in the same range for certain elliptic PDEs. Our result does not use the method of layer potentials, since the coefficients we consider are too rough to use this technique but remarkably we recover $L^p$ solvability in the full range of $p$'s as the two papers mentioned above. △ Less

Submitted 18 May, 2018; originally announced May 2018.

Comments: 43 pages, 1 figure

MSC Class: 35K10; 35K35

Journal ref: Analysis & PDE 13 (2020) 1221-1268

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

Green's function for second order elliptic equations in non-divergence form

Authors: Sukjung Hwang, Seick Kim

Abstract: We construct the Green function for second order elliptic equations in non-divergence form when the mean oscillations of the coefficients satisfy the Dini condition and the domain has $C^{1,1}$ boundary. We also obtain pointwise bounds for the Green functions and its derivatives. We construct the Green function for second order elliptic equations in non-divergence form when the mean oscillations of the coefficients satisfy the Dini condition and the domain has $C^{1,1}$ boundary. We also obtain pointwise bounds for the Green functions and its derivatives. △ Less

Submitted 9 September, 2018; v1 submitted 6 December, 2017; originally announced December 2017.

Comments: 12 pages

MSC Class: 35J08; 35B45; 35J47

Journal ref: Potential Analysis, Vol. 52 (2020), no. 1, pp. 27-39

Rigidity of the total scalar curvature with divergence-free Bach tensor

Authors: Gab** Yun, Seungsu Hwang

Abstract: On a compact $n$-dimensional manifold $M$, it is well known that a critical metric of the total scalar curvature, restricted to the space of metrics with unit volume, is Einstein. It has been conjectured that a critical metric of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, will also be Einstein. It was shown that this conjecture is… ▽ More On a compact $n$-dimensional manifold $M$, it is well known that a critical metric of the total scalar curvature, restricted to the space of metrics with unit volume, is Einstein. It has been conjectured that a critical metric of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, will also be Einstein. It was shown that this conjecture is true when $M$ together with a critical metric has harmonic curvature or the metric is Bach flat. In this paper, we tried to prove this conjecture with a divergence-free Bach tensor. △ Less

Submitted 2 January, 2018; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: There is an error in Section 2

MSC Class: 53C25; 58E11

The $L^p$ Dirichlet boundary problem for second order Elliptic Systems with rough coefficients

Authors: Martin Dindoš, Marius Mitrea, Sukjung Hwang

Abstract: Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon>0$). The main novel aspect of our result is that t… ▽ More Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon>0$). The main novel aspect of our result is that the coefficients of the operator do not have to be constant, or have very high regularity, instead they will satisfy a natural Carleson condition that has appeared first in the scalar case. A significant example of a system to which our result may be applied is the Lamé system for isotropic inhomogeneous materials. We show that our result applies to isotropic materials with Poisson ratio $ν<0.396$. Dealing with genuine systems gives rise to substantial new challenges, absent in the scalar case. Among other things, there is no maximum principle for general elliptic systems, and the De Giorgi - Nash - Moser theory may also not apply. We are, nonetheless, successful in establishing estimates for the square-function and the nontangential maximal operator for the solutions of the elliptic system described earlier, and use these as alternative tools for proving $L^p$ solvability results for $p$ near $2$. △ Less

Submitted 24 June, 2020; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: 42 pages, arXiv admin note: text overlap with arXiv:1612.01568

MSC Class: 35J47; 35J57

Holder continuity of Keller-Segel equations of porous medium type coupled to fluid equations

Authors: Yun-Sung Chung, Sukjung Hwang, Kyungkeun Kang, Jaewoo Kim

Abstract: We consider a coupled system consisting of a degenerate porous medium type of Keller-Segel system and Stokes system modeling the motion of swimming bacteria living in fluid and consuming oxygen. We establish the global existence of weak solutions and Hölder continuous solutions in dimension three, under the assumption that the power of degeneracy is above a certain number depending on given parame… ▽ More We consider a coupled system consisting of a degenerate porous medium type of Keller-Segel system and Stokes system modeling the motion of swimming bacteria living in fluid and consuming oxygen. We establish the global existence of weak solutions and Hölder continuous solutions in dimension three, under the assumption that the power of degeneracy is above a certain number depending on given parameter values. To show Hölder continuity of weak solutions, we consider a single degenerate porous medium equation with lower order terms, and via a unified method of proof, we obtain Hölder regularity, which is of independent interest. △ Less

Submitted 10 January, 2017; originally announced January 2017.

MSC Class: 35B09; 35B65; 35K55; 35K65

Besse conjecture with vanishing conditions on the Weyl tensor

Authors: Gab** Yun, Seungsu Hwang

Abstract: On a compact $n$-dimensional manifold, it is well known that a critical metric of the total scalar curvature, restricted to the space of metrics with unit volume is Einstein. It has been conjectured that a critical metric of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, will be Einstein. This conjecture was proposed in 1987 by Besse,… ▽ More On a compact $n$-dimensional manifold, it is well known that a critical metric of the total scalar curvature, restricted to the space of metrics with unit volume is Einstein. It has been conjectured that a critical metric of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, will be Einstein. This conjecture was proposed in 1987 by Besse, but has yet to be proved. In this paper, we prove the Besse conjecture with a weaker condition than harmonic curvature for $n\geq 3$. △ Less

Submitted 3 May, 2017; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: There are some several gaps in proofs of our results. We think that those gaps could not be recovered soon

MSC Class: 53C25; 58E11

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

Ridigity of Ricci Solitons with Weakly Harmonic Weyl Tensors

Authors: Seungsu Hwang, Gab** Yun

Abstract: In this paper, we prove rigidity results on gradient shrinking Ricci solitons with weakly harmonic Weyl curvature tensors. Let $(M^n, g)$ be a compact gradient shrinking Ricci soliton satisfying ${\rm Ric}_g + Ddf = ρg$ with $ρ>0$ constant. We show that if $(M,g)$ satisfies $δ\mathcal W (\cdot, \cdot, \nabla f) = 0$, then $(M, g)$ is Einstein. Here $\mathcal W$ denotes the Weyl curvature tensor. I… ▽ More In this paper, we prove rigidity results on gradient shrinking Ricci solitons with weakly harmonic Weyl curvature tensors. Let $(M^n, g)$ be a compact gradient shrinking Ricci soliton satisfying ${\rm Ric}_g + Ddf = ρg$ with $ρ>0$ constant. We show that if $(M,g)$ satisfies $δ\mathcal W (\cdot, \cdot, \nabla f) = 0$, then $(M, g)$ is Einstein. Here $\mathcal W$ denotes the Weyl curvature tensor. In the case of noncompact, if $M$ is complete and satisfies the same condition, then $M$ is rigid in the sense that $M$ is given by a quotient of product of an Einstein manifold with Euclidean space. These are generalizations of the previous known results in \cite{l-r}, \cite{m-s} and \cite{p-w3}. △ Less

Submitted 24 April, 2016; originally announced April 2016.

Comments: 15pages

MSC Class: 53C25

Bach-flat h-almost gradient Ricci solitons

Authors: Gab** Yun, **seok Co, Seungsu Hwang

Abstract: On an $n$-dimensional complete manifold $M$, consider an $h$-almost gradient Ricci soliton, which is a generalization of a gradient Ricci soliton. We prove that if the manifold is Bach-flat and $dh/du>0$, then the manifold $M$ is either Einstein or rigid. In particular, such a manifold has harmonic Weyl curvature. Moreover, if the dimension of $M$ is four, the metric $g$ is conformally flat. On an $n$-dimensional complete manifold $M$, consider an $h$-almost gradient Ricci soliton, which is a generalization of a gradient Ricci soliton. We prove that if the manifold is Bach-flat and $dh/du>0$, then the manifold $M$ is either Einstein or rigid. In particular, such a manifold has harmonic Weyl curvature. Moreover, if the dimension of $M$ is four, the metric $g$ is conformally flat. △ Less

Submitted 12 October, 2016; v1 submitted 14 April, 2016; originally announced April 2016.

Comments: 12 pages

MSC Class: 53C25; 58E11

Journal ref: Pacific J. Math. 288 (2017) 475-488

Hölder continuity of a bounded weak solution of generalized parabolic $p-$Laplacian equations

Authors: Sukjung Hwang, Gary M. Lieberman

Abstract: Here we generalize quasilinear parabolic $p-$Laplacian type equations to obtain the prototype equation as \[ u_t - \text{div} (g(|Du|)/ |Du| \cdot Du) = 0, \] where a nonnegative, increasing, and continuous function $g$ trapped in between two power functions $|Du|^{g_0 -1}$ and $|Du|^{g_1 -1}$ with $1<g_0 \leq g_1 < \infty$. Through this generalization in the setting from Orlicz spaces, we provide… ▽ More Here we generalize quasilinear parabolic $p-$Laplacian type equations to obtain the prototype equation as \[ u_t - \text{div} (g(|Du|)/ |Du| \cdot Du) = 0, \] where a nonnegative, increasing, and continuous function $g$ trapped in between two power functions $|Du|^{g_0 -1}$ and $|Du|^{g_1 -1}$ with $1<g_0 \leq g_1 < \infty$. Through this generalization in the setting from Orlicz spaces, we provide a uniform proof with a single geometric setting that a bounded weak solution is locally Hölder continuous considering $1 < g_0 \leq g_1 \leq 2$ and $2 \leq g_0 \leq g_1 < \infty$ separately. By using geometric characters, our proof does not rely on any of alternatives which is based on the size of solutions. △ Less

Submitted 27 March, 2018; v1 submitted 2 July, 2014; originally announced July 2014.

The Dirichlet boundary problem for second order parabolic operators satisfying Carleson condition

Authors: Martin Dindoš, Sukjung Hwang

Abstract: We establish $L^p$, $2\le p\le\infty$ solvability of the Dirichlet boundary value problem for a parabolic equation $u_t-\mbox{div}(A\nabla u)=0$ on time-varying domains with coefficient matrix $A=(a_{ij})$ that satisfy a small Carleson condition. The result is motivated by similar results for the elliptic equation $\mbox{div}(A\nabla u)=0$ that were established previously. We establish $L^p$, $2\le p\le\infty$ solvability of the Dirichlet boundary value problem for a parabolic equation $u_t-\mbox{div}(A\nabla u)=0$ on time-varying domains with coefficient matrix $A=(a_{ij})$ that satisfy a small Carleson condition. The result is motivated by similar results for the elliptic equation $\mbox{div}(A\nabla u)=0$ that were established previously. △ Less

Submitted 28 October, 2016; v1 submitted 31 January, 2014; originally announced February 2014.

MSC Class: 35K10; 35K20

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

Shortest Path through Random Points

Authors: Sung ** Hwang, Steven B. Damelin, Alfred O. Hero III

Abstract: Let $(M,g_1)$ be a complete $d$-dimensional Riemannian manifold for $d > 1$. Let $\mathcal X_n$ be a set of $n$ sample points in $M$ drawn randomly from a smooth Lebesgue density $f$ supported in $M$. Let $x,y$ be two points in $M$. We prove that the normalized length of the power-weighted shortest path between $x, y$ through $\mathcal X_n$ converges almost surely to a constant multiple of the Rie… ▽ More Let $(M,g_1)$ be a complete $d$-dimensional Riemannian manifold for $d > 1$. Let $\mathcal X_n$ be a set of $n$ sample points in $M$ drawn randomly from a smooth Lebesgue density $f$ supported in $M$. Let $x,y$ be two points in $M$. We prove that the normalized length of the power-weighted shortest path between $x, y$ through $\mathcal X_n$ converges almost surely to a constant multiple of the Riemannian distance between $x,y$ under the metric tensor $g_p = f^{2(1-p)/d} g_1$, where $p > 1$ is the power parameter. △ Less

Submitted 5 November, 2015; v1 submitted 31 January, 2012; originally announced February 2012.

MSC Class: 60F15 (Primary); 60C05; 53B21 (Secondary)

Journal ref: The Annals of Applied Probability, 2016, Vol. 26, No. 5, pp 2791-2823

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)

Variational characterizations of the total scalar curvature and eigenvalues of the Laplacian

Authors: Seungsu Hwang, Jeongwook Chang, Gab** Yun

Abstract: For the dual operator $s_g'^*$ of the linearization $s_g'$ of the scalar curvature function, it is well-known that if $\ker s_g'^*\neq 0$, then $s_g$ is a non-negative constant. In particular, if the Ricci curvature is not flat, then $ {s_g}/(n-1)$ is an eigenvalue of the Laplacian of the metric $g$. In this work, some variational characterizations were performed for the space $\ker s_g'^*$. To ac… ▽ More For the dual operator $s_g'^*$ of the linearization $s_g'$ of the scalar curvature function, it is well-known that if $\ker s_g'^*\neq 0$, then $s_g$ is a non-negative constant. In particular, if the Ricci curvature is not flat, then $ {s_g}/(n-1)$ is an eigenvalue of the Laplacian of the metric $g$. In this work, some variational characterizations were performed for the space $\ker s_g'^*$. To accomplish this task, we introduce a fourth-order elliptic differential operator $\mathcal A$ and a related geometric invariant $ν$. We prove that $ν$ vanishes if and only if $\ker s_g'^* \ne 0$, and if the first eigenvalue of the Laplace operator is large compared to its scalar curvature, then $ν$ is positive and $\ker s_g'^*= 0$. Furthermore, we calculated the lower bound on $ν$ in the case of $\ker s_g'^* = 0$. We also show that if there exists a function which is $\mathcal A$-superharmonic and the Ricci curvature has a lower bound, then the first non-zero eigenvalue of the Laplace operator has an upper bound. △ Less

Submitted 2 December, 2011; originally announced December 2011.

Comments: 25pages no figure

MSC Class: 53C21

Total Scalar Curvature and Harmonic Curvature

Authors: Gab** Yun, Jeongwook Chang, Seungsu Hwang

Abstract: On a compact n-dimensional manifold, it has been conjectured that a critical point metric of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, will be Einstein. This conjecture was proposed in 1984 by Besse, but has yet to be proved. In this paper, we prove that if the manifold with the critical point metric has harmonic curvature, then i… ▽ More On a compact n-dimensional manifold, it has been conjectured that a critical point metric of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, will be Einstein. This conjecture was proposed in 1984 by Besse, but has yet to be proved. In this paper, we prove that if the manifold with the critical point metric has harmonic curvature, then it is isometric to a standard sphere. △ Less

Submitted 29 November, 2011; originally announced November 2011.

Comments: 16 pages, 2 figures

MSC Class: 53c25; 58e11

Decompositions of two player games: potential, zero-sum, and stable games

Authors: Sung-Ha Hwang, Luc Rey-Bellet

Abstract: We introduce several methods of decomposition for two player normal form games. Viewing the set of all games as a vector space, we exhibit explicit orthonormal bases for the subspaces of potential games, zero-sum games, and their orthogonal complements which we call anti-potential games and anti-zero-sum games, respectively. Perhaps surprisingly, every anti-potential game comes either from the Roc… ▽ More We introduce several methods of decomposition for two player normal form games. Viewing the set of all games as a vector space, we exhibit explicit orthonormal bases for the subspaces of potential games, zero-sum games, and their orthogonal complements which we call anti-potential games and anti-zero-sum games, respectively. Perhaps surprisingly, every anti-potential game comes either from the Rock-Paper-Scissors type games (in the case of symmetric games) or from the Matching Pennies type games (in the case of asymmetric games). Using these decompositions, we prove old (and some new) cycle criteria for potential and zero-sum games (as orthogonality relations between subspaces). We illustrate the usefulness of our decomposition by (a) analyzing the generalized Rock-Paper-Scissors game, (b) completely characterizing the set of all null-stable games, (c) providing a large class of strict stable games, (d) relating the game decomposition to the decomposition of vector fields for the replicator equations, (e) constructing Lyapunov functions for some replicator dynamics, and (f) constructing Zeeman games -games with an interior asymptotically stable Nash equilibrium and a pure strategy ESS. △ Less

Submitted 18 July, 2011; v1 submitted 17 June, 2011; originally announced June 2011.

Deterministic Equations for Stochastic Spatial Evolutionary Games

Authors: Sung-Ha Hwang, Markos Katsoulakis, Luc Rey-Bellet

Abstract: Spatial evolutionary games model individuals who are distributed in a spatial domain and update their strategies upon playing a normal form game with their neighbors. We derive integro-differential equations as deterministic approximations of the microscopic updating stochastic processes. This generalizes the known mean-field ordinary differential equations and provide a powerful tool to investiga… ▽ More Spatial evolutionary games model individuals who are distributed in a spatial domain and update their strategies upon playing a normal form game with their neighbors. We derive integro-differential equations as deterministic approximations of the microscopic updating stochastic processes. This generalizes the known mean-field ordinary differential equations and provide a powerful tool to investigate the spatial effects in populations evolution. The deterministic equations allow to identify many interesting features of the evolution of strategy profiles in a population, such as standing and traveling waves, and pattern formation, especially in replicator-type evolutions. △ Less

Submitted 5 July, 2010; originally announced July 2010.

Nonsemisimple Fusion Algebras and the Verlinde Formula

Authors: J. Fuchs, S. Hwang, A. M. Semikhatov, I. Yu. Tipunin

Abstract: We find a nonsemisimple fusion algebra F_p associated with each (1,p) Virasoro model. We present a nonsemisimple generalization of the Verlinde formula which allows us to derive F_p from modular transformations of characters. We find a nonsemisimple fusion algebra F_p associated with each (1,p) Virasoro model. We present a nonsemisimple generalization of the Verlinde formula which allows us to derive F_p from modular transformations of characters. △ Less

Submitted 19 October, 2003; v1 submitted 27 June, 2003; originally announced June 2003.

Comments: LaTeX (amsart, xypic, times), 35pp

Journal ref: Commun.Math.Phys. 247 (2004) 713-742

The semi-infinite cohomology of affine Lie algebras

Authors: Stephen Hwang

Abstract: We study in detail the semi-infinite or BRST cohomology of general affine Lie algebras. This cohomology is relevant in the BRST approach to gauged WZNW models. We prove the existence of an infinite sequence of elements in the cohomology for non-zero ghost numbers. This will imply that the BRST approach to topological WZNW model admits many more states than a conventional coset construction. This… ▽ More We study in detail the semi-infinite or BRST cohomology of general affine Lie algebras. This cohomology is relevant in the BRST approach to gauged WZNW models. We prove the existence of an infinite sequence of elements in the cohomology for non-zero ghost numbers. This will imply that the BRST approach to topological WZNW model admits many more states than a conventional coset construction. This conclusion also applies to some non-topological models. Our work will also contain results on the structure of Verma modules over affine Lie algebras. In particular, we generalize the results of Verma and Bernstein-Gel'fand-Gel'fand,for finite dimensional Lie algebras, on the structure and multiplicities of Verma modules. △ Less

Submitted 19 August, 1997; originally announced August 1997.

Comments: 30 pages, Latex, no figures

Report number: HKS-NT-FR-97/1-SE

Journal ref: Commun.Math.Phys. 194 (1998) 591-611

Construction of BRST invariant states in $G/H$ WZNW models.

Authors: Stephen Hwang, Henric Rhedin

Abstract: We study the cohomology arising in the BRST formulation of G/H gauged WZNW models, i.e. in which the states of the gauged theory are projected out from the ungauged one by means of a BRST condition. We will derive for a general simple group $H$ with arbitrary level, conditions for which the cohomology is non-trivial. We show, by introducing a small perturbation due to Jantzen, in the highest weigh… ▽ More We study the cohomology arising in the BRST formulation of G/H gauged WZNW models, i.e. in which the states of the gauged theory are projected out from the ungauged one by means of a BRST condition. We will derive for a general simple group $H$ with arbitrary level, conditions for which the cohomology is non-trivial. We show, by introducing a small perturbation due to Jantzen, in the highest weights of the representations, how states in the cohomology, "singlet pairs", arise from unphysical states, "Kugo-Ojima quartets", as the perturbation is set to zero. This will enable us to identify and construct states in the cohomology. The ghost numbers that will occur are $\pm p$, with $p$ uniquely determined by the representations of the algebras involved. Our construction is given in terms of the current modes and relies on the explicit form of highest weight null-states given by Malikov, Feigen and Fuchs. △ Less

Submitted 19 January, 1995; originally announced January 1995.

Comments: 12 pages, latex

Report number: G\"oteborg ITP 94-26

Journal ref: Phys.Lett. B350 (1995) 38-43