{"title":"A direct proof of well-definedness for the polymatroid Tutte polynomial","authors":"Xiaxia Guan , Xian'an Jin","doi":"10.1016/j.aam.2024.102809","DOIUrl":"10.1016/j.aam.2024.102809","url":null,"abstract":"<div><div>For a polymatroid <em>P</em> over <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span>, Bernardi et al. (2022) <span><span>[1]</span></span> introduced the polymatroid Tutte polynomial <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>P</mi></mrow></msub></math></span> relying on the order <span><math><mn>1</mn><mo><</mo><mn>2</mn><mo><</mo><mo>⋯</mo><mo><</mo><mi>n</mi></math></span> of <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span>, which generalizes the classical Tutte polynomial from matroids to polymatroids. They proved the independence of this order by the fact that <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>P</mi></mrow></msub></math></span> is equivalent to another polynomial that only depends on <em>P</em>. In this paper, similar to the Tutte's original proof of the well-definedness of the Tutte polynomial defined by the summation over all spanning trees using activities depending on the order of edges, we give a direct and elementary proof of the well-definedness of the polymatroid Tutte polynomial.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102809"},"PeriodicalIF":1.0,"publicationDate":"2024-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142722289","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":"Existence of solutions to the even Gaussian dual Minkowski problem","authors":"Yibin Feng , Shengnan Hu , Lei Xu","doi":"10.1016/j.aam.2024.102808","DOIUrl":"10.1016/j.aam.2024.102808","url":null,"abstract":"<div><div>In this paper, we consider the Gaussian dual Minkowski problem. The problem involves a new type of fully nonlinear partial differential equations on the unit sphere. Our main purpose is to show the existence of solutions to the even Gaussian dual Minkowski problem for <span><math><mi>q</mi><mo>></mo><mn>0</mn></math></span>. More precisely, we will show that there exists an origin-symmetric convex body <em>K</em> in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> such that its Gaussian dual curvature measure <span><math><msub><mrow><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><msub><mrow><mi>γ</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>,</mo><mi>q</mi></mrow></msub><mo>(</mo><mi>K</mi><mo>,</mo><mo>⋅</mo><mo>)</mo></math></span> has density <em>f</em> (up to a constant) on the unit sphere when <span><math><mi>q</mi><mo>></mo><mn>0</mn></math></span> and <em>f</em> has positive upper and lower bounds. Note that if <em>f</em> is smooth then <em>K</em> is also smooth. As the application of smooth solutions, we completely solve the even Gaussian dual Minkowski problem for <span><math><mi>q</mi><mo>></mo><mn>0</mn></math></span> based on an approximation argument.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102808"},"PeriodicalIF":1.0,"publicationDate":"2024-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142703820","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}
John A. Rhodes , Hector Baños , Jingcheng Xu , Cécile Ané
{"title":"Identifying circular orders for blobs in phylogenetic networks","authors":"John A. Rhodes , Hector Baños , Jingcheng Xu , Cécile Ané","doi":"10.1016/j.aam.2024.102804","DOIUrl":"10.1016/j.aam.2024.102804","url":null,"abstract":"<div><div>Interest in the inference of evolutionary networks relating species or populations has grown with the increasing recognition of the importance of hybridization, gene flow and admixture, and the availability of large-scale genomic data. However, what network features may be validly inferred from various data types under different models remains poorly understood. Previous work has largely focused on level-1 networks, in which reticulation events are well separated, and on a general network's tree of blobs, the tree obtained by contracting every blob to a node. An open question is the identifiability of the topology of a blob of unknown level. We consider the identifiability of the circular order in which subnetworks attach to a blob, first proving that this order is well-defined for outer-labeled planar blobs. For this class of blobs, we show that the circular order information from 4-taxon subnetworks identifies the full circular order of the blob. Similarly, the circular order from 3-taxon rooted subnetworks identifies the full circular order of a rooted blob. We then show that subnetwork circular information is identifiable from certain data types and evolutionary models. This provides a general positive result for high-level networks, on the identifiability of the ordering in which taxon blocks attach to blobs in outer-labeled planar networks. Finally, we give examples of blobs with different internal structures which cannot be distinguished under many models and data types.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102804"},"PeriodicalIF":1.0,"publicationDate":"2024-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142703819","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}
{"title":"Triangular partitions: Enumeration, structure, and generation","authors":"Sergi Elizalde , Alejandro B. Galván","doi":"10.1016/j.aam.2024.102807","DOIUrl":"10.1016/j.aam.2024.102807","url":null,"abstract":"<div><div>A <em>triangular partition</em> is a partition whose Ferrers diagram can be separated from its complement (as a subset of <span><math><msup><mrow><mi>N</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>) by a straight line. Having their origins in combinatorial number theory and computer vision, triangular partitions have been studied from a combinatorial perspective by Onn and Sturmfels, and by Corteel et al. under the name <em>plane corner cuts</em>, and more recently by Bergeron and Mazin in the context of algebraic combinatorics. In this paper we derive new enumerative, geometric and algorithmic properties of such partitions.</div><div>We give a new characterization of triangular partitions and the cells that can be added or removed while preserving the triangular condition, and use it to describe the Möbius function of the restriction of Young's lattice to triangular partitions. We obtain a formula for the number of triangular partitions whose Young diagram fits inside a square, deriving, as a byproduct, a new proof of Lipatov's enumeration theorem for balanced words. Finally, we present an algorithm that generates all the triangular partitions of a given size, which is significantly more efficient than previous ones and allows us to compute the number of triangular partitions of size up to 10<sup>5</sup>.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102807"},"PeriodicalIF":1.0,"publicationDate":"2024-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142659973","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":"Principal specializations of Schubert polynomials, multi-layered permutations and asymptotics","authors":"Ningxin Zhang","doi":"10.1016/j.aam.2024.102806","DOIUrl":"10.1016/j.aam.2024.102806","url":null,"abstract":"<div><div>Let <span><math><mi>v</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> be the largest principal specialization of Schubert polynomials for layered permutations <span><math><mi>v</mi><mo>(</mo><mi>n</mi><mo>)</mo><mo>:</mo><mo>=</mo><msub><mrow><mi>max</mi></mrow><mrow><mi>w</mi><mo>∈</mo><msub><mrow><mi>L</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></msub><mo></mo><msub><mrow><mi>S</mi></mrow><mrow><mi>w</mi></mrow></msub><mo>(</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mn>1</mn><mo>)</mo></math></span>. Morales, Pak and Panova proved that there is a limit<span><span><span><math><munder><mi>lim</mi><mrow><mi>n</mi><mo>→</mo><mo>∞</mo></mrow></munder><mo></mo><mfrac><mrow><mi>log</mi><mo></mo><mi>v</mi><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mrow><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></mfrac><mo>,</mo></math></span></span></span> and gave a precise description of layered permutations reaching the maximum. In this paper, we extend Morales Pak and Panova's results to generalized principal specialization <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>w</mi></mrow></msub><mo>(</mo><mn>1</mn><mo>,</mo><mi>q</mi><mo>,</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>,</mo><mo>…</mo><mo>)</mo></math></span> for multi-layered permutations when <em>q</em> equals a root of unity.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102806"},"PeriodicalIF":1.0,"publicationDate":"2024-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142659972","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":"Fully graphic degree sequences and P-stable degree sequences","authors":"Péter L. Erdős , István Miklós , Lajos Soukup","doi":"10.1016/j.aam.2024.102805","DOIUrl":"10.1016/j.aam.2024.102805","url":null,"abstract":"<div><div>The notion of <em>P</em>-stability of an infinite set of degree sequences plays influential role in approximating the permanents, rapidly sampling the realizations of graphic degree sequences, or even studying and improving network privacy. While there exist several known sufficient conditions for <em>P</em>-stability, we don't know any useful necessary condition for it. We also do not have good insight of possible structure of <em>P</em>-stable degree sequence families.</div><div>At first we will show that every known infinite <em>P</em>-stable degree sequence set, described by inequalities of the parameters <span><math><mi>n</mi><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mi>Σ</mi></math></span> (the sequence length, the maximum and minimum degrees and the sum of the degrees) is “fully graphic” meaning that every degree sequence from the region with an even degree sum, is graphic. Furthermore, if Σ does not occur in the determining inequality, then the notions of <em>P</em>-stability and full graphicality will be proved equivalent. In turn, this equality provides a strengthening of the well-known theorem of Jerrum, McKay and Sinclair about <em>P</em>-stability, describing the maximal <em>P</em>-stable sequence set by <span><math><mi>n</mi><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>. Furthermore we conjecture that similar equivalences occur in cases if Σ also part of the defining inequality.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102805"},"PeriodicalIF":1.0,"publicationDate":"2024-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142661921","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}
{"title":"Non-intersecting path explanation for block Pfaffians and applications into skew-orthogonal polynomials","authors":"Zong-Jun Yao, Shi-Hao Li","doi":"10.1016/j.aam.2024.102803","DOIUrl":"10.1016/j.aam.2024.102803","url":null,"abstract":"<div><div>In this paper, we mainly consider a combinatoric explanation for block Pfaffians in terms of non-intersecting paths, as a generalization of results obtained by Stembridge. As applications, we demonstrate how are generating functions of non-intersecting paths related to skew orthogonal polynomials and their deformations, including a new concept called multiple partial-skew orthogonal polynomials.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102803"},"PeriodicalIF":1.0,"publicationDate":"2024-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142661923","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":"Refining a chain theorem from matroids to internally 4-connected graphs","authors":"Chanun Lewchalermvongs , Guoli Ding","doi":"10.1016/j.aam.2024.102802","DOIUrl":"10.1016/j.aam.2024.102802","url":null,"abstract":"<div><div>Graph theory and matroid theory are interconnected with matroids providing a way to generalize and analyze the structural and independence properties within graphs. Chain theorems, vital tools in both matroid and graph theory, enable the analysis of matroid structures associated with graphs. In a significant contribution, Chun, Mayhew, and Oxley <span><span>[2]</span></span> established a chain theorem for internally 4-connected binary matroids, clarifying the operations involved. Our research builds upon this by specifying the matroid result to internally 4-connected graphs. The primary goal of our research is to refine this chain theorem for matroids into a chain theorem for internally 4-connected graphs, making it more accessible to individuals less acquainted with matroid theory.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102802"},"PeriodicalIF":1.0,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142593674","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}
{"title":"On the enumeration of series-parallel matroids","authors":"Nicholas Proudfoot , Yuan Xu , Benjamin Young","doi":"10.1016/j.aam.2024.102801","DOIUrl":"10.1016/j.aam.2024.102801","url":null,"abstract":"<div><div>By the work of Ferroni and Larson, Kazhdan–Lusztig polynomials and <em>Z</em>-polynomials of complete graphs have combinatorial interpretations in terms of quasi series-parallel matroids. We provide explicit formulas for the number of series-parallel matroids and the number of simple series-parallel matroids of a given rank and cardinality, extending results of Ferroni–Larson and Gao–Proudfoot–Yang–Zhang.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102801"},"PeriodicalIF":1.0,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142554364","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":"Identifiability of homoscedastic linear structural equation models using algebraic matroids","authors":"Mathias Drton, Benjamin Hollering, Jun Wu","doi":"10.1016/j.aam.2024.102794","DOIUrl":"10.1016/j.aam.2024.102794","url":null,"abstract":"<div><div>We consider structural equation models (SEMs), in which every variable is a function of a subset of the other variables and a stochastic error. Each such SEM is naturally associated with a directed graph describing the relationships between variables. When the errors are homoscedastic, recent work has proposed methods for inferring the graph from observational data under the assumption that the graph is acyclic (i.e., the SEM is recursive). In this work, we study the setting of homoscedastic errors but allow the graph to be cyclic (i.e., the SEM to be non-recursive). Using an algebraic approach that compares matroids derived from the parameterizations of the models, we derive sufficient conditions for when two simple directed graphs generate different distributions generically. Based on these conditions, we exhibit subclasses of graphs that allow for directed cycles, yet are generically identifiable. We also conjecture a strengthening of our graphical criterion which can be used to distinguish many more non-complete graphs.</div></div>","PeriodicalId":50877,"journal":{"name":"Advances in Applied Mathematics","volume":"163 ","pages":"Article 102794"},"PeriodicalIF":1.0,"publicationDate":"2024-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142437729","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}