Smoothing 3-manifolds in 5-manifolds

In chapter I we define the oritical points of a continuous function ϕ: X → IR on a compact metric space X, and the Morse polynomial for an isolated critical point. We reproduce the proof of the Morse relations for a function with isolated critical points for this more general set-up. In chapter II we define polynomial, absolute and alternating curvature measures of certain maps or embeddings of X into EN in terms of critical points and we obtain Morse relations for these curvature measures. In chapter III we discuss maps (and sets) in EN of minimal total absolute curvature (tight maps) and we recall some results on tight embeddings of smooth, piecewise linear and topological manifolds.

We present an algorithm to reconstruct smooth surfaces of arbitrary topology from unorganised sample points and normals. The method uses natural neighbour interpolation, works in any dimension and allows to deal with non uniform samples. The reconstructed surface is a smooth manifold passing through all the sample points. This surface is implicitly represented as the zero-set of some pseudo-distance function. It can be meshed so as to satisfy a user-defined error bound. Experimental results are presented for surfaces in R^3.

We advocate the use of point sets to represent shapes. We provide a definition of a smooth manifold surface from a set of points close to the original surface. The definition is based on local maps from differential geometry, which are approximated by the method of moving least squares (MLS). The computation of points on the surface is local, which results in an out-of-core technique that can handle any point set. We show that the approximation error is bounded and present tools to increase or decrease the density of the points, thus allowing an adjustment of the spacing among the points to control the error. To display the point set surface, we introduce a novel point rendering technique. The idea is to evaluate the local maps according to the image resolution. This results in high quality shading effects and smooth silhouettes at interactive frame rates.

Summary form only given. In the manifold learning problem one seeks to discover a smooth low dimensional surface, i.e., a manifold embedded in a higher dimensional linear vector space, based on a set of measured sample points on the surface. In this paper we consider the closely related problem of estimating the manifold's intrinsic dimension and the intrinsic entropy of the sample points. Specifically, we view the sample points as realizations of an unknown multivariate density supported on an unknown smooth manifold. We present a novel geometrical probability approach, called the geodesic entropic graph (GET) method, to obtaining asymptotically consistent estimates of the manifold dimension and the Renyi /spl alpha/-entropy of the sample density on the manifold. The GET approach is striking in its simplicity and does not require reconstructing the manifold or estimating the multivariate density of the samples. The GET method simply constructs an entropic graph, e.g., a minimal spanning tree (MST) or k-nearest neighbor graph (k-NNG), to estimate the geodesic neighborhoods connecting points on the manifold. The growth rate of the length functional of the entropic graph is then used to simultaneously estimate manifold dimension and sample entropy.

Hilbert-Efimov theorem states that any complete surface with curvature bounded above by a negative constant can not be isometrically imbedded in $\mathbb{R}^3.$ We demonstrate that any simply-connected smooth complete surface with curvature bounded above by a negative constant admits a smooth isometric embedding into the Lorentz-Minkowski space $\mathbb{R}^{2,1}$.

Smooth embeddings of rational homology balls

We study a new holographic gauge theory based on probe D4-branes in the background dual to D4-branes on a circle with antiperiodic boundary conditions for fermions. Field theory configurations with baryons correspond to smooth embeddings of the probe D4-branes with nontrivial winding around an S 4 in the geometry. As a consequence, physics of baryons and nuclei can be studied reliably in this model using the abelian Born-Infeld action. However, surprisingly, we find that the meson spectrum is not discrete. This is related to a curious result that the action governing small fluctuations of the gauge field on the probe brane is the five-dimensional Maxwell action in Minkowski space despite the non-trivial embedding of the probe brane in the curved background geometry.

We introduce SmoothSketch---a system for inferring plausible 3D free-form shapes from visible-contour sketches. In our system, a user's sketch need not be a simple closed curve as in Igarashi's Teddy [1999], but may have cusps and T-junctions, i.e., endpoints of hidden parts of the contour. We follow a process suggested by Williams [1994] for inferring a smooth solid shape from its visible contours: completion of hidden contours, topological shape reconstruction, and smoothly embedding the shape via relaxation. Our main contribution is a practical method to go from a contour drawing to a fairly smooth surface with that drawing as its visible contour. In doing so, we make several technical contributions: • extending Williams' and Mumford's work [Mumford 1994] on figural completion of hidden contours containing T-junctions to contours containing cusps as well, • characterizing a class of visible-contour drawings for which inflation can be proved possible, • finding a topological embedding of the combinatorial surface that Williams creates from the figural completion, and • creating a fairly smooth solid shape by smoothing the topological embedding using a mass-spring system.We handle many kinds of drawings (including objects with holes), and the generated shapes are plausible interpretations of the sketches. The method can be incorporated into any sketch-based free-form modeling interface like Teddy.