2025-11-23T10:19:17.258700

The generalized Zagreb index for non-plane and plane recursive trees

Feng, Fuchs, Yu
The Zagreb index, which is defined as the sum of squares of degrees of the nodes of a tree, was studied in previous works by martingale techniques for random non-plane recursive trees and classes of random trees which are close to random plane recursive trees. These techniques are not easily amended to the generalized Zagreb index, which is defined similar but with squares replaced by higher powers. In this paper, we use the moment transfer approach to (i) obtain the first-order asymptotics of moments and to (ii) prove limit laws for the (suitable normalized) generalized Zagreb index for random non-plane and plane recursive trees; for the former, we show that for all higher powers the limit law is normal, for the latter, we show for cubes and fourth powers that its a non-normal law.
academic

L'Indice di Zagreb Generalizzato per Alberi Ricorsivi Non-Planari e Planari

Informazioni Fondamentali

  • ID Articolo: 2510.10569
  • Titolo: L'Indice di Zagreb Generalizzato per Alberi Ricorsivi Non-Planari e Planari
  • Autori: Qunqiang Feng (University of Science and Technology of China), Michael Fuchs (National Chengchi University), Tsan-Cheng Yu (Fu Jen Catholic University)
  • Classificazione: math.PR (Probabilità), math.CO (Combinatoria)
  • Data di Pubblicazione: 14 Ottobre 2025 (preprint arXiv)
  • Link dell'Articolo: https://arxiv.org/abs/2510.10569

Riassunto

L'indice di Zagreb è definito come la somma dei quadrati dei gradi di tutti i nodi in un albero. Ricerche precedenti hanno studiato alberi ricorsivi non-planari casuali e classi di alberi prossimi agli alberi ricorsivi planari casuali utilizzando tecniche di martingala. Queste tecniche sono difficili da applicare direttamente all'indice di Zagreb generalizzato, che sostituisce il quadrato con potenze superiori. Il presente articolo impiega il metodo di trasmissione dei momenti per: (i) ottenere asintotiche del primo ordine dei momenti, (ii) provare leggi limite per l'indice di Zagreb generalizzato (opportunamente normalizzato) di alberi ricorsivi non-planari e planari casuali. Per i primi, proviamo che la legge limite è normale per tutte le potenze di ordine superiore; per i secondi, proviamo che la legge limite è non-normale per le potenze cubiche e quartiche.

Contesto di Ricerca e Motivazione

Sfondo del Problema

  1. Importanza dell'Indice di Zagreb: L'indice di Zagreb è uno degli indici topologici più ampiamente studiati nella teoria chimica dei grafi, introdotto da Gutman e Trinajstić negli anni '70, ampiamente utilizzato per prevedere le proprietà fisico-chimiche dei composti, con importanti applicazioni negli studi di relazioni quantitative struttura-proprietà (QSPR) e relazioni quantitative struttura-attività (QSAR).
  2. Indice di Zagreb Generalizzato: Per un grafo G=(V,E), l'indice di Zagreb generalizzato di ordine k è definito come: ZG(k)=vVDvk=uvE(Duk1+Dvk1)Z_G^{(k)} = \sum_{v \in V} D_v^k = \sum_{uv \in E} (D_u^{k-1} + D_v^{k-1}) dove DvD_v denota il grado del vertice v. Quando k=2 corrisponde al primo indice di Zagreb, quando k=3 è chiamato indice topologico dimenticato.
  3. Limitazioni dei Metodi Esistenti:
    • Le ricerche precedenti sul primo indice di Zagreb (k=2) hanno utilizzato principalmente tecniche di martingala e il metodo di Stein
    • Queste tecniche sono difficili da estendere a valori generali di k
    • È necessario un nuovo approccio per affrontare l'indice di Zagreb generalizzato
  4. Oggetti di Studio:
    • Alberi ricorsivi non-planari casuali: i nodi figli sono non ordinati
    • Alberi ricorsivi planari casuali: i nodi figli hanno un ordine sinistro-destro

