On the M\"obius Function of Permutations With One Descent

The set of all permutations, ordered by pattern containment, is a poset. We give a formula for the M\"obius function of intervals $[1,\pi]$ in this poset, for any permutation $\pi$ with at most one descent. We compute the M\"obius function as a function of the number and positions of pairs of consecutive letters in $\pi$ that are consecutive in value. As a result of this we show that the M\"obius function is unbounded on the poset of all permutations. We show that the M\"obius function is zero on any interval $[1,\pi]$ where $\pi$ has a triple of consecutive letters whose values are consecutive and monotone. We also conjecture values of the M\"obius function on some other intervals of permutations with at most one descent.


Introduction
Let σ and π be permutations of positive integers. We define an occurrence of σ as a pattern in π to be a subsequence of π with the same relative order of size as the letters in σ. For example, if σ = 213 and π = 23514 then there are two occurrences of σ in π as the subsequences 214 and 314. A permutation π is said to avoid a pattern σ if there are no occurrences of σ in π. The set of all permutations forms a poset P, with a partial ordering defined as σ π if σ occurs as a pattern in π. An interval [σ, π] in P is a subposet consisting of all permutations z ∈ P with σ z π. The Möbius function is defined recursively as follows: µ(σ, λ) = 0 if σ λ, µ(σ, σ) = 1 for all σ and for σ < λ: µ(σ, λ) = − σ z<λ µ(σ, z).
We frequently use the term Möbius value of a permutation λ to refer to µ(1, λ) and we refer to permutations with a nonzero Möbius value as nonzero permutations. A descent in a permutation π = π 1 π 2 . . . π n is a decrease in the value of consecutive letters, that is, a descent at position i is where π i > π i+1 .
Formulas for the Möbius function in this poset in certain special cases have been proved. Almost all such results so far are on permutations constructed using direct sums, where the direct sum of two permutations α and β, denoted α ⊕ β, is the concatenation of α with β ′ , where β ′ is the permutation β with each letter increased in value by the length of α. For example 213 ⊕ 2413 = 2135746. The first such result was by Sagan and Vatter in [SV06], where they give a formula for the Möbius function on the poset of layered permutations, that is, permutations that can be written as the direct sum of a number of decreasing permutations. More general results are presented in [BJJS11] where a formula is given for the Möbius function of all separable permutations, that is, permutations avoiding both 3142 and 2413, along with many results for decomposable permutations, that is, permutations that can be written non-trivially as direct sums. It is also shown that the absolute value of the Möbius function has an upper bound in some of these cases.
In this paper we present some of the first results for the Möbius function on a substantial class of indecomposable permutations, the only other such result seems to be in [ST10], which gives certain cases in which the Möbius function is zero. As a result of this we show that µ(1, π) is unbounded, which does not seem to have been established before. Our main result is a formula for the Möbius function on the interval [1, π] for any permutation π with at most one descent and that on such intervals the Möbius function is alternating. Note that a permutation of length n with one descent is indecomposable unless it starts with 1 or ends with n, so our result applies to a substantial class of indecomposable permutations.
Define the subposet P k ⊆ P to be the poset containing permutations with exactly k descents. In this paper we mainly treat permutations from the subposets P 0 and P 1 . We also use the notation P n k for the set of permutations of length n with exactly k descents and P n for the set of all permutations of length n. As we often treat the Möbius function of the intervals [1, π] we consider the Möbius function as a function of a single variable in the form of µ(π) := µ(1, π). An adjacency in a permutation is two letters that are consecutive in position and have consecutive increasing values. For example, 24578136 has adjacencies 45 and 78, at positions 2 and 4. A permutation can also have a triple adjacency, or an adjacency of even greater length, as in the permutation 12456837 where there is the triple adjacency 456. The number of and positions of the adjacencies in a permutation will be key to our results. An important type of permutations from P 1 are the permutations without adjacencies, which are the permutations where odd and even letters are separated from each other. We denote the even length permutations without adjacencies as M n = 246 . . . (2n)135 . . . (2n − 1) and W n = 135 . . . (2n − 1)246 . . . (2n) for n > 1.
In Section 2 we prove that µ(π) = 0 for any permutation π containing a triple adjacency. In Section 3 we prove a result relating to permutations with no adjacencies that is useful in the proof in Section 4. In Section 4 we completely classify the Möbius function on the intervals [1, π] where π has at most one descent. This proves the conjecture made in [Ste13] that µ(π) = n+1 2 when π is of the form 246 . . . (2n)135 . . . (2n − 1), which is the permutation without adjacencies M n . This shows that µ(π) is unbounded in general, answering a question asked in [BJJS11], where it was shown that |µ(π)| 1 for all separable permutations π. In Section 5 we present additional conjectures we have not been able to prove on the Möbius function of permutations with at most one descent.

