相关论文: A short proof for tc(K) = 4
The satisfiability problem of the branching time logic CTL is studied in terms of computational complexity. Tight upper and lower bounds are provided for each temporal operator fragment. In parallel, the minimal model size is studied with a…
We study the set of all closed oriented smooth 4-manifolds experimentally, according to a suitable complexity defined using Turaev's shadows. This complexity roughly measures how complicated the 2-skeleton of the 4-manifold is. We…
In this paper we apply a method of Robinson and Taulbee for computing Kronecker coefficients together with other ingredients and show that the multiplicity of each component in a Kronecker square can be obtained from an evaluation of a…
We employ holography to calculate the quantum complexity of $T\bar{T}$-deformation, utilizing the complexity equals volume (CV) and the complexity equals action (CA) proposals within the bulk spacetime with a finite radius cutoff. We find…
We compute rationally the topological (complex) K-theory of the classifying space BG of a discrete group provided that G has a cocompact G-CW-model for its classifying space for proper G-actions. For instance word-hyperbolic groups and…
The lattice definition of the two-dimensional topological quantum field theory [Fukuma, {\em et al}, Commun.~Math.~Phys.\ {\bf 161}, 157 (1994)] is generalized to arbitrary (not necessarily orientable) compact surfaces. It is shown that…
We study the Kaehler metric given by the logarithm of a cubic form on its complexified index cone. Under mirror symmetry, this metric should asymptotically correspond to the Weil-Petersson metric. Using the theory of special Kaehler…
By using a selective filtration argument, we prove that the satisfiability problem of the unimodal logic of density is in $EXPTIME$. By using a tableau-like approach, we prove that the satisfiability problem of the bimodal logic of weak…
In this study, we delve into the discrete TC of surjective simplicial fibrations, aiming to unravel the interplay between topological complexity, discrete geometric structures, and computational efficiency. Moreover, we examine the…
We discuss some bulk-surfaces gapped Hamiltonians on a lattice with corners and propose a periodic table for topological invariants related to corner states aimed at studies of higher-order topological insulators. Our table is based on four…
We compute the complexity, z-complexity, and support varieties of the (thick) Kac modules for the Lie superalgebras of type P. We also show the complexity and the z-complexity have geometric interpretations in terms of support and…
In the algebraic setting, cluster varieties were reformulated by Gross-Hacking-Keel as log Calabi-Yau varieties admitting a toric model. Building on work of Shende-Treumann-Williams-Zaslow in dimension 2, we describe the mirror to the GHK…
The class P is in fact a proper sub-class of NP. We explore topological properties of the Hamming space 2^[n] where [n]={1, 2,..., n}. With the developed theory, we show: (i) a theorem that is closely related to Erdos and Rado's sunflower…
Using the short time existence of the Calabi flow, we prove that any extremal Kaehler metric on a product toric variety is a product extremal Kaehler metric.
In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold is a fibration over…
We describe topologically the discriminant locus of a smooth cubic surface in the complex projective space ${\mathbb{CP}}^3$ that contains 5 fibres of the projection ${\mathbb{CP}}^3 \longrightarrow S^4$.
A torti-rational knot, denoted by K(2a,b|r), is a knot obtained from the 2-bridge link B(2a,b) by applying Dehn twists an arbitrary number of times, r, along one component of B(2a,b). We determine the genus of K(2a,b|r) and solve a question…
We show that the KZ system has a purely topological interpretation in the sense that it may be understood as a variation of complex mixed Hodge structure whose successive pure weight quotients are polarized. This in a sense completes and…
We study the complexity of a classic problem in computational topology, the homology problem: given a description of some space $X$ and an integer $k$, decide if $X$ contains a $k$-dimensional hole. The setting and statement of the homology…
We answer the following question posed by Lechuga: Given a simply-connected space $X$ with both $H_*(X,\qq)$ and $\pi_*(X)\otimes \qq$ being finite-dimensional, what is the computational complexity of an algorithm computing the cup-length…