$\operatorname{SO}(n, 1)$ এর Schottky এবং continued fractions সেমিগ্রুপে সর্বসমতা গণনা

মৌলিক তথ্য

• পেপার আইডি: 2108.00545
• শিরোনাম: Congruence counting in Schottky and continued fractions semigroups of $\operatorname{SO}(n, 1)$
• লেখক: Pratyush Sarkar
• শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব), math.DS (গতিশীল সিস্টেম), math.SP (বর্ণালী তত্ত্ব)
• প্রকাশনার সময়: ২১ নভেম্বর, ২০২৫ (arXiv v3)
• পেপার লিংক: https://arxiv.org/abs/2108.00545v3

সারসংক্ষেপ

এই পেপারটি দুটি গুরুত্বপূর্ণ সেমিগ্রুপ সেটিংস অধ্যয়ন করে: $\Gamma < \operatorname{SO}(n, 1)$ এর Zariski ঘন Schottky সেমিগ্রুপ এবং $\Gamma < \operatorname{SL}_2(\mathbb{C})$ এর Zariski ঘন continued fraction সেমিগ্রুপ। এই দুটি সেটিংসে, লেখক সংশ্লিষ্ট সর্বসমতা সাব-সেমিগ্রুপের একীভূত অ্যাসিম্পটোটিক গণনা সূত্র প্রমাণ করেন, যা Magee-Oh-Winter এর $\operatorname{SL}_2(\mathbb{R})$ এ কাজকে উচ্চ-মাত্রিক ক্ষেত্রে সাধারণীকরণ করে। প্রমাণের জন্য দুটি স্বাধীন কৌশল প্রয়োজন: Bourgain-Gamburd-Sarnak কাজের উপর ভিত্তি করে Golsefidy-Varjú সম্প্রসারণ প্রক্রিয়া, এবং Dolgopyat পদ্ধতি। উচ্চ-মাত্রিক ক্ষেত্র বেশ কয়েকটি চ্যালেঞ্জের সম্মুখীন হয়: প্রথমত, সম্প্রসারণ প্রক্রিয়া ব্যবহারের জন্য গুরুত্বপূর্ণ ইনপুট প্রয়োজন—রিটার্ন অরবিট সাব-গ্রুপের Zariski ঘনত্ব এবং সম্পূর্ণ ট্রেস ফিল্ড সম্পত্তি; দ্বিতীয়ত, Stoyanov সংস্করণের Dolgopyat পদ্ধতি খাপ খাইয়ে নিতে হবে, প্রধান অসুবিধা হল স্থানীয় অ-সমন্বয়যোগ্যতা শর্ত (LNIC) এবং অ-ঘনীকরণ সম্পত্তি (NCP) প্রমাণ করা।

গবেষণার পটভূমি এবং প্রেরণা

সমস্যা সেটিংস

এই পেপারটি যে মূল সমস্যা সমাধান করে তা হল: হাইপারবলিক স্পেস $\mathbb{H}^n$ এ Schottky সেমিগ্রুপ এবং continued fraction সেমিগ্রুপের জন্য, কীভাবে তাদের সর্বসমতা সাব-সেমিগ্রুপের একীভূত অ্যাসিম্পটোটিক গণনা করা যায়। নির্দিষ্টভাবে, সেমিগ্রুপ $\Gamma$ এবং এর সর্বসমতা সাব-সেমিগ্রুপ $\Gamma_q$ (মডিউলো $q$ এর সর্বসমতা শর্ত) দেওয়া হলে, নির্দিষ্ট শর্ত সন্তুষ্ট করে এমন উপাদানের সংখ্যা গণনা করতে হবে এবং $q$ সম্পর্কে একীভূত ত্রুটি অনুমান প্রদান করতে হবে।

গবেষণার গুরুত্ব

এই সমস্যাটি গণিতের একাধিক ক্ষেত্রে গুরুত্বপূর্ণ:

1. সংখ্যা তত্ত্বের সংযোগ: Continued fraction সেমিগ্রুপ Zaremba অনুমানের সাথে ঘনিষ্ঠভাবে সম্পর্কিত। Zaremba অনুমান পূর্বাভাস দেয় যে একটি সীমাবদ্ধ পূর্ণসংখ্যা সেট $A$ বিদ্যমান যাতে সমস্ত ধনাত্মক পূর্ণসংখ্যা শুধুমাত্র $A$ তে উপাদান ধারণকারী হর সহ continued fraction হিসাবে প্রতিনিধিত্ব করা যায়। Bourgain-Kontorovich BK14 উল্লেখযোগ্য অগ্রগতি অর্জন করেছেন, ঘনত্ব 1 ফলাফল প্রমাণ করেছেন, এবং এই পেপারের গণনা ফলাফল আরও উন্নতির জন্য ব্যবহার করা যেতে পারে।
2. গতিশীল সিস্টেম: গণনা সমস্যা হাইপারবলিক প্রবাহের মিশ্রণ সম্পত্তি, বর্ণালী ফাঁক ইত্যাদি গভীর সম্পত্তির সাথে সম্পর্কিত।
3. গ্রুপ তত্ত্ব এবং বীজগণিত: বীজগণিত গ্রুপের শক্তিশালী অনুমান উপপাদ্য, সম্প্রসারণ গ্রাফ তত্ত্ব ইত্যাদি মূল বিষয় জড়িত।

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

• মাত্রা সীমাবদ্ধতা: Magee-Oh-Winter MOW19 এর ফলাফল শুধুমাত্র $n=2$ ক্ষেত্রে প্রযোজ্য ($\operatorname{SL}_2(\mathbb{R})$)
• প্রযুক্তিগত বাধা: উচ্চ-মাত্রিক ক্ষেত্রে, স্থানীয় অ-সমন্বয়যোগ্যতা শর্ত (LNIC) প্রমাণ অত্যন্ত কঠিন হয়ে ওঠে, Naud Nau05 এর দ্বি-মাত্রিক প্রমাণ সরাসরি সাধারণীকরণ করা যায় না
• সম্প্রসারণ প্রক্রিয়া: উচ্চ-মাত্রিক সম্প্রসারণ তত্ত্ব ব্যবহার করার জন্য নতুন ধারণা (রিটার্ন অরবিট সাব-গ্রুপ) প্রয়োজন

