संयुग्मता भाषाएँ और समूहों के उपसमुच्चय के सापेक्ष संयुग्मता वृद्धि

मूल जानकारी

• पेपर ID: 2510.20923
• शीर्षक: Conjugacy languages and conjugacy growth relative to subsets of groups
• लेखक: André Carvalho (University of Porto), Ana-Catarina C. Monteiro (NOVA FCT)
• वर्गीकरण: math.GR (समूह सिद्धांत)
• प्रस्तुति समय: 23 अक्टूबर 2025
• पेपर लिंक: 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 \in U, \ell \in V$ के लिए $|k\ell| \geq |k|$, तो $\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)$-अर्ध-भूगोलीय परिबद्ध अतुल्यकालिक साथी यात्रा संपत्ति को संतुष्ट करते हैं, दूरी स्थिरांक $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$ का मैट्रिक्स प्रतिनिधित्व है
• पूर्ण अर्ध-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$ पूर्ण अर्ध-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)$ संकेतन और शंकु, पूर्ण अर्ध-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 का स्रोत

समग्र मूल्यांकन: यह उच्च गुणवत्ता का सैद्धांतिक गणित पेपर है जो संयुग्मता भाषा सिद्धांत को उपसमुच्चय स्थिति तक व्यवस्थित रूप से सामान्यीकृत करता है, कई महत्वपूर्ण समूह वर्गों के लिए गहरे भाषा सिद्धांत अभिलक्षण प्रदान करता है। तकनीकी रूप से नवीन है (क्रमचय भाषा, स्वतः-समरूपता विधि), सैद्धांतिक रूप से गहरा है (वृद्धि फलन विविधता, भाषा वर्ग संरक्षण)। मुख्य कमी आभासी अबेलियन समूहों की सामान्य स्थिति का समाधान न होना है, साथ ही कम्प्यूटेशनल जटिलता विश्लेषण की कमी है। पेपर भविष्य के अनुसंधान के लिए स्पष्ट दिशाएँ प्रदान करता है, संयोजक समूह सिद्धांत और औपचारिक भाषा सिद्धांत पर निरंतर प्रभाव डालने की अपेक्षा की जाती है।