ceb14152f110c701.tex
1: \begin{abstract}
2:     A random permutation $\Pi_n$ of $\{1,\dots,n\}$ follows the $\Mallows(n,q)$ distribution with 
3:     parameter $q>0$ if $\bP \left( \Pi_n = \pi \right)$ is proportional to $q^{\inv(\pi)}$ for all $\pi$. 
4:     Here $\inv(\pi) \be |\{ i<j : \pi(i)> \pi(j) \}|$ denotes the number of inversions of $\pi$. 
5:     We consider properties of permutations that can be expressed by the sentences of two different logical languages.
6:     Namely, \emph{the theory of one bijection} ($\TOOB$), which describes 
7:     permutations via a single binary relation, and \emph{the theory of two orders} ($\TOTO$), 
8:     where we describe permutations by two total orders. 
9:     We say that the {\em convergence law} holds with respect to 
10:     one of these languages if, for every sentence $\phi$ in the language, the probability $\bP (\Pi_n\text{ satisfies } \phi)$
11:     converges to a limit as $n\to\infty$. If moreover that limit is $\in\{0,1\}$ for all sentences, then the {\em zero--one law} holds.
12:     
13:     We will show that with respect to $\TOOB$ the $\Mallows(n,q)$ distribution satisfies the convergence 
14:     law but not the 
15:     zero--one law when $q=1$, when $0<q<1$ is fixed the zero--one law holds, and 
16:     for fixed $q>1$ the convergence law fails.  
17:     
18:     We will prove that with respect to $\TOTO$ the $\Mallows(n,q)$ distribution satisfies the convergence law 
19:     but not the zero--one law for any fixed $q\neq 1$, and that if $q=q(n)$ satisfies 
20:     $1- 1/\log^*n < q < 1 + 1/\log^*n$ then $\Mallows(n,q)$ fails the convergence law. 
21:     Here $\log^*$ denotes the discrete inverse of the tower function.
22: \end{abstract}
23: