We give a new proof of a classical uniqueness theorem of Alexandrov [4] using the weak uniqueness continuation theorem of BersNirenberg [8]. We prove a version of this theorem with the minimal regularity assumption: the spherical Hessians of the corresponding convex bodies as Radon measures are nonsingular.

No abstract uploaded!

No abstract uploaded!

The joint bilateral filter, which enables feature-preserving signal smoothing according to the structural information from a guidance, has been applied for various tasks in geometry processing. Existing methods either rely on a static guidance that may be inconsistent with the input and lead to unsatisfactory results, or a dynamic guidance that is automatically updated but sensitive to noises and outliers. Inspired by recent advances in image filtering, we propose a new geometry filtering technique called static/dynamic filter, which utilizes both static and dynamic guidances to achieve state-of-the-art results. The proposed filter is based on a nonlinear optimization that enforces smoothness of the signal while preserving variations that correspond to features of certain scales. We develop an efficient iterative solver for the problem, which unifies existing filters that are based on static or dynamic guidances. The filter can be applied to mesh face normals followed by vertex position update, to achieve scale-aware and feature-preserving filtering of mesh geometry. It also works well for other types of signals defined on mesh surfaces, such as texture colors. Extensive experimental results demonstrate the effectiveness of the proposed filter for various geometry processing applications such as mesh denoising, geometry feature enhancement, and texture color filtering.

We define the counting of holomorphic cylinders in log Calabi-Yau surfaces. Although we start with a complex log Calabi-Yau surface, the counting is achieved by applying methods from non-archimedean geometry. This gives rise to new geometric invariants. Moreover, we prove that the counting satisfies a property of symmetry. Explicit calculations are given for a del Pezzo surface in detail, which verify the conjectured wall-crossing formula for the focus-focus singularity. Our holomorphic cylinders are expected to give a geometric understanding of the combinatorial notion of broken line by Gross, Hacking, Keel and Siebert. Our tools include Berkovich spaces, tropical geometry, Gromov-Witten theory and the GAGA theorem for non-archimedean analytic stacks.

By a special symplectic connection we mean a torsion free connection which is either the Levi-Civita connection of a Bochner-K¨ahler metric of arbitrary signature, a Bochner-bi-Lagrangian connection, a connection of Ricci type or a connection with special symplectic holonomy. A manifold or orbifold with such a connection is called special symplectic. We show that the symplectic reduction of (an open cell of) a parabolic contact manifold by a symmetry vector field is special symplectic in a canonical way. Moreover, we show that any special symplectic manifold or orbifold is locally equivalent to one of these symplectic reductions. As a consequence, we are able to prove a number of global properties, including a classification in the compact simply connected case.

In this paper, we derive two subgradient estimates of the CR heat equation in a closed pseudohermitian 3-manifold which are served as the CR version of the Li-Yau gradient estimate. With its applications, we first get a subgradient estimate of the logarithm of the positive solution of the CR heat equation. Secondly, we have the Harnack inequality and upper bound estimate for the heat kernel. Finally, we obtain Perelman-type entropy formulae for the CR heat equation.

No abstract uploaded!

No abstract uploaded!

In this paper, we characterize, for 1≤$p$<∞, the multiple ($p$, 1)-summing multilinear operators on the product of$C(K)$spaces in terms of their representing polymeasures. As consequences, we obtain a new characterization of ($p$, 1)-summing linear operators on$C(K)$in terms of their representing measures and a new multilinear characterization of$L$_{∞}spaces. We also solve a problem stated by M.S. Ramanujan and E. Schock, improve a result of H. P. Rosenthal and S. J. Szarek, and give new results about polymeasures.

A compactness framework is formulated for the incompressible limit of approximate solutions with weak uniform bounds with respect to the adiabatic exponent for the steady Euler equations for compressible fluids in any dimension. One of our main observations is that the compactness can be achieved by using only natural weak estimates for the mass conservation and the vorticity. Another observation is that the incompressibility of the limit for the homentropic Euler flow is directly from the continuity equation, while the incompressibility of the limit for the full Euler flow is from a combination of all the Euler equations. As direct applications of the compactness framework, we establish two incompressible limit theorems for multidimensional steady Euler flows through infinitely long nozzles, which lead to two new existence theorems for the corresponding problems for multidimensional steady incompressible Euler equations.

We study a fourth order finite difference method for the unsteady incompressible Navier-Stokes equations in vorticity formulation. The scheme is essentially compact and can be implemented very efficiently. Either Briley’s formula, or a new higher order formula, which will be derived in this paper, can be chosen as the vorticity boundary condition. By formal Taylor expansion, the new formula for the vorticity on the boundary gives 4th order accuracy; while Briley’s formula provides only 3rd order accuracy. However, the use of either formula results in a stable method and achieves full 4th order accuracy. The convergence analysis of the scheme with our new formula will be given in this paper, while that with Briley’s formula has been established in earlier literature. The consistency analysis is easier than that of Briley’s formula, no Strang type analysis is needed. In the stability analysis part, we adopt the technique of controlling some local terms by the diffusion term via discrete elliptic regularity. Physical no-slip boundary conditions are used throughout.

