DOI: https://doi.org/10.19086/aic.2026.2
تاريخ النشر: 2026-03-16
المؤلف: S.C. Goswami
الموضوع الرئيسي: الحدود والهياكل في نظرية الرسوم البيانية
نظرة عامة
تتناول هذه المقالة مشكلتين هامتين في نظرية رامزي تتعلقان بالأعداد الصحيحة. تُظهر أنه بالنسبة لأي تلوين محدود للأعداد الطبيعية، توجد أعداد صحيحة \( a \) و \( b \) بحيث تكون التكوين \( \{a, b, ab, a(b + 1)\} \) أحادي اللون. من خلال إعادة تعريف المتغيرات كـ \( a = x \) و \( ab = y \)، يتم تحويل التكوين إلى \( \{x, y, x + y, yx\} \).
تنتج النتائج عن اثنتين من الآثار المهمة: أولاً، تنفي فرضية قدمها ج. ساهسرا بودهي؛ ثانياً، توفر نسخة قسيمة من فرضية هيندمان القديمة، التي تفترض وجود مجموعة أحادية اللون من الشكل \( \{x, y, x + y, xy\} \). يعزز هذا العمل الفهم للتلوينات في نظرية رامزي ويساهم في النقاش الأوسع حول نظرية الأعداد التوافقية.
مقدمة
تناقش مقدمة هذه الورقة البحثية مجال نظرية رامزي الحسابية، التي تركز على وجود تكوينات أحادية اللون ضمن تلوينات محدودة للأعداد الطبيعية \( \mathbb{N} \). يُعرف التلوين بأنه تقسيم محدود غير متداخل لـ \( \mathbb{N} \)، وتكون المجموعة أحادية اللون إذا كانت موجودة بالكامل ضمن قسم واحد. يتم تقديم مفهوم انتظام التقسيم، حيث تعتبر مجموعة \( F \) من المجموعات الفرعية لـ \( \mathbb{N} \) منتظمة إذا، بالنسبة لأي تلوين محدود لـ \( \mathbb{N} \)، توجد عضو أحادي اللون في \( F \). يتم توفير سياق تاريخي، مع تسليط الضوء على نتائج مهمة مثل نظريات شور، التي أثبتت انتظام التقسيم للأنماط \( \{a, b, a + b\} \) و \( \{a, b, ab\} \).
تتناول الورقة السؤال القديم حول ما إذا كانت النمط المدمج \( \{a, b, a + b, ab\} \) منتظمًا أيضًا، وهي مشكلة تعرف بفرضية هيندمان. بينما أكدت الأعمال السابقة لجراهام وهيندمان ذلك لتلوينات ثنائية، تفترض فرضية هيندمان صحتها لجميع التلوينات المحدودة. يقدم المؤلفون تقدمًا كبيرًا من خلال دحض فرضية ذات صلة قدمها ساهسرا بودهي، موضحين أن كل تلوين محدود لـ \( \mathbb{N} \) يحتوي على التكوين \( \{a, b, ab, a(b + 1)\} \) في شكل أحادي اللون. لا تؤكد هذه النتيجة وجود مثل هذه التكوينات فحسب، بل تؤسس أيضًا نتيجة أقوى يمكن تفسيرها على أنها نسخة قسيمة من فرضية هيندمان، باستخدام تقنيات تعتمد على نظرية هيندمان وتطبيقات متكررة لحجة مورييرا التي تتضمن نظرية فان دير ووردن. تؤكد النظرية الرئيسية أنه بالنسبة لأي تلوين محدود لـ \( \mathbb{N} \)، توجد \( a, b \in \mathbb{N} \) بحيث تكون المجموعة \( \{a, b, ab, a(b + 1)\} \) أحادية اللون.
نقاش
في مناقشة إثبات النظرية 1، يؤسس المؤلفون تعريفات أساسية وليمات ضرورية لإثبات صحة النظرية. يعرفون مجموعة IP على أنها مجموعة فرعية من الأعداد الطبيعية يمكن توليدها من مجموعات محدودة من تسلسل، ويقدمون مفهوم مجموعات IP R، التي تقيدها عدد طبيعي R. يعتمد الإثبات على ثلاثة ليمات رئيسية: الأولى تؤكد أن أي تلوين محدود لمجموعة IP يحتوي على مجموعة فرعية أحادية اللون؛ والثانية تظهر أنه بالنسبة لأي مجموعة IP وعدد طبيعي y، توجد مجموعة فرعية تظل مجموعة IP تحت تحولات معينة؛ والثالثة تؤكد أنه بالنسبة لأي مجموعة IP، يمكن العثور على عنصر بحيث يشكل التقاطع المتحول أيضًا مجموعة IP.
يستخدم إثبات النظرية 1 هذه الليمات لبناء تسلسل من مجموعات IP من خلال تقسيم ملون محدود للأعداد الطبيعية. من خلال اختيار العناصر بشكل متكرر وتطبيق الليمات، يوضح المؤلفون أنه من الممكن العثور على مجموعة فرعية أحادية اللون ضمن المجموعات الملونة. تتوج العملية في تحديد مجموعة تحتوي على عناصر من الشكل $\{a, b, ab, a(b + 1)\}$ التي تكون جميعها ضمن نفس فئة اللون، مما يؤكد صحة النظرية. لا تؤكد هذه الطريقة المنظمة النظرية 1 فحسب، بل تعزز أيضًا الترابط بين المفاهيم والليمات المعرفة ضمن الإطار الأوسع لنظرية الأعداد التوافقية.
DOI: https://doi.org/10.19086/aic.2026.2
Publication Date: 2026-03-16
Author(s): S.C. Goswami
Primary Topic: Limits and Structures in Graph Theory
Overview
This article addresses two significant problems in Ramsey theory concerning the integers. It demonstrates that for any finite coloring of the natural numbers, there exist integers \( a \) and \( b \) such that the configuration \( \{a, b, ab, a(b + 1)\} \) is monochromatic. By redefining the variables as \( a = x \) and \( ab = y \), the configuration is transformed into \( \{x, y, x + y, yx\} \).
The findings yield two important implications: firstly, they refute a conjecture put forth by J. Sahasrabudhe; secondly, they provide a quotient version of the longstanding Hindman’s conjecture, which posits the existence of a monochromatic set of the form \( \{x, y, x + y, xy\} \). This work advances the understanding of colorings in Ramsey theory and contributes to the broader discourse on combinatorial number theory.
Introduction
The introduction of this research paper discusses the field of Arithmetic Ramsey theory, which focuses on the existence of monochromatic configurations within finite colorings of the natural numbers \( \mathbb{N} \). A coloring is defined as a finite disjoint partition of \( \mathbb{N} \), and a set is monochromatic if it resides entirely within one partition. The concept of partition regularity is introduced, where a collection \( F \) of subsets of \( \mathbb{N} \) is considered partition regular if, for any finite coloring of \( \mathbb{N} \), there exists a monochromatic member in \( F \). Historical context is provided, highlighting significant results such as Schur’s theorems, which established the partition regularity of the patterns \( \{a, b, a + b\} \) and \( \{a, b, ab\} \).
The paper addresses the longstanding question of whether the combined pattern \( \{a, b, a + b, ab\} \) is also partition regular, a problem known as the Hindman conjecture. While previous work by Graham and Hindman confirmed this for two-colorings, Hindman’s conjecture posits its validity for all finite colorings. The authors present a significant advancement by disproving a related conjecture by Sahasrabudhe, demonstrating that every finite coloring of \( \mathbb{N} \) contains the configuration \( \{a, b, ab, a(b + 1)\} \) in a monochromatic form. This result not only confirms the existence of such configurations but also establishes a stronger result that can be interpreted as a quotient version of the Hindman conjecture, utilizing techniques based on Hindman’s theorem and iterative applications of Moreira’s argument involving van der Waerden’s theorem. The main theorem asserts that for any finite coloring of \( \mathbb{N} \), there exist \( a, b \in \mathbb{N} \) such that the set \( \{a, b, ab, a(b + 1)\} \) is monochromatic.
Discussion
In the discussion of the proof for Theorem 1, the authors establish foundational definitions and lemmas essential for demonstrating the theorem’s validity. They define an IP set as a subset of natural numbers that can be generated by finite sums of a sequence, and introduce the concept of IP R sets, which are constrained by a natural number R. The proof relies on three key lemmas: the first asserts that any finite coloring of an IP set contains a monochromatic IP subset; the second shows that for any IP set and natural number y, there exists a subset that remains an IP set under specific transformations; and the third confirms that for any IP set, one can find an element such that the transformed intersection also forms an IP set.
The proof of Theorem 1 itself employs these lemmas to construct a sequence of IP sets through a finitely colored partition of natural numbers. By iteratively selecting elements and applying the lemmas, the authors demonstrate that it is possible to find a monochromatic subset within the colored sets. The process culminates in the identification of a set containing elements of the form $\{a, b, ab, a(b + 1)\}$ that are all contained within the same color class, thereby confirming the theorem’s assertion. This structured approach not only validates Theorem 1 but also reinforces the interconnectedness of the defined concepts and lemmas within the broader framework of combinatorial number theory.