Showing 1–46 of 46 results for author: Yung, P

Feature Extraction for Generative Medical Imaging Evaluation: New Evidence Against an Evolving Trend

Authors: McKell Woodland, Austin Castelo, Mais Al Taie, Jessica Albuquerque Marques Silva, Mohamed Eltaher, Frank Mohn, Alexander Shieh, Austin Castelo, Suprateek Kundu, Joshua P. Yung, Ankit B. Patel, Kristy K. Brock

Abstract: Fréchet Inception Distance (FID) is a widely used metric for assessing synthetic image quality. It relies on an ImageNet-based feature extractor, making its applicability to medical imaging unclear. A recent trend is to adapt FID to medical imaging through feature extractors trained on medical images. Our study challenges this practice by demonstrating that ImageNet-based extractors are more consi… ▽ More Fréchet Inception Distance (FID) is a widely used metric for assessing synthetic image quality. It relies on an ImageNet-based feature extractor, making its applicability to medical imaging unclear. A recent trend is to adapt FID to medical imaging through feature extractors trained on medical images. Our study challenges this practice by demonstrating that ImageNet-based extractors are more consistent and aligned with human judgment than their RadImageNet counterparts. We evaluated sixteen StyleGAN2 networks across four medical imaging modalities and four data augmentation techniques with Fréchet distances (FDs) computed using eleven ImageNet or RadImageNet-trained feature extractors. Comparison with human judgment via visual Turing tests revealed that ImageNet-based extractors produced rankings consistent with human judgment, with the FD derived from the ImageNet-trained SwAV extractor significantly correlating with expert evaluations. In contrast, RadImageNet-based rankings were volatile and inconsistent with human judgment. Our findings challenge prevailing assumptions, providing novel evidence that medical image-trained feature extractors do not inherently improve FDs and can even compromise their reliability. Our code is available at https://github.com/mckellwoodland/fid-med-eval. △ Less

Submitted 29 May, 2024; v1 submitted 22 November, 2023; originally announced November 2023.

Comments: Preprint of manuscript early accepted to MICCAI 2024

Strichartz inequalities: some recent developments

Authors: Jianhui Li, Zane Kun Li, Po-Lam Yung

Abstract: Strichartz inequalities, originating from Fourier restriction theory, play a central role in the analysis of dispersive partial differential equations. They serve as a cornerstone for many subsequent developments. We survey some of them in memory of Strichartz, highlighting connections to recent developments in Fourier decoupling. Strichartz inequalities, originating from Fourier restriction theory, play a central role in the analysis of dispersive partial differential equations. They serve as a cornerstone for many subsequent developments. We survey some of them in memory of Strichartz, highlighting connections to recent developments in Fourier decoupling. △ Less

Submitted 13 March, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: 23 pages; expository paper; revised version incorporating referee comments

Dimensionality Reduction for Improving Out-of-Distribution Detection in Medical Image Segmentation

Authors: McKell Woodland, Nihil Patel, Mais Al Taie, Joshua P. Yung, Tucker J. Netherton, Ankit B. Patel, Kristy K. Brock

Abstract: Clinically deployed segmentation models are known to fail on data outside of their training distribution. As these models perform well on most cases, it is imperative to detect out-of-distribution (OOD) images at inference to protect against automation bias. This work applies the Mahalanobis distance post hoc to the bottleneck features of a Swin UNETR model that segments the liver on T1-weighted m… ▽ More Clinically deployed segmentation models are known to fail on data outside of their training distribution. As these models perform well on most cases, it is imperative to detect out-of-distribution (OOD) images at inference to protect against automation bias. This work applies the Mahalanobis distance post hoc to the bottleneck features of a Swin UNETR model that segments the liver on T1-weighted magnetic resonance imaging. By reducing the dimensions of the bottleneck features with principal component analysis, OOD images were detected with high performance and minimal computational load. △ Less

Submitted 19 October, 2023; v1 submitted 7 August, 2023; originally announced August 2023.

Comments: This preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this contribution is published in the proceedings of UNSURE 2023, Lecture Notes in Computer Science, vol 14291, and is available online at https://doi.org/10.1007/978-3-031-44336-7_15

Journal ref: In: UNSURE 2023. LNCS, vol 14291. Springer, Cham (2023)

The Neumann problem on the Clifford torus in $\mathbb{S}^3$

Authors: Jeffrey S. Case, Eric Chen, Yi Wang, Paul Yang, Po-Lam Yung

Abstract: We discuss the solution of the Neumann problem associated with the CR Yamabe operator on a subset $Ω$ of the CR manifold $\mathbb{S}^3$ bounded by the Clifford torus $Σ$. We also discuss the Yamabe-type problem of finding a contact form on $Ω$ which has zero Tanaka--Webster scalar curvature and for which $Σ$ has constant $p$-mean curvature. We discuss the solution of the Neumann problem associated with the CR Yamabe operator on a subset $Ω$ of the CR manifold $\mathbb{S}^3$ bounded by the Clifford torus $Σ$. We also discuss the Yamabe-type problem of finding a contact form on $Ω$ which has zero Tanaka--Webster scalar curvature and for which $Σ$ has constant $p$-mean curvature. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 36 pages

MSC Class: 58J32; 35R03; 35H20

Function spaces for decoupling

Authors: Andrew Hassell, Pierre Portal, Jan Rozendaal, Po-Lam Yung

Abstract: We introduce new function spaces $\mathcal{H}^{p,q;s}_{\mathrm{dec}}(\mathbb{R}^{n})$ that yield a natural reformulation of the $\ell^{q}$ decoupling inequalities for the sphere and the light cone. These spaces are invariant under the Euclidean half-wave propagators, but not under all Fourier integral operators unless $p=q$, in which case they coincide with the Hardy spaces for Fourier integral op… ▽ More We introduce new function spaces $\mathcal{H}^{p,q;s}_{\mathrm{dec}}(\mathbb{R}^{n})$ that yield a natural reformulation of the $\ell^{q}$ decoupling inequalities for the sphere and the light cone. These spaces are invariant under the Euclidean half-wave propagators, but not under all Fourier integral operators unless $p=q$, in which case they coincide with the Hardy spaces for Fourier integral operators. We use these spaces to obtain improvements of the classical fractional integration theorem, and local smoothing estimates. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Comments: 41 pages

MSC Class: Primary 42B35. Secondary 42B37; 35L05; 35S30

A new type of superorthogonality

Authors: Philip T. Gressman, Lillian B. Pierce, Joris Roos, Po-Lam Yung

Abstract: We provide a simple criterion on a family of functions that implies a square function estimate on $L^p$ for every even integer $p \geq 2$. This defines a new type of superorthogonality that is verified by checking a less restrictive criterion than any other type of superorthogonality that is currently known. We provide a simple criterion on a family of functions that implies a square function estimate on $L^p$ for every even integer $p \geq 2$. This defines a new type of superorthogonality that is verified by checking a less restrictive criterion than any other type of superorthogonality that is currently known. △ Less

Submitted 17 December, 2022; originally announced December 2022.

Comments: 12 pages

On Polynomial Carleson operators along quadratic hypersurfaces

Authors: Theresa C. Anderson, Dominique Maldague, Lillian B. Pierce, Po-Lam Yung

