Pub Date : 2024-07-22DOI: 10.1016/j.aam.2024.102743
William Y.C. Chen , Amy M. Fu
We came across an unexpected connection between a remarkable grammar of Dumont for the joint distribution of over and a beautiful theorem of Diaconis-Evans-Graham on successions and fixed points of permutations. With the grammar in hand, we demonstrate the advantage of the grammatical calculus in deriving the generating functions, where the constant property plays a substantial role. On the grounds of left successions of a permutation, we present a grammatical treatment of the joint distribution investigated by Roselle. Moreover, we obtain a left succession analogue of the Diaconis-Evans-Graham theorem, exemplifying the idea of a grammar assisted bijection. The grammatical labelings give rise to an equidistribution of and restricted to the set of left successions and the set of fixed points, where jump is defined to be the number of ascents minus the number of left successions.
{"title":"A grammar of Dumont and a theorem of Diaconis-Evans-Graham","authors":"William Y.C. Chen , Amy M. Fu","doi":"10.1016/j.aam.2024.102743","DOIUrl":"10.1016/j.aam.2024.102743","url":null,"abstract":"<div><p>We came across an unexpected connection between a remarkable grammar of Dumont for the joint distribution of <span><math><mo>(</mo><mrow><mi>exc</mi></mrow><mo>,</mo><mrow><mi>fix</mi></mrow><mo>)</mo></math></span> over <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> and a beautiful theorem of Diaconis-Evans-Graham on successions and fixed points of permutations. With the grammar in hand, we demonstrate the advantage of the grammatical calculus in deriving the generating functions, where the constant property plays a substantial role. On the grounds of left successions of a permutation, we present a grammatical treatment of the joint distribution investigated by Roselle. Moreover, we obtain a left succession analogue of the Diaconis-Evans-Graham theorem, exemplifying the idea of a grammar assisted bijection. The grammatical labelings give rise to an equidistribution of <span><math><mo>(</mo><mrow><mi>jump</mi></mrow><mo>,</mo><mrow><mi>des</mi></mrow><mo>)</mo></math></span> and <span><math><mo>(</mo><mrow><mi>exc</mi></mrow><mo>,</mo><mrow><mi>drop</mi></mrow><mo>)</mo></math></span> restricted to the set of left successions and the set of fixed points, where jump is defined to be the number of ascents minus the number of left successions.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"160 ","pages":"Article 102743"},"PeriodicalIF":1.0,"publicationDate":"2024-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141773993","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-18DOI: 10.1016/j.aam.2024.102739
Jean C. Peyen, Leonid V. Bogachev, Paul P. Martin
The paper is concerned with the asymptotic analysis of a family of Boltzmann (multiplicative) distributions over the set of strict integer partitions (i.e., with unequal parts) into perfect q-th powers. A combinatorial link is provided via a suitable conditioning by fixing the partition weight (the sum of parts) and length (the number of parts), leading to uniform distribution on the corresponding subspaces of partitions. The Boltzmann measure is calibrated through the hyper-parameters and controlling the expected weight and length, respectively. We study “short” partitions, where the parameter is either fixed or grows slower than for typical partitions in . For this model, we obtain a variety of limit theorems including the asymptotics of the cumulative cardinality in the case of fixed and a limit shape result in the case of slow growth of . In both cases, we also characterize the joint distribution of the weight and length, as well as the growth of the smallest and largest parts. Using these results we construct suitable sampling algorithms and analyze their performance.
{"title":"Boltzmann distribution on “short” integer partitions with power parts: Limit laws and sampling","authors":"Jean C. Peyen, Leonid V. Bogachev, Paul P. Martin","doi":"10.1016/j.aam.2024.102739","DOIUrl":"10.1016/j.aam.2024.102739","url":null,"abstract":"<div><p>The paper is concerned with the asymptotic analysis of a family of Boltzmann (multiplicative) distributions over the set <span><math><msup><mrow><mover><mrow><mi>Λ</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></mrow><mrow><mi>q</mi></mrow></msup></math></span> of <em>strict</em> integer partitions (i.e., with unequal parts) into perfect <em>q</em>-th powers. A combinatorial link is provided via a suitable conditioning by fixing the partition <em>weight</em> (the sum of parts) and <em>length</em> (the number of parts), leading to uniform distribution on the corresponding subspaces of partitions. The Boltzmann measure is calibrated through the hyper-parameters <span><math><mo>〈</mo><mi>N</mi><mo>〉</mo></math></span> and <span><math><mo>〈</mo><mi>M</mi><mo>〉</mo></math></span> controlling the expected weight and length, respectively. We study “short” partitions, where the parameter <span><math><mo>〈</mo><mi>M</mi><mo>〉</mo></math></span> is either fixed or grows slower than for typical partitions in <span><math><msup><mrow><mover><mrow><mi>Λ</mi></mrow><mrow><mo>ˇ</mo></mrow></mover></mrow><mrow><mi>q</mi></mrow></msup></math></span>. For this model, we obtain a variety of limit theorems including the asymptotics of the cumulative cardinality in the case of fixed <span><math><mo>〈</mo><mi>M</mi><mo>〉</mo></math></span> and a limit shape result in the case of slow growth of <span><math><mo>〈</mo><mi>M</mi><mo>〉</mo></math></span>. In both cases, we also characterize the joint distribution of the weight and length, as well as the growth of the smallest and largest parts. Using these results we construct suitable sampling algorithms and analyze their performance.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102739"},"PeriodicalIF":1.0,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S019688582400071X/pdfft?md5=c62597e3a64191348b9f6a6a0db0b908&pid=1-s2.0-S019688582400071X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141639163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1016/j.aam.2024.102740
Zequn Lv , Zhen He , Mei Lu
In the present paper, we introduce a new approach and use it to prove that the maximum number of triangles in a -free graph on n vertices is at most , improving an estimate of Ergemlidze and Methuku [4]. We also show that the maximum size of an induced--free and -free graph on n vertices is at most , also improving an estimate of Ergemlidze and Methuku [4].
{"title":"Many triangles in C5-free graphs","authors":"Zequn Lv , Zhen He , Mei Lu","doi":"10.1016/j.aam.2024.102740","DOIUrl":"10.1016/j.aam.2024.102740","url":null,"abstract":"<div><p>In the present paper, we introduce a new approach and use it to prove that the maximum number of triangles in a <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub></math></span>-free graph on <em>n</em> vertices is at most <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn><msqrt><mrow><mn>6</mn></mrow></msqrt></mrow></mfrac><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo></mrow><msup><mrow><mi>n</mi></mrow><mrow><mn>3</mn><mo>/</mo><mn>2</mn></mrow></msup></math></span>, improving an estimate of Ergemlidze and Methuku <span><span>[4]</span></span>. We also show that the maximum size of an induced-<span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-free and <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub></math></span>-free graph on <em>n</em> vertices is at most <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><msqrt><mrow><mn>6</mn></mrow></msqrt></mrow></mfrac><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo></mrow><msup><mrow><mi>n</mi></mrow><mrow><mn>3</mn><mo>/</mo><mn>2</mn></mrow></msup></math></span>, also improving an estimate of Ergemlidze and Methuku <span><span>[4]</span></span>.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102740"},"PeriodicalIF":1.0,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141622872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-09DOI: 10.1016/j.aam.2024.102737
Hermann König
We determine the maximal non-central hyperplane sections of the -ball if the fixed distance of the hyperplane to the origin is between and . This adds to a result of Liu and Tkocz who considered the distance range between and 1. For , the maximal sections are parallel to the -dimensional coordinate planes. We also study non-central sections of the complex -ball, where the formulas are more complicated than in the real case. Also, the extrema are partially different compared to the real case.
{"title":"Non-central sections of the l1-ball","authors":"Hermann König","doi":"10.1016/j.aam.2024.102737","DOIUrl":"https://doi.org/10.1016/j.aam.2024.102737","url":null,"abstract":"<div><p>We determine the maximal non-central hyperplane sections of the <span><math><msubsup><mrow><mi>l</mi></mrow><mrow><mn>1</mn></mrow><mrow><mi>n</mi></mrow></msubsup></math></span>-ball if the fixed distance of the hyperplane to the origin is between <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><msqrt><mrow><mn>3</mn></mrow></msqrt></mrow></mfrac></math></span> and <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><msqrt><mrow><mn>2</mn></mrow></msqrt></mrow></mfrac></math></span>. This adds to a result of Liu and Tkocz who considered the distance range between <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><msqrt><mrow><mn>2</mn></mrow></msqrt></mrow></mfrac></math></span> and 1. For <span><math><mi>n</mi><mo>≥</mo><mn>4</mn></math></span>, the maximal sections are parallel to the <span><math><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo></math></span>-dimensional coordinate planes. We also study non-central sections of the complex <span><math><msubsup><mrow><mi>l</mi></mrow><mrow><mo>∞</mo></mrow><mrow><mn>2</mn></mrow></msubsup></math></span>-ball, where the formulas are more complicated than in the real case. Also, the extrema are partially different compared to the real case.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102737"},"PeriodicalIF":1.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0196885824000691/pdfft?md5=4ac52765c27da32cc7db516354fb66e2&pid=1-s2.0-S0196885824000691-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141596392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-08DOI: 10.1016/j.aam.2024.102735
Bin Han , Qiongqiong Pan
We introduce a kind of -Catalan numbers of Type A by generalizing the J-type continued fraction formula, we prove that the corresponding expansions could be expressed by the polynomials counting permutations on by various descent statistics. Moreover, we introduce a kind of -Catalan numbers of Type B by generalizing the J-type continued fraction formula, we prove that the Taylor coefficients and their γ-coefficients could be expressed by the polynomials counting permutations on by various descent statistics. Our methods include permutation enumeration techniques involving variations of bijections from permutation patterns to labeled Motzkin paths and modified Foata-Strehl action.
我们通过概括 J 型续分数公式,引入了一种 A 型(p,q,t)-卡塔兰数,并证明了相应的展开式可以用 Sn(321) 上的多项式计数排列组合通过各种下降统计来表示。此外,我们通过概括 J 型续分数公式引入了一种 B 型(p,q,t)-卡塔兰数,并通过各种下降统计证明泰勒系数及其 γ 系数可以用 Sn(3124,4123,3142,4132) 上的多项式计数排列来表示。我们的方法包括包络枚举技术,涉及从包络模式到标注莫兹金路径的双射变化,以及修正的 Foata-Strehl 作用。
{"title":"(p,q,t)-Catalan continued fractions, gamma expansions and pattern avoidances","authors":"Bin Han , Qiongqiong Pan","doi":"10.1016/j.aam.2024.102735","DOIUrl":"https://doi.org/10.1016/j.aam.2024.102735","url":null,"abstract":"<div><p>We introduce a kind of <span><math><mo>(</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>t</mi><mo>)</mo></math></span>-Catalan numbers of Type A by generalizing the J-type continued fraction formula, we prove that the corresponding expansions could be expressed by the polynomials counting permutations on <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mn>321</mn><mo>)</mo></math></span> by various descent statistics. Moreover, we introduce a kind of <span><math><mo>(</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>,</mo><mi>t</mi><mo>)</mo></math></span>-Catalan numbers of Type B by generalizing the J-type continued fraction formula, we prove that the Taylor coefficients and their <em>γ</em>-coefficients could be expressed by the polynomials counting permutations on <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mn>3124</mn><mo>,</mo><mn>4123</mn><mo>,</mo><mn>3142</mn><mo>,</mo><mn>4132</mn><mo>)</mo></math></span> by various descent statistics. Our methods include permutation enumeration techniques involving variations of bijections from permutation patterns to labeled Motzkin paths and modified Foata-Strehl action.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102735"},"PeriodicalIF":1.0,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141594846","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-08DOI: 10.1016/j.aam.2024.102738
Su-Ping Cui , Hai-Xing Du , Nancy S.S. Gu
<div><p>A strongly unimodal sequence of size <em>n</em> is a sequence of integers <span><math><msubsup><mrow><mo>{</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>}</mo></mrow><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>s</mi></mrow></msubsup></math></span> satisfying the following conditions:<span><span><span><math><mn>0</mn><mo><</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo><</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo><</mo><mo>⋯</mo><mo><</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>></mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>></mo><mo>⋯</mo><mo>></mo><msub><mrow><mi>a</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>></mo><mn>0</mn><mspace></mspace><mtext>and</mtext><mspace></mspace><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>=</mo><mi>n</mi><mo>,</mo></math></span></span></span> for a certain index <em>k</em>, and we usually define its rank as <span><math><mi>s</mi><mo>−</mo><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn></math></span>. Let <span><math><mi>u</mi><mo>(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> be the number of strongly unimodal sequences of size <em>n</em> with rank <em>m</em>, and the generating function for <span><math><mi>u</mi><mo>(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> is written as<span><span><span><math><mi>U</mi><mo>(</mo><mi>z</mi><mo>;</mo><mi>q</mi><mo>)</mo><mo>:</mo><mo>=</mo><munder><mo>∑</mo><mrow><mi>m</mi><mo>,</mo><mi>n</mi></mrow></munder><mi>u</mi><mo>(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo>)</mo><msup><mrow><mi>z</mi></mrow><mrow><mi>m</mi></mrow></msup><msup><mrow><mi>q</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>.</mo></math></span></span></span> Recently, Chen and Garvan established some Hecke-type identities for the third order mock theta function <span><math><mi>ψ</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span> and <span><math><mi>U</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span>, which are the specializations of <span><math><mi>U</mi><mo>(</mo><mi>z</mi><mo>;</mo><mi>q</mi><mo>)</mo></math></span>, as advocated by <span><math><mi>ψ</mi><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><mi>U</mi><mo>(</mo><mo>±</mo><mi>i</mi><mo>;</mo><mi>q</mi><mo>)</mo></math></span> and <span><math><mi>U</mi><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><mi>U</mi><mo>(</mo><mn>1</mn><mo>;</mo><mi>q</mi><mo>)</mo></math></span>. Meanwhile, they inquired whether these Hecke-type identities could be proved via the Bailey pair machinery. In this paper, we not only answer the inquiry of Chen and Garvan in the affirmative, but offer more instances in a broader setting, with, for example, some classical third order mock theta functions due to Ramanujan involved. Furthermo
{"title":"Strongly unimodal sequences and Hecke-type identities","authors":"Su-Ping Cui , Hai-Xing Du , Nancy S.S. Gu","doi":"10.1016/j.aam.2024.102738","DOIUrl":"https://doi.org/10.1016/j.aam.2024.102738","url":null,"abstract":"<div><p>A strongly unimodal sequence of size <em>n</em> is a sequence of integers <span><math><msubsup><mrow><mo>{</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>}</mo></mrow><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>s</mi></mrow></msubsup></math></span> satisfying the following conditions:<span><span><span><math><mn>0</mn><mo><</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo><</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo><</mo><mo>⋯</mo><mo><</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>></mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>></mo><mo>⋯</mo><mo>></mo><msub><mrow><mi>a</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>></mo><mn>0</mn><mspace></mspace><mtext>and</mtext><mspace></mspace><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>=</mo><mi>n</mi><mo>,</mo></math></span></span></span> for a certain index <em>k</em>, and we usually define its rank as <span><math><mi>s</mi><mo>−</mo><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn></math></span>. Let <span><math><mi>u</mi><mo>(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> be the number of strongly unimodal sequences of size <em>n</em> with rank <em>m</em>, and the generating function for <span><math><mi>u</mi><mo>(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> is written as<span><span><span><math><mi>U</mi><mo>(</mo><mi>z</mi><mo>;</mo><mi>q</mi><mo>)</mo><mo>:</mo><mo>=</mo><munder><mo>∑</mo><mrow><mi>m</mi><mo>,</mo><mi>n</mi></mrow></munder><mi>u</mi><mo>(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo>)</mo><msup><mrow><mi>z</mi></mrow><mrow><mi>m</mi></mrow></msup><msup><mrow><mi>q</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>.</mo></math></span></span></span> Recently, Chen and Garvan established some Hecke-type identities for the third order mock theta function <span><math><mi>ψ</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span> and <span><math><mi>U</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span>, which are the specializations of <span><math><mi>U</mi><mo>(</mo><mi>z</mi><mo>;</mo><mi>q</mi><mo>)</mo></math></span>, as advocated by <span><math><mi>ψ</mi><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><mi>U</mi><mo>(</mo><mo>±</mo><mi>i</mi><mo>;</mo><mi>q</mi><mo>)</mo></math></span> and <span><math><mi>U</mi><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><mi>U</mi><mo>(</mo><mn>1</mn><mo>;</mo><mi>q</mi><mo>)</mo></math></span>. Meanwhile, they inquired whether these Hecke-type identities could be proved via the Bailey pair machinery. In this paper, we not only answer the inquiry of Chen and Garvan in the affirmative, but offer more instances in a broader setting, with, for example, some classical third order mock theta functions due to Ramanujan involved. Furthermo","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102738"},"PeriodicalIF":1.0,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141594848","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-08DOI: 10.1016/j.aam.2024.102734
Bridget Eileen Tenner
The boolean elements of a Coxeter group have been characterized and shown to possess many interesting properties and applications. Here we introduce “prism permutations,” a generalization of those elements, characterizing the prism permutations equivalently in terms of their reduced words and in terms of pattern containment. As part of this work, we introduce the notion of “calibration” to permutation patterns.
{"title":"Prism permutations in the Bruhat order","authors":"Bridget Eileen Tenner","doi":"10.1016/j.aam.2024.102734","DOIUrl":"https://doi.org/10.1016/j.aam.2024.102734","url":null,"abstract":"<div><p>The boolean elements of a Coxeter group have been characterized and shown to possess many interesting properties and applications. Here we introduce “prism permutations,” a generalization of those elements, characterizing the prism permutations equivalently in terms of their reduced words and in terms of pattern containment. As part of this work, we introduce the notion of “calibration” to permutation patterns.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102734"},"PeriodicalIF":1.0,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141594847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-03DOI: 10.1016/j.aam.2024.102736
Mark Dukes , Bruce E. Sagan
Let be a sequence of nonnegative integers. The ascent set of α, Asc α, consists of all indices k where . An ascent sequence is α where the growth of the is bounded by the elements of Asc α. These sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev and have many wonderful properties. In particular, they are in bijection with unlabeled -free posets, permutations avoiding a particular bivincular pattern, certain upper-triangular nonnegative integer matrices, and a class of matchings. A weak ascent of α is an index k with and weak ascent sequences are defined analogously to ascent sequences. These were studied by Bényi, Claesson and Dukes and shown to have analogous equinumerous sets. Given a nonnegative integer d, we define a difference d ascent to be an index k such that . We study the properties of the corresponding d-ascent sequences, showing that some of the maps from the weak case can be extended to bijections for general d while the extensions of others continue to be injective (but not surjective). We also make connections with other combinatorial objects such as rooted duplication trees and restricted growth functions.
设 α=a1a2...an 为非负整数序列。α 的上升集合 Asc α 包含所有 ak+1>ak 的指数 k。上升序列是 α,其中 ak 的增长以 Asc α 中的元素为界。这些序列由布斯凯-梅卢、克莱松、杜克斯和基塔耶夫提出,具有许多奇妙的性质。特别是,它们与无标记 (2+2)-free posets、避免特定双频模式的排列、某些上三角非负整数矩阵和一类匹配有双射关系。α的弱上升是一个具有 ak+1≥ak 的索引 k,弱上升序列的定义类似于上升序列。贝尼(Bényi)、克莱森(Claesson)和杜克斯(Dukes)对这些序列进行了研究,并证明它们具有类似的等比数列集。给定一个非负整数 d,我们将差 d 上升定义为一个索引 k,使得 ak+1>ak-d 。我们研究了相应的 d 升序的性质,表明弱情况下的一些映射可以扩展为一般 d 的双射,而其他映射的扩展仍然是注入式的(但不是投射式的)。我们还把它与其他组合对象联系起来,比如有根复制树和受限增长函数。
{"title":"Difference ascent sequences","authors":"Mark Dukes , Bruce E. Sagan","doi":"10.1016/j.aam.2024.102736","DOIUrl":"https://doi.org/10.1016/j.aam.2024.102736","url":null,"abstract":"<div><p>Let <span><math><mi>α</mi><mo>=</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>…</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> be a sequence of nonnegative integers. The ascent set of <em>α</em>, Asc <em>α</em>, consists of all indices <em>k</em> where <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>></mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>. An ascent sequence is <em>α</em> where the growth of the <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> is bounded by the elements of Asc <em>α</em>. These sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev and have many wonderful properties. In particular, they are in bijection with unlabeled <span><math><mo>(</mo><mn>2</mn><mo>+</mo><mn>2</mn><mo>)</mo></math></span>-free posets, permutations avoiding a particular bivincular pattern, certain upper-triangular nonnegative integer matrices, and a class of matchings. A weak ascent of <em>α</em> is an index <em>k</em> with <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>≥</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> and weak ascent sequences are defined analogously to ascent sequences. These were studied by Bényi, Claesson and Dukes and shown to have analogous equinumerous sets. Given a nonnegative integer <em>d</em>, we define a difference <em>d</em> ascent to be an index <em>k</em> such that <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>></mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>−</mo><mi>d</mi></math></span>. We study the properties of the corresponding <em>d</em>-ascent sequences, showing that some of the maps from the weak case can be extended to bijections for general <em>d</em> while the extensions of others continue to be injective (but not surjective). We also make connections with other combinatorial objects such as rooted duplication trees and restricted growth functions.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102736"},"PeriodicalIF":1.0,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141539589","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-03DOI: 10.1016/j.aam.2024.102733
Woong Kook , Kang-Ju Lee
Kirchhoff index is an electrical network-theoretic invariant which is defined as the sum of effective resistances between all pairs of vertices. As a robustness measure of simplicial networks, a simplicial analogue of the Kirchhoff index is defined to be the sum of simplicial effective resistances for all subsets of vertices of size dimension plus one. In this paper, we investigate the Kirchhoff index of random simplicial complexes as a generalization of random graphs. We present a formula for the expectation of the random variable and show how it concentrates around the expectation. We also perform numerical experiments revealing that the expectation and the fluctuation are still valid for realizations of the random simplicial Kirchhoff index.
{"title":"Simplicial Kirchhoff index of random complexes","authors":"Woong Kook , Kang-Ju Lee","doi":"10.1016/j.aam.2024.102733","DOIUrl":"https://doi.org/10.1016/j.aam.2024.102733","url":null,"abstract":"<div><p>Kirchhoff index is an electrical network-theoretic invariant which is defined as the sum of effective resistances between all pairs of vertices. As a robustness measure of simplicial networks, a simplicial analogue of the Kirchhoff index is defined to be the sum of simplicial effective resistances for all subsets of vertices of size dimension plus one. In this paper, we investigate the Kirchhoff index of random simplicial complexes as a generalization of random graphs. We present a formula for the expectation of the random variable and show how it concentrates around the expectation. We also perform numerical experiments revealing that the expectation and the fluctuation are still valid for realizations of the random simplicial Kirchhoff index.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102733"},"PeriodicalIF":1.0,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141539590","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-26DOI: 10.1016/j.aam.2024.102732
Bryan Currie, Kristina Wicke
Measures of tree balance play an important role in different research areas such as mathematical phylogenetics or theoretical computer science. The balance of a tree is usually quantified in a single number, called a balance or imbalance index, and several such indices exist in the literature. Here, we focus on the stairs2 balance index for rooted binary trees, which was first introduced in the context of viral phylogenetics but has not been fully analyzed from a mathematical viewpoint yet. While it is known that the caterpillar tree uniquely minimizes the stairs2 index for all leaf numbers and the fully balanced tree uniquely maximizes the stairs2 index for leaf numbers that are powers of two, understanding the maximum value and maximal trees for arbitrary leaf numbers has been an open problem in the literature. In this note, we fill this gap by showing that for all leaf numbers, there is a unique rooted binary tree maximizing the stairs2 index. Additionally, we obtain recursive and closed expressions for the maximum value of the stairs2 index of a rooted binary tree with n leaves.
{"title":"On the maximum value of the stairs2 index","authors":"Bryan Currie, Kristina Wicke","doi":"10.1016/j.aam.2024.102732","DOIUrl":"https://doi.org/10.1016/j.aam.2024.102732","url":null,"abstract":"<div><p>Measures of tree balance play an important role in different research areas such as mathematical phylogenetics or theoretical computer science. The balance of a tree is usually quantified in a single number, called a balance or imbalance index, and several such indices exist in the literature. Here, we focus on the stairs2 balance index for rooted binary trees, which was first introduced in the context of viral phylogenetics but has not been fully analyzed from a mathematical viewpoint yet. While it is known that the caterpillar tree uniquely minimizes the stairs2 index for all leaf numbers and the fully balanced tree uniquely maximizes the stairs2 index for leaf numbers that are powers of two, understanding the maximum value and maximal trees for arbitrary leaf numbers has been an open problem in the literature. In this note, we fill this gap by showing that for all leaf numbers, there is a unique rooted binary tree maximizing the stairs2 index. Additionally, we obtain recursive and closed expressions for the maximum value of the stairs2 index of a rooted binary tree with <em>n</em> leaves.</p></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"159 ","pages":"Article 102732"},"PeriodicalIF":1.0,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141484958","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}