首页 > 最新文献

Journal of Combinatorial Theory Series A最新文献

英文 中文
Complete 3-term arithmetic progression free sets of small size in vector spaces and other abelian groups 向量空间和其他阿贝尔群中的完全3项等差数列自由小集
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-10-01 Epub Date: 2025-04-30 DOI: 10.1016/j.jcta.2025.106061
Bence Csajbók , Zoltán Lóránt Nagy
A subset S of an abelian group G is called 3-AP free if it does not contain a three term arithmetic progression. Moreover, S is called complete 3-AP free, if it is maximal w.r.t. set inclusion. One of the most central problems in additive combinatorics is to determine the maximal size of a 3-AP free set, which is necessarily complete. In this paper we are interested in the minimum size of complete 3-AP free sets. We define and study saturation w.r.t. 3-APs and present constructions of small complete 3-AP free sets and 3-AP saturating sets for several families of vector spaces and cyclic groups.
如果阿贝尔群G的子集S不包含三个等差数列,则称为3-AP自由子集S。另外,如果S是最大的w.r.t.集合包含,则称为完全3-AP自由。加性组合学中最核心的问题之一是确定一个3-AP自由集合的最大大小,该集合必须是完全的。本文主要研究3-AP完全自由集的最小尺寸问题。我们定义并研究了3-AP的饱和,给出了若干向量空间族和循环群的小完全3-AP自由集和3-AP饱和集的构造。
{"title":"Complete 3-term arithmetic progression free sets of small size in vector spaces and other abelian groups","authors":"Bence Csajbók ,&nbsp;Zoltán Lóránt Nagy","doi":"10.1016/j.jcta.2025.106061","DOIUrl":"10.1016/j.jcta.2025.106061","url":null,"abstract":"<div><div>A subset <em>S</em> of an abelian group <em>G</em> is called 3-AP free if it does not contain a three term arithmetic progression. Moreover, <em>S</em> is called complete 3-AP free, if it is maximal w.r.t. set inclusion. One of the most central problems in additive combinatorics is to determine the maximal size of a 3-AP free set, which is necessarily complete. In this paper we are interested in the minimum size of complete 3-AP free sets. We define and study saturation w.r.t. 3-APs and present constructions of small complete 3-AP free sets and 3-AP saturating sets for several families of vector spaces and cyclic groups.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"215 ","pages":"Article 106061"},"PeriodicalIF":0.9,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143886651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Normal edge-transitive Cayley graphs on non-abelian simple groups 非阿贝尔单群上的正规边传递Cayley图
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-10-01 Epub Date: 2025-03-31 DOI: 10.1016/j.jcta.2025.106050
Xing Zhang, Yan-Quan Feng, Fu-Gang Yin, Jin-Xin Zhou
Let Γ be a Cayley graph on a finite group G, and let NAut(Γ)(R(G)) be the normalizer of R(G) (the right regular representation of G) in the full automorphism group Aut(Γ) of Γ. We say that Γ is a normal Cayley graph on G if NAut(Γ)(R(G))=Aut(Γ), and that Γ is a normal edge-transitive Cayley graph on G if NAut(Γ)(R(G)) acts transitively on the edge set of Γ. In 1999, Praeger proved that every connected normal edge-transitive Cayley graph on a finite non-abelian simple group of valency 3 is normal. As an extension of this, in this paper, we prove that every connected normal edge-transitive Cayley graph on a finite non-abelian simple group of valency p is normal for each prime p. This, however, is not true for composite valency. We give a method to construct connected normal edge-transitive but non-normal Cayley graphs of certain groups, and using this, we prove that if G is either PSL2(q) for an odd prime q5, or An for n5, then there exists a connected normal edge-transitive but non-normal 8-valent Cayley graph of G.
设Γ是有限群G上的Cayley图,设NAut(Γ)(R(G))是Γ的完全自同构群Aut(Γ)中R(G) (G的右正则表示)的归一化器。我们说,如果NAut(Γ)(R(G))=Aut(Γ), Γ是G上的正规Cayley图;如果NAut(Γ)(R(G))传递作用于Γ的边集,Γ是G上的正规边传递Cayley图。Praeger在1999年证明了在价为3的有限非阿贝简单群上的每一个连通正规边传递Cayley图都是正规的。作为这一结论的推广,我们证明了在价为p的有限非阿贝简单群上,每一个连通正规边传递Cayley图对于每一个素数p都是正规的,而对于合价则不成立。给出了构造若干群的连通正规边可传递非正规Cayley图的一种方法,并由此证明了当奇数素数q≥5时G为PSL2(q),或n≥5时G为an,则存在G的连通正规边可传递非正规8价Cayley图。
{"title":"Normal edge-transitive Cayley graphs on non-abelian simple groups","authors":"Xing Zhang,&nbsp;Yan-Quan Feng,&nbsp;Fu-Gang Yin,&nbsp;Jin-Xin Zhou","doi":"10.1016/j.jcta.2025.106050","DOIUrl":"10.1016/j.jcta.2025.106050","url":null,"abstract":"<div><div>Let <em>Γ</em> be a Cayley graph on a finite group <em>G</em>, and let <span><math><msub><mrow><mi>N</mi></mrow><mrow><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>Γ</mi><mo>)</mo></mrow></msub><mo>(</mo><mi>R</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo></math></span> be the normalizer of <span><math><mi>R</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> (the right regular representation of <em>G</em>) in the full automorphism group <span><math><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>Γ</mi><mo>)</mo></math></span> of <em>Γ</em>. We say that <em>Γ</em> is a normal Cayley graph on <em>G</em> if <span><math><msub><mrow><mi>N</mi></mrow><mrow><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>Γ</mi><mo>)</mo></mrow></msub><mo>(</mo><mi>R</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>=</mo><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>Γ</mi><mo>)</mo></math></span>, and that <em>Γ</em> is a normal edge-transitive Cayley graph on <em>G</em> if <span><math><msub><mrow><mi>N</mi></mrow><mrow><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>Γ</mi><mo>)</mo></mrow></msub><mo>(</mo><mi>R</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo></math></span> acts transitively on the edge set of <em>Γ</em>. In 1999, Praeger proved that every connected normal edge-transitive Cayley graph on a finite non-abelian simple group of valency 3 is normal. As an extension of this, in this paper, we prove that every connected normal edge-transitive Cayley graph on a finite non-abelian simple group of valency <em>p</em> is normal for each prime <em>p</em>. This, however, is not true for composite valency. We give a method to construct connected normal edge-transitive but non-normal Cayley graphs of certain groups, and using this, we prove that if <em>G</em> is either <span><math><msub><mrow><mi>PSL</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> for an odd prime <span><math><mi>q</mi><mo>≥</mo><mn>5</mn></math></span>, or <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>5</mn></math></span>, then there exists a connected normal edge-transitive but non-normal 8-valent Cayley graph of <em>G</em>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"215 ","pages":"Article 106050"},"PeriodicalIF":0.9,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143739311","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Finite versions of the Andrews–Gordon identity and Bressoud's identity 安德鲁斯-戈登恒等式和布雷苏德恒等式的有限版本
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-10-01 Epub Date: 2025-03-18 DOI: 10.1016/j.jcta.2025.106035
Heng Huat Chan , Song Heng Chan
In this article, we discuss finite versions of Euler's pentagonal number identity, the Rogers-Ramanujan identities and present new proofs of the finite versions of the Andrews-Gordon identity and the Bressoud identity. We also investigate the finite version of Garvan's generalizations of Dyson's rank and discover a new one-variable extension of the Andrews-Gordon identity.
在这篇文章中,我们讨论了欧拉五边形数特性的有限版本、罗杰斯-拉玛努扬特性,并提出了安德鲁斯-戈登特性和布里苏德特性有限版本的新证明。我们还研究了加尔文对戴森秩的泛化的有限版本,并发现了安德鲁斯-戈登同一性的一个新的单变量扩展。
{"title":"Finite versions of the Andrews–Gordon identity and Bressoud's identity","authors":"Heng Huat Chan ,&nbsp;Song Heng Chan","doi":"10.1016/j.jcta.2025.106035","DOIUrl":"10.1016/j.jcta.2025.106035","url":null,"abstract":"<div><div>In this article, we discuss finite versions of Euler's pentagonal number identity, the Rogers-Ramanujan identities and present new proofs of the finite versions of the Andrews-Gordon identity and the Bressoud identity. We also investigate the finite version of Garvan's generalizations of Dyson's rank and discover a new one-variable extension of the Andrews-Gordon identity.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"215 ","pages":"Article 106035"},"PeriodicalIF":0.9,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143643721","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Characterization of polystochastic matrices of order 4 with zero permanent 零永久的4阶多随机矩阵的表征
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-10-01 Epub Date: 2025-04-30 DOI: 10.1016/j.jcta.2025.106060
Aleksei L. Perezhogin , Vladimir N. Potapov , Anna A. Taranenko , Sergey Yu. Vladimirov
A multidimensional nonnegative matrix is called polystochastic if the sum of its entries over each line is equal to 1. The permanent of a multidimensional matrix is the sum of products of entries over all diagonals. We prove that if d is even, then the permanent of a d-dimensional polystochastic matrix of order 4 is positive, and for odd d, we give a complete characterization of d-dimensional polystochastic matrices with zero permanent.
一个多维非负矩阵,如果其每一行上的元素之和等于1,则称为多随机矩阵。多维矩阵的恒量是所有对角线上元素的乘积的和。证明了如果d是偶数,则4阶的d维多随机矩阵的永久性是正的,对于奇数d,我们给出了零永久性的d维多随机矩阵的完整刻画。
{"title":"Characterization of polystochastic matrices of order 4 with zero permanent","authors":"Aleksei L. Perezhogin ,&nbsp;Vladimir N. Potapov ,&nbsp;Anna A. Taranenko ,&nbsp;Sergey Yu. Vladimirov","doi":"10.1016/j.jcta.2025.106060","DOIUrl":"10.1016/j.jcta.2025.106060","url":null,"abstract":"<div><div>A multidimensional nonnegative matrix is called polystochastic if the sum of its entries over each line is equal to 1. The permanent of a multidimensional matrix is the sum of products of entries over all diagonals. We prove that if <em>d</em> is even, then the permanent of a <em>d</em>-dimensional polystochastic matrix of order 4 is positive, and for odd <em>d</em>, we give a complete characterization of <em>d</em>-dimensional polystochastic matrices with zero permanent.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"215 ","pages":"Article 106060"},"PeriodicalIF":0.9,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143886650","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Studying the divisibility of power LCM matrices by power GCD matrices on gcd-closed sets 研究了幂LCM矩阵在GCD闭集上被幂GCD矩阵可整除的问题
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-10-01 Epub Date: 2025-05-02 DOI: 10.1016/j.jcta.2025.106063
Jianrong Zhao , Chenxu Wang , Yu Fu
<div><div>Let <span><math><mi>S</mi><mo>=</mo><mo>{</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>}</mo></math></span> be a gcd-closed set (i.e. <span><math><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>)</mo><mo>∈</mo><mi>S</mi></math></span> for all <span><math><mn>1</mn><mo>≤</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>≤</mo><mi>n</mi></math></span>). In 2002, Hong proposed the divisibility problem of characterizing all gcd-closed sets <em>S</em> with <span><math><mo>|</mo><mi>S</mi><mo>|</mo><mo>≥</mo><mn>4</mn></math></span> such that the GCD matrix (<em>S</em>) divides the LCM matrix <span><math><mo>[</mo><mi>S</mi><mo>]</mo></math></span> in the ring <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo></math></span>. For <span><math><mi>x</mi><mo>∈</mo><mi>S</mi></math></span>, let <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>S</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>:</mo><mo>=</mo><mo>{</mo><mi>z</mi><mo>∈</mo><mi>S</mi><mo>:</mo><mi>z</mi><mo><</mo><mi>x</mi><mo>,</mo><mi>z</mi><mo>|</mo><mi>x</mi><mtext> and </mtext><mo>(</mo><mi>z</mi><mo>|</mo><mi>y</mi><mo>|</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>∈</mo><mi>S</mi><mo>)</mo><mo>⇒</mo><mi>y</mi><mo>∈</mo><mo>{</mo><mi>z</mi><mo>,</mo><mi>x</mi><mo>}</mo><mo>}</mo></math></span>. In 2009, Feng, Hong and Zhao answered this problem in the context where <span><math><msub><mrow><mi>max</mi></mrow><mrow><mi>x</mi><mo>∈</mo><mi>S</mi></mrow></msub><mo>⁡</mo><mo>{</mo><mo>|</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>S</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>|</mo><mo>}</mo><mo>≤</mo><mn>2</mn></math></span>. In 2022, Zhao, Chen and Hong obtained a necessary and sufficient condition on the gcd-closed set <em>S</em> with <span><math><msub><mrow><mi>max</mi></mrow><mrow><mi>x</mi><mo>∈</mo><mi>S</mi></mrow></msub><mo>⁡</mo><mo>{</mo><mo>|</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>S</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>|</mo><mo>}</mo><mo>=</mo><mn>3</mn></math></span> such that <span><math><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo><mrow><mo>[</mo><mi>S</mi><mo>]</mo></mrow></math></span>. Meanwhile, they raised a conjecture on the necessary and sufficient condition such that <span><math><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo><mrow><mo>[</mo><mi>S</mi><mo>]</mo></mrow></math></span> holds for the remaining case <span><math><msub><mrow><mi>max</mi></mrow><mrow><mi>x</mi><mo>∈</mo><mi>S</mi></mrow></msub><mo>⁡</mo><mo>{</mo><mo>|</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>S</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>|</mo><mo>}</mo><mo>≥</mo><mn>4</mn></math></span>. In this paper, we confirm the Zhao-Chen-Hong conjecture from a novel perspective, consequently solve Hong's open problem completely.</d
设S={x1,…,xn}是一个gcd闭集(即(xi,xj)∈S,对于所有1≤i,j≤n)。2002年,Hong提出了表征所有GCD -闭集S的|S|≥4使得GCD矩阵(S)能除环Mn(Z)中的LCM矩阵[S]的可分性问题。x∈年代,让GS (x): = {z∈年代:z< x, z | x和y z | | x, y∈(S)⇒y∈{z、x}}。2009年,Feng, Hong和Zhao在maxx∈S∈{|GS(x)|}≤2的情况下回答了这个问题。Zhao、Chen和Hong在2022年得到了maxx∈S∈S (|GS(x)|}=3的gcd-闭集S上的一个充要条件,使得(S)|[S]。同时,他们提出了一个关于(S)|[S]对剩余情况maxx∈S∈{|GS(x)|}≥4成立的充分必要条件的猜想。本文从一个全新的角度证实了赵-陈-洪猜想,从而彻底解决了洪的开放问题。
{"title":"Studying the divisibility of power LCM matrices by power GCD matrices on gcd-closed sets","authors":"Jianrong Zhao ,&nbsp;Chenxu Wang ,&nbsp;Yu Fu","doi":"10.1016/j.jcta.2025.106063","DOIUrl":"10.1016/j.jcta.2025.106063","url":null,"abstract":"&lt;div&gt;&lt;div&gt;Let &lt;span&gt;&lt;math&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; be a gcd-closed set (i.e. &lt;span&gt;&lt;math&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; for all &lt;span&gt;&lt;math&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;). In 2002, Hong proposed the divisibility problem of characterizing all gcd-closed sets &lt;em&gt;S&lt;/em&gt; with &lt;span&gt;&lt;math&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;4&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; such that the GCD matrix (&lt;em&gt;S&lt;/em&gt;) divides the LCM matrix &lt;span&gt;&lt;math&gt;&lt;mo&gt;[&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;]&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; in the ring &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;M&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;Z&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. For &lt;span&gt;&lt;math&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, let &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;:&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;:&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mtext&gt; and &lt;/mtext&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;⇒&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. In 2009, Feng, Hong and Zhao answered this problem in the context where &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;max&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;⁡&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;. In 2022, Zhao, Chen and Hong obtained a necessary and sufficient condition on the gcd-closed set &lt;em&gt;S&lt;/em&gt; with &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;max&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;⁡&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;3&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; such that &lt;span&gt;&lt;math&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;[&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;]&lt;/mo&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;. Meanwhile, they raised a conjecture on the necessary and sufficient condition such that &lt;span&gt;&lt;math&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;[&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;]&lt;/mo&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; holds for the remaining case &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;max&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;⁡&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;4&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;. In this paper, we confirm the Zhao-Chen-Hong conjecture from a novel perspective, consequently solve Hong's open problem completely.&lt;/d","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"215 ","pages":"Article 106063"},"PeriodicalIF":0.9,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143895609","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The second largest eigenvalue of some nonnormal Cayley graphs on symmetric groups 对称群上一些非正态Cayley图的第二大特征值
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2025-08-08 DOI: 10.1016/j.jcta.2025.106097
Yuxuan Li, Binzhou Xia, Sanming Zhou
A Cayley graph on the symmetric group <mml:math altimg="si1.svg"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> is said to have the Aldous property if its strictly second largest eigenvalue (that is, the largest eigenvalue strictly smaller than the degree) is attained by the standard representation of <mml:math altimg="si1.svg"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math>. For <mml:math altimg="si2.svg"><mml:mn>1</mml:mn><mml:mo>≤</mml:mo><mml:mi>r</mml:mi><mml:mo linebreak="goodbreak" linebreakstyle="after"><</mml:mo><mml:mi>k</mml:mi><mml:mo linebreak="goodbreak" linebreakstyle="after"><</mml:mo><mml:mi>n</mml:mi></mml:math>, let <mml:math altimg="si267.svg"><mml:mi>C</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math> be the set of <ce:italic>k</ce:italic>-cycles of <mml:math altimg="si1.svg"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> moving every point in <mml:math altimg="si4.svg"><mml:mo stretchy="false">{</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy="false">}</mml:mo></mml:math>. Recently, Siemons and Zalesski (2022) <ce:cross-ref ref>[26]</ce:cross-ref> posed a conjecture which is equivalent to saying that for any <mml:math altimg="si5.svg"><mml:mi>n</mml:mi><mml:mo>≥</mml:mo><mml:mn>5</mml:mn></mml:math> and <mml:math altimg="si2.svg"><mml:mn>1</mml:mn><mml:mo>≤</mml:mo><mml:mi>r</mml:mi><mml:mo linebreak="goodbreak" linebreakstyle="after"><</mml:mo><mml:mi>k</mml:mi><mml:mo linebreak="goodbreak" linebreakstyle="after"><</mml:mo><mml:mi>n</mml:mi></mml:math> the nonnormal Cayley graph <mml:math altimg="si6.svg"><mml:mrow><mml:mi mathvariant="normal">Cay</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>C</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math> on <mml:math altimg="si1.svg"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> with connection set <mml:math altimg="si267.svg"><mml:mi>C</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math> has the Aldous property. Solving this conjecture, we prove that all these graphs have the Aldous property except when (i) <mml:math altimg="si7.svg"><mml:mo stretchy="false">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi
如果对称群Sn上的Cayley图的严格第二大特征值(即严格小于度的最大特征值)通过Sn的标准表示获得,则称其具有Aldous性质。对于1≤r<;k<n,设C(n,k;r)为Sn移动{1,…,r}中每一点的k个环的集合。最近,Siemons and Zalesski(2022)[26]提出了一个猜想,该猜想等价于对于任意n≥5且1≤r<;k<n,具有连接集C(n,k;r)的Sn上的非正态Cayley图Cay(Sn,C(n,k;r))具有Aldous性质。通过求解这个猜想,我们证明了除(i) (n,k,r)=(6,5,1)或(ii) n为奇数,k =n−1,且1≤r<;n2外,所有图都具有Aldous性质。在此过程中,我们确定了Sn的所有不可约表示,这些表示可以实现Cay(Sn,C(n,n - 1;r))的严格第二大特征值以及该图的最小特征值。
{"title":"The second largest eigenvalue of some nonnormal Cayley graphs on symmetric groups","authors":"Yuxuan Li, Binzhou Xia, Sanming Zhou","doi":"10.1016/j.jcta.2025.106097","DOIUrl":"https://doi.org/10.1016/j.jcta.2025.106097","url":null,"abstract":"A Cayley graph on the symmetric group &lt;mml:math altimg=\"si1.svg\"&gt;&lt;mml:msub&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;S&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;/mml:msub&gt;&lt;/mml:math&gt; is said to have the Aldous property if its strictly second largest eigenvalue (that is, the largest eigenvalue strictly smaller than the degree) is attained by the standard representation of &lt;mml:math altimg=\"si1.svg\"&gt;&lt;mml:msub&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;S&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;/mml:msub&gt;&lt;/mml:math&gt;. For &lt;mml:math altimg=\"si2.svg\"&gt;&lt;mml:mn&gt;1&lt;/mml:mn&gt;&lt;mml:mo&gt;≤&lt;/mml:mo&gt;&lt;mml:mi&gt;r&lt;/mml:mi&gt;&lt;mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\"&gt;&lt;&lt;/mml:mo&gt;&lt;mml:mi&gt;k&lt;/mml:mi&gt;&lt;mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\"&gt;&lt;&lt;/mml:mo&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;/mml:math&gt;, let &lt;mml:math altimg=\"si267.svg\"&gt;&lt;mml:mi&gt;C&lt;/mml:mi&gt;&lt;mml:mo stretchy=\"false\"&gt;(&lt;/mml:mo&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;mml:mo&gt;,&lt;/mml:mo&gt;&lt;mml:mi&gt;k&lt;/mml:mi&gt;&lt;mml:mo&gt;;&lt;/mml:mo&gt;&lt;mml:mi&gt;r&lt;/mml:mi&gt;&lt;mml:mo stretchy=\"false\"&gt;)&lt;/mml:mo&gt;&lt;/mml:math&gt; be the set of &lt;ce:italic&gt;k&lt;/ce:italic&gt;-cycles of &lt;mml:math altimg=\"si1.svg\"&gt;&lt;mml:msub&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;S&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;/mml:msub&gt;&lt;/mml:math&gt; moving every point in &lt;mml:math altimg=\"si4.svg\"&gt;&lt;mml:mo stretchy=\"false\"&gt;{&lt;/mml:mo&gt;&lt;mml:mn&gt;1&lt;/mml:mn&gt;&lt;mml:mo&gt;,&lt;/mml:mo&gt;&lt;mml:mo&gt;…&lt;/mml:mo&gt;&lt;mml:mo&gt;,&lt;/mml:mo&gt;&lt;mml:mi&gt;r&lt;/mml:mi&gt;&lt;mml:mo stretchy=\"false\"&gt;}&lt;/mml:mo&gt;&lt;/mml:math&gt;. Recently, Siemons and Zalesski (2022) &lt;ce:cross-ref ref&gt;[26]&lt;/ce:cross-ref&gt; posed a conjecture which is equivalent to saying that for any &lt;mml:math altimg=\"si5.svg\"&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;mml:mo&gt;≥&lt;/mml:mo&gt;&lt;mml:mn&gt;5&lt;/mml:mn&gt;&lt;/mml:math&gt; and &lt;mml:math altimg=\"si2.svg\"&gt;&lt;mml:mn&gt;1&lt;/mml:mn&gt;&lt;mml:mo&gt;≤&lt;/mml:mo&gt;&lt;mml:mi&gt;r&lt;/mml:mi&gt;&lt;mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\"&gt;&lt;&lt;/mml:mo&gt;&lt;mml:mi&gt;k&lt;/mml:mi&gt;&lt;mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\"&gt;&lt;&lt;/mml:mo&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;/mml:math&gt; the nonnormal Cayley graph &lt;mml:math altimg=\"si6.svg\"&gt;&lt;mml:mrow&gt;&lt;mml:mi mathvariant=\"normal\"&gt;Cay&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;mml:mo stretchy=\"false\"&gt;(&lt;/mml:mo&gt;&lt;mml:msub&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;S&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;/mml:msub&gt;&lt;mml:mo&gt;,&lt;/mml:mo&gt;&lt;mml:mi&gt;C&lt;/mml:mi&gt;&lt;mml:mo stretchy=\"false\"&gt;(&lt;/mml:mo&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;mml:mo&gt;,&lt;/mml:mo&gt;&lt;mml:mi&gt;k&lt;/mml:mi&gt;&lt;mml:mo&gt;;&lt;/mml:mo&gt;&lt;mml:mi&gt;r&lt;/mml:mi&gt;&lt;mml:mo stretchy=\"false\"&gt;)&lt;/mml:mo&gt;&lt;mml:mo stretchy=\"false\"&gt;)&lt;/mml:mo&gt;&lt;/mml:math&gt; on &lt;mml:math altimg=\"si1.svg\"&gt;&lt;mml:msub&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;S&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;mml:mrow&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;/mml:mrow&gt;&lt;/mml:msub&gt;&lt;/mml:math&gt; with connection set &lt;mml:math altimg=\"si267.svg\"&gt;&lt;mml:mi&gt;C&lt;/mml:mi&gt;&lt;mml:mo stretchy=\"false\"&gt;(&lt;/mml:mo&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;mml:mo&gt;,&lt;/mml:mo&gt;&lt;mml:mi&gt;k&lt;/mml:mi&gt;&lt;mml:mo&gt;;&lt;/mml:mo&gt;&lt;mml:mi&gt;r&lt;/mml:mi&gt;&lt;mml:mo stretchy=\"false\"&gt;)&lt;/mml:mo&gt;&lt;/mml:math&gt; has the Aldous property. Solving this conjecture, we prove that all these graphs have the Aldous property except when (i) &lt;mml:math altimg=\"si7.svg\"&gt;&lt;mml:mo stretchy=\"false\"&gt;(&lt;/mml:mo&gt;&lt;mml:mi&gt;n&lt;/mml:mi&gt;&lt;mml:mo&gt;,&lt;/mml:mo&gt;&lt;mml:mi","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"22 1","pages":"106097"},"PeriodicalIF":1.1,"publicationDate":"2025-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144900111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The geometry of intersecting codes and applications to additive combinatorics and factorization theory 交码几何及其在加性组合学和分解理论中的应用
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-08-01 Epub Date: 2025-02-27 DOI: 10.1016/j.jcta.2025.106023
Martino Borello , Wolfgang Schmid , Martin Scotti
Intersecting codes are linear codes where every two nonzero codewords have non-trivially intersecting support. In this article we expand on the theory of this family of codes, by showing that nondegenerate intersecting codes correspond to sets of points (with multiplicities) in a projective space that are not contained in two hyperplanes. This correspondence allows the use of geometric arguments to demonstrate properties and provide constructions of intersecting codes. We improve on existing bounds on their length and provide explicit constructions of short intersecting codes. Finally, generalizing a link between coding theory and the theory of the Davenport constant (a combinatorial invariant of finite abelian groups), we provide new asymptotic bounds on the weighted 2-wise Davenport constant. These bounds then yield results on factorizations in rings of algebraic integers and related structures.
交码是线性码,其中每两个非零码字都有非平凡的交支持。在本文中,我们通过证明非退化相交码对应于射影空间中不包含在两个超平面中的点集(具有多重性)来扩展这类码的理论。这种对应关系允许使用几何参数来演示属性并提供相交代码的构造。我们改进了现有的边界长度,并提供了短相交码的显式结构。最后,推广编码理论与有限阿贝尔群的组合不变量Davenport常数理论之间的联系,给出了加权2-wise Davenport常数的新的渐近界。然后,这些界给出了代数整数环和相关结构的因数分解的结果。
{"title":"The geometry of intersecting codes and applications to additive combinatorics and factorization theory","authors":"Martino Borello ,&nbsp;Wolfgang Schmid ,&nbsp;Martin Scotti","doi":"10.1016/j.jcta.2025.106023","DOIUrl":"10.1016/j.jcta.2025.106023","url":null,"abstract":"<div><div>Intersecting codes are linear codes where every two nonzero codewords have non-trivially intersecting support. In this article we expand on the theory of this family of codes, by showing that nondegenerate intersecting codes correspond to sets of points (with multiplicities) in a projective space that are not contained in two hyperplanes. This correspondence allows the use of geometric arguments to demonstrate properties and provide constructions of intersecting codes. We improve on existing bounds on their length and provide explicit constructions of short intersecting codes. Finally, generalizing a link between coding theory and the theory of the Davenport constant (a combinatorial invariant of finite abelian groups), we provide new asymptotic bounds on the weighted 2-wise Davenport constant. These bounds then yield results on factorizations in rings of algebraic integers and related structures.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"214 ","pages":"Article 106023"},"PeriodicalIF":0.9,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143510238","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A central limit theorem for a card shuffling problem 洗牌问题的中心极限定理
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-08-01 Epub Date: 2025-04-03 DOI: 10.1016/j.jcta.2025.106048
Shane Chern , Lin Jiu , Italo Simonelli
Given a positive integer n, consider a permutation of n objects chosen uniformly at random. In this permutation, we collect maximal subsequences consisting of consecutive numbers arranged in ascending order called blocks. Each block is then merged, and after all merges, the elements of this new set are relabeled from 1 to the current number of elements. We continue to permute and merge this new set uniformly at random until only one object is left. In this paper, we investigate the distribution of Xn, the number of permutations needed for this process to end. In particular, we find explicit asymptotic expressions for the mean value E[Xn], the variance Var[Xn], and higher central moments, and show that Xn satisfies a central limit theorem.
给定一个正整数n,考虑随机均匀选择的n个对象的排列。在这种排列中,我们收集由按升序排列的连续数字组成的最大子序列,称为块。然后合并每个块,在所有合并之后,这个新集合的元素被重新标记,从1到当前的元素数。我们继续均匀随机地排列和合并这个新集合,直到只剩下一个对象。在本文中,我们研究了Xn的分布,即该过程结束所需的排列数。特别地,我们找到了均值E[Xn]、方差Var[Xn]和高中心矩的显式渐近表达式,并证明了Xn满足中心极限定理。
{"title":"A central limit theorem for a card shuffling problem","authors":"Shane Chern ,&nbsp;Lin Jiu ,&nbsp;Italo Simonelli","doi":"10.1016/j.jcta.2025.106048","DOIUrl":"10.1016/j.jcta.2025.106048","url":null,"abstract":"<div><div>Given a positive integer <em>n</em>, consider a permutation of <em>n</em> objects chosen uniformly at random. In this permutation, we collect maximal subsequences consisting of consecutive numbers arranged in ascending order called blocks. Each block is then merged, and after all merges, the elements of this new set are relabeled from 1 to the current number of elements. We continue to permute and merge this new set uniformly at random until only one object is left. In this paper, we investigate the distribution of <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, the number of permutations needed for this process to end. In particular, we find explicit asymptotic expressions for the mean value <span><math><mi>E</mi><mo>[</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo></math></span>, the variance <span><math><mrow><mi>Var</mi></mrow><mo>[</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo></math></span>, and higher central moments, and show that <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> satisfies a central limit theorem.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"214 ","pages":"Article 106048"},"PeriodicalIF":0.9,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143759116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Separable elements and splittings in Weyl groups of type B B型Weyl群的可分离元素与分裂
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-08-01 Epub Date: 2025-02-27 DOI: 10.1016/j.jcta.2025.106021
Ming Liu, Houyi Yu
Separable elements in Weyl groups are generalizations of the well-known class of separable permutations in symmetric groups. Gaetz and Gao showed that for any pair (X,Y) of subsets of the symmetric group Sn, the multiplication map X×YSn is a splitting (i.e., a length-additive bijection) of Sn if and only if X is the generalized quotient of Y and Y is a principal lower order ideal in the right weak order generated by a separable element. They conjectured this result can be extended to all finite Weyl groups. In this paper, we classify all separable and minimal non-separable signed permutations in terms of forbidden patterns and confirm the conjecture of Gaetz and Gao for Weyl groups of type B.
Weyl群中的可分离元素是对称群中著名的可分离置换的推广。Gaetz和Gao证明了对于对称群Sn的任意子集对(X,Y),当且仅当X是Y的广义商,Y是由可分离元素生成的右弱阶主低阶理想时,乘法映射X×Y→Sn是Sn的分裂(即长度加性双射)。他们推测这个结果可以推广到所有有限Weyl群。本文用禁止模式对所有可分和最小不可分有符号置换进行了分类,并证实了B型Weyl群的Gaetz和Gao猜想。
{"title":"Separable elements and splittings in Weyl groups of type B","authors":"Ming Liu,&nbsp;Houyi Yu","doi":"10.1016/j.jcta.2025.106021","DOIUrl":"10.1016/j.jcta.2025.106021","url":null,"abstract":"<div><div>Separable elements in Weyl groups are generalizations of the well-known class of separable permutations in symmetric groups. Gaetz and Gao showed that for any pair <span><math><mo>(</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>)</mo></math></span> of subsets of the symmetric group <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, the multiplication map <span><math><mi>X</mi><mo>×</mo><mi>Y</mi><mo>→</mo><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is a splitting (i.e., a length-additive bijection) of <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> if and only if <em>X</em> is the generalized quotient of <em>Y</em> and <em>Y</em> is a principal lower order ideal in the right weak order generated by a separable element. They conjectured this result can be extended to all finite Weyl groups. In this paper, we classify all separable and minimal non-separable signed permutations in terms of forbidden patterns and confirm the conjecture of Gaetz and Gao for Weyl groups of type <em>B</em>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"214 ","pages":"Article 106021"},"PeriodicalIF":0.9,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143510239","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Binary self-orthogonal codes which meet the Griesmer bound or have optimal minimum distances 满足Griesmer界或具有最优最小距离的二进制自正交码
IF 0.9 2区 数学 Q2 MATHEMATICS Pub Date : 2025-08-01 Epub Date: 2025-02-28 DOI: 10.1016/j.jcta.2025.106027
Minjia Shi , Shitao Li , Tor Helleseth , Jon-Lark Kim
The purpose of this paper is two-fold. First, we characterize the existence of binary self-orthogonal codes meeting the Griesmer bound by employing the Solomon-Stiffler codes. As a result, we reduce a problem with an infinite number of cases to a finite number of cases. Second, we develop a general method to prove the nonexistence of some binary self-orthogonal codes by considering the residual code of a binary self-orthogonal code. Using such a characterization, we completely determine the exact value of dso(n,7), where dso(n,k) denotes the largest minimum distance among all binary self-orthogonal [n,k] codes.
本文的目的是双重的。首先,我们利用solomon - stiff码刻画了满足Griesmer界的二进制自正交码的存在性。因此,我们将一个有无限种情况的问题简化为有限种情况。其次,通过考虑二进制自正交码的残差码,给出了证明某些二进制自正交码不存在的一般方法。利用这样的表征,我们完全确定了dso(n,7)的精确值,其中dso(n,k)表示所有二进制自正交[n,k]码之间的最大最小距离。
{"title":"Binary self-orthogonal codes which meet the Griesmer bound or have optimal minimum distances","authors":"Minjia Shi ,&nbsp;Shitao Li ,&nbsp;Tor Helleseth ,&nbsp;Jon-Lark Kim","doi":"10.1016/j.jcta.2025.106027","DOIUrl":"10.1016/j.jcta.2025.106027","url":null,"abstract":"<div><div>The purpose of this paper is two-fold. First, we characterize the existence of binary self-orthogonal codes meeting the Griesmer bound by employing the Solomon-Stiffler codes. As a result, we reduce a problem with an infinite number of cases to a finite number of cases. Second, we develop a general method to prove the nonexistence of some binary self-orthogonal codes by considering the residual code of a binary self-orthogonal code. Using such a characterization, we completely determine the exact value of <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>s</mi><mi>o</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>,</mo><mn>7</mn><mo>)</mo></math></span>, where <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>s</mi><mi>o</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> denotes the largest minimum distance among all binary self-orthogonal <span><math><mo>[</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>]</mo></math></span> codes.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"214 ","pages":"Article 106027"},"PeriodicalIF":0.9,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143511263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Journal of Combinatorial Theory Series A
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1