The Möbius function on permutations with a triple adjacency
In this section we present and prove a lemma stating that a permutation with a triple adjacency has a Möbius value of zero. While interesting in its own right, it is useful in proving the result in Section 4. But first we consider some notation and important points about adjacencies. We defined an adjacency in the introduction as two letters that are consecutive in position and have consecutive increasing values. There is an analogous decreasing adjacency but we consider adjacencies to be increasing unless otherwise stated, because in P 1 decreasing adjacencies are rare and do not play a role in our considerations. We denote the value of an adjacency by the value of its initial letter, so in the permutation 24578136 the adjacencies 45 and 78 have values 4 and 7. Notice that a triple adjacency consists of two adjacencies of two letters, for example we can split 456 into 45 and 56. When counting the adjacencies in a permutation we count adjacencies of two letters, therefore 12456837 has three adjacencies 12, 45 and 56.
Proof. We can easily check that µ(123) = 0. Now assume that the claim holds for any permutation of length m < n where m 3. Given a permutation π ∈ P n with a triple adjacency, removing any of the letters of the triple adjacency from π results in the same permutation, call this σ. Any permutation obtained from π by removing any of the letters not in the triple adjacency still has a triple adjacency hence by the inductive hypothesis has a zero Möbius value. Hence all nonzero permutations in [1, π) occur in [1, σ], implying: The result in Lemma 1 also holds for the case of decreasing triple adjacencies, with an analogous proof. We can slightly generalise this result to give the following corollary, whose proof is analogous to the proof of Lemma 1 after suitably modifying the base case: Corollary 2. If a permutation π contains an adjacency (increasing or decreasing) of length k 3, then µ(12 . . . (k − 2), π) = 0.

