No abstract uploaded!

Simple-homotopy for cell complexes is a special type of topological homotopy constructed by elementary collapses and elementary expansions. In this paper, we introduce graph homotopy for graphs and Graham homotopy for hypergraphs and study the relation between the two homotopies and the simple-homotopy for cell complexes. The graph homotopy is useful to describe topological properties of discretized geometric figures, while the Graham homotopy is essential to characterize acyclic hypergraphs and acyclic relational database schemes.

Given a closed strictly convex hypersurface M in the Euclidean space I?"+*, the Gauss map of M defines a homeomorphism between M and the unit sphere S". Therefore the Gauss-Kronecker curvature of M can be transplanted via the Gauss map to a function defined on S". If this function is denoted by K, then Minkowski observed that K must satisfy the equation where xi are the coordinate functions on S". Minkowski then asked the converse of the problem. Namely, given a positive function K defined on S" satisfying the above integral conditions, can we find a closed strictly convex hypersurface whose curvature function is given by K? Minkowski solved the problem in the category of polyhedrons. Then AD Alexandrov and others solved the problem in general. However, this last solution does not provide any information about the regularity of the (unique) convex hypersurface even if we assume K is smooth. In the two