Contributi Fondamentali

  1. Innovazione Metodologica: Prima applicazione del metodo di trasmissione dei momenti all'analisi dell'indice di Zagreb generalizzato, superando le limitazioni delle tecniche tradizionali di martingala
  2. Risultati Teorici:
    • Per alberi ricorsivi non-planari casuali: provato che l'indice di Zagreb generalizzato opportunamente normalizzato converge alla distribuzione normale standard per tutti i k≥2
    • Per alberi ricorsivi planari casuali: provato che converge a una distribuzione non-normale per k=3,4
  3. Analisi Asintotica: Ottenute espressioni asintotiche del primo ordine per tutti gli ordini di momenti, fornendo un quadro teorico completo per comprendere le proprietà statistiche di questi indici
  4. Quadro Unificato: Fornisce un metodo unificato per affrontare diversi valori di potenza k, estendendo la teoria esistente

Dettagli del Metodo

Definizione del Compito

Studiare il comportamento asintotico dell'indice di Zagreb generalizzato Zn(k)=vDvkZ_n^{(k)} = \sum_{v} D_v^k in alberi ricorsivi casuali, dove:

  • Input: albero ricorsivo casuale di dimensione n
  • Output: distribuzione limite dell'indice di Zagreb generalizzato
  • Vincoli: è necessaria una normalizzazione appropriata affinché la distribuzione limite esista

Metodo Fondamentale: Metodo di Trasmissione dei Momenti

1. Relazioni di Ricorrenza Distributive

Per un albero ricorsivo casuale di dimensione n, l'indice di Zagreb generalizzato soddisfa la relazione di ricorrenza: Zn(k)=dZIn(k)+Z~nIn(k)RInk+(RIn+1)kR~nInk+(R~nIn+1)kZ_n^{(k)} \stackrel{d}{=} Z_{I_n}^{(k)} + \tilde{Z}_{n-I_n}^{(k)} - R_{I_n}^k + (R_{I_n}+1)^k - \tilde{R}_{n-I_n}^k + (\tilde{R}_{n-I_n}+1)^k

dove InI_n è la dimensione del sottoalbero sinistro della radice, RnR_n è il grado della radice.

2. Equazioni di Ricorrenza dei Momenti

Tutti i momenti centrati soddisfano equazioni di ricorrenza della forma: an=j=1n1πn,j(aj+anj)+bna_n = \sum_{j=1}^{n-1} \pi_{n,j}(a_j + a_{n-j}) + b_n

dove πn,j=P(In=j)\pi_{n,j} = P(I_n = j), bnb_n è una funzione che coinvolge momenti di ordine inferiore.

3. Risultati di Trasmissione Asintotica

Utilizzo di lemmi di trasmissione asintotica già stabiliti per dedurre l'asintotica di ana_n dall'asintotica di bnb_n:

Alberi Ricorsivi Non-Planari (Lemmi 2.5-2.6):

  • Se bn=O^(nα)b_n = \hat{O}(n^α) e 0α<10 ≤ α < 1, allora an=μn+O^(nα)a_n = μn + \hat{O}(n^α)
  • Se bncnαb_n \sim cn^α e α>1α > 1, allora anc(α+1)nα/(α1)a_n \sim c(α+1)n^α/(α-1)

Alberi Ricorsivi Planari (Lemmi 2.8-2.9):

  • Se bncnb_n \sim c\sqrt{n}, allora ancnlogn/πa_n \sim cn\log n/\sqrt{π}
  • Se bncnαb_n \sim cn^α e α>1/2α > 1/2, allora ancΓ(α1/2)nα+1/2/Γ(α)a_n \sim c\Gamma(α-1/2)n^{α+1/2}/\Gamma(α)

Punti di Innovazione Tecnica

  1. Analisi di Momenti Misti: Poiché la relazione di ricorrenza coinvolge il grado della radice RnR_n, è necessario analizzare simultaneamente i momenti misti di Zn(k)Z_n^{(k)} e RnR_n
  2. Strategia di Prova Induttiva: Utilizzo dell'ordine lessicografico su coppie (r,s)(r,s) per l'induzione, dove rr è la potenza di ZnZ_n e ss è la potenza di RnR_n
  3. Normalizzazioni Differenti:
    • Alberi non-planari: (Zn(k)μkn)/(σkn)(Z_n^{(k)} - μ_k n)/(σ_k\sqrt{n})
    • Alberi planari: Zn(k)/nk/2Z_n^{(k)}/n^{k/2}

Impostazione Sperimentale

