Now all the ingredients for the proof of the main theorem are ready.
Proof of Theorem 1.6.1 We define F : Sn →Snby F :=B◦C◦R◦A,
and for σ ∈ Sn we have sort(σ) = inv(F(σ)) (Theorem 3.1.1), Cyc(σ) = Lmap(F(σ))(Theorem 3.2.1) Lmap(σ) =Rmil(F(σ))and Lmal(σ) =Rmip(F(σ)) (Theorem 3.3.1). Hence
(sort, Cyc, Lmap, Lmal) ∼ (inv, Lmap, Rmil, Rmip)
and the proof is completed.
Discussion and concluding remarks
It is somewhat unexpected and disappointing to us that after the comple-tion of this work we find our result can be recovered also by combining that of Chen, Gong and Guo  and Eu, Lo and Wong  together with the inverse mapping between Sn. We explain it here.
First of all, from the work of Eu, Lo and Wong  we know (sort, Cyc, Lmap, Lmal)σ= (inv, Rmil, Lmap, Lmal)φ−1σ
for all σ∈Sn. For σ ∈Sn, if i∈Lmal(σ)then σj <σifor j <i. We look at σ−1. As σ−1(σi) = i, which means in σ−1the σi-th position is i. Moreover in σ−1 the position of any letter j smaller than i in σ−1will be less than σi. In other words, in σ−1the letters smaller than i will be to the left of i, hence i∈ Rmip(σ−1).
On the other hand, suppose i ∈ Rmip(σ−1), means that for any j with σ−1i >σ−1j we have i>j. Look at(σ−1)−1 =σand we know that in σ the position of i is σ−1iand for any j to the left of i in σ there is σ−1j < σ−1iand hence i > j. In other words, in σ the letters to the left of i is smaller than i and i∈Lmal(σ).
Combine the above two paragraphs we get Lmal(σ) =Rmip(σ−1). Together with Theorem 1.5.2 we obtain
which is exactly what we’ve done in this paper.
However, both proofs of Chen, Gong and Guo  and Eu, Lo and Wong 
are rather involved and so far it is still not clear to us that if our bijection is equivalent to the composition above. Computer experiment shows until n=5 both bijections are equivalent. We hope to clarify it in the near future.
Problem 1. Is our bijection F equivalent to φ−1◦i?
A natural question arises once we have a bijection on Sn. If we apply F continuously, it is clear that each σ belongs to an orbit
σ →F(σ) →F◦F(σ) → · · · → F◦F◦ · · · ◦F(σ) →σ.
Elements in each orbit are equivalent, and the set Sncan be partitioned into equivalent classes (namely, orbits) under this equivalent relation. Hence it is natural to ask what the orbit structure is. A computer program gives the following data.
Problem 2. What is the orbit structure Snunder this equivalent relation?
n i numbers of orbits with
n i numbers of orbits with
length i in Sn length i in Sn
3 68 34 6
4 3 61 1
7 1 125 1
9 18 136 2
12 6 142 2
13 1 145 2
14 2 206 1
19 6 2894 1
Conjecture 1. There are(bnn
2c)fixed points of F on Sn.
Conjecture 2. The fixed points of F are the permutations which are both involu-tion and become a SYT which has less than two rows by RSK algorithm.
In enumerative combinatorics an important goal is the generating func-tion. For our case it seems not trivial to write down the generating function, as three of the statistics are set-valued and should be encoded by nomomi-als.
Problem 3. What can we say about the generating function F(x, y, z, w) =
The final problem arises from many instances in the study of statistic. In the study of permutation statistics sometimes an equidistribution identity over Snholds also for some proper subset A⊂Sn.
Problem 4. Can our equidistribution result also hold for some interesting proper subset A⊂Sn?
We leave these problems for future study and also to interested readers.
 C.A. Athanasiadis, Edgewise subdivisions, local h-polynomials and excedences in the wreath productZroSn, SIAM J. Discrete Math., 28 (2014), 1479-1492.
 J.-L. Baril, Statistics-preserving bijections between classical and cyclic permutations. Inform. Process. Lett., 113 (2013), 17-22.
 L. Carlitz, q-Bernoulli and Eulerian numbers, Trans. Amer. Math. Soc.
 W.Y.C Chen, G.Z. Gong, J.J.F. Guo, The sorting index and permutation codes, Advances in Applied Mathmatics 50 (2013) 367-389.
 S.-P. Eu, T.-S. Fu, H.-C Hsu, H.-C. Liao, Signed countings of types B and D permutations and t,q-Euler numbers, Adv. in Appl. Math., 97 (2018), 1-26.
 S.-P. Eu, T.-S. Fu, Y.-J. Pan, A refined sign-balanced of simsun permu-tations European J. Combin., 36 (2014), 97-109.
 S.-P. Eu, T.-S. Fu, Y.-J. Pan, C.-T Ting, Sign-balance identities of Adin-Roichman type on 321-avoiding alternating permutations, Discrete Math., 312 (2012), 2228-2237.
 S.-P. Eu, Y.-H. Lo, T.-L. Wong, The sorting index on colored permuta-tions and even-signed permutapermuta-tions, Advances in Applied Mathmat-ics 68 (2015) 18-50.
 L. Euler, Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum, in Academiae Imperialis Scientiarum Petropolitanae, St. Petersburg 1755 (Part II, chapter 7: Methodus sum-mandi superior ulterius promota.)
 D. Foata, On the Netto inversion number of a sequence, Proc. Amer.
Math. Soc. 19 (1968), 236-240.
 D. Foata, Sur un énoncé de MacMahon, C. R. Acad. Sci. Paris 258 (1964), 1672-1675.
 D. Foata, Distributions eulériennes et mahonienns sur le groupe des permutations, in Higher Combinatorics (Proc. NATO Advanced Study Inst., Berlin, 1976), Reidel, Dordrecht-Boston, MA, 1977, pp. 27-49.
 D. Foata, G.-N. Han, New permutation coding and equidistribution of set-valued ststistics, Theoret. Comput. Sci. 410 (2009) 3743-3750.
 D. foata and M.-P. Schützenberger, Théorie géométrique des polynômes Eulériens, Lecture Notes in Math., no. 138, Springer, Berlin, 1970.
 D. foata and M.-P. Schützenberger, Nombres d’Euler et permutations alternantes, in A survey of Combinatorial Theory, J. N. Srivistava, et al., eds., North-Holland, Amsterdam, 1973, pp. 173-187.
 D. foata and M.-P. Schützenberger, Major index and inversion number of permutations, Math. Machr. 83 (1978), 143-159.
 J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge Uni-versity Press, Cambridge, 1990.
 D.H. Lehmer, Teaching combinatorial tricks to a computer, in:Proc.
Sympos. Appl. Math., vol.10, Amer. Math. Soc., Providence, RI, 1960, pp. 179-193.
 P.A. MacMahon, Combinatory Analysis, vols.1 and 2, Cambridge Uni-versity Press, 1916; reprinted by Chelsea, New York, 1960, and by Dover, New York, 2004.
 T. K. Petersen, The sorting index, Adv. in Appl. Math., 47 (2011), 615-630.
 J. Shareshian and M. L. Wachs, q-Eulerian polynomials: excedance number and major index, Electron. Res. Announc. Amer. Math. Soc. 13 (2007), 33-45.
 R. P. Stanley, Enumerative Combinatorics. Vol. 1, vol. 49 of Cambridge Studies in Adcanced Mathematics. Cambridge University Press, Cam-bridge, 1997.