Abstract: We prove that a maximally modulated singular oscillatory integral operator along a hypersurface defined by $(y,Q(y))\subseteq \mathbb{R}^{n+1}$, for an arbitrary non-degenerate quadratic form $Q$, admits an a priori bound on $L^p$ for all $1<p<\infty$, for each $n \geq 2$. This operator takes the form of a polynomial Carleson operator of Radon-type, in which the maximally modulated phases lie in t… ▽ More We prove that a maximally modulated singular oscillatory integral operator along a hypersurface defined by $(y,Q(y))\subseteq \mathbb{R}^{n+1}$, for an arbitrary non-degenerate quadratic form $Q$, admits an a priori bound on $L^p$ for all $1<p<\infty$, for each $n \geq 2$. This operator takes the form of a polynomial Carleson operator of Radon-type, in which the maximally modulated phases lie in the real span of $\{p_2,\ldots,p_d\}$ for any set of fixed real-valued polynomials $p_j$ such that $p_j$ is homogeneous of degree $j$, and $p_2$ is not a multiple of $Q(y)$. The general method developed in this work applies to quadratic forms of arbitrary signature, while previous work considered only the special positive definite case $Q(y)=|y|^2$. △ Less

Submitted 28 May, 2024; v1 submitted 28 November, 2022; originally announced November 2022.

MSC Class: 42B20; 43A50; 42B25; 44A12

A decoupling interpretation of an old argument for Vinogradov's Mean Value Theorem

Authors: Brian Cook, Kevin Hughes, Zane Kun Li, Akshat Mudgal, Olivier Robert, Po-Lam Yung

Abstract: We interpret into decoupling language a refinement of a 1973 argument due to Karatsuba on Vinogradov's mean value theorem. The main goal of our argument is to answer what precisely does solution counting in older partial progress on Vinogradov's mean value theorem correspond to in Fourier decoupling theory. We interpret into decoupling language a refinement of a 1973 argument due to Karatsuba on Vinogradov's mean value theorem. The main goal of our argument is to answer what precisely does solution counting in older partial progress on Vinogradov's mean value theorem correspond to in Fourier decoupling theory. △ Less

Submitted 12 October, 2023; v1 submitted 3 July, 2022; originally announced July 2022.

Comments: 25 pages; revised version incorporating referee comments, to appear in Mathematika

Sobolev spaces revisited

Authors: Haim Brezis, Andreas Seeger, Jean Van Schaftingen, Po-Lam Yung

Abstract: We describe a recent, one-parameter family of characterizations of Sobolev and BV functions on $\mathbb{R}^n$, using sizes of superlevel sets of suitable difference quotients. This provides an alternative point of view to the BBM formula by Bourgain, Brezis and Mironescu, and complements in the case of BV some results of Cohen, Dahmen, Daubechies and DeVore about the sizes of wavelet coefficients… ▽ More We describe a recent, one-parameter family of characterizations of Sobolev and BV functions on $\mathbb{R}^n$, using sizes of superlevel sets of suitable difference quotients. This provides an alternative point of view to the BBM formula by Bourgain, Brezis and Mironescu, and complements in the case of BV some results of Cohen, Dahmen, Daubechies and DeVore about the sizes of wavelet coefficients of such functions. An application towards Gagliardo-Nirenberg interpolation inequalities is then given. We also establish a related one-parameter family of formulae for the $L^p$ norm of functions in $L^p(\mathbb{R}^n)$. △ Less

Submitted 2 February, 2022; originally announced February 2022.

Comments: 21 pages

Journal ref: Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 33 (2022), no. 2, 413--437

Spaces of Besov-Sobolev type and a problem on nonlinear approximation

Authors: Óscar Domínguez, Andreas Seeger, Brian Street, Jean Van Schaftingen, Po-Lam Yung

Abstract: We study fractional variants of the quasi-norms introduced by Brezis, Van Schaftingen, and Yung in the study of the Sobolev space $\dot W^{1,p}$. The resulting spaces are identified as a special class of real interpolation spaces of Sobolev-Slobodeckiĭ spaces. We establish the equivalence between Fourier analytic definitions and definitions via difference operators acting on measurable functions.… ▽ More We study fractional variants of the quasi-norms introduced by Brezis, Van Schaftingen, and Yung in the study of the Sobolev space $\dot W^{1,p}$. The resulting spaces are identified as a special class of real interpolation spaces of Sobolev-Slobodeckiĭ spaces. We establish the equivalence between Fourier analytic definitions and definitions via difference operators acting on measurable functions. We prove various new results on embeddings and non-embeddings, and give applications to harmonic and caloric extensions. For suitable wavelet bases we obtain a characterization of the approximation spaces for best $n$-term approximation from a wavelet basis via smoothness conditions on the function; this extends a classical result by DeVore, Jawerth and Popov. △ Less

Submitted 22 November, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: 45 pages

Journal ref: Journal of Functional Analysis, 284 (2023), no.4, 109775

Correlation between image quality metrics of magnetic resonance images and the neural network segmentation accuracy

Authors: Rajarajeswari Muthusivarajan, Adrian Celaya, Joshua P. Yung, Satish Viswanath, Daniel S. Marcus, Caroline Chung, David Fuentes

Abstract: Deep neural networks with multilevel connections process input data in complex ways to learn the information.A networks learning efficiency depends not only on the complex neural network architecture but also on the input training images.Medical image segmentation with deep neural networks for skull strip** or tumor segmentation from magnetic resonance images enables learning both global and loc… ▽ More Deep neural networks with multilevel connections process input data in complex ways to learn the information.A networks learning efficiency depends not only on the complex neural network architecture but also on the input training images.Medical image segmentation with deep neural networks for skull strip** or tumor segmentation from magnetic resonance images enables learning both global and local features of the images.Though medical images are collected in a controlled environment,there may be artifacts or equipment based variance that cause inherent bias in the input set.In this study, we investigated the correlation between the image quality metrics of MR images with the neural network segmentation accuracy.For that we have used the 3D DenseNet architecture and let the network trained on the same input but applying different methodologies to select the training data set based on the IQM values.The difference in the segmentation accuracy between models based on the random training inputs with IQM based training inputs shed light on the role of image quality metrics on segmentation accuracy.By running the image quality metrics to choose the training inputs,further we may tune the learning efficiency of the network and the segmentation accuracy. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Bourgain-Brezis-Mironescu Convergence via Triebel-Lizorkin Spaces

Authors: Denis Brazke, Armin Schikorra, Po-Lam Yung

Abstract: We study a convergence result of Bourgain--Brezis--Mironescu (BBM) using Triebel-Lizorkin spaces. It is well known that as spaces $W^{s,p} = F^{s}_{p,p}$, and $H^{1,p} = F^{1}_{p,2}$. When $s\to 1$, the $F^{s}_{p,p}$ norm becomes the $F^{1}_{p,p}$ norm but BBM showed that the $W^{s,p}$ norm becomes the $H^{1,p} = F^{1}_{p,2}$ norm. Naively, for $p \neq 2$ this seems like a contradiction, but we re… ▽ More We study a convergence result of Bourgain--Brezis--Mironescu (BBM) using Triebel-Lizorkin spaces. It is well known that as spaces $W^{s,p} = F^{s}_{p,p}$, and $H^{1,p} = F^{1}_{p,2}$. When $s\to 1$, the $F^{s}_{p,p}$ norm becomes the $F^{1}_{p,p}$ norm but BBM showed that the $W^{s,p}$ norm becomes the $H^{1,p} = F^{1}_{p,2}$ norm. Naively, for $p \neq 2$ this seems like a contradiction, but we resolve this by providing embeddings of $W^{s,p}$ into $F^{s}_{p,q}$ for $q \in \{p,2\}$ with sharp constants with respect to $s \in (0,1)$. As a consequence we obtain an $\mathbb{R}^N$-version of the BBM-result, and obtain several more embedding and convergence theorems of BBM-type that to the best of our knowledge are unknown. △ Less

