2025-11-10T02:57:00.203621

The structure of sequences with zero-sum subsequences of the same length on finite abelian groups of rank two

Hui, Li
Let $G$ be an additive finite abelian group, and let $\mathrm{disc}(G)$ denote the smallest positive integer $t$ with the property that every sequence $S$ over $G$ with length $|S|\geq t $ contains two nonempty zero-sum subsequences of distinct lengths. In recent years, Gao et al. established the exact value of $\mathrm{disc}(G)$ for all finite abelian groups of rank $2$ and resolved the corresponding inverse problem for the group $C_n \oplus C_n$. In this paper, we characterize the structure of sequences $S$ over $G = C_n \oplus C_{nm}$ (where $m\geq 2$) when $|S| = \mathrm{disc}(G)- 1$ and all nonempty zero-sum subsequences of $S$ have the same length.
academic

بنية المتتاليات ذات المتتاليات الجزئية ذات المجموع الصفري بنفس الطول على مجموعات أبيلية منتهية من الرتبة الثانية

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

  • معرّف الورقة: 2510.14215
  • العنوان: بنية المتتاليات ذات المتتاليات الجزئية ذات المجموع الصفري بنفس الطول على مجموعات أبيلية منتهية من الرتبة الثانية
  • المؤلفون: Wanzhen Hui, Xue Li
  • التصنيف: math.CO (الرياضيات التوافقية)
  • تاريخ النشر: 16 أكتوبر 2025
  • رابط الورقة: https://arxiv.org/abs/2510.14215

الملخص

لتكن GG مجموعة أبيلية منتهية بالإضافة، و disc(G)\mathrm{disc}(G) تمثل أصغر عدد صحيح موجب tt بحيث أن كل متتالية SS بطول ∣S∣≥t|S| \geq t على GG تحتوي على متتاليتين جزئيتين غير فارغتين ذات مجموع صفري بأطوال مختلفة. في الآونة الأخيرة، حدد Gao وآخرون القيم الدقيقة لـ disc(G)\mathrm{disc}(G) لجميع مجموعات أبيلية منتهية من الرتبة الثانية، وحلوا المسألة العكسية المقابلة للمجموعة Cn⊕CnC_n \oplus C_n. تقدم هذه الورقة توصيفاً لبنية المتتالية SS على المجموعة G=Cn⊕CnmG = C_n \oplus C_{nm} (حيث m≥2m \geq 2)، عندما يكون ∣S∣=disc(G)−1|S| = \mathrm{disc}(G) - 1 وتمتلك جميع المتتاليات الجزئية غير الفارغة ذات المجموع الصفري نفس الطول.

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

خلفية المسألة

  1. تعميم حدسية Graham: في عام 1976، طرح Graham حدسية حول المتتاليات على المجموعات الدورية CpC_p، والتي أثبتها لاحقاً Erdős-Szemerédi و Gao-Hamidoune-Wang وآخرون. وقد ألهمت هذه النتائج دراسة مسائل المجموع الصفري على مجموعات أبيلية منتهية أكثر عمومية.
  2. دراسة ثابت التمييز disc(G): في عام 2012، قدم B. Girard ثابت التمييز disc(G)\mathrm{disc}(G)، المعرّف كأصغر عدد صحيح موجب tt بحيث أن كل متتالية بطول لا يقل عن tt على GG تحتوي على متتاليتين جزئيتين غير فارغتين ذات مجموع صفري بأطوال مختلفة.
  3. أهمية المسائل العكسية: يعتبر فهم بنية المتتاليات القصوى ذا أهمية حاسمة للفهم العميق لطبيعة مسائل المجموع الصفري.

