半正则连分数的极值及其区间交换变换的编码

给定正整数集合 $A=\{a_1<\cdots<a_k\}$ 与划分 $P: n_1+\cdots+n_k=n$，求正则与半正则连分数 $[0;x_1,\ldots,x_n]$ 的极值分母，其中部分商 $x_i\in A$，且每个 $a_i$ 在 $x_1,\ldots,x_n$ 中恰好出现 $n_i$ 次。1983 年，G. Ramharter 给出了正则连分数极值排列的显式描述以及半正则连分数极小排列的描述，并表明在每种情况下排列在反转意义下唯一且独立于整数 $a_i$ 的实际取值。然而，半正则连分数极大排列的显式确定被证明更为困难。Ramharter 猜想，如同其他三种情况，极大排列在反转意义下唯一，且仅依赖于划分 $P$ 而不依赖于 $a_i$ 的取值。他进一步在二元集 $A$ 的情形验证了该猜想。本文中我们确认了 Ramharter 猜想对 $|A|=3$ 的集合成立，并给出了唯一极大排列的算法构造。我们还表明 Ramharter 猜想对 $|A|\geq 4$ 的集合不成立，因为极大排列一般既非唯一，也非独立于 $A$ 中数字的取值。核心思想是极值排列满足一种强组合条件，该条件也可在有序集上的无穷序列背景下表述。我们证明对双无穷二元词，此条件与 A.A. Markoff 于 1879 年研究二元二次型极小值时所发现的 Markoff 性质一致。我们进一步表明，这一相同组合条件描述了对称 $k$-区间交换变换下点的自然编码的轨道结构这一基本性质。