Submitted 3 October, 2022; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: changes in presentation, new references

Journal ref: Calc.Var.PDE 2022

Families of functionals representing Sobolev norms

Authors: Haim Brezis, Andreas Seeger, Jean Van Schaftingen, Po-Lam Yung

Abstract: We obtain new characterizations of the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^N)$ and the bounded variation space $\dot{BV}(\mathbb{R}^N)$. The characterizations are in terms of the functionals $ν_γ (E_{λ,γ/p}[u])$ where \[ E_{λ,γ/p}[u]= \Big\{(x,y )\in \mathbb{R}^N \times \mathbb{R}^N \colon x \neq y, \, \frac{|u(x)-u(y)|}{|x-y|^{1+γ/p}}>λ\Big\} \] and the measure $ν_γ$ is given by… ▽ More We obtain new characterizations of the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^N)$ and the bounded variation space $\dot{BV}(\mathbb{R}^N)$. The characterizations are in terms of the functionals $ν_γ (E_{λ,γ/p}[u])$ where \[ E_{λ,γ/p}[u]= \Big\{(x,y )\in \mathbb{R}^N \times \mathbb{R}^N \colon x \neq y, \, \frac{|u(x)-u(y)|}{|x-y|^{1+γ/p}}>λ\Big\} \] and the measure $ν_γ$ is given by $\mathrm{d} ν_γ(x,y)=|x-y|^{γ-N} \mathrm{d} x \mathrm{d} y$. We provide characterizations which involve the $L^{p,\infty}$-quasi-norms $\sup_{λ>0} λ\, ν_γ (E_{λ,γ/p}[u]) ^{1/p}$ and also exact formulas via corresponding limit functionals, with the limit for $λ\to\infty$ when $γ>0$ and the limit for $λ\to 0^+$ when $γ<0$. The results unify and substantially extend previous work by Nguyen and by Brezis, Van Schaftingen and Yung. For $p>1$ the characterizations hold for all $γ\neq 0$. For $p=1$ the upper bounds for the $L^{1,\infty}$ quasi-norms fail in the range $γ\in [-1,0) $; moreover in this case the limit functionals represent the $L^1$ norm of the gradient for $C^\infty_c$-functions but not for generic $\dot W^{1,1}$-functions. For this situation we provide new counterexamples which are built on self-similar sets of dimension $γ+1$. For $γ=0$ the characterizations of Sobolev spaces fail; however we obtain a new formula for the Lipschitz norm via the expressions $ν_0(E_{λ,0}[u])$. △ Less

Submitted 7 September, 2021; originally announced September 2021.

Comments: 40 pages

MSC Class: 26D10 (26A33; 35A23; 42B25; 42B35; 46E30; 46E3)

Journal ref: Analysis & PDE 17 (2024) 943-979

On the strict majorant property in arbitrary dimensions

Authors: Philip T. Gressman, Shaoming Guo, Lillian B. Pierce, Joris Roos, Po-Lam Yung

Abstract: In this work we study $d$-dimensional majorant properties. We prove that a set of frequencies in ${\mathbb Z}^d$ satisfies the strict majorant property on $L^p([0,1]^d)$ for all $p> 0$ if and only if the set is affinely independent. We further construct three types of violations of the strict majorant property. Any set of at least $d+2$ frequencies in ${\mathbb Z}^d$ violates the strict majorant p… ▽ More In this work we study $d$-dimensional majorant properties. We prove that a set of frequencies in ${\mathbb Z}^d$ satisfies the strict majorant property on $L^p([0,1]^d)$ for all $p> 0$ if and only if the set is affinely independent. We further construct three types of violations of the strict majorant property. Any set of at least $d+2$ frequencies in ${\mathbb Z}^d$ violates the strict majorant property on $L^p([0,1]^d)$ for an open interval of $p \not\in 2 {\mathbb N}$ of length 2. Any infinite set of frequencies in ${\mathbb Z}^d$ violates the strict majorant property on $L^p([0,1]^d)$ for an infinite sequence of open intervals of $p \not\in 2 {\mathbb N}$ of length $2$. Finally, given any $p>0$ with $p \not\in 2{\mathbb N}$, we exhibit a set of $d+2$ frequencies on the moment curve in ${\mathbb R}^d$ that violate the strict majorant property on $L^p([0,1]^d).$ △ Less

Submitted 11 October, 2022; v1 submitted 23 June, 2021; originally announced June 2021.

Comments: 22 pages

Journal ref: Q. J. Math. 74, no. 1, 139-161, 2023

Going to Lorentz when fractional Sobolev, Gagliardo and Nirenberg estimates fail

Authors: Haïm Brezis, Jean Van Schaftingen, Po-Lam Yung

Abstract: In the cases where there is no Sobolev-type or Gagliardo-Nirenberg-type fractional estimate involving $\lvert u\rvert_{W^{s,p}}$, we establish alternative estimates where the strong $L^p$ norms are replaced by Lorentz norms. In the cases where there is no Sobolev-type or Gagliardo-Nirenberg-type fractional estimate involving $\lvert u\rvert_{W^{s,p}}$, we establish alternative estimates where the strong $L^p$ norms are replaced by Lorentz norms. △ Less

Submitted 16 January, 2022; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: Fixed up some typos. arXiv admin note: text overlap with arXiv:2003.05216

MSC Class: 26D10 (Primary); 26A33; 35A23; 46E30; 46E35 (Secondary)

Journal ref: Calculus of Variations and Partial Differential Equations volume 60, Article number: 129 (2021)

Improved discrete restriction for the parabola

Authors: Shaoming Guo, Zane Kun Li, Po-Lam Yung

Abstract: Using ideas from Guth-Maldague-Wang and working over $\mathbb{Q}_p$, we show that the discrete restriction constant for the parabola is $O_{\varepsilon}((\log M)^{2 + \varepsilon})$. Using ideas from Guth-Maldague-Wang and working over $\mathbb{Q}_p$, we show that the discrete restriction constant for the parabola is $O_{\varepsilon}((\log M)^{2 + \varepsilon})$. △ Less

Submitted 13 October, 2021; v1 submitted 17 March, 2021; originally announced March 2021.

Comments: 21 pages; revised version incorporating referee comments

A new formula for the $L^p$ norm

Authors: Qingsong Gu, Po-Lam Yung

Abstract: Recently, Brezis, Van Schaftingen and the second author established a new formula for the $\dot{W}^{1,p}$ norm of a function in $C^{\infty}_c(\mathbb{R}^N)$. The formula was obtained by replacing the $L^p(\mathbb{R}^{2N})$ norm in the Gagliardo semi-norm for $\dot{W}^{s,p}(\mathbb{R}^N)$ with a weak-$L^p(\mathbb{R}^{2N})$ quasi-norm and setting $s = 1$. This provides a characterization of such… ▽ More Recently, Brezis, Van Schaftingen and the second author established a new formula for the $\dot{W}^{1,p}$ norm of a function in $C^{\infty}_c(\mathbb{R}^N)$. The formula was obtained by replacing the $L^p(\mathbb{R}^{2N})$ norm in the Gagliardo semi-norm for $\dot{W}^{s,p}(\mathbb{R}^N)$ with a weak-$L^p(\mathbb{R}^{2N})$ quasi-norm and setting $s = 1$. This provides a characterization of such $\dot{W}^{1,p}$ norms, which complements the celebrated Bourgain-Brezis-Mironescu (BBM) formula. In this paper, we obtain an analog for the case $s = 0$. In particular, we present a new formula for the $L^p$ norm of any function in $L^p(\mathbb{R}^N)$, which involves only the measures of suitable level sets, but no integration. This provides a characterization of the norm on $L^p(\mathbb{R}^N)$, which complements a formula by Maz'ya and Shaposhnikova. As a result, by interpolation, we obtain a new embedding of the Triebel-Lizorkin space $F^s_{p,2}(\mathbb{R}^N)$ (i.e. the Bessel potential space $(I-Δ)^{-s/2} L^p(\mathbb{R}^N)$), as well as its homogeneous counterpart $\dot{F}^s_{p,2}(\mathbb{R}^N)$, for $s \in (0,1)$, $p \in (1,\infty)$. △ Less

