সংযোগ ভাষা এবং গ্রুপের উপসেটের সাপেক্ষে সংযোগ বৃদ্ধি

মৌলিক তথ্য

• পেপার আইডি: 2510.20923
• শিরোনাম: Conjugacy languages and conjugacy growth relative to subsets of groups
• লেখক: André Carvalho (পোর্টো বিশ্ববিদ্যালয়), Ana-Catarina C. Monteiro (NOVA FCT)
• শ্রেণীবিভাগ: math.GR (গ্রুপ তত্ত্ব)
• জমা দেওয়ার সময়: ২০২৫ সালের ২৩ অক্টোবর
• পেপার লিঙ্ক: https://arxiv.org/abs/2510.20923

সারসংক্ষেপ

এই পেপারটি গ্রুপ তত্ত্বে সংযোগ ভাষা (conjugacy languages) সমস্যা অধ্যয়ন করে, বিশেষত সাধারণীকৃত সংযোগ সমস্যা (generalized conjugacy problem) এর উপর দৃষ্টি নিবদ্ধ করে। মূল প্রশ্নটি হল: একটি গ্রুপ উপাদান $g \in G$ এবং উপসেট $U \subset G$ দেওয়া হলে, $g$ কি $U$ তে একটি সংযোগ উপাদান রয়েছে কিনা তা নির্ধারণ করা (সম্ভবত সংযোগ উপাদানের উপর সীমাবদ্ধতা সহ)। লেখকরা সংশ্লিষ্ট ভাষা $\text{ConjGeo}(U,V)$, $\text{CycGeo}(U)$, $\text{ConjSL}(U)$ এবং $\text{ConjMinLenSL}(U,V)$ সংজ্ঞায়িত করেন এবং একাধিক গ্রুপ শ্রেণীর জন্য নিয়মিততা ফলাফল প্রমাণ করেন: মুক্ত গ্রুপের জন্য, যখন $U, V$ যুক্তিসঙ্গত উপসেট হয় তখন এই ভাষাগুলি নিয়মিত; হাইপারবোলিক গ্রুপের জন্য, যখন $U$ নিয়মিত জিওডেসিক ভাষা দ্বারা প্রতিনিধিত্ব করা যায় তখন ফলাফল প্রযোজ্য; ভার্চুয়াল সাইক্লিক গ্রুপ এবং ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের জন্যও সংশ্লিষ্ট ফলাফল পাওয়া যায়। অতিরিক্তভাবে, লেখকরা সাপেক্ষে সংযোগ বৃদ্ধি ফাংশন সংজ্ঞায়িত করেন এবং তাদের আচরণ উপসেটের পছন্দের উপর দৃঢ়ভাবে নির্ভর করে তা প্রদর্শন করেন।

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

সমস্যার পটভূমি

1. ক্লাসিক্যাল সংযোগ সমস্যা: গ্রুপ তত্ত্বের মৌলিক সমস্যাগুলির মধ্যে একটি হল সংযোগ সমস্যা (CP), অর্থাৎ দুটি গ্রুপ উপাদান সংযুক্ত কিনা তা নির্ধারণ করা। এটি সাধারণীকৃত সংযোগ সমস্যায় (GCP) সম্প্রসারিত হতে পারে: একটি উপাদান $g$ এবং উপসেট $U$ দেওয়া হলে, $g$ কি $U$ তে একটি সংযুক্ত উপাদান রয়েছে কিনা তা নির্ধারণ করা।
2. আনুষ্ঠানিক ভাষা এবং গ্রুপ তত্ত্বের ছেদ: আনুষ্ঠানিক ভাষা তত্ত্ব গ্রুপ তত্ত্ব সমস্যা অধ্যয়নের জন্য শক্তিশালী সরঞ্জাম প্রদান করে। উদাহরণস্বরূপ, Anisimov উপপাদ্য দেখায় যে সীমিত গ্রুপগুলি ঠিক সেই গ্রুপ যাদের শব্দ সমস্যা একটি নিয়মিত ভাষা; Muller-Schupp উপপাদ্য ভার্চুয়াল মুক্ত গ্রুপকে সেই গ্রুপ হিসাবে চিহ্নিত করে যাদের শব্দ সমস্যা প্রসঙ্গ-মুক্ত।
3. বিদ্যমান কাজের সীমাবদ্ধতা:
   • Ciobanu এবং অন্যরা 12 $U = V = G$ ক্ষেত্রে সংযোগ ভাষা অধ্যয়ন করেছেন
   • Ladra এবং Silva 23 প্রমাণ করেছেন যে ভার্চুয়াল মুক্ত গ্রুপের সাধারণীকৃত সংযোগ সমস্যা সমাধানযোগ্য
   • Carvalho এবং Silva 10 যুক্তিসঙ্গত উপসেটের দ্বিগুণ সাধারণীকৃত সংযোগ সমস্যা অধ্যয়ন করেছেন
   • কিন্তু সাধারণ উপসেট $U \subset G$ এর জন্য সংযোগ ভাষার বৈশিষ্ট্য এখনও পদ্ধতিগতভাবে অধ্যয়ন করা হয়নি

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

