We study the super-resolution (SR) problem of recovering point sources consisting of a collection of isolated and suitably separated spikes from only the low frequency measurements. If the peak separation is above a factor in $(1, 2)$ of the Rayleigh length (physical resolution limit), L1 minimization is guaranteed to recover such sparse signals. However, below such critical length scale, especially the Rayleigh length, the $L_1$ certificate no longer exists. We show several local properties (local minimum, directional stationarity, and sparsity) of the limit points of minimizing two $L_1$ based nonconvex penalties, the difference of $L_1$ and $L_2$ norms $(L_{1-2})$ and capped $L_1 (CL_1)$, subject to the measurement constraints. In one and two dimensional numerical SR examples,the local optimal solutions from dierence of convex function algorithms outperform the global L1 solutions near or below Rayleigh length scales either in the accuracy of ground truth recovery or in nding a sparse solution satisfying the constraints more accurately.

We prove Kudla-Rallis conjecture on ¯rst occurrences of local theta correspondence, for all irreducible dual pairs of type I and all local ¯elds of characteristic zero.

We study the Newton polygon jumping locus of a Mumford family in char p. Our main result says that, under a mild assumption on p, the jumping locus consists of only supersingular points and its cardinality is equal to (p^r − 1)(g − 1), where r is the degree of the defining field of the base curve of a Mumford family in char p and g is the genus of the curve. The underlying technique is the p-adic Hodge theory.

In the presence of vacuum, the physical entropy for polytropic gases behaves singularly and it is thus a challenge to study its dynamics. It is shown in this paper that the boundedness of the entropy can be propagated up to any finite time provided that the initial vacuum presents only at far fields with sufficiently slow decay of the initial density. More precisely, for the Cauchy problem of the onedimensional heat conductive compressible Navier--Stokes equations, the global well-posedness of strong solutions and uniform boundedness of the corresponding entropy are established, as long as the initial density vanishes only at far fields with a rate no more than $O(\frac{1}{x^2})$. The main tools of proving the uniform boundedness of the entropy are some singularly weighted energy estimates carefully designed for the heat conductive compressible Navier--Stokes equations and an elaborate De Giorgi type iteration technique for some classes of degenerate parabolic equations. The De Giorgi type iterations are carried out to different equations in establishing the lower and upper bounds of the entropy.

We consider numerical boundary conditions for high order finite difference schemes for solving convection-diffusion equations on arbitrary geometry. The two main difficulties for numerical boundary conditions in such situations are: (1) the wide stencil of the high order finite difference operator requires special treatment for a few ghost points near the boundary; (2) the physical boundary may not coincide with grid points in a Cartesian mesh and may intersect with the mesh in an arbitrary fashion. For purely convection equations, the so-called inverse Lax-Wendroff procedure, in which we convert the normal derivatives into the time derivatives and tangential derivatives along the physical boundary by using the equations, have been quite successful. In this paper, we extend this methodology to convection-diffusion equations. It turns out that this extension is non-trivial, because totally different boundary treatments are needed for the diffusion-dominated and the convection-dominated regimes. We design a careful combination of the boundary treatments for the two regimes and obtain a stable and accurate boundary condition for general convection-diffusion equations. We provide extensive numerical tests for one- and two-dimensional problems involving both scalar equations and systems, including the compressible Navier-Stokes equations, to demonstrate the good performance of our numerical boundary conditions.