{"title":"关于循环空间的不变生成集","authors":"Ádám Timár","doi":"10.1090/proc/16910","DOIUrl":null,"url":null,"abstract":"<p>Consider a unimodular random graph, or just a finitely generated Cayley graph. When does its cycle space have an invariant random generating set of cycles such that every edge is contained in finitely many of the cycles? Generating the free Loop <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper O left-parenthesis 1 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">O(1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> model as a factor of iid is closely connected to having such a generating set for FK-Ising cluster. We show that geodesic cycles do not always form such a generating set, by showing for a parameter regime of the FK-Ising model on the lamplighter group the origin is contained in infinitely many geodesic cycles. This answers a question by Angel, Ray and Spinka. Then we take a look at how the property of having an invariant locally finite generating set for the cycle space is preserved by Bernoulli percolation, and apply it to the problem of factor of iid presentations of the free Loop <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper O left-parenthesis 1 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">O(1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> model.</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"79 1","pages":""},"PeriodicalIF":0.8000,"publicationDate":"2024-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On invariant generating sets for the cycle space\",\"authors\":\"Ádám Timár\",\"doi\":\"10.1090/proc/16910\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Consider a unimodular random graph, or just a finitely generated Cayley graph. When does its cycle space have an invariant random generating set of cycles such that every edge is contained in finitely many of the cycles? Generating the free Loop <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper O left-parenthesis 1 right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">O(1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> model as a factor of iid is closely connected to having such a generating set for FK-Ising cluster. We show that geodesic cycles do not always form such a generating set, by showing for a parameter regime of the FK-Ising model on the lamplighter group the origin is contained in infinitely many geodesic cycles. This answers a question by Angel, Ray and Spinka. Then we take a look at how the property of having an invariant locally finite generating set for the cycle space is preserved by Bernoulli percolation, and apply it to the problem of factor of iid presentations of the free Loop <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper O left-parenthesis 1 right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">O(1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> model.</p>\",\"PeriodicalId\":20696,\"journal\":{\"name\":\"Proceedings of the American Mathematical Society\",\"volume\":\"79 1\",\"pages\":\"\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-05-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the American Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/proc/16910\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the American Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/proc/16910","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
Consider a unimodular random graph, or just a finitely generated Cayley graph. When does its cycle space have an invariant random generating set of cycles such that every edge is contained in finitely many of the cycles? Generating the free Loop O(1)O(1) model as a factor of iid is closely connected to having such a generating set for FK-Ising cluster. We show that geodesic cycles do not always form such a generating set, by showing for a parameter regime of the FK-Ising model on the lamplighter group the origin is contained in infinitely many geodesic cycles. This answers a question by Angel, Ray and Spinka. Then we take a look at how the property of having an invariant locally finite generating set for the cycle space is preserved by Bernoulli percolation, and apply it to the problem of factor of iid presentations of the free Loop O(1)O(1) model.
期刊介绍：
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 shorter research articles (not to exceed 15 printed pages) in all areas of pure and applied mathematics. To be published in the Proceedings, 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. Longer papers may be submitted to the Transactions of the American Mathematical Society. Published pages are the same size as those generated in the style files provided for AMS-LaTeX.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
