同じ問い合わせでも論理表現の変換で指数的に長くなる
An Exponential Succinctness Gap between Three-Variable Logic and the Calculus of Relations
この論文をやさしく読む
ひとことで言うと
同じ問い合わせを表せる二つの論理言語でも、短く書ける程度は大きく異なることを示す数学研究です。一方の短い式を他方へ変えると、指数的な長さが必要になる例を構成しています。
何に役立つ？
問い合わせ言語や論理表現を選ぶ際に、表現力が同じでも記述の大きさが変わる限界を理解できます。変換アルゴリズムの工夫だけでは解消できない差を扱います。
この研究の面白いところ
同じ部分式を使い回す回路表現や、少し誤ることを許すランダム化回路でも下界が残ります。量化子が一つという単純な形の式でも指数的な差が生じる点が特徴です。
どこまで分かった？
指数的な差は構成した式についての最悪ケースの表現サイズの下界です。すべての問い合わせが必ず指数的に膨らむ、あるいは実行時間も同じ比率で増えるという結論ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
3変数一階述語論理（FO3）と関係計算（CoR）は同じ二項問い合わせを定義する。この同値性は1940年代のTarskiにまでさかのぼる。古典的なFO3からCoRへの変換は指数的な大きさになるが、本研究では、この膨張が避けられないことを証明し、長年の未解決問題を解決する。 量化子が一つだけの正の論理式φを構成し、それと同値な項には大きさ2^{Ω(|φ|)}が必要となることを示す。この結果は、有限構造上でも、部分項を共有する回路表現でも成立する。証明では単一の有限構造上での保存に関する議論を用いる。この方法は主たる問題を超えて適用でき、サイズごとに用意される回路や、有界誤りのランダム化回路でも下界を確立する。また、行列問い合わせ言語MATLANGについても同様の指数的な差を与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Three-variable first-order logic (FO3) and the calculus of relations (CoR) define the same binary queries, an equivalence going back to Tarski in the 1940s. While the classical translation $\text{FO3} \Rightarrow \text{CoR}$ is exponential, we prove that this blow-up is unavoidable, resolving a long-standing open question. We construct positive formulas $\varphi$ with a single quantifier whose equivalent terms require size $2^{\Omega(|\varphi|)}$, even over finite structures and circuit representations with subterm sharing. Our proof uses a preservation argument over a single finite structure. This approach applies beyond our primary question, establishing the lower bound even for size-specific circuits and bounded-error randomized circuits, and yielding an analogous exponential gap for the matrix query language MATLANG.
arXiv ID: 2609.26778 ／ 要約の誤りについて