গবেষণার প্রেরণা

এই পেপারের সূচনা বিন্দু হল দ্বি-মাত্রিক সফল তত্ত্বকে যেকোনো মাত্রা $n \geq 2$ এ সাধারণীকরণ করা, যার জন্য প্রয়োজন:

1. উচ্চ-মাত্রিক জটিলতা পরিচালনা করার জন্য নতুন জ্যামিতিক এবং বীজগণিত সরঞ্জাম বিকাশ
2. রিটার্ন অরবিট সাব-গ্রুপের Zariski ঘনত্ব প্রমাণ করা
3. উচ্চ-মাত্রিক সেটিংসে LNIC এবং NCP প্রতিষ্ঠা করা

মূল অবদান

1. প্রধান উপপাদ্য: $\operatorname{SO}(n,1)$ এর Schottky সেমিগ্রুপ এবং $\operatorname{SL}_2(\mathbb{C})$ এর continued fraction সেমিগ্রুপের জন্য, $\epsilon \in (0, \delta_\Gamma)$ বিদ্যমান এমন প্রমাণ করা হয়েছে যে $\#(\Gamma_q \cap B_R(e)) = C_0 \frac{R^{2\delta_\Gamma}}{\#\tilde{G}_q} + O(N(q)^C R^{2(\delta_\Gamma - \epsilon)})$ যেখানে $\delta_\Gamma$ হল Hausdorff মাত্রা, $q$ বর্গমুক্ত এবং $q_0$ এর সাথে সহ-প্রাইম।
2. Zariski ঘনত্ব: প্রথমবারের মতো উচ্চ-মাত্রিক রিটার্ন অরবিট সাব-গ্রুপের Zariski ঘনত্ব প্রমাণ করা হয়েছে (Theorem 7.2), যা সম্প্রসারণ প্রক্রিয়া প্রয়োগের চাবিকাঠি। Continued fraction সেমিগ্রুপের জন্য সম্পূর্ণ ট্রেস ফিল্ড সম্পত্তিও প্রমাণ করা হয়েছে (Theorem 7.5)।
3. LNIC এর উচ্চ-মাত্রিক সম্প্রসারণ: উল্লেখযোগ্য প্রযুক্তিগত অসুবিধা অতিক্রম করে, যেকোনো মাত্রা $n \geq 2$ এ সময় দূরত্ব ফাংশন স্থানীয় অ-সমন্বয়যোগ্যতা শর্ত সন্তুষ্ট করে প্রমাণ করা হয়েছে (Proposition 11.6), যা Dolgopyat পদ্ধতির মূল ইনপুট।
4. একীভূত কাঠামো: Schottky সেমিগ্রুপ এবং continued fraction সেমিগ্রুপ পরিচালনা করার জন্য একীভূত তাত্ত্বিক কাঠামো প্রতিষ্ঠা করা হয়েছে, যা প্রদর্শন করে যে জ্যামিতিক পটভূমি ভিন্ন হলেও একই বিশ্লেষণাত্মক সরঞ্জাম ব্যবহার করা যায়।
5. প্রযুক্তিগত উদ্ভাবন:
   • Stoyanov সংস্করণের Dolgopyat পদ্ধতি ব্যবহার করা হয়েছে, যা ত্রিমুখী বিভাজন প্রস্তাবের প্রযুক্তিগত অসুবিধা এড়ায়
   • সর্বসমতা স্থানান্তর অপারেটর পরিচালনা করার জন্য নতুন $L^2$-সমতলকরণ লেম্মা (Lemma 8.1) বিকশিত করা হয়েছে
   • অ-ঘনীকরণ সম্পত্তি (Proposition 11.8) এর একটি সাধারণ প্রমাণ প্রতিষ্ঠা করা হয়েছে

পদ্ধতির বিস্তারিত ব্যাখ্যা

কাজের সংজ্ঞা

ইনপুট:

• সেমিগ্রুপ $\Gamma < G$ (Schottky বা continued fraction সেমিগ্রুপ)
• সর্বসমতা প্যারামিটার $q \in \mathcal{O}$ ($\mathcal{O} = \mathbb{Z}$ বা $\mathbb{Z}[i]$)
• Lipschitz ফাংশন $F \in L_\star(\mathbb{H}^n \cup \mathbb{R}^{n-1}, \mathbb{R})$
• উপাদান $\gamma_0 \in \Gamma$, $x \in \tilde{\Gamma}$

আউটপুট: ভারিত গণনা সূত্র $\sum_{\substack{\|\gamma\gamma_0\|/\|\gamma_0\| \leq R \\ \pi_q(\tilde{\gamma}) = \pi_q(x)}} F(\gamma\gamma_0 o)$ এর প্রধান পদ এবং ত্রুটি অনুমান।

সীমাবদ্ধতা শর্ত:

• $\Gamma$ কে Zariski ঘনত্ব সন্তুষ্ট করতে হবে
• $q$ বর্গমুক্ত এবং $q_0$ এর সাথে সহ-প্রাইম হতে হবে
• $R \to +\infty$ এর সময় অ্যাসিম্পটোটিক আচরণ

মূল স্থাপত্য: স্থানান্তর অপারেটর পদ্ধতি

সামগ্রিক প্রমাণ কৌশল সর্বসমতা স্থানান্তর অপারেটর এর বর্ণালী বিশ্লেষণের উপর ভিত্তি করে:

1. গতিশীল সিস্টেম এনকোডিং (Section 3)

ম্যাপিং $T: D \to \mathbb{R}^{n-1}$ সংজ্ঞায়িত করুন: $T(u) = g_j^{-1} \cdot u, \quad \forall u \in D_j$

যেখানে $D = \bigcup_{j=1}^N D_j$ পারস্পরিক বিচ্ছিন্ন Euclidean বলের সংমিশ্রণ। মূল সম্পত্তি:

• Markov সম্পত্তি: $\text{int}(D_j) \cap T(\text{int}(D_k)) \neq \emptyset \Rightarrow D_j \subset T(D_k)$
• হাইপারবলিকতা (Lemma 3.1): $\kappa_2 > \kappa_1 > 1$ বিদ্যমান যাতে $c_0\kappa_2^k \leq \|(dT^k)_u\|_{op} \leq c_0^{-1}\kappa_1^k$

2. সর্বসমতা স্থানান্তর অপারেটর (Section 4)

$M_{\xi,q}: C(\Lambda, L^2(\tilde{G}_q)) \to C(\Lambda, L^2(\tilde{G}_q))$ সংজ্ঞায়িত করুন: $M_{\xi,q}(H)(u) = \sum_{u' \in T^{-1}(u)} e^{(f^{(a)} - ib\tau)(u')} c_q(u') H(u')$

যেখানে:

• $\xi = a + ib \in \mathbb{C}$ জটিল প্যারামিটার
• $c_q: D \to \tilde{G}_q$ সর্বসমতা কোকুন ম্যাপিং
• $\tau$ বিকৃতি ফাংশন
• $f^{(a)}$ সাধারণীকৃত সম্ভাব্যতা ফাংশন

মূল প্রযুক্তিগত উপপাদ্য (Theorem 4.5): $\eta > 0$, $C \geq 1$ বিদ্যমান যাতে:

1. ছোট ফ্রিকোয়েন্সি ($|b| \leq b_0$): বর্গমুক্ত $q$ এর জন্য, $\|M_{\xi,q}^k(H)\|_{\text{Lip}} \leq CN(q)^C e^{-\eta k} \|H\|_{\text{Lip}}$
2. বড় ফ্রিকোয়েন্সি ($|b| > b_0$): সমস্ত অ-শূন্য $q$ এর জন্য, $\|M_{\xi,q}^k(H)\|_{\text{Lip}} \leq C_\sigma |b|^{1+\sigma} e^{-\eta_\sigma k} \|H\|_{\text{Lip}}$

প্রযুক্তিগত রুট বিভাজন

কৌশল এক: সম্প্রসারণ প্রক্রিয়া (Sections 5-8, ছোট ফ্রিকোয়েন্সি পরিচালনা)

মূল পদক্ষেপ:

1. রিটার্ন অরবিট সাব-গ্রুপ (Definition 7.1): $p \in \mathbb{N}$ এবং $(y,z) \in A^2$ এর জন্য, সংজ্ঞায়িত করুন $H_p(y,z) = \left\langle \prod_{j=1}^p g_{\alpha_j} \prod_{j=1}^p g_{\tilde{\alpha}_{p+1-j}}^{-1} \right\rangle$
2. Zariski ঘনত্ব প্রমাণ (Theorem 7.2):
   • মূল ধারণা: প্রমাণ করুন যে সীমা সেট $\Lambda(H_p(y,z))$ কোনো $(n-2)$-গোলকে অন্তর্ভুক্ত নয়
   • প্রযুক্তিগত সরঞ্জাম: Karpelevič-Mostow উপপাদ্য, যদি $H < G$ Zariski ঘন না হয়, তাহলে $\Lambda(H)$ একটি $(n-2)$-গোলকে অন্তর্ভুক্ত থাকে
   • নির্মাণ: $(n-2)$-গোলকে অন্তর্ভুক্ত নয় এমন $n+1$ টি সীমা বিন্দু নির্বাচন করুন, হাইপারবলিক উপাদানের আকর্ষণীয় অনির্দেশ্য বিন্দু দ্বারা নির্মাণ করুন
3. $L^2$-সমতলকরণ লেম্মা (Lemma 8.1): $r \in l\mathbb{Z}$ এবং $r \geq C_0\log(N(q))$ এর জন্য, $\|\mu_{\xi,q,x}^{(\alpha_s,...,\alpha_{r+1})} * \phi\|_2 \leq CN(q)^{-1/3} \|\nu_{a,q,x}^{(\alpha_s,...,\alpha_{r+1})}\|_1$
4. বর্ণালী ফাঁক (Lemma 8.7):
   • শক্তিশালী অনুমান উপপাদ্য প্রয়োগ করুন (Weisfeiler Wei84): $\pi_q(\Omega) = H(\mathcal{O}/q\mathcal{O})$
   • সম্প্রসারণ প্রক্রিয়া প্রয়োগ করুন (Golsefidy-Varjú GV12): Cayley গ্রাফ সম্প্রসারণ সাব-গ্রাফ গঠন করে
   • $L^2_0(\tilde{G}_q)$ এ বর্ণালী ফাঁক $\epsilon \in (0,1)$ পান

কৌশল দুই: Dolgopyat পদ্ধতি (Sections 10-13, বড় ফ্রিকোয়েন্সি পরিচালনা)

মূল ইনপুট:

1. স্থানীয় অ-সমন্বয়যোগ্যতা শর্ত (LNIC) (Proposition 11.6): $\alpha, \beta \in \Sigma$, $k \in A$, $u_0, u_0' \in C[k]$ বিদ্যমান যাতে $\nabla \phi_{\alpha,\beta,u_0'}(u_0) \neq 0$ যেখানে $\phi_{\alpha,\beta}$ সময় দূরত্ব ফাংশন।
   প্রমাণ কৌশল (Proposition 11.5):
   • ধরুন $\tau$ স্থানীয় ধ্রুবক ফাংশনের সাথে সহ-সীমান্ত
   • পরিচয় উদ্ভব করুন (Eq. 7): $\ell(h_1^{p_1}h_2^{p_2}) = \ell(h_1^{p_1}) + \ell(h_2^{p_2})$
   • $(h_1, h_2)$-$\mathbb{H}^3$-ব্যবস্থায় বিশ্লেষণ করুন
   • Lemma 11.4 (হাইপারবলিক ফাংশন পরিচয়) এবং Poincaré পুনরাবৃত্তি উপপাদ্য ব্যবহার করুন
   • বৃত্ত সমীকরণ $|ad| = |bc+1| = 1$ পান (Eq. 15)
   • প্রমাণ করুন এটি একটি বিরোধিতা দেয়: আকর্ষণীয় অনির্দেশ্য বিন্দু অবশ্যই $\Re(\xi) = 1/2$ সন্তুষ্ট করবে
   • জ্যামিতিক যুক্তির মাধ্যমে (দুটি ক্ষেত্র) প্রমাণ করুন এটি অসম্ভব