Submitted 18 October, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 17 pages, updated discussion of Theorem 1.3, and dedication

Limiting Sobolev and Hardy inequalities on stratified homogeneous groups

Authors: Jean Van Schaftingen, Po-Lam Yung

Abstract: We give a sufficient condition for limiting Sobolev and Hardy inequalities to hold on stratified homogeneous groups. In the Euclidean case, this condition reduces to the known cancelling necessary and sufficient condition. We obtain in particular endpoint Korn--Sobolev and Korn--Hardy inequalities on stratified homogeneous groups. We give a sufficient condition for limiting Sobolev and Hardy inequalities to hold on stratified homogeneous groups. In the Euclidean case, this condition reduces to the known cancelling necessary and sufficient condition. We obtain in particular endpoint Korn--Sobolev and Korn--Hardy inequalities on stratified homogeneous groups. △ Less

Submitted 1 June, 2022; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: To appear in Ann. Fenn. Math

MSC Class: 35R03 (26D15; 35A23; 35H20; 43A80; 46E35)

A surprising formula for Sobolev norms

Authors: Haim Brezis, Jean Van Schaftingen, Po-Lam Yung

Abstract: We establish the equivalence between the Sobolev semi-norm $\|\nabla u\|_{L^p}$ and a quantity obtained when replacing the strong $L^p$ by a weak $L^p$ norm in the Gagliardo semi-norm $|u|_{W^{s,p}}$ computed at $s = 1$. As corollaries we derive alternative estimates in some exceptional cases (involving $W^{1,1}$) where the "anticipated" fractional Sobolev and Gagliardo-Nirenberg inequalities fail… ▽ More We establish the equivalence between the Sobolev semi-norm $\|\nabla u\|_{L^p}$ and a quantity obtained when replacing the strong $L^p$ by a weak $L^p$ norm in the Gagliardo semi-norm $|u|_{W^{s,p}}$ computed at $s = 1$. As corollaries we derive alternative estimates in some exceptional cases (involving $W^{1,1}$) where the "anticipated" fractional Sobolev and Gagliardo-Nirenberg inequalities fail. △ Less

Submitted 24 February, 2021; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: 14 pages

MSC Class: 46E30 (Primary) 26A33; 26D10; 35A23; 46E35 (Secondary)

Journal ref: Proc. Natl. Acad. Sci. 118 (2021) no. 8, e2025254118

A short proof of $\ell^2$ decoupling for the moment curve

Authors: Shaoming Guo, Zane Kun Li, Po-Lam Yung, Pavel Zorin-Kranich

Abstract: We give a short and elementary proof of the $\ell^{2}$ decoupling inequality for the moment curve in $\mathbb{R}^k$, using a bilinear approach inspired by the nested efficient congruencing argument of Wooley (arXiv:1708.01220). We give a short and elementary proof of the $\ell^{2}$ decoupling inequality for the moment curve in $\mathbb{R}^k$, using a bilinear approach inspired by the nested efficient congruencing argument of Wooley (arXiv:1708.01220). △ Less

Submitted 10 September, 2023; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: v3: fixed up issues about weights in the published version. Weights in Section 3 are now required to decay a bit faster at infinity, and proofs of properties of weights are now given in an Appendix

MSC Class: 11L07 (Primary) 11L15; 42B25; 26D05 (Secondary)

Journal ref: Amer. J. Math. 143.6 (2021), pp. 1983-1998

Decoupling for two quadratic forms in three variables: a complete characterization

Authors: Shaoming Guo, Changkeun Oh, Joris Roos, Po-Lam Yung, Pavel Zorin-Kranich

Abstract: We prove sharp decoupling inequalities for all degenerate surfaces of codimension two in $\mathbb{R}^5$ given by two quadratic forms in three variables. Together with previous work by Demeter, Guo, and Shi in the non-degenerate case (arXiv:1609.04107), this provides a classification of decoupling inequalities for pairs of quadratic forms in three variables. We prove sharp decoupling inequalities for all degenerate surfaces of codimension two in $\mathbb{R}^5$ given by two quadratic forms in three variables. Together with previous work by Demeter, Guo, and Shi in the non-degenerate case (arXiv:1609.04107), this provides a classification of decoupling inequalities for pairs of quadratic forms in three variables. △ Less

Submitted 4 December, 2021; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: v2: 19 pages, small corrections following referee report

MSC Class: 42B25 (Primary) 11L15; 26D05 (Secondary)

Journal ref: Rev. Mat. Iberoam. 39, no. 1, 283-306, 2023

A bilinear proof of decoupling for the cubic moment curve

Authors: Shaoming Guo, Zane Kun Li, Po-Lam Yung

Abstract: Using a bilinear method that is inspired by the method of efficient congruencing of Wooley [Woo16], we prove a sharp decoupling inequality for the moment curve in $\mathbb{R}^3$. Using a bilinear method that is inspired by the method of efficient congruencing of Wooley [Woo16], we prove a sharp decoupling inequality for the moment curve in $\mathbb{R}^3$. △ Less

Submitted 21 December, 2020; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: 28 pages; revised version incorporating referee comments

Maximal functions associated with families of homogeneous curves: $L^p$ bounds for $p\le 2$

Authors: Shaoming Guo, Joris Roos, Andreas Seeger, Po-Lam Yung

Abstract: Let $M^{(u)}$, $H^{(u)}$ be the maximal operator and Hilbert transform along the parabola $(t, ut^2) $. For $U\subset(0,\infty)$ we consider $L^p$ estimates for the maximal functions $\sup_{u\in U}|M^{(u)} f|$ and $\sup_{u\in U}|H^{(u)} f|$, when $1<p\le 2$. The parabolae can be replaced by more general non-flat homogeneous curves. Let $M^{(u)}$, $H^{(u)}$ be the maximal operator and Hilbert transform along the parabola $(t, ut^2) $. For $U\subset(0,\infty)$ we consider $L^p$ estimates for the maximal functions $\sup_{u\in U}|M^{(u)} f|$ and $\sup_{u\in U}|H^{(u)} f|$, when $1<p\le 2$. The parabolae can be replaced by more general non-flat homogeneous curves. △ Less

Submitted 3 December, 2019; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: 14 pages, final version to appear in Proceedings of the Edinburgh Mathematical Society

Journal ref: Proc. Edinburgh Math. Soc. 63 (2020), no. 2, 398-412

Reversing a philosophy: from counting to square functions and decoupling

Authors: Philip T. Gressman, Shaoming Guo, Lillian B. Pierce, Joris Roos, Po-Lam Yung

