No abstract uploaded!

The goal of urban building mesh simplification is to generate a compact representation of a building from a given mesh. Local smoothness and sharp contours of urban buildings are important features for converting unstructured data into solid models, which should be preserved during the simplification. In this paper, we present a general method to filter and simplify 3D building mesh models, capable of preserving piecewise planar structures and sharp features. Given a building mesh model, a mesh filtering technique is firstly designed to yield piecewise planar regions and extract crease contours. The planar regions are used to constrain the simplification of the mesh. Mesh decimation is achieved through a series of edge collapse operations, which uses regional structural constraints and local geometric error metrics to handle planar and non-planar areas respectively. The proposed method preserves the mesh structure with meaningful levels of detail while reducing the number of faces. The effectiveness of this method is evaluated on various building models generated from different observation scales, and the performance is validated by extensive comparisons to state-of-the-art techniques.

Forest above-ground biomass (AGB) can be estimated based on light detection and ranging (LiDAR) point clouds. This paper introduces an accurate and detailed quantitative structure model (AdQSM), which can estimate the AGB of large tropical trees. AdQSM is based on the reconstruction of 3D tree models from terrestrial laser scanning (TLS) point clouds. It represents a tree as a set of closed and complete convex polyhedra. We use AdQSM to model 29 trees of various species (total 18 species) scanned by TLS from three study sites (the dense tropical forests of Peru, Indonesia, and Guyana). The destructively sampled tree geometry measurement data is used as reference values to evaluate the accuracy of diameter at breast height (DBH), tree height, tree volume, branch volume, and AGB estimated from AdQSM. After AdQSM reconstructs the structure and volume of each tree, AGB is derived by combining the wood density of the specific tree species from destructive sampling. The AGB estimation from AdQSM and the post-harvest reference measurement data show a satisfying agreement. The coefficient of variation of root mean square error (CV-RMSE) and the concordance correlation coefficient (CCC) are 20.37% and 0.97, respectively. AdQSM provides accurate tree volume estimation, regardless of the characteristics of the tree structure, without major systematic deviations. We compared the accuracy of AdQSM and TreeQSM in modeling the volume of 29 trees. The tree volume from AdQSM is compared with the reference value, and the determination coefficient (R2), relative bias (rBias), and CV-RMSE of tree volume are 0.96, 6.98%, and 22.62%, respectively. The tree volume from TreeQSM is compared with the reference value, and the R2, relative Bias (rBias), and CV-RMSE of tree volume are 0.94, −9.69%, and 23.20%, respectively. The CCCs between the volume estimates based on AdQSM, TreeQSM, and the reference values are 0.97 and 0.96. AdQSM also models the branches in detail. The volume of branches from AdQSM is compared with the destructive measurement reference data. The R2, rBias, and CV-RMSE of the branches volume are 0.97, 12.38%, and 36.86%, respectively. The DBH and height of the harvested trees were used as reference values to test the accuracy of AdQSM’s estimation of DBH and tree height. The R2, rBias, and CV-RMSE of DBH are 0.94, −5.01%, and 9.06%, respectively. The R2, rBias, and CV-RMSE of the tree height were 0.95, 1.88%, and 5.79%, respectively. This paper provides not only a new QSM method for estimating AGB based on TLS point clouds but also the potential for further development and testing of allometric equations.

We establish a parametric extension$h$-principle for overtwisted contact structures on manifolds of all dimensions, which is the direct generalization of the 3-dimensional result from [12]. It implies, in particular, that any closed manifold admits a contact structure in any given homotopy class of almost contact structures.

We introduce a novel approach for the polygonization of Multi-view Stereo (MVS) meshes of buildings, which results in compact and topologically valid models. The main characteristic of our method is structure awareness, i.e., the recovery and preservation of the initial mesh primitives and their adjacencies. Our proposed methodology consists of three main stages: (a) primitive detection via mesh segmentation, (b) encoding of primitive adjacencies into a graph, and (c) polygonization. Polygonization is based on the approximation of the original mesh with a candidate set of planar polygonal faces. On this candidate set, we apply a binary labelling formulation to select and assemble an optimal set of faces under hard constraints that ensure that the final model is both manifold and watertight. Experiments on various building models demonstrate that our simplification method can produce simpler representations for both closed and open building meshes. Furthermore, these representations highly conform to the initial structure and are ready to be used for spatial analysis. The source code of this work is freely available at https://github.com/VasileiosBouzas/MeshPolygonization.

No abstract uploaded!

