Related papers: Polynomial-time homology for simplicial Eilenberg-…

We investigate the correspondence between the time and space recognition complexity of languages. For this purpose, we will code the long-continued computations of deterministic two-tape Turing machines by the relatively short-length…

The purpose of this note is to give a description of the stable homotopy group of some $2$-stage Postnikov systems for a range of dimensions. The considered $2$-stage Postnikov systems has the (weak) homotopy type of a generalized…

We develop an Hamiltonian representation of the sl(2,C) algebra on a phase space consisting of N copies of twistors, or bi-spinors. We identify a complete set of global invariants, and show that they generate a closed algebra including…

Let ${\bf K} = (K_1, ..., K_n)$ be an $n$-tuple of convex compact subsets in the Euclidean space $\R^n$, and let $V(\cdot)$ be the Euclidean volume in $\R^n$. The Minkowski polynomial $V_{{\bf K}}$ is defined as $V_{{\bf K}}(\lambda_1, ...…

We study the topology of moduli spaces of closed linkages in \R^d depending on a length vector \ell\in \R^n. In particular, we use equivariant Morse theory to obtain information on the homology groups of these spaces, which works best for…

Let P_{k, n}^l be the space consisting of monic complex polynomials f(z) of degree k and such that the number of n-fold roots of f(z) is at most l. In this paper, we determine the integral homology groups of P_{k, n}^l.

Valiant introduced matchgate computation and holographic algorithms. A number of seemingly exponential time problems can be solved by this novel algorithmic paradigm in polynomial time. We show that, in a very strong sense, matchgate…

In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group $\mathcal{P}$ generated by all combinatorial polytopes. There are two natural bilinear…

For a simply connected complex algebraic variey $X$, by the mixed Hodge structures $(W_{\bullet}, F^{\bullet})$ and $(\tilde W_{\bullet}, \tilde F^{\bullet})$ of the homology group $H_{*}(X;\mathbb Q)$ and the homotopy groups…

We study the problem of approximating the mixed volume $V(P_1^{(\alpha_1)}, \dots, P_k^{(\alpha_k)})$ of an $k$-tuple of convex polytopes $(P_1, \dots, P_k)$, each of which is defined as the convex hull of at most $m_0$ points in…

In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology…

We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…

We classify simply-connected homogeneous ($D+1$)-dimensional spacetimes for kinematical and aristotelian Lie groups with $D$-dimensional space isotropy for all $D\geq 0$. Besides well-known spacetimes like Minkowski and (anti) de Sitter we…

A spectral sequence calculating the homology groups of some spaces of maps equivariant under compact group actions is described. For the main example, we calculate the rational homology groups of spaces of even and odd maps $S^m \to S^M$,…

In this paper we present a new approach to computing homology (with field coefficients) and persistent homology. We use concepts from discrete Morse theory, to provide an algorithm which can be expressed solely in terms of simple graph…

Based on the work of Dundas, Lindenstrauss and Richter we compute the topological Andr\'e-Quillen homology with reduced coefficients for Eilenberg-MacLane spectra such as $H\mathbb{Z}$ and $H\mathbb{Z}/p^n$. The case of $H\mathbb{F}_p$ was…

We compute the stable homology of orthogonal and symplectic groups over a finite field k with coefficients coming from an usual endofunctor F of k-vector spaces (exterior, symmetric, divided powers...), that is, for all natural integer i,…

We present an algorithm that, given finite simplicial sets $X$, $A$, $Y$ with an action of a finite group $G$, computes the set $[X,Y]^A_G$ of homotopy classes of equivariant maps $\ell \colon X \to Y$ extending a given equivariant map $f…

Partition functions, also known as homomorphism functions, form a rich family of graph invariants that contain combinatorial invariants such as the number of k-colourings or the number of independent sets of a graph and also the partition…

Recently, the homology and cohomology of non-k-overlapping discs, or, equivalently, no k-equal subspaces of Euclidean space, were calculated by Dobrinskaya and Turchin. We calculate the homology and cohomology of two classes of more general…