{"title":"","authors":"","doi":"","DOIUrl":"","url":null,"abstract":"","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106156"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146654738","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}
{"title":"","authors":"","doi":"","DOIUrl":"","url":null,"abstract":"","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106159"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146654743","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}
{"title":"","authors":"","doi":"","DOIUrl":"","url":null,"abstract":"","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106163"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146654746","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}
{"title":"","authors":"","doi":"","DOIUrl":"","url":null,"abstract":"","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106167"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146654747","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}
{"title":"","authors":"","doi":"","DOIUrl":"","url":null,"abstract":"","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"222 ","pages":"Article 106164"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146669389","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}
{"title":"","authors":"","doi":"","DOIUrl":"","url":null,"abstract":"","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106152"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147058336","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}
{"title":"","authors":"","doi":"","DOIUrl":"","url":null,"abstract":"","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106161"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147058341","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}
Pub Date : 2025-12-31DOI: 10.1016/j.jcta.2025.106157
Ross G. Pinsky
<div><div>A permutation is <em>separable</em> if it can be obtained from the singleton permutation by iterating direct sums and skew sums. Equivalently, it is separable if and only it avoids the patterns 2413 and 3142. Under the uniform probability on separable permutations of <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span>, let the random variable <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> denote the length of the longest alternating subsequence. Also, let <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> denote the length of the longest alternating subsequence that begins with an ascent and ends with a descent, and define <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> similarly. By symmetry, the first two and the last two of these latter four random variables are equi-distributed. We prove that the expected value of any of these five random variables behaves asymptotically as <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>≈</mo><mn>0.5858</mn><mspace></mspace><mi>n</mi></math></span>. We also obtain the more refined estimates that the expected value of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> and of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>+</mo></mrow></msubsup></math></span> is equal to <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>(</mo><mn>3</mn><mo>−</mo><mn>2</mn><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span> and that the expected value of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>+</mo></mrow></msubsup></math></span> and of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> is equal to <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>+</mo><mfrac><mrow><mn>3</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>(</mo><mn>3</mn><mo>−</mo><mn>2</mn><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span>. Finally, we show that the variance of any of the four random variables <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>±</mo
{"title":"Mean and variance of the longest alternating subsequence in a random separable permutation","authors":"Ross G. Pinsky","doi":"10.1016/j.jcta.2025.106157","DOIUrl":"10.1016/j.jcta.2025.106157","url":null,"abstract":"<div><div>A permutation is <em>separable</em> if it can be obtained from the singleton permutation by iterating direct sums and skew sums. Equivalently, it is separable if and only it avoids the patterns 2413 and 3142. Under the uniform probability on separable permutations of <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span>, let the random variable <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> denote the length of the longest alternating subsequence. Also, let <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> denote the length of the longest alternating subsequence that begins with an ascent and ends with a descent, and define <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> similarly. By symmetry, the first two and the last two of these latter four random variables are equi-distributed. We prove that the expected value of any of these five random variables behaves asymptotically as <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>≈</mo><mn>0.5858</mn><mspace></mspace><mi>n</mi></math></span>. We also obtain the more refined estimates that the expected value of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> and of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>+</mo></mrow></msubsup></math></span> is equal to <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>(</mo><mn>3</mn><mo>−</mo><mn>2</mn><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span> and that the expected value of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>+</mo></mrow></msubsup></math></span> and of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> is equal to <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>+</mo><mfrac><mrow><mn>3</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>(</mo><mn>3</mn><mo>−</mo><mn>2</mn><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span>. Finally, we show that the variance of any of the four random variables <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>±</mo","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106157"},"PeriodicalIF":1.2,"publicationDate":"2025-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145883655","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}
Pub Date : 2025-12-22DOI: 10.1016/j.jcta.2025.106156
Chengyang Qian, Yaokun Wu, Yinfeng Zhu
For a positive integer t, a t-variable digraph on a set K is defined as a map f from to . Note that an ordinary digraph is a 1-variable digraph. In 2017, Wu, Xu, and Zhu proposed the study of multivariate digraphs as a qualitative counterpart of going from Markov chains to higher-order Markov chains. A fundamental parameter of any strongly connected ordinary digraph is its period. This notion extends naturally to strongly connected t-variable digraphs. Let denote the set of all possible periods of strongly connected t-variable digraphs, let be its Frobenius number (i.e., the largest nonnegative integer not belonging to ), and let be its Sylvester number (i.e., the number of positive integers outside of ). In this paper, we establish new estimates for and . We also show that equals when and {1} when . Although this work originated in an effort to understand qualitative higher-order Markov chains, it turns out to be closely related to two other active areas of research, partitioning a discrete box into subboxes, and restricted universal partial cycles.
{"title":"Periods of strongly connected multivariate digraphs","authors":"Chengyang Qian, Yaokun Wu, Yinfeng Zhu","doi":"10.1016/j.jcta.2025.106156","DOIUrl":"10.1016/j.jcta.2025.106156","url":null,"abstract":"<div><div>For a positive integer <em>t</em>, a <em>t</em>-variable digraph on a set <em>K</em> is defined as a map <em>f</em> from <span><math><msup><mrow><mi>K</mi></mrow><mrow><mi>t</mi></mrow></msup></math></span> to <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>K</mi></mrow></msup></math></span>. Note that an ordinary digraph is a 1-variable digraph. In 2017, Wu, Xu, and Zhu proposed the study of multivariate digraphs as a qualitative counterpart of going from Markov chains to higher-order Markov chains. A fundamental parameter of any strongly connected ordinary digraph is its period. This notion extends naturally to strongly connected <em>t</em>-variable digraphs. Let <span><math><mrow><mi>PS</mi></mrow><mo>(</mo><mi>t</mi><mo>)</mo></math></span> denote the set of all possible periods of strongly connected <em>t</em>-variable digraphs, let <span><math><mi>g</mi><mo>(</mo><mi>t</mi><mo>)</mo></math></span> be its Frobenius number (i.e., the largest nonnegative integer not belonging to <span><math><mrow><mi>PS</mi></mrow><mo>(</mo><mi>t</mi><mo>)</mo></math></span>), and let <span><math><mi>n</mi><mo>(</mo><mi>t</mi><mo>)</mo></math></span> be its Sylvester number (i.e., the number of positive integers outside of <span><math><mrow><mi>PS</mi></mrow><mo>(</mo><mi>t</mi><mo>)</mo></math></span>). In this paper, we establish new estimates for <span><math><mi>g</mi><mo>(</mo><mi>t</mi><mo>)</mo></math></span> and <span><math><mi>n</mi><mo>(</mo><mi>t</mi><mo>)</mo></math></span>. We also show that <span><math><mrow><mi>PS</mi></mrow><mo>(</mo><mi>t</mi><mo>)</mo><mo>∩</mo><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mn>4</mn><mi>t</mi><mo>−</mo><mn>1</mn><mo>}</mo></math></span> equals <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mn>8</mn><mo>}</mo></math></span> when <span><math><mi>t</mi><mo>∈</mo><mo>{</mo><mn>3</mn><mo>,</mo><mn>4</mn><mo>}</mo></math></span> and {1} when <span><math><mi>t</mi><mo>≥</mo><mn>5</mn></math></span>. Although this work originated in an effort to understand qualitative higher-order Markov chains, it turns out to be closely related to two other active areas of research, partitioning a discrete box into subboxes, and restricted universal partial cycles.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106156"},"PeriodicalIF":1.2,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145813851","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}
Pub Date : 2025-12-22DOI: 10.1016/j.jcta.2025.106155
Zai Ping Lu, Yue Sun
A graph is said to be edge-primitive if its automorphism group acts primitively on the edge set. In this paper, we investigate finite edge-primitive Cayley graphs of valency no less than 2. An explicit classification of such graphs is obtained in the case where the graphs admit an almost simple edge-primitive automorphism group which contains a regular subgroup on the vertices. This implies that the only edge-primitive Cayley graphs of valency at least 2 defined over simple groups are cycles with prime length and complete graphs. In addition, we also classify those edge-primitive Cayley graphs which are either 2-arc-transitive or of square-free order.
{"title":"On edge-primitive Cayley graphs","authors":"Zai Ping Lu, Yue Sun","doi":"10.1016/j.jcta.2025.106155","DOIUrl":"10.1016/j.jcta.2025.106155","url":null,"abstract":"<div><div>A graph is said to be edge-primitive if its automorphism group acts primitively on the edge set. In this paper, we investigate finite edge-primitive Cayley graphs of valency no less than 2. An explicit classification of such graphs is obtained in the case where the graphs admit an almost simple edge-primitive automorphism group which contains a regular subgroup on the vertices. This implies that the only edge-primitive Cayley graphs of valency at least 2 defined over simple groups are cycles with prime length and complete graphs. In addition, we also classify those edge-primitive Cayley graphs which are either 2-arc-transitive or of square-free order.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106155"},"PeriodicalIF":1.2,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145813854","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}