[論文レビュー] Mathematical foundations of matrix syntax

Román Orús, Roger Martin+1 more|arXiv (Cornell University)|Oct 1, 2017

Syntax, Semantics, Linguistic Variation参考文献 10被引用数 5

ひとこと要約

この論文は、群論とヒルバート空間に基づく言語構造の形式的モデルであるマトリックス・シンタックス（MS）の数学的基盤を確立する。MERGE やチェーン形成といった句構造操作が、ℤ₂×ℤ₄ に同型な群に属する 2×2 行列上のユニタリ変換としてモデル化され、長距離依存関係や言語的チェーンをより経済的かつ洗練された形で捉える、量子に類似した形式的枠組みが得られる。

ABSTRACT

Matrix syntax is a formal model of syntactic relations in language. The purpose of this paper is to explain its mathematical foundations, for an audience with some formal background. We make an axiomatic presentation, motivating each axiom on linguistic and practical grounds. The resulting mathematical structure resembles some aspects of quantum mechanics. Matrix syntax allows us to describe a number of language phenomena that are otherwise very difficult to explain, such as linguistic chains, and is arguably a more economical theory of language than most of the theories proposed in the context of the minimalist program in linguistics. In particular, sentences are naturally modelled as vectors in a Hilbert space with a tensor product structure, built from 2x2 matrices belonging to some specific group.

研究の動機と目的

• マトリックス・シンタックス（MS）—言語における句構造的関係の形式的モデル—の厳密な数学的枠組みを提供すること。
• 生成文法およびミニマリズム・プログラムに根ざした、言語現象、実用性、最適性に基づいて各公理を動機づけること。
• 2×2 行列から構成される特定の群に基づく構造が、形式的性質において量子力学に類似しており、言語的チェーンといった現象を説明できることを示すこと。
• 文がテンソル積構造を持つヒルバート空間内のベクトルとして自然に表現できることを示し、構文論のより経済的かつ説明力のある理論を可能にすること。
• 高度な数学を言語の研究に深く統合する基盤を築くこと、特に合成性、移動、解釈の崩壊のモデル化において。

提案手法

• チョムスキー行列と MERGE 操作を行列積とテンソル積として出発点とし、群論的原理に基づいてマトリックス・シンタックスを公理的構成すること。
• ヒルバート空間 ℋ₈ におけるユニタリ変換として句構造の導出をモデル化し、G₈ ≅ ℤ₂×ℤ₄ に同型な群から構成される。状態はディラック記法で表現される。
• 反対称性と行列式に基づくラベル付けを用いて、句構造のアンカーを定義し、文法的・非文法的構成を区別する。
• A-移動や受動態構文と類似する現象をモデル化するため、ℋ₈ 内のベクトルの重ね合わせとして「言語的チェーン」の概念を導入し、量子重ね合わせに類似させる。
• フィルタリングと圧縮技術を適用して、有効な文法的導出のみを導出する。分離可能な状態は、非もつれ、局所的に解釈可能な構造に対応する。
• 反射対称性とより豊かな句構造を組み込むために、チョムスキー＝ポアソン群 G_cp 及びその関連ヒルバート空間 ℋ_cp にモデルを拡張する。

実験結果

リサーチクエスチョン

• RQ1 MERGE のような句構造操作を、数学的に一貫した方法で行列積とテンソル積を用いて形式化できるか。
• RQ2 受動態や上げ上げ構文で生じる言語的チェーンは、どの程度ヒルバート空間内の重ね合わせとしてモデル化可能か。
• RQ3 特に G₈ ≅ ℤ₂×ℤ₄ という群構造が、最小限の構成で強力な構文論形式を生成する役割を果たすか。
• RQ4 このモデルは、ミニマリズム・プログラムの代替理論と比較して、どの程度構文的導出の経済性と最適性を達成しているか。
• RQ5 MS の数学的構造が量子力学にどの程度類似しているか。また、合成性と解釈の崩壊の理解にどのような意味を持つのか。

主な発見

• マトリックス・シンタックスは、G₈ ≅ ℤ₂×ℤ₄ に同型な群から構成されるヒルバート空間 ℋ₈ におけるユニタリ変換として句構造の導出をモデル化し、文はこの空間内のベクトルとして表現される。
• 言語的チェーンは、ℋ₈ 内のベクトルの重ね合わせとして自然にモデル化され、量子重ね合わせに類似した形式的メカニズムを提供し、長距離依存関係を説明可能となる。
• 有効な文法的導出はヒルバート空間内の分離可能な状態に対応し、もつれ状態は非局所的または複雑な句構造的配置を表す。
• このモデルは、句構造操作を最小限の群論的公理と行列演算に還元することで、大多数のミニマリズム理論よりも経済的である。
• チョムスキー＝ポアソン群 G_cp 及びその関連ヒルバート空間 ℋ_cp は、反射対称性を組み込み、より豊かな句構造と導出のフィルタリングを可能にする。
• このシステムは、反復的な導出の「ゴースト」が安定化して長期記憶となることで語彙化が生じる可能性を示唆し、構文を反復的相互作用を通じて語彙を構築する塑性記憶装置として位置づける。