Abstract: Breakthrough work of Bourgain, Demeter, and Guth recently established that decoupling inequalities can prove powerful results on counting integral solutions to systems of Diophantine equations. In this note we demonstrate that in appropriate situations this implication can also be reversed. As a first example, we observe that a count for the number of integral solutions to a system of Diophantine… ▽ More Breakthrough work of Bourgain, Demeter, and Guth recently established that decoupling inequalities can prove powerful results on counting integral solutions to systems of Diophantine equations. In this note we demonstrate that in appropriate situations this implication can also be reversed. As a first example, we observe that a count for the number of integral solutions to a system of Diophantine equations implies a discrete decoupling inequality. Second, in our main result we prove an $L^{2n}$ square function estimate (which implies a corresponding decoupling estimate) for the extension operator associated to a non-degenerate curve in $\mathbb{R}^n$. The proof is via a combinatorial argument that builds on the idea that if $γ$ is a non-degenerate curve in $\mathbb{R}^n$, then as long as $x_1,\ldots, x_{2n}$ are chosen from a sufficiently well-separated set, then $ γ(x_1)+\cdots+γ(x_n) = γ(x_{n+1}) + \cdots + γ(x_{2n}) $ essentially only admits solutions in which $x_1,\ldots,x_n$ is a permutation of $x_{n+1},\ldots, x_{2n}$. △ Less

Submitted 13 June, 2019; originally announced June 2019.

Comments: 16 pages

MSC Class: 42B20; 42B25; 11D45

Journal ref: J. Geom. Anal. 31, 7075-7095, 2021

A maximal function for families of Hilbert transforms along homogeneous curves

Authors: Shaoming Guo, Joris Roos, Andreas Seeger, Po-Lam Yung

Abstract: Let $H^{(u)}$ be the Hilbert transform along the parabola $(t, ut^2)$ where $u\in \mathbb R$. For a set $U$ of positive numbers consider the maximal function $\mathcal{H}^U \!f= \sup\{|H^{(u)}\! f|: u\in U\}$. We obtain an (essentially) optimal result for the $L^p$ operator norm of $\mathcal{H}^U$ when $2<p<\infty$. The results are proved for families of Hilbert transforms along more general nonfl… ▽ More Let $H^{(u)}$ be the Hilbert transform along the parabola $(t, ut^2)$ where $u\in \mathbb R$. For a set $U$ of positive numbers consider the maximal function $\mathcal{H}^U \!f= \sup\{|H^{(u)}\! f|: u\in U\}$. We obtain an (essentially) optimal result for the $L^p$ operator norm of $\mathcal{H}^U$ when $2<p<\infty$. The results are proved for families of Hilbert transforms along more general nonflat homogeneous curves. △ Less

Submitted 25 September, 2019; v1 submitted 31 January, 2019; originally announced February 2019.

Comments: 44 pages, fixed typos. A shortened version of this paper will appear in Mathematische Annalen

Journal ref: Mathematische Annalen 377 (2020), 69-114

Solution of the tangential Kohn Laplacian on a class of non-compact CR manifolds

Authors: Chin-Yu Hsiao, Po-Lam Yung

Abstract: We solve $\square_b$ on a class of non-compact 3-dimensional strongly pseudoconvex CR manifolds via a certain conformal equivalence. The idea is to make use of a related $\square_b$ operator on a compact 3-dimensional strongly pseudoconvex CR manifold, which we solve using a pseudodifferential calculus. The way we solve $\square_b$ works whenever $\overline{\partial}_b$ on the compact CR manifold… ▽ More We solve $\square_b$ on a class of non-compact 3-dimensional strongly pseudoconvex CR manifolds via a certain conformal equivalence. The idea is to make use of a related $\square_b$ operator on a compact 3-dimensional strongly pseudoconvex CR manifold, which we solve using a pseudodifferential calculus. The way we solve $\square_b$ works whenever $\overline{\partial}_b$ on the compact CR manifold has closed range in $L^2$; in particular, as in Beals and Greiner, it does not require the CR manifold to be the boundary of a strongly pseudoconvex domain in $\mathbb{C}^2$. Our result provides in turn a key step in the proof of a positive mass theorem in 3-dimensional CR geometry, by Cheng, Malchiodi and Yang, which they then applied to study the CR Yamabe problem in 3 dimensions. △ Less

Submitted 28 February, 2019; v1 submitted 22 August, 2018; originally announced August 2018.

Comments: to appear in Calc. Var. Partial Differential Equations

Sharp variation-norm estimates for oscillatory integrals related to Carleson's theorem

Authors: Shaoming Guo, Joris Roos, Po-Lam Yung

Abstract: We prove variation-norm estimates for certain oscillatory integrals related to Carleson's theorem. Bounds for the corresponding maximal operators were first proven by Stein and Wainger. Our estimates are sharp in the range of exponents, up to endpoints. Such variation-norm estimates have applications to discrete analogues and ergodic theory. The proof relies on square function estimates for Schröd… ▽ More We prove variation-norm estimates for certain oscillatory integrals related to Carleson's theorem. Bounds for the corresponding maximal operators were first proven by Stein and Wainger. Our estimates are sharp in the range of exponents, up to endpoints. Such variation-norm estimates have applications to discrete analogues and ergodic theory. The proof relies on square function estimates for Schrödinger-like equations due to Lee, Rogers and Seeger. In dimension one, our proof additionally relies on a local smoothing estimate. Though the known endpoint local smoothing estimate by Rogers and Seeger is more than sufficient for our purpose, we also give a proof of certain local smoothing estimates using Bourgain-Guth iteration and the Bourgain-Demeter $\ell^2$ decoupling theorem. This may be of independent interest, because it improves the previously known range of exponents for spatial dimensions $n \ge 4$. △ Less

Submitted 4 June, 2019; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: 46 pages, 1 figure

Journal ref: Analysis & PDE 13 (2020), no. 5, 1457-1500

Image retargeting via Beltrami representation

Authors: Chun Pong Lau, Chun Pang Yung, Lok Ming Lui

Abstract: Image retargeting aims to resize an image to one with a prescribed aspect ratio. Simple scaling inevitably introduces unnatural geometric distortions on the important content of the image. In this paper, we propose a simple and yet effective method to resize an image, which preserves the geometry of the important content, using the Beltrami representation. Our algorithm allows users to interactive… ▽ More Image retargeting aims to resize an image to one with a prescribed aspect ratio. Simple scaling inevitably introduces unnatural geometric distortions on the important content of the image. In this paper, we propose a simple and yet effective method to resize an image, which preserves the geometry of the important content, using the Beltrami representation. Our algorithm allows users to interactively label content regions as well as line structures. Image resizing can then be achieved by war** the image by an orientation-preserving bijective war** map with controlled distortion. The war** map is represented by its Beltrami representation, which captures the local geometric distortion of the map. By carefully prescribing the values of the Beltrami representation, images with different complexity can be effectively resized. Our method does not require solving any optimization problems and tuning parameters throughout the process. This results in a simple and efficient algorithm to solve the image retargeting problem. Extensive experiments have been carried out, which demonstrate the efficacy of our proposed method. △ Less

Submitted 11 October, 2017; originally announced October 2017.

Comments: 13pages, 13 figures

Approximation in higher-order Sobolev spaces and Hodge systems

Authors: Pierre Bousquet, Emmanuel Russ, Yi Wang, Po-Lam Yung

