A Logical Characterization of Constant-Depth Circuits over the Reals

Timon Barlag, Heribert Vollmer

Abstract: In this paper we give an Immerman Theorem for real-valued computation, i.e., we define circuits of unbounded fan-in 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 \(\mathbb {R}\)-structures in the sense of Cucker and Meer.