Given $n\in\mathbb{N}$, and $f:\mathbb{N}^*\rightarrow \mathbb{N}$, let define $Pos$ as: 

$$Pos(f)(n)= |\{x \leq n, f(x)=f(n)\}|$$

When given $n\in\mathbb{N}$, this function gives the 'position' of $n$ in the list of the elements of $f^{-1}(f(n))$.

Therefore, $f$ injective $\Leftrightarrow Pos(f)=1_{\mathbb{N}}$,

 and $f$ constant $\Leftrightarrow Pos(f)=Id$

One can show that $Pos(Pos(Pos(f))=Pos(f)$ for all $f\in\mathcal{F}(\mathbb{N}^*,\mathbb{N})$, and hence that $Pos\circ Pos$ is the identity on $Pos(\mathcal{F}(\mathbb{N}^*,\mathbb{N}))$ 

We obviously can define $Pos$ on smaller spaces, such as $\mathcal{F}([1,n],\mathbb{N})$.

We call a $Pos$ function an object in the image of $Pos$.
One can show that there is exactly as much $Pos$ functions defined over $[1,n]$ as Young Tableau of $n$ cases.

Let be $n\in\mathbb{N}$ and $(X_k)_{k\in[1,n]}$ a family of independant uniform random variables over $[1,n]$.

Let $f_n\in\mathcal{F}([1,n],\mathbb{N})$ verifying $f_n(k)=X_k(\omega)$ for some $\omega\in\Omega$ and for all $k\in[1,n]$.



Then (Conjecture):

$Pos(Pos(f_n))\rightarrow_{n\rightarrow +\infty} g_{|\mathbb{N}}$ where $g$ is some function in $\mathcal{C}^\infty(\mathbb{R}^+,\mathbb{R})$



4 Realisation of $f_{1000}$:
 (https://cloud.sagemath.com/blobs//projects/19785c4f-3835-4790-b566-c9bb43c2c63c/.sage/temp/compute1-us/22034/tmp_wURmVN.svg?uuid=8af1e4c5-1c5f-48af-b1ea-67937f2e68a9)

[![enter image description here][1]][1]

4 realisations of $Pos(Pos(f_{1000}))$, where the black line is the identity, and the $g$ function would be the mean of all the upper functions:
 (https://cloud.sagemath.com/blobs//projects/19785c4f-3835-4790-b566-c9bb43c2c63c/.sage/temp/compute1-us/22034/tmp_ZH6Nhx.svg?uuid=1b3005a6-114a-4b94-a1a3-05d788e95101)

[![enter image description here][2]][2]

Do you have ideas to prove or disprove such a result?

One of my ideas was to look at the random function $Z(n)$, being the upper bound of $Pos(Pos(f_n))$.
Interestingly, $Z$ seems to be homotethic, with ratio surprisingly close to $\frac{2}{pi}$.

The graph of $Z(n)$ for $n\in[1,1000]$ in blue, and $x\mapsto \frac{2x}{pi}$ in red:
(https://cloud.sagemath.com/blobs//projects/19785c4f-3835-4790-b566-c9bb43c2c63c/.sage/temp/compute1-us/25054/tmp_n0iiY_.svg?uuid=7c935133-8773-4523-9a89-fda1b4b746b5)

[![enter image description here][3]][3]

I'm aware it's a very specific result in a field that isn't very documented, but, i'd be really glad to know if anyone had ideas to keep on studying this $Pos$ function.

I'm sorry that the images cannot be shown directly on the site, because i just signed in, and therefore have not any reputation points. Same for the first link, i'm limited to 2 so i let the most important. It's one of the theory i'm working on and i thought you might be helping.


  [1]: https://i.sstatic.net/2k28Y.png
  [2]: https://i.sstatic.net/tAklV.png
  [3]: https://i.sstatic.net/pEeJC.png