arXiv subjects
Publications and source records attributed to Shukun Wu.
Let $F:\mathbb{R}^3\to\mathbb{R}$ be a polynomial that is irreducible over $\mathbb{R}$ with $\text{deg} F\geq2$. We prove that, for any finite $X\subset Z(F)$ that does not concentrate on affine lines, \[ E(X)=\#\{(a,b,c,d)\in X^4: a+b=c+d\}\ll_{\text{deg} F,\,\epsilon}(\# X)^{2+\epsilon}. \] In particular, this answers a question of Bourgain and Demeter concerning finite subsets of the unit sphere.
We study two Kakeya set problems in compact semisimple Lie groups. In the first, motivated by the group structure, a Kakeya set is required to contain a left coset of every closed one-dimensional torus. For a compact semisimple Lie group $G$ of dimension $d$ and rank $r$, we determine the optimal Minkowski dimension for this problem, proving that it is exactly $(d+r)/2$. The upper bound is obtained from a Lie-theoretic construction associated with a Chevalley involution, while the lower bound combines incidence geometry with geometry of numbers. We also consider a local Kakeya set problem, closer to the classical harmonic-analytic formulation, in which one requires a fixed-length one-parameter arc in every direction. For this problem we obtain lower bound $(d+1)/2$ and $(d+2)/2$ for odd and even $r$, and upper bound $(d+r)/2$. We conjecture that the upper bound should be sharp.
Let $X\subset\mathbb{R}$ be finite and let $\gamma(t)=(t,f(t))$, where $f$ is strictly convex. We show that \[ J_3(\gamma(X)) =\#\{(x_1,\ldots,x_6)\in X^6:\sum_{i=1}^3\gamma(x_i)=\sum_{i=4}^6\gamma(x_i)\} \ll_{\epsilon}|X|^{3+\epsilon}. \] When specialized to the parabola, our result implies near-optimal estimates for the number of solutions to the diameter-free quadratic Vinogradov system. As a second application, we settle a conjecture from Krishnapur-Kurlberg-Wigman and Bombieri-Bourgain concerning lattice points on dilates of the unit circle. As a third application, we prove that $|A-A|\gg_\epsilon|A|^{5/3-\epsilon}$ and $|A+A|\gg_\epsilon|A|^{8/5-\epsilon}$ for any finite convex sequence $A\subset \mathbb{R}$.
We generalise the recent two-ends Furstenberg inequality due to Wang and the second author from lines to a family of transversal curves, and give a much simplified proof. As an application, we present a result pertaining to the Fourier decay of fractal measures on convex curves.
We prove sharp local smoothing estimates for wave equations on compact Riemannian manifolds in $n+1$ dimensions for odd $n$ and obtain improved estimates in even dimensions. This is achieved by deriving local smoothing estimates for certain Fourier integral operators. We also obtain improved local smoothing estimates for wave equations in Euclidean spaces.
We prove two-ends Furstenberg estimates in the plane for a Katz-Tao $(\delta,t)$-set of lines, for general $t\in[0,2]$.
We extend the microlocal Kakeya--Nikodym bounds for eigenfunctions of Blair--Sogge to a larger range of exponents, which is optimal in all dimensions $n\ge3$ on general manifolds. On manifolds of constant sectional curvature, we introduce a new anisotropic variant of the microlocal Kakeya--Nikodym norm that further enlarges the admissible $p$-range. As a corollary, by combining our results with a recent theorem of Hou, we obtain improved $L^p$ bounds for Hecke--Maass forms on compact hyperbolic $3$-manifolds. In particular, our method applies to general H\"ormander operators, and we characterize the $L^q \to L^p$ boundedness of H\"ormander operators with positive-definite phase in all dimensions $n\ge3$, thereby fully resolving a question going back to H\"ormander. Further applications include improved $L^q \to L^p$ Fourier extension bounds, and improved bounds related to the Bochner--Riesz conjecture in $\mathbb R^3$.
We establish some weighted $L^2$ estimates for the Fourier extension operator in $\mathbb{R}^2$ and discuss several applications to $L^p$ problems. These include estimates for the maximal Schrödinger operator and the maximal extension operator, decay of circular $L^p$-means of Fourier transform of fractal measures, and an $L^p$ analogue of the Mizohata-Takeuchi conjecture.
We prove bilinear $\ell^2$-decoupling and refined bilinear decoupling inequalities for the truncated hyperbolic paraboloid in $\mathbb{R}^3$. As an application, we prove the associated restriction estimate in the range $p>22/7$, matching an earlier result for the elliptic paraboloid.
Let $D$ be an open set of $\mathbb{R}^d$, $α\in (0, 2)$ and let $\mathcal{L}_α^D$ be the generator of the censored $α$-stable process in $D$. In this paper, we establish sharp two-sided heat kernel estimates for $\mathcal{L}_α^D-κ$, with $κ$ being a non-negative critical potential and $D$ being a $C^{1, β}$ open set, $β\in ((α-1)_+,1]$. The potential $κ$ can exhibit multi-singularities and our regularity assumption on $D$ is weaker than the regularity assumed in earlier literature on heat kernel estimates of fractional Laplacians.
We propose to study the restriction conjecture using decoupling theorems and two-ends Furstenberg inequalities. Specifically, we pose a two-ends Furstenberg conjecture, which implies the restriction conjecture. As evidence, we prove this conjecture in the plane by using the Furstenberg set estimate. Moreover, we use this planar result to prove a restriction estimate for $p>22/7$ in three dimensions, which implies Wolff's $5/2$-hairbrush bound for Kakeya sets in $\mathbb{R}^3$. Our approach also makes improvements for the restriction conjecture in higher dimensions.
We prove Kakeya-type estimates for regulus strips. As a result, we obtain another epsilon improvement over the Kakeya conjecture in $\mathbb{R}^3$, by showing that the regulus strips in the ${\rm SL}_2$ example are essentially disjoint. We also establish an $L^p$ inequality regarding Nikodym-type maximal function in the first Heisenberg group.
We demonstrate the almost everywhere convergence of the planar Bochner-Riesz means for $L^p$ functions in the optimal range when $5/3\leq p\leq 2$. This is achieved by establishing a sharp $L^{5/3}$ estimate for a maximal operator closely associated with the Bochner-Riesz multiplier operator. The estimate depends on a new refined $L^2$ estimate, which may be of independent interest.
This article is a study guide for ``On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" by Orponen and Shmerkin. We begin by introducing Furstenberg set problem and exceptional set of projections and provide a summary of the proof with the core ideas.
We prove some weighted $L^p\ell^p$-decoupling estimates when $p=2n/(n-1)$. As an application, we give a result beyond the real interpolation exponents for the maximal Bochner-Riesz operator in $\mathbb{R}^3$. We also make an improvement in the planar case.
We improve an $L^2\times L^2\to L^2$ estimate for a certain bilinear operator in the finite field of size $p$, where $p$ is a prime sufficiently large. Our method carefully picks the variables to apply the Cauchy-Schwarz inequality. As a corollary, we show that there exists a quadratic progression $x,x+y,x+y^2$ for nonzero $y$ inside any subset of $\mathbb{F}_p$ of density $\gtrsim p^{-1/8}$
Given $A$ a set of $N$ positive integers, an old question in additive combinatorics asks that whether $A$ contains a sum-free subset of size at least $N/3+ω(N)$ for some increasing unbounded function $ω$. The question is generally attacked in the literature by considering another conjecture, which asserts that as $N\to\infty$, $\max_{x\in\mathbb{R}/\mathbb{Z}}\sum_{n\in A}({\bf 1}_{(1/3,2/3)}-1/3)(nx)\to\infty$. This conjecture, if true, would also imply that a similar phenomenon occurs for $(2k,4k)$-sum-free sets for every $k\geq1$. In this note, we prove the latter result directly. The new ingredient of our proof is a structural analysis on the host set $A$, which might be of independent interest.
RGB-Thermal (RGB-T) semantic segmentation has shown great potential in handling low-light conditions where RGB-based segmentation is hindered by poor RGB imaging quality. The key to RGB-T semantic segmentation is to effectively leverage the complementarity nature of RGB and thermal images. Most existing algorithms fuse RGB and thermal information in feature space via concatenation, element-wise summation, or attention operations in either unidirectional enhancement or bidirectional aggregation manners. However, they usually overlook the modality gap between RGB and thermal images during feature fusion, resulting in modality-specific information from one modality contaminating the other. In this paper, we propose a Channel and Spatial Relation-Propagation Network (CSRPNet) for RGB-T semantic segmentation, which propagates only modality-shared information across different modalities and alleviates the modality-specific information contamination issue. Our CSRPNet first performs relation-propagation in channel and spatial dimensions to capture the modality-shared features from the RGB and thermal features. CSRPNet then aggregates the modality-shared features captured from one modality with the input feature from the other modality to enhance the input feature without the contamination issue. While being fused together, the enhanced RGB and thermal features will be also fed into the subsequent RGB or thermal feature extraction layers for interactive feature fusion, respectively. We also introduce a dual-path cascaded feature refinement module that aggregates multi-layer features to produce two refined features for semantic and boundary prediction. Extensive experimental results demonstrate that CSRPNet performs favorably against state-of-the-art algorithms.