[論文レビュー] Algebraic Characterizations of Classes of Regular Languages in DynFO

Corentin Barloy, Felix Tschirbs+2 more|arXiv (Cornell University)|Jan 26, 2026

semigroups and automata theory被引用数 0

ひとこと要約

本論文は動的記述的複雑さと代数的言語理論を結びつけ、すべての正則言語が単一の DynFO フラグメントで維持可能であることを示し、制限された動的クラスに対するモノイドベースの正確な記述を提供する。

ABSTRACT

This paper explores the fine-grained structure of classes of regular languages maintainable in fragments of first-order logic within the dynamic descriptive complexity framework of Patnaik and Immerman. A result by Hesse states that the class of regular languages is maintainable by first-order formulas even if only unary auxiliary relations can be used. Another result by Gelade, Marquardt,and Schwentick states that the class of regular languages coincides with the class of languages maintainable by quantifier-free formulas with binary auxiliary relations. We refine Hesse's result and show that with unary auxiliary data formulas with one quantifier alternation can maintain all regular languages. We then obtain precise algebraic characterizations of the classes of languages maintainable with quantifier-free formulas and positive existential formulas in the presence of unary auxiliary relations.

研究の動機と目的

• 代数言語理論と動的記述的複雑性の細かい結びつきを動機づける。
• 制限された補助データで正則言語を維持するヘッセの結果を洗練させる。
• 単一 DynProp および単一設定の正の exists-forall 更新で維持可能な言語の代数的特徴づけを提供する。
• UDynΣ1 および関連クラスを区別するための未解決問題と今後の方向性を議論する。

提案手法

• 正則言語の所属を維持するための単一補助関係を用いた動的プログラムを開発する。
• 有限モノイド理論の Green 族を用いて DynΣ2 での中間評価を表現する。
• 定理1.1 を代数的再表現と構成的更新式により証明する。
• 単一関係による DynProp を文法的モノイドと群性により特徴づける（定理1.2）。
• 順序付き文法モノイドとワレス積による U DynΣ1+ の特徴づけ（定理1.3）。
• 部分構造に類する下界手法を用いて非群言語を U DynProp の結果から分離する。

実験結果

リサーチクエスチョン

• RQ1 DynFO のどの断片が全ての正則言語を保持し、それらが文法モノイドの代数的性質とどう関連するか？
• RQ2 UDynProp（単一補助関係・量化子なしの更新）で維持可能な正則言語は何で、それらの代数的特徴づけは何か？
• RQ3 UDynΣ1+ のような単一 DynFO における正の存在更新で維持可能な言語の代数的（モノイド理論的）特徴づけは何か？
• RQ4 UDynΣ1 の特徴づけと代数的言語クラスとの関係について、今後の未解決問題は何か？

主な発見

• 全ての正則言語は UDynΣ2 で単一補助データを用いて維持可能である。
• 単一関係・量化子なし更新で維持可能な正則言語は、その文法モノイドが群である場合に限られる。
• 単一関係の正の存在で維持可能な正則言語は、順序付き文法モノイドが J+・G のワレス積に属する場合に限られる。
• 本論文は未解決の問題を強調しており、特に正には限らず U DynΣ1 の正確な代数的特徴づけが求められる。