We give a detailed proof of Siu’s theorem on extendibility of holomorphic vector bundles of rank larger than one, and prove a corresponding extension theorem for holomorphic sprays. We apply this result to study ellipticity properties of complements of compact subsets in Stein manifolds. In particular we show that the complement of a closed ball in $\mathbb{C}^{n}, n \geq3$ , is not subelliptic.

No abstract uploaded!

Traditional point cloud registration methods require large overlap between scans, which imposes strict constraints on data acquisition. To facilitate registration, users have to carefully position scanners to ensure sufficient overlap. In this work, we propose to use high-level structural information (i.e., plane/line features and their inter-relationship) for registration, which is capable of registering point clouds with small overlap, allowing more freedom in data acquisition. We design a novel plane/linebased descriptor dedicated to establishing structure level correspondences between point clouds. Based on this descriptor, we propose a simple but effective registration algorithm. We also provide a dataset of real-world scenes containing a larger number of scans with a wide range of overlap. Experiments and comparisons with state-of-the-art methods on various datasets reveal that our method is superior to existing techniques. Though the proposed algorithm outperforms state-of-the-art methods on the most challenging dataset, the point cloud registration problem is still far from being solved, leaving significant room for improvement and future work.

There are two important statements regarding the Trautman-Bondi mass at null infinity: one is the positivity, and the other is the Bondi mass loss formula, which are both global in nature. The positivity of the quasi-local mass can potentially lead to a local description at null infinity. This is confirmed for the Vaidya spacetime in this note. We study the Wang-Yau quasi-local mass on surfaces of fixed size at the null infinity of the Vaidya spacetime. The optimal embedding equation is solved explicitly and the quasi-local mass is evaluated in terms of the mass aspect function of the Vaidya spacetime.

No abstract uploaded!

The purpose of this paper is to classify the Möbius homogeneous hypersurfaces with two distinct principal curvatures in$S$^{$n$+1}under the Möbius transformation group. Additionally, we give a classification of the Möbius homogeneous hypersurfaces in$S$^{4}.

This paper gives a new way of constructing Landau-Ginzburg mirrors using deformation theory of Lagrangian immersions motivated by the works of Seidel, Strominger-Yau-Zaslow and Fukaya-Oh-Ohta-Ono. Moreover we construct a canonical functor from the Fukaya category to the mirror category of matrix factorizations. This functor derives homological mirror symmetry under some explicit assumptions. As an application, the construction is applied to spheres with three orbifold points to produce their quantum-corrected mirrors and derive homological mirror symmetry. Furthermore we discover an enumerative meaning of the (inverse) mirror map for elliptic curve quotients.

We study the heat kernel of a regular symmetric Dirichlet form on a metric space with doubling measure, in particular, a connection between the properties of the jump measure and the long time behaviour of the heat kernel. Under appropriate optimal hypotheses, we obtain the Hölder regularity and lower estimates of the heat kernel.

The first author has associated in a natural way a profinite group to each irreducible subshift. The group in question was initially obtained as a maximal subgroup of a free profinite semigroup. In the case of minimal subshifts, the same group is shown in the present paper to also arise from geometric considerations involving the Rauzy graphs of the subshift. Indeed, the group is shown to be isomorphic to the inverse limit of the profinite completions of the fundamental groups of the Rauzy graphs of the subshift. A further result involving geometric arguments on Rauzy graphs is a criterion for freeness of the profinite group of a minimal subshift based on the Return Theorem of Berthé et al.

In this survey, we discuss some recent results on free boundary minimal surfaces in the Euclidean unit-ball. The subject has been a very active field of research in the past few years due to the seminal work of Fraser and Schoen on the extremal Steklov eigenvalue problem. We review several different techniques of constructing examples of embedded free boundary minimal surfaces in the unit ball. Next, we discuss some uniqueness results for free boundary minimal disks and the conjecture about the uniqueness of critical catenoid. We also discuss several Morse index estimates for free boundary minimal surfaces. Moreover, we describe estimates for the first Steklov eigenvalue on such free boundary minimal surfaces and various smooth compactness results. Finally, we mention some sharp area bounds for free boundary minimal submanifolds and related questions.

We prove the diagonal upper bound of heat kernels for regular Dirichlet forms on metric measure spaces with volume doubling condition. As hypotheses, we use the Faber-Krahn inequality, the generalized capacity condition and an upper bound for the integrated tail of the jump kernel. The proof goes though a parabolic mean value inequality for subcaloric functions.

We prove a sharp inequality for hypersurfaces in the ndimensional Anti-deSitter-Schwarzschild manifold for general $n \ge  3$. This inequality generalizes the classical Minkowski inequality [19] for surfaces in the three dimensional Euclidean space. The proof relies on a new monotonicity formula for inverse mean curvature flow, and uses a geometric inequality established in [4].

