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) للفائقات

المعلومات الأساسية

  • معرّف الورقة: 2510.02776
  • العنوان: مسائل الحد الأقصى الطيفي لنصف القطر الطيفي (p,Q)(p,Q) للفائقات
  • المؤلفون: 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 للرسوم البيانية الحرجة من حيث الحافة.

الخلفية البحثية والدافع

  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) وحلت مسائل متعددة مهمة، مما وضع أساساً متيناً لمزيد من التطور في هذا المجال. على الرغم من وجود مجال للتحسين في الجدوى الحسابية والتطبيقات المحددة، فإن قيمتها النظرية وتأثيرها الأكاديمي واضحان.