arXiv++ Combinatorics

In the early 1990s, Kapranov and Voevodsky proposed a geometric method for constructing higher-categorical pasting diagrams from generically framed convex polytopes. This work revisits their construction and identifies a convex-geometric condition that is both necessary and sufficient for the procedure to yield a well-defined pasting diagram. Our criterion, the absence of cellular loops, relates their construction to the theory of cellular strings, an active area of convex geometry originating in the Baues problem. This paper introduces higher-dimensional cellular strings and uses them to disprove the Kapranov-Voevodsky conjecture in the following strong sense. Not only do we exhibit framed polytopes admitting cellular loops, but we also construct examples for which every admissible frame produces one. As observed by these authors, Street's orientals arise from canonically framed cyclic simplices. We establish that this family is exceptional as any random $n$-simplex, canonically framed, almost surely exhibits cellular loops in the large $n$-limit.

Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As part of our study, we also address several open mathematical questions. Notably, we demonstrate the length reducibility of all but two presentations in the Akbulut-Kirby series (1981), and resolve various potential counterexamples in the Miller-Schupp series (1991), including three infinite subfamilies.