1. তাত্ত্বিক সম্পূর্ণতা: $U = G$ থেকে সাধারণ উপসেট $U$ এ সাধারণীকরণ, আরও সম্পূর্ণ তাত্ত্বিক কাঠামো প্রতিষ্ঠা করা
2. সমাধানযোগ্যতা সমস্যা: ভাষা তাত্ত্বিক বৈশিষ্ট্যের মাধ্যমে (যেমন নিয়মিততা) সমাধানযোগ্যতা ফলাফল প্রতিষ্ঠা করা
3. বৃদ্ধি ফাংশন আচরণ: সাপেক্ষে সংযোগ বৃদ্ধি ফাংশন ক্লাসিক্যাল সংযোগ বৃদ্ধির থেকে সম্পূর্ণভাবে আলাদা আচরণ প্রদর্শন করতে পারে
4. বিভিন্ন গ্রুপ শ্রেণীর একীভূত চিকিৎসা: মুক্ত গ্রুপ, হাইপারবোলিক গ্রুপ, ভার্চুয়াল সাইক্লিক গ্রুপ, ভার্চুয়াল অ্যাবেলিয়ান গ্রুপ ইত্যাদির জন্য একীভূত ভাষা তাত্ত্বিক কাঠামো প্রদান করা

মূল অবদান

1. সাপেক্ষে সংযোগ ভাষা সংজ্ঞায়িত করা: উপসেট $U, V \subseteq G$ এর জন্য, পদ্ধতিগতভাবে ভাষা সংজ্ঞায়িত করা:
   • $\text{ConjGeo}(U,V)$: সংক্ষিপ্ততম সংযোগ প্রতিনিধির ভাষা (সীমাবদ্ধতা সহ)
   • $\text{CycGeo}(U)$: চক্রীয় জিওডেসিক শব্দ ভাষা
   • $\text{ConjSL}(U)$: সংক্ষিপ্ত অভিধান ক্রম সংযোগ মান ফর্ম ভাষা
   • $\text{ConjMinLenSL}(U,V)$: ন্যূনতম দৈর্ঘ্য সংক্ষিপ্ত অভিধান ক্রম ভাষা
2. মুক্ত গ্রুপের নিয়মিততা ফলাফল (উপপাদ্য 4.5): মুক্ত গ্রুপ $F_X$ এবং যুক্তিসঙ্গত উপসেট $U, V$ এর জন্য, প্রমাণ করা হয় যে $\text{ConjGeo}(U,V)$ এবং $\text{ConjMinLenSL}(U,V)$ নিয়মিত ভাষা
3. হাইপারবোলিক গ্রুপের নিয়মিততা ফলাফল (উপপাদ্য 5.8): $\delta$-হাইপারবোলিক গ্রুপের জন্য, যদি $L$ একটি নিয়মিত জিওডেসিক ভাষা হয়, তাহলে $\text{ConjGeo}(L\pi)$ এবং $\text{ConjMinLenSL}(L\pi)$ নিয়মিত
4. ভার্চুয়াল সাইক্লিক গ্রুপের সম্পূর্ণ বৈশিষ্ট্য (উপপাদ্য 6.1): ভার্চুয়াল সাইক্লিক গ্রুপ এবং যেকোনো যুক্তিসঙ্গত উপসেট $U$ এর জন্য, $\text{ConjSL}(U)$ নিয়মিত
5. ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের ভাষা শ্রেণী সংরক্ষণ (উপপাদ্য 7.3, 7.4): উপযুক্ত শর্তে, $\text{ConjGeo}(U)$ মূল ভাষা শ্রেণীর বৈশিষ্ট্য সংরক্ষণ করে
6. সাপেক্ষে সংযোগ বৃদ্ধির বৈচিত্র্য (উপপাদ্য 3.1): যুক্তিসঙ্গত উপসেট $U_d$ নির্মাণ করা যাতে সাপেক্ষে সংযোজিত সংযোগ বৃদ্ধি $cc_{F_2,X,U_d}(n)$ $n^{d-1}$ থেকে $n^d$ ক্রমের বহুপদী, ক্লাসিক্যাল সূচকীয় বৃদ্ধির সাথে উল্লেখযোগ্য পার্থক্য প্রদর্শন করে
7. সমাধানযোগ্যতা সংযোগ (প্রস্তাব 3.2): সংযোগ ভাষার নিয়মিততা এবং সাধারণীকৃত সংযোগ সমস্যার সমাধানযোগ্যতার মধ্যে সংযোগ প্রতিষ্ঠা করা

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

কাজের সংজ্ঞা

মূল সমস্যা: সাধারণীকৃত সংযোগ সমস্যা (সীমাবদ্ধতা সহ)

• ইনপুট: গ্রুপ উপাদান $g \in G$, উপসেট $U, V \subseteq G$
• সমস্যা: কি এমন $u \in U$ এবং $v \in V$ বিদ্যমান যাতে $g = v^{-1}uv$?
• বিশেষ ক্ষেত্র: যখন $V = G$ তখন এটি মান সাধারণীকৃত সংযোগ সমস্যায় হ্রাস পায়

মূল সংজ্ঞা: $\alpha(K,L) = \bigcup_{u \in L} u^{-1}Ku$

এটি $K$ তে উপাদানগুলিকে $L$ তে উপাদান দ্বারা সংযুক্ত করার পরে প্রাপ্ত সংমিশ্রণকে প্রতিনিধিত্ব করে।

মূল ভাষা সংজ্ঞা

উপসেট $U, V \subseteq G$ এবং জেনারেটর সেট $X$ এর জন্য:

1. $\text{ConjGeo}_X(U,V)$: $\text{ConjGeo}_X(U,V) = \text{ConjGeo}_X(G) \cap \alpha(U,V)\pi^{-1}$$\alpha(U,V)$ তে প্রতিটি সংযোগ শ্রেণীর সংক্ষিপ্ততম প্রতিনিধি শব্দ প্রতিনিধিত্ব করে
2. $\text{CycGeo}_X(U)$: $\text{CycGeo}_X(U) = \{w \in \text{Geo}_X(U) \mid w \text{ একটি চক্রীয় জিওডেসিক শব্দ}\}$
3. $\text{ConjMinLenSL}_X(U,V)$: $\text{ConjMinLenSL}_X(U,V) = \{w_g \in \text{Geo}_X(\alpha(U,V)) \mid |g| = |g|_c\}$ যেখানে $w_g$ হল $g$ এর সংক্ষিপ্ত অভিধান ক্রম মান ফর্ম, $|g|_c$ হল সংযোগ শ্রেণীতে ন্যূনতম দৈর্ঘ্য
4. $\text{ConjSL}_X(U)$: $\text{ConjSL}_X(U) = \{z_c \in \text{Geo}_X(\alpha(U)) \mid c \text{ একটি সংযোগ শ্রেণী}\}$$U$ এর সাথে ছেদ করে এমন প্রতিটি সংযোগ শ্রেণীর সংক্ষিপ্ত অভিধান ক্রম মান ফর্ম

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

1. মুক্ত গ্রুপের ক্রমবিন্যাস ভাষা কৌশল (Permutation Language)

সংজ্ঞা 4.2: নিয়মিত ভাষা $K, L$ এর জন্য, ক্রমবিন্যাস ভাষা সংজ্ঞায়িত করা $P_{K,L} = \{u\ell \mid \ell \in L, \ell u \in K\}$

মূল লেম্মা (প্রস্তাব 4.3): যখন $UV$ হ্রাসকৃত (reduced), অর্থাৎ $|k\ell| \geq |k|$ সকল $k \in U, \ell \in V$ এর জন্য, তখন $\text{ConjGeo}(U,V) = \text{ConjGeo}(F_X) \cap P_{U,V}$

প্রমাণ কৌশল:

• ন্যূনতম স্বয়ংক্রিয় $A = (Q, q_0, T, E)$ ব্যবহার করে $U$ স্বীকার করা
• প্রমাণ করা যে $P_{U,V} = \bigcup_{p \in Q, t \in T} L_{p,t}(L_{q_0,p} \cap V)$
• মূল পর্যবেক্ষণ: মুক্ত গ্রুপে, $UV$ হ্রাসকৃত মানে $\ell$ হল $k$ এর উপসর্গ যদি এবং শুধুমাত্র যদি $|k\ell| = |k|$

2. হাইপারবোলিক গ্রুপের প্রায়-জিওডেসিক কৌশল

লেম্মা 5.1-5.3: হাইপারবোলিক গ্রুপের পাতলা ত্রিভুজ বৈশিষ্ট্য ব্যবহার করা:

• লেম্মা 5.1: সম্পূর্ণ হ্রাসকৃত শব্দের সংযোগ সম্পর্ক সংক্ষিপ্ত সংযোগ উপাদানের মাধ্যমে (দৈর্ঘ্য $\leq 2\delta + 1$) বাস্তবায়িত হতে পারে
• লেম্মা 5.2: প্রায়-জিওডেসিক শব্দের সাধারণীকরণ সংস্করণ
• লেম্মা 5.3: নিয়মিত জিওডেসিক ভাষা প্রায়-হ্রাসকৃত প্রতিনিধি ভাষা নির্মাণ করতে পারে

প্রস্তাব 5.5: $(1,r)$-প্রায়-জিওডেসিক এবং $(1,s)$-প্রায়-জিওডেসিক সীমাবদ্ধ অসিঙ্ক্রোনাস সহযাত্রী বৈশিষ্ট্য (boundedly asynchronous fellow travel property) সন্তুষ্ট করে, দূরত্ব ধ্রুবক $N$ $r, s, \delta$ এর উপর নির্ভর করে

অনুসিদ্ধান্ত 5.6: $(1,\epsilon)$-প্রায়-জিওডেসিক ভাষা দ্বি-স্বয়ংক্রিয় কাঠামো গঠন করে

মূল কৌশল (লেম্মা 5.7): নিয়মিত জিওডেসিক ভাষা $K$ এর জন্য, $\text{CycGeo}(\alpha(K\pi)) = S \cup \left[\text{CycGeo}(G) \cap \bigcup_{|z| \leq 2(\delta+\gamma)} \text{Cyc}(L_2(z))\right]$ যেখানে $S$ একটি সীমিত ভাষা, $L_2(z)$ সংযোগ সম্পর্ক স্বয়ংক্রিয় দ্বারা সংজ্ঞায়িত

3. ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের স্বয়ংক্রিয়তা কৌশল

মূল পর্যবেক্ষণ (লেম্মা 7.2): অ্যাবেলিয়ান গ্রুপ $G$ এবং স্বয়ংক্রিয়তা $\phi$ এর জন্য, $\phi(\text{Geo}_X(U)) = \text{Geo}_{\phi(X)}(\phi(U))$

উপপাদ্য 7.4 এর প্রমাণ কৌশল:

• $N$ একটি সীমিত সূচক অ্যাবেলিয়ান সাধারণ উপগ্রুপ, $T = \{b_1, \ldots, b_n\}$ কোসেট প্রতিনিধি
• প্রতিটি $t \in T$ সংযোগ স্বয়ংক্রিয়তা $\alpha_t: n \mapsto t^{-1}nt$ সংজ্ঞায়িত করে
• $U = \bigcup_{i=1}^n U_i b_i$ এর জন্য ($U_i \in C_\bullet(N)$), গণনা করা $\alpha(U_i b_i) = \bigcup_{s \in T} [U_i N(Q_{b_i}^{-1} - I)]^{Q_s} \cdot s^{-1}b_i s$ যেখানে $Q_t$ হল $\alpha_t$ এর ম্যাট্রিক্স প্রতিনিধিত্ব
• full semi-AFL এর বন্ধনীয়তা ব্যবহার করে প্রমাণ করা যে $\alpha(U_i b_i) \in C_\bullet(G)$

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

