2025-11-25T09:22:17.788960

Hausdorff dimension OF dynamical Dophantine approximation associated with ergodic mixing systems

Daviaud
In this article, we estimate the Hausdorff dimension of dynamical coverings with respect to mixing ergodic systems. More precisely, if the ergodic measure is exact-dimensionnal, we establish a formula provided that the system is polynomially fast mixing and if the measure is not exact-dimensionnal, we establish a similar result under super-polynomial speed of mix assumpetion. As an application of our result, we extend the result of Fan-Shmeling-Troubetzkoy for the doubling map on the circle to the case of the times 2, times 3 map on the two dimensional torus.
academic

गतिशील डायोफेंटाइन सन्निकटन का हॉसडॉर्फ आयाम एर्गोडिक मिश्रण प्रणालियों से संबंधित

मूल जानकारी

  • पेपर ID: 2502.13051
  • शीर्षक: गतिशील डायोफेंटाइन सन्निकटन का हॉसडॉर्फ आयाम एर्गोडिक मिश्रण प्रणालियों से संबंधित
  • लेखक: E. Daviaud (लीज विश्वविद्यालय)
  • वर्गीकरण: math.DS (गतिशील प्रणालियाँ), math.MG (मीट्रिक ज्यामिति)
  • प्रकाशन समय: फरवरी 2025 (arXiv प्रीप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2502.13051

सारांश

यह पेपर एर्गोडिक मिश्रण प्रणालियों से संबंधित गतिशील डायोफेंटाइन सन्निकटन के हॉसडॉर्फ आयाम का अध्ययन करता है। विशेष रूप से, जब एर्गोडिक माप सटीक आयाम का हो तो बहुपद तेजी से मिश्रण करने वाली प्रणालियों के तहत एक सूत्र स्थापित किया जाता है; जब माप सटीक आयाम का न हो तो अतिबहुपद मिश्रण गति की धारणा के तहत समान परिणाम स्थापित किए जाते हैं। अनुप्रयोग के रूप में, यह पेपर वृत्त पर द्विगुणन मानचित्र पर Fan-Schmeling-Troubetzkoy के परिणामों को द्विविमीय टोरस पर (×2,×3) मानचित्र के मामले में सामान्यीकृत करता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. शास्त्रीय डायोफेंटाइन सन्निकटन समस्या: दिए गए अनुक्रम (xn)n∈N⊂Rd(x_n)_{n\in\mathbb{N}} \subset \mathbb{R}^d के लिए, उन बिंदुओं के समुच्चय का आयाम अध्ययन करना जो दिए गए गति से इस अनुक्रम द्वारा सन्निकटित हो सकते हैं, डायोफेंटाइन सन्निकटन, गतिशील प्रणालियों और बहुभिन्न विश्लेषण में एक मूल समस्या है।
  2. ऐतिहासिक विकास:
    • Dirichlet और Khintchine ने सबसे पहले परिमेय संख्या सन्निकटन समुच्चय Eψ={x∈[0,1]:∣x−pq∣≤ψ(q) i.o.}E_\psi = \{x \in [0,1] : |x-\frac{p}{q}| \leq \psi(q) \text{ i.o.}\} के हॉसडॉर्फ आयाम का अध्ययन किया
    • Beresnevich-Velani ने सिद्ध किया कि dim⁡HEψ\dim_H E_\psi का अनुमान Duffin-Schaeffer अनुमान के समतुल्य है
    • Koukoulopoulos-Maynard ने हाल ही में इस अनुमान को सिद्ध किया, dim⁡HEψ=min⁡{1,sψ}\dim_H E_\psi = \min\{1, s_\psi\} को स्थापित किया
  3. गतिशील प्रणालियों में समान समस्याएं: कक्षा (Tn(x))n∈N(T^n(x))_{n\in\mathbb{N}} द्वारा दिए गए बिंदु को सन्निकटित करने के आयाम की समस्या का अध्ययन, जहाँ:
    • Fan-Schmeling-Troubetzkoy ने वृत्त पर विस्तारक Markov मानचित्रों के मामले का अध्ययन किया
    • Liao-Seuret ने परिणामों को अधिक सामान्य Gibbs मापों तक विस्तारित किया
    • Persson ने घातीय मिश्रण प्रणालियों का अध्ययन किया

अनुसंधान की प्रेरणा

  1. सैद्धांतिक पूर्णता: Persson का अनुमान है कि गतिशील प्रणालियों के मामले में हॉसडॉर्फ आयाम यादृच्छिक सन्निकटन के मामले के समान होना चाहिए
  2. तकनीकी सफलता: मौजूदा परिणाम मुख्य रूप से अनुरूपता पर निर्भर करते हैं, यह पेपर गैर-अनुरूप मामले को संभालने का लक्ष्य रखता है
  3. अनुप्रयोग विस्तार: एक-विमीय परिणामों को उच्च-विमीय Bedford-McMullen कालीनों पर स्व-समान मापों तक विस्तारित करना

मूल योगदान

  1. Σ-मिश्रण प्रणालियों के लिए संपूर्ण सिद्धांत स्थापित किया: सटीक आयाम मापों के लिए, Σ-मिश्रण शर्तों के तहत गतिशील सन्निकटन समुच्चयों के हॉसडॉर्फ आयाम के लिए सटीक सूत्र दिया गया
  2. अतिबहुपद मिश्रण मामले के लिए आयाम सूत्र सिद्ध किया: δ≥1dim⁡Hμ\delta \geq \frac{1}{\dim_H \mu} के लिए, सिद्ध किया गया कि dim⁡H{y:∥Tn(x)−y∥∞≤1nδ i.o.}=1δ\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}
  3. Fan-Schmeling-Troubetzkoy परिणामों को सामान्यीकृत किया: वृत्त पर ×2 मानचित्र के परिणामों को टोरस पर (×2,×3) मानचित्र तक विस्तारित किया
  4. इष्टतमता परिणाम प्रदान किए: प्रतिउदाहरण बनाए जो अतिबहुपद मिश्रण शर्तों की आवश्यकता को दर्शाते हैं
  5. परिमित माप के लिए द्रव्यमान स्थानांतरण सिद्धांत विकसित किया: गैर-Ahlfors नियमित मापों के लिए लागू तकनीकी उपकरण स्थापित किए

