We consider first-order formulas over relational structures which may use arbitrary numerical predicates. We require that the validity of the formula is independent of the particular interpretation of the numerical predicates and refer to such formulas as Arb-invariant first-order. Our main result shows a Gaifman locality theorem: two tuples of a structure with n elements, having the same neighborhood up to distance (log n)ω(1), cannot be distinguished by Arb-invariant first-order formulas. When restricting attention to word structures, we can achieve the same quantitative strength for Hanf locality. In both cases we show that our bounds are tight. Our proof exploits the close connection between Arb-invariant first-order formulas and the complexity class AC0, and hinges on the tight lower bounds for parity on constant-depth circuits. © 2011 Springer-Verlag.
CITATION STYLE
Anderson, M., Van Melkebeek, D., Schweikardt, N., & Segoufin, L. (2011). Locality of queries definable in invariant first-order logic with arbitrary built-in predicates. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6756 LNCS, pp. 368–379). https://doi.org/10.1007/978-3-642-22012-8_29
Mendeley helps you to discover research relevant for your work.