Let $Q$ be an $s$-vertex $r$-uniform hypergraph, and let $H$ be an $n$-vertex $r$-uniform hypergraph. Denote by $\mathcal{N}(Q,H)$ the number of isomorphic copies of $Q$ in $H$. For a hereditary family $\mathcal{P}$ of $r$-uniform hypergraphs, define $$Ï(Q,\mathcal{P}):=\lim\limits_{n\to \infty}\binom{n}{s}^{-1}\max\{\mathcal{N}(Q,H): H\in \mathcal{P}~~\mbox{and}~~|V(H)|=n\}.$$ For $p\geq1$, the $(p,Q)$-spectral radius of $H$ is defined as $$λ^{(p)}(Q,H):=\max_{\|\mathbf{x}\|_{p}=1}s!\sum_{\{i_{1},\ldots,i_{s}\}\in \binom{[n]}{s}}\mathcal{N}(Q,H[\{i_{1},\ldots,i_{s}\}])x_{i_{1}}\cdots x_{i_{s}}.$$
%generalizing the concept of the $p$-spectral radius introduced by %Keevash, Lenz, and Mubayi \cite{KLM2014}.
In this paper, we present a systematically investigation of the parameter $λ^{(p)}(Q,H)$. First, we prove that the limit $$λ^{(p)}(Q,\mathcal{P}):=\lim\limits_{n\to \infty}n^{s/p-s}\max\{λ^{(p)}(Q,H): H\in \mathcal{P}~~\mbox{and}~~|V(H)|=n\}$$ exists, and for $p>1$, it satisfies $$Ï(Q,\mathcal{P})=λ^{(p)}(Q,\mathcal{P}).$$
Second, we study spectral generalized Turán problems.
Specifically, we establish a spectral stability result and apply it to derive a spectral version of the ErdÅs Pentagon Problem: for $p\geq1$ and sufficiently large $n$, the balanced blow-up of $C_{5}$ maximizes $λ^{(p)}(C_{5},H)$ among all $n$-vertex triangle-free graphs $H$, thereby improving a result of Liu \cite{Liu2025}. Furthermore, we show that for $p\geq1$ and sufficiently large $n$, the $l$-partite Turán graph $T_{l}(n)$ attains the maximum $λ^{(p)}(K_{s},H)$ among all $n$-vertex F-free graphs $H$, where $F$ is an edge-critical graph with $Ï(F)=l+1$. This provides a spectral analogue of a theorem due to Ma and Qiu \cite{MQ2020}.
- ID articolo: 2510.02776
- Titolo: Problemi spettrali estremi per il raggio spettrale (p,Q) degli ipergrafi
- Autori: Jian Zheng, Honghai Li, Li Su (Facoltà di Matematica e Statistica, Università Normale di Jiangxi)
- Classificazione: math.CO (Matematica Combinatoria)
- Data di pubblicazione: 13 ottobre 2025 (arXiv v2)
- Link articolo: https://arxiv.org/abs/2510.02776
Questo articolo studia sistematicamente i problemi estremi del raggio spettrale (p,Q) degli ipergrafi. Per un ipergrafo Q r-uniforme con s vertici e un ipergrafo H r-uniforme con n vertici, il raggio spettrale (p,Q) è definito come:
λ(p)(Q,H):=max∥x∥p=1s!∑{i1,…,is}∈(s[n])N(Q,H[{i1,…,is}])xi1⋯xis
I risultati principali includono: (1) la dimostrazione dell'esistenza della densità spettrale (p,Q) λ(p)(Q,P) e l'istituzione della relazione π(Q,P)=λ(p)(Q,P) per p>1; (2) l'istituzione di risultati di stabilità spettrale e l'applicazione alla versione spettrale del problema del pentagono di Erdős; (3) la dimostrazione che il grafo di Turán raggiunge il massimo raggio spettrale p della s-clique per grafi critici sui bordi.
- Problema da risolvere: Questo articolo studia i problemi estremi del raggio spettrale (p,Q) negli ipergrafi, che rappresenta una generalizzazione spettrale del classico problema di Turán. Nello specifico, include la determinazione dell'esistenza della densità spettrale (p,Q), la relazione con la densità Q e i problemi di estremi spettrali sotto condizioni di sottografi proibiti.
- Importanza del problema:
- La teoria spettrale estrema è un'area di ricerca centrale della matematica combinatoria, che collega strutture algebriche e combinatorie
- Il raggio spettrale (p,Q) generalizza il concetto di raggio spettrale p introdotto da Keevash-Lenz-Mubayi
- Fornisce nuovi strumenti di analisi spettrale per problemi estremi classici
- Limitazioni dei metodi esistenti:
- La ricerca precedente si è concentrata principalmente su casi specifici (come Q=Krr)
- Manca una teoria sistematica per il raggio spettrale (p,Q) generale
- La comprensione della relazione tra densità spettrale e densità combinatoria è insufficiente
- Motivazione della ricerca: Stabilire un quadro teorico completo per il raggio spettrale (p,Q), risolvere il problema di Turán generalizzato spettrale e estendere i risultati classici all'impostazione spettrale.
- Istituzione della teoria della densità spettrale (p,Q): Dimostrazione dell'esistenza di λ(p)(Q,P) e istituzione della relazione di equivalenza con la densità Q per p>1
- Sviluppo della teoria della proprietà Q-piatta: Introduzione e caratterizzazione della condizione Q-piatta con proprietà ereditaria e moltiplicativa
- Istituzione del teorema di stabilità spettrale: Fornitura di criteri di discriminazione spettrale per identificare la struttura degli ipergrafi estremi
- Risoluzione del problema spettrale del pentagono di Erdős: Dimostrazione che il grafo esplosione equilibrato di C5 raggiunge il massimo raggio spettrale (p,C5) tra tutti i grafi senza triangoli
- Generalizzazione della versione spettrale del teorema di Ma-Qiu: Dimostrazione che il grafo di Turán raggiunge il massimo raggio spettrale p della s-clique sotto la condizione di grafi critici sui bordi proibiti
Input: Ipergrafo Q r-uniforme con s vertici, ipergrafo H r-uniforme con n vertici, parametro p≥1Output: Raggio spettrale (p,Q) λ(p)(Q,H)Vincoli: H appartiene a una proprietà ereditaria P (come la famiglia di ipergrafi F-liberi)
- Raggio spettrale (p,Q):
λ(p)(Q,H)=max∥x∥p=1s!∑{i1,…,is}∈E(Q,H)N(Q,H[{i1,…,is}])xi1⋯xis
- Densità spettrale (p,Q):
λ(p)(Q,P):=limn→∞ns/p−smax{λ(p)(Q,H):H∈Pn}
- Densità Q:
π(Q,P):=limn→∞(sn)−1max{N(Q,H):H∈Pn}
Teorema 3.2 (Esistenza): Per qualsiasi proprietà ereditaria P e p≥1, il limite λ(p)(Q,P) esiste.
Teorema 3.3 (Equivalenza): Per p>1, si ha λ(p)(Q,P)=π(Q,P).
Strategia di dimostrazione:
- Utilizzo dell'argomento di media di Katona-Nemetz-Simonovits per provare la monotonia
- Istituzione di limiti superiori e inferiori attraverso l'analisi dell'equazione caratteristica e le disuguaglianze della media di potenza
- Completamento della prova di equivalenza utilizzando le proprietà strutturali della proprietà ereditaria
- Quadro di analisi unificato: Unificazione del raggio spettrale (p,Q) e della densità combinatoria classica nello stesso quadro teorico
- Metodo di stabilità spettrale: Caratterizzazione della struttura estrema attraverso condizioni di grado minimo Q, evitando analisi strutturali complesse
- Tecnica del grafo esplosione: Utilizzo dell'operazione di esplosione dell'ipergrafo per stabilire il collegamento tra quantità spettrali e combinatorie
Questo articolo è principalmente un lavoro teorico, verificato attraverso i seguenti metodi:
- Generalizzazione di risultati noti: Verifica che i nuovi risultati contengono i risultati classici di Nikiforov e altri come casi speciali
- Verifica di coerenza: Verifica della coerenza dei risultati per diversi parametri p
- Analisi del comportamento limite: Verifica che il comportamento limite quando p→∞ sia coerente con i risultati combinatori
- Versione spettrale del teorema di Erdős-Stone-Simonovits (Corollario 3.8)
- Problema del pentagono di Erdős (Teorema 4.8)
- Problema spettrale di Turán per grafi critici sui bordi (Teorema 4.11)
- Esistenza della densità spettrale (p,Q):
- Per tutti p≥1 e proprietà ereditaria P, λ(p)(Q,P) esiste
- Per p=1 la sequenza è monotona crescente, per p>1 la sequenza {λ(p)(Q,Pn)ns/p/(n)s} è monotona decrescente
- Equivalenza della densità:
- Per p>1: λ(p)(Q,P)=π(Q,P)
- Per p=1: in generale λ(1)(Q,P)≥π(Q,P), con uguaglianza se e solo se P è Q-piatta
- Teorema spettrale del pentagono di Erdős:
Per p≥1 e n sufficientemente grande, il grafo esplosione equilibrato di C5 Ln raggiunge il massimo raggio spettrale (p,C5) tra tutti i grafi n-vertice senza triangoli
- Teorema spettrale di Ma-Qiu:
Sia F un grafo critico sui bordi con numero cromatico l+1, allora per p≥1 e n sufficientemente grande, il grafo di Turán Tl(n) raggiunge il massimo raggio spettrale p della s-clique tra tutti i grafi n-vertice F-liberi
- Caratterizzazione della proprietà Q-piatta (Lemma 3.12): Le proprietà ereditarie e moltiplicative sono tutte Q-piatte
- Stabilità spettrale (Teorema 4.1): Fornitura di criteri di identificazione della struttura estrema basati sul grado minimo Q
- Proprietà funzionali:
- λ(p)(Q,H) è monotona crescente e continua rispetto a p
- limp→∞λ(p)(Q,H)=s!N(Q,H)
- Teoria estrema classica:
- Teorema di Turán e sue generalizzazioni
- Teorema di Erdős-Stone-Simonovits
- Problemi di Turán generalizzati
- Teoria spettrale estrema:
- Raggio spettrale p di Keevash-Lenz-Mubayi
- Teoria spettrale degli ipergrafi di Nikiforov
- Ricerca preliminare del raggio spettrale (p,Q) di Liu
- Problemi specifici:
- Congettura del pentagono di Erdős
- Problemi estremi per grafi critici sui bordi
- Teoria della stabilità spettrale
- Generalizzazione dei risultati di Nikiforov 17: Estensione da Q=Krr al Q generale
- Miglioramento dei risultati di Liu 12: Fornitura di un teorema spettrale del pentagono di Erdős più generale
- Estensione dei risultati di Yu-Peng 21: Generalizzazione dal caso s=2 al caso generale s
- Completezza teorica: Istituzione di un quadro teorico completo per il raggio spettrale (p,Q)
- Uniformità dei metodi: Trattamento di diversi problemi estremi con un metodo unificato
- Generalità dei risultati: Inclusione di molteplici risultati classici come casi speciali
- Istituzione della teoria completa del raggio spettrale (p,Q): Inclusione dell'esistenza, continuità, relazione con la densità combinatoria e altre proprietà fondamentali
- Risoluzione di molteplici importanti problemi estremi spettrali: Inclusi il problema spettrale del pentagono di Erdős e il teorema spettrale di Ma-Qiu
- Sviluppo di strumenti di analisi efficaci: Il teorema di stabilità spettrale fornisce nuovi metodi per identificare le strutture estreme
- Complessità del caso p=1: Quando p=1, la relazione tra densità spettrale e densità combinatoria è più complessa, richiedendo la condizione aggiuntiva di Q-piattezza
- Restrizioni delle applicazioni concrete: Alcuni risultati richiedono "n sufficientemente grande", con soglie non sufficientemente precise
- Complessità computazionale: Il calcolo del raggio spettrale (p,Q) nel caso generale può essere difficile
L'articolo propone diversi importanti problemi aperti:
- Congettura 5.1: Rimozione della condizione di crescita (14) nel teorema di stabilità spettrale
- Problema 5.2: Limiti inferiori sulla componente minima del vettore caratteristico principale
- Problema 5.3: Sviluppo asintotico esatto del raggio spettrale (p,Q)
- Contributi teorici significativi:
- Istituzione di un quadro teorico completo per il raggio spettrale (p,Q)
- Unificazione di molteplici problemi estremi apparentemente diversi
- Fornitura di una nuova prospettiva di analisi spettrale per problemi combinatori classici
- Metodi tecnici avanzati:
- Combinazione abile di tecniche algebriche e combinatorie
- Ampia applicabilità del metodo di stabilità spettrale
- Innovazione nelle tecniche di dimostrazione
- Risultati profondi e generali:
- Inclusione di molteplici importanti risultati classici
- Risoluzione di alcuni problemi a lungo irrisolti
- Posa delle fondamenta per ulteriori ricerche
- Scrittura chiara e regolamentata:
- Organizzazione strutturale ragionevole e logica chiara
- Definizioni precise e dimostrazioni dettagliate
- Revisione completa dei lavori correlati
- Fattibilità computazionale:
- Mancanza di algoritmi efficienti per il calcolo del raggio spettrale (p,Q)
- Guida limitata per applicazioni concrete
- Precisione delle condizioni:
- "n sufficientemente grande" in alcuni risultati non è sufficientemente specifico
- L'ottimalità di alcune costanti è sconosciuta
- Ambito di applicazione:
- Concentrazione principalmente sul livello teorico
- Collegamento insufficiente con applicazioni pratiche
- Contributo al campo:
- Fornitura di fondamenti teorici importanti per la teoria spettrale degli ipergrafi
- Promozione dello sviluppo della matematica combinatoria estrema
- Collegamento della teoria spettrale con problemi combinatori classici
- Valore pratico:
- Fornitura di nuovi strumenti per la ricerca di problemi correlati
- Ispirazione di nuove direzioni e problemi di ricerca
- Riproducibilità:
- Dimostrazioni dettagliate e complete, facili da verificare
- Applicabilità universale dei risultati teorici
- Ricerca teorica: Teoria spettrale degli ipergrafi, matematica combinatoria estrema, teoria algebrica dei grafi
- Applicazioni correlate: Analisi di reti, teoria della codifica, teoria del design
- Scopi didattici: Corsi di matematica combinatoria avanzata, teoria spettrale dei grafi
L'articolo cita 21 importanti riferimenti, principalmente includenti:
- Teoria estrema classica: Lavori fondamentali di Bollobás, Katona-Nemetz-Simonovits, Turán e altri
- Sviluppo della teoria spettrale: Lavori pioneristici di Keevash-Lenz-Mubayi, Nikiforov e altri
- Problemi specifici: Ricerca di Grzesik, Hatami e altri sul problema del pentagono di Erdős
- Progressi recenti: Lavori recenti di Liu, Yu-Peng e altri
Valutazione complessiva: Questo è un articolo teorico di alta qualità che fornisce importanti contributi alla teoria spettrale estrema degli ipergrafi. L'articolo stabilisce un quadro teorico completo per il raggio spettrale (p,Q), risolve molteplici importanti problemi e pone solide fondamenta per ulteriori sviluppi nel campo. Sebbene ci sia ancora spazio per miglioramenti nella fattibilità computazionale e nelle applicazioni concrete, il suo valore teorico e la sua influenza accademica sono significativi.