켤레 언어와 군의 부분집합에 대한 켤레 성장

기본 정보

• 논문 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 (군론)
• 제출 시간: 2025년 10월 23일
• 논문 링크: 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와 Silva23는 가상 자유군의 일반화된 켤레 문제가 판정 가능함을 증명했다
   • Carvalho와 Silva10는 유리 부분집합의 이중 일반화된 켤레 문제를 연구했다
   • 그러나 일반 부분집합 $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$
• 문제: $g = v^{-1}uv$를 만족하는 $u \in U$와 $v \in V$가 존재하는가?
• 특수한 경우: $V = G$일 때 표준 일반화된 켤레 문제로 축소됨

핵심 정의: $\alpha(K,L) = \bigcup_{u \in L} u^{-1}Ku$

이는 $L$의 원소에 의해 켤레된 후 $K$의 원소들의 합집합을 나타낸다.

핵심 언어 정의

부분집합 $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}$

증명 전략:

• $U$를 인식하는 최소 자동기계 $A = (Q, q_0, T, E)$ 사용
• $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\}$을 coset 대표로 설정
• 각 $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의 구성:

• Rigo26의 구성 사용: 각 $d \in \mathbb{N}$에 대해 길이 $n$의 단어 개수가 $n^d$인 정칙 언어 $L_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-Silva10의 분해 활용: $\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över22:
   • 켤레 문제를 순서쌍 $(u,v)$의 집합으로 정의
   • 가상 자유군의 켤레 문제가 비동기 인덱싱됨을 증명
   • 가상 순환군이 정확히 켤레 문제가 비동기 문맥 자유인 군
2. Levine24:
   • 가상 자유군이 정확히 각 켤레류가 문맥 자유 부분집합인 군
   • Muller-Schupp 정리 일반화
3. Ciobanu-Hermiller-Holt-Rees12:
   • $\text{ConjGeo}(G)$, $\text{ConjMinLenSL}(G)$, $\text{ConjSL}(G)$ 등 언어 정의
   • 쌍곡군의 $\text{ConjGeo}(G)$와 $\text{ConjMinLenSL}(G)$ 정칙성 증명
   • 가상 아벨군의 $\text{ConjGeo}(G)$ 구간별 측정 가능
   • 가상 순환군의 $\text{ConjSL}(G)$ 정칙성

일반화된 켤레 문제 연구

4. Ladra-Silva23:
   • 가상 자유군의 유리 제약 일반화된 켤레 문제 판정 가능성 증명
   • 방법: 켤레 부분집합 언어 구성 및 정칙성 증명
5. Carvalho-Silva10:
   • 이중 일반화된 켤레 문제 연구
   • 가상 자유군과 유리 부분집합 $U, V$에 대해 $\alpha(U,V)\pi^{-1}$이 문맥 자유임을 증명
   • 측지 언어 표현 개념 도입
6. Diekert-Gutiérrez-Hagenah16:
   • 자유군의 유리 제약 존재 이론은 PSPACE-완전

자동군 이론

7. Epstein 등17:
   • 자동군과 이중 자동군의 기초 이론
   • 단어 사전식 표준형의 정칙성
8. Herbst19, Carvalho-Nyberg-Brodda9:
   • 언어 부분집합의 체계적 연구
   • $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):
   • $cc_{F_2,X,U_d}(n) \sim n^d$를 정확히 만족하는 유리 부분집합 $U_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의 출처

종합 평가: 이는 높은 품질의 이론 수학 논문으로, 켤레 언어 이론을 부분집합 경우로 체계적으로 일반화하고 여러 중요 군 클래스에 대한 완전한 언어 이론 특성화를 제공한다. 기술적으로는 혁신적(순열 언어, 자동동형 방법)이고 이론적으로는 깊이 있다(성장 함수 다양성, 언어 클래스 보존성). 주요 부족점은 가상 아벨군의 일반적 경우 미해결과 계산 복잡성 분석 부재이다. 논문은 후속 연구에 명확한 방향을 제시하며 조합 군론과 형식 언어 이론에 지속적 영향을 미칠 것으로 예상된다.