# 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*.## Keywords

Order Logic Regular Language Finite Sequence Limit Probability Countable Model
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## 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