الدافع البحثي

  1. ملء الفجوات النظرية: على الرغم من تحديد قيم disc(G)\mathrm{disc}(G)، إلا أن دراسة بنية المتتاليات بطول disc(G)−1\mathrm{disc}(G) - 1 حيث جميع المتتاليات الجزئية ذات المجموع الصفري متساوية الطول لا تزال غير كافية.
  2. توسيع نطاق التطبيق: تقتصر النتائج الموجودة بشكل أساسي على بنى مجموعات محددة (مثل Cn⊕CnC_n \oplus C_n)، مما يتطلب تعميماً على مجموعات رتبة ثانية أكثر عمومية.
  3. الابتكار المنهجي: يتطلب تطوير تقنيات جديدة لتوصيف المتتاليات القصوى على بنى مجموعات أكثر تعقيداً.

المساهمات الأساسية

  1. توصيف كامل لبنية المتتاليات القصوى على المجموعة Cn⊕CnmC_n \oplus C_{nm}: توفير تصنيف شامل لجميع أشكال المتتاليات الممكنة.
  2. تطوير تقنيات تحليلية جديدة: من خلال دمج نظرية ثابت Davenport وخصائص المتتاليات الخالية من المجموع الصفري، تم إنشاء إطار عمل تحليلي فعال.
  3. تعميم النظرية الموجودة: توسيع النتائج السابقة التي كانت تنطبق فقط على Cn⊕CnC_n \oplus C_n إلى المجموعة الأكثر عمومية Cn⊕CnmC_n \oplus C_{nm}.
  4. توفير خمس أشكال معيارية: تعداد شامل لجميع بنى المتتاليات القصوى الممكنة.

شرح تفصيلي للطريقة

تعريف المهمة

الإدخال: متتالية SS بطول disc(G)−1\mathrm{disc}(G) - 1 على المجموعة G=Cn⊕CnmG = C_n \oplus C_{nm} (حيث n,m≥2n, m \geq 2) القيود: جميع المتتاليات الجزئية غير الفارغة ذات المجموع الصفري في SS لها نفس الطول الإخراج: تصنيف بنية SS

إطار العمل التقني الأساسي

1. أدوات النظرية الأساسية

  • ثابت Davenport: D(Cn⊕Cnm)=n+nm−1D(C_n \oplus C_{nm}) = n + nm - 1
  • ثابت التمييز: disc(G)=D(G)+exp⁡(G)=n+2nm−1\mathrm{disc}(G) = D(G) + \exp(G) = n + 2nm - 1
  • طول المتتاليات الجزئية ذات المجموع الصفري: بموجب اللمة 2.3، طول جميع المتتاليات الجزئية ذات المجموع الصفري هو exp⁡(G)=nm\exp(G) = nm

2. اللمات الرئيسية

اللمة 3.1: لتكن SS متتالية بطول disc(G)−1\mathrm{disc}(G) - 1 حيث جميع المتتاليات الجزئية ذات المجموع الصفري متساوية الطول، و TT متتالية جزئية ذات مجموع صفري من SS، عندئذ: supp(T)∩Σ≥2(ST−1)=∅\mathrm{supp}(T) \cap \Sigma_{\geq 2}(ST^{-1}) = \emptyset

تضمن هذه اللمة أن دعم المتتالية الجزئية ذات المجموع الصفري لا يتقاطع مع المجاميع الجزئية المتعددة للمتتالية المتبقية.

3. استراتيجية التحليل

  1. تحليل المتتالية: تقسيم المتتالية SS إلى جزء ذي مجموع صفري TT وجزء خالٍ من المجموع الصفري ST−1ST^{-1}
  2. تحليل المتتاليات الجزئية الدنيا ذات المجموع الصفري: استخدام اللمة 2.5 لتصنيف ST−1(−σ(ST−1))ST^{-1}(-\sigma(ST^{-1}))
  3. تحليل الحالات: إجراء مناقشة تفصيلية للحالات بناءً على اختيارات مجموعات التوليد المختلفة

النظرية الرئيسية