নোট: এটি একটি বিশুদ্ধ তাত্ত্বিক গণিত পেপার, এতে কোনো পরীক্ষামূলক অংশ নেই। সমস্ত ফলাফল কঠোর গাণিতিক প্রমাণ।

গঠনমূলক উদাহরণ

উপপাদ্য 3.1 এর গঠন:

• Rigo 26 এর গঠন ব্যবহার করা: প্রতিটি $d \in \mathbb{N}$ এর জন্য, একটি নিয়মিত ভাষা $L_d$ বিদ্যমান যাতে দৈর্ঘ্য $n$ এর শব্দ সংখ্যা $n^d$
• বর্ণমালা $\Sigma_d = \{a_1, \ldots, a_{u_d}\}$, প্রতিটি $a_i$ কে $a^i b^i$ দ্বারা প্রতিস্থাপন করা
• ভাষা $K_d \subseteq \{a,b\}^*$ পাওয়া যায়, যার উপাদানগুলি মুক্ত গ্রুপে স্বাধীন
• বিশ্লেষণ: $\frac{\sum_{i=0}^{\lfloor n/(2u_d) \rfloor} 2i^d}{i-2} < cc_{F_2,X,U_d}(n) < \sum_{i=0}^{\lfloor n/2 \rfloor} i^d$$n^{d-1} \lesssim cc_{F_2,X,U_d}(n) \lesssim n^d$ পাওয়া যায়

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

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

1. মুক্ত গ্রুপ (উপপাদ্য 4.5)

ফলাফল: মুক্ত গ্রুপ $F_X$ এবং যুক্তিসঙ্গত উপসেট $U, V$ এর জন্য,

• $\text{ConjGeo}(U,V)$ একটি নিয়মিত ভাষা
• $\text{ConjMinLenSL}(U,V)$ একটি নিয়মিত ভাষা

প্রমাণ মূল:

• Carvalho-Silva 10 এর বিয়োজন ব্যবহার করা: $\alpha(U,V) = \bigcup_{a \in \tilde{X}} (Y_a \cup Z_a)$
• প্রতিটি উপাদানে ক্রমবিন্যাস ভাষা কৌশল প্রয়োগ করা
• $\text{ConjGeo}(F_X)$ এর নিয়মিততা ব্যবহার করা

তাৎপর্য: 10 এ প্রসঙ্গ-মুক্ত ফলাফল উন্নত করা হয়েছে নিয়মিত ভাষায়

2. হাইপারবোলিক গ্রুপ (উপপাদ্য 5.8)

ফলাফল: $\delta$-হাইপারবোলিক গ্রুপ $G$ এবং নিয়মিত জিওডেসিক ভাষা $L$ এর জন্য,

• $\text{ConjGeo}(L\pi)$ নিয়মিত
• $\text{ConjMinLenSL}(L\pi)$ নিয়মিত

প্রমাণ কাঠামো: $\text{ConjGeo}(L\pi) = S \cup \left[\left(\text{CycGeo}(\alpha(L\pi)) \cap \bigcup_{k \geq 8\delta+1} X^k\right) \setminus \text{Cyc}\left(\bigcup_{|\alpha| \leq 2\delta+1} L(\alpha)\right)\right]$

অনুসিদ্ধান্ত 5.9: ভার্চুয়াল মুক্ত গ্রুপের সাধারণীকৃত সংযোগ সমস্যা সমাধানযোগ্য (নতুন ভাষা তাত্ত্বিক প্রমাণ প্রদান করা)

3. ভার্চুয়াল সাইক্লিক গ্রুপ (উপপাদ্য 6.1)

ফলাফল: ভার্চুয়াল সাইক্লিক গ্রুপ $G$ এবং যুক্তিসঙ্গত উপসেট $U$ এর জন্য, $\text{ConjSL}(U)$ নিয়মিত

প্রমাণ মূল পয়েন্ট:

• বিয়োজন করা $\text{ConjSL}(U) = (\text{ConjSL}(U) \cap C\pi^{-1}) \cup (\text{ConjSL}(U) \cap (G \setminus C)\pi^{-1})$
• যেখানে $C$ হল $H \cong \mathbb{Z}$ এর কেন্দ্রীকরণকারী
• দ্বিতীয় অংশ সীমিত ($G \setminus C$ শুধুমাত্র সীমিত সংখ্যক সংযোগ শ্রেণী রয়েছে)
• প্রথম অংশ $\text{CycGeo}(\alpha(U))$ এর নিয়মিততা এবং সেট অপারেশনের মাধ্যমে পাওয়া যায়

4. ভার্চুয়াল অ্যাবেলিয়ান গ্রুপ (উপপাদ্য 7.3, 7.4)

উপপাদ্য 7.3: $G$ একটি ভার্চুয়াল অ্যাবেলিয়ান গ্রুপ, $N$ একটি সীমিত সূচক অ্যাবেলিয়ান সাধারণ উপগ্রুপ, $U \subseteq N$। যদি $C$ সীমিত ইউনিয়ন এবং নিয়মিত ছেদের জন্য বন্ধ হয়, এবং $\text{Geo}_Z(U) \in C$, তাহলে একটি জেনারেটর সেট $Z$ বিদ্যমান যাতে

• $\text{ConjGeo}_Z(U) \in C$
• $\text{ConjMinLenSL}_Z(U) \in C$

উপপাদ্য 7.4: যদি $C$ একটি full semi-AFL হয়, $U \in C_\bullet(G)$, তাহলে $\alpha(U) \in C_\bullet(G)$

