# Random sparse bit strings at the threshold of adjacency

Complexity I

First Online:

## Abstract

We give a complete characterization for the limit probabilities of first order sentences over sparse random bit strings at the threshold of adjacency. For strings of length (where

*n*, we let the probability that a bit is “on” be \(\tfrac{c}{{\sqrt n }}\), for a real positive number*c*. For every first order sentence Ø, we show that the limit probability function:$$f_\phi (c) = \mathop {\lim }\limits_{n \to \infty } Pr[U_{n,\tfrac{c}{{\sqrt n }}} has the property \phi ]$$

*U*_{n}, \(\tfrac{c}{{\sqrt n }}\) is the random bit string of length*n*) is infinitely differentiable. Our methodology for showing this is in itself interesting. We begin with finite models, go to the infinite (via the almost sure theories) and then characterize*f*_{σ}(*c*) as an infinite sum of products of polynomials and exponentials. We further show that if a sentence*σ*Ø has limiting probability 1 for some*c*, then*σ*has limiting probability identically 1 for every*c*. This gives the surprising result that the almost sure theories are identical for every*c*.## Preview

Unable to display preview. Download preview PDF.

### References

- 1.N. Alon, J. Spencer, & P. Erdős.
*The Probabilistic Method*. Wiley and Sons, 1992.Google Scholar - 2.P. Dolan. A zero-one law for a random subset.
*Random Structures & Algorithms*, 2:317–326, 1991.MATHCrossRefMathSciNetGoogle Scholar - 3.H. Ebbinghaus & J. Flum.
*Finite Model Theory*. Springer, Berlin, 1995.MATHGoogle Scholar - 4.R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In
*Complexity of Computation, SIAM-AMS Proceedings*, pages 43–73, 1974.Google Scholar - 5.E. Graedel. Subclasses of Presburger arithmetic and the polynomial-time hierarchy.
*Theoretical Computer Science*, 56:289–301, 1988.MATHCrossRefMathSciNetGoogle Scholar - 6.N. Immerman. Expressibility as a complexity measure: results and directions. In
*Second Structure in Complexity Conference*, pages 194–202. Springer, 1987.Google Scholar - 7.H. Lewis & C. Papadimitriou.
*Elements of the theory of computation*. Prentice-Hall, 1981.Google Scholar - 8.J. Lynch. On sets of relations definable by addition.
*J. Sym. Logic*, 47:659–668.Google Scholar - 9.J. Lynch. Probabilities of sentences about very sparse random graphs.
*Random Structures & Algorithms*, 3:33–54, 1992.MATHCrossRefMathSciNetGoogle Scholar - 10.S. Shelah & J. Spencer. Can you feel the double jump.
*Random Structures & Algorithms*, 5(1):191–204, 1994.MATHCrossRefMathSciNetGoogle Scholar - 11.S. Shelah & J. Spencer. Random sparse unary predicates.
*Random Structures & Algorithms*, 5(3):375–394, 1994.MATHCrossRefMathSciNetGoogle Scholar - 12.J. Spencer & K. St. John. Random unary predicates: Almost sure theories and countable models. Submitted for publication, 1997.Google Scholar
- 13.J. Spencer & L. Thoma. On the limit values of probabilities for the first order properties of graphs. Technical Report 97-35, DIMACS, 1997.Google Scholar
- 14.K. St. John. Limit probabilities for random sparse bit strings.
*Electronic Journal of Combinatorics*, 4(1):R23, 1997.MathSciNetGoogle Scholar

## Copyright information

© Springer-Verlag 1998