arXiv:2512.18861math.DScs.CL2025-12被引 1

用霍普夫代数马尔可夫链模拟语言生成中的合并操作,揭示语法结构形成的数学机制。

Merge on workspaces as Hopf algebra Markov chain

  • 将句法生成的合并操作建模为二叉有标叶森林上的霍普夫代数马尔可夫链
  • 无权重时系统收敛于非连通结构,需引入熵优化才能得到树状结构
  • 结果支持语言学中成本函数与语义嵌入参数对语法形成的关键作用

我们研究了以带标签叶子的二叉根树为状态空间的霍普夫代数马尔可夫链的动力学特性。该系统描述了在乔姆斯基最小主义模型下,通过合并操作实现语法结构生成与转换的核心计算过程。动力学分解为由内部合并驱动的遍历系统,其平稳分布均匀;而外部合并与(一种最小形式的)侧向合并的贡献可简化为以划分集合为状态空间、具有组合权重的更简单马尔可夫链。除非不同合并方式被成本函数加权,否则侧向合并会阻止系统收敛到完全连接的树结构。通过在热带半环中关联的Perron-Frobenius问题分析权重情形下的渐近行为,发现语言学中常见的成本函数(最小搜索与资源限制)不足以实现树结构收敛,而基于香农熵的额外优化属性则能达成预期动态结果。我们还讨论了语义嵌入相关的连续参数引入,以及由格位角色和阶段结构建模的着色规则对动力学的过滤作用,以及参数变异与外部化过程中的参数设定机制。

原文摘要 · Abstract (English)

We study the dynamical properties of a Hopf algebra Markov chain with state space the binary rooted forests with labelled leaves. This Markovian dynamical system describes the core computational process of structure formation and transformation in syntax via the Merge operation, according to Chomsky's Minimalism model of generative linguistics. The dynamics decomposes into an ergodic dynamical system with uniform stationary distribution, given by the action of Internal Merge, while the contributions of External Merge and (a minimal form of) Sideward Merge reduce to a simpler Markov chain with state space the set of partitions and with combinatorial weights. The Sideward Merge part of the dynamics prevents convergence to fully formed connected structures (trees), unless the different forms of Merge are weighted by a cost function, as predicted by linguistic theory. Results on the asymptotic behavior of the Perron-Frobenius eigenvalue and eigenvector in this weighted case, obtained in terms of an associated Perron-Frobenius problem in the tropical semiring, show that the usual cost functions (Minimal Search and Resource Restrictions) proposed in the linguistic literature do not suffice to obtain convergence to the tree structures, while an additional optimization property based on the Shannon entropy achieves the expected result for the dynamics. We also comment on the introduction of continuous parameters related to semantic embedding and other computational models, and also on some filtering of the dynamics by coloring rules that model the linguistic filtering by theta roles and phase structure, and on parametric variation and the process of parameter setting in Externalization.

语法生成霍普夫代数马尔可夫链语言学模型

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。