অনুসিদ্ধান্ত 7.5: যদি $K \in C_\forall(G)$, তাহলে $\text{ConjGeo}(K) \in C$

বৃদ্ধি ফাংশন ফলাফল (উপপাদ্য 3.1)

গঠন: প্রতিটি $d \in \mathbb{N}$ এর জন্য, একটি যুক্তিসঙ্গত উপসেট $U_d \in \text{Rat}(F_2)$ বিদ্যমান যাতে $n^{d-1} \lesssim cc_{F_2,X,U_d}(n) \lesssim n^d$

তুলনা: ক্লাসিক্যাল সংযোজিত সংযোগ বৃদ্ধি $cc_{F_2,X}(n)$ সূচকীয়

তাৎপর্য:

1. সাপেক্ষে বৃদ্ধি যেকোনো ডিগ্রির বহুপদী হতে পারে তা প্রদর্শন করা
2. উপসেট পছন্দ বৃদ্ধি আচরণে মৌলিক প্রভাব ফেলে তা দেখানো
3. সাধারণীকৃত সংযোগ সমস্যার জটিলতার জন্য পরিমাণগত দৃষ্টিভঙ্গি প্রদান করা

সমাধানযোগ্যতা ফলাফল (প্রস্তাব 3.2)

উপপাদ্য: উপসেট শ্রেণী $C$ এবং ভাষা শ্রেণী $L$ সেট করুন। যদি সন্তুষ্ট হয়:

1. $U, V \in C \Rightarrow \text{ConjGeo}(U,V) \in L$ গণনাযোগ্য
2. $U \in C, g \in G \Rightarrow U^g \in C$ গণনাযোগ্য
3. $G$ সমাধানযোগ্য সংযোগ সমস্যা রয়েছে
4. $L$ সমাধানযোগ্য সদস্যপদ সমস্যা রয়েছে

তাহলে $G$ সমাধানযোগ্য $C$-সাধারণীকৃত সংযোগ সমস্যা রয়েছে ($C$-সীমাবদ্ধতা সহ)

প্রয়োগ: বিভিন্ন গ্রুপ শ্রেণীর নিয়মিততা ফলাফলের সাথে মিলিয়ে, সরাসরি সমাধানযোগ্যতা পাওয়া যায়

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

সংযোগ সমস্যার ভাষা তাত্ত্বিক গবেষণা

1. Holt-Rees-Röver 22:
   • সংযোগ সমস্যা সংজ্ঞায়িত করা যোগল $(u,v)$ এর সেট হিসাবে
   • প্রমাণ করা যে ভার্চুয়াল মুক্ত গ্রুপের সংযোগ সমস্যা অসিঙ্ক্রোনাস সূচকীয়
   • ভার্চুয়াল সাইক্লিক গ্রুপ ঠিক সেই গ্রুপ যাদের সংযোগ সমস্যা অসিঙ্ক্রোনাস প্রসঙ্গ-মুক্ত
2. Levine 24:
   • ভার্চুয়াল মুক্ত গ্রুপ ঠিক সেই গ্রুপ যেখানে প্রতিটি সংযোগ শ্রেণী একটি প্রসঙ্গ-মুক্ত উপসেট
   • Muller-Schupp উপপাদ্য সাধারণীকৃত করা
3. Ciobanu-Hermiller-Holt-Rees 12:
   • $\text{ConjGeo}(G)$, $\text{ConjMinLenSL}(G)$, $\text{ConjSL}(G)$ ইত্যাদি ভাষা সংজ্ঞায়িত করা
   • প্রমাণ করা যে হাইপারবোলিক গ্রুপের $\text{ConjGeo}(G)$ এবং $\text{ConjMinLenSL}(G)$ নিয়মিত
   • ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের $\text{ConjGeo}(G)$ পিসওয়াইজ পরিমাপযোগ্য
   • ভার্চুয়াল সাইক্লিক গ্রুপের $\text{ConjSL}(G)$ নিয়মিত

সাধারণীকৃত সংযোগ সমস্যা গবেষণা

4. Ladra-Silva 23:
   • প্রমাণ করা যে ভার্চুয়াল মুক্ত গ্রুপের যুক্তিসঙ্গত সীমাবদ্ধ সাধারণীকৃত সংযোগ সমস্যা সমাধানযোগ্য
   • পদ্ধতি: সংযোগ উপভাষা নির্মাণ এবং তার নিয়মিততা প্রমাণ
5. Carvalho-Silva 10:
   • দ্বিগুণ সাধারণীকৃত সংযোগ সমস্যা অধ্যয়ন করা
   • প্রমাণ করা যে ভার্চুয়াল মুক্ত গ্রুপ এবং যুক্তিসঙ্গত উপসেট $U, V$ এর জন্য, $\alpha(U,V)\pi^{-1}$ প্রসঙ্গ-মুক্ত
   • জিওডেসিক ভাষা প্রতিনিধিত্বের ধারণা প্রবর্তন করা
6. Diekert-Gutiérrez-Hagenah 16:
   • মুক্ত গ্রুপে যুক্তিসঙ্গত সীমাবদ্ধতা সহ অস্তিত্ব তত্ত্ব PSPACE-সম্পূর্ণ

স্বয়ংক্রিয় গ্রুপ তত্ত্ব

7. Epstein ইত্যাদি 17:
   • স্বয়ংক্রিয় গ্রুপ এবং দ্বি-স্বয়ংক্রিয় গ্রুপের ভিত্তি তত্ত্ব
   • সংক্ষিপ্ত অভিধান ক্রম মান ফর্মের নিয়মিততা