Quadro di Analisi Teorica

Il presente articolo è principalmente un'analisi teorica che non coinvolge esperimenti numerici. Il quadro di analisi include:

  1. Modello Probabilistico:
    • Alberi ricorsivi non-planari: InI_n uniformemente distribuito in {1,...,n1}\{1,...,n-1\}
    • Alberi ricorsivi planari: P(In=j)=2(nj)CjCnjnCnP(I_n = j) = \frac{2(n-j)C_jC_{n-j}}{nC_n}
  2. Calcolo dei Momenti: Calcolo delle espressioni asintotiche dei momenti di vari ordini attraverso relazioni di ricorrenza
  3. Verifica del Teorema Limite: Utilizzo del metodo dei momenti per provare la convergenza

Esempi di Calcolo

Per il caso k=2, l'articolo fornisce calcoli esatti:

  • Alberi non-planari: μ2=6μ_2 = 6
  • Alberi planari: E(Zn(2))=2nlogn+(4log2+2γ2)n+O(n)E(Z_n^{(2)}) = 2n\log n + (4\log 2 + 2γ - 2)n + O(\sqrt{n})

Risultati Sperimentali

Risultati Teorici Principali

Alberi Ricorsivi Non-Planari (Teorema 3.1)

Per tutti i k≥2: Zn(k)μknσkndN(0,1)\frac{Z_n^{(k)} - μ_k n}{σ_k\sqrt{n}} \stackrel{d}{\rightarrow} N(0,1)

dove μk,σk>0μ_k, σ_k > 0 sono costanti esplicite.

Alberi Ricorsivi Planari (Teorema 4.1)

Per k=3 o k=4: Zn(k)nk/2dZ(k)\frac{Z_n^{(k)}}{n^{k/2}} \stackrel{d}{\rightarrow} Z^{(k)}

dove Z(k)Z^{(k)} è una variabile casuale non-normale univocamente determinata dalla sequenza di momenti.

Risultati di Analisi Asintotica

Comportamento Asintotico dei Momenti:

  • Alberi non-planari: E(Zˉnr)grσkrnr/2E(\bar{Z}_n^r) \sim g_r σ_k^r n^{r/2}, dove grg_r sono i momenti della distribuzione normale standard
  • Alberi planari: E(ZnrRns)gr,sn(kr+s)/2E(Z_n^r R_n^s) \sim g_{r,s} n^{(kr+s)/2}

Condizioni di Convergenza:

  • Per k=3,4 la sequenza di momenti soddisfa la condizione di Carleman, garantendo l'unicità della distribuzione
  • Per k≥5 la crescita dei momenti è troppo rapida, il metodo dei momenti non è applicabile

Scoperte Chiave

  1. Fenomeno di Transizione di Fase: Alberi non-planari e planari mostrano comportamenti limite completamente diversi
  2. Effetto della Potenza: Il valore di k influenza significativamente il modo di normalizzazione e il tipo di distribuzione limite
  3. Limitazioni del Metodo: Il metodo di trasmissione dei momenti non è applicabile per k≥5

Lavori Correlati

Direzioni di Ricerca Principali

  1. Ricerca sull'Indice di Zagreb:
    • Gutman & Trinajstić (1972): Prima introduzione dell'indice di Zagreb
    • Ampia applicazione negli studi QSPR/QSAR
    • Ricerca su problemi di estremi e limiti
  2. Indici Topologici su Alberi Casuali:
    • Feng & Hu (2011, 2013): Utilizzo di tecniche di martingala per studiare il primo indice di Zagreb
    • Zhang (2020): Ricerca correlata su alberi ricorsivi planari
    • Ricerca su grafi casuali di Erdős-Rényi
  3. Metodo di Trasmissione dei Momenti:
    • Neininger & Hwang (2002): Stabilimento del quadro fondamentale
    • Hwang (2006): Applicazione agli alberi ricorsivi planari
    • Chen & Fuchs (2011): Miglioramenti del metodo

Vantaggi dell'Articolo

  1. Innovazione Metodologica: Prima applicazione del metodo di trasmissione dei momenti all'indice di Zagreb generalizzato
  2. Completezza dei Risultati: Copertura di tutti i valori di k fattibili
  3. Profondità Teorica: Fornisce un quadro di analisi asintotica completo

