下载PDF
{"title":"循环群中的弱序列性","authors":"Simone Costa, Stefano Della Fiore","doi":"10.1002/jcd.21862","DOIUrl":null,"url":null,"abstract":"<p>A subset <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>A</mi>\n </mrow>\n </mrow>\n <annotation> $A$</annotation>\n </semantics></math> of an abelian group <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>G</mi>\n </mrow>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> is <i>sequenceable</i> if there is an ordering <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mrow>\n <mo>(</mo>\n \n <mrow>\n <msub>\n <mi>a</mi>\n \n <mn>1</mn>\n </msub>\n \n <mo>,</mo>\n \n <mtext>…</mtext>\n \n <mo>,</mo>\n \n <msub>\n <mi>a</mi>\n \n <mi>k</mi>\n </msub>\n </mrow>\n \n <mo>)</mo>\n </mrow>\n </mrow>\n </mrow>\n <annotation> $({a}_{1},\\ldots ,{a}_{k})$</annotation>\n </semantics></math> of its elements such that the partial sums <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mrow>\n <mo>(</mo>\n \n <mrow>\n <msub>\n <mi>s</mi>\n \n <mn>0</mn>\n </msub>\n \n <mo>,</mo>\n \n <msub>\n <mi>s</mi>\n \n <mn>1</mn>\n </msub>\n \n <mo>,</mo>\n \n <mtext>…</mtext>\n \n <mo>,</mo>\n \n <msub>\n <mi>s</mi>\n \n <mi>k</mi>\n </msub>\n </mrow>\n \n <mo>)</mo>\n </mrow>\n </mrow>\n </mrow>\n <annotation> $({s}_{0},{s}_{1},\\ldots ,{s}_{k})$</annotation>\n </semantics></math>, given by <math>\n <semantics>\n <mrow>\n \n <mrow>\n <msub>\n <mi>s</mi>\n \n <mn>0</mn>\n </msub>\n \n <mo>=</mo>\n \n <mn>0</mn>\n </mrow>\n </mrow>\n <annotation> ${s}_{0}=0$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n \n <mrow>\n <msub>\n <mi>s</mi>\n \n <mi>i</mi>\n </msub>\n \n <mo>=</mo>\n \n <msubsup>\n <mo>∑</mo>\n \n <mrow>\n <mi>j</mi>\n \n <mo>=</mo>\n \n <mn>1</mn>\n </mrow>\n \n <mi>i</mi>\n </msubsup>\n \n <msub>\n <mi>a</mi>\n \n <mi>j</mi>\n </msub>\n </mrow>\n </mrow>\n <annotation> ${s}_{i}={\\sum }_{j=1}^{i}{a}_{j}$</annotation>\n </semantics></math> for <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mn>1</mn>\n \n <mo>≤</mo>\n \n <mi>i</mi>\n \n <mo>≤</mo>\n \n <mi>k</mi>\n </mrow>\n </mrow>\n <annotation> $1\\le i\\le k$</annotation>\n </semantics></math>, are distinct, with the possible exception that we may have <math>\n <semantics>\n <mrow>\n \n <mrow>\n <msub>\n <mi>s</mi>\n \n <mi>k</mi>\n </msub>\n \n <mo>=</mo>\n \n <msub>\n <mi>s</mi>\n \n <mn>0</mn>\n </msub>\n \n <mo>=</mo>\n \n <mn>0</mn>\n </mrow>\n </mrow>\n <annotation> ${s}_{k}={s}_{0}=0$</annotation>\n </semantics></math>. In the literature there are several conjectures and questions concerning the sequenceability of subsets of abelian groups, which have been combined and summarized by Alspach and Liversidge into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable. If the elements of a sequenceable set <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>A</mi>\n </mrow>\n </mrow>\n <annotation> $A$</annotation>\n </semantics></math> do not sum to 0 then there exists a simple path <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>P</mi>\n </mrow>\n </mrow>\n <annotation> $P$</annotation>\n </semantics></math> in the Cayley graph <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>C</mi>\n \n <mi>a</mi>\n \n <mi>y</mi>\n \n <mrow>\n <mo>[</mo>\n \n <mrow>\n <mi>G</mi>\n \n <mo>:</mo>\n \n <mo>±</mo>\n \n <mi>A</mi>\n </mrow>\n \n <mo>]</mo>\n </mrow>\n </mrow>\n </mrow>\n <annotation> $Cay[G:\\pm A]$</annotation>\n </semantics></math> such that <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>Δ</mi>\n \n <mrow>\n <mo>(</mo>\n \n <mi>P</mi>\n \n <mo>)</mo>\n </mrow>\n \n <mo>=</mo>\n \n <mo>±</mo>\n \n <mi>A</mi>\n </mrow>\n </mrow>\n <annotation> ${\\rm{\\Delta }}(P)=\\pm A$</annotation>\n </semantics></math>. In this paper, inspired by this graph–theoretical interpretation, we propose a weakening of this conjecture. Here, under the above assumptions, we want to find an ordering whose partial sums define a walk <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>W</mi>\n </mrow>\n </mrow>\n <annotation> $W$</annotation>\n </semantics></math> of girth bigger than <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>t</mi>\n </mrow>\n </mrow>\n <annotation> $t$</annotation>\n </semantics></math> (for a given <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>t</mi>\n \n <mo><</mo>\n \n <mi>k</mi>\n </mrow>\n </mrow>\n <annotation> $t\\lt k$</annotation>\n </semantics></math>) and such that <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>Δ</mi>\n \n <mrow>\n <mo>(</mo>\n \n <mi>W</mi>\n \n <mo>)</mo>\n </mrow>\n \n <mo>=</mo>\n \n <mo>±</mo>\n \n <mi>A</mi>\n </mrow>\n </mrow>\n <annotation> ${\\rm{\\Delta }}(W)=\\pm A$</annotation>\n </semantics></math>. This is possible given that the partial sums <math>\n <semantics>\n <mrow>\n \n <mrow>\n <msub>\n <mi>s</mi>\n \n <mi>i</mi>\n </msub>\n </mrow>\n </mrow>\n <annotation> ${s}_{i}$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n \n <mrow>\n <msub>\n <mi>s</mi>\n \n <mi>j</mi>\n </msub>\n </mrow>\n </mrow>\n <annotation> ${s}_{j}$</annotation>\n </semantics></math> are different whenever <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>i</mi>\n </mrow>\n </mrow>\n <annotation> $i$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>j</mi>\n </mrow>\n </mrow>\n <annotation> $j$</annotation>\n </semantics></math> are distinct and <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mo>∣</mo>\n \n <mi>i</mi>\n \n <mo>−</mo>\n \n <mi>j</mi>\n \n <mo>∣</mo>\n \n <mo>≤</mo>\n \n <mi>t</mi>\n </mrow>\n </mrow>\n <annotation> $| i-j| \\le t$</annotation>\n </semantics></math>. In this case, we say that the set <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>A</mi>\n </mrow>\n </mrow>\n <annotation> $A$</annotation>\n </semantics></math> is <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>t</mi>\n </mrow>\n </mrow>\n <annotation> $t$</annotation>\n </semantics></math>-<i>weakly sequenceable</i>. The main result here presented is that any subset <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>A</mi>\n </mrow>\n </mrow>\n <annotation> $A$</annotation>\n </semantics></math> of <math>\n <semantics>\n <mrow>\n \n <mrow>\n <msub>\n <mi>Z</mi>\n \n <mi>p</mi>\n </msub>\n \n <mo>⧹</mo>\n \n <mrow>\n <mo>{</mo>\n \n <mn>0</mn>\n \n <mo>}</mo>\n </mrow>\n </mrow>\n </mrow>\n <annotation> ${{\\mathbb{Z}}}_{p}\\setminus \\{0\\}$</annotation>\n </semantics></math> is <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>t</mi>\n </mrow>\n </mrow>\n <annotation> $t$</annotation>\n </semantics></math>-weakly sequenceable whenever <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>t</mi>\n \n <mo><</mo>\n \n <mn>7</mn>\n </mrow>\n </mrow>\n <annotation> $t\\lt 7$</annotation>\n </semantics></math> or when <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>A</mi>\n </mrow>\n </mrow>\n <annotation> $A$</annotation>\n </semantics></math> does not contain pairs of type <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mrow>\n <mo>{</mo>\n \n <mrow>\n <mi>x</mi>\n \n <mo>,</mo>\n \n <mo>−</mo>\n \n <mi>x</mi>\n </mrow>\n \n <mo>}</mo>\n </mrow>\n </mrow>\n </mrow>\n <annotation> $\\{x,-x\\}$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n \n <mrow>\n <mi>t</mi>\n \n <mo><</mo>\n \n <mn>8</mn>\n </mrow>\n </mrow>\n <annotation> $t\\lt 8$</annotation>\n </semantics></math>.</p>","PeriodicalId":15389,"journal":{"name":"Journal of Combinatorial Designs","volume":"30 12","pages":"735-751"},"PeriodicalIF":0.5000,"publicationDate":"2022-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jcd.21862","citationCount":"4","resultStr":"{\"title\":\"Weak sequenceability in cyclic groups\",\"authors\":\"Simone Costa, Stefano Della Fiore\",\"doi\":\"10.1002/jcd.21862\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>A subset <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>A</mi>\\n </mrow>\\n </mrow>\\n <annotation> $A$</annotation>\\n </semantics></math> of an abelian group <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>G</mi>\\n </mrow>\\n </mrow>\\n <annotation> $G$</annotation>\\n </semantics></math> is <i>sequenceable</i> if there is an ordering <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mrow>\\n <mo>(</mo>\\n \\n <mrow>\\n <msub>\\n <mi>a</mi>\\n \\n <mn>1</mn>\\n </msub>\\n \\n <mo>,</mo>\\n \\n <mtext>…</mtext>\\n \\n <mo>,</mo>\\n \\n <msub>\\n <mi>a</mi>\\n \\n <mi>k</mi>\\n </msub>\\n </mrow>\\n \\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n </mrow>\\n <annotation> $({a}_{1},\\\\ldots ,{a}_{k})$</annotation>\\n </semantics></math> of its elements such that the partial sums <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mrow>\\n <mo>(</mo>\\n \\n <mrow>\\n <msub>\\n <mi>s</mi>\\n \\n <mn>0</mn>\\n </msub>\\n \\n <mo>,</mo>\\n \\n <msub>\\n <mi>s</mi>\\n \\n <mn>1</mn>\\n </msub>\\n \\n <mo>,</mo>\\n \\n <mtext>…</mtext>\\n \\n <mo>,</mo>\\n \\n <msub>\\n <mi>s</mi>\\n \\n <mi>k</mi>\\n </msub>\\n </mrow>\\n \\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n </mrow>\\n <annotation> $({s}_{0},{s}_{1},\\\\ldots ,{s}_{k})$</annotation>\\n </semantics></math>, given by <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <msub>\\n <mi>s</mi>\\n \\n <mn>0</mn>\\n </msub>\\n \\n <mo>=</mo>\\n \\n <mn>0</mn>\\n </mrow>\\n </mrow>\\n <annotation> ${s}_{0}=0$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <msub>\\n <mi>s</mi>\\n \\n <mi>i</mi>\\n </msub>\\n \\n <mo>=</mo>\\n \\n <msubsup>\\n <mo>∑</mo>\\n \\n <mrow>\\n <mi>j</mi>\\n \\n <mo>=</mo>\\n \\n <mn>1</mn>\\n </mrow>\\n \\n <mi>i</mi>\\n </msubsup>\\n \\n <msub>\\n <mi>a</mi>\\n \\n <mi>j</mi>\\n </msub>\\n </mrow>\\n </mrow>\\n <annotation> ${s}_{i}={\\\\sum }_{j=1}^{i}{a}_{j}$</annotation>\\n </semantics></math> for <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mn>1</mn>\\n \\n <mo>≤</mo>\\n \\n <mi>i</mi>\\n \\n <mo>≤</mo>\\n \\n <mi>k</mi>\\n </mrow>\\n </mrow>\\n <annotation> $1\\\\le i\\\\le k$</annotation>\\n </semantics></math>, are distinct, with the possible exception that we may have <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <msub>\\n <mi>s</mi>\\n \\n <mi>k</mi>\\n </msub>\\n \\n <mo>=</mo>\\n \\n <msub>\\n <mi>s</mi>\\n \\n <mn>0</mn>\\n </msub>\\n \\n <mo>=</mo>\\n \\n <mn>0</mn>\\n </mrow>\\n </mrow>\\n <annotation> ${s}_{k}={s}_{0}=0$</annotation>\\n </semantics></math>. In the literature there are several conjectures and questions concerning the sequenceability of subsets of abelian groups, which have been combined and summarized by Alspach and Liversidge into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable. If the elements of a sequenceable set <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>A</mi>\\n </mrow>\\n </mrow>\\n <annotation> $A$</annotation>\\n </semantics></math> do not sum to 0 then there exists a simple path <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>P</mi>\\n </mrow>\\n </mrow>\\n <annotation> $P$</annotation>\\n </semantics></math> in the Cayley graph <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>C</mi>\\n \\n <mi>a</mi>\\n \\n <mi>y</mi>\\n \\n <mrow>\\n <mo>[</mo>\\n \\n <mrow>\\n <mi>G</mi>\\n \\n <mo>:</mo>\\n \\n <mo>±</mo>\\n \\n <mi>A</mi>\\n </mrow>\\n \\n <mo>]</mo>\\n </mrow>\\n </mrow>\\n </mrow>\\n <annotation> $Cay[G:\\\\pm A]$</annotation>\\n </semantics></math> such that <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>Δ</mi>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mi>P</mi>\\n \\n <mo>)</mo>\\n </mrow>\\n \\n <mo>=</mo>\\n \\n <mo>±</mo>\\n \\n <mi>A</mi>\\n </mrow>\\n </mrow>\\n <annotation> ${\\\\rm{\\\\Delta }}(P)=\\\\pm A$</annotation>\\n </semantics></math>. In this paper, inspired by this graph–theoretical interpretation, we propose a weakening of this conjecture. Here, under the above assumptions, we want to find an ordering whose partial sums define a walk <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>W</mi>\\n </mrow>\\n </mrow>\\n <annotation> $W$</annotation>\\n </semantics></math> of girth bigger than <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>t</mi>\\n </mrow>\\n </mrow>\\n <annotation> $t$</annotation>\\n </semantics></math> (for a given <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>t</mi>\\n \\n <mo><</mo>\\n \\n <mi>k</mi>\\n </mrow>\\n </mrow>\\n <annotation> $t\\\\lt k$</annotation>\\n </semantics></math>) and such that <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>Δ</mi>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mi>W</mi>\\n \\n <mo>)</mo>\\n </mrow>\\n \\n <mo>=</mo>\\n \\n <mo>±</mo>\\n \\n <mi>A</mi>\\n </mrow>\\n </mrow>\\n <annotation> ${\\\\rm{\\\\Delta }}(W)=\\\\pm A$</annotation>\\n </semantics></math>. This is possible given that the partial sums <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <msub>\\n <mi>s</mi>\\n \\n <mi>i</mi>\\n </msub>\\n </mrow>\\n </mrow>\\n <annotation> ${s}_{i}$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <msub>\\n <mi>s</mi>\\n \\n <mi>j</mi>\\n </msub>\\n </mrow>\\n </mrow>\\n <annotation> ${s}_{j}$</annotation>\\n </semantics></math> are different whenever <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>i</mi>\\n </mrow>\\n </mrow>\\n <annotation> $i$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>j</mi>\\n </mrow>\\n </mrow>\\n <annotation> $j$</annotation>\\n </semantics></math> are distinct and <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mo>∣</mo>\\n \\n <mi>i</mi>\\n \\n <mo>−</mo>\\n \\n <mi>j</mi>\\n \\n <mo>∣</mo>\\n \\n <mo>≤</mo>\\n \\n <mi>t</mi>\\n </mrow>\\n </mrow>\\n <annotation> $| i-j| \\\\le t$</annotation>\\n </semantics></math>. In this case, we say that the set <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>A</mi>\\n </mrow>\\n </mrow>\\n <annotation> $A$</annotation>\\n </semantics></math> is <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>t</mi>\\n </mrow>\\n </mrow>\\n <annotation> $t$</annotation>\\n </semantics></math>-<i>weakly sequenceable</i>. The main result here presented is that any subset <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>A</mi>\\n </mrow>\\n </mrow>\\n <annotation> $A$</annotation>\\n </semantics></math> of <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <msub>\\n <mi>Z</mi>\\n \\n <mi>p</mi>\\n </msub>\\n \\n <mo>⧹</mo>\\n \\n <mrow>\\n <mo>{</mo>\\n \\n <mn>0</mn>\\n \\n <mo>}</mo>\\n </mrow>\\n </mrow>\\n </mrow>\\n <annotation> ${{\\\\mathbb{Z}}}_{p}\\\\setminus \\\\{0\\\\}$</annotation>\\n </semantics></math> is <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>t</mi>\\n </mrow>\\n </mrow>\\n <annotation> $t$</annotation>\\n </semantics></math>-weakly sequenceable whenever <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>t</mi>\\n \\n <mo><</mo>\\n \\n <mn>7</mn>\\n </mrow>\\n </mrow>\\n <annotation> $t\\\\lt 7$</annotation>\\n </semantics></math> or when <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>A</mi>\\n </mrow>\\n </mrow>\\n <annotation> $A$</annotation>\\n </semantics></math> does not contain pairs of type <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mrow>\\n <mo>{</mo>\\n \\n <mrow>\\n <mi>x</mi>\\n \\n <mo>,</mo>\\n \\n <mo>−</mo>\\n \\n <mi>x</mi>\\n </mrow>\\n \\n <mo>}</mo>\\n </mrow>\\n </mrow>\\n </mrow>\\n <annotation> $\\\\{x,-x\\\\}$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n \\n <mrow>\\n <mi>t</mi>\\n \\n <mo><</mo>\\n \\n <mn>8</mn>\\n </mrow>\\n </mrow>\\n <annotation> $t\\\\lt 8$</annotation>\\n </semantics></math>.</p>\",\"PeriodicalId\":15389,\"journal\":{\"name\":\"Journal of Combinatorial Designs\",\"volume\":\"30 12\",\"pages\":\"735-751\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2022-09-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jcd.21862\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Combinatorial Designs\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/jcd.21862\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Combinatorial Designs","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/jcd.21862","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 4
引用
批量引用