Abstract
The spectrum of a first-order formula is the set of numbers α such that for a random graph in a binomial model where the edge probability is a power function of the number of graph vertices with exponent −α the truth probability of this formula does not tend to either zero or one. In 1990 J. Spenser proved that there exists a first-order formula with an infinite spectrum. We have proved that the minimum quantifier depth of a first-order formula with an infinite spectrum is either 4 or 5. In the present paper we find a wide class of first-order formulas of depth 4 with finite spectra and also prove that the minimum quantifier alternation number for a first-order formula with an infinite spectrum is 3.
Similar content being viewed by others
References
Vereshchagin, N.K. and Shen, A., Yazyki i ischisleniya (Languages and Calculi), Moscow: MCCME, 2000.
Bollobás, B., Random Graphs, Cambridge: Cambridge Univ. Press, 2001, 2nd ed.
Janson, S., Łuczak, T., and Ruciński, A., Random Graphs, New York: Wiley, 2000.
Glebskii, Yu.V., Kogan, D.I., Liogon’kii, M.I., and Talanov, V.A., Volume and Fraction of Satisfiability of Formulas of the Lower Predicate Calculus, Kibernetika (Kiev), 1969, no. 2, pp. 17–26.
Fagin, R., Probabilities on Finite Models, J. Symbolic Logic, 1976, vol. 41, no. 1, pp. 50–58.
Shelah, S. and Spencer, J.H., Zero-One Laws for Sparse Random Graphs, J. Amer. Math. Soc., 1988, vol. 1, no. 1, pp. 97–115.
Zhukovskii, M.E., Zero-One k-Law, Discrete Math., 2012, vol. 312, no. 10, pp. 1670–1688.
Zhukovskii, M.E., On the Zero-One k-Law Extensions, Europ. J. Combin., 2017, vol. 60, pp. 66–81.
Zhukovskii, M.E. and Ostrovskii, L.B., First-Order and Monadic Properties of Highly Sparse Random Graphs, Dokl. Akad. Nauk, 2016, vol. 470, no. 5, pp. 499–501 [Dokl. Math. (Engl. Transl.), 2016, vol. 94, no. 2, pp. 555–557].
Spencer, J.H., The Strange Logic of Random Graphs, Berlin: Springer, 2001.
Zhukovskii, M.E. and Raigorodskii, A.M., Random Graphs: Models and Asymptotic Characteristics, Uspekhi Mat. Nauk, 2015, vol. 70, no. 1, pp. 35–88 [Russian Math. Surveys (Engl. Transl.), 2015, vol. 70, no. 1, pp. 33–81].
Spencer, J.H., Infinite Spectra in the First Order Theory of Graphs, Combinatorica, 1990, vol. 10, no. 1, pp. 95–102.
Zhukovskii, M.E., On Infinite Spectra of First Order Properties of Random Graphs, Mosc. J. Comb. Number Theory, 2016, vol. 6, no. 4, pp. 73–102.
Erdős, P. and Rényi, A., On the Evolution of Random Graphs, Magyar Tud. Akad. Mat. Kutató Int. Közl., 1960, vol. 5, pp. 17–61.
Bollobás, B., Threshold Functions for Small Subgraphs, Math. Proc. Cambridge Philos. Soc., 1981, vol. 90, no. 2, pp. 197–206.
Ruciński, A. and Vince, A., Balanced Graphs and the Problem of Subgraphs of a Random Graph, Congr. Numer., 1985, vol. 49, pp. 181–190.
Spencer, J.H., Threshold Functions for Extension Statements, J. Combin. Theory Ser. A, 1990, vol. 53, no. 2, pp. 286–305.
Zhukovskii, M.E., Estimation of the Number of Maximal Extensions in a Random Graph, Diskret. Mat., 2012, vol. 24, no. 1, pp. 79–107 [Discrete Math. Appl. (Engl. Transl.), 2012, vol. 22, no. 1, pp. 55–90].
Alon, N. and Spencer, J.H., The Probabilistic Method, New York: Wiley, 2000, 2nd ed. Translated under the title Veroyatnostnyi metod, Moscow: BINOM, 2007.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © M.E. Zhukovskii, 2017, published in Problemy Peredachi Informatsii, 2017, Vol. 53, No. 4, pp. 95–108.
The research was carried out at the expense of the Russian Science Foundation, project no. 5-11-10021.
Rights and permissions
About this article
Cite this article
Zhukovskii, M.E. Quantifier Alternation in First-Order Formulas with Infinite Spectra. Probl Inf Transm 53, 391–403 (2017). https://doi.org/10.1134/S003294601704007X
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S003294601704007X