泰勒·布莱塞维茨;埃布尔，霍尔格;卢卡斯·库恩 计算具有对称性的超平面排列的特征多项式。 （英语） Zbl 07781565号 离散计算。地理。 70，第4期，1356-1377（2023）. 摘要：我们介绍了一种计算超平面排列的特征多项式的新算法，该算法利用了其潜在的对称群。我们的算法将排列的腔室计算为计算其特征多项式的副产品。我们展示了我们的朱莉娅实现，基于奥斯卡，关于超平面排列在物理学和计算机科学中的应用的例子。 MSC公司： 26亿 多变量函数 68倍 计算机科学 关键词：超平面构形;腔室;算法;对称性;共振布置;可分性 软件：费雷特;SageMath公司;单一;多晶的;Polymake.jl公司;尼莫;见鬼去吧;间隙;朱莉娅;github;安全整数.jl;机锋网;奥斯卡;壁龛;图像 PDF格式BibTeX公司 XML格式引用 \textit{T.Brysiewicz}等人，《离散计算》。地理。70，编号4，1356--1377（2023；Zbl 07781565） 全文： 内政部 arXiv公司 OA许可证 参考文献： [1] Athanasiadis，ChA，子空间排列和有限域的特征多项式，高等数学。，122, 2, 193-233 (1996) ·Zbl 0872.52006号 ·doi:10.1006/aima.1996.0059 [2] 巴尔迪，P。；Vershynin，R.，《多项式阈值函数、超平面排列和随机张量》，SIAM J.Math。数据科学。，1, 4, 699-729 (2019) ·Zbl 1499.94078号 ·doi:10.1137/19M1257792 [3] Bezanson，J。；Edelman，A。；卡宾斯基，S。；Shah，VB，Julia:数值计算的新方法，SIAM Rev.，59，1，65-98（2017）·兹比尔1356.68030 ·数字对象标识代码：10.1137/141000671 [4] Billera，L.J.、Moore，J.T.、Moraites，C.D.、Wang，Y.、Williams，K.：最大不平衡家庭（2012）。arXiv:1209.2309 [5] Bremner，D。；Dutour Sikirić，M。；Pasechnik，DV；雷恩，Th；Schürmann，A.，计算多面体的对称群，LMS J.计算。数学。，17, 1, 565-581 (2014) ·Zbl 1351.52009年 ·doi:10.1112/S1461157014000400 [6] Bremner，D.，Dutour Sikirić，M.，Schürmann，A.：多面体表示到对称的转换。In:多面体计算（Montréal 2006）。CRM流程。课堂讲稿，第48卷，第45-71页。美国数学学会，普罗维登斯（2009）·兹比尔1170.68621 [7] Brylawski，T.，断裂电路复合体，Trans。美国数学。《社会学杂志》，234，2417-433（1977）·兹比尔0368.05022 ·doi:10.1090/S0002-9947-1977-0468931-6 [8] Cachazo，F。；Early，北卡罗来纳州。；A.格瓦拉。；Mizera，S.，《散射方程：从射影空间到热带格拉斯曼人》，高能物理学杂志。，2019, 6, # 39 (2019) ·Zbl 1445.81064号 ·doi:10.1007/JHEP06（2019）039 [9] Cachazo，F.，Umbert，B.，Zhang，Y.：软极限中的奇异解。《高能物理杂志》。2020(5), # 148 (2020) [10] Chroman，Z.，Singhal，M.：与共振排列相关的计算（2021）。arXiv公司：2106.09940 [11] Crapo，H.：结构组合理论。在：拟阵理论（Szeged 1982）中。数学学会学术讨论会，János Bolyai，第40卷，第107-213页。荷兰北部，阿姆斯特丹（1985）·Zbl 0593.51013号 [12] 克拉波，HH；罗塔，G-C，《组合理论的基础：组合几何》（1970），剑桥：麻省理工学院出版社，剑桥·Zbl 0216.02101号 [13] Cueto，M.A.，Morton，J.，Sturmfels，B.：受限Boltzmann机器的几何。收录于：《统计与概率中的代数方法II》（Urbana-Champaign 2009）。《当代数学》，第516卷，第135-153页。美国数学学会，普罗维登斯（2010）·Zbl 1513.62019年 [14] Decker，W.，Greuel，G.-M.，Pfister，G.，Schönemann，H.：奇异4-2-0-多项式计算的计算机代数系统（2020）。http://www.singular.uni-kl.de [15] Deza，A.，Pournin，L.：分区计算的线性优化预言。计算。地理。100, # 101809 (2022) ·Zbl 1479.52035号 [16] 埃文斯：用热场理论计算什么？摘自：《粒子物理与宇宙学》（Lake Louise 1994），第343-352页。《世界科学》，新加坡（1995年） [17] Fieker，C.，Hart，W.，Hofmann，T.，Johansson，F.：Nemo/Hecke:Julia编程语言的计算机代数和数论包。摘自：第42届符号与代数计算国际研讨会（Kaiserslautern 2017），第157-164页。ACM，纽约（2017）·Zbl 1457.68325号 [18] Gawrilow，E.，Joswig，M.：多边形：分析凸多边形的框架。收录于：《多项式组合与计算》（Oberwolfach 1997）。DMV研讨会，第29卷，第43-73页。Birkhäuser，巴塞尔（2000年）·Zbl 0960.68182号 [19] 南卡罗来纳州古特昆斯；梅萨罗斯，K。；Petersen，TK，根锥和共振排列，Electron。J.库姆。，28、1、#1.12（2021）·Zbl 1456.52028号 ·doi:10.37236/8759 [20] Halperin，D.，Sharir，M.：安排。摘自：《离散和计算几何手册》，第3版，第723-762页（第28章）。查普曼和霍尔/CRC，博卡拉顿（2018） [21] 哈，J。；Katz，E.，特征多项式的对数压缩性和拟阵的Bergman迷，数学。Ann.，354，3，1103-1116（2012）·兹比尔1258.05021 ·doi:10.1007/s00208-011-0777-6 [22] Jefferson，Ch.：ferret-GAP包，v.1.0.2（2019）。https://gap-packages.github.io/ferret/ [23] 杰斐逊，Ch；Jonauskyte，E。；Pfeiffer，M。；Waldecker，R.，最小和正则图像，《J.代数》，521，481-506（2019）·Zbl 1439.20001号 ·doi:10.1016/j.jalgebra.2018.11.009 [24] Jefferson，Ch.，Pfeiffer，M.，Waldecker，R.，Jonauskyte，E.：图像-GAP包，v.1.3.0（2019）。https://gap-packages.github.io/images/ [25] Jensen，A.N.：穿越对称多面体扇形。参加：第三届国际数学软件大会（神户，2010年）。计算机科学课堂讲稿，第6327卷，第282-294页。柏林施普林格出版社（2010年）·Zbl 1294.68157号 [26] 约旦，Ch；Joswig，M。；Kastner，L.，三角剖分的并行枚举，Electron。J.库姆。，25、3、#P3.6（2018）·Zbl 1393.68175号 ·数字对象标识代码：10.37236/7318 [27] Kaluba，M.，Lorenz，B.，Timme，S.：Polymake.jl：Polymake的新接口。参加：第七届国际数学软件会议（布伦瑞克2020）。计算机科学课堂讲稿，第12097卷，第377-385页。查姆斯普林格（2020）·兹比尔1504.14003 [28] 神宫，H。；Takemura，A。；Terao，H.，余维一展开模型的排列模式，高级应用。数学。，47, 2, 379-400 (2011) ·Zbl 1218.52022号 ·doi:10.1016/j.aam.2010.11.002 [29] Kastner，L.，Panizzut，M.：多晶中的超平面排列。参加：第七届国际数学软件会议（布伦瑞克2020）。计算机科学课堂讲稿，第12097卷，第232-240页。查姆斯普林格（2020）·Zbl 1506.14003号 [30] CJ Klivans；Swartz，E.，超平面排列的投影体积，离散计算。地理。，46, 3, 417-426 (2011) ·Zbl 1247.52013年 ·doi:10.1007/s00454-011-9363-7 [31] 小泉，H。；Numata，Y。；Takemura，A.，关于由一般点生成的超平面排列的交点格，Ann.Comb。，16, 4, 789-813 (2012) ·Zbl 1267.52022号 ·doi:10.1007/s00026-012-0161-6 [32] Kühne，L.，共振排列的普适性及其Betti数，Sém。洛萨。梳。，85B，#75（2021）·Zbl 1505.52024号 [33] Leuner，M.：壁龛-GAP包（2019年）。https://github.com/martin-leuner/alcove [34] Möller，T。；Röhrle，G.，《受限考克塞特排列中的计数室》，《拱门》。数学。（巴塞尔），112，4，347-359（2019）·Zbl 1506.20077号 ·doi:10.1007/s00013-018-1283-9 [35] 蒙图法尔，G。；是，N。；Ghazi-Zahedi，K.，《条件限制玻尔兹曼机器的几何和表达能力》，J.Mach。学习。第16号决议，2405-2436（2015）·Zbl 1351.68223号 [36] GF蒙图法尔；Morton，J.，《产品的混合物何时包含混合物的产品？》？，SIAM J.离散数学。，29, 1, 321-347 (2015) ·兹比尔1328.68170 ·doi:10.1137/140957081 [37] 奥利克，P。；所罗门，L.，超平面补的组合学和拓扑，发明。数学。，56, 2, 167-189 (1980) ·Zbl 0432.14016号 ·doi:10.1007/BF01392549 [38] 奥利克，P。；Terao，H.，《超平面的安排》（1992），柏林：施普林格，柏林·兹比尔0757.55001 [39] Pendaving，R。；van der Pol，J.，拟阵中对称的渐近性，J.Comb。理论B，135，349-365（2019）·Zbl 1404.05024号 ·doi:10.1016/j.jctb.2018.09.001 [40] Postnikov，A。；Stanley，RP，Coxeter超平面排列的变形，J.Comb。理论A，91，1-2，544-597（2000）·Zbl 0962.05004号 ·doi:10.1006/jcta.2000.3106 [41] Sarnoff，J.：SaferIntegers-julia包，第2.5.3版（2021年）。https://github.com/JeffreySarnoff/SaferIntegers.jl [42] Sleumer，NH，超平面排列中的输出敏感细胞计数，Nord.J.Compute。，6, 2, 137-147 (1999) ·Zbl 0978.68791号 [43] 所罗门，L。；Terao，H.，排列特征多项式的公式，高级数学。，64, 3, 305-325 (1987) ·Zbl 0625.05001号 ·doi:10.1016/0001-8708（87）90011-9 [44] Stein，W.A.：Sage数学软件，版本x.y.z。Sage开发团队（2021）。http://www.sagemath.org [45] Yoshinaga，M.：超平面排列和Lefschetz的超平面截面定理。Kodai数学。J.30（2），157-194（2007）·Zbl 1142.32012年 [46] Yoshinaga，M.，超平面排列的自由度和相关主题，Ann.Fac。科学。图卢兹数学。，23, 2, 483-512 (2014) ·兹比尔1295.14049 ·doi:10.5802/afst.1413 [47] Zaslavsky，Th，《直面排列：超平面划分空间的面数公式》（1975），普罗维登斯：美国数学学会，普罗维登斯·兹比尔0296.50010 [48] Zuev，YuA，阈值逻辑中的几何和概率组合方法，离散数学。申请。，2, 4, 427-438 (1992) ·Zbl 0797.05004号 ·doi:10.1515/dma.1992.2.4.427 [49] Zunic，J.，《关于编码和枚举阈值函数》，IEEE Trans。神经网络。，15, 2, 261-267 (2004) ·doi:10.1109/TNN.2004.824419 [50] GAP群组、算法和编程，第4.10.2节（2019）。http://www.gap-system.org [51] OSCAR-计算机代数系统，v.0.5.2（2021）。https://oscar.computeralgebra.de网址 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。