Conclusioni e Discussione

Conclusioni Principali

  1. Efficacia del Metodo: Il metodo di trasmissione dei momenti risolve con successo il problema dell'indice di Zagreb generalizzato che le tecniche di martingala non potevano affrontare
  2. Differenze Distributive:
    • Alberi ricorsivi non-planari: convergenza a distribuzione normale per tutti i k≥2
    • Alberi ricorsivi planari: convergenza a distribuzione non-normale per k≥3
  3. Completezza Teorica: Fornisce teoria limite completa per k=3,4

Limitazioni

  1. Restrizioni del Metodo:
    • Per alberi ricorsivi planari, il metodo dei momenti fallisce per k≥5
    • k=2 richiede trattamento speciale
  2. Sfide Tecniche:
    • L'analisi di momenti misti è complessa
    • L'applicazione dei risultati di trasmissione asintotica richiede controllo preciso degli errori
  3. Ambito di Applicabilità:
    • Applicabile solo ai modelli di alberi ricorsivi
    • Altri modelli di alberi casuali richiedono risultati di trasmissione diversi

Direzioni Future

  1. Estensione del Metodo:
    • Ricerca di nuovi metodi per affrontare il caso k≥5
    • Estensione ad altri modelli di alberi casuali
  2. Ricerca Applicativa:
    • Applicazioni pratiche nella teoria chimica dei grafi
    • Relazioni con altri indici topologici

Valutazione Approfondita

Punti di Forza

  1. Contributo Teorico:
    • Risoluzione di un importante problema aperto
    • Fornimento di nuovi strumenti e quadri analitici
    • I risultati hanno forte valore teorico
  2. Innovazione Metodologica:
    • Applicazione ingegnosa del metodo di trasmissione dei momenti a un nuovo problema
    • Le tecniche di trattamento dei momenti misti hanno carattere generale
  3. Profondità dell'Analisi:
    • Analisi asintotica completa
    • Prove matematiche rigorose
    • Percorso tecnico chiaro
  4. Qualità della Scrittura:
    • Struttura chiara, logica rigorosa
    • Dettagli tecnici completi
    • Revisione completa dei lavori correlati

Carenze

  1. Limitazioni di Praticità:
    • Ricerca puramente teorica, mancanza di verifica numerica
    • Collegamento insufficiente con applicazioni pratiche
  2. Limitazioni del Metodo:
    • Impossibilità di affrontare certi intervalli di parametri
    • Dipendenza da modelli specifici di alberi ricorsivi
  3. Presentazione dei Risultati:
    • Mancanza di esempi numerici concreti
    • Descrizione insufficiente delle proprietà della distribuzione limite

Impatto

  1. Contributo Accademico:
    • Fornimento di nuovi strumenti per la ricerca interdisciplinare tra teoria della probabilità e combinatoria
    • Potenziale ispirazione per la ricerca su altri indici topologici
  2. Valore del Metodo:
    • Nuova applicazione del metodo di trasmissione dei momenti
    • Fornimento di quadro di analisi per problemi simili
  3. Significato Teorico:
    • Arricchimento della teoria degli alberi casuali
    • Approfondimento della comprensione delle proprietà asintotiche degli indici topologici

Scenari Applicabili

  1. Ricerca Teorica: Ricerca in teoria della probabilità, combinatoria e teoria dei grafi
  2. Metodologia: Riferimento per l'analisi asintotica di altri parametri
  3. Contesto Applicativo: Ricerca su indici topologici nella teoria chimica dei grafi e nell'analisi di reti

Bibliografia

L'articolo cita 25 importanti riferimenti che coprono i campi correlati degli indici di Zagreb, alberi casuali, metodo di trasmissione dei momenti e altri, fornendo una solida base teorica per la ricerca.


Valutazione Complessiva: Questo è un articolo teorico di alta qualità che risolve con successo il problema dell'analisi asintotica dell'indice di Zagreb generalizzato su alberi ricorsivi casuali. Il metodo è altamente innovativo, i risultati sono completi e approfonditi, e hanno importante valore teorico per i campi correlati. Sebbene presenti alcune carenze in termini di praticità, il suo contributo teorico e il significato metodologico lo rendono un progresso importante nel campo.