The permutations with one descent and no adjacencies
We present a result on permutations with no adjacencies that is useful in proving the results in Section 4. Before stating the lemma, we introduce some notation and definitions along with a few remarks about the posets P 0 and P 1 . We say that two permutations are related if both or neither permutation begins with 1. For example the permutations 246135 and 2357146 are related as neither begins with 1 but 246135 and 135246 are not related.
Let the increasing permutation 12 . . . k be denoted k. Notice that the poset P 0 forms a chain, as for any k 1 the only length k permutation without a descent is the increasing permutation k. As P 0 is a chain it is easy to see that µ(k) = 0 for any k > 2.
It is also important to note that a permutation with k descents cannot contain, as a pattern, a permutation with more than k descents. Therefore, in any interval [1, π], with π ∈ P 1 , any permutation λ ∈ [1, π] must be in P 0 ∪ P 1 . That is, the set P 0 ∪ P 1 is an order ideal in P, also called a permutation class. A permutation class can be uniquely determined by its basis, that is, the set of minimal permutations it avoids. The basis for P 0 ∪ P 1 can be shown to be {321, 2143, 3142}. We remark that the poset of permutations with at most k descents, for any fixed k, is a permutation class, but the basis for the general case k > 1 is much more difficult to find. A formula is given in [BF13,Theorem 4.2] which can be used to calculate the size of such a basis but this formula is rather complicated.
Recall that the permutations without adjacencies are the permutations where the odd and even letters are separated from each other. The even length permutations without adjacencies are M n = 246 . . . Lemma 3. Let π ∈ P n 1 be a permutation with no adjacencies. Then π contains, as patterns, precisely all permutations in P 1 of length less than n with at most two adjacencies except the following: 1. The permutations of length n − 1 with two adjacencies.
2. The permutations of length n − 1 with one adjacency that are not related to π.
3. The permutations of length n − 2 with two adjacencies that are not related to π.
Proof. Let R and N be the subposets of P 1 which contain the permutations, of length m < n, that are related and not related to π, respectively. Also denote the subposets of R and N with exactly k adjacencies as R k and N k , respectively. We need to prove that π contains all permutations σ ∈ R 0 ∪ N 0 ∪ R 1 , all permutations σ ∈ R 2 ∪ N 1 of length m < n − 1 and all permutations σ ∈ N 2 of length m < n − 2.
First consider the permutations in R. Note that R 0 is a chain and any permutation in R 0 , of length m < n, can be obtained by removing the n − m largest letters of π.
To obtain a permutation σ ∈ R 1 , of length m < n, where the adjacency has value i, it is necessary and sufficient to remove the letter i + 1 from π and then to adjust to the correct length permutation by removing the n − m − 1 largest letters. So to create any permutation in R 0 ∪ R 1 there is only one letter that must be removed and thus all permutations in R 0 ∪ R 1 of length m n − 1 can be obtained from π. Now consider a permutation τ ∈ R 2 , of length m < n, with adjacencies of value i and k. To create such a permutation, from π, we remove the letters of value i + 1 and k + 1 and then we adjust the length by removing the n − m − 2 largest letters. So the permutations in R 2 require at least two letters to be removed and therefore all the permutations in R 2 of length m n − 2 can be obtained, but none of length n − 1. Now consider the permutations in N. Removing the letter 1 from π creates a unique length n−1 permutation λ which is in N 0 . We can then apply the same argument as in the previous paragraph to λ instead of π. Hence we can obtain all permutations in N 0 ∪ N 1 of length m n − 2 and all permutations in N 2 of length m n − 3. As λ is the only permutation of length n − 1 in N 0 we can get all permutations in N 0 of length m n − 1.
Therefore we can obtain all permutations with at most two adjacencies in R ∪ N except for the following: The permutations in R 2 of length n − 1, the permutations in N 2 of lengths n − 1 and n − 2 and the permutations in N 1 of length n − 1.
2. The permutations of length 5 with one adjacency that are not related to π that is: 35124, 23514, 25134 and 24513.
3. The permutations of length 4 with two adjacencies that are not related to π that is: 4123, 3412 and 2341.

The Möbius function for permutations with one descent
In this section we present a formula for the Möbius function on the interval [1, π] where π is any permutation with at most one descent.
Theorem 5. Given a permutation π ∈ P 0 ∪ P 1 , of length n > 2, the value of µ(π) can be computed from the number and positions of adjacencies in π, as follows: 1. If π begins with 12 or ends in (n − 1)n then µ(π) = 0.