2. অ-ঘনীকরণ সম্পত্তি (NCP) (Proposition 11.8): $\delta \in (0,1)$ বিদ্যমান যাতে সমস্ত $x \in \Lambda$, সিলিন্ডার $C \subset \Lambda$, একক ভেক্টর $w$ এর জন্য, $y \in C \setminus B^E_{\text{diam}(C)/4}(x)$ বিদ্যমান যাতে $|\langle y-x, w \rangle| \geq \delta \cdot \text{diam}(C)$
3. Dolgopyat অপারেটর নির্মাণ (Section 12): সংজ্ঞায়িত করুন $N_{a,J}(h) = L_a^m(\beta_J h)$ যেখানে $\beta_J = \chi_U - \mu \sum_{(j,k) \in J} \chi_{X_{j,k}(b)}$ একটি "খোদাই করা" ফাংশন।
4. বর্ণালী সংকোচন (Theorem 10.3): $\eta \in (0,1)$ বিদ্যমান যাতে $\|N_{a,J}(h)\|_2 \leq \eta \|h\|_2$ সমস্ত $h \in C_{E|b|}(\Lambda)$ এবং $J \in \mathcal{J}(b)$ এর জন্য।

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

1. উচ্চ-মাত্রিক LNIC এর প্রমাণ:
   • Naud এর দ্বি-মাত্রিক প্রমাণ $\mathbb{H}^2 = \mathbb{H}^3$ এর বিশেষত্বের উপর নির্ভর করে
   • এই পেপার $(h_1,h_2)$-$\mathbb{H}^3$-ব্যবস্থা বিশ্লেষণের মাধ্যমে, $\operatorname{SO}(n,1)$ দ্বারা সংরক্ষিত 3-মাত্রিক সাব-ম্যানিফোল্ড ব্যবহার করে
   • মূল উদ্ভাবন: Poincaré পুনরাবৃত্তি উপপাদ্য ব্যবহার করে ঘূর্ণন অংশ $m_j \in M$ পরিচালনা করা
   • হাইপারবলিক ফাংশনের সূক্ষ্ম অনুমান প্রতিষ্ঠা করা (Eqs. 10-14)
2. Stoyanov সংস্করণের গ্রহণ:
   • ত্রিমুখী বিভাজন প্রস্তাব এড়ানো হয়েছে
   • Gibbs পরিমাপ সম্পত্তি সরাসরি ব্যবহার করা হয়েছে Federer/দ্বিগুণ সম্পত্তির পরিবর্তে
   • নতুন দূরত্ব ফাংশন $d$ প্রবর্তন করা হয়েছে (Section 10) প্রমাণ আরও স্পষ্ট করতে
3. রিটার্ন অরবিট সাব-গ্রুপের সম্পূর্ণ ট্রেস ফিল্ড:
   • Continued fraction সেমিগ্রুপের জন্য, প্রয়োজন $\mathbb{Q}(\text{tr}(H_p(y,z))) = \mathbb{Q}(i)$
   • বিভিন্ন উপাদানের ট্রেস গণনার মাধ্যমে (5টি ক্ষেত্র, Theorem 7.5)
   • Zariski ঘনত্ব এবং $A \not\subset \mathbb{N}$ অনুমান ব্যবহার করে
4. একীভূত সর্বসমতা পরিচালনা:
   • কোকুন ম্যাপিংয়ের স্থানীয় ধ্রুবতা এবং একক সম্পত্তি সর্বসমতা প্যারামিটার $q$ এর পরিচালনা একীভূত করে
   • প্রথমবার OW16 এ পর্যবেক্ষণ করা হয়েছে, এই পেপার উচ্চ-মাত্রায় সাধারণীকরণ করে

পরীক্ষামূলক সেটিংস

এই পেপারটি একটি বিশুদ্ধ গণিত তাত্ত্বিক পেপার, সংখ্যাগত পরীক্ষা বা গণনামূলক যাচাইকরণ জড়িত নয়। সমস্ত ফলাফল কঠোর গাণিতিক প্রমাণ।

তাত্ত্বিক যাচাইকরণ

নিবন্ধটি নিম্নলিখিত উপায়ে তত্ত্বের সঠিকতা যাচাই করে:

1. বিশেষ ক্ষেত্রের সামঞ্জস্য:
   • $n=2$ এর সময় Magee-Oh-Winter MOW19 এর ফলাফলে ফিরে যায়
   • Schottky সাব-গ্রুপ ক্ষেত্র Sarkar Sar22, Edwards-Oh EO21 ইত্যাদির পরিচিত ফলাফলের সাথে সামঞ্জস্যপূর্ণ
   • Continued fraction ক্ষেত্র Bourgain-Kontorovich BK14 এর প্রয়োগের সাথে সামঞ্জস্যপূর্ণ
2. যুক্তি শৃঙ্খলার সম্পূর্ণতা:
   • Theorem 1.1 ← Theorem 4.5 ← Theorems 5.1 & 10.3
   • Theorem 5.1 ← Lemmas 8.1, 9.2
   • Theorem 10.3 ← Propositions 11.6, 11.8

প্যারামিটার সেটিংস

মূল ধ্রুবকের নির্বাচন (Section 12):

• $b_0 = 1$ (ফ্রিকোয়েন্সি থ্রেশহোল্ড)
• $E > \max(1, 2A_0)$ (Lipschitz ধ্রুবক)
• $m > m_0$ সন্তুষ্ট করে $\kappa_2^m > \max(8A_0, \frac{4E\rho^{p_1}\epsilon_1}{c_0}, \frac{4 \cdot 128E}{c_0\delta_0\rho})$
• $\mu < \min(\frac{2E\epsilon_1 c_0\rho^{p_0p_1+1}}{\kappa_1^m}, \frac{1}{4}, \frac{1}{16 \cdot 16e^{2mT_0}}(\frac{\delta_0\rho\epsilon_1}{64})^2)$