8. Herbst 19, Carvalho-Nyberg-Brodda 9:
   • ভাষা উপসেটের পদ্ধতিগত গবেষণা
   • $C_\bullet(G)$ নোটেশন এবং cone, full semi-AFL এর বৈশিষ্ট্য

এই পেপারের অগ্রগতি

• $U = G$ থেকে সাধারণ উপসেটে: বিদ্যমান ফলাফল পদ্ধতিগতভাবে সাধারণীকৃত করা
• একীভূত কাঠামো: একাধিক গ্রুপ শ্রেণীর জন্য একীভূত ভাষা তাত্ত্বিক চিকিৎসা
• শক্তিশালী ফলাফল: মুক্ত গ্রুপ প্রসঙ্গ-মুক্ত থেকে নিয়মিতে উন্নত করা
• নতুন দৃষ্টিভঙ্গি: সাপেক্ষে বৃদ্ধি ফাংশন উপসেট পছন্দের গুরুত্ব প্রকাশ করে

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

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

1. ভাষা তাত্ত্বিক বৈশিষ্ট্য:
   • মুক্ত গ্রুপ: যুক্তিসঙ্গত উপসেটের সাপেক্ষে সংযোগ ভাষা নিয়মিত
   • হাইপারবোলিক গ্রুপ: জিওডেসিক প্রতিনিধিত্ব উপসেটের সাপেক্ষে সংযোগ ভাষা নিয়মিত
   • ভার্চুয়াল সাইক্লিক গ্রুপ: যুক্তিসঙ্গত উপসেটের সংক্ষিপ্ত অভিধান ক্রম ভাষা নিয়মিত
   • ভার্চুয়াল অ্যাবেলিয়ান গ্রুপ: ভাষা শ্রেণী সংরক্ষণ বৈশিষ্ট্য
2. বৃদ্ধি ফাংশন বৈচিত্র্য: সাপেক্ষে সংযোগ বৃদ্ধি যেকোনো ডিগ্রির বহুপদী হতে পারে, ক্লাসিক্যাল সূচকীয় বৃদ্ধির সাথে তীব্র বৈপরীত্য
3. সমাধানযোগ্যতা: ভাষা নিয়মিততা এবং সাধারণীকৃত সংযোগ সমস্যার সমাধানযোগ্যতার মধ্যে সংযোগ প্রতিষ্ঠা করা

সীমাবদ্ধতা

1. ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের সীমাবদ্ধতা:
   • উপপাদ্য 7.3 প্রয়োজন $U \subseteq N$ (অ্যাবেলিয়ান উপগ্রুপের মধ্যে)
   • সাধারণ ক্ষেত্র ($U$ $N$ এর মধ্যে নয়) এখনও খোলা
2. ভাষা শ্রেণী প্রয়োজনীয়তা:
   • হাইপারবোলিক গ্রুপ নিয়মিত জিওডেসিক প্রতিনিধিত্ব প্রয়োজন
   • ভার্চুয়াল অ্যাবেলিয়ান গ্রুপ $\text{Geo}(U) \in C$ প্রয়োজন
   • সমস্ত যুক্তিসঙ্গত উপসেট এই শর্ত পূরণ করে না (যেমন উদাহরণ 7.1)
3. গঠনমূলক:
   • উপপাদ্য 3.1 এর বৃদ্ধি ডিগ্রি সীমানা অনির্ভুল ($n^{d-1}$ এবং $n^d$ এর মধ্যে)
   • ঠিক ডিগ্রি $d$ এর উদাহরণ বিদ্যমান কিনা তা অজানা
4. গণনামূলক জটিলতা:
   • সমাধানযোগ্যতা প্রমাণ করা হয়েছে কিন্তু জটিলতা বিশ্লেষণ করা হয়নি
   • স্বয়ংক্রিয় নির্মাণের দক্ষতা আলোচনা করা হয়নি

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

পেপারটি স্পষ্টভাবে দুটি খোলা সমস্যা উপস্থাপন করে:

1. নির্ভুল বৃদ্ধি ডিগ্রি (সমস্যা 1):
   • যুক্তিসঙ্গত উপসেট $U_d$ নির্মাণ করা যাতে $cc_{F_2,X,U_d}(n) \sim n^d$ ঠিক?
   • বর্তমানে শুধুমাত্র $n^{d-1} \lesssim cc_{F_2,X,U_d}(n) \lesssim n^d$
2. ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের সাধারণ ক্ষেত্র (সমস্যা 2):
   • যখন $U \not\subseteq N$ তখন $\text{ConjGeo}(U)$ এর বৈশিষ্ট্য কী?
   • মূল প্রযুক্তিগত প্রশ্ন: $\text{ConjGeo}(U)$ এর উপাদান $\text{ConjGeo}(G \setminus \alpha(U))$ এর পিসওয়াইজ উপশব্দ ধারণ করতে পারে কিনা?
   • নির্দিষ্ট ভাষা শ্রেণী থেকে শুরু করার পরামর্শ (যেমন নিয়মিত, পিসওয়াইজ পরিমাপযোগ্য, পিসওয়াইজ বর্জিত)
3. অন্যান্য সম্ভাব্য দিকনির্দেশনা:
   • গণনামূলক জটিলতা বিশ্লেষণ
   • অন্যান্য গ্রুপ শ্রেণীতে সাধারণীকরণ (যেমন CAT(0) গ্রুপ, আপেক্ষিক হাইপারবোলিক গ্রুপ)
   • একাধিক সীমাবদ্ধতা সহ সাধারণীকৃত সংযোগ সমস্যা
   • সাপেক্ষে বৃদ্ধি ফাংশনের অসিম্পটোটিক বৈশিষ্ট্য

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

