×

正边际和初级分解。 (英语) Zbl 1375.13047号

摘要:我们研究具有固定边距的列联表上的随机游动,对应于一个(对数线性)层次模型。如果允许的移动集不是马尔可夫基,则存在具有相同边界的表,而这些边界是不相连的。我们研究边距值的线性条件,以确保给定光纤中的所有表都是连接的。我们证明了许多图形模型具有正裕度性质,即所有具有严格正裕度的纤维都通过对应于条件独立性陈述的二次移动连接。该属性在自然操作(如粘附团)下保持不变,但我们也构造了不具有该属性的图形模型示例。通过证明完全二部图(K_{3,3})的全局马尔可夫理想不是根式的,我们还对Engström,Kahle和Sullivant的一个问题给出了否定的回答。{}我们对正边际性质的分析取决于计算相关条件独立理想的主分解。本文的主要技术成果是对(N)-圈和完全二部图(K{2,N-2})的图形模型的条件独立理想的初步分解,对节点的大小有各种限制。

MSC公司:

13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)
52B20型 凸几何中的格多面体(包括与交换代数和代数几何的关系)
05C81号 图上的随机游动
11第21页 指定区域中的晶格点
60J22型 马尔可夫链中的计算方法
62J12型 广义线性模型(逻辑模型)
13第25页 交换代数的应用(例如,统计、控制理论、优化等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] ti2-线性空间上代数、几何和组合问题的软件包,可在www.4ti2.de上获得,2007年。
[2] J.Besag,晶格系统的空间相互作用和统计分析,J.Roy。《统计社会》第36卷(1974年),192-236页·Zbl 0327.60067号
[3] RenéBirkner,《多面体:凸多面体对象计算软件包》,J.Software Alg。几何。1 (2009), 11-15. ·Zbl 1311.52001号 ·doi:10.2140/jsag.2009.1.11
[4] 尼古拉斯·布尔巴吉,数学教育,阿尔盖布雷,赫尔曼,1950年。
[5] Florentina Bunea和Julian Besag,MCMC in(i times j times k)列联表,Monte Carlo方法,Neal Madras,ed.,Fields Inst.Comm.26,AMS and Fields Institute,2000·兹伯利0965.65013
[6] 陈玉国,伊恩·丁伍德和塞斯·沙利文特,《多路表的序贯重要性抽样》,《美国统计年鉴》第34卷(2006年),第523-545页·Zbl 1091.62051号 ·doi:10.1214/009053605000000822
[7] 陈玉国,伊恩·丁伍德(Ian Dinwoodie)和鲁里科·吉田(Ruriko Yoshida),马尔可夫链,商理想,正边连通性,统计学中的代数和几何方法,巴勃罗·吉比利斯科(Pablo Gibilisco),伊娃·里科马尼奥(Eva Riccomagno),玛丽亚·皮亚拉·罗金蒂(Maria Piera Rogantin)和亨利·佩·韦恩(Henry P.W。
[8] József Dénes和A.D.Keedwell,拉丁方及其应用,学术出版社,纽约,1974年·Zbl 0283.05014号
[9] Mike Develin和Seth Sullivant,二元图模型的马尔可夫基,Ann.Comb。7 (2003), 441-466. ·Zbl 1037.05045号 ·doi:10.1007/s00026-003-0196-9
[10] Persi Diaconis、David Eisenbud和Bernd Sturmfels,在纪念Gian Carlo Rota、B.Sagan和R.Stanley的数学论文中的Lattice walks和初等分解,编辑,Progr。数学。161,伯克豪泽,波士顿,1998年·Zbl 0962.05010号 ·doi:10.1007/978-1-4612-4108-98
[11] Persi Diaconis和Bernd Sturmfels,《条件分布抽样的代数算法》,《Ann.Stat.26》(1998年),第363-397页·Zbl 0952.62088号 ·doi:10.1214/aos/1030563990
[12] Mathias Drton、Bernd Sturmfels和Seth Sullivant,代数统计学讲座,Oberwolfach Sem.39,Birkhäuser,柏林斯普林格,2009年·Zbl 1166.13001号
[13] David Eisenbud和Bernd Sturmfels,二项式理想,杜克数学。J.84(1996),1-45·Zbl 0873.13021号 ·doi:10.1215/S0012-7094-96-08401-X
[14] Alexander Engström,Thomas Kahle和Seth Sullivant,图分解的多级交换代数,J.Alg。梳子。39 (2014), 335-372. ·Zbl 1314.13049号 ·doi:10.1007/s10801-013-0450-0
[15] Dan Geiger、Christopher Meek和Bernd Sturmfels,《关于图形模型的复曲面代数》,《Ann.Stat.34》(2006),1463-1492·Zbl 1104.60007号 ·doi:10.1214/0090536000000263
[16] Daniel R.Grayson和Michael E.Stillman,Macaulay(2),代数几何研究软件系统,网址:http://www.math.uiuc.edu/Macaulay2/。
[17] Jürgen Herzog、Takayuki Hibi、Freyja Hrenedóttir、Thomas Kahle和Johannes Rauh,二项式边缘理想和条件独立声明,Adv.Appl。数学。45 (2010), 317-333. ·Zbl 1196.13018号 ·doi:10.1016/j.aam.2010.01.003
[18] 托马斯·卡勒,二项式理想的分解,J.软件算法。几何。4 (2012), 1-5. ·Zbl 1311.13038号 ·doi:10.2140/jsag.2012年4月1日
[19] -,GraphBinominals,单项式上的图行走库,可从https://github.com/tom111/GraphBinominals网站, 2012.
[20] Thomas Kahle和Ezra Miller,交换幺半同余和二项式理想的分解,2011,arXiv:·Zbl 1341.20062号
[21] Steffen L.Lauritzen,图形模型,牛津统计科学。序列号。,牛津大学出版社,牛津,1996年·Zbl 0907.62001
[22] Jesüs A.De Loera和Shmuel Onn,三向表的马尔可夫基是任意复杂的,J.Symb。公司。41 (2006), 173-181. ·Zbl 1120.62043号 ·doi:10.1016/j.jsc.2005.04.010
[23] Peter N.Malkin,整数规划的截断马尔可夫基和Gröbner基,手稿,2006年。
[24] Johannes Rauh,广义二项式边理想,高级应用。数学。50 (2013), 409-414. ·Zbl 1263.13033号 ·doi:10.1016/j.aam.2012.08.09
[25] Johannes Rauh和Nihat Ay,《功能和系统设计的鲁棒性》,Theor。Biosci公司。133 (2014), 63-78.
[26] Johannes Rauh和Thomas Kahle,马尔可夫基础数据库,http://markov-bases.de公司。
[27] 罗纳德·里德(Ronald C.Read)和罗宾·威尔逊(Robin J.Wilson),《图形地图集》,克拉伦登出版社,纽约,1998年·Zbl 0908.05001号
[28] Bernd Sturmfels,Gröbner bases of toric varies,《托霍库数学》。J.43(1991),249-261·Zbl 0714.14034号 ·doi:10.2748/tmj/1178227496
[29] -《Gröbner基底和凸多面体》,大学讲座系列8,美国数学学会,普罗维登斯,RI,1996年。
[30] -《多项式方程组的求解》,CBMS 97,美国数学学会,普罗维登斯,2002年·Zbl 1101.13040号
[31] Seth Sullivant,《Toric纤维产品》,J.Algebra 316(2007),560-577·Zbl 1129.13030号 ·doi:10.1016/j.jalgebra.2006.10.004
[32] Irena Swanson和Amelia Taylor,条件独立语句产生的理想极小素数,J.Alg。392 (2013), 299-314. \噪音风格·Zbl 1297.13006号 ·doi:10.1016/j.jalgebra.2013.05.019
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。