A logical limit law for $231$-avoiding permutations

We prove that the class of 231-avoiding permutations satisfies a logical limit law, i.e. that for any first-order sentence $\Psi$, in the language of two total orders, the probability $p_{n,\Psi}$ that a uniform random 231-avoiding permutation of size $n$ satisfies $\Psi$ admits a limit as $n$ is la...

Full description

Saved in:
Bibliographic Details
Main Authors: Michael Albert, Mathilde Bouvel, Valentin Féray, Marc Noy
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2024-04-01
Series:Discrete Mathematics & Theoretical Computer Science
Subjects:
Online Access:http://dmtcs.episciences.org/11751/pdf
Tags: Add Tag
No Tags, Be the first to tag this record!