Furstenberg systems of certain sequences of superpolynomial growth
Moragues, Koutsogiannis
We give examples of sequences defined by smooth functions of intermediate growth, and we study the Furstenberg systems that model their statistical behavior. In particular, we show that the systems are Bernoulli. We do so by studying exponential sums that reflect the strong equidistribution properties of said sequences. As a by-product of our approach, we also get some convergence results.
academic
أنظمة فورستنبرج لسلاسل معينة ذات نمو فوق متعدد الحدود
تدرس هذه الورقة السلاسل المعرّفة بواسطة دوال ملساء ذات نمو متوسط، وتحلل أنظمة فورستنبرج التي تمثل السلوك الإحصائي لها. وبشكل خاص، يتم إثبات أن هذه الأنظمة هي أنظمة برنولي. يتم تحقيق ذلك من خلال دراسة المجاميع الأسية التي تعكس خصائص التوزيع المتساوي القوي للسلاسل. كمنتج ثانوي للطريقة، يتم الحصول على بعض نتائج التقارب أيضاً.
تطبيق مبدأ المراسلة لفورستنبرج: قدّم فورستنبرج مبدأ المراسلة عند إثباته لنظرية سزيميريدي، مما فتح طريقة جديدة لدراسة مسائل التوافقيات باستخدام النظرية الإرغودية، وحول مشكلة البحث عن أنماط في مجموعات فرعية كبيرة إلى خصائص الرجوع على الأنظمة التي تحافظ على القياس.
النمذجة الديناميكية للخصائص الإحصائية للسلاسل: يمكن دراسة الخصائص الإحصائية للسلاسل المحدودة a:N→C من خلال نماذج ديناميكية مناسبة، تُسمى أنظمة فورستنبرج.
قيود البحث الحالي:
يركز عمل فرانتزيكيناكيس وآخرين بشكل أساسي على السلاسل ذات معدل النمو متعدد الحدود
بالنسبة للسلاسل ذات النمو المتوسط (فوق متعدد الحدود لكن دون الأسي)، لا تنطبق الطرق التقليدية مثل تقنية فان دير كوربوت
دراسة السلاسل ذات النمو المتوسط لا تزال مسألة مفتوحة على نطاق واسع
تركز هذه الورقة على السلاسل من الشكل (nlogcn)n و (α⌊nlogcn⌋)n (حيث 0<c<1/2، α∈R∖Z)، وهذه السلاسل تتمتع بخاصية النمو المتوسط: تنمو بشكل أسرع من أي متعدد حدود لكن أبطأ من الدالة الأسية.
وفقاً للنتيجة الطبيعية 2.4، تمتلك السلسلة نظام فورستنبرج برنولي فريد إذا وفقط إذا:
limN→∞En∈[N]aε1(n+h1)⋯aεr(n+hr)=0
لجميع r∈N، و h1,…,hr∈Z المختلفة، وجميع (ε1,…,εr)∈Zr∖{0}.
تقدير الحد الأدنى (الاقتراح 3.5):
من خلال تحليل عوامل الفروق المحدودة، يتم إنشاء حد أدنى من الشكل
s!F(s)(x)≥d⋅xs+τG(x)
لـ F(s)(x)، حيث الثوابت d,τ تعتمد فقط على المعاملات ومعاملات الإزاحة.
تقدير الحد الأعلى (الليما 3.13):
باستخدام صيغة كوشي للتكامل ونظرية الدوال التحليلية، يتم الحصول على
s!F(s)(x)≤C(N2)sG(3N)
طريقة جديدة للتعامل مع النمو المتوسط: تفشل تقنيات فان دير كوربوت التقليدية للنمو فوق متعدد الحدود، وتطور هذه الورقة تقنية جديدة تعتمد على ليما كاراتسوبا.
تحليل دقيق للمشتقات: من خلال تحويل مشكلة مشتقات التركيب الخطي باستخدام عوامل الفروق المحدودة إلى شكل أكثر قابلية للمعالجة، وإنشاء تقديرات موحدة للحدود العليا والدنيا.
إثبات "الجودة": إثبات خاصية التوزيع المتساوي القوي لسلاسل الإزاحة، وهي أقوى من مفهوم التوزيع المتساوي المعتاد.
النظرية 1.1 (توصيف نظام فورستنبرج):
بالنسبة لـ 0<c<1/2، السلاسل a(n):=e(G(n)) و b(n):=e(α⌊G(n)⌋) (حيث α∈R∖Z) تمتلك نظام فورستنبرج برنولي فريد.
النظرية 1.3 (خصائص التوزيع المتساوي):
السلاسل ((G(n+h1),…,G(n+hr)))n و ((α⌊G(n+h1)⌋,…,α⌊G(n+hr)⌋))n موزعة بشكل متساوٍ على Tr والفضاءات المقابلة على التوالي.
النظرية 1.4 (خاصية الجودة):
السلسلة ((G(n+h1),…,G(n+hr)))n هي "جيدة"، أي أن أي تركيب خطي غير تافه لها خاصية توزيع متساوٍ قوي.
النتيجة الطبيعية 1.2 (تطبيق الديناميكا الطوبولوجية):
بالنسبة لنظام ديناميكي طوبولوجي (X,T) ذي إنتروبيا طوبولوجية صفرية، يوجد تعامد مقارب:
limN→∞En∈[N]a(n)f(Tnx)=0
النظرية 1.5 (نتيجة من نوع فون نيومان):
بالنسبة لنظام تحويلات تحافظ على القياس والتبادلية، يوجد تقارب في L2:
limN→∞En∈[N]T1⌊G(n+h1)⌋⋯Tr⌊G(n+hr)⌋f−Pf2=0
تستشهد الورقة بـ 22 مرجعاً ذا صلة، تتضمن بشكل أساسي:
الأعمال الرائدة لفورستنبرج 12,13
أبحاث فرانتزيكيناكيس حول سلاسل مجال هاردي 7,8
تقنيات تقدير المجاميع الأسية لكاراتسوبا 17
النظرية الأساسية لنظام فورستنبرج لبيرجيلسون وآخرين 1,2
التقييم الإجمالي: هذه ورقة رياضية نظرية عالية الجودة، تقدم مساهمات مهمة في مجال التقاطع بين الأنظمة الديناميكية ونظرية الأعداد. على الرغم من أن الطبيعة التقنية قوية، إلا أنها توفر رؤى عميقة لفهم الخصائص الإحصائية للسلاسل ذات النمو المتوسط، وتتمتع بقيمة نظرية مهمة.