The Cauchy problem for the barotropic compressible Navier--Stokes equations on the whole two-dimensional space with vacuum as far field density is considered. When the shear viscosity is a positive constant and the bulk one is a power function of density with the power bigger than four-thirds, the global existence and uniqueness of strong and classical solutions is established. It should be remarked that there are no restrictions on the size of the data.

The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of an ellipse of small eccentricity which preserves integrability near the boundary, is itself an ellipse. This extends the result in Avila et al. (Ann Math 184:527–558, ADK16), where integrability was assumed on a larger set. In particular, it shows that (local) integrability near the boundary implies global integrability. One of the crucial ideas in the proof consists in analyzing Taylor expansion of the corresponding action-angle coordinates with respect to the eccentricity parameter, deriving and studying higher order conditions for the preservation of integrable rational caustics.

In this paper we study compact Sasaki manifolds in view of transverse K¨ahler geometry and extend some results in K¨ahler geometry to Sasaki manifolds. In particular we define integral invariants which obstruct the existence of transverse K¨ahler metric with harmonic Chern forms. The integral invariant f1 for the first Chern class case becomes an obstruction to the existence of transverse K¨ahler metric of constant scalar curvature. We prove the existence of transverse K¨ahler-Ricci solitons (or Sasaki-Ricci soliton) on compact toric Sasaki manifolds whose basic first Chern form of the normal bundle of the Reeb foliation is positive and the first Chern class of the contact bundle is trivial. We will further show that if S is a compact toric Sasaki manifold with the above assumption then by deforming the Reeb field we get a Sasaki-Einstein structure on S. As an application we obtain Sasaki-Einstein metrics on the U(1)-bundles associated with the canonical line bundles of toric Fano manifolds, including as a special case an irregular toric Sasaki-Einstein metrics on the unit circle bundle associated with the canonical bundle of the two-point blow-up of the complex projective plane.

Lattice problem such as NTRU problem and LWE problem is widely used as the security base of post-quantum cryptosystems. And currently doing lattice reduction by BKZ algorithm is the most efficient way to solve it. In this paper, we give several further improvements on BKZ algorithm, which can be used for different SVP subroutines base on both enumeration and sieving. These improvements in combination provide a speed up of 2^{3~4} in total. It is significant in concrete attacks. Using these new techniques, we solved the 656 dimensional ideal lattice challenge in only 380 thread hours (also with a enumeration based SVP subroutine), much less than the previous records (which costs 4600 thread hours in total). With these improvements enabled, we can still simulate the new BKZ algorithm easily. One can also use this simulator to find the blocksize strategy (and the corresponding cost) to make Pot of the basis (defined in section 5.2) decrease as fast as possible, which means the length of the first basis vector decrease the fastest if we accept the GSA assumption. It is useful for analyzing concrete attacks on lattice-based cryptography.

No abstract uploaded!