Related papers: A short proof for tc(K) = 4
In finite volume the partition function of QCD with a given $\theta$ is a sum of different topological sectors with a weight primarily determined by the topological susceptibility. If a physical observable is evaluated only in a fixed…
Complex molecules and mesoscopic structures are naturally described by general networks of elementary building blocks and tight-binding is one of the simplest quantum model suitable for studying the physical properties arising from the…
We use Brown-Peterson cohomology to obtain lower bounds for the higher topological complexity, TC_k(RP^n), of real projective spaces, which are often much stronger than those implied by ordinary mod-2 cohomology.
Motivated by a conjecture of Donaldson and Segal, we take a first step towards defining a new 3-manifold Floer theory, where the complex is defined by a count of Fueter sections of a hyperk\"ahler bundle over the 3-manifold with fibers…
The topological susceptibility is an important quantity in QCD, which can be computed using lattice methods. However, at a fine lattice spacing, or when using high quality chirally symmetric quarks, algorithms which proceed in small update…
We introduce the effectual topological complexity (ETC) of a $G$-space $X$. This is a $G$-equivariant homotopy invariant sitting in between the effective topological complexity of the pair $(X,G)$ and the (regular) topological complexity of…
Adding propositional quantification to the modal logics K, T or S4 is known to lead to undecidability but CTL with propositional quantification under the tree semantics (tQCTL) admits a non-elementary Tower-complete satisfiability problem.…
We study certain topological problems that are inspired by applications to autonomous robot manipulation. Consider a continuous map $f\colon X\to Y$, where $f$ can be a kinematic map from the configuration space $X$ to the working space $Y$…
Given a tame knot K presented in the form of a knot diagram, we show that the problem of determining whether K is knotted is in the complexity class NP, assuming the generalized Riemann hypothesis (GRH). In other words, there exists a…
Some new classes of compacta $K$ are considered for which $C(K)$ endowed with the pointwise topology has a countable cover by sets of small local norm--diameter.
We provide a new construction of the topological cyclic homology $TC(C)$ of any spectrally-enriched $\infty$-category $C$, which affords a precise algebro-geometric interpretation of the cyclotomic trace map $K(X) \to TC(X)$ from algebraic…
The partition number $\pi(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $\nu$ such that for each partition $A_1\uplus\ldots\uplus A_\nu = [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is…
A solution to the problem of topological classification of real cubic fourfolds is presented. It is shown that the real locus of a real non-singular cubic fourfold is obtained from a projective 4-space either by adding several trivial one-…
The complexity of a pair $(X,B)$ is an invariant that relates the dimension of $X$, the rank of the group of divisors, and the coefficients of $B$. If the complexity is less than one, then $X$ is a toric variety. We prove that if the…
Many noncompact hyperbolic 3-manifolds are topologically complements of links in the 3-sphere. Generalizing to dimension 4, we construct a dozen examples of noncompact hyperbolic 4-manifolds, all of which are topologically complements of…
Keller packings and tilings of boxes are investigated. Certain general inequality measuring a complexity of such systems is proved. A straightforward application to the unit cube tilings is given.
Let T be the unit circle in the complex plane C. This paper proves the existence of analytic structure in a compact subset K of T X C^n, where K has so-called "lineally convex" or "hypoconvex" fibers over T. It also addresses a related…
We introduce \emph{local Urysohn width}, a complexity measure for classification problems on metric spaces. Unlike VC dimension, fat-shattering dimension, and Rademacher complexity, which characterize the richness of hypothesis…
The topological complexity TC(X) is a homotopy invariant which reflects the complexity of the problem of constructing a motion planning algorithm in the space X, viewed as configuration space of a mechanical system. In this paper we…
We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger…