A complexity theory of constructible functions and sheaves

DOI10.1007/S10208-014-9222-ZMaRDI QIDQ2340508zbMATH OpenOpenAlexFDO

Publication date 20 April 2015

Published in Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.5905

complexity classes constructible sheaves polynomial hierarchy adjoint functors constructible functions

Symbolic computation and algebraic computation (68W30) Topology of real algebraic varieties (14P25) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Semialgebraic sets and related spaces (14P10)

Abstract: In this paper we introduce constructible analogs of the discrete complexity classes

m a t h b f V P

and

m a t h b f V N P

of sequences of functions. The functions in the new definitions are constructible functions on

m a t h b b R^{n}

or

m a t h b b C^{n}

. We define a class of sequences of constructible functions that play a role analogous to that of

m a t h b f V P

in the more classical theory. The class analogous to

m a t h b f V N P

is defined using Euler integration. We discuss several examples, develop a theory of completeness, and pose a conjecture analogous to the

m a t h b f V P

vs.

m a t h b f V N P

conjecture in the classical case. In the second part of the paper we extend the notions of complexity classes to sequences of constructible sheaves over

m a t h b b R^{n}

(or its one point compactification). We introduce a class of sequences of simple constructible sheaves, that could be seen as the sheaf-theoretic analog of the Blum-Shub-Smale class

m a t h b f P_{m a t h b b R}

. We also define a hierarchy of complexity classes of sheaves mirroring the polynomial hierarchy,

m a t h b f {P H}_{m a t h b b R}

, in the B-S-S theory. We prove a singly exponential upper bound on the topological complexity of the sheaves in this hierarchy mirroring a similar result in the B-S-S setting. We obtain as a result an algorithm with singly exponential complexity for a sheaf-theoretic variant of the real quantifier elimination problem. We pose the natural sheaf-theoretic analogs of the classical

m a t h b f P

vs.

m a t h b f N P

question, and also discuss a connection with Toda's theorem from discrete complexity theory in the context of constructible sheaves. We also discuss possible generalizations of the questions in complexity theory related to separation of complexity classes to more general categories via sequences of adjoint pairs of functors.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: A complexity theory of constructible functions and sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2340508)