Abstract:random permutation $\Pi_n$ of $\{1,\dots,n\}$ follows the $\DeclareMathOperator{\Mallows}{Mallows}\Mallows(n,q)$ distribution with parameter $q>0$ if $\mathbb{P} ( \Pi_n = \pi )$ is proportional to $\DeclareMathOperator{\inv}{inv} q^{\inv(\pi)}$ for all $\pi$. Here $\DeclareMathOperator{\inv}{inv} \inv(\pi) := |\{ i<j : \pi(i)> \pi(j) \}|$ denotes the number of inversions of $\pi$. We consider properties of permutations that can be expressed by the sentences of two different logical languages. Namely, the theory of one bijection ($\mathsf{TOOB}$), which describes permutations via a single binary relation, and the theory of two orders ($\mathsf{TOTO}$), where we describe permutations by two total orders. We say that the convergence law holds with respect to one of these languages if, for every sentence $\phi$ in the language, the probability $\mathbb{P} (\Pi_n\text{ satisfies } \phi)$ converges to a limit as $n\to\infty$. If moreover that limit is in the set $\{0,1\}$ for all sentences, then the zero-one law holds. We will show that with respect to $\mathsf{TOOB}$ the $\Mallows(n,q)$ distribution satisfies the zero-one law when $0<q<1$ is fixed, and for fixed $q>1$ the convergence law fails. (In the case when $q=1$ Compton has shown the convergence law holds but not the zero-one law.) We will prove that with respect to $\mathsf{TOTO}$ the $\Mallows(n,q)$ distribution satisfies the convergence law but not the zero-one law for any fixed $q\neq 1$, and that if $q=q(n)$ satisfies $1 - 1/\log^*n < q < 1 + 1/\log^*n$ then $\Mallows(n,q)$ fails the convergence law. Here $\log^*$ denotes the discrete inverse of the tower function.

First-order convergence for $321$-avoiding permutations

A logical limit law for $231$-avoiding permutations

A Supplement to the Complete Convergence

Cyclically consecutive permutation avoidance

Rationality for subclasses of 321-avoiding permutations

Logical limit laws for Mallows random permutations

The permuton limit of random recursive separable permutations

A Central Limit Theorem for Repeating Patterns

Asymptotic enumeration of permutations avoiding generalized patterns

On the convergence of probabilities of the random graphs' properties expressed by first-order formulae with a bounded quantifier depth

Permutations with fixed pattern densities

A geometric approach to conjugation-invariant random permutations

On pattern‐avoiding permutons

Finite automata, probabilistic method, and occurrence enumeration of a pattern in words and permutations

Continuity of Limit Surfaces of Locally Uniform Random Permutations

Eigenvalues of random lifts and polynomials of random permutation matrices

An Alternative Proof for the Expected Number of Distinct Consecutive Patterns in a Random Permutation

First order complexity of finite random structures

On the permutations that strongly avoid the pattern 312 or 231

On $d$-permutations and Pattern Avoidance Classes