A very simple and efficient finite element method is introduced for two and three dimensional viscous incompressible flows using the vorticity formulation. This method relies on recasting the traditional finite element method in the spirit of the high order accurate finite difference methods introduced by the authors in another work. Optimal accuracy of arbitrary order can be achieved using standard finite element or spectral elements. The method is convectively stable and is particularly suited for moderate to high Reynolds number flows.

No abstract uploaded!

We give an explicit formula for the logarithmic potential of the asymptotic zero-counting measure of the sequence {(dn/dzn)(R(z)expT(z))}∞n=1. Here, R(z) is a rational function with at least two poles, all of which are distinct, and T(z) is a polynomial. This is an extension of a recent measure-theoretic refinement of Pólya’s Shire theorem for rational functions.

In this paper, we provide rigorous justification of the hydrostatic approximation and the derivation of primitive equations as the small aspect ratio limit of the incompressible three-dimensional Navier-Stokes equations in the anisotropic horizontal viscosity regime. Setting $\varepsilon >0$ to be the small aspect ratio of the vertical to the horizontal scales of the domain, we investigate the case when the horizontal and vertical viscosities in the incompressible three-dimensional Navier-Stokes equations are of orders $O(1)$ and $O(\varepsilon^\alpha)$, respectively, with $\alpha>2$, for which the limiting system is the primitive equations with only horizontal viscosity as $\varepsilon$ tends to zero. In particular we show that for ``well prepared" initial data the solutions of the scaled incompressible three-dimensional Navier-Stokes equations converge strongly, in any finite interval of time, to the corresponding solutions of the anisotropic primitive equations with only horizontal viscosities, as $\varepsilon$ tends to zero, and that the convergence rate is of order $O\left(\varepsilon^\frac\beta2\right)$, where $\beta=\min\{\alpha-2,2\}$. Note that this result is different from the case $\alpha=2$ studied in [Li, J.; Titi, E.S.: \emph{The primitive equations as the small aspect ratio limit of the Navier-Stokes equations: Rigorous justification of the hydrostatic approximation}, J. Math. Pures Appl., \textbf{124} \rm(2019), 30--58], where the limiting system is the primitive equations with full viscosities and the convergence is globally in time and its rate of order $O\left(\varepsilon\right)$.

No abstract uploaded!

The chains studied in this paper generalize Chern–Moser chains for CR structures. They form a distinguished family of one dimensional submanifolds in manifolds endowed with a parabolic contact structure. Both the parabolic contact structure and the system of chains can be equivalently encoded as Cartan geometries (of different types). The aim of this paper is to study the relation between these two Cartan geometries for Lagrangean contact structures and partially integrable almost CR structures. We develop a general method for extending Cartan geometries which generalizes the Cartan geometry interpretation of Fefferman’s construction of a conformal structure associated to a CR structure. For the two structures in question, we show that the Cartan geometry associated to the family of chains can be obtained in that way if and only if the original parabolic contact structure is torsion free. In particular, the procedure works exactly on the subclass of (integrable) CR structures. This tight relation between the two Cartan geometries leads to an explicit description of the Cartan curvature associated to the family of chains. On the one hand, this shows that the homogeneous models for the two parabolic contact structures give rise to examples of non–flat path geometries with large automorphism groups. On the other hand, we show that one may (almost) reconstruct the underlying torsion free parabolic contact structure from the Cartan curvature associated to the chains. In particular, this leads to a very conceptual proof of the fact that chain preserving contact diffeomorphisms are either isomorphisms or antiisomorphisms of parabolic contact structures.

The authors proved in [5] that in a complete, connected, and simply connected Riemannian manifold, the volume of the intersection of two small geodesic balls depends only on the distance between the centers and the radii if and only if the space is harmonic. In this paper, we show that this proposition remains true, if the condition is restricted to balls of equal radii.

We prove that many aspects of the differential geometry of embedded Riemannian manifolds can be formulated in terms of multi-linear algebraic structures on the space of smooth functions. In particular, we find algebraic expressions for Weingarten’s formula, the Ricci curvature, and the Codazzi-Mainardi equations. For matrix analogues of embedded surfaces, we define discrete curvatures and Euler characteristics, and a non-commutative GaussBonnet theorem is shown to follow. We derive simple expressions for the discrete Gauss curvature in terms of matrices representing the embedding coordinates, and explicit examples are provided. Furthermore, we illustrate the fact that techniques from differential geometry can carry over to matrix analogues by proving that a bound on the discrete Gauss curvature implies a bound on the eigenvalues of the discrete Laplace operator.

No abstract uploaded!

In this note we generalize two theorems of Klee [9] and a result of Bair-Jongmans [7] about the true separation of two convex cones; afterwards, we introduce the notion of true separation for$n(n≧2)$convex sets and we extend our three first statements for$n$convex cones.

No abstract uploaded!

No abstract uploaded!

Any Calabi–Yau threefold X with infinite fundamental group admits an ´etale Galois covering either by an abelian threefold or by the product of a K3 surface and an elliptic curve. We call X of type A in the former case and of type K in the latter case. In this paper, we provide the full classification of Calabi–Yau threefolds of type K, based on Oguiso and Sakurai’s work [24]. Together with a refinement of their result on Calabi–Yau threefolds of type A, we finally complete the classification of Calabi–Yau threefolds with infinite fundamental group.