If π has exactly two adjacencies then:
(a) If the first adjacency has greater value than the second then µ(π) = ±1, (b) If the first adjacency has lower value than the second then µ(π) = 0.
Before proving Theorem 5 we make some remarks: • Each permutation with one descent falls into at least one of the above classes.
• The above result agrees on permutations covered by more than one class. These cases are: -A permutation with one adjacency and beginning with 12 or ending with (n − 1)n has zero Möbius value by both part 1 and part 5.
-A permutation with 12 at the beginning and (n − 1)n at the end has zero Möbius value by both part 1 and part 4b.
-A triple adjacency can be treated as two consecutive adjacencies and the result states the Möbius value is zero by part 2 and part 4b.
-It is possible for a permutation to fall into all three of the first cases, such as 12354, and such a permutation has zero Möbius value according to all three cases.
For part 1 of Theorem 5, a permutation that begins with 12 or ends with (n − 1)n is decomposable so the proof follows directly from Corollary 3 in [BJJS11] and part 2 follows from Lemma 1.
We prove the remaining parts of Theorem 5 using an inductive argument throughout the following subsections. For a base case we need to consider all permutations of length 3 n 6. We know certain permutations have zero Möbius value by the already proven parts 1 and 2 of Theorem 5 So we can leave such permutations. We now list the remaining permutations of length 3 n 6 with one descent along with their calculated Möbius value and which case of Theorem 5 they fall into: It is straightforward to check that these results agree with Theorem 5. The reason it is necessary to check the base case up to length n = 6 is so we can use Lemma 8 to cancel out the Möbius values of sets of permutations in the intervals we consider.
From now on we assume that any permutation in P 0 ∪ P 1 , of length less than n, where n > 6, satisfies the claims in Theorem 5 and we prove that Theorem 5 then holds for permutations with at most one descent of length n and thus for any length. When referencing the induction hypothesis we add the part of Theorem 5 being referenced in brackets, for example (5.6a) for Theorem 5 part 6a.
By our inductive hypothesis (5.3) we can see that any nonzero permutation of length m < n can have at most two adjacencies. If we combine this with Lemma 3 we see that a permutation of length m < n with no adjacencies contains all nonzero permutations of length at most m − 3.

The structure of the proof
The remaining parts of the proof of Theorem 5 all follow a similar schema, which is outlined as follows: 1. Consider π ∈ P n 1 .
2. Remove one letter from each adjacency in π or the largest letter if π has no adjacencies. This leaves a permutation λ with no adjacencies.
We develop this schema in detail for the proof of Proposition 1 in the following subsection and then, as they are quite similar, the remaining parts of the proof are done in less detail.
We present two lemmas which we frequently reference throughout the proof: Lemma 6. Let σ ∈ P m 1 , where m < n, be a nonzero permutation satisfying either one of the following conditions: 1. Has exactly one adjacency, which is neither 12 nor (m − 1)m.

Has exactly two adjacencies at least one of which is neither 12 nor
Then σ contains a length m − 1 permutation λ with the same number of adjacencies as σ such that µ(λ) + µ(σ) = 0.
Proof. If σ has exactly one adjacency, at location i, then either this adjacency is before or after the descent. If the adjacency is before the descent, then by the induction hypothesis (5.5) the Möbius value of σ is a function of i. We know m must be to the right of i so removing m creates a length m − 1 permutation λ with exactly one adjacency at location i, so by the induction hypothesis (5.5 and 5.7) µ(σ) = −µ(λ). If the adjacency is after the descent then removing the letter 1 gives an analogous argument. This completes the first case.
If σ has exactly two adjacencies we can remove either the letter 1 or m which gives a length m − 1 permutation λ which has two adjacencies of the same relative sizes as the adjacencies in σ. By the induction hypothesis (5.7) the sign of the Möbius function is alternating, therefore µ(λ) = −µ(σ).
1. Consider the permutation 13425 which is of the first form in Lemma 6. Removing the letter 5 gives the permutation 1342. We compute the Möbius values of these permutations as µ(13425) = 1 and µ(1342) = −1.
2. Consider the permutation 24781356 which is of the second form in Lemma 6. Removing the letter 1 gives the permutation 1367245. We compute the Möbius values of these permutations as µ(24781356) = −1 and µ(1367245) = 1.
We can use Lemma 6 to show that the Möbius values of certain sets of permutations sum to zero.
Lemma 8. Take a set ∆ 1 of k nonzero permutations from P m 1 , where 4 < m < n, all with t > 0 adjacencies and where none of the adjacencies is 12 or (m − 1)m. Then we can construct the following sets: • A set ∆ 2 of 2k permutations from P m−1 1 with exactly t adjacencies.
• A set ∆ 3 of k permutations from P m−2 1 with exactly t adjacencies.
Also the sum of the Möbius values of all the permutations in ∆ 1 ∪ ∆ 2 ∪ ∆ 3 is zero.
Proof. From each permutation in ∆ 1 we have two options: We can remove the letter 1 or the letter m. Assume first that the removal of either of these letters from any of the permutations does not remove the descent from the permutation, then it is easy to see that this does not create or remove an adjacency. So to create ∆ 2 we get two permutations for each permutation in ∆ 1 by removing either 1 or m. To create ∆ 3 we remove, from each permutation in ∆ 1 , both 1 and m. It is easy to see that, as we are only removing the letters 1 and m, the permutations in the union of ∆ 2 and ∆ 3 are distinct. This concludes the proof of the first part of the lemma.
To show that the Möbius values sum to zero we can apply Lemma 6. Recall that a permutation with t > 2 adjacencies has Möbius value zero by the induction hypothesis (5.3). As ∆ 1 only contains nonzero permutations any permutation λ ∈ ∆ 1 must be of one of the forms in Lemma 6. First suppose it is of the first form, that is, it has one adjacency, and suppose this adjacency is before the descent. We can pair λ with the permutation obtained by removing the letter m from λ and their Möbius values sum to zero. Then, given the permutation λ 1 ∈ ∆ 2 obtained by removing the letter 1 from λ, we can pair this with the permutation λ 1,m ∈ ∆ 3 obtained by removing 1 and m from λ. By Lemma 6 we know the Möbius values of these two permutations sum to zero. We can do this for each permutation in ∆ 1 , which completes this case. An analogous argument applies to the case where λ has an adjacency after the descent or has two adjacencies.
If the removal of the letter 1 or m results in the removal of the descent from one of the permutations then we apply an analogous argument to entire proof above. In this argument we must account for the fact that for each permutation of this form there are two permutations that are increasing permutations of length greater than 2. As such, these permutations contain a triple adjacency and will have zero Möbius value and the Möbius value of the remaining permutations cancel as above.

