Hyperconnected language theory
## Trigger
\(\Sigma\)-Setをめぐる研究テーマを整理した結果、Morgan Rogersとのsubtopos分類 [[afv3c6]]、infinite-word points [[v6m2qz]]、sheaf-valued acceptance [[w4k7mz]] とは別に、hyperconnected quotients・local state classifier・syntactic algebraを統合する方向を独立した研究programとして切り出した。
## Idea
\[
\Sigma\text{-}\mathbf{Set}\longrightarrow\mathcal E
\]
というhyperconnected geometric morphismを、stateをどのように同一視し、どのlanguage class / recognizing algebraを残すかを表す構造として扱う。
localic方向では \(\Omega\)、Lawvere--Tierney operators、subtopoi、predicatesを調べるのに対し、こちらではlocal state classifier \(\Xi\)、quotients of representables、local state types、hyperconnected quotientsを中心にする。
\[
\begin{array}{c|c}
\text{localic direction} & \text{hyperconnected direction}\\
\hline
\Omega & \Xi\\
\text{subobjects / predicates} & \text{state quotients / local types}\\
\text{subtopoi} & \text{hyperconnected quotients}\\
\text{acceptance conditions} & \text{syntactic identification}
\end{array}
\]
この方向で統合したい対象は次である。
- language \(L\) のsyntactic monoidと、その最小性をtoposのfactorizationとして捉えるsyntactic topos
- orbit-finite \(\Sigma^*\)-setsのtoposのhyperconnected quotientsとlocal varieties of regular languages [[r8c6wy]]
- language classesからprodiscrete / profinite / powder monoidsを再構成するGalois theory [[p7g4vm]]
- local state classifierのsubobjectsやfiltersによるcovariety / quotient classification
- topological monoid actionsとcontinuous recognizers
- 一般のfree presentation \(\Sigma^*\twoheadrightarrow M\) に沿ったquotient-topos descent
## Questions
- どの閉性条件を満たすlanguage classesが、\(\Sigma\)-Setまたはfinite-orbit toposのhyperconnected quotientsとちょうど対応するか。
- syntactic monoid \(M_L\) を、language predicateのminimal hyperconnected--localic factorizationから復元できるか。
- \(\Xi\) のどの内部subobjects / upward-closed families / filtersがcovarietiesを分類するか。
- quotient toposからcanonical topological monoidを再構成し、\(\Sigma^*\to M_C\) の稠密性と普遍性を示せるか。
- classical Eilenberg correspondence、semi-Galois categories、profinite equationsを、hyperconnected quotient latticeの一つの定理として統合できるか。
- \(\Omega\)-sideのacceptance [[w4k7mz]] と \(\Xi\)-sideのstate identificationを結ぶGalois connectionは存在するか。
## Goal
*Topoi of automata II* の核を、単なる複数の関連予想ではなく、次の対応を確立するprogramとして明確にする。
\[
\boxed{
\text{language classes}
\longleftrightarrow
\text{hyperconnected quotients}
\longleftrightarrow
\text{Galois / syntactic monoids}
}
\]
まずregular / orbit-finiteの場合に完全な束同型を証明し、その後prodiscrete・topologicalな範囲へ拡張する。
## Personal context
洞のquotient-toposとlocal state classifier研究を、automata and algebraic language theoryへ適用する主系列である。Morgan Rogersとの [[afv3c6]] はlocalic方向の対となるが、共著論文の射程を混ぜず、こちらは独立した論文系列として進める。
## Existing child questions
- [[r8c6wy]] Hyperconnected quotients of the finite-orbit topos vs local varieties
- [[p7g4vm]] Prodiscrete Galois monoids for language classes
- quotient topoi of free monoids
- covarieties classified by subobjects of the local state classifier
- hyperconnected essential quotients and congruences
## 2026-09-06 ChatGPT研究監査：有限値言語ではHQを決定できない
Kobin全件監査の過程で、一般のmonoid action toposにおけるhyperconnected quotientと言語観測の関係について、次の反例と正の分類定理候補を得た。
### 1. 有限値言語ではhyperconnected quotientを決定できない
二生成モノイド
\[
M=\langle a,b\mid ba=b,\ b^2=b\rangle
\]
を考える。元を
\[
a^n,\qquad s_n:=a^n b\quad(n\in\mathbb N)
\]
と書けば
\[
a^na^m=a^{n+m},\qquad a^ns_m=s_{n+m},\qquad s_nu=s_n
\]
であり、各 \(s_n\) は左零元である。
右 \(M\)-作用 \(X\) に対し
\[
R_x:=\{x s_n\mid n\in\mathbb N\}
\]
と置き、
\[
\mathcal C:=\{X\in\operatorname{Act}(M)\mid R_x\text{ が全ての }x\text{ について有限}\}
\]
とする。
この \(\mathcal C\) は \(\operatorname{Act}(M)\) の真のhyperconnected quotientの像になる。一方、有限集合 \(K\) に対するcofree action \(K^M\) では
\[
(f\cdot s_n)(u)=f(s_nu)=f(s_n)
\]
なので \(f\cdot s_n\) は定数関数であり、\(|R_f|\le |K|\)。したがって \(K^M\in\mathcal C\)。よって任意の \(K\)-値言語 \(\ell:M\to K\) は \(\mathcal C\) 内で認識される。
従って
\[
\boxed{\mathcal C\text{ と }\operatorname{Act}(M)\text{ は全ての有限値言語について同じ認識能力を持つが、異なるHQである。}}
\]
さらに \(\{a,b\}^*\twoheadrightarrow M\) に沿ってpullbackすれば、二文字free monoid action toposでも同じ現象が起こる。
### 2. 同じ有限値言語を持つHQは連続体個ある
上の \(\mathcal C\) は「全有限値言語を認識するHQ」の最小元になる。\(\mathcal C\) と \(\operatorname{Act}(M)\) の間のHQ intervalは、\(\mathbb N\) 上のequivalence relation filterで、有限指数同値関係を全て含み、shift pullback
\[
n\mathrel{\sigma^*\pi}m\iff n+1\mathrel\pi m+1
\]
で閉じるものと対応する。
各素数 \(p\) に対し
\[
n\mathrel{\pi_p}m\iff v_p(n+1)=v_p(m+1)
\]
と置き、素数集合 \(A\) ごとに有限指数同値関係と全 \(\sigma^{*k}\pi_p\;(p\in A)\) からfilterを生成すると、相異なる \(A\) から相異なるHQが得られる。従って同じ全有限値言語を認識するHQが連続体個存在する。
### 3. 正しいlanguage-class realization criterion
言語 \(L\subseteq M\) のNerode右合同を
\[
u\,\rho_L\,v\iff \forall w\in M\;(uw\in L\Longleftrightarrow vw\in L)
\]
とする。
\(B\subseteq\mathcal P(M)\) があるHQの認識言語全体になるための必要十分条件候補は：
1. \(B\) は左微分 \(L\mapsto m^{-1}L\) で閉じる。
2. 有限個 \(L_1,\ldots,L_r\in B\) と任意の \(L\subseteq M\) に対し
\[
\bigcap_i\rho_{L_i}\subseteq\rho_L\Longrightarrow L\in B.
\]
このとき最小実現filterは
\[
F_B=\left\{\theta\in\operatorname{RC}(M)\mid \exists L_1,\ldots,L_r\in B,\ \bigcap_i\rho_{L_i}\subseteq\theta\right\}.
\]
regular / finite-indexの場合、この条件は通常のBoolean closureとquotient closureへ崩れ、local Eilenberg theoryが回収される。一般の場合には、finite Boolean operationsではなく「有限個の観測で切り出した同値類の任意の合併」を許す閉性が必要である。
### 4. 可算値観測なら可算monoidのHQを完全に回復できる
任意のmonoid \(M\) と集合 \(K\) で \(|K|\ge |M|\) とする。任意の右合同 \(\theta\) に対し単射 \(c:M/\theta\hookrightarrow K\) を取り
\[
\ell_\theta(m)=c([m])
\]
と置けば
\[
u\,\theta\,v\iff \forall w\in M,\ \ell_\theta(uw)=\ell_\theta(vw).
\]
従って \(K\)-値言語の認識可否だけで巡回作用 \(M/\theta\) の所属が判定でき、HQ全体を復元できる。
特に
\[
\boxed{M\text{ が可算なら、可算値言語でHQを完全に識別できる。}}
\]
一文字free monoid \(\mathbb N\) では二値言語ですでに十分だが、二文字では上の反例がある。alphabet size 1 / 2 が境界になる。
### 5. canonical topological monoidの具体例
上の \(\mathcal C\) について、対応するtopological monoidを
\[
P=\mathbb N\amalg\beta\mathbb N
\]
で与えられる。\(k\in\mathbb N\), \(p,q\in\beta\mathbb N\) に対し
\[
k\ell=k+\ell,\qquad kp=\sigma_k(p),\qquad pk=p,\qquad pq=p
\]
と定めると
\[
\mathcal C\simeq\operatorname{Cont}(P).
\]
またforgetful point \(U:\mathcal C\to\mathbf{Set}\) の自己自然変換には
\[
\operatorname{End}(U)^{\mathrm{op}}\cong \mathbb N\amalg\beta\mathbb N
\]
という具体表示が得られる。
この \(P\) は位相空間としてはdiscrete spacesのinverse limitだが、topological monoidとしてdiscrete monoidsのinverse limitではない。free ultrafilter \(p\ne q\) で、全てのeventually periodic subsetに同じ値を取るものを選ぶと、任意の連続準同型 \(P\to D\)（\(D\) discrete monoid）は \(p,q\) を分離できない。
### 6. 研究上の本質
これにより、当初の
\[
\text{language classes}\longleftrightarrow\text{hyperconnected quotients}\longleftrightarrow\text{Galois/syntactic monoids}
\]
というprogramは、一般の無限状態では単純な二値language classだけでは不十分であることが分かった。正しい観測対象は、少なくとも十分大きな値域を持つlanguage families、またはNerode右合同filterそのものである。
特に重要な現象は
\[
\boxed{\text{finite-valued observation loses infinite-partition data}.}
\]
regular / orbit-finite範囲では有限指数性のためこの情報損失が消え、classical local Eilenberg correspondenceが成立する。この差がTopoi of automata IIの一般版とfinite-orbit版の境界を説明する。
## Status / caution
上記は2026-09-06のChatGPT研究監査で得たAI生成の証明群。Kobin上ではresultではなくprogram瓶への追記として保存し、独立査読・原稿監査までは確立済み成果として扱わない。