Abstract: Let $d\geq 2$ be an integer, $1\leq l\leq d-1$ and $\varphi$ be a differential $l$-form on ${\mathbb R}^d$ with $\dot{W}^{1,d}$ coefficients. It was proved by Bourgain and Brezis (\cite[Theorem 5]{MR2293957}) that there exists a differential $l$-form $ψ$ on ${\mathbb R}^d$ with coefficients in $L^{\infty}\cap \dot{W}^{1,d}$ such that $d\varphi=dψ$. Bourgain and Brezis also asked whether this resul… ▽ More Let $d\geq 2$ be an integer, $1\leq l\leq d-1$ and $\varphi$ be a differential $l$-form on ${\mathbb R}^d$ with $\dot{W}^{1,d}$ coefficients. It was proved by Bourgain and Brezis (\cite[Theorem 5]{MR2293957}) that there exists a differential $l$-form $ψ$ on ${\mathbb R}^d$ with coefficients in $L^{\infty}\cap \dot{W}^{1,d}$ such that $d\varphi=dψ$. Bourgain and Brezis also asked whether this result can be extended to differential forms with coefficients in the fractional Sobolev space $\dot{W}^{s,p}$ with $sp=d$. We give a positive answer to this question, in the more general context of Triebel-Lizorkin spaces, provided that $d-κ\leq l\leq d-1$, where $κ$ is the largest positive integer such that $κ<\min(p,d)$. The proof relies on an approximation result for functions in $\dot{W}^{s,p}$ by functions in $\dot{W}^{s,p}\cap L^{\infty}$, even though $\dot{W}^{s,p}$ does not embed into $L^{\infty}$ in this critical case. △ Less

Submitted 27 August, 2018; v1 submitted 6 September, 2017; originally announced September 2017.

Variations on a proof of a borderline Bourgain-Brezis Sobolev embedding theorem

Authors: Sagun Chanillo, Jean Van Schaftingen, Po-Lam Yung

Abstract: We offer a variant of a proof of a borderline Bourgain-Brezis Sobolev embedding theorem on $\mathbb{R}^n$. We use this idea to extend the result to real hyperbolic spaces $\mathbb{H}^n$. We offer a variant of a proof of a borderline Bourgain-Brezis Sobolev embedding theorem on $\mathbb{R}^n$. We use this idea to extend the result to real hyperbolic spaces $\mathbb{H}^n$. △ Less

Submitted 8 December, 2016; originally announced December 2016.

Comments: 21 pages; to appear in a Special Issue of Chinese Annals of Mathematics in honour of Haim Brezis

Journal ref: Chinese Ann. Math. Ser. B 38 (2017), no. 1, 235-252

Bourgain-Brezis Estimates on Symmetric Spaces of Non-compact Type

Authors: Sagun Chanillo, Jean Van Schaftingen, Po-lam Yung

Abstract: Let M be a globally Riemannian symmetric space. We prove a duality estimate between pairings of vector fields with divergence zero and and in L^1 with vector fields in a critical Sobolev space on M. As a consequence we get a sharp Calderon-Zygmund estimate for solutions to Poisson's equation on M, where the right side data is manufactured from divergence free vector fields which are in L^1. Such a… ▽ More Let M be a globally Riemannian symmetric space. We prove a duality estimate between pairings of vector fields with divergence zero and and in L^1 with vector fields in a critical Sobolev space on M. As a consequence we get a sharp Calderon-Zygmund estimate for solutions to Poisson's equation on M, where the right side data is manufactured from divergence free vector fields which are in L^1. Such a result was proved earlier by Jean Bourgain and Haim Brezis on Euclidean space. △ Less

Submitted 25 May, 2017; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: Final version of the paper to appear in J. Functional Analysis

MSC Class: 35R03; 43A80; 53C35

Journal ref: J. Funct. Anal. 273 (2017), no. 4, 1504-1547

Efficient Feature-based Image Registration by Map** Sparsified Surfaces

Authors: Chun Pang Yung, Gary P. T. Choi, Ke Chen, Lok Ming Lui

Abstract: With the advancement in the digital camera technology, the use of high resolution images and videos has been widespread in the modern society. In particular, image and video frame registration is frequently applied in computer graphics and film production. However, conventional registration approaches usually require long computational time for high resolution images and video frames. This hinders… ▽ More With the advancement in the digital camera technology, the use of high resolution images and videos has been widespread in the modern society. In particular, image and video frame registration is frequently applied in computer graphics and film production. However, conventional registration approaches usually require long computational time for high resolution images and video frames. This hinders the application of the registration approaches in the modern industries. In this work, we first propose a new image representation method to accelerate the registration process by triangulating the images effectively. For each high resolution image or video frame, we compute an optimal coarse triangulation which captures the important features of the image. Then, we apply a surface registration algorithm to obtain a registration map which is used to compute the registration of the high resolution image. Experimental results suggest that our overall algorithm is efficient and capable to achieve a high compression rate while the accuracy of the registration is well retained when compared with the conventional grid-based approach. Also, the computational time of the registration is significantly reduced using our triangulation-based approach. △ Less

Submitted 22 April, 2020; v1 submitted 20 May, 2016; originally announced May 2016.

Journal ref: Journal of Visual Communication and Image Representation 55, 561-571 (2018)

Polynomial Carleson operators along monomial curves in the plane

Authors: Shaoming Guo, Lillian B. Pierce, Joris Roos, Po-Lam Yung

Abstract: We prove $L^p$ bounds for partial polynomial Carleson operators along monomial curves $(t,t^m)$ in the plane $\mathbb{R}^2$ with a phase polynomial consisting of a single monomial. These operators are "partial" in the sense that we consider linearizing stop**-time functions that depend on only one of the two ambient variables. A motivation for studying these partial operators is the curious feat… ▽ More We prove $L^p$ bounds for partial polynomial Carleson operators along monomial curves $(t,t^m)$ in the plane $\mathbb{R}^2$ with a phase polynomial consisting of a single monomial. These operators are "partial" in the sense that we consider linearizing stop**-time functions that depend on only one of the two ambient variables. A motivation for studying these partial operators is the curious feature that, despite their apparent limitations, for certain combinations of curve and phase, $L^2$ bounds for partial operators along curves imply the full strength of the $L^2$ bound for a one-dimensional Carleson operator, and for a quadratic Carleson operator. Our methods, which can at present only treat certain combinations of curves and phases, in some cases adapt a $TT^*$ method to treat phases involving fractional monomials, and in other cases use a known vector-valued variant of the Carleson-Hunt theorem. △ Less

Submitted 19 May, 2016; originally announced May 2016.

Comments: 27 pages

MSC Class: 42B20; 42B25; 44A12

Journal ref: J. Geom. Anal., 27 (4): 2977-3012, 2017

On a trilinear singular integral form with determinantal kernel

Authors: Philip Gressman, Danqing He, Vjekoslav Kovač, Brian Street, Christoph Thiele, Po-Lam Yung

Abstract: We study a trilinear singular integral form acting on two-dimensional functions and possessing invariances under arbitrary matrix dilations and linear modulations. One part of the motivation for introducing it lies in its large symmetry groups acting on the Fourier side. Another part of the motivation is that this form stands between the bilinear Hilbert transforms and the first Calderón commutato… ▽ More We study a trilinear singular integral form acting on two-dimensional functions and possessing invariances under arbitrary matrix dilations and linear modulations. One part of the motivation for introducing it lies in its large symmetry groups acting on the Fourier side. Another part of the motivation is that this form stands between the bilinear Hilbert transforms and the first Calderón commutator, in the sense that it can be reduced to a superposition of the former, while it also successfully encodes the latter. As the main result we determine the exact range of exponents in which the ${L}^p$ estimates hold for the considered form. △ Less