Theorem 5 part 3
Recall that we are assuming Theorem 5 is true for any permutations of length m < n. We now consider part 3 of Theorem 5 for permutations of length n.
Proposition 1. A permutation π ∈ P n 1 with more than two adjacencies has µ(π) = 0. Proof. Suppose π has k > 2 adjacencies also suppose none of the adjacencies are 12 or (n − 1)n and there are no triple adjacencies. Then, by the inductive hypothesis (5.3), π contains no nonzero permutations of length greater than n − k + 2. There is a unique length n − k permutation λ contained in π with no adjacencies. Let us ignore λ along with any other permutation in [1, λ], since their contributions to the Möbius value of π sum to zero. Then we can use Lemma 3 to consider the remaining permutations, that are possibly nonzero, occurring in π: • Of length n − k + 2 there remain s = k 2 permutations with two adjacencies, call these Γ 0 = {γ 0 1 , . . . , γ 0 s }, where each of the γ 0 i 's is obtained by removing a letter from all but two of the adjacencies in π.
• Of length n − k there remain: -All the permutations related to π that have two adjacencies, where at least one of the adjacencies is an original adjacency in π, call this set of permutations Ω 0 .
• Of length n − k − 1 there remain: -All permutations with two adjacencies, where at least one of the adjacencies is an original adjacency in π, call this set of permutations Ω 1 .
• Of length n − k − 2 all permutations not related to π with two adjacencies, where at least one of the adjacencies is an original adjacency in π, call this set of permutations Ω 2 .
Note that by Lemma 8 the Möbius values in ∆ 0 ∪ ∆ 1 ∪ ∆ 2 sum to zero and the same is true of Γ 0 ∪ Γ 1 ∪ Γ 2 and Ω 0 ∪ Ω 1 ∪ Ω 2 . We know these sets satisfy the length condtions in Lemma 8 because the maximum number of adjacencies is n−2 2 , this is because the letters 1 and n are not in adjacencies and there are no triple adjacencies, which implies n − k n+2 2 4.5 > 4. This implies µ(π) = 0 and completes this case. Now suppose one of the adjacencies in π is 12 or (n − 1)n. If these adjacencies occur at the beginning or end, respectively, then this reduces to part 1 of Theorem 5. It is also possible that one of these adjacencies occurs directly after or before the descent in which case the proof follows from the proof above with minor modifications. These modifications arise from the fact that removing the letter 1 from π is equivalent to removing the adjacency 12 and likewise with the letter n and the adjacency (n − 1)n. In certain cases, this may result in n − k > 4, and we must apply Lemma 6 to get the desired cancellation.