विधि विवरण

कार्य परिभाषा

गतिशील सन्निकटन समुच्चय के हॉसडॉर्फ आयाम का अध्ययन: E(x,r)={y:∥y−Tn(x)∥∞≤rn i.o.}E(x,r) = \{y : \|y - T^n(x)\|_\infty \leq r_n \text{ i.o.}\} जहाँ (rn)n∈N(r_n)_{n\in\mathbb{N}} घटते हुए त्रिज्या अनुक्रम हैं।

मूल तकनीकी ढांचा

1. मिश्रण गुणों की परिभाषा

परिभाषा 2.4: मान लीजिए (T,μ)(T,\mu) Rd\mathbb{R}^d पर एक एर्गोडिक प्रणाली है, φ:N→R+\varphi: \mathbb{N} \to \mathbb{R}_+ एक गैर-बढ़ता हुआ फलन है। (T,μ)(T,\mu) को (C1,C2,γ)(C_1, C_2, \gamma) के संबंध में φ\varphi-मिश्रण कहा जाता है, यदि A∈C1A \in C_1 और B∈C2B \in C_2 के लिए: μ(A∩T−n(B))≤γμ(A)×μ(B)+φ(n)μ(B)\mu(A \cap T^{-n}(B)) \leq \gamma\mu(A) \times \mu(B) + \varphi(n)\mu(B)

जब ∑n≥1φ(n)<+∞\sum_{n\geq 1} \varphi(n) < +\infty हो तो इसे Σ-मिश्रण कहा जाता है।

2. मुख्य प्रमेय का कथन

