Abstract:In a proof of the three gaps theorem, a class of permutations known as the Sós permutations was introduced. It is known that a Sós permutation, as a sequence, satisfies a certain recurrence (Sós's recurrence), however, whether the converse holds remains unknown. On the other hand, the inverses of Sós permutations have been studied also. It has been reported that such a permutation satisfies a congruential recurrence as a sequence. The converse problem of this fact, i.e., whether a permutation satisfying the congruential recurrence is the inverse of a Sós permutation, is also unsolved, except for a finite number of the degrees of the permutations. This paper relates the set of permutations satisfying the congruential recurrence to other sets of permutations and gives upper bounds for their cardinalities. The upper bounds are in fact tight. In particular, the set of permutations satisfying the congruential recurrence has the same cardinality as that of Sós permutations, giving the affirmative answer to the above unsolved problem as a corollary. As another corollary, it is shown that all permutation, which is regarded as a congruential quasi-progression of diameter 1 in that the set formed by the first order differences modulo the degree of the permutation is a singleton or a set of two successive integers, is the inverse of a Sós permutation with an elementary operation called as shift applied. As an application of these facts, we present a procedure that lifts the set of the inverses of the Sós permutations of a given degree to the set of the same kind with the degree increased by one, without referring to the underlying parameters defining the Sós permutations or the Farey sequence associated to them.

A congruential recurrence characterizes the inverses of Sós permutations

Congruences Involving Permutation

Permutation Patterns of the Iterated Syracuse Function

Permutations of a semigroup that map to inverses

Asymptotic enumeration of permutations avoiding generalized patterns

Cyclically consecutive permutation avoidance

Asymptotics of self-overlapping permutations

A proof of a Dumortier-Roussarie's conjecture

Permanent Identities, Combinatorial Sequences, and Permutation Statistics

Combinatorial proofs on the joint distribution of descents and inverse descents

Erdős-Szekeres theorem for cyclic permutations

On Permutations of {1,…,n} and Related Topics

Finite regular semigroups with permutations that map elements to inverses

Infinite Families of Congruences Modulo 5 for the Number of Irreducible Characters of the Alternating Groups

Log-concavity with respect to the number of orbits for infinite tuples of commuting permutations

Quadrant marked mesh patterns in 123-avoiding permutations

An Elementary Proof of a Conjecture of Saikia on Congruences for $t$--Colored Overpartitions

An almost complete $t$-intersection theorem for permutations

On (joint) equidistributions of mesh patterns 123 and 132 with symmetric shadings

Connections between Combinations Without Specified Separations and Strongly Restricted Permutations, Compositions, and Bit Strings

Overlap Cycles for Permutations: Necessary and Sufficient Conditions