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.

Sato tau functions and construction of Somos sequence

Somos-4 equation and related equations

Some D-finite and Some Possibly D-finite Sequences in the OEIS

On an example by Poincaré and sums with Kronecker sequence

Enumeration of $S$-omino towers and row-convex $k$-omino towers

A congruential recurrence characterizes the inverses of Sós permutations

A lower bound for the discrepancy in a Sato–Tate type measure

Casting more light in the shadows: dual Somos-5 sequences

Tau functions of the discrete modified KP hierarchy

A novel discretization of the Yajima-Oikawa equation: Cauchy matrix approach

Sums of two squares and the tau-function: Ramanujan's trail

Rogers-Szegö Polynomials, $(s,t)$-Derivatives of Partial Theta Function, and Generalized Simplicial $d$-Polytopic Numbers, I

Integer Sequences and Output Arrays

On the discrete modified KP hierarchy: tau functions, Fay identity and squared eigenfunction symmetries

To Symbolic Dynamics Through The Thue-Morse Sequence

From Toda hierarchy to KP hierarchy

Tau Function and Hirota Bilinear Equations for the Extended Bigraded Toda Hierarchy

Exotic Bailey-Slater SPT-Functions II: Hecke-Rogers-Type Double Sums and Bailey Pairs From Groups A, C, E

Tau functions from Joyce structures

Equidistribution of Kloosterman sums over function fields