Theorem 5 part 4
Proposition 2. Consider a permutation π ∈ P n 1 with exactly two adjacencies, at positions k and i. If the first adjacency has greater value than the second then µ(π) = ±1, otherwise µ(π) = 0.
Proof. If π begins with 12 or ends with (n − 1)n, then µ(π) = 0 by part 1 of Theorem 5. Now consider the case π does not contain both the adjacencies 12 and (n − 1)n.
Removing the letters π i and π k results in a permutation λ, of length n − 2, with no adjacencies. As the Möbius values of all the permutations in [1, λ] sums to zero we can ignore any permutation in said interval. Now use Lemma 3 and consider the remaining permutations. By Lemma 8 the Möbius values of the remaining permutations with one adjacency sum to zero. Split the remaining permutations with two adjacencies into two sets A and B, where A are those obtained from π by removing the letters 1 or n (or both) and B are those obtained from π by removing a letter from an adjacency and then removing another letter to create a new adjacency that does not occur in π. As the largest permutations in B are of length n − 2 > 4 we can apply Lemma 8 to see that the Möbius values of the permutations in B sum to zero.
This just leaves us to consider A. First assume π doesn't have the adjacencies 12 or (n−1)n directly after or before the descent. Then A contains the following permutations with two adjacencies: • A permutation δ of length n − 1, obtained by removing the letter 1 from π.
• A permutation τ of length n − 1, obtained by removing the letter n from π.
• A permutation σ of length n − 2, obtained by removing letters 1 and n from π.
Finally consider the case π contains both adjacencies 12 and (n−1)n and with (n−1)n occurring before 12, in this case there are no permutations in the set denoted A above and not all the permutations with one adjacency cancel. So we repeat the argument above considering the permutations with one adjacency.
Remark: Note that the Möbius value in the above proof is computed as a negation of a permutation of length one less. Hence the Möbius value is alternating in the case of permutations with two adjacencies.
Proof. If π begins with 12 or ends with (n − 1)n, then µ(π) = 0 by part 1 of Theorem 5. Next, we consider the case where π doesn't have the adjacencies 12 or (n − 1)n directly before or after the descent.
Removing π i from π creates a permutation λ with no adjacencies and we can ignore the interval [1, λ] as the Möbius values sum to zero by definition. We can apply Lemma 8 to the remaining permutations with two adjacencies to see that their Möbius values sum to zero. By Lemma 3 this leaves us to consider three permutations with one adjacency: • Of length n − 1 there remain two permutations with one adjacency, obtained by removing the letters 1 or n, call these σ 1 and σ 2 respectively.
• Of length n − 2 there remains one permutation with one adjacency not related to π. This is obtained by removing the letters 1 and n from π, call this δ.
This completes this case of the proof. If π contains the adjacency 12 or (n − 1)n then removing the letter n or 1, respectively, gives a permutation with one adjacency α. The Möbius values of all the other permutations sum to zero by Lemma 8, so µ(π) = −µ(α). Evaluating the four different cases of the proposition and using the inductive hypothesis (5.5) to get µ(α) completes the proof.
Remark: Note that in the above proof for each case the Möbius value of π is a negation of a permutation of length one less. Therefore the sign of the Möbius value is alternating for all permutations with exactly one adjacency.
Proof. First note that π contains a permutation λ, with no adjacencies, of length n − 1, obtained by removing the largest letter from π. As the Möbius values of all the permutations in [1, λ] sum to zero we can ignore any permutation in said interval. By Lemma 3 this leaves us to consider the following permutations which occur in π: • Of length n − 1 there remain: -One permutation with no adjacencies obtained by removing the letter 1 from π.
-The permutations with one adjacency each obtained by removing a letter from π, excluding the letters 1 and n.
• Of length n − 2 there remain: -The permutations not related to π with one adjacency. These are obtained by removing the letter 1 from each of the permutations with one adjacency of length n − 1 listed above.
-All permutations of length n − 2 related to π with two adjacencies.
• Of length n−3 there remain the permutations not related to π with two adjacencies.
First consider the case n is even and π 1 = 1, that is when π = 13 . . . (n − 1)24 . . . n = W n 2 . We will consider the permutations in [1, W n 2 ] based on number of adjacencies, and when needed, by the number removed to create an adjacency. We start with the nonzero permutations with two adjacencies. Note that all the length n − 3 permutations with two adjacencies are obtained from the length n − 2 permutations with two adjacencies by removing the letter 1. We can then apply Lemma 6 to see that the Möbius values of the permutations with two adjacencies sum to zero. We can repeat this argument with the permutations with one adjacency obtained from π by removing any of the letters 3, 4, . . . , (n − 1) to see that these cancel with the permutations of length n − 2 with one adjacency. This leaves the permutations obtained from π by removing the letters 2 and 1, respectively. The first is of the form 124 . . . In the case n is odd and π 1 = 1, the argument is analogous. We find the permutation 24 . . . n13 . . . (n − 1) has Möbius value − n−1 2 +1 2 , which implies µ(π) = n+1 2 . Next consider the case where n is even and π 1 = 2, that is π = 24 . . . n13...(n − 1) = M n 2 . First we consider permutations of length n − 1 with one adjacency formed by removing one of the letters 3, 4, . . . , (n−1). We can apply Lemma 6 to see that the Möbius value of all but one of these cancel with all but one of the length n − 2 permutations with one adjacency. The only remaining length n − 2 permutation is 124 . . . (n − 2)35 . . . (n − 3) which has zero Möbius value by part 1 of Theorem 5. The only remaining length n − 1 permutation is 24 . . . (n − 2)(n − 1)13 . . . (n − 3) which by the induction hypothesis (5.5a) has Möbius value n 2 − 1. Now consider the remaining permutations with two adjacencies. The permutation with the triple adjacency 123 contributes zero to the Möbius value by part 1 of Theorem 5. Removing the letter 2 and any letter i > 3 from π results in a permutation with adjacency 12 immediately after the descent. If i is even then the larger adjacency also appears after the descent so such a permutation contributes zero to the Möbius value by the induction hypothesis (5.4b). If i is odd then the adjacency appears before the descent. Since each such permutation has Möbius value −1 by the induction hypothesis (5.4a), and i is an odd number between 5 and n, the sum of the Möbius values of these permutations is − n 2 + 2. We can apply Lemma 6 to cancel all of the other permutations with two adjacencies in a similar way to the case π 1 = 1 above.
We must also consider the Möbius values of the permutations found by removing 2 or 1 from π. The permutation 35 . . . Finally we consider the case where n is odd and π 1 = 2, that is, π = 24 . . . (n − 1)13 . . . n. The argument proceeds in an analogous manner to the previous case, except the sum of the Möbius values of the permutations with two adjacencies is n−1 2 − 2 and the Möbius values of the three permutations with one adjacency are − n 2 +1, − n 2 +1 and n−1 2 2 , resulting in µ(π) = n+1 2 2 . Remark: • The nice form of the result in Proposition 4 raises the question of a direct combinatorial proof. We expect to present such a proof in the forthcoming paper [Smi14] which analyses topological properties of some intervals in the poset P.
• Notice that in the above cases the Möbius value is positive if and only if n is odd. Therefore the Möbius value is alternating.

Finishing the proof of Theorem 5
Notice that the remarks after Propositions 2, 3 and 4 show that the Möbius value is alternating for all nonzero permutations, which implies the Möbius value is positive if and only if n is odd. This proves part 7 of Theorem 5. We have shown that if the classification of Theorem 5 holds for all permutations, of length less than n, with at most one descent, then it also holds for n. By induction, that completes the proof of Theorem 5. Parts 5 and 6 of Theorem 5 give us the following important corollary: Corollary 9. On the poset P the function µ(π) is unbounded.
5 Conjectures on the Möbius function for intervals of permutations with at most one descent So far we have mainly concentrated on intervals of the form [1, π]. We now consider permutations where we allow the permutation 1 to change. We see that this change increases the complexity of computing the Möbius function quite drastically especially in the second conjecture we present, but also leads to some interesting results relating to the Möbius function being dependant on whether a permutation is separable.

The Möbius function on the intervals [σ, M n ] and [σ, W n ]
In this subsection we examine intervals [σ, π] where π is one of the two permutations of even length with no adjacencies and σ ∈ P 1 . Recall that these permutations with no adjacencies are denoted M n = 24 . . . (2n)13 . . . (2n−1) and W n = 13 . . . (2n−1)24 . . . (2n). This leads us to the following conjecture which has been checked by computer to hold for any pair (m, n) where m < 12 and n < 7: Conjecture 10. Given a permutation σ ∈ P m 1 , let i be the number of adjacencies in σ. If σ π where π ∈ {M n , W n } we have the following: • If σ is separable, then: • If σ is not separable: where a = 0, if σ and π are related 1, otherwise .

Also the Möbius value is positive if and only if m is even.
Recall that when considering an adjacency of length k we regard it as k − 1 individual adjacencies.
Notice that Conjecture 10 only deals with intervals [σ, π] where π is of even length. In Theorem 5 we can see that changing π between odd and even length has little effect on the Möbius function. In Conjecture 10, on the other hand, there is a substantial difference between the odd and even case.

The Möbius function on the interval [M m , π]
We can reverse the idea in subsection 5.1 and consider intervals [σ, π] where σ is a permutation without adjacencies and π ∈ P n 0 ∪ P n 1 . In this subsection we conjecture a formula for the Möbius function on such intervals. This formula is somewhat complicated, but turns out to be computationally efficient, compared to the brute force method of computing from the recursive formula for the Möbius function. Before stating the result we define a few statistics on π: • Let a be the number of adjacencies in π.
• Let the set A = {i 1 , . . . , i a } be the ordered sequence of the values of the adjacencies in π. Also add to A two phantom adjacencies i 0 and i a+1 which occur before and after the descent, respectively, with values: i 0 = −1, if π 1 = 1 0, otherwise and i a+1 =n + 1.
• A function: • A sequenceĴ = {ĵ 0 , . . . ,ĵ a } where: • SplitĴ into two sequences j a and j b in the following way: ĵ k ∈ j a , if i k and i k+1 occur on the same side of the descent j k ∈ j b , otherwise .
• Set s = a t=0ĵ t .
• Trim j a and j b in the following way: 1. If j a is empty remove the largest element from j b and set ǫ = 0, 2. If j a is not empty let max j a be the largest element in j a and remove it from j a , then set ǫ = max j a − t j a t , 3. Then set α = |j a | and β = |j b |, 4. Remove all zero elements from both sequences and if this results in j b being empty set ǫ = 0, 5. Finally sort j a into ascending order and j b into decreasing order.
For an example of these statistics see Example 12 below.
We can now state the conjecture which has been checked by computer tests to hold for all pairs (m, n) where m < 6 and n < 12: Conjecture 11. Consider the interval [M m , π] where π ∈ P n 0 ∪ P n 1 and λ, σ, j a , j b , ǫ, s, s θ and C are all as defined above, then: If π begins with 12, ends with (n − 1)n or contains a triple adjacency µ(M m , π) = 0, otherwise: Also the sign of µ is positive if and only if n is even.
Whilst Conjecture 11 is rather complicated it is significantly more computationally efficient than computing the Möbius function from its recursive definition. To see this consider the following example, for an interval of rank 20, whose computation from the recursive definition would take enormous time even on a fast computer: We compute µ(I) using Conjecture 11, first extracting the following statistics from I: Whilst we cannot verify this is the correct value of the Möbius function on this interval, the example serves as a good indicator of the efficiency of the conjecture if it can be proved correct.