×
陈天然;达加斯·梅塔

二项式系统的并行度计算。 （英语） Zbl 1357.65063号

J.塞姆。计算。 79，第3部分，535-558（2017）.
摘要：二项式方程组的解集在应用数学中非常有趣。无论从理论上还是从应用上来说，解集的度（它与互补维仿射空间的最大孤立交点数）通常在理解其几何结构中起着重要作用。本文利用GPU设备的大规模并行特性，提出了一种计算GPU上度的专用并行算法。与基于CPU的同类产品相比，初步实现显示出显著的效率和可扩展性。作为案例研究，该算法被应用于（mathcal{N}=1）规范理论的主空间问题。基于GPU的实现比仅使用CPU的实现实现了近30倍的加速，从而能够发现以前未知的结果。

引用于2文件

理学硕士：

65时20分 全局方法，包括非线性方程数值解的同伦方法
第13页，共15页 求解多项式系统；结果
65日元10 特定类别建筑的数值算法

关键词：

二项式系统;同伦延拓;代数几何;BKK根计数;GPU计算;超对称规范理论

软件：

下午4点;数学软件;CUDA公司;斯特林格瓦卡;混合音量;DEMiC公司;石溪;霍姆4PS-3;二项式.m2
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}和\textit{D.Mehta}，J.Symb。计算。79，第3部分，535--558（2017；Zbl 1357.65063）
全文： 内政部

参考文献：

