Related papers: Complexity Classes as Mathematical Axioms II

We consider two axioms of second-order arithmetic. These axioms assert, in two different ways, that infinite but narrow binary trees always have infinite paths. We show that both axioms are strictly weaker than Weak K\"onig's Lemma, and…

Topological quantum computation employs two-dimensional quasiparticles called anyons. The generally accepted mathematical basis for the theory of anyons is the framework of modular tensor categories. That framework involves a substantial…

The mathematical apparatus of quantum--mechanical angular momentum (re)coupling, developed originally to describe spectroscopic phenomena in atomic, molecular, optical and nuclear physics, is embedded in modern algebraic settings which…

Based on different views on the Jones polynomial we review representation theoretic categorified link and tangle invariants. We unify them in a common combinatorial framework and connect them via the theory of Soergel bimodules. The…

We use the homological perturbation lemma to produce explicit formulas computing the class in the twisted de Rham complex represented by an arbitrary polynomial. This is a non-asymptotic version of the method of Feynman diagrams. In…

We define the notion of complex stratification by quasifolds and show that such spaces occur as complex quotients by certain nonclosed subgroups of tori associated to convex polytopes. The spaces thus obtained provide a natural…

In computational complexity, a complexity class is given by a set of problems or functions, and a basic challenge is to show separations of complexity classes $A \not= B$ especially when $A$ is known to be a subset of $B$. In this paper we…

We explain the relationship between various characteristic classes for smooth manifold bundles known as ``higher torsion'' classes. We isolate two fundamental properties that these cohomology classes may or may not have: additivity and…

These lectures are devoted to introducing some of the basic features of quantum geometry that have been emerging from compactified string theory over the last couple of years. The developments discussed include new geometric features of…

We introduce a new invariant of tangles along with an algebraic framework in which to understand it. We claim that the invariant contains the classical Alexander polynomial of knots and its multivariable extension to links. We argue that of…

We introduce and study knots and links in 2-dimensional complexes. In particular, we define linking numbers for oriented two-component links in 2-complexes and a Kauffman-type bracket polynomial for links in 2-complexes. We also discuss…

We show that if a closed oriented $n$-manifold $M$ has a non-trivial cohomology class of even degree $k$, whose all pullbacks to products of type $S^1\times N$ vanish, then the topological complexity $\mathrm{TC}(M)$ is at least $6$, if $n$…

We show that in every codimension greater than one there exists a mod 2 homology class in some closed manifold (of sufficiently high dimension) which cannot be realized by an immersion of closed manifolds. The proof gives explicit…

We give some reductions among problems in (nonnegative) weighted #CSP which restrict the class of functions that needs to be considered in computational complexity studies. Our reductions can be applied to both exact and approximate…

In the spirit of topological entropy we introduce new complexity functions for general dynamical systems (namely groups and semigroups acting on closed manifolds) but with an emphasis on the dynamics induced on simplicial complexes. For…

This paper introduces an unsupervised method to estimate the class separability of text datasets from a topological point of view. Using persistent homology, we demonstrate how tracking the evolution of embedding manifolds during training…

The polynomial-time hierarchy ($\mathrm{PH}$) has proven to be a powerful tool for providing separations in computational complexity theory (modulo standard conjectures such as $\mathrm{PH}$ does not collapse). Here, we study whether two…

Mapping-class groups of 3-manifolds feature as symmetry groups in canonical quantum gravity. They are an obvious source through which topological information could be transmitted into the quantum theory. If treated as gauge symmetries,…

In this work, we relate the three main formalisms for the notion of pasting diagram in strict $\omega$-categories: Street's parity complexes, Johnson's pasting schemes and Steiner's augmented directed complexes. In the process, we show that…

We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside…