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

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

基本信息

  • 论文ID: 2510.02776
  • 标题: Spectral extremal problems for the (p,Q)(p,Q)-spectral radius of hypergraphs
  • 作者: Jian Zheng, Honghai Li, Li Su (江西师范大学数学与统计学院)
  • 分类: math.CO (组合数学)
  • 发表时间: 2025年10月13日 (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})的存在性，并在p>1p>1时建立了π(Q,P)=λ(p)(Q,P)\pi(Q,\mathcal{P})=\lambda^{(p)}(Q,\mathcal{P})；(2) 建立了谱稳定性结果并应用于Erdős五角形问题的谱版本；(3) 证明了对于边临界图FF，Turán图达到最大ss-团pp-谱半径。

研究背景与动机

  1. 要解决的问题：本文研究超图中(p,Q)(p,Q)-谱半径的极值问题，这是经典Turán问题的谱推广。具体包括确定(p,Q)(p,Q)-谱密度的存在性、与QQ-密度的关系，以及在禁用子图条件下的谱极值问题。
  2. 问题重要性：
    • 谱极值理论是组合数学的核心研究领域，连接了代数和组合结构
    • (p,Q)(p,Q)-谱半径推广了Keevash-Lenz-Mubayi引入的pp-谱半径概念
    • 为经典极值问题提供了新的谱角度分析工具
  3. 现有方法局限性：
    • 之前的研究主要集中在特定情况（如Q=KrrQ=K_r^r）
    • 缺乏对一般(p,Q)(p,Q)-谱半径的系统理论
    • 对于谱密度与组合密度关系的理解不够深入
  4. 研究动机：建立(p,Q)(p,Q)-谱半径的完整理论框架，解决谱广义Turán问题，并将经典结果推广到谱设定。

核心贡献

  1. 建立了(p,Q)(p,Q)-谱密度理论：证明了λ(p)(Q,P)\lambda^{(p)}(Q,\mathcal{P})的存在性，并在p>1p>1时建立了与QQ-密度的等价关系
  2. 发展了QQ-平坦性质理论：引入并刻画了遗传且乘法性质的QQ-平坦条件
  3. 建立了谱稳定性定理：提供了识别极值超图结构的谱判别准则
  4. 解决了谱Erdős五角形问题：证明C5C_5的平衡爆炸图在所有无三角图中达到最大(p,C5)(p,C_5)-谱半径
  5. 推广了Ma-Qiu定理的谱版本：证明Turán图在边临界图禁用条件下达到最大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}-free超图族）

核心概念和定义

  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. Erdős五角形问题（定理4.8）
  3. 边临界图的谱Turán问题（定理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. 谱Erdős五角形定理： 对于p≥1p \geq 1和足够大的nn，C5C_5的平衡爆炸图LnL_n在所有nn-顶点无三角图中达到最大(p,C5)(p,C_5)-谱半径
  4. 谱Ma-Qiu定理： 设FF是色数为l+1l+1的边临界图，则对p≥1p \geq 1和足够大的nn，Turán图Tl(n)T_l(n)在所有nn-顶点FF-free图中达到最大ss-团pp-谱半径

技术结果

  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. 经典极值理论：
    • Turán定理及其推广
    • Erdős-Stone-Simonovits定理
    • 广义Turán问题
  2. 谱极值理论：
    • Keevash-Lenz-Mubayi的pp-谱半径
    • Nikiforov的超图谱理论
    • Liu的(p,Q)(p,Q)-谱半径初步研究
  3. 特殊问题：
    • Erdős五角形猜想
    • 边临界图的极值问题
    • 谱稳定性理论

本文与相关工作的关系

  1. 推广了Nikiforov 17的结果：从Q=KrrQ=K_r^r推广到一般的QQ
  2. 改进了Liu 12的结果：提供了更一般的谱Erdős五角形定理
  3. 扩展了Yu-Peng 21的结果：将s=2s=2的情况推广到一般的ss

本文优势

  1. 理论完整性：建立了(p,Q)(p,Q)-谱半径的完整理论框架
  2. 方法统一性：用统一的方法处理不同的极值问题
  3. 结果一般性：涵盖了多个经典结果作为特例

结论与讨论

主要结论

  1. 建立了(p,Q)(p,Q)-谱半径的完整理论：包括存在性、连续性、与组合密度的关系等基本性质
  2. 解决了多个重要的谱极值问题：包括谱Erdős五角形问题和谱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等关于Erdős五角形问题的研究
  4. 最新进展：Liu, Yu-Peng等的近期工作

总评：这是一篇高质量的理论论文，在超图谱极值理论方面做出了重要贡献。论文建立了完整的(p,Q)(p,Q)-谱半径理论框架，解决了多个重要问题，为该领域的进一步发展奠定了坚实基础。尽管在计算可行性和具体应用方面还有改进空间，但其理论价值和学术影响力是显著的。