MathSciDoc: An Archive for Mathematician ∫

This erratum will correct the classification of Theorem 1 in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex graph.

Hamilton's Ricci flow (RF) equations were recently expressed in terms of a sparsely-coupled system of autonomous first-order nonlinear differential equations for the edge lengths of a d-dimensional piecewise linear (PL) simplicial geometry. More recently, this system of discrete Ricci flow (DRF) equations was further simplified by explicitly constructing the Forman-Ricci tensor associated to each edge, thereby diagonalizing the first-order differential operator and avoiding the need to invert large sparse matrices at each time step. We recently showed analytically and numerically that these equations converge for axisymmetric 3-geometries to the corresponding continuum RF equations. We demonstrate here that these DRF equations yield an explicit numerical realization of Thurston's geometrization procedure for a discrete 3D axially-symmetric neckpinch geometry by using surgery to explicitly integrate through its Type-1 neck pinch singularity. A cubic-spline-based adaptive mesh was required to complete the evolution. Our numerically efficient simulations yield the expected Thurston decomposition of the sufficiently pinched axially symmetric geometry into its unique geometric structure--a direct product of two lobes, each collapsing toward a 3-sphere geometry. The structure of our curvature may be used to better inform one of the vertex and edge weighting factors that appear in the Forman's expression of Ricci curvature on graphs.

In this paper, we study the zero loci of local systems of the form \delta\Pi , where \delta\Pi is the period sheaf of the universal family of CY hypersurfaces in a suitable ambient space \delta\Pi , and \delta\Pi is a given differential operator on the space of sections \delta\Pi . Using earlier results of three of the authors and their collaborators, we give several different descriptions of the zero locus of \delta\Pi . As applications, we prove that the locus is algebraic and in some cases, non-empty. We also give an explicit way to compute the polynomial defining equations of the locus in some cases. This description gives rise to a natural stratification to the zero locus.

Let X be a compact Khler manifold and X a subvariety of X with higher co-dimension. The aim is to study complete constant scalar curvature Khler metrics on non-compact Khler manifold X with Poincar--Mok--Yau asymptotic property (see Definition\ref {def}). In this paper, the methods of Calabi's ansatz and the moment construction are used to provide some special examples of such metrics.

In this paper, we construct complete constant scalar curvature Khler (cscK) metrics on the complement of the zero section in the total space of O ( - 1 ) 2 over O ( - 1 ) 2 , which is biholomorphic to the smooth part of the cone <i>C</i> ₀ in O ( - 1 ) 2 defined by equation O ( - 1 ) 2 . On its small resolution and its deformation, we also consider complete cscK metrics and find that if the cscK metrics are homogeneous, then they must be Ricci-flat.

To a digraph with a choice of certain integral basis, we construct a CW complex, whose integral singular cohomology is canonically isomorphic to the path cohomology of the digraph as introduced in\cite {GLMY}. The homotopy type of the CW complex turns out to be independent of the choice of basis. After a very brief discussion of functoriality, this construction immediately implies some of the expected but perhaps combinatorially subtle properties of the digraph cohomology and homotopy proved very recently\cite {GLMY2}. Furthermore, one gets a very simple expected formula for the cup product of forms on the digraph. On the other hand, we present an approach of using sheaf theory to reformulate (di) graph cohomologies. The investigation of the path cohomology from this framework, leads to a subtle version of Poincare lemma for digraphs, which follows from the construction of the CW complex.

Finding surface mappings with least distortion arises from many applications in various fields. Extremal Teichm ller maps are surface mappings with least conformality distortion. The existence and uniqueness of the extremal Teichm ller map between Riemann surfaces of finite type are theoretically guaranteed [1]. Recently, a simple iterative algorithm for computing the Teichm ller maps between connected Riemann surfaces with given boundary value was proposed in [11]. Numerical results was reported in the paper to show the effectiveness of the algorithm. The method was successfully applied to landmark-matching registration. The purpose of this paper is to prove the iterative algorithm proposed in [11] indeed converges.

This paper introduces an efficient approach to integrating non-local statistics into the higher-order Markov Random Fields (MRFs) framework. Motivated by the observation that many non-local statistics (eg, shape priors, color distributions) can usually be represented by a small number of parameters, we reformulate the higher-order MRF model by introducing additional latent variables to represent the intrinsic dimensions of the higher-order cliques. The resulting new model, called NC-MRF, not only provides the flexibility in representing the configurations of higher-order cliques, but also automatically decomposes the energy function into less coupled terms, allowing us to design an efficient algorithmic framework for maximum a posteriori (MAP) inference. Based on this novel modeling/inference framework, we achieve state-of-the-art solutions to the challenging problems of class-specific image segmentation and template-based 3D facial expression tracking, which demonstrate the potential of our approach.

We study the limit of quasilocal energy defined in [7] and [8] for a family of spacelike 2-surfaces approaching null infinity of an asymptotically flat spacetime. It is shown that Lorentzian symmetry is recovered and an energy-momentum 4-vector is obtained. In particular, the result is consistent with the Bondi-Sachs energy-momentum at a retarded time. The quasilocal mass in [7] and [8] is defined by minimizing quasilocal energy among admissible isometric embeddings and observers. The solvability of the Euler-Lagrange equation for this variational problem is also discussed in both the asymptotically flat and asymptotically null cases.

No abstract uploaded!