2025-11-23T06:28:16.412773

Spectral extremal problems for the $(p,Q)$-spectral radius of hypergraphs

Zheng, Li, Su
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}.
academic

Спектральные экстремальные задачи для (p,Q)(p,Q)-спектрального радиуса гиперграфов

Основная информация

  • ID статьи: 2510.02776
  • Название: Spectral extremal problems for the (p,Q)(p,Q)-spectral radius of hypergraphs
  • Авторы: Jian Zheng, Honghai Li, Li Su (Колледж математики и статистики Цзянсийского педагогического университета)
  • Классификация: math.CO (комбинаторика)
  • Дата публикации: 13 октября 2025 г. (arXiv v2)
  • Ссылка на статью: https://arxiv.org/abs/2510.02776

Аннотация

В данной работе систематически исследуются экстремальные задачи для (p,Q)(p,Q)-спектрального радиуса гиперграфов. Для ss-вершинного rr-однородного гиперграфа QQ и nn-вершинного rr-однородного гиперграфа HH (p,Q)(p,Q)-спектральный радиус определяется как: λ(p)(Q,H):=max⁡∥x∥p=1s!∑{i1,…,is}∈([n]s)N(Q,H[{i1,…,is}])xi1⋯xis\lambda^{(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}}

Основные результаты включают: (1) доказательство существования (p,Q)(p,Q)-спектральной плотности λ(p)(Q,P)\lambda^{(p)}(Q,\mathcal{P}) и установление соотношения π(Q,P)=λ(p)(Q,P)\pi(Q,\mathcal{P})=\lambda^{(p)}(Q,\mathcal{P}) при p>1p>1; (2) установление результатов спектральной стабильности и их применение к спектральной версии проблемы пятиугольника Эрдёша; (3) доказательство того, что граф Турана достигает максимального ss-клик pp-спектрального радиуса для рёберно-критических графов FF.

Исследовательский контекст и мотивация

  1. Решаемые проблемы: В работе исследуются экстремальные задачи для (p,Q)(p,Q)-спектрального радиуса в гиперграфах, что является спектральным обобщением классической задачи Турана. Конкретно рассматриваются определение существования (p,Q)(p,Q)-спектральной плотности, её связь с QQ-плотностью и спектральные экстремальные задачи при условии запрещённых подграфов.
  2. Важность проблемы:
    • Спектральная экстремальная теория является центральной областью исследований в комбинаторике, связывающей алгебру и комбинаторные структуры
    • (p,Q)(p,Q)-спектральный радиус обобщает концепцию pp-спектрального радиуса, введённую Keevash-Lenz-Mubayi
    • Предоставляет новый спектральный инструмент анализа для классических экстремальных задач
  3. Ограничения существующих методов:
    • Предыдущие исследования сосредоточены на частных случаях (например, Q=KrrQ=K_r^r)
    • Отсутствует систематическая теория для общего (p,Q)(p,Q)-спектрального радиуса
    • Недостаточное понимание связи между спектральной и комбинаторной плотностью
  4. Исследовательская мотивация: Установить полную теоретическую базу для (p,Q)(p,Q)-спектрального радиуса, решить спектральную обобщённую задачу Турана и распространить классические результаты на спектральный контекст.

Основные вклады

  1. Установлена теория (p,Q)(p,Q)-спектральной плотности: Доказано существование λ(p)(Q,P)\lambda^{(p)}(Q,\mathcal{P}) и установлена эквивалентность с QQ-плотностью при p>1p>1
  2. Развита теория QQ-плоскостности: Введено и охарактеризовано условие QQ-плоскостности с наследственными и мультипликативными свойствами
  3. Установлена теорема спектральной стабильности: Предоставлены спектральные критерии для идентификации структуры экстремальных гиперграфов
  4. Решена спектральная задача пятиугольника Эрдёша: Доказано, что сбалансированный взрыв C5C_5 достигает максимального (p,C5)(p,C_5)-спектрального радиуса среди всех графов без треугольников
  5. Обобщена спектральная версия теоремы Ma-Qiu: Доказано, что граф Турана достигает максимального ss-клик pp-спектрального радиуса при условии запрещённости рёберно-критических графов

Подробное описание методов

Определение задачи

Входные данные: ss-вершинный rr-однородный гиперграф QQ, nn-вершинный rr-однородный гиперграф HH, параметр p≥1p \geq 1Выходные данные: (p,Q)(p,Q)-спектральный радиус λ(p)(Q,H)\lambda^{(p)}(Q,H)Ограничения: HH принадлежит некоторому наследственному свойству P\mathcal{P} (например, семейству F\mathcal{F}-свободных гиперграфов)

Основные понятия и определения

  1. (p,Q)(p,Q)-спектральный радиус: λ(p)(Q,H)=max⁡∥x∥p=1s!∑{i1,…,is}∈E(Q,H)N(Q,H[{i1,…,is}])xi1⋯xis\lambda^{(p)}(Q,H) = \max_{\|x\|_p=1} s!\sum_{\{i_1,\ldots,i_s\}\in E(Q,H)} N(Q,H[\{i_1,\ldots,i_s\}])x_{i_1}\cdots x_{i_s}
  2. (p,Q)(p,Q)-спектральная плотность: λ(p)(Q,P):=lim⁡n→∞ns/p−smax⁡{λ(p)(Q,H):H∈Pn}\lambda^{(p)}(Q,\mathcal{P}) := \lim_{n\to\infty} n^{s/p-s}\max\{\lambda^{(p)}(Q,H): H\in \mathcal{P}_n\}
  3. QQ-плотность: π(Q,P):=lim⁡n→∞(ns)−1max⁡{N(Q,H):H∈Pn}\pi(Q,\mathcal{P}) := \lim_{n\to\infty} \binom{n}{s}^{-1}\max\{N(Q,H): H\in \mathcal{P}_n\}

Основные теоретические результаты

Теорема 3.2 (Существование): Для любого наследственного свойства P\mathcal{P} и p≥1p \geq 1 предел λ(p)(Q,P)\lambda^{(p)}(Q,\mathcal{P}) существует.

Теорема 3.3 (Эквивалентность): Для p>1p > 1 справедливо λ(p)(Q,P)=π(Q,P)\lambda^{(p)}(Q,\mathcal{P}) = \pi(Q,\mathcal{P}).

Схема доказательства:

  1. Использование аргумента усреднения Katona-Nemetz-Simonovits для доказательства монотонности
  2. Установление верхних и нижних границ через анализ характеристического уравнения и неравенства степенных средних
  3. Завершение доказательства эквивалентности с использованием структурных свойств наследственных семейств

Технические инновации

  1. Единая аналитическая база: Объединение (p,Q)(p,Q)-спектрального радиуса и классической комбинаторной плотности в одну теоретическую схему
  2. Метод спектральной стабильности: Характеризация экстремальных структур через условия минимальной QQ-степени, избегая сложного структурного анализа
  3. Техника взрыва гиперграфа: Использование операции взрыва гиперграфа для установления связи между спектральными и комбинаторными величинами

Экспериментальная установка

Методы теоретической верификации

Данная работа является преимущественно теоретической и верифицируется следующим образом:

  1. Обобщение известных результатов: Проверка того, что новые результаты содержат классические результаты Nikiforov и других авторов как частные случаи
  2. Проверка согласованности: Верификация согласованности результатов при различных значениях параметра pp
  3. Анализ предельного поведения: Проверка того, что предельное поведение при p→∞p \to \infty согласуется с комбинаторными результатами

Примеры приложений

  1. Спектральная версия теоремы Erdős-Stone-Simonovits (Следствие 3.8)
  2. Задача пятиугольника Эрдёша (Теорема 4.8)
  3. Спектральная задача Турана для рёберно-критических графов (Теорема 4.11)

Результаты экспериментов

Основные теоретические результаты

  1. Существование (p,Q)(p,Q)-спектральной плотности:
    • Для всех p≥1p \geq 1 и наследственных свойств P\mathcal{P} существует λ(p)(Q,P)\lambda^{(p)}(Q,\mathcal{P})
    • При p=1p=1 последовательность монотонно возрастает, при p>1p>1 последовательность {λ(p)(Q,Pn)ns/p/(n)s}\{\lambda^{(p)}(Q,\mathcal{P}_n)n^{s/p}/(n)_s\} монотонно убывает
  2. Эквивалентность плотностей:
    • При p>1p > 1: λ(p)(Q,P)=π(Q,P)\lambda^{(p)}(Q,\mathcal{P}) = \pi(Q,\mathcal{P})
    • При p=1p = 1: в общем случае λ(1)(Q,P)≥π(Q,P)\lambda^{(1)}(Q,\mathcal{P}) \geq \pi(Q,\mathcal{P}), равенство имеет место тогда и только тогда, когда P\mathcal{P} является QQ-плоским
  3. Спектральная теорема пятиугольника Эрдёша: Для p≥1p \geq 1 и достаточно больших nn сбалансированный взрыв C5C_5 достигает максимального (p,C5)(p,C_5)-спектрального радиуса среди всех nn-вершинных графов без треугольников
  4. Спектральная теорема Ma-Qiu: Пусть FF — рёберно-критический граф с хроматическим числом l+1l+1. Тогда для p≥1p \geq 1 и достаточно больших nn граф Турана Tl(n)T_l(n) достигает максимального ss-клик pp-спектрального радиуса среди всех nn-вершинных FF-свободных графов

Технические результаты

  1. Характеризация QQ-плоскостности (Лемма 3.12): Наследственные и мультипликативные свойства являются QQ-плоскими
  2. Спектральная стабильность (Теорема 4.1): Предоставлены критерии идентификации экстремальных структур на основе минимальной QQ-степени
  3. Функциональные свойства:
    • λ(p)(Q,H)\lambda^{(p)}(Q,H) монотонно возрастает по pp и непрерывна
    • lim⁡p→∞λ(p)(Q,H)=s!N(Q,H)\lim_{p \to \infty} \lambda^{(p)}(Q,H) = s!N(Q,H)

Связанные работы

Основные направления исследований

  1. Классическая экстремальная теория:
    • Теорема Турана и её обобщения
    • Теорема Erdős-Stone-Simonovits
    • Обобщённые задачи Турана
  2. Спектральная экстремальная теория:
    • pp-спектральный радиус Keevash-Lenz-Mubayi
    • Спектральная теория гиперграфов Nikiforov
    • Предварительные исследования (p,Q)(p,Q)-спектрального радиуса Liu
  3. Специальные задачи:
    • Гипотеза пятиугольника Эрдёша
    • Экстремальные задачи для рёберно-критических графов
    • Теория спектральной стабильности

Связь данной работы с предыдущими исследованиями

  1. Обобщение результатов Nikiforov 17: Распространение с Q=KrrQ=K_r^r на общий случай QQ
  2. Улучшение результатов Liu 12: Предоставление более общей спектральной теоремы пятиугольника Эрдёша
  3. Расширение результатов Yu-Peng 21: Обобщение случая s=2s=2 на общий случай произвольного ss

Преимущества данной работы

  1. Полнота теории: Установление полной теоретической базы для (p,Q)(p,Q)-спектрального радиуса
  2. Единство методов: Использование единого подхода для решения различных экстремальных задач
  3. Общность результатов: Охват множества классических результатов как частных случаев

Заключение и обсуждение

Основные выводы

  1. Установлена полная теория (p,Q)(p,Q)-спектрального радиуса: Включая существование, непрерывность, связь с комбинаторной плотностью и другие фундаментальные свойства
  2. Решены несколько важных спектральных экстремальных задач: Включая спектральную задачу пятиугольника Эрдёша и спектральную теорему Ma-Qiu
  3. Разработаны эффективные аналитические инструменты: Теорема спектральной стабильности предоставляет новый метод для идентификации экстремальных структур

