Searcharxiv⌕ Search

arXiv subjects

Tongou Yang

Publications and source records attributed to Tongou Yang.

13 recordsLinked to original sources
arXiv2025

Decoupling for degenerate hypersurfaces

We utilise the two principles of decoupling introduced in arXiv:2407.16108 to prove the following conditional result: assuming uniform decoupling for graphs of polynomials in all dimensions with identically zero Gaussian curvature, we can prove decoupling for all smooth hypersurfaces in all dimensions. Moreover, we are able to prove (unconditional) decoupling for all smooth hypersurfaces in $\mathbb R^4$ and graphs of homogeneous polynomials in $\mathbb R^5$.

math.CA↗
arXiv2025

Decoupling for surfaces with radial symmetry

We utilise the two principles of decoupling introduced in [arXiv:2407.16108] to prove decoupling for two types of surfaces exhibiting radial symmetry. The first type are surfaces of revolution in $\mathbb R^n$ generated by smooth surfaces in $\mathbb R^3$. The second type of surfaces are graphs of trivariate homogeneous smooth functions of a nonzero degree.

math.CA↗
arXiv2025

Improved packing of hypersurfaces in $\mathbb R^d$

For $d\ge 1$, we construct a compact subset $K\subseteq \mathbb {R}^{d+1}$ containing a $d$-sphere of every radius between $1$ and $2$, such that for every $\delta\in (0,1)$, the $\delta$-neighbourhood of $K$ has Lebesgue measure $\lesssim |\log \delta|^{-2/d}$. This is the smallest possible order when $d=2$, and improves a result of Kolasa-Wolff (Pacific J. Math., 190(1):111-154, 1999). Our construction also generalises to Holder-continuous families of $C^{2,\alpha}$ hypersurfaces with nonzero Gaussian curvature.

math.CA↗
arXiv2024

Construction of a curved Kakeya set

We construct a compact set in $\mathbb R^2$ of measure 0 containing a piece of a parabola of every aperture between 1 and 2. As a consequence, we improve lower bounds for the $L^p$-$L^q$ norm of the corresponding maximal operator for a range of $p$, $q$. Moreover, our construction can be generalised from parabolas to a family of $C^2$ curves satisfying suitable curvature conditions.

math.CA↗
arXiv2024

Two principles of decoupling

We put forward a radial principle and a degeneracy locating principle of decoupling. The former generalises the Pramanik-Seeger argument used in the proof of decoupling for the light cone. The latter locates the degenerate part of a manifold and effectively reduces the decoupling problem to two extremes: non-degenerate case and totally degenerate case. Both principles aim to provide a new algebraic approach of reducing decoupling for new manifolds to decoupling for known manifolds.

math.CA↗
arXiv2024

Sharp $\ell^q(L^p)$ decoupling for paraboloids

In this short expository note, we prove the following result, which is a special case of the main theorem in arXiv:2011.09451. For each $n \ge 2$ and $p, q \in [2, \infty]$, we prove upper bounds of $\ell^q(L^p)$ decoupling constants for paraboloids in $\mathbb R^n$, as well as presenting extremisers for each case. Both are sharp up to $\varepsilon$-losses.

math.CA↗
arXiv2024

Study guide for "On restricted projections to planes in $\mathbb R^3$"

This article is a study guide for ``On restricted projections to planes in $\mathbb R^3$" [arXiv:2207.13844] by Gan, Guo, Guth, Harris, Maldague and Wang. We first present the main problems and preliminaries related to restricted projections in $\mathbb R^3$. Then we introduce the high-low method and decoupling, which are the two central and novel ideas in their proofs. We hope to provide as many details as possible so that this study guide is self-contained, with the only exception of the Bourgain-Demeter decoupling inequality for curves in the appendix.

math.CA↗
arXiv2023

A multi-parameter cinematic curvature

We state a multi-parameter cinematic curvature condition, and prove $L^p$ bounds for related maximal operators. In particular, we verify a local smoothing conjecture of Zahl.

math.CA↗
arXiv2022

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

We resolve a conjecture of F\"assler and Orponen on the dimension of exceptional projections to one-dimensional subspaces indexed by a space curve in $\mathbb{R}^3$. We do this by obtaining sharp $L^p$ bounds for a variant of the Wolff circular maximal function over fractal sets for a class of $C^2$ curves related to Sogge's cinematic curvature condition. A key new tool is the use of lens cutting techniques from discrete geometry.

math.CA↗
arXiv2021

Decoupling for smooth surfaces in $\mathbb{R}^3$

For each $d\geq 0$, we prove decoupling inequalities in $\mathbb R^3$ for the graphs of all bivariate polynomials of degree at most $d$ with bounded coefficients, with the decoupling constant depending uniformly in $d$ but not the coefficients of each individual polynomial. As a consequence, we prove a decoupling inequality for (a compact piece of) every smooth surface in $\mathbb{R}^3$, which in particular solves a conjecture of Bourgain, Demeter and Kemp.

math.CA↗
arXiv2021

Uniform $l^2$-decoupling in $\mathbb R^2$ for Polynomials

For each positive integer $d$, we prove a uniform $l^2$-decoupling inequality for the collection of all polynomials phases of degree at most $d$. Our result is intimately related to \cite{MR4078083}, but we use a different partition that is determined by the geometry of each individual phase function.

math.CA↗
arXiv2020

On Sets Containing an Affine Copy of Bounded Decreasing Sequences

How small can a set be while containing many configurations? Following up on earlier work of Erd\H os and Kakutani \cite{MR0089886}, Máthé \cite{MR2822418} and Molter and Yavicoli \cite{Molter}, we address the question in two directions. On one hand, if a subset of the real numbers contains an affine copy of all bounded decreasing sequences, then we show that such subset must be somewhere dense. On the other hand, given a collection of convergent sequences with prescribed decay, there is a closed and nowhere dense subset of the reals that contains an affine copy of every sequence in that collection.

math.CA↗