সুবিধা

1. তাত্ত্বিক গভীরতা:
   • Ciobanu ইত্যাদি 12 এর ক্লাসিক্যাল ফলাফল পদ্ধতিগতভাবে সাধারণীকৃত করা
   • একাধিক গুরুত্বপূর্ণ গ্রুপ শ্রেণীর জন্য সম্পূর্ণ ভাষা তাত্ত্বিক বৈশিষ্ট্য প্রদান করা
   • প্রমাণ কৌশল পরিশীলিত, বিশেষত ক্রমবিন্যাস ভাষা এবং স্বয়ংক্রিয়তা পদ্ধতি
2. একীভূত কাঠামো:
   • $\alpha(U,V)$ নোটেশনের মাধ্যমে বিভিন্ন ক্ষেত্র একীভূত চিকিৎসা
   • $C_\bullet(G)$ নোটেশন নমনীয় ভাষা শ্রেণী চিকিৎসা প্রদান করে
   • প্রস্তাব 3.2 ভাষা তত্ত্ব এবং সমাধানযোগ্যতার মধ্যে সাধারণ সংযোগ প্রতিষ্ঠা করে
3. প্রযুক্তিগত উদ্ভাবন:
   • ক্রমবিন্যাস ভাষা $P_{K,L}$ মুক্ত গ্রুপ চিকিৎসার নতুন সরঞ্জাম
   • হাইপারবোলিক গ্রুপের প্রায়-জিওডেসিক কৌশল বিদ্যমান পদ্ধতি সম্প্রসারিত করে
   • ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের স্বয়ংক্রিয়তা ম্যাট্রিক্স পদ্ধতি উদ্ভাবনী
4. বৃদ্ধি ফাংশন অন্তর্দৃষ্টি:
   • উপপাদ্য 3.1 সাপেক্ষে বৃদ্ধির সমৃদ্ধি প্রদর্শন করে
   • সাধারণীকৃত সংযোগ সমস্যার জটিলতা বোঝার জন্য পরিমাণগত দৃষ্টিভঙ্গি প্রদান করে
   • গঠন পদ্ধতি সাধারণ
5. লেখার গুণমান:
   • কাঠামো স্পষ্ট, সাধারণ থেকে নির্দিষ্ট ক্রমে প্রসারিত
   • প্রাথমিক জ্ঞান সম্পূর্ণ, সংজ্ঞা নির্ভুল
   • প্রমাণ বিস্তারিত, যুক্তি কঠোর

অপূর্ণতা

1. কভারেজ সীমাবদ্ধতা:
   • ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের ফলাফল $U \subseteq N$ বা $\text{Geo}(U) \in C$ প্রয়োজন
   • সাধারণ যুক্তিসঙ্গত উপসেটের চিকিৎসা অপর্যাপ্ত (যেমন উদাহরণ 7.1)
   • অন্যান্য গুরুত্বপূর্ণ গ্রুপ শ্রেণী (যেমন সমকোণ গ্রুপ, গ্রাফ গ্রুপ) অন্তর্ভুক্ত নয়
2. বৃদ্ধি ফাংশন নির্ভুলতা:
   • উপপাদ্য 3.1 এর সীমানা অনির্ভুল (একটি ডিগ্রি পার্থক্য)
   • নির্ভুল ডিগ্রি অর্জনকারী গঠন প্রদান করা হয়নি
   • অন্যান্য গ্রুপ শ্রেণীর সাপেক্ষে বৃদ্ধি অন্বেষণ করা হয়নি
3. গণনামূলক দিক:
   • অ্যালগরিদম জটিলতা বিশ্লেষণ করা হয়নি
   • স্বয়ংক্রিয় নির্মাণের দক্ষতা আলোচনা করা হয়নি
   • ব্যবহারিক গণনাযোগ্যতা যাচাই করা হয়নি
4. প্রয়োগ দৃশ্য:
   • ব্যবহারিক প্রয়োগ আলোচনা করা হয়নি (যেমন ক্রিপ্টোগ্রাফি, অ্যালগরিদম গ্রুপ তত্ত্ব)
   • অন্যান্য গ্রুপ তত্ত্ব সমস্যার সাথে সংযোগ অপর্যাপ্ত
   • নির্দিষ্ট উদাহরণ এবং গণনামূলক উদাহরণের অভাব
5. খোলা সমস্যা:
   • ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের সাধারণ ক্ষেত্র গুরুত্বপূর্ণ ফাঁক
   • সমস্যা 2 এর প্রযুক্তিগত অসুবিধা পর্যাপ্তভাবে বিশ্লেষণ করা হয়নি
   • এই সমস্যা সমাধানের সম্ভাব্য দিকনির্দেশনা অনুপস্থিত

প্রভাব

1. তাত্ত্বিক অবদান:
   • সংযোগ ভাষা তত্ত্বে গুরুত্বপূর্ণ সম্প্রসারণ প্রদান করে
   • উপসেট পছন্দ এবং ভাষা বৈশিষ্ট্যের মধ্যে গভীর সংযোগ প্রতিষ্ঠা করে
   • পরবর্তী গবেষণার জন্য পদ্ধতিগত কাঠামো প্রদান করে
2. পদ্ধতিগত মূল্য:
   • ক্রমবিন্যাস ভাষা কৌশল অন্যান্য সমস্যায় প্রয়োগযোগ্য হতে পারে
   • স্বয়ংক্রিয়তা পদ্ধতি ভার্চুয়াল অ্যাবেলিয়ান গ্রুপ গবেষণার নতুন সরঞ্জাম প্রদান করে
   • ভাষা শ্রেণী সংরক্ষণ উপপাদ্য সাধারণ
