[论文解读] 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）的数学基础，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）提供一个严谨的数学框架，MS 是语言句法关系的形式模型。
• 通过语言现象、实用性和最优性来论证每个公理，使该理论建立在生成语法和最简方案的基础之上。
• 证明由此产生的结构——由特定群中的 2×2 矩阵构建——在形式上类似于量子力学，并能解释语言链等现象。
• 表明句子可自然地表示为具有张量积结构的希尔伯特空间中的向量，从而实现一种更经济且更具解释力的句法理论。
• 为将高级数学更深层次地整合到语言研究中奠定基础，特别是在组合性、语类移动和解释坍缩的建模方面。

提出的方法

• 基于群论原理，通过查姆斯基矩阵和 MERGE 操作作为矩阵乘法与张量积，构建矩阵语法的公理体系。
• 将句法推导建模为由群 G₈ ≅ ℤ₂×ℤ₄ 构造的希尔伯特空间 ℋ₈ 中的酉变换，状态以狄拉克符号表示。
• 利用反对称性和基于行列式的标记方法定义句法锚点，区分语法结构与非语法结构。
• 引入‘语言链’的概念，将其作为 ℋ₈ 中向量的叠加，类比于量子叠加，以建模 A-移动和被动结构。
• 应用过滤与压缩技术，仅导出有效的语法推导，其中可分状态对应于非纠缠、局部可解释的结构。
• 将模型扩展至查姆斯基-泡利群 G_cp 及其关联的希尔伯特空间 ℋ_cp，以纳入反射对称性并实现更丰富的句法结构。

实验结果

研究问题

• RQ1 如何以数学上一致的方式，利用矩阵乘法和张量积来形式化 MERGE 等句法操作？
• RQ2 在希尔伯特空间中，语言链（出现在被动结构和提升结构中）在多大程度上可被建模为叠加态？
• RQ3 群结构（特别是 G₈ ≅ ℤ₂×ℤ₄）在生成一种最小但强大的句法形式体系中起什么作用？
• RQ4 该模型如何解释句法推导的经济性与最优性，尤其是与最简方案理论的替代方案相比？
• RQ5 MS 的数学结构在何种程度上类似于量子力学？这对理解组合性与解释坍缩有何启示？

主要发现

• 矩阵语法学将句法推导建模为在由群 G₈ ≅ ℤ₂×ℤ₄ 构造的希尔伯特空间 ℋ₈ 上的酉变换，句子在该空间中表示为向量。
• 语言链自然地被建模为 ℋ₈ 中向量的叠加，类比于量子叠加，为长距离依存关系提供了正式机制。
• 有效的语法推导对应于希尔伯特空间中的可分态，而纠缠态则代表非局部或复杂的句法构型。
• 该模型通过将句法操作简化为最少的群论公理和矩阵运算，实现了比大多数最简方案理论更优的经济性。
• 查姆斯基-泡利群 G_cp 及其关联的希尔伯特空间 ℋ_cp 扩展了模型，纳入了反射对称性，使句法结构更丰富，并改进了推导的过滤能力。
• 该系统表明，词汇化可能源于反复出现的推导‘幽灵’，这些幽灵稳定为长期记忆，将句法构建成一种可塑的记忆装置，通过互动逐步构建词库。