着想 #236

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瓶への追記として保存し、独立査読・原稿監査までは確立済み成果として扱わない。