{"title":"等变乳胶基","authors":"Dinh Le, Tim Römer","doi":"10.1090/tran/9193","DOIUrl":null,"url":null,"abstract":"<p>We study lattices in free abelian groups of infinite rank that are invariant under the action of the infinite symmetric group, with emphasis on finiteness of their equivariant bases. Our framework provides a new method for proving finiteness results in algebraic statistics. As an illustration, we show that every invariant lattice in <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Z Superscript left-parenthesis double-struck upper N times left-bracket c right-bracket right-parenthesis\"> <mml:semantics> <mml:msup> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Z</mml:mi> </mml:mrow> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mrow> <mml:mi mathvariant=\"double-struck\">N</mml:mi> </mml:mrow> <mml:mo>×</mml:mo> <mml:mo stretchy=\"false\">[</mml:mo> <mml:mi>c</mml:mi> <mml:mo stretchy=\"false\">]</mml:mo> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> </mml:msup> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Z}^{(\\mathbb {N}\\times [c])}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, where <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"c element-of double-struck upper N\"> <mml:semantics> <mml:mrow> <mml:mi>c</mml:mi> <mml:mo>∈</mml:mo> <mml:mrow> <mml:mi mathvariant=\"double-struck\">N</mml:mi> </mml:mrow> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">c\\in \\mathbb {N}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, has a finite equivariant Graver basis. This result generalizes and strengthens several finiteness results about Markov bases in the literature.</p>","PeriodicalId":23209,"journal":{"name":"Transactions of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":1.2000,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Equivariant lattice bases\",\"authors\":\"Dinh Le, Tim Römer\",\"doi\":\"10.1090/tran/9193\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We study lattices in free abelian groups of infinite rank that are invariant under the action of the infinite symmetric group, with emphasis on finiteness of their equivariant bases. Our framework provides a new method for proving finiteness results in algebraic statistics. As an illustration, we show that every invariant lattice in <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper Z Superscript left-parenthesis double-struck upper N times left-bracket c right-bracket right-parenthesis\\\"> <mml:semantics> <mml:msup> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">Z</mml:mi> </mml:mrow> <mml:mrow> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">N</mml:mi> </mml:mrow> <mml:mo>×</mml:mo> <mml:mo stretchy=\\\"false\\\">[</mml:mo> <mml:mi>c</mml:mi> <mml:mo stretchy=\\\"false\\\">]</mml:mo> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> </mml:msup> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {Z}^{(\\\\mathbb {N}\\\\times [c])}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, where <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"c element-of double-struck upper N\\\"> <mml:semantics> <mml:mrow> <mml:mi>c</mml:mi> <mml:mo>∈</mml:mo> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">N</mml:mi> </mml:mrow> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">c\\\\in \\\\mathbb {N}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, has a finite equivariant Graver basis. This result generalizes and strengthens several finiteness results about Markov bases in the literature.</p>\",\"PeriodicalId\":23209,\"journal\":{\"name\":\"Transactions of the American Mathematical Society\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2024-04-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Transactions of the American Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/tran/9193\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/tran/9193","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
我们研究在无限对称群作用下不变的无限秩自由无边群中的网格,重点是其等变基的有限性。我们的框架为证明代数统计中的有限性结果提供了一种新方法。举例来说,我们证明了 Z ( N × [ c ] ) 中的每一个不变网格都是\mathbb {Z}^{(\mathbb {N}\times [c])} 。 其中 c ∈ N c\in \mathbb {N}, 有一个有限等变格雷弗基。这一结果概括并加强了文献中关于马尔可夫基的几个有限性结果。
We study lattices in free abelian groups of infinite rank that are invariant under the action of the infinite symmetric group, with emphasis on finiteness of their equivariant bases. Our framework provides a new method for proving finiteness results in algebraic statistics. As an illustration, we show that every invariant lattice in Z(N×[c])\mathbb {Z}^{(\mathbb {N}\times [c])}, where c∈Nc\in \mathbb {N}, has a finite equivariant Graver basis. This result generalizes and strengthens several finiteness results about Markov bases in the literature.
期刊介绍:
All articles submitted to this journal are peer-reviewed. The AMS has a single blind peer-review process in which the reviewers know who the authors of the manuscript are, but the authors do not have access to the information on who the peer reviewers are.
This journal is devoted to research articles in all areas of pure and applied mathematics. To be published in the Transactions, a paper must be correct, new, and significant. Further, it must be well written and of interest to a substantial number of mathematicians. Piecemeal results, such as an inconclusive step toward an unproved major theorem or a minor variation on a known result, are in general not acceptable for publication. Papers of less than 15 printed pages that meet the above criteria should be submitted to the Proceedings of the American Mathematical Society. Published pages are the same size as those generated in the style files provided for AMS-LaTeX.