Source author record

Mitchell Black

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computational Geometry math.NA Numerical Analysis

Catalog footprint

Research overview

3works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

ETH-tight algorithms for finding surfaces in simplicial complexes of bounded treewidth

Given a simplicial complex with $n$ simplices, we consider the Connected Subsurface Recognition (c-SR) problem of finding a subcomplex that is homeomorphic to a given connected surface with a fixed boundary. We also study the related Sum-of-Genus Subsurface Recognition (SoG) problem, where we instead search for a surface whose boundary, number of connected components, and total genus are given. For both of these problems, we give parameterized algorithms with respect to the treewidth $k$ of the Hasse diagram that run in $2^{O(k \log k)}n^{O(1)}$ time. For the SoG problem, we also prove that our algorithm is optimal assuming the exponential-time hypothesis. In fact, we prove the stronger result that our algorithm is ETH-tight even without restriction on the total genus.

preprint2022arXiv

Finding minimum bounded and homologous chains in simplicial complexes with bounded-treewidth 1-skeleton

We consider two problems on simplicial complexes: the Optimal Bounded Chain Problem and the Optimal Homologous Chain Problem. The Optimal Bounded Chain Problem asks to find the minimum weight $d$ -chain in a simplicial complex $K$ bounded by a given $(d{-}1)$ -chain, if such a $d$ -chain exists. The Optimal Homologous Chain problem asks to find the minimum weight $(d{-}1)$ -chain in $K$ homologous to a given $(d{-}1)$ -chain. Both of these problems are NP-hard and hard to approximate within any constant factor assuming the Unique Games Conjecture. We prove that these problems are fixed-parameter tractable with respect to the treewidth of the 1-skeleton of $K$ .

preprint2022arXiv

Hodge Decomposition and General Laplacian Solvers for Embedded Simplicial Complexes

We describe a nearly-linear time algorithm to solve the linear system $L_1x = b$ parameterized by the first Betti number of the complex, where $L_1$ is the 1-Laplacian of a simplicial complex $K$ that is a subcomplex of a collapsible complex $X$ linearly embedded in $\mathbb{R}^{3}$ . Our algorithm generalizes the work of Black et al.~[SODA2022] that solved the same problem but required that $K$ have trivial first homology. Our algorithm works for complexes $K$ with arbitrary first homology with running time that is nearly-linear with respect to the size of the complex and polynomial with respect to the first Betti number. The key to our solver is a new algorithm for computing the Hodge decomposition of 1-chains of $K$ in nearly-linear time. Additionally, our algorithm implies a nearly quadratic solver and nearly quadratic Hodge decomposition for the 1-Laplacian of any simplicial complex $K$ embedded in $\mathbb{R}^{3}$ , as $K$ can always be expanded to a collapsible embedded complex of quadratic complexity.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Mitchell Black

Research overview

Is this your work?

3 publications

ETH-tight algorithms for finding surfaces in simplicial complexes of bounded treewidth

Finding minimum bounded and homologous chains in simplicial complexes with bounded-treewidth 1-skeleton

Hodge Decomposition and General Laplacian Solvers for Embedded Simplicial Complexes

See the researcher in context

Building this map preview