Topological and variational properties of a model forthe reconstruction of three-dimensionaltransparent imageswith self-occlusions

We introduce and study a two-dimensional variational model for the reconstruction of a smooth generic solid shape E, which may handle the self-occlusions and that can be considered as an improvement of the 2.1D sketch of Nitzberg and Mumford. We characterize from the topological viewpoint the apparent contour of E, namely, we characterize those planar graphs that are apparent contours of some shape E. This is the classical problem of recovering a three-dimensional lay- ered shape from its apparent contour, which is of interest in theoretical computer vision. We make use of the so-called Huffman labeling. Moreover, we show that if E and F are two shapes having the same apparent contour, then E and F differ by a global homeomorphism which is strictly increasing on each fiber along the direction of the eye of the observer. These two topological theorems allow to find the domain of the functional F describing the model. Compactness, semicontinuity and relaxation properties of F are then s