Superpola

Templat:Periksaterjemahan Dalam studi matematis mengenai permutasi dan pola permutasi, sebuah superpola atau permutasi semesta merupakan sebuah permutasi yang berisi semua pola mengenai sebuah panjang yang diberikan. Lebih spesifiknya, sebuah superpola-$k$ berisi semua pola yang mungkin mengenai panjang $k$.

Definisi dan contoh

Jika $\pi$ merupakan sebuah permutasi panjang $n$, diwakili sebagai sebuah barisan dari bilangan dari 1 ke $n$ dalam suatu urutan, dan $s=s_1,s_2,\dots ,s_k$ merupakan sebuah subbarisan $\pi$ dari panjang $k$, maka $s$ berpadan dengan sebuah pola tunggal, sebuah permutasi panjang $k$ yang unsur-unsurnya ada di dalam urutan yang sama sebagai $s$. Yakni, untuk setiap pasangan $i$ dan $j$ dari indeks, unsur ke-$i$ dari pola untuk $s$ seharusnya menjadi lebih kecil daripada unsur ke-$j$ jika dan hanya jika unsur ke-$i$ dari $s$ lebih kecil dari unsur ke-$j$. Dengan setara, polanya adalah isomorfik-urutan ke subbarisan. Contoh, jika $\pi$ adalah permutasi 25314, maka ini memiliki sepuluh subbarisan panjang tiga, membentuk pola berikut:

Subbarisan	Pola
253	132
251	231
254	132
231	231
234	123
214	213
531	321
534	312
514	312
314	213

Sebuah permutasi $\pi$ disebut sebuah superpola-$k$ jika pola panjang $k$ mencakup semua dari permutasi panjang-$k$. Misalnya, pola panjang-3 dari 25314 mencakup semua enam dari permutasi panjang-3, jadi 25314 adalah sebuah superpola-3. Tidak ada superpola-3 dapat menjadi lebih pendek, karena suatu dua subbarisan yang membentuk dua pola 123 dan 321 dapat hanya memotong dalam sebuah posisi tunggal, jadi lima simbol diperlukan hanya untuk meliputi dua pola ini.

Batas panjang

Templat:Harvs memperkenalkan masalah menentukan panjang dari superpola-$k$ kemungkinan terkecil. Dia mengamati bahwa terdapat sebuah superpola panjang $k^2$ (diberikan oleh pengurutan leksikografik pada vektor koordinat mengenai titik-titik dalam sebuah kisi kuadrat) dan juga diamati bahwa, untuk sebuah superpola panjang $n$, ini harus menjadi kasus bahwa ini memiliki banyak subbarisan karena terdapat pola. Yakni, ini harus menjadi benar bahwa $(\genfrac{}{}{0ex}{}{n}{k})\ge k!$, untuk yang ini mengikuti oleh hampiran Stirling bahwa $n\ge \frac{k^2}{e^2}$, dimana $e\approx 2.71828$ adalah bilangan Euler. Batas bawah ini kemudian disempurnakan sangat sedikit oleh Templat:Harvs, yang ditingkatkan ke $\frac{1.000076k^2}{e^2}$, membantah konjektur Arratia bahwa batas bawah $\frac{k^2}{e^2}$ adalah ketat.

Batas atas $k^2$ mengenai panjang superpola dibuktikan oleh Arratia tidak ketat. Setelah antara penyempurnaan, Templat:Harvs membuktikan bahwa terdapat sebuah superpola-$k$ dari panjang setidaknya $\frac{k(k+1)}{2}$ untuk setiap $k$. Batas ini kemudian disempurnakan oleh Templat:Harvs, yang menurunkannya ke $\lceil \frac{k^2+1}{2}\rceil$.

Eriksson dkk. menduga bahwa panjang yang benar dari superpola-$k$ terpendek adalah asimtotik ke $\frac{k^2}{2}$. Namun, ini ada di dalam kontradiksi dengan sebuah konjektur Alon pada superpola acak yang dijelaskan di bawah.

Superpola acak

Peneliti juga telah mempelajari panjang dibutuhkan untuk sebuah barisan dihasilkan oleh sebuah proses acak menjadi sebuah superpola. Templat:Harvtxt mengamati bahwa, karena subbarisan meningkat terpanjang mengenai sebuah permutasi acak memiliki panjang (dengan probabilitas tinggi) kira-kira $2\sqrt{n}$, ini mengikuti bahwa sebuah permutasi acak harus memiliki panjang setidaknya $\frac{k^2}{4}$ untuk memiliki probabilitas tinggi menjadi sebuah permutasi superpola-$k$ yang lebih pendek daripada ini akan kemungkinan tidak berisi pola identitas. Dia menghubungkan ke Alon, konjekturnya bahwa, untuk suatu $\epsilon >0$, dengan probabilitas tinggi, permutasi acak dari panjang $\frac{k^2}{4-\epsilon }$ akan menjadi superpola-$k$.

Lihat pula

• Superpermutasi