{"title":"Dependency equilibria: Boundary cases and their real algebraic geometry","authors":"Irem Portakal , Daniel Windisch","doi":"10.1016/j.aam.2025.102890","DOIUrl":"10.1016/j.aam.2025.102890","url":null,"abstract":"<div><div>This paper is a significant step forward in understanding dependency equilibria within the framework of real algebraic geometry encompassing both pure and mixed equilibria. In alignment with Spohn's original definition of dependency equilibria, we propose two alternative definitions, allowing for an algebro-geometric comprehensive study of all dependency equilibria. We give a sufficient condition for the existence of a pure dependency equilibrium and show that every Nash equilibrium lies on the Spohn variety, the algebraic model for dependency equilibria. For generic games, the set of real points of the Spohn variety is Zariski dense. Furthermore, every Nash equilibrium in this case is a dependency equilibrium. Finally, we present a detailed analysis of the geometric structure of dependency equilibria for <span><math><mo>(</mo><mn>2</mn><mo>×</mo><mn>2</mn><mo>)</mo></math></span>-games.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"168 ","pages":"Article 102890"},"PeriodicalIF":1.0,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143808185","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}
{"title":"Boolean, free, and classical cumulants as tree enumerations","authors":"Colin Defant, Mitchell Lee","doi":"10.1016/j.aam.2025.102899","DOIUrl":"10.1016/j.aam.2025.102899","url":null,"abstract":"<div><div>Defant found that the relationship between a sequence of (univariate) classical cumulants and the corresponding sequence of (univariate) free cumulants can be described combinatorially in terms of families of binary plane trees called <em>troupes</em>. Using a generalization of troupes that we call <em>weighted troupes</em>, we generalize this result to allow for multivariate cumulants. Our result also gives a combinatorial description of the corresponding Boolean cumulants. This allows us to answer a question of Defant regarding his <em>troupe transform</em>. We also provide explicit distributions whose cumulants correspond to some specific weighted troupes.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"168 ","pages":"Article 102899"},"PeriodicalIF":1.0,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143792352","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}
{"title":"The maximum number of cycles in a triangular-grid billiards system with a given perimeter","authors":"Honglin Zhu","doi":"10.1016/j.aam.2025.102888","DOIUrl":"10.1016/j.aam.2025.102888","url":null,"abstract":"<div><div>Given a grid polygon <em>P</em> in a grid of equilateral triangles, Defant and Jiradilok considered a billiards system where beams of light bounce around inside <em>P</em>. We study the relationship between the perimeter <span><math><mi>perim</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span> of <em>P</em> and the number of different trajectories <span><math><mi>cyc</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span> that the billiards system has. Resolving a conjecture of Defant and Jiradilok, we prove the sharp inequality <span><math><mi>cyc</mi><mo>(</mo><mi>P</mi><mo>)</mo><mo>≤</mo><mo>(</mo><mi>perim</mi><mo>(</mo><mi>P</mi><mo>)</mo><mo>+</mo><mn>2</mn><mo>)</mo><mo>/</mo><mn>4</mn></math></span> and characterize the equality cases.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"168 ","pages":"Article 102888"},"PeriodicalIF":1.0,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143826046","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}
{"title":"Dissections of lacunary eta quotients and identically vanishing coefficients","authors":"Tim Huber , James McLaughlin , Dongxi Ye","doi":"10.1016/j.aam.2025.102902","DOIUrl":"10.1016/j.aam.2025.102902","url":null,"abstract":"<div><div>For any function <span><math><mi>A</mi><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>n</mi><mo>=</mo><mn>0</mn></mrow><mrow><mo>∞</mo></mrow></msubsup><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub><msup><mrow><mi>q</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> define<span><span><span><math><msub><mrow><mi>A</mi></mrow><mrow><mo>(</mo><mn>0</mn><mo>)</mo></mrow></msub><mo>:</mo><mo>=</mo><mo>{</mo><mi>n</mi><mo>∈</mo><mi>N</mi><mo>:</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>=</mo><mn>0</mn><mo>}</mo><mo>.</mo></math></span></span></span> Now suppose <span><math><mi>C</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span> and <span><math><mi>D</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span> are two functions whose <em>m</em>-dissections are given by<span><span><span><math><mi>C</mi><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>0</mn></mrow></msub><msub><mrow><mi>G</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>)</mo><mo>+</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><mi>q</mi><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>)</mo><mo>+</mo><mo>…</mo><mo>+</mo><msub><mrow><mi>c</mi></mrow><mrow><mi>m</mi><mo>−</mo><mn>1</mn></mrow></msub><msup><mrow><mi>q</mi></mrow><mrow><mi>m</mi><mo>−</mo><mn>1</mn></mrow></msup><msub><mrow><mi>G</mi></mrow><mrow><mi>m</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>)</mo><mo>,</mo></math></span></span></span><span><span><span><math><mi>D</mi><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><msub><mrow><mi>d</mi></mrow><mrow><mn>0</mn></mrow></msub><msub><mrow><mi>G</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>)</mo><mo>+</mo><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mi>q</mi><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>)</mo><mo>+</mo><mo>…</mo><mo>+</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>m</mi><mo>−</mo><mn>1</mn></mrow></msub><msup><mrow><mi>q</mi></mrow><mrow><mi>m</mi><mo>−</mo><mn>1</mn></mrow></msup><msub><mrow><mi>G</mi></mrow><mrow><mi>m</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>m</mi></mrow></msup><mo>)</mo><mo>.</mo></math></span></span></span> If it is the case that <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><mn>0</mn><mo>⟺</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><mn>0</mn></math></span>, <span><math><mi>i</mi><mo>=</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>m</mi><mo>−</mo><mn>1</mn></math></span>, then we say that <span><math><mi>C</mi><mo>(</mo><mi","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"168 ","pages":"Article 102902"},"PeriodicalIF":1.0,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143888196","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}
{"title":"Colored q-Stirling and q-Lah numbers: A new view continued","authors":"Sen-Peng Eu , Louis Kao , Juei-Yin Lin","doi":"10.1016/j.aam.2025.102889","DOIUrl":"10.1016/j.aam.2025.102889","url":null,"abstract":"<div><div>Cai and Readdy proposed a new framework for studying the <em>q</em>-analogue <span><math><mi>f</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span> of a combinatorial structure <em>S</em>. Specifically, the aim is to identify two statistics over <em>S</em> and a proper subset <span><math><msup><mrow><mi>S</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> of <em>S</em> such that <span><math><mi>f</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span> represents the <em>q</em>-<span><math><mo>(</mo><mn>1</mn><mo>+</mo><mi>q</mi><mo>)</mo></math></span>-expansion over <span><math><msup><mrow><mi>S</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span>, and to explore the poset and topological interpretations of this expansion. Cai and Readdy provided comprehensive profiles for classical Stirling numbers of both kinds within this framework. In this work, we extend Cai and Readdy's results to colored <em>q</em>-Stirling numbers of both kinds, as well as colored <em>q</em>-Lah numbers. We also briefly discuss <em>q</em>-Stirling and <em>q</em>-Lah numbers of type <em>D</em>.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"168 ","pages":"Article 102889"},"PeriodicalIF":1.0,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143808186","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}
{"title":"Influence of the automorphism group of a graph on its PageRank scores of vertices","authors":"Dein Wong , Qi Zhou , Xinlei Wang","doi":"10.1016/j.aam.2025.102900","DOIUrl":"10.1016/j.aam.2025.102900","url":null,"abstract":"<div><div>Google's success derives in large part from its PageRank algorithm, which assign a score to every web page according to its importance. Recently, G. Modjtaba et al. (2021) <span><span>[19]</span></span> proved that similar vertices in a graph have the same PageRank score and they proposed a conjecture, suspecting that two graphs are completely non-Co-PR if they are non-Co-PR graphs. The investigation of this paper mainly concerns the influence of the automorphism group of a graph on its PageRank scores of vertices. The main results of this article are as follows.<ul><li><span>1.</span><span><div>Based on matrix analysis, two conditions on what kinds of vertices have the same PageRank score are obtained.</div></span></li><li><span>2.</span><span><div>Four techniques for constructing Co-PR graphs are established.</div></span></li><li><span>3.</span><span><div>A non-regular connected graph of order <em>n</em>, with <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mi>n</mi></mrow></mfrac></math></span> as PR scores of most of its vertices, is constructed, which provides a negative answer to Modjtaba's conjecture above.</div></span></li></ul></div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"168 ","pages":"Article 102900"},"PeriodicalIF":1.0,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143855383","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}
{"title":"Polynomial resultants and Ramsey numbers of a theta graph","authors":"Meng Liu , Ye Wang","doi":"10.1016/j.aam.2025.102881","DOIUrl":"10.1016/j.aam.2025.102881","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>θ</mi></mrow><mrow><mn>3</mn><mo>,</mo><mn>4</mn></mrow></msub></math></span> be the graph consisting of three internally disjoint paths of length four sharing common endpoints. It is shown <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><msub><mrow><mi>θ</mi></mrow><mrow><mn>3</mn><mo>,</mo><mn>4</mn></mrow></msub><mo>)</mo><mo>=</mo><mi>Θ</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>4</mn><mo>/</mo><mn>3</mn></mrow></msup><mo>)</mo></math></span> as <span><math><mi>k</mi><mo>→</mo><mo>∞</mo></math></span> by computing polynomial resultants.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"167 ","pages":"Article 102881"},"PeriodicalIF":1.0,"publicationDate":"2025-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143642896","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}
{"title":"Linear orbits of smooth quadric surfaces","authors":"Franquiz Caraballo Alba","doi":"10.1016/j.aam.2025.102880","DOIUrl":"10.1016/j.aam.2025.102880","url":null,"abstract":"<div><div>The <em>linear orbit</em> of a degree <em>d</em> hypersurface in <span><math><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> is its orbit under the natural action of <span><math><mi>P</mi><mi>GL</mi><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>, in the projective space of dimension <span><math><mi>N</mi><mo>=</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mi>n</mi><mo>+</mo><mi>d</mi></mrow></mtd></mtr><mtr><mtd><mi>d</mi></mtd></mtr></mtable><mo>)</mo></mrow><mo>−</mo><mn>1</mn></math></span> parameterizing such hypersurfaces. This action restricted to a specific hypersurface <em>X</em> extends to a rational map from the projectivization of the space of matrices to <span><math><msup><mrow><mi>P</mi></mrow><mrow><mi>N</mi></mrow></msup></math></span>. The class of the graph of this map is the <em>predegree polynomial</em> of its corresponding hypersurface. The objective of this paper is threefold. First, we formally define the predegree polynomial of a hypersurface in <span><math><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span>, introduced in the case of plane curves by Aluffi and Faber, and prove some results in the general case. A key result in the general setting is that a partial resolution of said rational map can contain enough information to compute the predegree polynomial of a hypersurface. Second, we compute the leading term of the predegree polynomial of a smooth quadric in <span><math><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> over an algebraically closed field with characteristic 0, and compute the other coefficients in the specific case <span><math><mi>n</mi><mo>=</mo><mn>3</mn></math></span>. In analogy to Aluffi and Faber's work, the tool for computing this invariant is producing a (partial) resolution of the previously mentioned rational map which contains enough information to obtain the invariant. Third, we provide a complete resolution of the rational map in the case <span><math><mi>n</mi><mo>=</mo><mn>3</mn></math></span>, which in principle could be used to compute more refined invariants.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"167 ","pages":"Article 102880"},"PeriodicalIF":1.0,"publicationDate":"2025-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143636655","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}
{"title":"Truncated theta series from the Bailey lattice","authors":"Xiangyu Ding, Lisa Hui Sun","doi":"10.1016/j.aam.2025.102884","DOIUrl":"10.1016/j.aam.2025.102884","url":null,"abstract":"<div><div>In 2012, Andrews and Merca obtained a truncated version of Euler's pentagonal number theorem and showed the nonnegativity related to partition functions. Meanwhile, Andrews and Merca, Guo and Zeng independently conjectured that the truncated Jacobi triple product series has nonnegative coefficients, which has been confirmed analytically and also combinatorially. In 2022, Merca proposed a stronger version for this conjecture. In this paper, by applying Agarwal, Andrews and Bressoud's identity derived from the Bailey lattice, we obtain a truncated version for the Jacobi triple product series with odd basis, which reduces to the Andrews–Gordon identity as a special instance. As consequences, we obtain new truncated forms for Euler's pentagonal number theorem, Gauss' theta series on triangular numbers and square numbers, which lead to inequalities for certain partition functions. Moreover, by considering a truncated theta series involving <em>ℓ</em>-regular partitions, we confirm a conjecture proposed by Ballantine and Merca about 6-regular partitions and show that Merca's stronger conjecture on truncated Jacobi triple product series holds when <span><math><mi>R</mi><mo>=</mo><mn>3</mn><mi>S</mi></math></span> for <span><math><mi>S</mi><mo>≥</mo><mn>1</mn></math></span>.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"167 ","pages":"Article 102884"},"PeriodicalIF":1.0,"publicationDate":"2025-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143704752","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}
{"title":"A composition method for neat formulas of chromatic symmetric functions","authors":"David G.L. Wang , James Z.F. Zhou","doi":"10.1016/j.aam.2025.102886","DOIUrl":"10.1016/j.aam.2025.102886","url":null,"abstract":"<div><div>We develop a composition method to unearth positive <span><math><msub><mrow><mi>e</mi></mrow><mrow><mi>I</mi></mrow></msub></math></span>-expansions of chromatic symmetric functions <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span>, where the subscript <em>I</em> stands for compositions rather than integer partitions. Using this method, we derive positive and neat <span><math><msub><mrow><mi>e</mi></mrow><mrow><mi>I</mi></mrow></msub></math></span>-expansions for the chromatic symmetric functions of tadpoles, barbells and generalized bulls, and establish the <em>e</em>-positivity of hats. We also obtain a compact ribbon Schur analog for the chromatic symmetric function of cycles.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"167 ","pages":"Article 102886"},"PeriodicalIF":1.0,"publicationDate":"2025-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143739432","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}