এই ধ্রুবকগুলির নির্বাচন নিশ্চিত করে:

• Lasota-Yorke ধরনের অনুমান (Lemma 12.2)
• Dolgopyat অপারেটরের সংকোচন সম্পত্তি (Lemma 13.3)
• LNIC এবং NCP এর কার্যকারিতা

পরীক্ষামূলক ফলাফল

প্রধান তাত্ত্বিক ফলাফল

Theorem 1.1 (প্রধান উপপাদ্য): $\epsilon \in (0, \delta_\Gamma)$, $C > 0$, $q_0 \in \mathcal{O}$ বিদ্যমান যাতে সমস্ত $F \in L_\star(\mathbb{H}^n \cup \mathbb{R}^{n-1}, \mathbb{R})$, $\gamma_0 \in \Gamma$, $x \in \tilde{\Gamma}$, বর্গমুক্ত $q$ এবং $q_0$ এর সাথে সহ-প্রাইম, যখন $R \to +\infty$:

$\sum_{\substack{\|\gamma\gamma_0\|/\|\gamma_0\| \leq R \\ \pi_q(\tilde{\gamma}) = \pi_q(x)}} F(\gamma\gamma_0 o) = C_0 \frac{R^{2\delta_\Gamma}}{\#\tilde{G}_q} + O(N(q)^C R^{2(\delta_\Gamma - \epsilon)}(\|F\|_\infty + \text{Lip}(F|_{\mathbb{R}^{n-1}})))$

Corollary 1.2: $F = \chi_{\mathbb{H}^n \cup \mathbb{R}^{n-1}}$, $\gamma_0 = e$, $x = e$ নিন:

$\#(\Gamma_q \cap B_R(e)) = C_0 \frac{R^{2\delta_\Gamma}}{\#\tilde{G}_q} + O(N(q)^C R^{2(\delta_\Gamma - \epsilon)})$

বিদ্যমান ফলাফলের সাথে তুলনা

মূল লেম্মার যাচাইকরণ

1. Zariski ঘনত্ব (Theorem 7.2):
   • সমস্ত $(y,z) \in A^2$ এর জন্য, $p_0$ বিদ্যমান যাতে $p > p_0$ এর সময় $H_p(y,z)$ Zariski ঘন
   • প্রমাণ $(n-2)$-গোলকে অন্তর্ভুক্ত নয় এমন $n+1$ টি সীমা বিন্দু নির্মাণের মাধ্যমে
2. LNIC (Proposition 11.6):
   • প্রমাণ করুন $\tau$ স্থানীয় ধ্রুবক ফাংশনের সাথে সহ-সীমান্ত নয়
   • চাবিকাঠি হল বিরোধিতা উদ্ভব: আকর্ষণীয় অনির্দেশ্য বিন্দু অসম্ভব জ্যামিতিক সীমাবদ্ধতা সন্তুষ্ট করে
3. বর্ণালী ফাঁক (Theorem 4.5):
   • ছোট ফ্রিকোয়েন্সি: $\eta > 0$ এবং $q$ এর সাথে স্বাধীন
   • বড় ফ্রিকোয়েন্সি: $\eta_\sigma > 0$ যেকোনো $\sigma > 0$ এর জন্য

প্রয়োগ: Zaremba অনুমানের অগ্রগতি

Conjecture 1.5 (সাধারণীকৃত Zaremba অনুমান): সীমাবদ্ধ সেট $A \subset \mathbb{N} + i\mathbb{Z}$ বিদ্যমান যাতে $D_A = \mathbb{N} + i\mathbb{Z}$।

বর্তমান সেরা ফলাফল (Huang Hua15 এবং এই পেপার একত্রিত): $\#(D_{\{1,2,3,4,5\}} \cap [1,N]) = N + O(N^{1-\epsilon})$ কিছু $\epsilon \in (0,1)$ এর জন্য।

এই পেপারের অবদান: ত্রুটি পদ $O(Ne^{-c\sqrt{\log N}})$ (Bourgain-Kontorovich) থেকে $O(N^{1-\epsilon})$ এ উন্নত করা।

সম্পর্কিত কাজ

গণনা সমস্যার ইতিহাস

1. ক্লাসিক্যাল ফলাফল:
   • Lalley Lal89: অ-সর্বসমতা ক্ষেত্রে পুনর্নবীকরণ উপপাদ্য
   • Bowen Bow79: Hausdorff মাত্রা এবং সমালোচনামূলক সূচকের সম্পর্ক
2. সর্বসমতা গণনা:
   • Gamburd Gam02: $\operatorname{SL}_2(\mathbb{Z})$ এ $\delta_\Gamma > 5/6$ ক্ষেত্র
   • Bourgain-Gamburd-Sarnak BGS11: $\delta_\Gamma > 1/2$ এ উন্নত
   • Magee-Oh-Winter MOW19: মাত্রা সীমাবদ্ধতা নেই, $n=2$ ক্ষেত্র
3. উচ্চ-মাত্রিক সাধারণীকরণ:
   • Mohammadi-Oh MO15: ফ্রেম প্রবাহের একীভূত সূচক মিশ্রণের মাধ্যমে
   • Sarkar Sar22: ফ্রেম প্রবাহ পদ্ধতির উচ্চ-মাত্রিক সাধারণীকরণ
   • এই পেপার: স্থানান্তর অপারেটর পদ্ধতির উচ্চ-মাত্রিক সাধারণীকরণ

সম্প্রসারণ গ্রাফ তত্ত্ব

1. ভিত্তি কাজ:
   • Bourgain-Gamburd BG08: $\operatorname{SL}_2(\mathbb{F}_p)$ এর একীভূত সম্প্রসারণ
   • Bourgain-Gamburd-Sarnak BGS10: সখ্যাত চালনী পদ্ধতি
2. উচ্চ-মাত্রিক সাধারণীকরণ:
   • Golsefidy-Varjú GV12: সাধারণ সেমি-সরল গ্রুপের সম্প্রসারণ
   • Bourgain-Varjú BV12: $\operatorname{SL}_d(\mathbb{Z}/q\mathbb{Z})$ এর সম্প্রসারণ
   • He-de Saxcé HdS22: বর্গমুক্ত অনুমান অপসারণ

Dolgopyat পদ্ধতি

1. মূল কাজ:
   • Dolgopyat Dol98: Anosov প্রবাহের সম্পর্ক ক্ষয়
2. স্থানান্তর অপারেটরে প্রয়োগ:
   • Naud Nau05: Cantor সেটে সম্প্রসারণ ম্যাপিং
   • Stoyanov Sto11: Axiom A প্রবাহের Ruelle স্থানান্তর অপারেটর বর্ণালী
   • Oh-Winter OW16: সর্বসমতা সেটিংসে প্রয়োগ
3. এই পেপারের অবদান:
   • Stoyanov সংস্করণ গ্রহণ প্রযুক্তিগত অসুবিধা এড়ায়
   • উচ্চ-মাত্রিক LNIC এর প্রথম প্রমাণ
   • Schottky এবং continued fraction সেমিগ্রুপের একীভূত পরিচালনা

Continued fraction এবং সংখ্যা তত্ত্ব

1. Zaremba অনুমান:
   • Zaremba Zar72: মূল অনুমান
   • Bourgain-Kontorovich BK14: ঘনত্ব 1 ফলাফল, $A=50$
   • Huang Hua15: $A=5$ এ উন্নত
2. এই পেপারের সংখ্যা তাত্ত্বিক প্রয়োগ:
   • Bourgain-Kontorovich এর ত্রুটি পদ উন্নত করা
   • সাধারণীকৃত Zaremba অনুমানের জন্য সরঞ্জাম প্রদান করা

সিদ্ধান্ত এবং আলোচনা

প্রধান সিদ্ধান্ত

1. একীভূত গণনা সূত্র: $\operatorname{SO}(n,1)$ এর Schottky সেমিগ্রুপ এবং $\operatorname{SL}_2(\mathbb{C})$ এর continued fraction সেমিগ্রুপের জন্য, সর্বসমতা প্যারামিটার $q$ সম্পর্কে একীভূত অ্যাসিম্পটোটিক গণনা সূত্র প্রতিষ্ঠা করা হয়েছে, ত্রুটি পদ $O(N(q)^C R^{2(\delta_\Gamma - \epsilon)})$।
2. পদ্ধতিগত অগ্রগতি:
   • প্রথমবার উচ্চ-মাত্রায় রিটার্ন অরবিট সাব-গ্রুপের Zariski ঘনত্ব প্রমাণ করা
   • প্রথমবার উচ্চ-মাত্রায় LNIC প্রতিষ্ঠা করা
   • Stoyanov সংস্করণের Dolgopyat পদ্ধতি সফলভাবে খাপ খাইয়ে নেওয়া
3. প্রয়োগ সম্ভাবনা: সাধারণীকৃত Zaremba অনুমানের জন্য নতুন সরঞ্জাম প্রদান করে, আরও সংখ্যা তাত্ত্বিক প্রয়োগের দিকে পরিচালিত করতে পারে।

সীমাবদ্ধতা

1. বর্গমুক্ত অনুমান:
   • Theorem 1.1 এ $q$ বর্গমুক্ত হওয়ার প্রয়োজন ($n=3$ ছাড়া)
   • Golsefidy-Varjú সম্প্রসারণ প্রক্রিয়ার সীমাবদ্ধতা থেকে উদ্ভূত
   • He-de Saxcé HdS22 এর সাম্প্রতিক ফলাফল এই সীমাবদ্ধতা অপসারণ করতে পারে ($n \neq 3$)
2. ফাংশন শ্রেণী সীমাবদ্ধতা:
   • প্রয়োজন $F \in L_\star(\mathbb{H}^n \cup \mathbb{R}^{n-1}, \mathbb{R})$ (স্থানীয় ধ্রুবক)
   • MOW19 $C^1$ ফাংশন পরিচালনা করে, এই পেপার উচ্চ-মাত্রায় সাধারণীকরণ করে না
3. ধ্রুবক নির্ভরতা:
   • $\epsilon$ এবং $C$ এর নির্দিষ্ট মান স্পষ্ট নয়
   • একাধিক মধ্যবর্তী ধ্রুবকের জটিল নির্বাচনের উপর নির্ভর করে
4. $n=3$ এর বিশেষত্ব:
   • $\operatorname{SO}(3,1) \cong \operatorname{PSL}_2(\mathbb{C})$ সম্পূর্ণ সরল নয়
   • কিছু ফলাফল (যেমন বর্গমুক্ত অনুমান অপসারণ) প্রযোজ্য নয়

ভবিষ্যত দিকনির্দেশনা

1. ফাংশন শ্রেণী সাধারণীকরণ:
   • $C^1$ বা আরও মসৃণ ফাংশনে সাধারণীকরণ করা
   • অন্যান্য ফাংশন স্থান অধ্যয়ন (Hölder, Sobolev ইত্যাদি)
2. সীমাবদ্ধতা অপসারণ:
   • HdS22 ব্যবহার করে বর্গমুক্ত অনুমান অপসারণ করা
   • অ-Zariski ঘন ক্ষেত্র অধ্যয়ন করা
3. সংখ্যা তাত্ত্বিক প্রয়োগ:
   • Zaremba অনুমানের অগ্রগতি আরও উন্নত করা
   • Gaussian পূর্ণসংখ্যায় Diophantine অনুমান অধ্যয়ন করা
4. গতিশীল সিস্টেম প্রয়োগ:
   • আরও সাধারণ হাইপারবলিক প্রবাহ অধ্যয়ন করা
   • কোয়ান্টাম বিশৃঙ্খলার সাথে সংযোগ প্রতিষ্ঠা করা
5. গণনামূলক দিক:
   • ছোট প্যারামিটার ক্ষেত্রে সংখ্যাগত যাচাইকরণ
   • ধ্রুবক $\epsilon$ এবং $C$ এর প্রকৃত মূল্য অনুমান করা

গভীর মূল্যায়ন

সুবিধা

1. বড় তাত্ত্বিক অগ্রগতি:
   • দ্বি-মাত্রিক গভীর তত্ত্বকে যেকোনো মাত্রায় সফলভাবে সাধারণীকরণ করা, যা জ্যামিতি এবং গতিশীল সিস্টেমে অ-তুচ্ছ
   • LNIC এর উচ্চ-মাত্রিক প্রমাণ (Proposition 11.5) অত্যন্ত প্রযুক্তিগতভাবে পরিশীলিত, হাইপারবলিক জ্যামিতি, Lie গ্রুপ তত্ত্ব এবং জটিল বিশ্লেষণের গভীর সমন্বয় জড়িত
2. পদ্ধতি উদ্ভাবন:
   • রিটার্ন অরবিট সাব-গ্রুপ ধারণা প্রবর্তন এবং এর Zariski ঘনত্ব প্রমাণ, যা মূল অবদান
   • Stoyanov সংস্করণ গ্রহণ ত্রিমুখী বিভাজন প্রস্তাব এড়ায়, প্রমাণ কাঠামো সরল করে
   • দুটি দেখতে ভিন্ন সেমিগ্রুপ (Schottky এবং continued fraction) একীভূতভাবে পরিচালনা করা
3. প্রযুক্তিগত কঠোরতা:
   • প্রমাণ শৃঙ্খল সম্পূর্ণ, প্রধান উপপাদ্য থেকে বিভিন্ন লেম্মা পর্যন্ত যুক্তি স্পষ্ট
   • ধ্রুবক নির্বাচন (Section 12) জটিল হলেও যুক্তিসঙ্গত, প্রতিটি পদক্ষেপ সামঞ্জস্যপূর্ণ নিশ্চিত করে
   • বিস্তারিত পরিচালনা যত্নশীল (যেমন Remark এ আলোচনা)
4. লেখার গুণমান:
   • কাঠামো স্পষ্ট, পটভূমি থেকে প্রমাণ পর্যন্ত স্তরে স্তরে অগ্রসর
   • অসংখ্য Remark প্রবৃত্তি এবং সম্পর্কিত কাজের সাথে সংযোগ প্রদান করে
   • প্রযুক্তিগত পরিশিষ্ট (যেমন Lemma 11.4) স্বাধীনভাবে উপস্থাপিত বোঝা সহজ করে
5. সম্ভাব্য প্রভাব:
   • সংখ্যা তত্ত্ব (Zaremba অনুমান) এর জন্য নতুন সরঞ্জাম প্রদান করে
   • উচ্চ-মাত্রিক গতিশীল সিস্টেম এবং বর্ণালী তত্ত্বের জন্য নতুন দিক খুলে দেয়
   • পদ্ধতি অন্যান্য গ্রুপ এবং স্থানে প্রযোজ্য হতে পারে

অপূর্ণতা

1. পাঠযোগ্যতা চ্যালেঞ্জ:
   • প্রযুক্তিগত ঘনত্ব অত্যন্ত উচ্চ, একাধিক ক্ষেত্রে গভীর পটভূমি প্রয়োজন (সংখ্যা তত্ত্ব, গতিশীল সিস্টেম, Lie গ্রুপ, বর্ণালী তত্ত্ব)
   • LNIC এর প্রমাণ (Proposition 11.5) বিস্তৃত, Eq. (7) থেকে Eq. (16) পর্যন্ত সাবধানে অনুসরণ প্রয়োজন
   • কিছু সংকেত (যেমন $\alpha^l_j$, $\alpha^{(l-p)1}_j$) বরং জটিল
2. ধ্রুবক অ-স্পষ্ট:
   • প্রধান উপপাদ্যে $\epsilon$ এবং $C$ নির্দিষ্ট মূল্য বা অনুমান দেওয়া হয় না
   • প্রকৃত প্রয়োগ (যেমন Zaremba অনুমান) এই ধ্রুবকের সংখ্যাগত সীমা প্রয়োজন হতে পারে
3. সীমাবদ্ধতা শর্ত:
   • বর্গমুক্ত অনুমান অপসারণযোগ্য হতে পারে কিন্তু এখনও বিদ্যমান
   • স্থানীয় ধ্রুবক ফাংশনের সীমাবদ্ধতা শক্তিশালী, প্রয়োগ পরিসীমা সীমিত
4. কিছু প্রমাণের সংক্ষিপ্ততা:
   • অনেক স্থানে "proved as in XXX" উদ্ধৃত করা হয় সম্পূর্ণ প্রমাণ ছাড়া (যেমন Lemmas 9.1, 13.5)
   • অ-বিশেষজ্ঞদের জন্য বোঝা কঠিন হতে পারে
5. সংখ্যাগত যাচাইকরণ অনুপস্থিত:
   • বিশুদ্ধ তাত্ত্বিক কাজ হিসাবে বোধগম্য, কিন্তু ছোট প্যারামিটার ক্ষেত্রে সংখ্যাগত যাচাইকরণ বিশ্বাসযোগ্যতা বৃদ্ধি করতে পারে
   • পরিচিত বিশেষ ক্ষেত্রের সাথে পরিমাণগত তুলনা অপর্যাপ্ত

প্রভাব মূল্যায়ন

1. একাডেমিক অবদান:
   • গুরুত্ব: ★★★★★ (5/5)
     • উচ্চ-মাত্রিক সর্বসমতা গণনার মূল সমস্যা সমাধান করে
     • পদ্ধতি সৃজনশীল এবং সার্বজনীন
   • প্রযুক্তিগত কঠিনতা: ★★★★★ (5/5)
     • LNIC এর উচ্চ-মাত্রিক প্রমাণ প্রযুক্তিগত মাস্টারপিস
     • একাধিক ক্ষেত্রের গভীর সমন্বয় প্রয়োজন
2. ব্যবহারিক মূল্য:
   • সংখ্যা তাত্ত্বিক প্রয়োগ: ★★★★☆ (4/5)
     • সরাসরি Zaremba অনুমানের অগ্রগতি উন্নত করে
     • অন্যান্য Diophantine সমস্যা অনুপ্রাণিত করতে পারে
   • গতিশীল সিস্টেম: ★★★★☆ (4/5)
     • মিশ্রণ সম্পত্তি গবেষণার জন্য নতুন দৃষ্টিভঙ্গি প্রদান করে
     • স্থানান্তর অপারেটর পদ্ধতির গুরুত্বপূর্ণ সাধারণীকরণ
3. পুনরুৎপাদনযোগ্যতা:
   • তাত্ত্বিক যাচাইযোগ্যতা: ★★★★★ (5/5)
     • প্রমাণ যুক্তি সম্পূর্ণ, বিশেষজ্ঞদের দ্বারা যাচাইযোগ্য
   • গণনামূলক বাস্তবায়নযোগ্যতা: ★★☆☆☆ (2/5)
     • ধ্রুবক নির্বাচন জটিল, সংখ্যাগত বাস্তবায়ন কঠিন
     • এটি গণনাযোগ্য করার জন্য আরও কাজ প্রয়োজন
4. পরবর্তী গবেষণা সম্ভাবনা:
   • উচ্চ: একাধিক দিক অন্বেষণের যোগ্য (ফাংশন শ্রেণী সাধারণীকরণ, সীমাবদ্ধতা অপসারণ, নতুন প্রয়োগ)
   • পদ্ধতি অন্যান্য গ্রুপ এবং প্রবাহে প্রযোজ্য হতে পারে

প্রযোজ্য পরিস্থিতি

1. তাত্ত্বিক গবেষণা:
   • হাইপারবলিক প্রবাহের বর্ণালী তত্ত্ব
   • সমজাতীয় গতিশীল সিস্টেমের গণনা সমস্যা
   • Lie গ্রুপের পাটিগণিত সম্পত্তি
2. সংখ্যা তাত্ত্বিক প্রয়োগ:
   • Zaremba ধরনের অনুমান
   • Diophantine অনুমান
   • Continued fraction সম্প্রসারণের বিতরণ
3. জ্যামিতি টপোলজি:
   • হাইপারবলিক ম্যানিফোল্ডের জ্যামিতি
   • জিওডেসিক গণনা
   • সীমা সেটের ফ্র্যাক্টাল সম্পত্তি
4. কোয়ান্টাম বিশৃঙ্খলা:
   • বর্ণালী তত্ত্বের মাধ্যমে সংযোগ
   • Selberg zeta ফাংশনের প্রয়োগ

অপ্রযোজ্য পরিস্থিতি:

• নিম্ন নিয়মিততা সমস্যা ($C^1$ বা Lipschitz প্রয়োজন)
• অ-হাইপারবলিক সিস্টেম
• স্পষ্ট ধ্রুবক প্রয়োজনীয় সংখ্যাগত গণনা

মূল উদ্ধৃতি (গুরুত্বপূর্ণ রেফারেন্স)

1. MOW19 Magee-Oh-Winter: Uniform congruence counting for Schottky semigroups in SL₂(ℤ) - এই পেপার সরাসরি সাধারণীকরণ করে এমন দ্বি-মাত্রিক ফলাফল
2. GV12 Golsefidy-Varjú: Expansion in perfect groups - সম্প্রসারণ প্রক্রিয়ার তাত্ত্বিক ভিত্তি
3. Dol98 Dolgopyat: On decay of correlations in Anosov flows - Dolgopyat পদ্ধতির মূল কাজ
4. Sto11 Stoyanov: Spectra of Ruelle transfer operators for axiom A flows - এই পেপার ব্যবহার করে এমন Dolgopyat পদ্ধতির সংস্করণ
5. Nau05 Naud: Expanding maps on Cantor sets and analytic continuation of zeta functions - দ্বি-মাত্রিক LNIC এর প্রমাণ
6. BK14 Bourgain-Kontorovich: On Zaremba's conjecture - Zaremba অনুমানের বড় অগ্রগতি
7. Wei84 Weisfeiler: Strong approximation for Zariski-dense subgroups - শক্তিশালী অনুমান উপপাদ্য
8. Sar22 Sarkar: Generalization of Selberg's 3/16 theorem - লেখকের পূর্ববর্তী কাজ, রিটার্ন অরবিট সাব-গ্রুপ প্রবর্তন করে

সংক্ষিপ্তসার

এটি অত্যন্ত প্রযুক্তিগত গভীরতার একটি বিশুদ্ধ গণিত পেপার, যা দ্বি-মাত্রিক সর্বসমতা গণনা তত্ত্বকে যেকোনো মাত্রায় সফলভাবে সাধারণীকরণ করে। প্রধান উদ্ভাবন হল: (1) রিটার্ন অরবিট সাব-গ্রুপের Zariski ঘনত্ব প্রমাণ; (2) উচ্চ-মাত্রিক LNIC প্রতিষ্ঠা; (3) Stoyanov সংস্করণের Dolgopyat পদ্ধতি খাপ খাইয়ে নেওয়া। পেপারটি সংখ্যা তত্ত্ব, গতিশীল সিস্টেম এবং বর্ণালী তত্ত্বের ছেদ ক্ষেত্রের মূল সমস্যা সমাধান করে, Zaremba অনুমান ইত্যাদি প্রয়োগের জন্য নতুন সরঞ্জাম প্রদান করে। যদিও প্রযুক্তিগত থ্রেশহোল্ড অত্যন্ত উচ্চ এবং কিছু ধ্রুবক অ-স্পষ্ট, এর পদ্ধতির মৌলিকতা এবং তাত্ত্বিক গভীরতা এটিকে এই ক্ষেত্রের একটি গুরুত্বপূর্ণ অবদান করে তোলে, দীর্ঘস্থায়ী প্রভাব প্রত্যাশিত।