English

Zeros of the M\"{o}bius function of permutations

Combinatorics 2019-08-15 v1

Abstract

We show that if a permutation π\pi contains two intervals of length 2, where one interval is an ascent and the other a descent, then the M\"{o}bius function μ[π]\mu[\pi] of the interval [1,π][1,\pi] is zero. As a consequence, we show that the proportion of permutations of length nn with principal M\"{o}bius function equal to zero is asymptotically bounded below by (11/e)20.3995(1-1/e)^2\ge 0.3995. This is the first result determining the value of μ[1,π]\mu[1,\pi] for an asymptotically positive proportion of permutations π\pi. We also show that if a permutation ϕ\phi can be expressed as a direct sum of the form α1β\alpha \oplus 1 \oplus \beta, then any permutation π\pi containing an interval order-isomorphic to ϕ\phi has μ[1,π]=0\mu[1, \pi]=0; we deduce this from a more general result showing that μ[σ,π]=0\mu [\sigma, \pi]=0 whenever π\pi contains an interval of a certain form. Finally, we show that if a permutation π\pi contains intervals isomorphic to certain pairs of permutations, or to certain permutations of length six, then μ[1,π]=0\mu[1, \pi] = 0.

Keywords

Cite

@article{arxiv.1810.05449,
  title  = {Zeros of the M\"{o}bius function of permutations},
  author = {Robert Brignall and Vít Jelínek and Jan Kynčl and David Marchant},
  journal= {arXiv preprint arXiv:1810.05449},
  year   = {2019}
}

Comments

21 pages, 7 figures, 1 tables. This is an expanded version of the preprint "Intervals of permutations and the principal M\"{o}bius function", available at arXiv:1806.10362, with two additional authors