SearcharxivSearch

arXiv subjects

Yunlei Wang

Publications and source records attributed to Yunlei Wang.

9 recordsLinked to original sources

The Shubin--Vakilian--Wolff Uncertainty Principle at Half Density

Shubin, Vakilian, and Wolff proved a Fourier uncertainty principle for sets of sufficiently small local density at the reciprocal scale and asked whether every density below one is admissible. We answer this question negatively in dimension one by constructing sequences of pairs of $1/2$-density thin sets and unit vectors whose total position and Fourier mass outside these sets tends to zero. This obstruction persists for every scaled reciprocal profile $ρ_κ(x)=\min\{1,κ/|x|\}$, $κ>0$. On the other hand, for $0<κ\le1$, the uncertainty estimate holds whenever the density $$ \varepsilon<\frac{1}{2(1+32κ)}. $$ Thus the critical density tends to $1/2$ as $κ\downarrow 0$. The obstruction uses odd Gaussian packets to transfer norm bounds from a free-group model. The positive estimate uses a Fourier-complementary anti-Wick operator and quadratic straightening of the reciprocal geometry.

math.AP

Sparse supports of lattice eigenfunctions: quantitative growth and algebraic rigidity

We study how sparsely a nonzero discrete harmonic function on the standard lattice $\mathbb{Z}^d$ can be supported. Let $Q_n^{(d)}=\{-n,\cdots,n\}^d$, and let $m_d(n)$ denote the least possible value of $|\mathrm{supp}(u)\cap Q_n^{(d)}|$ among discrete harmonic functions $u:\mathbb{Z}^d\to\mathbb{C}$ with $u(0)\neq0$. For all $n\geq1$, we prove \begin{equation*} m_3(n)\asymp n^2, \quad c_dn^{d^2/(2d-1)} \leq m_d(n)\leq (2n+1)^{\lfloor d/2\rfloor+1} \quad d\ge 4. \end{equation*} These estimates extend the two-dimensional support estimate of Buhovsky, Logunov, Malinnikova, and Sodin [Duke Math. J. 171 (2022), 1349--1378] to higher dimensions and obtain sharpness in dimension three. For $d\geq4$, the lower exponent and the upper one differ by less than $3/4$ in even dimensions and $1/4$ in odd dimensions. The proof combines Hilbert functions of finite support sets with a position-translation uncertainty principle. The sharp three-dimensional bound additionally uses Cayley--Bacharach relations and rigidity of algebraic curves. Finally, for every nonzero lattice eigenfunction with eigenvalue $λ$, the Zariski closure of its full support has dimension at least $\lceil d/2\rceil$, and at least $\lfloor d/2\rfloor+1$ when $λ\neq0$. Both bounds are optimal. All proofs resulted from human-guided exploration by GPT-5.6 Sol in Ultra mode and checked by the author.

math.CA

Approximate null-controllability of discrete heat equations with potentials on lattices

We investigate approximate null-controllability for semi-discrete heat equations on the lattice $h\mathbb{Z}^d$ with a potential. By establishing spectral inequalities for the discrete Schr{ö}dinger operator $P_h = -Δ_h + V$ on equidistributed sets, we derive observability estimates via the Lebeau-Robbiano method and the Hilbert Uniqueness Method. For bounded potentials, we obtain quantitative controllability results with explicit dependence on the potential and show near optimality of the geometric condition on the observation set. We also treat polynomial growth potentials, for which similar properties hold with weaker control cost estimates. These results extend discrete Carleman techniques to the full-space lattice setting and provide new spectral estimates for discrete Schr{ö}dinger operators.

math.AP

Observability and Semiclassical Control for Schrödinger Equations on Non-compact Hyperbolic Surfaces

We study the observability of the Schrödinger equation on $X$, a non-compact covering space of a compact hyperbolic surface $M$. Using a generalized Bloch theory, functions on $X$ are identified as sections of flat Hilbert bundles over $M$. We develop a semiclassical analysis framework for such bundles and generalize the result of semiclassical control estimates in [Dyatlov and Jin, Acta Math., 220 (2018), pp. 297-339] to all flat Hilbert bundles over $M$, with uniform constants with respect to the choice of bundle. Furthermore, when the Riemannian cover $X \to M$ is a normal cover with a virtually Abelian deck transformation group $Γ$, we combine the uniform semiclassical control estimates on flat Hilbert bundles with the generalized Bloch theory to derive observability from any $Γ$-periodic open subsets of $X$. We also discuss applications of the uniform semiclassical control estimates in spectral geometry.

math.AP

Curved Ingham inequalities and observability of the toroidal Schr{ö}dinger equation

We prove that solutions of the toroidal Schr{ö}dinger equation can be observed from suitably curved space-time trajectories, thus of zero Lebesgue measure. To do so, we establish new upper and lower bounds for certain trigonometric sums along curves, in the spirit of the celebrated Ingham inequality. In a second part, we establish observability properties over arbitrarily short curves of the low-and high-frequency components separately. For the low-frequency component, we establish strong restrictions on the zero sets of the trigonometric sums under consideration.

math.AP

On L1-norms for non-harmonic trigonometric polynomials with sparse frequencies

In this paper we show that, if an increasing sequence $Λ=(λ_k)_{k\in\mathbb{Z}}$ has gaps going to infinity $λ_{k+1}-λ_k\to +\infty$ when $k\to\pm\infty$, then for every $T>0$ and every sequence $(a_k)_{k\in\mathbb{Z}}$ and every $N\geq 1$, $$ A\sum_{k=0}^N\frac{|a_k|}{1+k}\leq\frac{1}{T}\int_{-T/2}^{T/2} \left|\sum_{k=0}^N a_k e^{2iπλ_k t}\right|\,\mbox{d}t$$ further, if $\sum_{k\in\mathbb{Z}}\dfrac{1}{1+|λ_k|}<+\infty$,$$ B\max_{|k|\leq N}|a_k|\leq\frac{1}{T}\int_{-T/2}^{T/2} \left|\sum_{k=-N}^N a_k e^{2iπλ_k t}\right|\,\mbox{d}t $$ where $A,B$ are constants that depend on $T$ and $Λ$ only. The first inequality was obtained by Nazarov for $T>1$ and the second one by Ingham for $T\geq 1$ under the condition that $λ_{k+1}-λ_k\geq 1$. The main novelty is that if those gaps go to infinity, then $T$ can be taken arbitrarily small. The result is new even when the $λ_k$'s are integers where it extends a result of McGehee, Pigno and Smith. The results are then applied to observability of Schrödinger equations with moving sensors.

math.CA

Quantitative 2D propagation of smallness and control for 1D heat equations with power growth potentials

We study the relation between propagation of smallness in the plane and control for heat equations. The former has been proved by Zhu who showed how the value of solutions in some small set propagates to a larger domain. By reviewing his proof, we establish a quantitative version with the explicit dependence of parameters. Using this explicit version, we establish new exact null-controllability results of 1D heat equations with any nonnegative power growth potentials $V\in\mathcal{C}(\mathbb{R})$. As a key ingredient, new spectral inequalities are established. The control set $Ω$ that we consider satisfy \begin{equation*} \left|Ω\cap [x-L\langle x\rangle ^{-s},x+L\langle x\rangle ^{-s}]\right|\ge γ^{\langle x\rangle^τ}2L\langle x\rangle^{-s} \end{equation*} for some $γ\in(0,1)$, $L>0$, $τ,s\ge 0$, and $\langle x\rangle:=(1+|x|^2)^{1 /2} $. In particular, the null-controllability result for the case of thick sets that allow the decay of the density (\textit{i.e.}, $s=0$ and $τ\ge 0$) is included. These extend the Zhu-Zhuge's results from $Ω$ being the union of equidistributive open sets to thick sets in the 1-dimensional case, and Su-Sun-Yuan's result from bounded potentials to certain unbounded ones.

math.AP

Null-controllability of the Generalized Baouendi-Grushin heat like equations

In this article, we prove null-controllability results for the heat equation associated tofractional Baouendi-Grushin operators $$\partial_t u+\bigl(-Δ_x-V(x)Δ_y\bigr)^s u= \mathbb{1}_Ωh$$ where $V$ is a potential that satisfies some power growth conditions and the set $Ω$is thick in some sense. This extends previously known results for potentials $V(x)=|x|^{2k}$.To do so, we study Zhu-Zhuge's spectral inequality for Schr{ö}dinger operators with power growth potentials, and give a precised quantitative form of it.

math.OC

Observability of dispersive equations from line segments on the torus

We investigate the observability of a general class of linear dispersive equations on the torus $\mathbb{T}$. We take one line segment or two line segments in space-time region as the observable set. We give the characteristic on the slopes of the line segments to guarantee the qualitative observability and quantitative observability respectively. The one line segment case, is simple, follows directly from the Ingham's inequality. However, the two line segments case is difficult, the statement of results and the proof rely heavily on the language of graph theory. We also apply our results to (higher order) Schrödinger equations and the linear KdV equation.

math.AP