Submitted 5 October, 2015; originally announced October 2015.

Comments: 12 pages

MSC Class: 42B20

Journal ref: Proc. Amer. Math. Soc. 144 (2016), no. 8, 3465-3477

Applications of Bourgain-Brezis inequalities to Fluid Mechanics and Magnetism

Authors: Sagun Chanillo, Jean Van Schaftingen, Po-lam Yung

Abstract: We apply the borderline Sobolev inequalities of Bourgain-Brezis to the vorticity equation and Navier-Stokes equation in 2D. We take the initial vorticity to be in the space of functions of Bounded variation(BV). We obtain the subsequent vorticity to be in the space of functions of bounded variation, uniformly for small time, and the velocity vector to be uniformly bounded for small time. Such a co… ▽ More We apply the borderline Sobolev inequalities of Bourgain-Brezis to the vorticity equation and Navier-Stokes equation in 2D. We take the initial vorticity to be in the space of functions of Bounded variation(BV). We obtain the subsequent vorticity to be in the space of functions of bounded variation, uniformly for small time, and the velocity vector to be uniformly bounded for small time. Such a conclusion cannot follow for initial vorticity taken to be just a measure or in L^1 from the Lamb-Oseen vortex example. Secondly we apply an improved Strichartz inequality obtained earlier by the first and third authors to the Maxwell equations of Electromagnetism. In particular we estimate the size of the magnetic field vector in terms of the gradient of the current density vector. The main point is that in this inequality only the L^1 norm in space appears for the gradient of the current density vector. Such a result is only possible because of a vanishing divergence inhomogeneity in the wave equation for the Magnetic field vector stemming from the Maxwell equations. A key ingredient in the proof of the improved Strichartz inequality is the Bourgain-Brezis borderline Sobolev inequalities. △ Less

Submitted 6 October, 2015; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: References added to the work of M. Ben-Artzi and also Haim Brezis in ARMA. Introduction revised

Journal ref: C. R. Math. Acad. Sci. Paris 354 (2016), n°1, 51-55

A polynomial Carleson operator along the paraboloid

Authors: L. B. Pierce, Po-Lam Yung

Abstract: In this work we extend consideration of the polynomial Carleson operator to the setting of a Radon transform acting along the paraboloid in $\mathbb{R}^{n+1}$ for $n \geq 2$. Inspired by work of Stein and Wainger on the original polynomial Carleson operator, we develop a method to treat polynomial Carleson operators along the paraboloid via van der Corput estimates. A key new step in the approach… ▽ More In this work we extend consideration of the polynomial Carleson operator to the setting of a Radon transform acting along the paraboloid in $\mathbb{R}^{n+1}$ for $n \geq 2$. Inspired by work of Stein and Wainger on the original polynomial Carleson operator, we develop a method to treat polynomial Carleson operators along the paraboloid via van der Corput estimates. A key new step in the approach of this paper is to approximate a related maximal oscillatory integral operator along the paraboloid by a smoother operator, which we accomplish via a Littlewood-Paley decomposition and the use of a square function. The most technical aspect then arises in the derivation of bounds for oscillatory integrals involving integration over lower-dimensional sets. The final theorem applies to polynomial Carleson operators with phase belonging to a certain restricted class of polynomials with no linear terms and whose homogeneous quadratic part is not a constant multiple of the defining function $|y|^2$ of the paraboloid in $\mathbb{R}^{n+1}$. △ Less

Submitted 14 May, 2015; originally announced May 2015.

Comments: 76 pages

MSC Class: 42B20; 43A50; 42B25; 44A12

A sharp subelliptic Sobolev embedding theorem with weights

Authors: Po-Lam Yung

Abstract: The purpose of this short article is to prove some potential estimates that naturally arise in the study of subelliptic Sobolev inequalites for functions. This will allow us to prove a local subelliptic Sobolev inequality with the optimal amount of smoothing, as well as a variant of that which describes quantitatively an improvement of the inequality as one gets away from certain characteristic va… ▽ More The purpose of this short article is to prove some potential estimates that naturally arise in the study of subelliptic Sobolev inequalites for functions. This will allow us to prove a local subelliptic Sobolev inequality with the optimal amount of smoothing, as well as a variant of that which describes quantitatively an improvement of the inequality as one gets away from certain characteristic varieties. △ Less

Submitted 13 July, 2015; v1 submitted 23 February, 2015; originally announced February 2015.

Absence of Self-Similar Blow-up and Local Well-posedness for the Constant Mean-Curvature Wave Equation

Authors: Sagun Chanillo, Po-Lam Yung

Abstract: In this note, we consider the constant-mean-curvature wave equation in $(1+2)$-dimensions. We show that it does not admit any self-similar blow-up. We also remark that the equation is locally well-posed for initial data in $\dot{H}^{3/2}$. In this note, we consider the constant-mean-curvature wave equation in $(1+2)$-dimensions. We show that it does not admit any self-similar blow-up. We also remark that the equation is locally well-posed for initial data in $\dot{H}^{3/2}$. △ Less

Submitted 9 January, 2015; originally announced January 2015.

Linear-Quadratic Mean Field Games

Authors: Alain Bensoussan, Joseph Sung, Phillip Yam, Siu Pang Yung

Abstract: In this article, we provide a comprehensive study of the linear-quadratic mean field games via the adjoint equation approach; although the problem has been considered in the literature by Huang, Caines and Malhame (HCM, 2007a), their method is based on Dynamic Programming. It turns out that two methods are not equivalent, as far as giving sufficient condition for the existence of a solution is con… ▽ More In this article, we provide a comprehensive study of the linear-quadratic mean field games via the adjoint equation approach; although the problem has been considered in the literature by Huang, Caines and Malhame (HCM, 2007a), their method is based on Dynamic Programming. It turns out that two methods are not equivalent, as far as giving sufficient condition for the existence of a solution is concerned. Due to the linearity of the adjoint equations, the optimal mean field term satisfies a linear forward-backward ordinary differential equation. For the one dimensional case, we show that the equilibrium strategy always exists uniquely. For dimension greater than one, by choosing a suitable norm and then applying the Banach Fixed Point Theorem, a sufficient condition, which is independent of the solution of the standard Riccati differential equation, for the unique existence of the equilibrium strategy is provided. As a by-product, we also establish a neat and instructive sufficient condition for the unique existence of the solution for a class of non-trivial nonsymmetric Riccati equations. Numerical examples of non-existence of the equilibrium strategy and the comparison of HCM's approach will also be provided. △ Less

Submitted 23 April, 2014; originally announced April 2014.

Pseudodifferential operators of mixed type adapted to distributions of $k$-planes

Authors: Elias M. Stein, Po-Lam Yung

Abstract: We study the phenomena that arise when we combine the standard pseudodifferential operators with those operators that appear in the study of some sub-elliptic estimates, and on strongly pseudoconvex domains. The algebra of operators we introduce is geometrically invariant, and is adapted to a smooth distribution of tangent subspaces of constant rank. We isolate certain ideals in the algebra whose… ▽ More We study the phenomena that arise when we combine the standard pseudodifferential operators with those operators that appear in the study of some sub-elliptic estimates, and on strongly pseudoconvex domains. The algebra of operators we introduce is geometrically invariant, and is adapted to a smooth distribution of tangent subspaces of constant rank. We isolate certain ideals in the algebra whose analysis is of particular interest. △ Less

Submitted 11 December, 2014; v1 submitted 1 November, 2013; originally announced November 2013.

Comments: typos fixed

