In this note we study the {\em asymptotic popularity}, that is, the limit probability to find a given consecutive pattern at a random position in a random permutation in the eighteen classes of permutations avoiding at least two length 3 consecutive patterns. We show that for ten classes, this popularity can be readily deduced from the structure of permutations. By combining analytical and bijective approaches, we study in details two more involved cases. The problem remains open for five classes.
Questo articolo studia il problema della popolarità asintotica (asymptotic popularity), ovvero la probabilità limite di trovare un dato pattern consecutivo in una posizione casuale di una permutazione casuale, all'interno delle 18 classi di permutazioni che evitano almeno due pattern consecutivi di lunghezza 3. Lo studio dimostra che per 10 classi di permutazioni, questa popolarità può essere derivata direttamente dalla struttura delle permutazioni. Combinando metodi analitici e biiettivi, gli autori studiano in dettaglio due casi più complessi. Il problema rimane aperto per 5 classi di permutazioni.
Questo articolo studia il comportamento asintotico dell'evitamento di pattern consecutivi (consecutive pattern avoidance) nelle permutazioni. Specificamente:
Data una classe di permutazioni che evita certi pattern consecutivi di lunghezza 3
Si studia la popolarità asintotica di altri pattern non evitati in queste classi
La popolarità asintotica è definita come: il limite della probabilità di trovare uno specifico pattern p in una posizione casuale di una permutazione casuale di dimensione n, quando n tende all'infinito
Significato teorico: Rivela un "fatto affascinante" — certi pattern scompaiono asintoticamente (la probabilità tende a 0)
Estensione di problemi classici: Estende il lavoro di Bóna e Homberger sui pattern classici (non consecutivi) ai pattern consecutivi
Collegamento di oggetti combinatori diversi: Attraverso biezioni, stabilisce connessioni tra permutazioni e altre strutture combinatorie (come i cammini di Dyck dispersi, le involuzioni)
Deriva dallo studio della Classe 7 in 4 da parte di Baril, Burstein e Kirgizov, che utilizzano una biezione tra permutazioni e cammini di Dyck dispersi per trasferire i pattern, il che ha ispirato il presente lavoro.
Studio sistematico delle 18 classi di permutazioni: Analisi completa delle permutazioni che evitano almeno due pattern consecutivi di lunghezza 3 proposte da Kitaev-Mansour
Risoluzione di 10 classi semplici: Per 10 classi di permutazioni (Classi 1,2,3,5,6,8,9,16,18 e la Classe 7 già risolta), derivazione diretta della popolarità asintotica dalla struttura
Analisi approfondita di 2 classi complesse:
Classe 11 (Av(123,132,321)): Combinazione di metodi analitici e combinatori
Classe 17 (Av(123,132)): Utilizzo della trasformazione di Foata e biezione con involuzioni
Formulazione di problemi aperti: Identificazione esplicita di 5 classi di permutazioni (Classi 10,12,13,14,15) per cui il problema rimane aperto
Scoperta del fenomeno di scomparsa dei pattern: Dimostrazione che in certe classi, la popolarità asintotica di specifici pattern è zero (scomparsa dei pattern)
Pattern consecutivo: Una permutazione π contiene un pattern consecutivo p se esiste una sottosequenza consecutiva aiai+1⋯ai+r−1 che è ordinale-isomorfa a p.
Operazioni di simmetria:
Inversione R(π): Inversione dell'ordine della permutazione
Complemento C(π): Sostituzione di ogni elemento a con n+1-a
Queste operazioni preservano le occorrenze di pattern consecutivi
Passo 4: Risoluzione mediante funzioni generatrici
Poniamo un:=(n−1)!!312nl, otteniamo la funzione generatrice:
f(z)=4(1−z)2(1+z)z(2(z−1)ln(1−z)+z3+3z2−2z)
Strumento fondamentale: Trasformazione di Foata
Claesson dimostra che la trasformazione di Foata stabilisce una biezione tra Av_n(123,132) e l'insieme delle involuzioni I_n.
Forma standard:
Ogni ciclo inizia con l'elemento minimo
I cicli sono ordinati per elemento minimo decrescente
Rimozione delle parentesi produce la permutazione
Corrispondenza di pattern (Tabella 2):
321 in Av(123,132) ↔ (c)(b)(a) o forme con punti fissi in I_n
231 ↔ (bc)(a⋆) (senza punti fissi)
213 ↔ (⋆b)(ac) (senza punti fissi)
312 ↔ (⋆c)(ab) (senza punti fissi)
Lemmi chiave:
Lemma 4.2: Comportamento asintotico del numero di punti fissi
∣In∣fpn∼n→∞n
Questo mostra che i punti fissi sono rari nelle involuzioni e i pattern contenenti punti fissi possono essere ignorati.
Lemma 4.3: È sufficiente calcolare la popolarità asintotica dei pattern senza punti fissi
Analisi del pattern 231 (Proposizione 4.4):
Il pattern α = (bc)(a⋆) corrisponde a due trasposizioni consecutive
Ogni coppia di trasposizioni consecutive produce esattamente un α e uno tra β o γ
Conclusione: pop₁₇(231) = 1/2, pop₁₇(321) = 0
Analisi del pattern 213 (più complessa):
Corrisponde al pattern 2314 in Av(123,132)
Stabilimento di relazioni ricorrenti (Lemma 4.5):
2314n=2314n−1+(n−1)⋅2314n−2+(2n−2)∣In−4∣
Funzione generatrice esponenziale (Proposizione 4.6):
G(z)=2e2(1+z)2∫0ze−2(1+t)2dt+4z(z−2)ez+2z2
Analisi asintotica:
Primo termine: [zn]z(z−2)ez+2z2∼n!n∣In∣
Secondo termine: utilizzo del metodo del punto di sella per dimostrare [zn]F(z)=o(n!n∣In∣)
Scelta del punto di sella ζ=n fornisce un limite superiore sufficiente
Metodo misto: Prima applicazione sistematica della combinazione di analisi strutturale, funzioni generatrici e metodi biiettivi per lo studio della popolarità asintotica di pattern consecutivi
Applicazione innovativa del metodo del punto di sella: Nella Classe 17, semplificazione dell'analisi attraverso la scelta di un punto di sella approssimato ζ=n anziché il punto di sella esatto
Trasferimento di pattern: Utilizzo della trasformazione di Foata per convertire problemi di pattern nelle permutazioni in problemi di strutture cicliche nelle involuzioni
Rarità dei punti fissi: Dimostrazione che la crescita O(n) del numero di punti fissi li rende trascurabili nell'analisi asintotica
Borga6: Studio della normalità asintotica dell'occorrenza di pattern consecutivi in permutazioni che evitano certi pattern, basato su alberi generatori
Lavoro incompleto: 5 classi di permutazioni (Classi 10,12,13,14,15) rimangono aperte
Difficoltà numeriche: Queste classi aperte hanno velocità di convergenza molto bassa, rendendo difficile la formulazione di congetture attraverso esperimenti numerici
Limitazioni metodologiche: I metodi attuali sembrano insufficienti per affrontare i casi rimanenti più complessi
4 Baril, Burstein, Kirgizov (2021): Fonte diretta di ispirazione per questo articolo
17 Kitaev (2003): Base dell'enumerazione delle 18 classi di permutazioni
7 Claesson (2001): Biezione della trasformazione di Foata (chiave della Classe 17)
1-3 Bóna & Homberger (2010-2012): Lavori pionieristici sui pattern classici
11 Flajolet & Sedgewick (2005): Riferimento standard per la combinatoria analitica
Valutazione complessiva: Questo è un articolo solido di matematica combinatoria che studia sistematicamente un problema naturale e interessante. Dal punto di vista metodologico, dimostra l'efficace combinazione di più tecniche, in particolare l'analisi della Classe 11 e della Classe 17 riflette una profonda competenza tecnica. Sebbene rimangano 5 classi irrisolte, il lavoro completato fornisce una base solida per il campo. L'articolo è ben scritto, i risultati sono interessanti (in particolare il fenomeno di scomparsa dei pattern), e i problemi aperti proposti sono chiari e stimolanti. Per i ricercatori in matematica combinatoria, in particolare nella teoria dei pattern nelle permutazioni, questo è un articolo che merita una lettura approfondita.