प्रमेय 3.2 (Σ-मिश्रण मामला): मान लीजिए (T,μ)(T,\mu) एक Σ-मिश्रण एर्गोडिक प्रणाली है, μ\mu सटीक आयाम का है। गैर-बढ़ते अनुक्रम r=(rn)n∈Nr = (r_n)_{n\in\mathbb{N}} के लिए जो संतुष्ट करता है sr:=inf⁡{s:∑n≥1rns<+∞}≤dim⁡μs_r := \inf\{s : \sum_{n\geq 1} r_n^s < +\infty\} \leq \dim \mu तो μ\mu-लगभग हर xx के लिए, dim⁡HE(x,r)=sr\dim_H E(x,r) = s_r।

प्रमेय 3.4 (अतिबहुपद मिश्रण मामला): मान लीजिए (T,μ)(T,\mu) एक अतिबहुपद मिश्रण एर्गोडिक प्रणाली है, dim⁡Hμ>0\dim_H \mu > 0। प्रत्येक δ≥1dim⁡Hμ\delta \geq \frac{1}{\dim_H \mu} के लिए, μ\mu-लगभग हर xx के लिए: dim⁡H{y:∥Tn(x)−y∥∞≤1nδ i.o.}=1δ\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}

तकनीकी नवाचार बिंदु

1. गतिशील Borel-Cantelli लेम्मा

लेम्मा 6.5: Σ-मिश्रण प्रणालियों के तहत गतिशील संस्करण Borel-Cantelli लेम्मा स्थापित किया, सिद्ध किया कि: ∑n≥1μ(B(y,ℓn))=+∞⇔μ(lim sup⁡n→∞T−n(B(y,ℓn)))=1\sum_{n\geq 1} \mu(B(y,\ell_n)) = +\infty \Leftrightarrow \mu(\limsup_{n\to\infty} T^{-n}(B(y,\ell_n))) = 1

2. हिट समय का सटीक अनुमान

प्रस्ताव 2.2: Σ-मिश्रण प्रणालियों के लिए, हिट समय τr(x,y)\tau_r(x,y) को संतुष्ट करने वाला सिद्ध किया: lim⁡r→0+log⁡τr(x,y)log⁡μ(B(y,r))=1\lim_{r\to 0^+} \frac{\log \tau_r(x,y)}{\log \mu(B(y,r))} = 1

3. परिमित माप द्रव्यमान स्थानांतरण सिद्धांत

प्रमेय 6.1: शास्त्रीय द्रव्यमान स्थानांतरण सिद्धांत को परिमित माप मामले तक सामान्यीकृत किया, μ\mu-आवश्यक हॉसडॉर्फ सामग्री का उपयोग करते हुए: Hμ,s∞(A)=inf⁡{Hs∞(E):E⊂A,μ(E)=μ(A)}H_{\mu,s}^\infty(A) = \inf\{H_s^\infty(E) : E \subset A, \mu(E) = \mu(A)\}

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन

यह पेपर मुख्य रूप से सैद्धांतिक कार्य है, निम्नलिखित तरीकों से परिणामों को सत्यापित किया जाता है:

  1. ज्ञात परिणामों के साथ तुलना: विशेष मामलों में Fan-Schmeling-Troubetzkoy आदि के परिणामों को पुनः प्राप्त करना
  2. इष्टतमता निर्माण: संलग्न पेपर में प्रतिउदाहरण बनाए जो मिश्रण शर्तों की आवश्यकता को दर्शाते हैं
  3. अनुप्रयोग उदाहरण: परिणामों को महत्वपूर्ण ज्यामितीय उदाहरणों (Bedford-McMullen कालीन) पर लागू करना

Bedford-McMullen कालीन अनुप्रयोग

प्रस्ताव 3.10: सिद्ध किया कि (m,n)(m,n)-Bedford-McMullen कालीन से संबंधित स्व-समान माप μ\mu Σ-मिश्रण गुण को संतुष्ट करता है: μ(T−n(B)∩A)≤μ(A)μ(B)+Cτnμ(B)\mu(T^{-n}(B) \cap A) \leq \mu(A)\mu(B) + C\tau^n\mu(B) जहाँ C>0C > 0, τ<1\tau < 1।

प्रायोगिक परिणाम

मुख्य परिणाम

1. सटीक आयाम मामले की संपूर्ण विशेषता