The classical Minkowski formula is extended to spacelike codimension-two submanifolds in spacetimes which admit "hidden symmetry" from conformal Killing-Yano two-forms. As an application, we obtain an Alexandrov type theorem for spacelike codimension-two submanifolds in a static spherically symmetric spacetime: a codimension-two submanifold with constant normalized null expansion (null mean curvature) must lie in a shear-free (umbilical) null hypersurface. These results are generalized for higher order curvature invariants. In particular, the notion of mixed higher order mean curvature is introduced to highlight the special null geometry of the submanifold. Finally, Alexandrov type theorems are established for spacelike submanifolds with constant mixed higher order mean curvature, which are generalizations of hypersurfaces of constant Weingarten curvature in the Euclidean space.

We construct SYZ mirrors of the local Calabi--Yau manifolds of type $\widetilde{A}$ by developing an equivariant SYZ theory for the toric Calabi--Yau manifolds of infinite-type. The equations for the SYZ mirrors involve the Riemann theta functions and generating functions of the open Gromov--Witten invariants. We obtain explicit formulae for the generating functions which are open analogs of the Yau--Zaslow formula in dimension $2$, and show that they have nice modular properties. We also relate the SYZ mirror pairs with mirror symmetry for the abelian varieties and hypersurfaces therein.

We study the space of Killing fields on the four dimensional AdS spacetime AdS 3,1 . Two subsets S and O are identified: S (the spinor Killing fields) is constructed from imaginary Killing spinors, and O (the observer Killing fields) consists of all hypersurface orthogonal, future timelike unit Killing fields. When the cosmology constant vanishes, or in the Minkowski spacetime case, these two subsets have the same convex hull in the space of Killing fields. In presence of the cosmology constant, the convex hull of O is properly contained in that of S . This leads to two different notions of energy for an asymptotically AdS spacetime, the spinor energy and the observer energy. In [10], Chru\'sciel, Maerten and Tod proved the positivity of the spinor energy and derived important consequences among the related conserved quantities. We show that the positivity of the observer energy follows from the positivity of the spinor energy. A new notion called the "rest mass" of an asymptotically AdS spacetime is then defined by minimizing the observer energy, and is shown to be evaluated in terms of the adjoint representation of the Lie algebra of Killing fields. It is proved that the rest mass has the desirable rigidity property that characterizes the AdS spacetime.

We study singular Hermitian metrics on vector bundles. There are two main results in this paper. The first one is on the coherence of the higher rank analogue of multiplier ideals for singular Hermitian metrics defined by global sections. As an application, we show the coherence of the multiplier ideal of some positively curved singular Hermitian metrics whose standard approximations are not Nakano semipositive. The aim of the second main result is to determine all negatively curved singular Hermitian metrics on certain type of vector bundles, for example, certain rank 2 bundles on elliptic curves.

Recently Freed and Hopkins [11] proved that there is no parity anomaly in M-theory on pin+ manifolds in the low-energy field theory approximation, and they also developed an algebraic theory of cubic forms. Earlier Witten [33] proved the anomaly cancellation for spin manifolds by introducing the E8-bundle technique. Motivated by the cubic forms and the anomaly cancellation formulas of Witten-Freed-Hopkins, we give some new cubic forms on spin, spinc, spinω2 and orientable 12- manifolds respectively. We relate them to η-invariants when the manifolds are with boundary, and mod 2 indices on 10 dimensional characteristic submanifolds when the manifolds are spinc or spinω2 . Our method of producing these cubic forms is a combination of (generalized) Witten classes and the character of the basic representation of affine E8.

Kaimanovich (2003) [9] introduced the concept of augmented tree on the symbolic space of a selfsimilar set. It is hyperbolic in the sense of Gromov, and it was shown by Lau and Wang (2009) [12] that under the open set condition, a self-similar set can be identified with the hyperbolic boundary of the tree. In the paper, we investigate in detail a class of simple augmented trees and the Lipschitz equivalence of such trees. The main purpose is to use this to study the Lipschitz equivalence problem of the totally disconnected self-similar sets which has been undergoing some extensive development recently.

We prove an analogue of the Madsen–Weiss theorem for high-dimensional manifolds. In particular, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of$g$copies of$S$^{$n$}×$S$^{$n$}, in the limit $${g \to \infty}$$ . Rationally it is a polynomial ring in certain explicit generators, giving a high-dimensional analogue of Mumford’s conjecture.