Abstract
In the regime of Galton–Watson trees, first order logic statements are roughly equivalent to examining the presence of specific finite subtrees. We consider the space of all trees with Poisson offspring distribution and show that such finite subtrees will be almost surely present when the tree is infinite. Introducing the notion of universal trees, we show that all first order sentences of quantifier depth k depend only on local neighbourhoods of the root of sufficiently large radius depending on k. We compute the probabilities of these neighbourhoods conditioned on the tree being infinite. We give an almost sure theory for infinite trees.
References
N. Alon, J.H. Spencer, The Probabilistic Method. Wiley-Interscience Series in Discrete Mathematics and Optimization, 3rd edn. (Wiley, Hoboken, 2008). ISBN:978-0-470-17020-5, doi: 10.1002/9780470277331, http://dx.doi.org/10.1002/9780470277331. With an appendix on the life and work of Paul Erdős
J. Spencer, The Strange Logic of Random Graphs. Volume 22 of Algorithms and Combinatorics (Springer, Berlin, 2001). ISBN:3-540-41654-4, doi: 10.1007/978-3-662-04538-1, http://dx.doi.org/10.1007/978-3-662-04538-1
J. Spencer, L. Thoma, On the limit values of probabilities for the first order properties of graphs, in Contemporary Trends in Discrete Mathematics (Štiřín Castle, 1997). Volume 49 of DIMACS Series in Discrete Mathematics & Theoretical Computer Science (American Mathematical Society, Providence, 1999), pp. 317–336
R. van der Hofstad, Random Graphs and Complex Networks, vol. 1. Lecture Notes (2015). http://www.win.tue.nl/~rhofstad/NotesRGCN.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International publishing AG
About this chapter
Cite this chapter
Podder, M., Spencer, J. (2017). First Order Probabilities for Galton–Watson Trees. In: Loebl, M., Nešetřil, J., Thomas, R. (eds) A Journey Through Discrete Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-319-44479-6_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-44479-6_29
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44478-9
Online ISBN: 978-3-319-44479-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)