二桥纽结符号差的精确方差与精细极限律
Exact Variance and Refined Limit Laws for Two-Bridge Signatures
研究概述
二桥纽结可画成只有两个上桥的图形,其符号差是一个取整数值的纽结不变量。在 Cohen、Baker、Dam、Felber、Madras、Saha 和 Thackrah 使用的词模型中,部分纽结被计数两次。本文确定每个交叉数 c 对应的符号差精确方差,并证明方差减去 c 趋于 -14/3,回答他们在 arXiv 2604.21107 中提出的数值猜想 5.1。论文还给出单个符号差取值概率及罕见大符号差概率的逐阶精细近似。若将互为镜像的纽结视为同一类,均匀选类后独立、等概率地选择符号的正负,就得到另一种对称模型;论文保留精确抽样权重,推导其随交叉数奇偶性变化的方差与概率修正。
原文摘要(英文)
The signature counts of two-bridge knots admit exact binomial formulas, and their normalized distributions satisfy a central limit theorem. We use these formulas to determine the finite-crossing-number mean and variance in the partially double-counted word model. In particular, the variance minus the crossing number converges to -14/3, giving an exact answer to Conjecture 5.1, the numerical variance question in A central limit theorem for the signatures of 2-bridge knots by Cohen, Baker, Dam, Felber, Madras, Saha and Thackrah (arXiv:2604.21107). A single analytic factor determines every fixed-order cumulant correction and a uniform local expansion to any fixed order. We give its first correction explicitly, together with a relative binomial approximation on the full support, sharp interior large deviations and endpoint asymptotics. For uniform mirror classes, an independent fair choice of sign gives a canonical symmetric distribution. We prove its parity-dependent variance and local corrections, with the sampling normalization retained exactly, and obtain the same large-deviation rate for both models.
原始公开问题
Moshe Cohen, Cody Baker, Henry Dam, Rebecca Felber, Neal Madras, Ritvik Saha and Daisy Thackrah: A central limit theorem for the signatures of 2-bridge knots — Conjecture 5.1, arXiv v1; exact refinement of the numerical variance question. Theorem 1.2 and Section 4 supply the prior signature counts and mixture method.
Moshe Cohen, Adam M. Lowrance, Neal Madras and Steven Raanes: Average signature and 4-genus of 2-bridge knots — arXiv v2; word and mirror-class sampling conventions and palindrome enumeration.
数学审核
稿件已完成内部审核,当前公开版本尚未完成完整形式化。
审核标准