Long $n$-zero-free sequences in finite cyclic groups
整数模$n$的加法群${\mathbb Z}_n$中的序列称为$n$ -无零,如果它不包含长度为$n$且和为零的连续序列。本文刻画了长度大于$3n/2-1$的${\mathbb Z}_n$中的$n$ -无零序列。这些序列的结构是完全确定的,这概括了一些以前已知的事实。表征不能以相同的形式扩展到更短的序列长度。的主要结果的后果是最好的可能的下界的最大多重性的一项在$n$ -零自由序列的任何给定的长度大于$3n/2-1$在${\mathbb Z}_n$,也为合并的多重性的两个最重复的条款。另一个应用是在与经典的埃尔德什、金兹伯格和齐夫定理有关的函数的一定范围内求值。
2006-04-16 math.CO math.NT
On the Index of Sequences over Cyclic Groups
设$G$是$n \ge 2$阶的有限循环群.每个序列$S$ over $G$可以写成$S=(n_1g)\cdot ... \cdot (n_lg)$的形式,其中$g\in G$和$n_1,..., n_l \in [1,\ord(g)]$,并且$S$的索引$\ind (S)$被定义为所有具有$\ord (g) = n$的$g \in G$上的$(n_1+ ... + n_l)/\ord (g)$的最小值。本文证明了一个序列$S$在$G$上的长度为$|S| = n$且其重数至少为$\frac{n}{2}$的序列有一个子序列$T$,其重数至少为$\ind (T) = 1$,并且如果群序$n$是素数,则重数的假设可以放宽为$\frac{n-2}{10}$ .另一方面,如果$n=4k+2$具有$k \ge 5$,我们提供了一个序列$S$的例子,该序列具有长度$|S| > n$和具有多重性$\frac{n}{2}-1$的元素,该元素没有具有$\ind (T) = 1$的子序列$T$。这就推翻了莱姆克和克莱特曼20年前提出的一个猜想。
2011-03-11 math.CO math.NT
Minimal zero-sum sequences of length five over finite cyclic groups
设$G$是有限循环群.每个长度为$l$ over $G$的序列$S$可以写成$S=(n_1g)\cdot\ldots\cdot(n_lg)$的形式,其中$g\in G$和$n_1, \ldots, n_l\in[1, \ord(g)]$,并且$S$的索引$\ind(S)$被定义为所有可能的$g\in G$上的最小值$(n_1+\cdots+n_l)/\ord(g)$,使得$\langle g \rangle =G$。当$G=\langle g\rangle$是素数阶循环群且$S$的形式为$S=g^2(n_2g)(n_3g)(n_4g)$时,本文确定了长度为5的极小零和序列$S$的指数.证明了若$G=\langle g\rangle$是素数阶循环群$p \geq 31$,则除$S=g^2(\frac{p-1}{2}g)(\frac{p+3}{2}g)((p-3)g)$外,所有上述形式的极小零和序列$S$的指数为1.
2013-03-07 math.CO
Minimal zero-sum sequences of length four over finite cyclic groups II
设$G$是有限循环群. $G$上的每个序列$S$都可以写成$S=(n_1g)\cdot\ldots\cdot(n_lg)$的形式,其中$g\in G$和$n_1, \ldots, n_l\in[1, \ord(g)]$,并且$S$的索引$\ind(S)$被定义为所有可能的$g\in G$上的$(n_1+\cdots+n_l)/\ord(g)$的最小值,使得$\langle g \rangle =G$。关于长度为4的序列的索引的一个公开问题是问具有$\gcd(|G|, 6)=1$的有限循环群$G$上的每个长度为4的极小零和序列的索引是否为1。本文证明了:如果$G=\langle g\rangle$是一个循环群,其阶为两个素数幂和$\gcd(|G|, 6)=1$的乘积,则每个形式为$S=(g)(n_2g)(n_3g)(n_4g)$的极小零和序列$S$的指数为1.特别地,我们的结果证实了当$G$的阶是两个不同素数或一个素数幂的乘积时,上述问题有肯定的答案,推广了第一作者Plyley,Yuan和Zeng最近的一个结果.
2013-03-07 math.CO
Multi de Bruijn Sequences
我们将de Bruijn序列的概念推广到“多重de Bruijn序列”:一个循环或线性序列,包含大小为q的字母表上的每个k-mer正好m次。例如,在二进制字母表{0,1}上,循环序列(00010111)和线性序列000101110各自包含每个2-mer 00,0,1,10,11的两个实例。我们推导出公式的数量这样的序列。公式和推导推广了经典的de Bruijn序列(m=1的情况).我们还确定了包含每个k-mer的非周期循环序列的多集的数量正好m次;例如,循环序列对(00011)(011)包含上面列出的每个2-mer的两个实例。这使用了由于Mantaci等人的Burrows-Wheeler变换的扩展,并且推广了Higgins对于m=1的情况的结果。
2017-08-11 math.CO
On the unsplittable minimal zero-sum sequences over finite cyclic groups of prime order
设$p > 155$是素数,$G$是阶为$p$的循环群.令$S$是具有$G$上的元素的最小零和序列,即,$S$中元素的和为零,但$S$的真非平凡子序列的和不为零。如果$S$和$x,y \in G$中不存在$g$,使得$g=x+y$和$Sg^{-1}xy$也是最小零和序列,则称$S$是不可分裂的.本文证明了:若$S$是长度为$|S|= \frac{p-1}{2}$的不可分裂的极小零和序列,则有$S=g^{\frac{p-11}{2}}(\frac{p+3}{2}g)^4(\frac{p-1}{2}g)$或$g^{\frac{p-7}{2}}(\frac{p+5}{2}g)^2(\frac{p-3}{2}g)$ .此外,如果$S$是具有$|S| \ge \frac{p-1}{2}$的最小零和序列,则$\ind(S) \leq 2$。
2014-09-06 math.CO
Extremal sequences for the unit-weighted Gao constant of $\mathbb Z_n$
对于$A\subseteq \mathbb Z_n$,$A$加权Gao常数$E_A(n)$被定义为最小自然数$k$,使得$\mathbb Z_n$中的$k$元素的任何序列具有长度为$n$的子序列,其$A$加权和为零.在$\mathbb Z_n$中长度为$E_A(n)-1$的序列,如果没有任何长度为$n$的$A$ -加权零和子序列,则称为高常数的$A$ -极值序列。这种具有$n-1$ 0的序列被称为标准类型。当$A=U(n)$(单位在$\mathbb Z_n$),其中$n$是奇数,我们的特点,所有这样的序列,并表明它们是标准型。当$n$是甚至,我们给出的例子,这样的序列是不是标准类型。当$n=2^rp$,其中$p$是奇素数时,我们还刻画了Gao常数的$U(n)$ -极值序列.
2022-04-15 math.CO math.NT
The intersection spectrum of Skolem sequences and its applications to lambda fold cyclic triple systems, together with the Supplement
n阶Skolem序列是序列S_n=(s_{1},s_{2},.,s_{2n})的2n个整数,包含每个整数1,2,.,n正好两次,使得整数j在{1,2,.,n}被恰好j-1个整数分隔。证明了存在两个n阶Skolem序列的必要条件是充分的,其中0,1,2,. n-3和n对在相同位置。进一步,我们将这个结果应用于循环二、三、四重三元系的精细结构,也应用于三重定向三元系和三重Mendelsohn三元系的精细结构.为了更好地理解该文件,我们在“补充”中添加了更多细节。
2013-03-15 math.CO
Tight MIP formulations for bounded length cyclic sequences
我们研究循环二进制字符串的连续的1和0的间隔的长度上的界限。这是由调度问题,这样的二进制字符串可以用来表示状态(开/关)的机器。在这种情况下,边界对应于开或关间隔的最小和最大长度,并且循环串可以用于对周期性时间表进行建模。非循环弦的扩展结果并不直接。我们提出了一个非平凡的紧紧凑的扩展网络流制定,以及有效的不平等的状态和启动变量的空间中的一些被证明是刻面定义。应用析取规划的结果,我们还将扩展的网络流制定到一个扩展的制定的状态和启动变量的空间。
2018-09-06 cs.DM math.CO math.OC
Generating Functions, Weighted and Non-Weighted Sums for Powers of Second-Order Recurrence Sequences
在本文中,我们发现封闭形式的任何非退化的二阶递归序列的权力的生成函数,完成了研究开始由Carlitz和Riordan在1962年。此外,我们推广了Horadam关于涉及这类序列的部分和的一个定理。此外,我们发现封闭形式的加权(由二项式系数)的权力的任何非退化的二阶递归序列的部分和。作为推论,我们给出了一些已知的和似乎未知的身份,并得出一些非常有趣的同余关系涉及斐波那契和卢卡斯序列。
2000-10-15 math.CO
On Sequences in Cyclic Groups with Distinct Partial Sums
阿贝尔群的子集是{ \em可定序的},如果存在其元素的排序$(x_1, \ldots, x_k)$,使得由对于$1 \leq i \leq k$的$y_0 = 0$和$y_i = \sum_{j=1}^i x_i$给出的部分和$(y_0, y_1, \ldots, y_k)$是不同的,可能的例外是我们可能有$y_k = y_0 = 0$。我们证明了当$n = mt$在许多情况下,包括当$m$是素数或对于$k \leq 11$和$t \leq 5$以及对于$k=12$和$t \leq 4$具有大于$k! /2$的所有素数因子时,$\mathbb{Z}_n \setminus \{ 0 \}$的大小$k$的子集的可测序性。我们得到类似的,但部分,结果$13 \leq k \leq 15$。这代表了进展的各种问题和progratures在文献中关于sequenceability的子集的阿贝尔群,我们结合起来,并总结成猜想,如果一个子集的阿贝尔群不包含0,那么它是sequenceable。
2022-04-01 math.CO
On indefinite sums weighted by periodic sequences
对于任意整数$q\geq 2$,我们给出了用序列$(f(qn+p))_{n\geq 0}$的不定和来表示序列$(f(n))_{n\geq 0}$被$q$ -周期序列加权的不定和的公式,其中$p\in\{0,\ldots,q-1\}$ .当后一个和的显式表达式可用时,这个公式立即提供前一个和的显式表达式。我们还通过一些例子来说明这个公式。
2019-05-09 cs.DM math.CO math.NT
On monoids of weighted zero-sum sequences and applications to norm monoids in Galois number fields and binary quadratic forms
设$G$是一个加法有限阿贝尔群,$Γ\subset \operatorname{End} (G)$是$G$的自同态群的子集.如果存在$γ_1, \ldots, γ_{\ell} \in Γ$使得$γ_1 (g_1) + \ldots + γ_{\ell} (g_{\ell})=0$,则$G$上的序列$S = g_1 \cdot \ldots \cdot g_{\ell}$是($Γ$ -)加权零和序列。我们从赋范幺半群(具有Galois群$Γ$的Galois代数数域的幺半群)和正整数幺半群(用二元二次型表示)到加权零和序列幺半群构造了转移同态.然后研究了加权零和序列幺半群的代数和算术性质。
2022-08-23 math.AC math.CO math.NT
Polynomial recurrences and cyclic resultants
设$K$是特征为零的代数闭域,令$f \in K[x]$ . $f$的第$m$个{ \it循环结式}是\[r_m = \text{Res}(f,x^m-1).\]。通用一元多项式由其循环结式的全序列确定;然而,证明该结果的已知技术没有给出有效的计算界限。我们证明了一个通用的一元多项式的次数$d$是由它的第一个$2^{d+1}$循环结式和通用的一元倒数多项式的次数$d$是由它的第一个$2\cdot 3^{d/2}$。此外,我们证明了循环结式满足长度为$d+1$的多项式递归。这一结果证明了Sturmfels和Zworski的猜想,即$d+1$的结式决定了$f$。在这个过程中,我们建立了两个独立的兴趣一般结果:我们表明,某些Toeplitz行列式是足以确定是否是线性递归序列,我们给出的条件下,线性递归序列满足多项式递归的长度较短。
2006-11-07 math.AG math.CO
Non-standard linear recurring sequence subgroups and automorphisms of irreducible cyclic codes
设\(\cU\)是有限域\(\bbF_q\)上\(x^n-1\)的分裂域\(\bbF_{q^m}\)中~ \(n\)阶的乘法群.任何形式为\(x\rightarrow cx^t\)的带有\(c\in \cU\)和\(t=q^i\)的映射,\(0\leq i<m\),都是\(\bbF_q\) -在~ \(\bbF_{q^m}\)上的线性映射,并且按集合固定\(\cU\);这种类型的映射将被称为{ \em标准\/}。偶尔会有其他的{ \em非标准\/} \(\bbF_q\) -线性映射在~ \(\bbF_{q^m}\)上固定\(\cU\)集合,在这种情况下,我们说对\((n, q)\)是{ \em非标准\/}。我们证明了当\((n, q)\)对是非标准的时,\(\bbF_q\)上长度为~ \(n\)的不可约循环码具有“额外”的置换自同构(除了由循环移位和Frobenius映射生成的{ \em标准\/}置换之外,每个这样的码都具有);我们将这样的不可约循环码称为{ \em非标准\/}或{ \em NSIC码\/}。此外,我们将这些概念,一个非标准的线性递归序列子群的研究中的一系列文件的Brison和Nogueira。我们提出了几个家庭的NSIC码,和两个结构称为“提升”和“扩展”,以创建新的NSIC码从现有的。我们证明了所有二维的NSIC码都可以用这种方法得到,从而完成了Brison和N…
2022-02-16 cs.IT math.CO math.IT
On zero-sum polytopes: reciprocity, rigidity, and cyclic sieving
引入零和多面体,将零和序列计数转化为有理Ehrhart理论问题,证明组合互反定理,建立面分层刚性,并研究自同构群作用下的循环筛分现象。
2026-06-09 math.CO
Dual numbers, weighted quivers, and extended Somos and Gale-Robinson sequences
我们研究了一个通用的方法,允许一个新的整数序列扩展现有的。我们将这种方法应用于经典的Somos-4和Somos-5序列,Gale-Robinson序列,以及由Fordy和Marsh引入的更一般的序列类,并产生了大量的新序列。该方法是基于“加权”的概念,一个具有$\mathbb Z$值函数的顶点集,服从非常特殊的规则的突变。
2017-05-03 math.CO
Optimal Partitioned Cyclic Difference Packings for Frequency Hopping and Code Synchronization
最佳分区循环差包装(PCDP)的产生最佳跳频序列和最佳无逗号码。基于几乎差集和循环差矩阵,给出了PCDP的新构造。这些产生新的无限族的最佳PCDP(因此最佳跳频序列和最佳无逗号码)。对于所有$m\not\equiv 8,16\pmod{24}$,也解决了${\mathbb Z}_{3m}$中最优PCDP的存在性问题,其中$m$基块的大小为3。
2010-08-10 cs.DM cs.IT math.CO
Creation of ballot sequences in a periodic cellular automaton
为了解决一类与晶体基和孤子方程相关的一维周期元胞自动机(CA)的初值问题,我们考虑了初等数学中一个简单命题的推广.最初的命题说,任何字母1和2的序列,不少于1的2的,可以改变成一个投票序列通过循环移位只有。我们将其推广到治疗序列的细胞的共同能力s > 1,其中每个包含连续的2的(左)和1的(右),并表明,这些序列可以改变成一个投票序列通过两个操作,循环和“准循环”的移位。后者是一个新的CA规则,我们发现,在这个规则的时间演化下,各种扭结状结构沿着系统的粒子。
2009-02-10 math.CO nlin.SI
0-Cyclic Equalizability of Binary Words Characterized by Hamming Weight
Massachusetts Institute of Technology(麻省理工学院)
研究在二进制字中仅插入0使序列成为循环移位的0循环可均等性问题,通过将二进制字编码到四字母字母表,把可均等性简化为更简单条件并显式构建插入,证明等长二进制字0循环可均等当且仅当汉明重量相等。
2026-07-22 cs.CR math.CO
Weak Sequenceability in Cyclic Groups
阿贝尔群$G$的子集$A$是可排序的,如果存在其元素的排序$(a_1, \ldots, a_k)$,使得由$1 \leq i \leq k$的$s_0 = 0$和$s_i = \sum_{j=1}^i a_i$给出的部分和$(s_0, s_1, \ldots, s_k)$是不同的,除了我们可能有$s_k = s_0 = 0$的可能例外。在文献中有几个关于阿贝尔群的子集的可序性的问题,这些问题在$[4]$中被合并和总结为猜想,如果阿贝尔群的子集不包含0,那么它是可序的。如果可排序集合$A$的元素之和不等于$0$,则Cayley图$Cay[G:\pm A]$中存在简单路径$P$,使得$Δ(P) = \pm A$。在本文中,受到这个图论解释的启发,我们提出了这个猜想的弱化。在这里,在上述假设下,我们想要找到一个序,其部分和定义了周长大于$t$的行走$W$(对于给定的$t < k$),并且使得$Δ(W) = \pm A$。这是可能的,因为只要$i$和$j$不同且$|i-j|\leq t$,部分和$s_i$和$s_j$就不同。在这种情况下,我们说集合$A$是$t$ -弱可排序的。这里提出的主要结果是,任何子集$A$的$\mathbb{Z}_p\setminus \{0\}$是$t$ -弱测序时,$t<7$或$A$不包含对类型$\{x,-x\}$和$t<8$。
2022-05-24 math.CO
Cyclic Codes and Sequences from Kasami-Welch Functions
设$q=2^n$、$0\leq k\leq n-1$和$k\neq n/2$。本文确定了如下指数和\[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^n(αx^{2^{3k}+1}+βx^{2^k+1})}\quad(α,β\in \bF_{q})\]和\[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^n(αx^{2^{3k}+1}+βx^{2^k+1}+\ga x)}\quad(α,β,\ga\in \bF_{q})\]的值分布,其中$\Tra_1^n: \bF_{2^n}\ra \bF_2$是典型迹映射.作为应用:(1)。本文确定了二元循环码$\cC_1$和$\cC_2$分别具有奇偶校验多项式$h_2(x)h_3(x)$和$h_1(x)h_2(x)h_3(x)$的重量分布,其中$h_1(x)$,$h_2(x)$和$h_3(x)$分别是$π^{-1}$,$π^{-(2^k+1)}$和$π^{-(2^{3k}+1)}$的最小多项式,对于$\bF_q$的本原元$π$.(二)、我们确定了一族二元m序列之间的相关分布。
2009-02-26 cs.DM cs.IT math.CO
Minimizing Wiener Index for Vertex-Weighted Trees with Given Weight and Degree Sequences
1997年,Klavžar和Gutman提出了Wiener指数到顶点加权图的推广。我们最小化维纳指数的树的集合与给定的顶点权重和度的序列,并显示一个最优的树是,所谓的,霍夫曼树建立在一个自底向上的方式,通过顺序连接顶点的最小权重。
2015-06-02 math.CO
Permutohedral complexes and rational curves with cyclic action
我们定义了一个有限阶自同构和加权轨道的有理曲线的模空间,我们证明了它的边界层的组合编码的一个特定的多面体复杂,也捕捉代数结构的复杂反射群作用于模空间。这推广了Losev-Manin的曲线模空间(其边界层由置换面体编码并与对称群相关)以及Batyrev-Blume的对合曲线模空间的情况,并将该工作扩展到环面背景之外。
2021-04-13 math.AG math.CO
Cyclic Codes and Sequences from a Class of Dembowski-Ostrom Functions
设$q=p^n$和$p$是奇素数。设$0\leq k\leq n-1$和$k\neq n/2$。本文确定了如下指数(特征)和\[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^n(αx^{p^{3k}+1}+βx^{p^k+1})}\quad(α\in \bF_{p^m},β\in \bF_{q})\]与\[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^n(αx^{p^{3k}+1}+βx^{p^k+1}+\ga x)}\quad(α\in \bF_{p^m},β,\ga\in \bF_{q})\]的值分布,其中$\Tra_1^n: \bF_q\ra \bF_p$与$\Tra_1^m: \bF_{p^m}\ra\bF_p$是典型迹映射,$ζ_p=e^{\frac{2πi}{p}}$是本原$p$ -次单位根。作为应用:(1)。我们分别用奇偶校验多项式$h_2(x)h_3(x)$和$h_1(x)h_2(x)h_3(x)$确定了$\bF_{p^t}$上循环码$\cC_1$和$\cC_2$的重量分布,其中$t$是$d=\gcd(n,k)$的除数,$h_1(x)$,$h_2(x)$和$h_3(x)$分别是$π^{-1}$,$π^{-(p^k+1)}$和$π^{-(p^{3k}+1)}$在$\bF_{p^t}$上的极小多项式,对于$\bF_q$…
2009-02-26 cs.DM cs.IT math.CO
Cyclic Codes and Sequences: the Generalized Kasami Case
让$q=2^n$与$n=2m$。设$1\leq k\leq n-1$和$k\neq m$。本文确定了如下指数和\[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^m (αx^{2^{m}+1})+\Tra_1^n(βx^{2^k+1})}\quad(α\in \bF_{2^m},β\in \bF_{q})\]和\[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^m (αx^{2^{m}+1})+\Tra_1^n(βx^{2^k+1}+\ga x)}\quad(α\in \bF_{2^m},β,\ga\in \bF_{q})\]的值分布,其中$\Tra_1^n: \bF_q\ra \bF_2$和$\Tra_1^m: \bF_{p^m}\ra\bF_2$是典型迹映射.作为应用:(1).本文确定了二元循环码$\cC_1$和$\cC_2$分别具有奇偶校验多项式$h_2(x)h_3(x)$和$h_1(x)h_2(x)h_3(x)$的重量分布,其中$h_1(x)$,$h_2(x)$和$h_3(x)$分别是$π^{-1}$,$π^{-(2^k+1)}$和$π^{-(2^m+1)}$在$\bF_{2}$上对$\bF_q$的本原元$π$的最小多项式.(二)、我们确定了一族m序列之间的相关分布。本文是Luo,Tang和Wang \cite{Luo T…
2009-02-26 cs.DM cs.IT math.CO