We present an algorithm for recognition and reconstruction of scanned 3D indoor scenes. 3D indoor reconstruction is particularly challenging due to object interferences, occlusions and overlapping which yield incomplete yet very complex scene arrangements. Since it is hard to assemble scanned segments into complete models, traditional methods for object recognition and reconstruction would be inefficient. We present a search-classify approach which interleaves segmentation and classification in an iterative manner. Using a robust classifier we traverse the scene and gradually propagate classification information. We reinforce classification by a template fitting step which yields a scene reconstruction. We deform-to-fit templates to classified objects to resolve classification ambiguities. The resulting reconstruction is an approximation which captures the general scene arrangement. Our results demonstrate successful classification and reconstruction of cluttered indoor scenes, captured in just few minutes.

We present a method for structural summarization and abstraction of complex spatial arrangements found in architectural drawings. The method is based on the well-known Gestalt rules, which summarize how forms, patterns, and semantics are perceived by humans from bits and pieces of geometric information. Although defining a computational model for each rule alone has been extensively studied, modeling a conjoint of Gestalt rules remains a challenge. In this work, we develop a computational framework which models Gestalt rules and more importantly, their complex interactions. We apply conjoining rules to line drawings, to detect groups of objects and repetitions that conform to Gestalt principles. We summarize and abstract such groups in ways that maintain structural semantics by displaying only a reduced number of repeated elements, or by replacing them with simpler shapes. We show an application of our method to line drawings of architectural models of various styles, and the potential of extending the technique to other computer-generated illustrations, and three-dimensional models.

We show that various genus zero Gromov–Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

We introduce an interactive tool which enables a user to quickly assemble an architectural model directly over a 3D point cloud acquired from large-scale scanning of an urban scene. The user loosely defines and manipulates simple building blocks, which we call SmartBoxes, over the point samples. These boxes quickly snap to their proper locations to conform to common architectural structures. The key idea is that the building blocks are smart in the sense that their locations and sizes are automatically adjusted on-the-fly to fit well to the point data, while at the same time respecting contextual relations with nearby similar blocks. SmartBoxes are assembled through a discrete optimization to balance between two snapping forces defined respectively by a data-fitting term and a contextual term, which together assist the user in reconstructing the architectural model from a sparse and noisy point cloud. We show that a combination of the user’s interactive guidance and high-level knowledge about the semantics of the underlying model, together with the snapping forces, allows the reconstruction of structures which are partially or even completely missing from the input.

We give an explicit formula for (T-equivariant) 3-pointed genus zero Gromov-Witten invariants for G/B. We derive it by finding an explicit formula for the Pontryagin product on the equivariant homology of the based loop group ΩK.

We obtain a growth estimate for the number of lattice points inside any Q-Gorenstein cone. Our proof uses the result of Futaki-Ono-Wang on Sasaki-Einstein metric for the toric Sasakian manifold associated to the cone, a Yau’s inequality, and the Kawasaki-Riemann-Roch formula for orbifolds.

No abstract uploaded!

Given an elliptic curve , flat Ek-bundles over  are in one-to-one correspondence with smooth del Pezzo surfaces of degree 9 − k containing  as an anti-canonical curve. This correspondence was generalized to Lie groups of any type. In this article, we show that there is a similar correspondence between del Pezzo surfaces of degree 0 with an Ad-singularity containing  as an anti-canonical curve and Kac–Moody  Ek-bundles over  with k = 8−d. In the degenerate case where surfaces are rational elliptic surfaces, the corresponding  Ek-bundles over  can be reduced to Ek-bundles.

No abstract uploaded!

No abstract uploaded!

For two nearby disjoint coassociative submanifolds C and C′ in a G2-manifold, we construct thin instantons with boundaries lying on C and C′ from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C.

Given a compact complex surface X with an ADE singularity and pg=0, we construct ADE bundles over X and its minimal resolution Y. Furthermore, we describe their minuscule representation bundles in terms of configurations of (reducible) (−1)-curves in Y.

In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons.

Based on the Brieskorn-Slodowy-Grothendieck diagram, we write the holomorphic structures (or filtrations) of the ADE Lie algebra bundles over the corresponding type ADE flag varieties, over the cotangent bundles of these flag varieties, and over the corresponding type ADE singular surfaces. The main tool is the cohomology of line bundles over flag varieties and their cotangent bundles.

The Cox rings of del Pezzo surfaces are closely related to the Lie groups En. In this paper, we generalize the definition of Cox rings to G-surfaces defined by us earlier, where the Lie groups G = An,Dn or En. We show that the Cox ring of a G-surface S is closely related to an irreducible representation V of G, and is generated by degree one elements. The Proj of the Cox ring of S is a sub-variety of the orbit of the highest weight vector in V , and both are closed sub-varieties of P(V ) defined by quadratic equations. The GIT quotient of the Spec of such a Cox ring by a natural torus action is considered.

Given any Kodaira curve C in a complex surface X, we construct a simply-laced affine Lie algebra bundle E over X. When pg(X) = 0, we construct deformations of holomorphic structures on E such that the new bundle is trivial over any ADE curve C inside C and therefore descends to the singular surface obtained by contracting C.

No abstract uploaded!

We describe recent progress on QH*(G/P) with special emphasis on its functoriality property, quantum Pieri rule and their applications.