A limit law of almost l-partite graphs

From MaRDI portal
Publication:2869907

DOI10.2178/JSL.7803110zbMATH Open1325.03033arXiv1204.2454OpenAlexW2018305354MaRDI QIDQ2869907FDOQ2869907

Vera Koponen

Publication date: 7 January 2014

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: For integers lgeq2, dgeq1 we study (undirected) graphs with vertices 1,...,n such that the vertices can be partitioned into l parts such that every vertex has at most d neighbours in its own part. The set of all such graphs is denoted mbPn(l,d). We prove a labelled first-order limit law, i.e., for every first-order sentence varphi, the proportion of graphs in mbPn(l,d) that satisfy varphi converges as noinfty. By combining this result with a result of Hundack, Pr"omel and Steger cite{HPS} we also prove that if 1leqs1leq...leqsl are integers, then mbForb(mcK1,s1,...,sl) has a labelled first-order limit law, where mbForb(mcK1,s1,...,sl) denotes the set of all graphs with vertices 1,...,n, for some n, in which there is no subgraph isomorphic to the complete (l+1)-partite graph with parts of sizes 1,s1,...,sl. In the course of doing this we also prove that there exists a first-order formula xi (depending only on l and d) such that the proportion of mcGinmbPn(l,d) with the following property approaches 1 as noinfty: there is a unique partition of 1,...,n into l parts such that every vertex has at most d neighbours in its own part, and this partition, viewed as an equivalence relation, is defined by xi.


Full work available at URL: https://arxiv.org/abs/1204.2454




Recommendations




Cites Work


Cited In (2)





This page was built for publication: A limit law of almost \(l\)-partite graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2869907)