Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient simplicial replacement of semi-algebraic sets   We prove that for any $\ell \geq 0$, there exists an algorithm which takes as
input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given
by a quantifier-free first order formula $\phi$ in the language of the reals,
and produces as output a simplicial complex $\Delta$, whose geometric
realization, $|\Delta|$ is $\ell$-equivalent to $S$. The complexity of our
algorithm is bounded by $(sd)^{k^{O(\ell)}}$, where $s$ is the number of
polynomials appearing in the formula $\phi$, and $d$ a bound on their degrees.
For fixed $\ell$, this bound is singly exponential in $k$. In particular, since
$\ell$-equivalence implies that the homotopy groups up to dimension $\ell$ of
$|\Delta|$ are isomorphic to those of $S$, we obtain a reduction (having singly
exponential complexity) of the problem of computing the first $\ell$ homotopy
groups of $S$ to the combinatorial problem of computing the first $\ell$
homotopy groups of a finite simplicial complex of size bounded by
$(sd)^{k^{O(\ell)}}$.

20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
1
The categories of this paper are: cs
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con