Asymptotic bounds for the number of closed and privileged words
本文研究闭词和特权词的计数,改进其渐近上下界,完全解决闭词渐近行为,并近乎解决特权词渐近行为。
2024-05-22 cs.DM cs.FL math.CO
Privileged users in zero-error transmission over a noisy channel
图$G$的$k$ -次幂是其顶点集为$V(G)^k$的图,其中两个不同的$k$ -元组相邻当且仅当它们在$G$中的每个坐标上相等或相邻。$G$的香农容量$c(G)$是$\lim_{k\to\infty}α(G^k)^{1/k}$,其中$α(G)$表示$G$的独立数。当$G$是信道$\mathcal{C}$的特征图时,$c(G)$测量零错误协议中$\mathcal{C}$的有效字母大小。通道之和$\mathcal{C}=\sum_i \mathcal{C}_i$描述了当存在$t\geq 2$时的设置,每个$t\geq 2$都有自己的通道$\mathcal{C}_i$,并且单词中的每个字母都可以从任何一个通道中选择。这对应于特征图$G=\sum_i G_i$的不相交并集。我们发现,对于任何固定的$t$和任何家庭$F$的子集的$T={1,2,...,t}$,有$t$图$G_1,G_2, ...,G_t$,使每个子集$I$的$T$,香农容量的不相交的联盟$\sum_{i \in I} G_i$是“大”,如果$I$包含一个成员的$F$,否则是“小”。
2006-08-03 math.CO
Property of upper bounds on the number of rich words
一个限定词$w$称为\emph{rich},如果它包含$\vert w\vert+1$不同的回文因子,包括空词。令$q\geq 2$为字母表的大小。令$R(n)$为长度为$n$的富字的数量。设$d>1$是实常数,$ϕ, ψ$是实函数,使得\begin{itemize}\item there is $n_0$ such that $2ψ(2^{-1}ϕ(n))\geq dψ(n)$ for all $n>n_0$, \item $\frac{n}{ϕ(n)}$ is an upper bound on the palindromic length of rich words of length $n$, and \item $\frac{x}{ψ(x)}+\frac{x\ln{(ϕ(x))}}{ϕ(x)}$ is a strictly increasing concave function. \end{itemize}我们证明了,如果$c_1,c_2$是实常数,且$R(n)\leq q^{c_1\frac{n}{ψ(n)}+c_2\frac{n\ln(ϕ(n))}{ϕ(n)}}$,则对于每个实常数$c_3>0$,存在正整数$n_0$,使得对于所有$n>n_0$,我们有\[R(n)\leq q^{(c_1+c_3)\frac{n}{dψ(n)}+c_2\frac{n\ln(ϕ(n))}…
2022-12-18 cs.DM math.CO
A Tighter Upper Bound for the Number of Distinct Squares in Circular Words
Hangzhou International Innovation Institute of Beihang University(北京航空航天大学杭州国际创新学院);LMIB-School of Mathematical Sciences, Beihang University(北京航空航天大学数学科学学院)
研究圆周词中不同平方数的数量,改进上界至1.5n。
2026-05-12 math.CO
On the size of the neighborhoods of a word
该研究针对单词的莱文斯坦距离邻域相关问题,给出一元单词的压缩与超压缩邻域大小的精确公式,提出并证明了给定长度任意单词压缩邻域最大规模的新上界及猜想上界,可用于近似模式匹配算法的复杂度分析。
2025-09-03 cs.DM math.CO
An upper bound of the number of distinct powers in binary words
幂是$\underbrace{uu...u}_{k \; \text{times}}$形式的字,其中$u$是字,$k$是正整数,平方是$uu$形式的字。Fraenkel和Simpson在1998年提出,单词中不同方块的数量受单词长度的限制。这个猜想最近被Brlek和Li证明了。此外,Jonoska,Manea和Seki提出的二进制字存在一个更强的上界,即对于字母表$\left\{a, b\right\}$上长度为$n$的字,如果我们让$k$是a的个数和b的个数以及$k \geq 2$中最小的,则不同方块的个数上界为$\frac{2k-1}{2k+2}n$。在这篇文章中,我们证明了这个猜想,给出了一个更强的陈述的数目不同的权力,在一个二进制字。
2022-09-14 math.CO
Maximal number of subword occurrences in a word
该研究定义了子词熵以衡量单词中子词的最大出现次数,给出固定长度单词最小子词熵的上下界及每字母熵的极限,改进二元字母表上界并提出相关猜想。
2025-05-14 cs.DM math.CO
Subexponential upper bound on the number of rich words
针对有限字母表上长度为n的丰富字计数问题,本文构造了满足次指数增长的上界函数B(n),首次给出了R(n)的次指数上界,填补了该领域的研究空白。
2026-10-20 cs.DM math.CO
Upper Bound for Palindromic and Factor Complexity of Rich Words
长度为$n$的有限字$w$至多包含$n+1$不同的回文因子。如果达到了绑定的$n+1$,那么单词$w$就被称为rich。一个无穷词$w$称为富的,如果$w$的每个有限因子都是富的。令$w$是在具有$q>1$字母的字母表上的词(有限或无限),令$F(w,n)$是词$w$的长度为$n$的因子的集合,并且令$F_p(w,n)\subseteq F(w,n)$是词$w$的长度为$n$的回文因子的集合。我们提出了几个上界的$| F(w,n)|$和$| F_p(w,n)|$,其中$w$是一个丰富的词。在2007年,Bal{á}{\[| F(w,n)| \leq (q+1)8n^2(8q^{10}n)^{\log_2{2n}}+q\mbox{.}\] z}i,Mas{á}kov{á}和Pelantov{á}证明了\[| F_p(w,n)| +| F_p(w,n+1)| \leq | F(w,n+1)|-| F(w,n)|+2\mbox{,}\],其中$w$是一个无穷词,其因子集在反转下是封闭的。我们把这个不等式推广到有限词上。
2019-10-23 math.CO
An improvement to a recent upper bound for synchronizing words of finite automata
自60年代以来,已知任何完全离散的$n$状态自动机对于某个绝对常数$α$允许长度不超过$αn^3+o(n^3)$的复位字。J. - E. Pin和P. Frankl在1982年用$α=1/6=0.1666...$证明了这一说法,直到2017年M. Szykua将其值降低至$α\approx0.1664$。在这篇文章中,我们提出了一个修改的最新方法,并开发了一个不同的计数参数,从而导致更大的改进$α\leqslant 0.1654$。
2019-01-19 math.CO
A new upper bound for separating words
我们证明,对于任何不同的$x,y \in \{0,1\}^n$,有一个确定性有限自动机与$\widetilde{O}(n^{1/3})$状态,接受$x$,但不接受$y$。这改进了Robson在1989年提出的$\widetilde{O}(n^{2/5})$的上界。
2022-01-11 cs.FL math.CO math.NT
Reconstructing words using queries on subwords or factors
我们研究单词重构问题。改进了P.Fleischmann,M. Lejeune,F. Manea,D. Nowotka和M.里戈,我们证明,对于任何未知的词$w$的长度$n$在一个字母表的基数$k$,$w$可以重建作为子字(或分散的因素)的$O(k^2\sqrt{n\log_2(n)})$字的出现次数。S. S. Skiena和G. Sundaram也略有改进:一个是考虑子词存在的信息,而不是它们出现的次数,另一个是考虑因子存在的信息。
2023-01-04 cs.DM math.CO
Sets Represented as the Length-n Factors of a Word
在本文中,我们考虑以下问题:有多少不同的子集Sigma^n可以出现作为一个有限字的所有长度为n的因素的集合?如果一个子集是可表示的,我们需要用多长的词来表示它?有多少个这样的子集由长度为t的单词表示?对于第一个问题,我们给出了二元情形下的形式alpha^(2^n)的上界和下界。对于第二个问题,我们给出了一个弱上界和一些实验数据。对于第三个问题,在n <= t < 2n的情况下,我们给出了一个封闭形式的公式。这些问题的数学变体以前被称为“最短公共超弦”。
2013-04-12 cs.DM cs.FL math.CO
Density Characterization with The Upper Bound of Density of Fibonacci Word
本文研究斐波那契词的自然密度与结构关系,推导其密度上界、生成函数与组合公式,验证其密度趋近于1的结论并揭示相关增长与极限特性。
2025-10-28 math.CO
The Tight Upper Bound on the Number of Distinct Squares in Circular Words
Kyushu University(九州大学)
本文证明了长度为 $n$ 的循环单词中长度不超过 $n$ 的不同平方数至多为 $\lfloor 3n/2 \rfloor$,该上界紧,且与已知下界一致。
2026-10-06 cs.DS math.CO
A syntactic approach to the MacNeille completion of $\boldΛ^{\ast}$, the free monoid over an ordered alphabet $\bold Λ$
设$Λ^{\ast}$是不一定有限的字母表$Λ$上的(有限)字的自由幺半群,它具有某种(部分)序。这种排序提升到$Λ^{\ast}$,它扩展了单词的整除性排序。$Λ^{\ast}$的MacNeille完备化构成了一个完全格序幺半群,并由$Λ^*$的“闭”下集系统(按包含序)或由“闭”上集构成的同构副本(按反包含序)来实现。在对$Λ$的一些附加假设下,人们可以很容易地将闭下集识别为下生成集,而确定闭上集则要复杂得多。对于一个相当大的有序集类$Λ$(包括完全格以及反链),人们可以通过二元运算(“语法规则”)生成任何上面的字集的闭包,从而获得一个有效的过程来测试封闭性。赋值定向图的一个嵌入定理涉及闭上字集。事实上,广义路径(所谓的“标签”)是由字母表$Λ$上的单词编码的。然后,可等距嵌入到一个双标记乘积中的赋值定向图具有这样的特征性质:在$Λ$中,与任意一对顶点之间的双标记对应的字形成一个闭上集.
2018-05-07 math.CO
A note on the maximum number of $k$-powers in a finite word
\emph{power}是$\underbrace{uu...u}_{k \; \text{times}}$形式的字,其中$u$是字,$k$是正整数;幂也称为{ \em $k$ -幂},$k$是它的{ \em指数}。我们证明,对于任何$k \ge 2$,不同的非空$k$ -功率因子在一个字的长度$n$的最大数量是在$\frac{n}{k-1}-Θ(\sqrt{n})$和$\frac{n-1}{k-1}$。我们还证明了在一个长度为$n$的字中,指数至少为2的不同非空幂因子的最大数目至多为$n-1$。这两个上界都推广了Brlek和Li(2022)关于长度$n$字中不同平方因子的最大数量的$n-1$的最近上界。
2022-05-20 math.CO
The total number of descents and levels in tensor words and cyclic tensor words
本文推导了任意维度张量词与循环张量词中下降和水平总数的显式公式,并基于词中下降的精确最大数给出了张量词下降最大数的上界。
2023-11-19 math.CO
Stack words and a bound for 3-stack sortable permutations
我们使用堆栈字找到一个新的,简单的证明最好的已知的上界的数量的3-堆栈排序排列的一个给定的长度。这是第一次使用堆栈字来获得这样的结果。
2020-01-21 math.CO
Factor frequencies in languages invariant under more symmetries
在循环非周期无限字中,长度为$n+1$的因子的频率数不超过$3Δ\C(n)$,其中$Δ\C (n)$是因子复杂度的第一个差,如Boshernitzan所示。Pelantová与作者一起得出了一个更好的上界无限的话,其语言是封闭的逆转。本文进一步缩小了语言在对称的有限群的所有元素下不变的一致递归无限词的上界,并证明了所得到的上界的最优性。
2011-07-03 math.CO
Prefix palindromic length of the Thue-Morse word
无限字$u$的前缀回文长度$PPL_u(n)$是表示$u$的长度为$n$的前缀所需的最小连接回文数目。在2013年与Puzynina和Zamboni的一篇论文中,我们提出了一个猜想,即对于每一个不是最终周期的无限字$u$,$PPL_u(n)$都是无界的。到目前为止,该猜想已被证明几乎所有的话,包括所有的话,避免一些权力$p$。然而,即使在这种简单的情况下,现有的最小数$n$的上限使得$PPL_u(n)>K$大于任何常数的$K$的幂。即使对于斐波那契数列这样最简单的例子,也不知道$PPL_u(n)$的精确值。在本文中,我们给出了第一个例子,这样一个精确的计算和计算的前缀回文长度的Thue-Morse字,一个著名的测试对象的所有功能无限的话的函数。碰巧这个序列是$2$ -正则的,这就提出了这个事实是否可以推广到所有自动序列的问题。
2019-08-28 cs.DM math.CO
Improved bounds on the number of ternary square-free words
改进的上界和下界上的平方无三进制字的数量。上界是基于长度为110的无平方数三进制字的枚举。下界是通过构造广义Brinkhuis三元组得到的。寻找这样的三元组的问题基本上可以归结为一个组合问题,可以有效地用计算机处理。特别是,它表明,长度为n的无平方三进制字的数量增长至少为65^(n/40),取代以前的最佳下界2^(n/17)。
2001-08-02 math.CO
On the Representation Number of Bipartite Graphs
词可表示图是一个简单的图$G$,它可以用$G$的顶点上的词$w$表示,使得$G$中的任何两个顶点相邻,当且仅当它们在$w$中交替。众所周知,可比较图的类-允许传递方向的图-正是可以由顶点排列的串联表示的图的类。二部图类是可比图的一个子类。确定可比较图的表示数是一个悬而未决的问题,证明了二部图在$n$顶点上的表示数至多为$n/4$ .在本文中,我们提出了一个多项式时间的重新标记算法,以产生一个字表示一个给定的二分图,这是一个串联的排列图的顶点。这样我们得到了二部图的表示数的一个上界,进而给出了二部图所对应的偏序集的维数的一个上界。
2021-09-08 cs.DM math.CO
Reconstructing Words from Right-Bounded-Block Words
一个重建问题的话,从分散的因素要求的最小信息,如多集的分散因素的一个给定的长度或出现的分散因素从一个给定的集合,需要唯一地确定一个字。我们表明,一个词$w \in \{a, b\}^{*}$可以重建的出现次数最多$\min(|w|_a, |w|_b)+ 1$分散的因素的形式$a^{i} b$。此外,我们推广的结果的形式$\{1,\ldots,q\}$的字母表显示,最多$ \sum^{q-1}_{i=1} |w|_i (q-i+1)$分散的因素足以重建$w$。这两个结果都改进了迄今为止已知的上界。重建算法的复杂性时间界限也被认为是在这里。
2020-03-16 cs.DM cs.FL math.CO
On the number of $k$-powers in a finite word
本文试图攻击Fraenkel和Simpson在1998年提出的关于有限字中不同平方数的猜想。通过计算(右)特殊因子的个数,给出了任意整数$k\geq 3$的有限字中{ \em-幂}个数的一个上界.通过{ \em $k$ -power},我们表示形式为$\underbrace{uu...u}_{k \; \text{times}}$的单词。
2022-03-31 math.CO
Maximum number of one-element commutation classes of a permutation
University of Coimbra(科英布拉大学)
本文研究了排列的单元素交换类的最大数目,并通过上界证明了缩减词数目与交换类数目的关系猜想。
2026-01-14 math.CO
Diameters of Graphs on Reduced Words of 12 and 21-Inflations
对称群中的任意置换都可以由相邻的置换序列生成,这是一个经典的结果。最小长度的序列被称为约化字,在本文中,我们研究这些约化字的图,其边由基础Coxeter群中的关系确定。最近,Reiner和Roichman以及Assaf计算了最长排列$n\ldots 21$的直径。本文给出了12-膨胀图和多个21-膨胀图的直径的归纳公式。这些结果扩展到相关的图交换和长辫子类。这些结果也给出了最长置换直径的一个递推公式,与Reiner,Roichman和Assaf的结果一致.最后,我们进一步研究了Reiner和Roichman基于超平面排列的直径的约束界,并找到了满足猜想的上界和下界的置换族.特别地,避免312或231的置换具有实现上界的图。
2020-10-29 math.CO
Geometry and algorithms for upper triangular tropical matrix identities
我们提供几何方法和算法来验证,构建和枚举对的话(指定长度超过一个固定的$m$ -字母表),形成身份的半群$\ut{n}$的$n\times n$上三角热带矩阵。在$n=2$的情况下,这些恒等式恰好是双环幺半群所满足的恒等式,而在$n=3$的情况下,它们形成秩为$3$的plactic幺半群中所保持的恒等式的子集。每个字,我们关联的签名序列的格多面体,并表明,两个字形成一个身份$\ut{n}$当且仅当他们的签名是相等的。因此,我们的算法是基于多面体计算,并在某些情况下实现最佳的复杂性。对于$n=m=2$,我们证明了一个结构定理,它使我们能够快速枚举的字对固定长度的形式身份$\ut{2}$。这使我们能够恢复一个简短的证明Adjan定理的最小长度身份的双环幺半群,并构建最小长度身份$\ut{3}$,提供反例的猜想伊扎克在这种情况下。最后,我们通过分析我们算法的输出获得了半群理论、概率和组合学交叉的六个猜想。
2018-08-13 math.CO math.GR
Enumerating binary words restricted by subsequence frequency
研究长度为\(n\)且恰好有\(k\)个子序列等于特定长度为\(\ell\)且有\(r\geq2\)个游程的二进制单词\(p\)的数量,证明其为\(n\)的至多\(\ell - r + 1\)次多项式,并给出相关上界。
2026-07-07 math.CO
Improved upper bound on the number of distinct k-decks for any k and alphabet size by counting the independent parameters
通过计数Lyndon词确定k-序列的仿射子空间维数,改进了不同k-序列数量的上界,并在前两个非平凡情形证明了匹配下界。
2026-09-30 cs.IT math.CO math.IT
Short Synchronizing Words for Random Automata
本文证明了一致随机自动机以高概率存在长度为$O(n^{1/2}\log n)$的短同步字,通过引入$w$-树概念及概率方法证明随机自动机的强结构结果,从而确立了比以往更紧的上界。
2023-07-03 cs.DM cs.FL math.CO
On the Failure of the Upper Bound in the Refined BMV Conjecture and a Pinching Correction
Troy University(特洛伊大学)
本文分析了精化BMV猜想为何失效,提出了一种pinching修正方法,通过研究交换部分的性质,修正了原猜想中的上界问题,并给出了在两种字母情况下修正猜想的证明。
2026-05-18 math.CO math.FA math.OA
The complexity of smooth words over binary alphabets
CNRS, Aix Marseille Univ, I2M(法国国家科学研究中心,艾克斯-马赛大学,I2M);Aix Marseille Univ, CNRS, I2M(艾克斯-马赛大学,法国国家科学研究中心,I2M)
本文研究二元字母表上平滑词的因子复杂度,证明了有限平滑词是平滑词的因子,并证明了在偶数字母表上的复杂度阶,在任意二元字母表上的下界,改进了奇数字母表上的上界。
2026-10-16 cs.FL math.CO math.DS
Mapping words to powers by morphisms
本文刻画了能被单射态射映射至任意高次幂的字,证明了其余字的最高次幂线性上界,并证明判定字能否经非周期态射映射为 $n$ 次幂或非本原字是 NP-hard 且属于 PSPACE 的。
2025-03-02 cs.FL math.CO
Systems of word equations, polynomials and linear algebra: A new approach
我们开发了一种新的工具,即多项式和线性代数方法,用于研究系统的字方程。我们说明它的有用性,基本上简单的几个困难的问题的证明。同时证明了这些结果的推广。最后,我们得到了独立系统最大规模基本问题的第一非平凡上界。这些界限二次依赖于最短方程的大小。以前没有已知的具有这样的界限的方法。
2014-01-29 cs.FL math.CO
An Elementary Proof of the $\widetilde O(n^{1/3})$ Bound for Separating Words
针对分离单词问题,用有限差分和二阶实递推截断替代复分析估计,给出初等证明,得到 $O(n^{1/3}(\log n)^{7/3})$ 状态的显式上界。
2026-09-09 cs.CC cs.FL math.CO
Two-dimensional Fibonacci Words: Tandem Repeats and Factor Complexity
如果$x$是非空字符串,则重复$xx$称为串联重复。类似地,二维阵列$X$中的串联是由相同的基元块$W$组成的配置,所述基元块$W$以一侧或角彼此接触。在\cite{Apostolico:2000}中,Apostolico和Brimkov证明了大小为$m \times n$的二维字中串联数的各种界限。在其中考虑的两种类型的串联中,他们还证明,对于一种类型,$m \times n$斐波那契阵列中出现的次数达到了一般的上限,即$\mathcal{O}(m^{2}n \hspace{0.1cm} \mbox{log} \hspace{0.1cm} n)$。本文给出了有限Fibonacci阵列$f_{m,n}$中串联数的精确表达式。作为必要的结果,我们推导出了$f_{m,n}$,$m,n \ge 0$和无限Fibonacci字$f_{\infty, \infty}$的因子复杂度。生成的$f_{\infty, \infty}$和$f_{m,n}$,对于任何给定的$m,n \ge 1$使用二维同态也实现。
2022-05-05 math.CO
An Improved Lower Bound for $n$-Brinkhuis $k$-Triples
令$s_n$是由数字0、1和2组成的三进制字母表组成的字的数目,使得没有子字(或因子)是正方形(与自身连接的字,例如,$11$、$1212$或$102102$)。根据计算证据,$s_n$以大约$1.317277^n$的速率呈指数增长。虽然已知的上界已经相对接近的限制率,有效的下限是更难以获得。本文构造了一个$54$ -$952$ -三元组,得到了一个改进的$n$ -字母三元无平方字个数的下界:$952^{n/53} \approx 1.1381531^n$ .
2016-06-06 cs.FL math.CO