Sum-free cyclic multi-bases and constructions of Ramsey algebras
给定$X\subseteq \mathbb{Z}_N$,如果$(X+X)\cup X=\mathbb{Z}_N$为$X$,则称为\emph{cyclic basis};如果$x\in X$包含$-x \in X$,则称为\emph{symmetric};如果$(X+X)\cap X=\varnothing$为\emph{sum-free}。我们问,对于哪一个$m$,$N\in\mathbb{Z}^+$,$\mathbb{Z}_N$的非单位元素的集合可以被划分成$m$对称的无和循环基?此外,如果我们要求不同的循环基以某种方式相互作用,我们得到一个称为Ramsey代数的真关系代数。Ramsey代数(也被称为Monk代数)以前已经为$2\leq m\leq 7$构造过。本文对除$m=8$和$m=13$外的所有正整数$m$和$2\leq m\leq 400$给出了Ramsey代数的构造.
2014-12-24 math.CO
Total perfect codes in Cayley sum graphs of cyclic groups
本文研究循环群Cayley和图中完全完美码的存在性,通过建立与群分解的对应,给出必要充分条件并推广到直积情形。
2025-10-23 math.CO
Minimal Ramsey graphs for cyclicity
我们研究图形的属性,每一个边着色承认一个单色的循环(其长度可以自由地取决于着色),并描述这些图是最小的这个属性。我们发现,在这个类中的每一个成员递归地减少到一个基本图$K_5-e$或$K_4\vee K_4$(两个副本的$K_4$确定在一个边缘),这意味着任意的$n$顶点图与$e(G)\geq 2n-1$必须包含其中之一作为一个未成年人。我们还描述了三个明确的建设管理的反向过程。作为一个应用,我们能够建立Ramsey无限性的三个可能的色子类$χ=2, 3, 4$,类内的最大程度的无界性,以及Ramsey分离性的周期的家庭长度$\leq l$从它的任何适当的子家庭。
2018-07-31 math.CO
On a cyclic inequality with exponents and permutations, and its Shapiro-type analogue
证明了循环不等式$\sum\limits_{i=1}^{i=n}\left(\frac{x_i}{x_{i+1}}\right)^k\geq\sum\limits_{i=1}^{i=n}\frac{x_i}{x_{σ(i)}}$对$k$在依赖于置换$σ$的特定范围内成立.我们还表明,同样是不正确的Sahpiro型推广。
2021-09-06 math.CO
On zero-sum polytopes: reciprocity, rigidity, and cyclic sieving
引入零和多面体,将零和序列计数转化为有理Ehrhart理论问题,证明组合互反定理,建立面分层刚性,并研究自同构群作用下的循环筛分现象。
2026-06-09 math.CO
Combinatorial remarks on the cyclic sum formula for multiple zeta values
多个zeta值是黎曼ζ函数的值在正整数的推广。已知它们满足许多关系,其中包括循环和公式。循环和公式可以通过由第二和第三作者定义的线性算子分层。我们给出了属于每一层的组合参数的关系的数量。
2010-06-21 math.CO math.NT
Structure of long idempotent-sum free sequences over finite cyclic semigroups
设$\mathcal{S}$是可加写的有限循环半群. $\mathcal{S}$的元素$e$称为幂等的,如果$e+e=e$。$\mathcal{S}$上的序列$T$称为{ \sl幂等和自由},条件是$\mathcal{S}$的幂等元不能表示为来自$T$的一个或多个项的和。证明了$\mathcal{S}$上长度超过$\mathcal{S}$长度一半的幂等和自由序列是良结构的.这个结果推广了有限循环群上零和自由序列的Savchev-Chen结构定理。
2020-06-01 math.CO math.NT
Distinct Partial Sums in Cyclic Groups: Polynomial Method and Constructive Approaches
设$(G,+)$是一个阿贝尔群,并考虑一个具有$|A|=k$的子集$A \subseteq G$.给定$A$的元素的排序$(a_1, \ldots, a_k)$,通过$s_0 = 0$和$s_j = \sum_{i=1}^j a_i$为$1 \leq j \leq k$定义其{ \em部分和}。我们考虑Alspach的猜想:对于任何循环群$\Z_n$和任何具有$s_k \neq 0$的子集$A \subseteq \Z_n \setminus \{0\}$,都有可能找到$A$的元素的一个排序,使得对于$0 \leq i < j \leq k$,它的部分和$s_i$和$s_j$中没有两个相等.我们表明,Alspach的猜想持有总理$n$时$k \geq n-3$和$k \leq 10$。前一个结果是通过直接构造得到的,后一个结果是非构造的,使用多项式方法。我们还使用多项式的方法表明,对于总理$n$序列的长度$k$具有不同的部分和存在于任何子集的$\Z_n \setminus \{0\}$的大小至少$2k- \sqrt{8k}$在所有但最多有界的情况下。
2018-09-07 math.CO
Cyclic structure, vertex degree and number of linear vertices in Minimal Strong Digraphs
本研究针对极小强有向图(MSDs),推导了线性顶点数与顶点度的关系、最长环长度的上界,拓展了其特征多项式系数的界,并证明MSD最长环计算问题为NP-Hard。
2023-11-06 math.CO
Decompositions of q-Matroids Using Cyclic Flats
利用q-拟阵的循环平坦性研究了q-拟阵的直和。利用q-拟阵的秩函数完全由其循环平坦及其秩决定,证明了两个q-拟阵的直和的循环平坦恰是两个q-拟阵的循环平坦的直和.这显著简化了直和的秩函数。一个q-拟阵称为不可约的,如果它不能写成(非平凡的)直和。我们给出了不可约拟阵的循环平坦的一个刻画,证明了每个q-拟阵都可以分解为不可约q-拟阵的直和,且在等价条件下它们是唯一的.
2023-02-22 cs.IT math.CO math.IT
Some remarks on barycentric-sum problems over cyclic groups
得到了关于阿贝尔群(主要是循环群)的k阶重心Olson常数的一些新结果.对于有限阿贝尔(加性)群(G,+),这个量被定义为最小整数l,使得G的每个具有至少l个元素的子集A包含具有k个元素的子集{g_1,.,g_k}满足g_1 +. + g_k = k g_j对于某个1 <= j <= k。
2013-06-19 math.CO math.NT
Difference sets and positive exponential sums II: cubic residues in cyclic groups
本文通过构造非负指数和,给出了循环群中差集避免三次剩余的集合基数的上界。
2025-04-22 math.CO math.NT
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
Transfer systems give matroids only for cyclic $p$-groups
本文研究等变代数中的转移系统,证明其最小生成集构成拟阵仅当格为线性序或群为素数幂阶循环群,并计算了该拟阵的不变量。
2026-06-25 math.AT math.CO
Symmetric Complete Sum-free Sets in Cyclic Groups
给出了一般有限循环群中对称完全和自由集的构造。它表明,相对大小的集合是密集的$[0,\frac{1}{3}]$,回答了卡梅隆的问题,并在循环群中所包含的顺序$n$的数量是指数在$n$。对于素数$p$,我们给出了$\mathbb{Z}_p$的对称完全无和子集的完整刻画,其大小至少为$(\frac{1}{3}-c) \cdot p$,其中$c>0$是一个普适常数.
2017-05-01 math.CO math.GR math.NT
Minimal instances with no weakly stable matching for three-sided problem with cyclic incomplete preferences
给定$n$男性、$n$女性和$n$狗,每个男性都有一个不完整的女性偏好列表,每个女性都有一个不完整的狗偏好列表,每个狗都有一个不完整的男性偏好列表。我们将家庭理解为由一个男人、一个女人和一条狗组成的三人组,这样他们中的每一个都进入了相应代理人的偏好列表。我们将匹配作为不相交的家族的集合(一些代理可能保持单身)。如果一个人能找到一个男人、一个女人和一只狗,他们目前并不住在一起,但如果他们住在一起,他们每个人都会变得“更幸福”,那么这种匹配就被称为不稳定匹配。否则称匹配是稳定的(3-DSMI-CYC问题中的弱稳定匹配)。我们给出了一个例子,这个问题的$n=3$没有稳定的匹配存在。此外,我们证明了$n<3$没有这样的例子。这样的例子在早期仅为$n=6$所知(Biro,McDermid,2010)。构造的示例还允许减少(两倍)最近构造的完整偏好列表的类似示例的大小(Lam,Plaxton,2019)。
2021-07-21 math.CO
Cyclic sieving of finite Grassmannians and flag varieties
本文证明了有限一般线性群GL_n(F_q)中具有各种环面作用的有限Grassmannian簇和部分旗簇的循环筛分现象的例子。所涉及的多项式是对称群S_n的最小长度抛物陪集表示的某些权的和,其中陪集表示的权可以表示为它的逆的乘积。
2011-06-09 math.CO
Enumeration of idempotent-sum subsequences in finite cyclic semigroups and smooth sequences
本文研究有限循环半群上幂等元求和子序列的计数问题,给出了以序列长度表示的下界,并在数量较小时证明了平滑结构子序列的存在性,将有限循环群上的经典零和计数定理推广至半群设定。
2025-05-01 math.CO math.NT
Entropy Inequalities for Sums in Prime Cyclic Groups
建立了置换下取值于素数阶循环群的独立随机变量和的Rényi熵的下界.我们的方法的主要成分是扩展的重排不等式在素循环群的Lev(2001),和随机序的概念。几个应用程序的开发,包括离散熵功率不等式,Littlewood-Offord问题,并计数某些线性系的解决方案。
2020-11-26 cs.IT math.CO math.IT
McEliece-type Cryptosystems over Quasi-cyclic Codes
本文研究了基于代数编码理论的准循环码上的McEliece型密码系统。本论文的主要目标是构造一个抗量子傅立叶采样的密码系统,使其具有量子安全性。提出了一种新的基于速率$\frac{m-1}{m}$准循环码的Niederreiter密码体制,由于其隐子群的不可否认性,该体制对量子傅立叶采样是安全的.由于自同构群上的两个约束:小尺寸和大的最小度,实现了不可压缩性的证明。除此之外,我们还提出了一类自同构群极小度大、码长小的$\frac{1}{m}$准循环码。
2018-05-25 cs.CR cs.DM cs.IT
Ore's theorem on cyclic subfactor planar algebras and beyond
证明了有限群是循环群当且仅当它的子群格是分配的。现在,由于循环群的每个子群都是正规的,我们称一个子因子平面代数是循环的,如果它的所有双投影都是正规的,并形成一个分配格。主要结果推广了Ore定理的一个方面,并证明了循环子因子是单生成的,在这个意义上,有一个极小的2-盒投影生成单位双投影。我们猜想,这一结果保持不假设的双投影是正常的,我们表明,这是真的小格。最后,我们展示了一个对偶版本的另一个定理的矿石和一个非平凡的上界的最小数目的不可约组件的一个忠实的复表示的有限群。
2017-08-05 math.CO math.GR math.OA
A group sum inequality and its application to power graphs
设$G$是$n$阶的有限群,$C_n$是$n$阶的循环群.我们证明了$\sum_{g \in C_n} ϕ(\mathrm{o}(g))\geq \sum_{g \in G} ϕ(\mathrm{o}(g))$,等式当且仅当$G$同构于$C_n$ .作为应用,我们证明了在给定阶的所有有限群中,该阶的循环群在其有向幂图中具有最大无向边数。
2014-03-31 math.CO math.GR
A generalization of cyclic shift classes
出于Lusztig的$G$稳定件,我们认为组合件:对$(w, K)$的元素$w$的外尔群和子集$K$的简单反射,规范化的$w$。我们将外尔群上循环移位类的概念推广到组合片段的集合。我们表明,部分循环移位类的组合件与最小长度的元素有很好的代表。作为应用,我们证明了抛物特征层的诱导函子的左右对称性和相容性。
2023-01-09 math.AG math.CO math.RT
Exponential Sums, Cyclic Codes and Sequences: the Odd Characteristic Kasami Case
设$q=p^n$与$n=2m$和$p$是奇素数。设$0\leq k\leq n-1$和$k\neq m$ .本文确定了如下指数(特征)和\[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^m (αx^{p^{m}+1})+\Tra_1^n(βx^{p^k+1})}\quad(α\in \bF_{p^m},β\in \bF_{q})\]与\[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^m (αx^{p^{m}+1})+\Tra_1^n(β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(m,k)$的约数,$h_1(x)$、$h_2(x)$和$h_3(x)$分别是$π^{-1}$、$π^{-(p^k+1)}$和$π^{-(p^m+1)}$在$\bF_{p…
2009-02-26 cs.DM cs.IT math.CO