Ограничения

  1. Сложность случая p=1p=1: При p=1p=1 связь между спектральной и комбинаторной плотностью более сложная и требует дополнительного условия QQ-плоскостности
  2. Ограничения конкретных приложений: Некоторые результаты требуют "достаточно больших nn", конкретные пороги недостаточно точны
  3. Вычислительная сложность: Вычисление (p,Q)(p,Q)-спектрального радиуса в общем случае может быть затруднено

Направления будущих исследований

Статья предлагает несколько важных открытых вопросов:

  1. Гипотеза 5.1: Удаление условия роста (14) в теореме спектральной стабильности
  2. Вопрос 5.2: Нижние границы для минимальной компоненты главного собственного вектора
  3. Вопрос 5.3: Точное асимптотическое разложение (p,Q)(p,Q)-спектрального радиуса

Глубокая оценка

Достоинства

  1. Значительный теоретический вклад:
    • Установление полной теоретической базы для (p,Q)(p,Q)-спектрального радиуса
    • Объединение нескольких на первый взгляд различных экстремальных задач
    • Предоставление нового спектрального аналитического подхода к классическим комбинаторным задачам
  2. Передовые технические методы:
    • Искусное сочетание алгебраических и комбинаторных приёмов
    • Широкая применимость метода спектральной стабильности
    • Инновационность техник доказательства
  3. Глубокие и общие результаты:
    • Охват множества важных классических результатов
    • Решение некоторых давно открытых проблем
    • Создание основы для дальнейших исследований
  4. Ясное и правильное изложение:
    • Логичная структура и организация
    • Точные определения и подробные доказательства
    • Полный обзор связанных работ

Недостатки

  1. Вычислительная осуществимость:
    • Отсутствие эффективных алгоритмов для вычисления (p,Q)(p,Q)-спектрального радиуса
    • Ограниченное руководство для конкретных приложений
  2. Точность условий:
    • Фраза "достаточно большие nn" в некоторых результатах недостаточно конкретна
    • Оптимальность некоторых констант неизвестна
  3. Область приложений:
    • Сосредоточение преимущественно на теоретическом уровне
    • Недостаточная связь с практическими приложениями

Влияние

  1. Вклад в область:
    • Предоставление важной теоретической базы для спектральной теории гиперграфов
    • Продвижение развития экстремальной комбинаторики
    • Связь спектральной теории с классическими комбинаторными задачами
  2. Практическая ценность:
    • Предоставление новых инструментов для исследования связанных задач
    • Вдохновение новых направлений исследований и открытых вопросов
  3. Воспроизводимость:
    • Подробные и полные доказательства, легко поддающиеся проверке
    • Универсальная применимость теоретических результатов

Применимые области

  1. Теоретические исследования: Спектральная теория гиперграфов, экстремальная комбинаторика, алгебраическая теория графов
  2. Связанные приложения: Анализ сетей, теория кодирования, теория дизайнов
  3. Образовательные цели: Курсы продвинутой комбинаторики и спектральной теории графов

Библиография

Статья цитирует 21 важную работу, включая:

  1. Классическая экстремальная теория: Фундаментальные работы Bollobás, Katona-Nemetz-Simonovits, Turán и других
  2. Развитие спектральной теории: Пионерские работы Keevash-Lenz-Mubayi, Nikiforov и других
  3. Конкретные задачи: Исследования Grzesik, Hatami и других по задаче пятиугольника Эрдёша
  4. Последние достижения: Недавние работы Liu, Yu-Peng и других

Общая оценка: Это высокачественная теоретическая статья, вносящая значительный вклад в спектральную экстремальную теорию гиперграфов. Работа устанавливает полную теоретическую базу для (p,Q)(p,Q)-спектрального радиуса, решает несколько важных задач и создаёт прочную основу для дальнейшего развития этой области. Несмотря на возможность улучшений в области вычислительной осуществимости и конкретных приложений, её теоретическая ценность и академическое влияние являются значительными.