النظرية 1.1: لتكن G=Cn⊕CnmG = C_n \oplus C_{nm} (حيث n,m≥2n, m \geq 2)، و SS متتالية على GG بطول disc(G)−1\mathrm{disc}(G) - 1 حيث جميع المتتاليات الجزئية ذات المجموع الصفري متساوية الطول، عندئذ توجد مجموعة توليد {g1,g2}\{g_1, g_2\} بحيث أن SS لها أحد الأشكال التالية:

  1. S=g2nm−1∏i=1n−1(xig2+g1)S = g_2^{nm-1} \prod_{i=1}^{n-1}(x_i g_2 + g_1)، حيث ord(g1)=n\mathrm{ord}(g_1) = n، xi∈[0,nm−1]x_i \in [0, nm-1]
  2. S=g1n−2g2nm−1(−(n−1)g1+g2)S = g_1^{n-2} g_2^{nm-1}(-(n-1)g_1 + g_2)
  3. S=g1n−1g2nm−1S = g_1^{n-1} g_2^{nm-1}
  4. S=g12nm−1∏i=1n−1(−yig1+g2)S = g_1^{2nm-1} \prod_{i=1}^{n-1}(-y_i g_1 + g_2)، حيث ord(g1)=nm\mathrm{ord}(g_1) = nm، ∑yi∈[0,n−1]\sum y_i \in [0, n-1]
  5. S=g1sn+tn−1g22nm+n(1−s)−tn−1S = g_1^{sn+tn-1} g_2^{2nm+n(1-s)-tn-1}، حيث ord(g1)=nm\mathrm{ord}(g_1) = nm، s∈[1,m]s \in [1,m]، t∈[0,m]t \in [0,m]

خط سير الإثبات

الخطوات الرئيسية للإثبات

  1. إنشاء العلاقات البارامترية الأساسية:
    • طول المتتالية: ∣S∣=n+2nm−2|S| = n + 2nm - 2
    • طول المتتالية الجزئية ذات المجموع الصفري: nmnm
    • طول الجزء الخالي من المجموع الصفري: ∣ST−1∣=n+nm−2|ST^{-1}| = n + nm - 2
  2. الاستفادة من خصائص المتتاليات الخالية من المجموع الصفري:
    • ST−1ST^{-1} خالية من المجموع الصفري
    • Σ(ST−1)=G∖{0}\Sigma(ST^{-1}) = G \setminus \{0\}
    • ST−1(−σ(ST−1))ST^{-1}(-\sigma(ST^{-1})) متتالية دنيا ذات مجموع صفري
  3. تصنيف النقاش: بموجب اللمة 2.5، تقسيم ST−1(−σ(ST−1))ST^{-1}(-\sigma(ST^{-1})) إلى أربع فئات رئيسية:
    • الحالة 1-2: شكلان بناءً على الأساس {e1,e2}\{e_1, e_2\}
    • الحالة 3: مجموعة التوليد تحقق ng1≠ng2ng_1 \neq ng_2
    • الحالة 4: مجموعة التوليد تحقق ng1=ng2ng_1 = ng_2
  4. تحليل دقيق للحالات الجزئية: يتم تقسيم كل حالة رئيسية بشكل أكبر، مع استخدام اللمة 3.1 لاستبعاد الحالات المتناقضة

نقاط الابتكار التقني

  1. تقنية انتشار القيود الجديدة: تؤسس اللمة 3.1 علاقة قيود قوية بين المتتاليات الجزئية ذات المجموع الصفري والمتتالية المتبقية
  2. إطار عمل منهجي لتحليل الحالات: إجراء مناقشة تصنيفية شاملة من خلال خصائص مجموعات توليد المجموعة
  3. التحكم الدقيق بالمعاملات: استخدام رتبة المجموعة والأس للتحكم الدقيق بطول المتتالية والبنية

الأعمال ذات الصلة

التطور التاريخي

  1. حدسية Graham (1976): موجهة في الأصل نحو المجموعات الدورية من الرتبة الأولية
  2. نتائج Erdős-Szemerédi (1976): إثبات الحالات ذات الأعداد الأولية الكبيرة
  3. Gao-Hamidoune-Wang (2010): إثبات كامل لحدسية Graham
  4. Girard (2012): إدخال مفهوم ثابت التمييز

