Christoffel words and the strong Fox conjecture for two-bridge knots
梯形福克斯猜想指出,交替纽结的亚历山大多项式的系数序列是单峰的。我们的动机是一个更难的问题,强福克斯猜想,它问是否系数序列的亚历山大多项式交替结实际上是对数凹的。我们的方法是引入一个多项式$Δ(t)$与Christoffel字,并证明其系数序列是对数凹的。这暗示了双桥纽结的强Fox猜想。
2022-12-08 math.CO math.GT
Characterizations of Perfectly Clustering Words
本文研究完美聚类词,提出将其分解为n-1个回文乘积的方法,并借此推广了关于Christoffel词的两个组合刻画。
2024-07-27 math.CO
On Christoffel and standard words and their derivatives
我们介绍和研究自然衍生物Christoffel和有限的标准字,以及特征Sturmian字。这些衍生物,这是实现为逆图像下适当的态射,保持上述类别的话。在Christoffel词的情况下,所涉及的态射将$a$映射到$a^{k+1}b$(分别为,~ $ab^{k}$)和$b$至$a^{k}b$(分别为~ $ab^{k+1}$),以获得合适的$k>0$。只要导数的长度大于一个字母,自然就会得到更高阶的导数。我们将Christoffel或标准词的深度定义为导数为单个字母的最小阶。我们给出了几个组合和算术描述的深度,和(紧)下限和上限。
2016-02-10 cs.DM cs.FL math.CO
Reversible Christoffel factorizations
我们定义了一类Sturmian词在Christoffel词中的自然分解,称为 * 可逆Christoffel*(RC)分解。它们来自于观察到两个具有相同语言的Sturmian词有(几乎总是)任意长的阿贝尔等价前缀。利用三间隙定理,我们证明了在每个RC分解中,只有2或3个不同的Christoffel字可能出现。我们开始研究这样的分解,被认为是无限的话超过2或3个字母,并表明,在一般情况下,他们要么Sturmian字,或获得一个三间隔交换变换。
2013-07-11 cs.DM cs.FL math.CO
Sturmian words and the Stern sequence
中心词、标准词和Christoffel词是三种紧密相关的二元有限词,它们代表了特征Sturmian词的有限对应物。一个自然的算术化的理论是通过表示中心和Christoffel字的不可约分数分别标记两个二叉树,Raney(或Calkin-Wilf)树和Stern-Brocot树。Raney树中分数的分解子序列是著名的Stern双原子数列。一个解释的条款$s(n)$斯特恩的序列作为长度的Christoffel字时,$n$是奇数,并作为最小时期的中心字时,$n$是偶数,允许一个解释几个结果的Christoffel和中心字方面的斯特恩的序列,相反,以获得一个新的见解在组合的Christoffel和中心字使用的性质斯特恩的序列。我们的主要结果之一是一个非交换版本的“交替位集定理”的卡尔金和威尔夫。我们还研究了树中等高节点对应的Christoffel词的长度分布,得到了一些有趣的界和不等式。
2014-10-15 cs.DM math.CO
Some characterizations of Sturmian words in terms of the lexicographic order
在本文中,我们提出了三个新的Sturmian词的特征的基础上,他们的因素的词典排序。
2012-05-27 cs.DM math.CO
Characterizations of finite and infinite episturmian words via lexicographic orderings
在本文中,我们用词典序刻画了所有有限的Sturmian和Episturmian词,即,这些无限词的所有(有限)因子。因此,我们得到了表征无限episturmian词在“广义”(episturmian和episkew无限词)。也就是说,我们的特点是所有无限的话,其因素是(有限)episturmian。同样,我们的特点是字典顺序的所有平衡无限的话超过2个字母的字母表,换句话说,所有Sturmian和斜无限的话,其中的因素是(有限)Sturmian。
2007-08-31 cs.DM math.CO
Sturmian morphisms, the braid group B_4, Christoffel words and bases of F_2
利用生成元和关系给出了秩为2的自由群F_2的自同构群Aut(F_2)中生成指数为2的子群的幺半群的表示,并证明了它可以实现为四弦辫群B_4中的幺半群.在第二部分中,我们利用Christoffel字构造了F_2提升自由阿尔贝群Z ^2的任意给定基的显式基。我们进一步给出一个算法,允许决定是否两个元素的F_2形成一个基础或没有。我们还表明,在适当的条件下,一个基础有一个独特的共轭组成的两个回文。
2005-07-11 math.CO math.GR
Christoffel Matrices and Sturmian Determinants
本研究探讨与Christoffel词相关的矩阵,证明其具备群结构,计算了矩阵行列式并建立其与数论Zolotareff符号的联系,丰富了相关领域的代数与数论关联研究。
2024-09-15 cs.DM math.CO math.NT
Christoffel words as extremal structures in Collatz dynamics
University of Oviedo(奥维耶多大学)
研究考拉兹动力学中奇偶序列组合结构,通过关联二进制字及函数\(C(d)\)等,在固定长度和密度二进制字集上解决离散优化问题,证明克里斯托费尔词是\(C_{\min}(d)\)唯一最大值,得出相关限制和界,揭示其与组合学联系及结构刚性。
2026-07-29 math.CO math.DS
Dynamics of balanced parentheses, lexicographic series and Dyck polynomials
这篇文章论述了不同顺序的词典顺序。基于自然数的性质,考虑字典序级数的公理化。集合中的元素首先按照代码长度排序;在每个符号范围内,根据字母表上的给定顺序进行排序。戴克词的序列,戴克系列,作为这样的词典编纂系列的一个例子进行了分析。这个系列的基础是戴克词汇的动态。我们解决的Dyck系列的元素识别的正问题和逆问题。研究了Dyck三角形上的多项式方程。给出了一个Dyck多项式的递推方程。构造了一个多项式系数矩阵来解决一些问题。总之,读者提供了一个软件服务,用于识别索引高达$10^{10}$的戴克词。
2019-09-17 math.CO math.NT
Generalized Lyndon Factorizations of Infinite Words
一个广义的词汇序是一个词汇序,其中字母表的总顺序取决于比较的位置。广义林登字是一个有限字,它是严格最小的一类旋转关于广义字典序。这个概念可以扩展到无限词:无限广义林登词是一个无限词,它在它的后缀类中是严格最小的。我们证明了Dolce,Restivo,和Albertenauer猜想:每一个无限的字有一个独特的非递增分解成有限和无限的广义林登字。当这个分解有很多项时,我们刻画了分解的末项。我们的方法还表明,无限广义林登词正是具有无限多个广义林登前缀的词。
2019-06-20 cs.DM math.CO
Counting occurrences of a pattern in a binary word
本文提出字典序极值引用方法,给出二元词中出现次数的计算公式,并构造算法枚举包含给定词 p 的二元词及本原词,以研究 B_{n,p}(k)。
2025-07-03 math.CO
Lambda Words: A Class of Rich Words Defined Over an Infinite Alphabet
λ字是通过对形式为i+jθ的有序元素之间的差进行编码而获得的序列,其中i和j是非负整数且1 < θ<2。Lambda词是定义在无限字母表上的右无限词,与Sturmian词,Christoffel词和散置数组有联系。我们表明,Lambda词是无限丰富的话。此外,任何Lambda字都可以映射到三个字母表上的右无限字。虽然映射保留了Lambda词的回文和非回文,但产生的Gamma词并不丰富。
2013-03-10 math.CO
Avoiding Squares and Overlaps Over the Natural Numbers
我们考虑避免平方和对自然数的重叠,使用在每一步选择最小可能整数的贪婪算法;生成的词在所有此类无限词中是词典学上最小的。在避免方块的情况下,单词是01020103...,熟悉的标尺函数,并通过迭代均匀态射生成。重叠的情况更具挑战性。我们给出了一个显式定义的态射phi:N* -> N*,它通过迭代生成字典上最小的无限无歧义词。此外,我们证明了对于N中的所有h,k,其中h <= k,词phi^{k-h}(h)是以字母h开始并以字母k结束的词典学上最少的无符号词,并给出了它的一些对称性。
2009-01-12 cs.FL math.CO
A $q$-analog of the Markoff injectivity conjecture holds
该研究证明Markoff单射猜想的$q$-模拟在Christoffel词上成立,基于$q=\text{exp}(iπ/3)$赋值完成证明,还将问题推广至任意词并给出不满足单射性的词对族。
2024-05-21 math.CO math.NT
On balanced and abelian properties of circular words over a ternary alphabet
我们重新审视平衡循环词的分类问题,并专注于三元字母表的情况。我们提出了一个$3$维推广的离散逼近表示的Christoffel的话。通过考虑三元字母表上平衡循环词的阿贝尔复杂度的最小界$3$,我们提供了一个三元字母表上所有循环词的阿贝尔复杂度的分类受到这个界。这一结果也使我们能够构建一个不可数集的双无限非周期词的阿贝尔复杂度等于$3$。
2021-04-30 math.CO
Avoiding fractional powers over the natural numbers
本研究通过自动化方法确定自然数上字典序最小分数幂自由词的结构,涵盖多个有理数族及零星情形,并揭示其与有限字母表及自动序列的联系。
2018-05-28 cs.DM math.CO
A characterization of fine words over a finite alphabet
对于有限字母表A上的任何无限词w,我们可以将两个无限词min(w)和max(w)相关联,使得min(w)的任何前缀(分别为max(w))是字典上最小的(相应地,最大的)在相同长度的W的因子中。我们说A上的无限词w是“好的”,如果存在一个无限词u,使得对于任何字典序,min(w)= au,其中a = min(A)。在本文中,我们刻画好的字;具体地说,我们证明了一个无限的字w是好的当且仅当w是一个“严格episturmian字”或严格“斜episturmian字”。这一刻画推广了G. Pirillo,他证明了一个2字母字母表上的好词要么是一个(非周期性的)Sturmian词,要么是一个最终周期性的(但不是周期性的)无限词,所有这些词的因子都是(有限的)Sturmian。
2007-08-31 cs.DM math.CO
Generalized de Bruijn words for Primitive words and Powers
我们表明,对于每一个$n \geq 1$和任何有限的字母表,有一个字的循环因子的长度$n$有一个一对一的对应关系的原始字的集合。特别是,我们证明了这样一个词可以通过一个贪婪算法,或通过连接所有林登字的长度$n$在增加字典顺序。我们还研究了原始词的de Bruijn图和Lyndon图之间的联系。最后,我们还表明,最短的字,包含每个$p$ -权力的长度$pn$在一个$k$ -字母表的长度之间的$pk^n$和大约$(p+ \frac{1}{k}) k^n$,所有整数$p \geq 1$。提供了一种生成达到该上界的词的算法。
2015-06-29 math.CO
Some Results on Digital Segments and Balanced Words
本文受数字线段近似的几何解释启发,研究了Christoffel字与二元平衡字的组合性质,提出了计算特定零一数量平衡字精确数目的闭式公式,并探讨了极小非平衡字。
2024-11-13 cs.DM cs.FL math.CO
Estimations of the particular periodicity in case of the extremal periods in Shirshov's Height theorem
让我们回顾一下著名的希尔绍夫高度定理。“设A是一个d度的n-生成代数。则存在A的子集A的有限集Y和整数h' = h(A)使得A在集合Y上具有Shirshov高度h'.对于Y,我们可以取长度<d的词的集合。这样的Y称为代数A的一个Shirshov基。希尔绍夫的原始证明是纯粹的组合,但没有提供一个合理的上限估计的高度。Kolotov在1981年得到了h(A)< s^(s^m)(m = deg(A),s是发电机的个数)的估计。I. Zelmanov要求指数约束在德涅斯特笔记本。在2011年,Belov和Kharitonov得到了2^87 m^(12 log_3(m)+48)l的估计值。这一结果回答了Zelmanov的问题,事实上Shirshov的身高有次指数增长。作为Amitzur-Levitsky定理的推论,我们得到h(A)的下估计为((m/2)^2 - 1)(s - 1)+ 1。我们认为必要的高度套小词,以获得准确的估计Shirshov的高度。用n整除定义这样一个词w,它可以被构造为w = v u_1 u_2. u_n,其中对于2到n的每一个i,u_(i-1)按字典序小于u_i。本文的主要结果是:设M是不可n整除的词集合,且满足:1)在词的度2上本质高度有限,则周期为2的词典可比词的个数小于(2l-1)(n-1)(n-2)/2; 2)3度词的本质高度有限,则周期为3的词典可比词的个数…
2011-10-12 math.CO math.RA
On graph products and multi-word-representability
Indian Institute of Technology Guwahati(印度理工学院古瓦哈提分校)
研究四种标准图积(字典序积、笛卡尔积、根积和冠积)下多词可表示数 μ 的行为,给出上界或精确值,并应用于极值函数 τ(n) 的次线性上界。
2026-06-29 cs.DM math.CO
Pairwise Well-Formed Modes and Transformations
音乐史上最重要的态度转变之一发生在文艺复兴时期,当时一种新兴的三元意识促使音乐家们走向一种新的标量形式,将大三度与完全五度相提并论。在本文中,我们重新审视了两个理想化的标量和模态概念之间的对抗,古代和中世纪的世界和早期现代世界,特别是与Zarlino。我们在一个抽象的层次上,在代数组合学的语言上做这件事。在音阶理论中,并置是在合式和成对合式音阶和调式之间,用Christoffel词或标准词及其共轭来表达,以及产生它们的特殊Sturmian态射。成对的良好形成的尺度编码的单词在一个三个字母的字母表,在我们的推广,我们引入特殊的正自同构的$F3$,自由群在三个字母。
2017-07-07 math.CO
The $q$-analog of the Markoff injectivity conjecture over the language of a balanced sequence
马尔可夫内射性猜想指出$w\mapstoμ(w)_{12}$是Christoffel词集合上的内射,其中$μ:\{\mathtt{0},\mathtt{1}\}^*\to\mathrm{SL}_2(\mathbb{Z})$是某种同态,$M_{12}$是$2\times2$矩阵$M$的对角线上方的项。最近,Leclere和Morier-Genoud(2021)提出了$μ$的$q$ -模拟$μ_q$,使得$μ_{q}(w)_{12}|_{q=1}=μ(w)_{12}$是在$q=1$处评估时与Christoffel字$w$相关联的马尔可夫数。证明了$\{\mathtt{0},\mathtt{1}\}^*$上存在一个$<_{radix}$阶,使得对于每个平衡序列$s \in \{\mathtt{0},\mathtt{1}\}^\mathbb{Z}$和所有因子$u, v$,$s$与$u <_{radix} v$的语言中的差$μ_q(v)_{12} - μ_q(u)_{12}$是一个非零多项式的不定$q$与非负整数系数.因此,映射$u\mapstoμ_q(u)_{12}$在平衡序列的语言上是单射的。证明使用满足某些马尔可夫性质的平衡序列和不可区分的渐近对之间的等价性。
2021-12-03 math.CO math.NT
Universal Lyndon Words
一个字母表$Σ$上的词$w$是一个林登词,如果存在一个定义在$Σ$上的顺序,对于这个顺序,$w$在字典上小于它的所有共轭(除了它自己)。我们介绍和研究\emph{universal Lyndon words},这是在一个$n$字母表的话,有长度$n!$,使所有的共轭林登字。我们发现,普遍的林登字存在于每一个$n$,并表现出这些词的组合和结构特性。然后,我们定义特定的前缀码,我们称之为哈密尔顿lex-codes,并表明,每一个哈密尔顿lex-code是在双射与一个通用的林登字的共轭的最短的不重复的前缀的集合。这使我们能够给出一个算法来构造所有的通用林登词。
2014-06-23 cs.DM cs.FL math.CO
On Arithmetically Progressed Suffix Arrays and related Burrows-Wheeler Transforms
我们的特点是这些字符串的后缀数组是基于等差数列,特别是,算术进展的置换,其中所有对连续条目的置换具有相同的差异模各自的字符串长度。我们表明,算术进展置换$P$符合后缀数组的一元,二进制或三进制字符串。我们进一步分析了一个给定的$P$的条件下,我们可以找到一个唯一定义的字符串,无论是二进制或三进制字母表有$P$作为其后缀数组。对于二进制的情况下,我们将其连接到较低的克里斯托弗的话,平衡的话,斐波那契的话。除了解决算术进展后缀数组问题,我们给出了解决这个问题的字符串的Burrows-Wheeler变换的形状。这些结果为今后的研究指明了方向。
2021-07-06 cs.DS cs.FL math.CO
Estimates in Shirshov height theorem
1993年E. I. Zelmanov在Dniester Notebook中提出了以下问题:“假设$F_{2, m}$是一个2-生成的结合环,其身份为$x^m=0$。$F_{2, m}$的幂零度是指数增长的吗?“我们证明了具有单位元$x^d=0$的$l$生成的结合代数的幂零度小于$Ψ(d,d,l)$,其中$Ψ(n,d,l)=l (nd)^{C \log (nd)}$和$C$是常数。我们给出了E. I. Zelmanov通过这个结果。这是一个事实的后果,这是基于组合的话。令$l, n$和$d>n$为正整数。那么基数$l$字母表上长度大于$Ψ(n,d,l)$的所有词要么是$n$ -划分的,要么包含子词的$d$次幂,其中一个词$W$是$n$ -划分的,如果它可以用下面的形式$W=W_0 W_1\dots W_n$表示,使得$W_n \prec W_{n-1}\prec\cdots\prec W_1$ .符号$\prec$在这里意味着字典顺序。A. I. Shirshov证明了集合的非$n$划分的话在字母表的基数$l$有界高度$h$在集合$Y$组成的所有词的程度$<n$。原来的Shirshov估计只是递归的,1982年A. G. Kolotov和1993年A. Ya. Belov得到了指数估计。我们表明,$h<Phi(n,l)$,其中$Phi(n,l) = n^{C \log n} l$和…
2014-11-27 math.CO math.RA
Estimates related to Shirshov height theorem (PhD Thesis)
1993年E. I. Zelmanov提出了以下问题在德涅斯特笔记:$"$假设,$F_{2,m}$是一个$2$生成的结合环的身份$x^m=0$。$F_{2,m}$的幂零度呈指数增长,这是真的吗?$"$证明了具有单位元$x^d=0$的$l$生成的结合代数的幂零度小于$Ψ(d,d,l)$,其中$Φ(n,d,l)=l(nd)^{C\log(nd)}$和$C$是常数.我们给出了E. I. Zelmanov通过这个结果。这是一个事实的后果,这是基于组合的话。令$l$、$n$和$d\ge n$为正整数。那么,如果一个词$W$可以用下面的形式$W=W_0W_1\dots W_n$表示,使得$W_n\succ W_{n-1}\succ\cdots\succ W_1$,那么在基数$l$的字母表上的所有长度大于$Ψ(n,d,l)$的词要么是$n$-划分的,要么包含子词的$d$次幂,其中一个词$W$是$n$ -划分的.符号$\succ$在这里意味着字典顺序。A. I. Shirshov证明了在基数为$l$的字母表上的非$n$划分的词的集合在由所有度为$<n$的词组成的集合$Y$上具有有界高度$h$。原来的Shirshov估计只是递归的,1982年A. G. Kolotov和1993年A. Ya. Belov得到了指数估计。我们证明了$h<Φ(n,l)$,其中$Φ(n,l)=n^{C\log n} l$和…
2015-11-15 math.CO math.RA
Subexponential estimations in Shirshov's height theorem (in English)
1993年E. I. Zelmanov在《德涅斯特笔记》中提出了以下问题:“假设F_{2, m}是一个2-生成的结合环,其恒等式为x^m=0。F_{2, m}的幂零度具有指数增长性,这是真的吗?“我们证明了具有单位元x^d=0的l-生成结合代数的幂零度小于Psi(d,d,l),其中Psi(n,d,l)=2^{18} l(nd)^{3 log_3(nd)+13} d^2.我们给出了E. I. Zelmanov通过这个结果。这是一个事实的后果,这是基于组合的话。设l,n和d>n为正整数。则基数为l且长度大于Psi(n,d,l)的字母表上的所有字都是n分的或包含子字的d次幂,其中一个字W是n分的,如果它可以表示为W=W_0 W_1. W_n使得W_1 >' W_2 ≠'.>“W_n.符号>在这里表示字典序。A. I. Shirshov证明了基数为l的字母表上的非n-整除词的集合在由度<n的所有词组成的集合Y上有界高度h。原来的Shirshov估计只是递归的,1982年A. G. Kolotov得到了双指数,1993年A.Ya.Belov得到了指数估计。证明了h<Phi(n,l),其中Phi(n,l)= 2^{87} n^{12 log_3 n + 48} l.我们的证明使用Dilworth定理应用的Latyshev思想。
2012-07-12 math.CO math.RA
Subexponential estimations in Shirshov's height theorem
1993年E. I. Zelmanov在《德涅斯特笔记》中提出了以下问题:“假设F_{2, m}是一个2-生成的结合环,其恒等式为x^m=0。F_{2, m}的幂零性程度是否具有指数增长性?“我们证明了具有单位元x^d=0的l-生成结合代数的幂零度小于Psi(d,d,l),其中Psi(n,d,l)=2^{18} l(nd)^{3 log_3(nd)+13} d^2.我们给出了E. I. Zelmanov通过这个结果。这是一个事实的后果,这是基于组合的话。设l,n和d>n为正整数。则基数为l且长度大于Psi(n,d,l)的字母表上的所有字都是n分的或包含子字的d次幂,其中一个字W是n分的,如果它可以表示为W=W_0 W_1. W_n使得W_1 >' W_2 ≠'.>“W_n.符号>在这里表示字典序。A. I. Shirshov证明了基数为l的字母表上的非n-可分词集合在由度<n的所有词组成的集合Y上有界高度h。原来的Shirshov估计只是递归的,1982年A. G. Kolotov得到了双指数,1993年A.Ya.Belov得到了指数估计。证明了h<Phi(n,l),其中Phi(n,l)= 2^{87} n^{12 log_3 n + 48} l.我们的证明使用Dilworth定理应用的Latyshev思想。
2012-07-14 math.CO math.RA
Positive Bidiagonal Factorizations: Combinatorial Structure, Spectral Theory, and Matrix Continued Fractions
Complutense University of Madrid(马德里康普顿斯大学)
本文从有序双对角分解构造矩阵连分数,通过循环线性化和有理高度排序转化为块三对角形式,截断得到 Padé 型逼近,并给出收敛性、残差估计及多种谱实现。
2026-09-24 math.CA math.CO math.SP