A Logical Characterization of Constant-Depth Circuits over the Reals
Abstract
In this paper we give an Immerman's Theorem for real-valued computation. We define circuits operating over real numbers and show that families of such circuits of polynomial size and constant depth decide exactly those sets of vectors of reals that can be defined in first-order logic on R-structures in the sense of Cucker and Meer. Our characterization holds both non-uniformily as well as for many natural uniformity conditions.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2020
- DOI:
- 10.48550/arXiv.2005.04916
- arXiv:
- arXiv:2005.04916
- Bibcode:
- 2020arXiv200504916B
- Keywords:
-
- Computer Science - Computational Complexity;
- F.1.1;
- F.1.3;
- F.4.1
- E-Print:
- 45 pages, submitted to WoLLIC 2021 special issue of Journal of Logic and Computation