Related papers: Geometric Tomography With Topological Guarantees

A fully automated object reconstruction pipeline is crucial for digital content creation. While the area of 3D reconstruction has witnessed profound developments, the removal of background to obtain a clean object model still relies on…

Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…

Let $\Gamma$ be a torsion-free subgroup of $SL_3(R)$ commensurable with $SL_3(Z)$, and $Y=SO_3(R)\backslash SL_3(R)/\Gamma$ be endowed with the natural locally symmetric space structure. We prove that for any point y in Y, the set of…

Neuropathological analyses benefit from spatially precise volumetric reconstructions that enhance anatomical delineation and improve morphometric accuracy. Our prior work has shown the feasibility of reconstructing 3D brain volumes from 2D…

We propose a supervised machine learning approach for boosting existing signal and image recovery methods and demonstrate its efficacy on example of image reconstruction in computed tomography. Our technique is based on a local nonlinear…

We study the problem of recovering a function on a pseudo-Riemannian manifold from its integrals over all null geodesics in three geometries: pseudo-Riemannian products of Riemannian manifolds, Minkowski spaces and tori. We give proofs of…

We present a technique for a complete 3D reconstruction of small objects moving in front of a textured background. It is a particular variation of multibody structure from motion, which specializes to two objects only. The scene is captured…

This paper deals with computing topological invariants such as connected components, boundary surface genus, and homology groups. For each input data set, we have designed or implemented algorithms to calculate connected components,…

In this paper we prove the existence of isoperimetric regions of any volume in Riemannian manifolds with Ricci bounded below assuming Gromov--Hausdorff asymptoticity to the suitable simply connected model of constant sectional curvature.…

We prove a finiteness result for the $\partial$-patterned guts decomposition of all 3-manifolds obtained by splitting a given orientable, irreducible and $\partial$-irreducible 3-manifold along a closed incompressible surface. Then using…

For each $g \ge 2$, we prove existence of a computable constant $\epsilon(g) > 0$ such that if $S$ is a strongly irreducible Heegaard surface of genus $g$ in a complete hyperbolic 3-manifold $M$ and $\gamma$ is a simple geodesic of length…

Geometric consistency, i.e. the preservation of neighbourhoods, is a natural and strong prior in 3D shape matching. Geometrically consistent matchings are crucial for many downstream applications, such as texture transfer or statistical…

Computed tomography (CT) has become an essential part of modern science and medicine. A CT scanner consists of an X-ray source that is spun around an object of interest. On the opposite end of the X-ray source, a detector captures X-rays…

For a path-connected metric space $(X,d)$, the $n$-th homotopy group $\pi_n(X)$ inherits a natural pseudometric from the $n$-th iterated loop space with the uniform metric. This pseudometric gives $\pi_n(X)$ the structure of a topological…

Given a collection S of subsets of some set U, and M a subset of U, the set cover problem is to find the smallest subcollection C of S such that M is a subset of the union of the sets in C. While the general problem is NP-hard to solve,…

Let $P$ be a set of $n \geq 5$ points in convex position in the plane. The path graph $G(P)$ of $P$ is an abstract graph whose vertices are non-crossing spanning paths of $P$, such that two paths are adjacent if one can be obtained from the…

Actions as simple as grasping an object or navigating around it require a rich understanding of that object's 3D shape from a given viewpoint. In this paper we repurpose powerful learning machinery, originally developed for object…

We compute the topological simple structure set of closed manifolds which occur as total spaces of flat bundles over lens spaces S^l/(Z/p) with fiber an n-dimensjional torus T^n for an odd prime p and l greater or equal to 3, provided that…

The O(3) nonlinear sigma model with boundary, in dimension two, is considered. An algorithm to determine all its soliton solutions that preserve a rotational symmetry in the boundary is exhibited. This nonlinear problem is reduced to that…

When doing representation learning on data that lives on a known non-trivial manifold embedded in high dimensional space, it is natural to desire the encoder to be homeomorphic when restricted to the manifold, so that it is bijective and…