MathSciDoc: An Archive for Mathematician ∫

The path complex and its homology were defined in the previous papers of authors. The theory of path complexes is a natural discrete generalization of the theory of simplicial complexes and the homology of path complexes provide homotopy invariant homology theory of digraphs and (nondirected) graphs. In the paper we study the homology theory of path complexes. In particular, we describe functorial properties of paths complexes, introduce notion of homotopy for path complexes and prove the homotopy invariance of path homology groups. We prove also several theorems that are similar to the results of classical homology theory of simplicial complexes. Then we apply obtained results for construction homology theories on various categories of hypergraphs. We describe basic properties of these homology theories and relations between them. As a particular case, these results give new homology theories on the category of simplicial complexes.

We classify all connected, simple, 3-regular graphs with girth at least 5 that are Ricci-flat. We use the definition of Ricci curvature on graphs given in Lin-Lu-Yau, Tohoku Math., 2011, which is a variation of Ollivier, J. Funct. Anal., 2009. A graph is Ricci-flat, if it has vanishing Ricci curvature on all edges. We show, that the only Ricci-flat cubic graphs with girth at least 5 are the Petersen graph, the Triplex and the dodecahedral graph. This will correct the classification in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex.

We study pretty good quantum state transfer (ie, state transfer that becomes arbitrarily close to perfect) between vertices of graphs with an involution in the presence of an energy potential. In particular, we show that if a graph has an involution that fixes at least one vertex or at least one edge, then there exists a choice of potential on the vertex set of the graph for which we get pretty good state transfer between symmetric vertices of the graph. We show further that in many cases, the potential can be chosen so that it is only non-zero at the vertices between which we want pretty good state transfer. As a special case of this, we show that such a potential can be chosen on the endpoints of a path to induce pretty good state transfer in paths of any length. This is in contrast to the result of [6], in which the authors show that there cannot be perfect state transfer in paths of length 4 or more, no matter what potential is chosen.

We survey the theory of complex manifolds that are related to Riemann surface, Hodge theory, Chern class, Kodaira embedding and HirzebruchRiemannRoch, and some modern development of uniformization theorems, KhlerEinstein metric and the theory of DonaldsonUhlenbeckYau on Hermitian YangMills connections. We emphasize mathematical ideas related to physics. At the end, we identify possible future research directions and raise some important open questions.

Alexandrov proved that any simplicial complex homeomorphic to a sphere with strictly non-negative Gaussian curvature at each vertex can be isometrically embedded uniquely in {{\mathbb {R}}}^{3} as a convex polyhedron. Due to the nonconstructive nature of his proof, there have yet to be any algorithms, that we know of, that realizes the Alexandrov embedding in polynomial time. Following his proof, we developed the adiabatic isometric mapping (AIM) algorithm. AIM uses a guided adiabatic pull-back procedure on a given polyhedral metric to produce an embedding that approximates the unique Alexandrov polyhedron. Tests of AIM applied to two different polyhedral metrics suggests that its run time is sub cubic with respect to the number of vertices. Although Alexandrov's theorem specifically addresses the embedding of convex polyhedral metrics, we tested AIM on a broader class of polyhedral metrics that included regions of

Unit tangent bundle of a surface carries various information of tangent vector fields on that surface. For 2-spheres (ie genus-zero closed surfaces), the unit tangent bundle is a closed 3-manifold that has non-trivial topology and cannot be embedded in R3. Therefore it cannot be constructed by existing mesh generation algorithms directly. This work aims at the first discrete construction of unit tangent bundles over 2-spheres using tetrahedral meshes. We propose a two-stage algorithm for the construction, which starts from constructing two local bundles and then combines them into a global bundle.

We define new energy momentum surface density and quasilocal mass for the boundary surface of a spacelike region in spacetime. Isometric embeddings of such a surface into the Minkowski space are used as reference surfaces in the definition. When the reference surface lies in a flat three-dimensional space slice of the Minkowski space, our expression recovers the Brown-York and Liu-Yau quasilocal mass. Moreover, we prove the positivity of the new quasilocal mass under the dominant energy condition and show that it is zero for surfaces in the Minkowski space.

Narain lattices are unimodular lattices {\it in} $\R^{r, s} $, subject to certain natural equivalence relation and rationality condition. The problem of describing and counting these rational equivalence classes of Narain lattices in $\R^{2, 2} $ has led to an interesting connection to binary forms and their Gauss products, as shown in [HLOYII]. As a sequel, in this paper, we study arbitrary rational Narain lattices and generalize some of our earlier results. In particular in the case of $\R^{2, 2} $, a new interpretation of the Gauss product of binary forms brings new light to a number of related objects--rank 4 rational Narain lattices, over-lattices, rank 2 primitive sublattices of an abstract rank 4 even unimodular lattice U^ 2, and isomorphisms of discriminant groups of rank 2 lattices.

In this summary article, we review and discuss the non-existence of stationary black hole solutions for the Einstein-Dirac-Maxwell equations.

It is a great honor for me to be invited by Tsinghua University to talk today. Tsinghua has, in its history, made many contributions to mathematics. The two most famous mathematicians in modern Chinese history have both been closely related to Tsinghua University. One is Professor Hua Lo-Keng, the other is Prof essor Chern Shiing-Sheng. Especially since Professor Chern is my teacher, I feel proud to be able to say some words in the opening ceremony for the Center for Advanced Study. I chose the title of my talk also for this reason. Due to my critical comments, I have decided to spend most of my time in giving a general talk in English. The remainder of the talk will be in Chinese.