التطورات الحديثة

  1. Gao وآخرون (2020): تحديد قيم disc(G)\mathrm{disc}(G) للمجموعات ذات الرتبة ≤ 2
  2. Li-Yin (2024): التوسع إلى بعض المجموعات من الرتبة 3
  3. هذه الورقة: إكمال توصيف البنية لـ Cn⊕CnmC_n \oplus C_{nm}

الخلاصة والمناقشة

الاستنتاجات الرئيسية

تحل الورقة بشكل كامل مسألة بنية المتتاليات القصوى على المجموعة Cn⊕CnmC_n \oplus C_{nm}، وتوفر خمس أشكال معيارية ممكنة، لكل منها قيود معاملات واضحة وتفسير هندسي.

الأهمية النظرية

  1. تحسين نظرية المجموعات من الرتبة الثانية: تشكيل نظام متكامل مع النتائج الموجودة لـ Cn⊕CnC_n \oplus C_n
  2. المساهمة المنهجية: تطوير تقنيات يمكن تعميمها على بنى مجموعات أخرى
  3. تعميق فهم مسائل المجموع الصفري: الكشف عن القوانين الهيكلية الداخلية للمتتاليات القصوى

القيود

  1. قيود بنية المجموعة: ينطبق فقط على أشكال محددة من المجموعات من الرتبة الثانية
  2. قيود المعاملات: يتطلب m≥2m \geq 2، مما يستبعد حالة m=1m = 1
  3. التعقيد الحسابي: يتطلب التحقق في بعض الحالات تحليل حالات معقد

الاتجاهات المستقبلية

  1. التعميم على المجموعات ذات الرتب الأعلى: توسيع الطريقة إلى المجموعات ذات الرتبة ≥ 3
  2. التنفيذ الخوارزمي: تطوير خوارزميات فعالة للحكم على نوع بنية متتالية معينة
  3. استكشاف التطبيقات: تطبيق النتائج في نظرية الترميز والتشفير

التقييم المتعمق

المميزات

  1. الاكتمال النظري: توفير تصنيف بنية شامل بدون حذف
  2. صرامة الإثبات: تحليل حالات شامل ومنطق واضح
  3. الابتكار التقني: تتمتع اللمات الرئيسية مثل اللمة 3.1 بأصالة عالية
  4. وضوح التعبير: التعبير الرياضي دقيق والبنية الهرمية واضحة

أوجه القصور

  1. طول الإثبات: يجعل تحليل الحالات الكثير من عملية الإثبات مرهقة
  2. نقص الحدس الهندسي: يفتقر إلى التفسيرات الهندسية أو التوافقية للنتائج
  3. التحقق الحسابي المحدود: لم يتم توفير أمثلة عددية محددة للتحقق

التأثير

  1. المساهمة النظرية: توفير نتائج هيكلية مهمة لنظرية متتاليات المجموع الصفري
  2. قيمة الطريقة: يمكن تطبيق التقنيات المطورة على مسائل ذات صلة
  3. قيمة الاكتمال: ملء فجوة نظرية مهمة في هذا المجال

السيناريوهات المعمول بها

  1. البحث النظري: دراسة مسائل المجموع الصفري والرياضيات التوافقية الإضافية
  2. نظرية الترميز: تطبيقات في تصميم أكواد تصحيح الأخطاء
  3. التطبيقات النظرية للأعداد: مسائل ذات صلة بثابت Davenport

المراجع

تستشهد الورقة بالأدبيات المهمة في هذا المجال، بما في ذلك:

  • الأعمال الكلاسيكية لـ Erdős-Szemerédi
  • سلسلة الأبحاث لـ Gao وآخرين حول ثابت التمييز
  • مؤلفات Geroldinger-Halter-Koch
  • أحدث التطورات ذات الصلة

الملخص: هذه ورقة رياضية نظرية عالية الجودة تحل بشكل كامل مسألة هيكلية مهمة، مع طريقة صارمة ونتائج شاملة، مما يساهم بشكل جوهري في نظرية متتاليات المجموع الصفري.