सटीक आयाम मापों और Σ-मिश्रण प्रणालियों के लिए, गतिशील सन्निकटन समुच्चयों के हॉसडॉर्फ आयाम के लिए संपूर्ण सिद्धांत स्थापित किया, यादृच्छिक मामले के परिणामों को पूरी तरह से गतिशील सेटिंग तक सामान्यीकृत किया।

2. अतिबहुपद मिश्रण के लिए पर्याप्त शर्त

सिद्ध किया कि जब δ≥1dim⁡Hμ\delta \geq \frac{1}{\dim_H \mu} हो तो अतिबहुपद मिश्रण शर्त आयाम सूत्र 1δ\frac{1}{\delta} को सुनिश्चित करने के लिए पर्याप्त है, Persson के अनुमान की पुष्टि की।

3. Bedford-McMullen कालीन का अनुप्रयोग

अनुपात 3.12: (m,n)(m,n)-Bedford-McMullen कालीन पर स्व-समान माप μ\mu के लिए, बहुभिन्न नियमितता धारणा के तहत:

\frac{1}{\delta} & \text{यदि } \delta \geq \frac{1}{\dim(\mu)} \\ D_\mu(\frac{1}{\delta}) & \text{यदि } \frac{1}{h_0} \leq \delta \leq \frac{1}{\dim(\mu)} \\ \dim_H K & \text{यदि } \delta \leq \frac{1}{h_0} \end{cases}$$ ### इष्टतमता परिणाम संलग्न पेपर में $n \mapsto n^{-s}$-मिश्रण प्रणालियाँ ($0 < s < 1$) बनाई गईं, कुछ $\theta > \frac{1}{3}$ के लिए सिद्ध किया गया: $$\dim_H \{y \in \mathbb{T}^3 : \|y - T^n(x)\|_\infty \leq \frac{1}{n^\theta} \text{ i.o.}\} < 3$$ यह दर्शाता है कि अतिबहुपद मिश्रण शर्त इष्टतम है। ## संबंधित कार्य ### शास्त्रीय डायोफेंटाइन सन्निकटन 1. **Khintchine-Jarnik सिद्धांत**: परिमेय संख्या सन्निकटन समुच्चयों के आयाम सिद्धांत की नींव स्थापित की 2. **Duffin-Schaeffer अनुमान**: Koukoulopoulos-Maynard का सफलता प्रमाण ### गतिशील प्रणालियों में सन्निकटन समस्याएं 1. **Fan-Schmeling-Troubetzkoy (2013)**: वृत्त पर विस्तारक Markov मानचित्रों को Gibbs माप के साथ सुसज्जित करने के मामले का अध्ययन 2. **Liao-Seuret (2013)**: अधिक सामान्य विस्तारक Markov मानचित्रों तक सामान्यीकरण 3. **Persson (2019)**: घातीय मिश्रण प्रणालियों का अध्ययन, आयाम अनुमान प्रस्तावित किया ### यादृच्छिक सन्निकटन सिद्धांत 1. **Järvenpää आदि (2024)**: यादृच्छिक i.i.d. अनुक्रम सन्निकटन के लिए संपूर्ण सिद्धांत स्थापित किया 2. **Ekström-Persson (2018)**: यादृच्छिक limsup समुच्चयों के आयाम सिद्धांत विकसित किए ## निष्कर्ष और चर्चा ### मुख्य निष्कर्ष 1. **Persson अनुमान को पूरी तरह हल किया**: उपयुक्त मिश्रण शर्तों के तहत, गतिशील सन्निकटन का आयाम वास्तव में यादृच्छिक मामले के समान है 2. **गैर-अनुरूप मामले के लिए सिद्धांत स्थापित किया**: पहले की अनुरूपता पर निर्भरता की सीमा को तोड़ा 3. **मिश्रण शर्तों के लिए इष्टतम प्रदान किए**: Σ-मिश्रण सटीक आयाम मामले के लिए पर्याप्त है, अतिबहुपद मिश्रण सामान्य मामले के लिए आवश्यक है ### तकनीकी योगदान 1. **नई द्रव्यमान स्थानांतरण तकनीकें विकसित कीं**: गैर-Ahlfors नियमित मापों के लिए लागू 2. **सटीक हिट समय अनुमान स्थापित किए**: Galatolo के परिणामों को सामान्यीकृत किया 3. **प्रतिउदाहरण बनाए**: मिश्रण शर्तों की इष्टतमता को दर्शाते हैं ### सीमाएं 1. **बहुभिन्न भाग में धारणाएं**: Bedford-McMullen कालीन की बहुभिन्न नियमितता अभी भी अनुमान है 2. **तकनीकी जटिलता**: प्रमाण तकनीकें यादृच्छिक मामले की तुलना में अधिक जटिल हैं 3. **अनुप्रयोग की सीमा**: मुख्य रूप से पर्याप्त तेजी से मिश्रण करने वाली प्रणालियों के लिए लागू ### भविष्य की दिशाएं 1. **बहुभिन्न नियमितता का सत्यापन**: Bedford-McMullen कालीन पर स्व-समान मापों के लिए 2. **अधिक सामान्य प्रणालियों तक विस्तार**: धीमी गति से मिश्रण करने वाली प्रणालियों का अध्ययन 3. **संभावना सिद्धांत विधियों का विकास**: गतिशील सेटिंग के लिए लागू संभावना सिद्धांत उपकरण ## गहन मूल्यांकन ### शक्तियाँ 1. **सैद्धांतिक पूर्णता**: गतिशील सेटिंग में सन्निकटन आयाम समस्या को पहली बार पूरी तरह हल किया 2. **तकनीकी नवाचार**: कई नई तकनीकें विकसित कीं, विशेष रूप से परिमित माप द्रव्यमान स्थानांतरण सिद्धांत 3. **अनुप्रयोग मूल्य**: महत्वपूर्ण ज्यामितीय उदाहरणों (Bedford-McMullen कालीन) पर सफलतापूर्वक लागू 4. **इष्टतमता**: प्रतिउदाहरणों के माध्यम से परिणामों की इष्टतमता को दर्शाता है ### कमियाँ 1. **प्रमाण की जटिलता**: तकनीकी प्रमाण काफी जटिल हैं, पठनीयता में सुधार की आवश्यकता है 2. **धारणा शर्तें**: कुछ अनुप्रयोगों के लिए अतिरिक्त तकनीकी धारणाओं की आवश्यकता है (जैसे बहुभिन्न नियमितता) 3. **गणनात्मक जटिलता**: व्यावहारिक रूप से मिश्रण गति की गणना करना कठिन हो सकता है ### प्रभाव 1. **सैद्धांतिक योगदान**: इस क्षेत्र की महत्वपूर्ण खुली समस्या को हल किया, गतिशील डायोफेंटाइन सन्निकटन सिद्धांत को आगे बढ़ाया 2. **पद्धति मूल्य**: विकसित तकनीकी उपकरण अन्य समस्याओं में अनुप्रयोग के लिए संभावित हैं 3. **ज्यामितीय अनुप्रयोग**: भग्न ज्यामिति में आयाम समस्याओं के लिए नए उपकरण प्रदान करता है ### लागू परिदृश्य 1. **तेजी से मिश्रण गतिशील प्रणालियाँ**: विशेष रूप से Σ-मिश्रण या अतिबहुपद मिश्रण प्रणालियाँ 2. **स्व-समान भग्न**: Bedford-McMullen कालीन जैसी ज्यामितीय वस्तुएं 3. **बहुभिन्न विश्लेषण**: स्थानीय आयाम से संबंधित समस्याएं ## संदर्भ यह पेपर 35 महत्वपूर्ण संदर्भों का हवाला देता है, जो डायोफेंटाइन सन्निकटन, गतिशील प्रणालियों, भग्न ज्यामिति आदि कई क्षेत्रों के मूल कार्यों को शामिल करता है, विशेष रूप से: - Duffin-Schaeffer अनुमान पर Koukoulopoulos-Maynard का सफलता प्रमाण - Fan-Schmeling-Troubetzkoy का अग्रणी अनुसंधान - यादृच्छिक सन्निकटन पर Järvenpää आदि का नवीनतम कार्य - भग्न ज्यामिति और बहुभिन्न विश्लेषण के शास्त्रीय साहित्य