Solving the Kohn Laplacian on asymptotically flat CR manifolds of dimension 3

Authors: Chin-Yu Hsiao, Po-Lam Yung

Abstract: Let $(\hat{X}, T^{1,0} \hat{X})$ be a compact orientable CR embeddable three dimensional strongly pseudoconvex CR manifold, where $T^{1,0} \hat{X}$ is a CR structure on $\hat{X}$. Fix a point $p \in \hat{X}$ and take a global contact form $\hatθ$ so that $\hatθ$ is asymptotically flat near $p$. Then $(\hat{X}, T^{1,0} \hat{X}, \hatθ)$ is a pseudohermitian $3$-manifold. Let… ▽ More Let $(\hat{X}, T^{1,0} \hat{X})$ be a compact orientable CR embeddable three dimensional strongly pseudoconvex CR manifold, where $T^{1,0} \hat{X}$ is a CR structure on $\hat{X}$. Fix a point $p \in \hat{X}$ and take a global contact form $\hatθ$ so that $\hatθ$ is asymptotically flat near $p$. Then $(\hat{X}, T^{1,0} \hat{X}, \hatθ)$ is a pseudohermitian $3$-manifold. Let $G_p \in C^{\infty} (\hat{X} \setminus \{p\})$, $G_p > 0$, with $G_p(x) \sim \vartheta(x,p)^{-2}$ near $p$, where $\vartheta(x,y)$ denotes the natural pseudohermitian distance on $\hat{X}$. Consider the new pseudohermitian $3$-manifold with a blow-up of contact form $(\hat{X} \setminus \{p\}, T^{1,0} \hat{X}, G^2_p \hatθ)$ and let $\Box_{b}$ denote the corresponding Kohn Laplacian on $\hat{X} \setminus \{p\}$. In this paper, we prove that the weighted Kohn Laplacian $G^2_p \Box_b$ has closed range in $L^2$ with respect to the weighted volume form $G^2_p \hatθ \wedge d\hatθ$, and that the associated partial inverse and the Szegö projection enjoy some regularity properties near $p$. As an application, we prove the existence of some special functions in the kernel of $\Box_{b}$ that grow at a specific rate at $p$. The existence of such functions provides an important ingredient for the proof of a positive mass theorem in 3-dimensional CR geometry by Cheng-Malchiodi-Yang. △ Less

Submitted 31 December, 2013; v1 submitted 26 March, 2013; originally announced March 2013.

Comments: 72 pages

The tangential Cauchy-Riemann complex on the Heisenberg group Via Conformal Invariance

Authors: Chin-Yu Hsiao, Po-Lam Yung

Abstract: The Heisenberg group $\mathbb{H}^1$ is known to be conformally equivalent to the CR sphere $\mathbb{S}^3$ minus a point. We use this fact, together with the knowledge of the tangential Cauchy-Riemann operator on the compact CR manifold $\mathbb{S}^3$, to solve the corresponding operator on $\mathbb{H}^1$. The Heisenberg group $\mathbb{H}^1$ is known to be conformally equivalent to the CR sphere $\mathbb{S}^3$ minus a point. We use this fact, together with the knowledge of the tangential Cauchy-Riemann operator on the compact CR manifold $\mathbb{S}^3$, to solve the corresponding operator on $\mathbb{H}^1$. △ Less

Submitted 3 June, 2013; v1 submitted 26 March, 2013; originally announced March 2013.

A subelliptic Bourgain-Brezis inequality

Authors: Yi Wang, Po-Lam Yung

Abstract: We prove an approximation lemma on (stratified) homogeneous groups that allows one to approximate a function in the non-isotropic Sobolev space $\dot{NL}^{1,Q}$ by $L^{\infty}$ functions, generalizing a result of Bourgain-Brezis \cite{MR2293957}. We then use this to obtain a Gagliardo-Nirenberg inequality for $\bar{\partial}_b$ on the Heisenberg group $\mathbb{H}^n$. We prove an approximation lemma on (stratified) homogeneous groups that allows one to approximate a function in the non-isotropic Sobolev space $\dot{NL}^{1,Q}$ by $L^{\infty}$ functions, generalizing a result of Bourgain-Brezis \cite{MR2293957}. We then use this to obtain a Gagliardo-Nirenberg inequality for $\bar{\partial}_b$ on the Heisenberg group $\mathbb{H}^n$. △ Less

Submitted 21 October, 2014; v1 submitted 6 October, 2012; originally announced October 2012.

Comments: 44 pages

MSC Class: Primary 35H20; Secondary 42B35

Wave equations associated to Liouville systems and constant mean curvature equations

Authors: Sagun Chanillo, Po-Lam Yung

Abstract: We study the wave analog of the Liouville equation and the constant mean curvature equations in 2 space dimensions, which are energy critical. We exhibit a blow-up criteria for the former using tools from conformal geometry, and we exhibit finite time blow-up for the latter under suitable assumptions on the initial data. We study the wave analog of the Liouville equation and the constant mean curvature equations in 2 space dimensions, which are energy critical. We exhibit a blow-up criteria for the former using tools from conformal geometry, and we exhibit finite time blow-up for the latter under suitable assumptions on the initial data. △ Less

Submitted 21 May, 2011; originally announced May 2011.

An improved Strichartz estimate for systems with divergence free data

Authors: Sagun Chanillo, Po-Lam Yung

Abstract: Using the div-curl inequalities of Bourgain-Brezis [?MR2057026] and van Schaftingen [?MR2078071], we prove an improved Strichartz estimate for systems of inhomogeneous wave and Schrodinger equations, for which the inhomogeneity is a divergence-free vector field at each given time. The novelty of the result is that one can allow $L^1_x$ norms of the inhomogeneity in the right hand side of the estim… ▽ More Using the div-curl inequalities of Bourgain-Brezis [?MR2057026] and van Schaftingen [?MR2078071], we prove an improved Strichartz estimate for systems of inhomogeneous wave and Schrodinger equations, for which the inhomogeneity is a divergence-free vector field at each given time. The novelty of the result is that one can allow $L^1_x$ norms of the inhomogeneity in the right hand side of the estimate. △ Less

Submitted 29 November, 2010; originally announced November 2010.

Comments: 9 pages

Sobolev inequalities for $(0,q)$ forms on CR manifolds of finite type

Authors: Po-Lam Yung

Abstract: Let $M^{2n+1}$ ($n \geq 2$) be a compact pseudoconvex CR manifold of finite commutator type whose $\dbarb$ has closed range in $L^2$ and whose Levi form has comparable eigenvalues. We prove a sharp $L^1$ Sobolev inequality for the $\dbarb$ complex for $(0,q)$ forms when $q \ne 1$ nor $n-1$. We also prove an analogous $L^1$ inequality when $M$ satisfies condition $Y(q)$. The main technical ingred… ▽ More Let $M^{2n+1}$ ($n \geq 2$) be a compact pseudoconvex CR manifold of finite commutator type whose $\dbarb$ has closed range in $L^2$ and whose Levi form has comparable eigenvalues. We prove a sharp $L^1$ Sobolev inequality for the $\dbarb$ complex for $(0,q)$ forms when $q \ne 1$ nor $n-1$. We also prove an analogous $L^1$ inequality when $M$ satisfies condition $Y(q)$. The main technical ingredient is a new kind of $L^1$ duality inequality for vector fields that satisfy Hormander's condition. △ Less

Submitted 18 March, 2010; v1 submitted 19 September, 2009; originally announced September 2009.

Comments: to appear in Math. Res. Lett.