[1] 巴拉尼，我。；Füredi，Z。，计算体积是困难的，离散计算。几何。，2、1、319-326（1987年12月）·Zbl 0628.68041号
[2] Bernshtein，D.N.，方程组的根数，Funct。分析。申请。，9, 3, 183-185 (1975) ·Zbl 0328.32001号
[3] Büeler，B。；Enge，A。；Fukuda，K.，《多面体的精确体积计算：一项实用研究》，（Kalai，G.；Ziegler，G.M.，《多面体-组合数学和计算》，多面体-组合学和计算，DMV研讨会，第29卷（2000年1月），Birkhä用户：Birkhá用户巴塞尔），131-154·Zbl 0960.68162号
[4] Chen，T。；Lee，T.-L。；Li，T.-Y.，Hom4ps-3：基于多面体同伦延拓方法的多项式方程组的并行数值求解器，（Hong，H.；Yap，C.，数学软件-ICMS 2014。数学软件-ICMS 2014，计算机科学讲义，第8592卷（2014年1月），施普林格：施普林格柏林，海德堡），183-190·Zbl 1434.65065号
[5] Chen，T。；Lee，T.-L。；Li，T.-Y.，《并行混合体积计算》，台湾。数学杂志。，18, 1, 93-114 (2014) ·Zbl 1357.52009年
[6] Chen，T。；Lee，T.-L。；Li，T.-Y.，Hom4PS-3中的混合单元计算，数值代数几何-特刊。《数值代数几何——专刊》，J.Symb。计算。，79, 516-534 (2016) ·Zbl 1365.13047号
[7] Chen，T。；Li，T.-Y.，二项式方程组的解，《数学年鉴》。西尔。，28, 7-34 (2014) ·兹伯利1439.13079
[8] Cohen，H.，《计算代数数论教程》，第138卷（1993），Springer·Zbl 0786.11071号
[9] 考克斯，D.A。；Little，J.B。；申克，H.K.，托里变异（2011），美国数学学会·Zbl 1223.14001号
[10] 艾森巴德，D。；Sturmfels，B.，二项式理想，杜克数学。J.，84，1，1-46（1996年7月）·Zbl 0873.13021号
[11] Forcella，D。；Hanany，A。；他，Y.-H。；Zaffaroni，A.，《掌控主空间》，Lett。数学。物理。，85, 163-171 (2008) ·Zbl 1162.81410号
[12] Forcella，D。；Hanany，A。；他，Y.-H。；Zaffaroni，A.，《规范理论的主空间》，J.高能物理学。，0808，第012条pp.（2008）
[13] Fulton，W.，《托利变换导论》，《数学研究年鉴》，第131卷（1993），普林斯顿大学出版社·Zbl 0813.14039号
[14] Fulton，W.，交叉理论（1998年1月），Springer:Springer New York·Zbl 0885.14002号
[15] 高，T。；Li，T.-Y.，通过线性规划进行混合体积计算，台湾。数学杂志。，4、4、599-619（2000年1月）·Zbl 0997.65081号
[16] 高，T。；Li，T.-Y.，半混合系统的混合体积计算，离散计算。几何。，29、2、257-277（2003年1月）·Zbl 1052.68131号
[17] Gelfand，I.M。；卡普兰诺夫，M.M。；Zelevinsky，A.V.，《判别、结果和多维决定因素》。数学：理论与应用（1994年1月），Birkhäuser:Birkháuser Boston·兹伯利0827.14036
[18] Gray，J.，《弦现象学中Grobner基方法的简单介绍》，高级高能物理学。，2011年，第217035条pp.（2011）·Zbl 1234.81112号
[19] 格雷，J。；他，Y.-H。；艾尔德顿，A。；Lukas，A.，STRINGVACUA：研究弦现象学中真空组态的Mathematica软件包，计算。物理。社区。，180107-119（2009年）·Zbl 1198.81156号
[20] 格雷，J。；他，Y.-H。；卢卡斯，A.，《算法代数几何与通量真空》，J.高能物理学。，0609，第031条pp.（2006）
[21] 格林，B。；卡根，D。；马苏米，A。；梅塔，D。；Weinberg，E.J。；Xiao，X.，《跌入风景：高维模空间不稳定性的证据》，Phys。D版，88，2，第026005条pp.（2013）
[22] Hartshorne，R.，《代数几何》，《数学研究生教材》，第52卷（1977年），施普林格出版社·Zbl 0367.14001号
[23] 豪恩斯坦，J。；他，Y.-H。；Mehta，D.，真空的数值消元与模空间，高能物理学报。，1309，第083条pp.（2013）·Zbl 1342.83004号
[24] 他，Y.-H。；梅塔，D。；Niemerg，M。；Rummel，M。；Valeanu，A.，《探索大参数空间上的潜在能源景观》，J.高能物理学。，1307，第050条pp.（2013）·Zbl 1342.81433号
[25] Herlihy，M。；Shavit，N.，《多处理器编程的艺术》（2012年6月），爱思唯尔出版社
[26] Huber，B。；Sturmfels，B.，求解稀疏多项式系统的多面体方法，数学。计算。，64, 212, 1541-1555 (1995) ·Zbl 0849.65030号
[27] Kahle，T.，二项式理想的分解，Ann.Inst.Stat.Math。，62, 4, 727-745 (2010) ·Zbl 1440.62394号
[28] Kahle，T。；Miller，E.，交换幺半同余和二项式理想的分解，代数数论，8，6，1297-1364（2014年10月）·Zbl 1341.20062号
[29] Kushnirenko，A.G.，《牛顿多面体与（k）未知方程组的解数》，Usp。数学。瑙克，30266年-267年（1975年）
[30] Lee，T.-L。；Li，T.-Y.，求解多项式系统中的混合体积计算，Contemp。数学。，556, 97-112 (2011) ·Zbl 1416.65145号
[31] Lee，T.-L。；Li，T.-Y。；Tsai，C.-H.，HOM4ps-2.0：用多面体同伦延拓法求解多项式系统的软件包，《计算》，83，2，109-133（2008）·Zbl 1167.65366号
[32] Li，T.-Y.，用同伦延拓方法求解多项式系统的数值解，（Ciarlet，P.G.，《数值分析手册》，第11卷（2003年），北荷兰语），209-304·Zbl 1059.65046号
[33] Li，T.-Y。；Li，X.，在混合体积计算中寻找混合单元，Found。计算。数学。，161-181（2001年1月）·Zbl 1012.65019号
[34] Loera，J.D。；Rambau，J。；Santos，F.，《三角化：算法和应用的结构》（2010年8月），Springer Science&Business Media·Zbl 1207.52002号
[35] Malajovich，G.，《计算克尔马斯积分时间的混合体积和所有混合单元》（2014年12月）
[36] 马丁内斯·佩德雷拉（D.Martinez-Pedrera）。；梅塔，D。；Rummel，M。；韦斯特法尔，A.，《在一个明确的例子中发现所有通量真空》，J.高能物理学。，1306，第110条pp.（2013）·Zbl 1342.81455号
[37] Mehta，D.，数值多项式同伦延拓方法与弦真空，高级高能物理。，2011年，第263937条pp.（2011）·Zbl 1234.83028号
[38] 梅塔，D。；他，Y.-H。；Hauenstein，J.D.，《数值代数几何：弦和规范理论的新视角》，高能物理学杂志。，1207，第018条pp.（2012）
[39] 米勒，E。；Sturmfels，B.，组合交换代数，第227卷（2005），施普林格·Zbl 1090.13001号
[40] Mizutani，T。；武田，A.，DEMiCs:通过动态枚举所有混合单元计算混合体积的软件包，（Stillman，M.；Verschelde，J.；Takayama，N.，代数几何软件。代数几何软件，数学及其应用IMA卷，第148卷（2008年1月），斯普林格），59-79·Zbl 1148.68580号
[41] Mizutani，T。；武田。；Kojima，M.，所有混合细胞的动态枚举，离散计算。几何。，37、3、351-367（2007年3月）·Zbl 1113.65055号
[42] NVIDIA Corporation，NVIDIA-CUDA C编程指南（2011年7月），技术报告
[43] 施罗德，B。；皮涅罗，E。；韦伯，W.-D.，《野外DRAM错误：大规模实地研究》，Commun。ACM，54，2，100-107（2011年2月）
[44] Skiena，S.S.，《算法设计手册》（2009年4月），Springer Science&Business Media
[45] Smith，H.J.S.，《关于线性不定方程组和同余》，Philos。事务处理。英国皇家学会。，151293-326（1861年1月）
[46] Sommese，A.J。；Wampler，C.W.，《数值代数几何》（The Mathematics of Numerical Analysis），（《数值分析的数学》，《应用数学讲座》，第32卷（1996年），AMS），749-763·Zbl 0856.65054号
[47] Sommese，A.J。；Wampler，C.W.，《工程与科学中多项式系统的数值解》（2005），世界科学出版社。股份有限公司·Zbl 1091.65049号
[48] Sturmfels，B.，《定义复曲面变量的方程》（Proc.Symp.Pure Math（1997），美国数学学会）·Zbl 0914.14022号
[49] Verschelde，J。；Gatermann，K。；Cools，R.，应用于多项式系统求解的动态提升混合体积计算，离散计算。几何。，16、1、69-112（1996年1月）·Zbl 0854.68111号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。