3. পুনরুৎপাদনযোগ্যতা:
   • প্রমাণ বিস্তারিত, যাচাইযোগ্যতা শক্তিশালী
   • গঠন পদ্ধতি স্পষ্ট
   • কিন্তু গণনামূলক বাস্তবায়ন অনুপস্থিত
4. পরবর্তী গবেষণা:
   • খোলা সমস্যা স্পষ্ট, স্পষ্ট গবেষণা দিকনির্দেশনা রয়েছে
   • অন্যান্য গ্রুপ শ্রেণীর গবেষণার জন্য টেমপ্লেট প্রদান করে
   • সম্পর্কিত সমস্যার গবেষণা অনুপ্রাণিত করতে পারে

প্রযোজ্য দৃশ্য

1. তাত্ত্বিক গবেষণা:
   • সংমিশ্রণ গ্রুপ তত্ত্বে সিদ্ধান্ত সমস্যা
   • আনুষ্ঠানিক ভাষা তত্ত্ব এবং বীজগণিতের ছেদ
   • বৃদ্ধি ফাংশন এবং অসিম্পটোটিক বৈশিষ্ট্য গবেষণা
2. অ্যালগরিদম গ্রুপ তত্ত্ব:
   • সাধারণীকৃত সংযোগ সমস্যার সিদ্ধান্ত অ্যালগরিদম ডিজাইন করা
   • সংযোগ শ্রেণী প্রতিনিধি গণনা অপ্টিমাইজ করা
   • যুক্তিসঙ্গত উপসেটের প্রতীকী গণনা
3. সম্পর্কিত ক্ষেত্র:
   • স্বয়ংক্রিয় গ্রুপ তত্ত্ব
   • জ্যামিতিক গ্রুপ তত্ত্ব (হাইপারবোলিক গ্রুপ, CAT(0) গ্রুপ)
   • গণনামূলক জটিলতা তত্ত্ব
4. সম্ভাব্য প্রয়োগ:
   • ক্রিপ্টোগ্রাফিতে গ্রুপ-ভিত্তিক প্রোটোকল
   • টপোলজিতে মৌলিক গ্রুপ গণনা
   • স্বয়ংক্রিয় তত্ত্ব

মূল সংদর্ভ (গুরুত্বপূর্ণ সংদর্ভ)

12 L. Ciobanu, S. Hermiller, D. Holt, S. Rees. Conjugacy languages in groups. Israel J. Math., 211:311–347, 2016.

• এই পেপারের সরাসরি ভিত্তি, $U = G$ ক্ষেত্রে সংযোগ ভাষা সংজ্ঞায়িত করে

10 A. Carvalho, P. V. Silva. Geodesic languages for rational subsets and conjugates in virtually free groups. arXiv:2410.20412v2, 2024.

• $\alpha(U,V)\pi^{-1}$ এর প্রসঙ্গ-মুক্ততা প্রমাণ করে, এই পেপার নিয়মিতে উন্নত করে

23 M. Ladra, P. V. Silva. The generalized conjugacy problem for virtually free groups. Forum Math., 23:447–482, 2011.

• ভার্চুয়াল মুক্ত গ্রুপ সাধারণীকৃত সংযোগ সমস্যা সমাধানযোগ্যতার ক্লাসিক্যাল ফলাফল

25 D. E. Muller, P. E. Schupp. Groups, the theory of ends, and context-free languages. J. Comput. System Sci., 26(3):295–310, 1983.

• Muller-Schupp উপপাদ্য: ভার্চুয়াল মুক্ত গ্রুপের শব্দ সমস্যা প্রসঙ্গ-মুক্ত

19 T. Herbst. On a subclass of context-free groups. RAIRO Inform. Théor. Appl., 25:255–272, 1991.

• ভার্চুয়াল সাইক্লিক গ্রুপের শব্দ সমস্যা one-counter, $C_\bullet$ নোটেশন প্রবর্তন করে

9 A. Carvalho, C. F. Nyberg-Brodda. On linguistic subsets of groups and monoids. arXiv:2502.14329, 2025.

• ভাষা উপসেটের পদ্ধতিগত তত্ত্ব, উপপাদ্য 2.2 এবং 2.3 এর উৎস

সামগ্রিক মূল্যায়ন: এটি একটি উচ্চ মানের তাত্ত্বিক গণিত পেপার, যা সংযোগ ভাষা তত্ত্বকে উপসেট ক্ষেত্রে পদ্ধতিগতভাবে সম্প্রসারিত করে এবং একাধিক গুরুত্বপূর্ণ গ্রুপ শ্রেণীর জন্য গভীর ভাষা তাত্ত্বিক বৈশিষ্ট্য প্রদান করে। প্রযুক্তিগতভাবে উদ্ভাবনী (ক্রমবিন্যাস ভাষা, স্বয়ংক্রিয়তা পদ্ধতি), তাত্ত্বিকভাবে গভীর (বৃদ্ধি ফাংশন বৈচিত্র্য, ভাষা শ্রেণী সংরক্ষণ)। প্রধান অপূর্ণতা হল ভার্চুয়াল অ্যাবেলিয়ান গ্রুপের সাধারণ ক্ষেত্র অমীমাংসিত এবং গণনামূলক জটিলতা বিশ্লেষণের অভাব। পেপারটি পরবর্তী গবেষণার জন্য স্পষ্ট দিকনির্দেশনা প্রদান করে এবং সংমিশ্রণ গ্রুপ তত্ত্ব এবং আনুষ্ঠানিক ভাষা তত্ত্বে ক্রমাগত প্রভাব ফেলবে বলে প্রত্যাশিত।