{"title":"Special Functions for Hyperoctahedral Groups Using Bosonic Lattice Models","authors":"Ben Brubaker, Will Grodzicki, Andrew Schultz","doi":"10.1007/s00026-024-00734-x","DOIUrl":"10.1007/s00026-024-00734-x","url":null,"abstract":"<div><p>Recent works have sought to realize certain families of orthogonal, symmetric polynomials as partition functions of well-chosen classes of solvable lattice models. Many of these use Boltzmann weights arising from the trigonometric six-vertex model <i>R</i>-matrix (or generalizations or specializations of these weights). In this paper, we seek new variants of bosonic models on lattices designed for Cartan type <i>C</i> root systems, whose partition functions match the zonal spherical function in type <i>C</i>. Under general assumptions, we find that this is possible for all highest weights in rank two and three, but not for higher rank. In ranks two and three, this may be regarded as a new generating function formula for zonal spherical functions (also known as Hall–Littlewood polynomials) in type <i>C</i>.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 2","pages":"491 - 539"},"PeriodicalIF":0.7,"publicationDate":"2024-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145164094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Michał Dȩbski, Jarosław Grytczuk, Bartłomiej Pawlik, Jakub Przybyło, Małgorzata Śleszyńska-Nowak
{"title":"Words Avoiding Tangrams","authors":"Michał Dȩbski, Jarosław Grytczuk, Bartłomiej Pawlik, Jakub Przybyło, Małgorzata Śleszyńska-Nowak","doi":"10.1007/s00026-024-00736-9","DOIUrl":"10.1007/s00026-024-00736-9","url":null,"abstract":"<div><p>A <i>tangram</i> is a word in which every letter occurs an even number of times. Such word can be cut into parts that can be arranged into two identical words. The minimum number of cuts needed is called the <i>cut number</i> of a tangram. For example, the word <img> is a tangram with cut number one, while the word <img> is a tangram with cut number two. Clearly, tangrams with cut number one coincide with the well-known family of words, known as <i>squares</i>, having the form <i>UU</i> for some nonempty word <i>U</i>. A word <i>W</i> <i>avoids</i> a word <i>T</i> if it is not possible to write <span>(W=ATB)</span>, for any words <i>A</i> and <i>B</i> (possibly empty). The famous 1906 theorem of Thue asserts that there exist arbitrarily long words avoiding squares over an alphabet with just <i>three</i> letters. Given a fixed number <span>(kgeqslant 1)</span>, how many letters are needed to avoid tangrams with the cut number at most <i>k</i>? Let <i>t</i>(<i>k</i>) denote the minimum size of an alphabet needed for that purpose. By Thue’s result we have <span>(t(1)=3)</span>, which easily implies <span>(t(2)=3)</span>. Curiously, these are currently the only known exact values of this function. In our main result we prove that <span>(t(k)=Theta (log _2k))</span>. The proof uses <i>entropy compression</i> argument and <i>Zimin words</i>. Using a different method we prove that <span>(t(k)leqslant k+1)</span> for all <span>(kgeqslant 4)</span>, which gives more exact estimates for small values of <i>k</i>. The proof makes use of <i>Dejean words</i> and a curious property of <i>Gauss words</i>, which is perhaps of independent interest.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 3","pages":"905 - 920"},"PeriodicalIF":0.7,"publicationDate":"2024-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-024-00736-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145037268","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Planar Binary Trees, Noncrossing Partitions and the Operator-Valued S-Transform","authors":"Kurusch Ebrahimi-Fard, Timothé Ringeard","doi":"10.1007/s00026-024-00730-1","DOIUrl":"10.1007/s00026-024-00730-1","url":null,"abstract":"<div><p>We revisit the twisted multiplicativity property of Voiculescu’s S-transform in the operator-valued setting, using a specific bijection between planar binary trees and noncrossing partitions.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 3","pages":"799 - 836"},"PeriodicalIF":0.7,"publicationDate":"2024-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-024-00730-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145037419","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"General Position Sets, Colinear Sets, and Sierpiński Product Graphs","authors":"Jing Tian, Sandi Klavžar","doi":"10.1007/s00026-024-00732-z","DOIUrl":"10.1007/s00026-024-00732-z","url":null,"abstract":"<div><p>Let <span>(G otimes _f H)</span> denote the Sierpiński product of graphs <i>G</i> and <i>H</i> with respect to the function <i>f</i>. The Sierpiński general position number <span>(textrm{gp}{_{textrm{S}}}(G,H))</span> is introduced as the cardinality of a largest general position set in <span>(G otimes _f H)</span> over all possible functions <i>f</i>. Similarly, the lower Sierpiński general position number <span>(underline{textrm{gp}}{_{textrm{S}}}(G,H))</span> is the corresponding smallest cardinality. The concept of vertex-colinear sets is introduced. Bounds for the general position number in terms of extremal vertex-colinear sets, and bounds for the (lower) Sierpiński general position number are proved. The extremal graphs are investigated. Formulas for the (lower) Sierpiński general position number of the Sierpiński products with <span>(K_2)</span> as the first factor are deduced. It is proved that if <span>(m,nge 2)</span>, then <span>(textrm{gp}{_{textrm{S}}}(K_m,K_n) = m(n-1))</span>, and that if <span>(nge 2,m-2)</span>, then <span>(underline{textrm{gp}}{_{textrm{S}}}(K_m,K_n) = m(n-m+1))</span>.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 3","pages":"837 - 852"},"PeriodicalIF":0.7,"publicationDate":"2024-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145037314","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Totally Symmetric Self-Complementary Plane Partition Matrices and Related Polytopes","authors":"Vincent Holmlund, Jessica Striker","doi":"10.1007/s00026-024-00723-0","DOIUrl":"10.1007/s00026-024-00723-0","url":null,"abstract":"<div><p>Plane partitions in the totally symmetric self-complementary symmetry class (TSSCPPs) are known to be equinumerous with <span>(ntimes n)</span> alternating sign matrices, but no explicit bijection is known. In this paper, we give a bijection from these plane partitions to <span>({0,1,-1})</span>-matrices we call magog matrices, some of which are alternating sign matrices. We explore enumerative properties of these matrices related to natural statistics such as inversion number and number of negative ones. We then investigate the polytope defined as their convex hull. We show that all the magog matrices are extreme and give a partial inequality description. Finally, we define another TSSCPP polytope as the convex hull of TSSCPP boolean triangles and determine its dimension, inequalities, vertices, and facets.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 3","pages":"761 - 798"},"PeriodicalIF":0.7,"publicationDate":"2024-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-024-00723-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145037444","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Grand-Schnyder Woods","authors":"Olivier Bernardi, Éric Fusy, Shizhe Liang","doi":"10.1007/s00026-024-00729-8","DOIUrl":"10.1007/s00026-024-00729-8","url":null,"abstract":"<div><p>We define a far-reaching generalization of Schnyder woods which encompasses many classical combinatorial structures on planar graphs. <i>Schnyder woods</i> are defined for planar triangulations as certain triples of spanning trees covering the triangulation and crossing each other in an orderly fashion. They are of theoretical and practical importance, as they are central to the proof that the order dimension of any planar graph is at most 3, and they are also underlying an elegant drawing algorithm. In this article, we extend the concept of Schnyder wood well beyond its original setting: for any integer <span>(dge 3)</span>, we define a “grand-Schnyder” structure for (embedded) planar graphs which have faces of degree at most <i>d</i> and non-facial cycles of length at least <i>d</i>. We prove the existence of grand-Schnyder structures, provide a linear construction algorithm, describe 4 different incarnations (in terms of tuples of trees, corner labelings, weighted orientations, and marked orientations), and define a lattice for the set of grand-Schnyder structures of a given planar graph. We show that the grand-Schnyder framework unifies and extends several classical constructions: Schnyder woods and Schnyder decompositions, regular edge-labelings (a.k.a. transversal structures), and Felsner woods.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 2","pages":"273 - 373"},"PeriodicalIF":0.7,"publicationDate":"2024-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145165628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the Correctness of Maximum Parsimony for Data with Few Substitutions in the NNI Neighborhood of Phylogenetic Trees","authors":"Mareike Fischer","doi":"10.1007/s00026-024-00725-y","DOIUrl":"10.1007/s00026-024-00725-y","url":null,"abstract":"<div><p>Estimating phylogenetic trees, which depict the relationships between different species, from aligned sequence data (such as DNA, RNA, or proteins) is one of the main aims of evolutionary biology. However, tree reconstruction criteria like maximum parsimony do not necessarily lead to unique trees and in some cases even fail to recognize the “correct” tree (i.e., the tree on which the data was generated). On the other hand, a recent study has shown that for an alignment containing precisely those binary characters (sites) which require up to two substitutions on a given tree, this tree will be the unique maximum parsimony tree. It is the aim of the present paper to generalize this recent result in the following sense: We show that for a tree <i>T</i> with <i>n</i> leaves, as long as <span>(k<frac{n}{8}+frac{11}{9}-frac{1}{18}sqrt{9cdot left( frac{n}{4}right) ^2+16})</span> (or, equivalently, <span>(n>9k-11+sqrt{9k^2-22k+17})</span>, which in particular holds for all <span>(nge 12k)</span>), the maximum parsimony tree for the alignment containing all binary characters which require (up to or precisely) <i>k</i> substitutions on <i>T</i> will be unique in the NNI neighborhood of <i>T</i> and it will coincide with <i>T</i>, too. In other words, within the NNI neighborhood of <i>T</i>, <i>T</i> is the unique most parsimonious tree for the said alignment. This partially answers a recently published conjecture affirmatively. Additionally, we show that for <span>(nge 8)</span> and for <i>k</i> being in the order of <span>(frac{n}{2})</span>, there is always a pair of phylogenetic trees <i>T</i> and <span>(T')</span> which are NNI neighbors, but for which the alignment of characters requiring precisely <i>k</i> substitutions each on <i>T</i> in total requires fewer substitutions on <span>(T')</span>.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 2","pages":"615 - 635"},"PeriodicalIF":0.7,"publicationDate":"2024-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-024-00725-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145165625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Log-Concavity with Respect to the Number of Orbits for Infinite Tuples of Commuting Permutations","authors":"Abdelmalek Abdesselam","doi":"10.1007/s00026-024-00724-z","DOIUrl":"10.1007/s00026-024-00724-z","url":null,"abstract":"<div><p>Let <i>A</i>(<i>p</i>, <i>n</i>, <i>k</i>) be the number of <i>p</i>-tuples of commuting permutations of <i>n</i> elements whose permutation action results in exactly <i>k</i> orbits or connected components. We formulate the conjecture that, for every fixed <i>p</i> and <i>n</i>, the <i>A</i>(<i>p</i>, <i>n</i>, <i>k</i>) form a log-concave sequence with respect to <i>k</i>. For <span>(p=1)</span> this is a well-known property of unsigned Stirling numbers of the first kind. As the <span>(p=2)</span> case, our conjecture includes a previous one by Heim and Neuhauser, which strengthens a unimodality conjecture for the Nekrasov–Okounkov hook length polynomials. In this article, we prove the <span>(p=infty )</span> case of our conjecture. We start from an expression for the <i>A</i>(<i>p</i>, <i>n</i>, <i>k</i>), which follows from an identity by Bryan and Fulman, obtained in the their study of orbifold higher equivariant Euler characteristics. We then derive the <span>(prightarrow infty )</span> asymptotics. The last step essentially amounts to the log-concavity in <i>k</i> of a generalized Turán number, namely, the maximum product of <i>k</i> positive integers whose sum is <i>n</i>.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 2","pages":"563 - 573"},"PeriodicalIF":0.7,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-024-00724-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145162896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On a Problem of Douglass and Ono for the Plane Partition Function","authors":"Florian Luca","doi":"10.1007/s00026-024-00728-9","DOIUrl":"10.1007/s00026-024-00728-9","url":null,"abstract":"<div><p>It is known that the plane partition function of <i>n</i> denoted <span>(textrm{PL}(n))</span> obeys Benford’s law in any integer base <span>(bge 2)</span>. We give an upper bound for the smallest positive integer <i>n</i> such that <span>(textrm{PL}(n))</span> starts with a prescribed string <i>f</i> of digits in base <i>b</i>.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 3","pages":"893 - 903"},"PeriodicalIF":0.7,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-024-00728-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145037407","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Shi Arrangements Restricted to Weyl Cones","authors":"Galen Dorpalen-Barry, Christian Stump","doi":"10.1007/s00026-024-00720-3","DOIUrl":"10.1007/s00026-024-00720-3","url":null,"abstract":"<div><p>We consider the restrictions of Shi arrangements to Weyl cones, their relations to antichains in the root poset, and their intersection posets. For any Weyl cone, we provide bijections between regions, flats intersecting the cone, and antichains of a naturally defined subposet of the root poset. This gives a refinement of the parking function numbers via the Poincaré polynomials of the intersection posets of all Weyl cones. Finally, we interpret these Poincaré polynomials as the Hilbert series of three isomorphic graded rings. One of these rings arises from the Varchenko–Gel’fand ring, another is the coordinate ring of the vertices of the order polytope of a subposet of the root poset, and the third is purely combinatorial.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 2","pages":"415 - 437"},"PeriodicalIF":0.7,"publicationDate":"2024-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145165627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}