×

简化不同字段中的多个总和。 (英语) Zbl 1315.68294号

Schneider,Carsten(编辑)等人,量子场论中的计算机代数。积分、求和和特殊函数。维恩:施普林格(ISBN 978-3-7091-1615-9/hbk;978-1-4614-8523-0/电子书)。《符号计算中的文本和专题论文》,325-360(2013)。
摘要:在这篇调查文章中,我们提出了符号求和的差分域算法。特别强调了求和问题如何根据差分域重新表述,问题如何在那里解决,以及如何将给定差分域中的导出结果重新解释为输入问题的解决方案的新方面。这些算法用Mathematica包进行了说明西格玛通过发现和证明新的调和数恒等式来扩展[P.保罗C.施耐德,高级申请。数学。31,第2期,359–378(2003年;Zbl 1039.11007号)]. 此外,新开发的包评估MultiSums介绍了结合现有工具的。这样,可以完全自动地解决QCD(量子色动力学)中费曼图计算的大规模求和问题。
关于整个系列,请参见[Zbl 1276.81004号].

MSC公司:

68瓦30 符号计算和代数计算
12个H10 差分代数
2005年12月 场论和多项式的计算方面(MSC2010)
81T18型 费曼图
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Ablinger,J.:粒子物理学中特殊函数的计算机代数算法。林茨J.开普勒大学博士论文(2012)
[2] Ablinger,J。;Blümlein,J。;Blümlein,J。;Schneider,C.,调和和、多对数、特殊数及其推广,《量子场论中的计算机代数:积分》(2013),维也纳:求和与特殊函数。施普林格,维也纳·Zbl 1308.81140号
[3] Ablinger,J。;Blümlein,J。;克莱因,S。;Schneider,C.,《现代求和方法与2回路和3回路费曼图的计算》,Nucl。物理学。B(程序补充),205-206,110-115(2010)
[4] Ablinger,J.、Blümlein,J.,Klein,S.、Schneider,C.、Wissbrock,F.:结构函数F_2(x,Q^2)和横截性的O(α_S^3)大规模算子矩阵元素O(n_F)。编号。物理学。B 844,26-54(2011)。ArXiv:1008.3347(庚-庚)·Zbl 1207.81160号
[5] Ablinger,J。;Blümlein,J。;Schneider,C.,分圆多项式生成的调和和和多对数,J.Math。物理。,52, 10, 1-52 (2011) ·Zbl 1272.81127号
[6] Ablinger,J.、Blümlein,J.,Freitas,A.D.、Hasselhuhn,A.、Klein,S.、Raab,C.、Round,M.、Schneider,C.、Wissbrock,F.:在N.的一般值下对胶子大质量算符矩阵元的三重贡献。In:《2012年量子场论中环和腿的研究进展》,PoS(LL2012)033,Wernigerode,第1-12页(2012)
[7] Ablinger,J。;Blümlein,J。;Hasselhuhn,A。;克莱因,S。;施耐德,C。;Wissbrock,F.,夸克局部算符矩阵元的大规模三圈梯形图,Nucl。物理学。B、 864、52-84(2012)·Zbl 1262.81184号
[8] Ablinger,J.、Blümlein,J.,Round,M.、Schneider,C.:费曼积分展开的高级计算机代数算法。收录于:《量子场论中的环和腿》2012,PoS(2012),Wernigerode,第1-14页(2012)
[9] Ablinger,J.、Blümlein,J.和Schneider,C.:广义调和和和多对数的分析和算法方面(2013)。ArXiv:1302.0378(数学-物理)·Zbl 1295.81071号
[10] Ablinger,J.、Blümlein,J.和Schneider,C.:调和和的结构关系(2013年,编制中)·Zbl 1295.81071号
[11] Abramov,S.A.,《关于有理函数的求和》,Zh。维奇塞尔。材料Fiz。,11, 1071-1074 (1971) ·Zbl 0243.65076号
[12] Abramov,S.,Petkovšek,M.:线性微分方程和差分方程的D’Alembertian解。收录:von zur Gathern,J.(编辑)《1994年国际社会科学院院刊》,牛津,第169-174页。ACM(1994)·Zbl 0919.34013号
[13] 阿布拉莫夫,S。;Petkovšek,M.,多项式环自同构,有理(w,σ)-规范形式,以及赋值问题,J.Symb。计算。,45, 6, 684-708 (2010) ·兹比尔1189.33038
[14] Abramov,S.、Bronstein,M.、Petkovšek,M.和Schneider,C.:(2012年,编制中)
[15] 阿帕戈杜,M。;Zeilberger,D.,多变量Zeilbergger和Almkvist-Zeilberger算法以及Wilf-Zeilberger-theory的锐化,高级应用。数学。,37, 139-152 (2006) ·兹比尔1108.05010 ·doi:10.1016/j.am.2005.09.003
[16] Bauer,A。;Petkovšek,M.,《多元和混合超几何Gosper-type算法》,J.Symb。计算。,28, 4-5, 711-736 (1999) ·Zbl 0973.33010号 ·doi:10.1006/jsco.1999.0321
[17] 比伦鲍姆,I。;Blümlein,J。;克莱因,S。;Schneider,C.,非极化重口味生产到o(epsilon),Nucl的双循环大规模算子矩阵元素。物理学。B、 803,1-2,1-41(2008)·兹比尔1190.81133
[18] Blümlein,J.,调和和和相关量之间的代数关系,计算。物理学。社区。,159, 1, 19-54 (2004) ·Zbl 1097.11063号
[19] Blümlein,J.:重量w=6时调和和和Mellin变换的结构关系。收录:Carey,A.、Ellwood,D.、Paycha,S.、Rosenberg,S.(编辑)动机、量子场论和伪微分算子。《克莱数学学报》,第12卷,第167-186页(2010年)。DESY 08-206,SFB-CPP/09-002,arXiv:0901.0837(math-ph)·Zbl 1218.81103号
[20] Blümlein,J.,Kurth,S.:谐波和和和Mellin变换为两个环路阶。物理学。版本D60014018(31p)(1999)
[21] Blümlein,J。;考尔斯,M。;克莱因,S。;Schneider,C.,通过计算机代数从梅林矩确定O(a_s^3)反常维数和Wilson系数的闭合形式,计算。物理学。社区。,180, 2143-2165 (2009) ·Zbl 1197.81037号 ·doi:10.1016/j.cpc.2009.06.020
[22] Blümlein,J。;布罗德赫斯特,D.J。;Vermaseren,J.A.M.,多重zeta值数据挖掘,计算。物理学。社区。,181, 582-625 (2010) ·Zbl 1221.11183号
[23] Blümlein,J。;Hasselhuhn,A。;Schneider,C.,大规模问题的多流域评估。收录:RADCOR 2011 PoS会议录(RADCOR2011),达勒姆,32,1-9(2012)
[24] Blümlein,J。;克莱因,S。;施耐德,C。;Stan,F.,《费曼积分的符号求和方法》,J.Symb。计算。,47, 1267-1289 (2012) ·Zbl 1242.81005号 ·doi:10.1016/j.jsc.2011.12.044
[25] Blümlein,J。;Hasselhuhn,A。;克莱因,S。;Schneider,C.,[O(\alpha_s^3n_fT_F^2C_{A,F})\]对胶子质量算符矩阵元素的贡献,Nucl。物理学。B、 866196-211(2013)·Zbl 1262.81190号
[26] Bronstein,M.,《关于系数域中线性常差分方程的解》,J.Symb。计算。,29, 6, 841-877 (2000) ·Zbl 0961.12004号 ·doi:10.1006/jsco.2000.0368
[27] Brown,F.,《无质量高阶两点函数》,数学。物理。,287, 925-958 (2009) ·Zbl 1196.81130号 ·doi:10.1007/s00220-009-0740-5
[28] Chen,S.,Kauers,M.:超几何创造性伸缩的有序度曲线。在:van der Hoeven,J.,van Hoeij,M.(编辑)《国际社会科学院刊2012》,格勒诺布尔,第122-129页(2012)·Zbl 1323.68591号
[29] 楚·W。;Donno,L.D.,超几何级数与调和数恒等式,高级应用。数学。,34123-137(2005年)·Zbl 1062.05017号 ·doi:10.1016/j.aam.2004.05.003
[30] Chyzak,F.,Zeilberger快速算法对一般完整函数的扩展,Discret。数学。,217, 115-134 (2000) ·Zbl 0968.33011号 ·doi:10.1016/S0012-365X(99)00259-9
[31] Cohn,R.,《差分代数》(1965),纽约:跨科学/威利出版社,纽约·兹伯利0127.26402
[32] 司机,K。;普罗丁格,H。;施耐德,C。;Weideman,J.,Padé近似对数III:替代方法和附加结果,Ramanujan J.,12,3,299-314(2006)·Zbl 1108.41011号 ·文件编号:10.1007/s11139-006-0144-5
[33] Eröcal,B.:有限项求和的代数扩展。林茨约翰内斯·开普勒大学RISC博士论文(2011年)·Zbl 1308.68170号
[34] Gosper,R.,《不定超几何求和的判定程序》,Proc。国家。阿卡德。科学。美国,75,40-42(1978)·Zbl 0384.40001号 ·doi:10.1073/pnas.75.1.40
[35] 哈杜因,C。;Singer,M.,线性差分方程微分伽罗瓦理论,数学。年鉴,342,2,333-377(2008)·Zbl 1163.12002年 ·doi:10.1007/s00208-008-0238-z
[36] 亨德里克斯,P。;Singer,M.,《有限项差分方程的求解》,J.Symb。计算。,27, 3, 239-259 (1999) ·Zbl 0930.39004号 ·doi:10.1006/jsco.1998.0251
[37] Hoeij,M.,线性递归方程的有限奇点和超几何解,J.Pure Appl。代数,139,1-3,109-131(1999)·Zbl 0933.39041号 ·doi:10.1016/S0022-4049(99)00008-0
[38] 霍恩,P。;科普夫,W。;Sprenger,T.,线性递归方程的m-fold超几何解重访,数学。计算。科学。,6, 1, 61-77 (2012) ·Zbl 1262.68190号
[39] Karr,M.,《有限项求和》,美国机械工程师协会,28305-350(1981)·Zbl 0494.68044号 ·doi:10.1145/322248.322255
[40] Karr,M.,有限项求和理论,J.Symb。计算。,1, 303-315 (1985) ·Zbl 0585.68052号 ·doi:10.1016/S0747-7171(85)80038-9
[41] 考尔斯,M。;Blümlein,J。;Schneider,C.,完整工具包,量子场论中的计算机代数:积分(2013),维也纳:求和和特殊函数。施普林格,维也纳·Zbl 1308.81101号
[42] 考尔斯,M。;Zimmermann,B.,计算C-有限序列和多序列的代数关系,J.Symb。计算。,43, 11, 787-803 (2008) ·Zbl 1163.11084号 ·doi:10.1016/j.jsc.2008.03.002
[43] Koornwinder,T.,《关于Zeilberger算法及其q模拟》,J.Compute。申请。数学。,48, 91-111 (1993) ·Zbl 0797.65011号 ·doi:10.1016/0377-0427(93)90317-5
[44] Koutschan,C.,《创造性伸缩的快速方法》,数学。计算。科学。,4, 2-3, 259-266 (2010) ·Zbl 1218.68205号 ·doi:10.1007/s11786-010-0055-0
[45] Kratethaler,C.,Rivoal,T.:《Hypergéométrie et function záta de Riemann》。内存。美国数学。Soc.186(875)(2007年)·Zbl 1113.11039号
[46] 莱文,A.:差分代数。代数与应用,第8卷。施普林格,纽约(2008)·Zbl 1209.12003年
[47] 莫赫,S。;乌沃,P。;Weinzierl,S.,《嵌套和、超越函数的展开和多尺度多回路积分》,J.Math。物理。,6, 3363-3386 (2002) ·Zbl 1060.33007号 ·doi:10.1063/1.1471366
[48] 莫赫,S。;Vermaseren,J。;Vogt,A.,QCD中的三环路分裂函数:非单路情况,Nucl。物理学。B、 688101(2004)·Zbl 1149.81371号
[49] 尼姆,I。;Paule,P。;米奥拉,A。;Temperini,M.,符号求和规范形式指南,符号计算系统设计进展。《符号计算的文本和专著》,84-110(1997),维也纳/纽约:施普林格·Zbl 0884.68064号
[50] Nörlund,N.E.,Vorlesungenüber Differenzenrechnung(1924),柏林:施普林格,柏林·JFM 50.0315.02标准 ·doi:10.1007/978-3-642-50824-0
[51] 奥斯本,R。;Schneider,C.,高斯超几何级数与超同余扩张,数学。计算。,78265、275-292(2009年)·Zbl 1209.11049号 ·doi:10.1090/S0025-5718-08-02118-2
[52] Paule,P.,最大阶乘分解和符号求和,J.Symb。计算。,20, 3, 235-268 (1995) ·Zbl 0854.68047号 ·doi:10.1006/jsco.1995.1049
[53] Paule,P.,Riese,A.:Zeilberger算法的Mathematica q模拟,基于代数驱动的近似q超几何伸缩。收录于:Ismail,M.,Rahman,M.(编辑)特殊函数,q系列和相关主题。Fields Institute Communications,第14卷,第179-210页AMS,普罗维登斯(1997)·Zbl 0869.33010号
[54] Paule,P。;Schneider,C.,调和数恒等式新族的计算机证明,Adv.Appl。数学。,31, 2, 359-378 (2003) ·Zbl 1039.11007号 ·doi:10.1016/S0196-8858(03)00016-2
[55] Paule,P。;Schorn,M.,证明二项式系数恒等式的Zeilberger算法的数学版本,J.Symb。计算。,20, 5-6, 673-698 (1995) ·Zbl 0851.68052号 ·doi:10.1006/jsco.1995.1071
[56] 佩曼特尔,R。;Schneider,C.,0.999…何时等于1?Am,数学。周一。,114, 4, 344-350 (2007) ·Zbl 1226.11134号
[57] Petkovšek,M.,多项式系数线性递归的超几何解,J.Symb。计算。,14, 2-3, 243-264 (1992) ·Zbl 0761.11008号 ·doi:10.1016/0747-7171(92)90038-6
[58] Petkovšek,M.,Zakrajšek.,H.:求解多项式系数线性递归方程。收录:Blümlein,J.,Schneider,C.(编辑)《量子场论中的计算机代数:积分、求和和和特殊函数》。施普林格(2013年出版)·Zbl 1312.65212号
[59] 佩特科夫舍克,M。;Wilf,H.S。;Zeilberger,D.,A=B(1996),Peters,Wellesley:A.K,Peters和Wellesley·Zbl 0848.05002号
[60] Riese,A.,qMultisum–用于证明q超几何多重求和恒等式的软件包,J.Symb。计算。,35, 349-377 (2003) ·Zbl 1020.33007号 ·doi:10.1016/S0747-7171(02)00138-4
[61] Risch,R.,有限项积分问题,Trans。美国数学。《社会学杂志》,139167-189(1969)·Zbl 0184.06702号 ·doi:10.1090/S0002-9947-1969-0237477-8
[62] Schneider,C.:不同领域的符号总和,技术报告01-17。开普勒大学RISC-Linz博士论文(2001年)
[63] Schneider,C.,在π∑-扩展中求解参数化线性差分方程的分母界集合,An.Univ.Timişoara Ser。材料-通知。,42, 2, 163-179 (2004) ·Zbl 1112.68139号
[64] Schneider,C.,《总和软件包Sigma:基本原理和菱形瓷砖应用》,Discret。数学。西奥。计算。科学。,6635-386(2004年)·Zbl 1066.68164号
[65] Schneider,C.:带单节点和扩展的符号求和。收录于:古铁雷斯(Gutierrez,J.)(编辑)《2004年国际社会科学院院刊》,桑坦德,第282-289页。ACM(2004)·Zbl 1134.33329号
[66] Schneider,C.,在∏∑-场中求参数化线性差分方程多项式解的次数界,应用。代数工程通讯。计算。,16, 1, 1-32 (2005) ·Zbl 1101.39001号 ·doi:10.1007/s00200-004-0167-3
[67] Schneider,C.:为不确定嵌套和和乘积表达式寻找深度最小的望远镜。收录于:Kauers,M.(编辑)《2005年国际社会科学院院刊》,北京,第285-292页。ACM(2005)·Zbl 1360.68953号
[68] Schneider,C.,《一种新的Sigma多汇总方法》,Adv.Appl。数学。,34, 4, 740-767 (2005) ·兹比尔1078.33021 ·doi:10.1016/j.aam.2004.07.009
[69] Schneider,C.,∏∑-字段中的产品表示,Ann.Comb。,9, 1, 75-99 (2005) ·Zbl 1123.33021号 ·doi:10.1007/s00026-005-0242-2
[70] Schneider,C.,用不定嵌套和和乘积求解参数化线性差分方程,J.Differ。埃克。申请。,11, 9, 799-821 (2005) ·Zbl 1087.33011号 ·doi:10.1080/10236190500138262
[71] 施奈德:阿佩里的双倍总和确实是一帆风顺的。电子。J.库姆。14 (2007) ·Zbl 1171.68052号
[72] Schneider,C.,简化∏∑-扩张中的和,J.代数应用。,6, 3, 415-441 (2007) ·Zbl 1120.33023号 ·doi:10.1142/S0219498807002302
[73] Schneider,C.:符号求和有助于组合学。塞姆。洛萨。组合56,1-36(2007)。第B56b条·兹比尔1188.05001
[74] Schneider,C.,符号求和的精细差分场理论,J.Symb。计算。,43, 9, 611-644 (2008) ·Zbl 1147.33006号
[75] Schneider,C.:寻找最佳嵌套和表示的符号求和方法。收录:Carey,A.、Ellwood,D.、Paycha,S.、Rosenberg,S.(编辑)动机、量子场论和伪微分算子。《克莱数学学报》,第12卷,第285-308页。美国数学学会(2010)。ArXiv公司:0808.2543·Zbl 1225.33031号
[76] Schneider,C.,参数化伸缩证明了和的代数独立性,Ann.Comb。,14, 4, 533-552 (2010) ·Zbl 1232.33034号
[77] Schneider,C.,符号求和的结构定理,应用。代数工程通讯。计算。,21, 1, 1-32 (2010) ·Zbl 1191.68891号 ·doi:10.1007/s00200-009-0115-3
[78] Vermaseren,J.,调和和,梅林变换和积分。国际期刊修订版。物理。,A142037-2976(1999)·Zbl 0939.65032号 ·doi:10.1142/S0217751X99001032
[79] Wegschaider,K.:二项多和恒等式的计算机生成证明。开普勒大学RISC硕士论文(1997)
[80] Wilf,H。;Zeilberger,D.,超几何(普通和“q”)多和/积分恒等式的算法证明理论,发明。数学。,108, 575-633 (1992) ·兹比尔0739.05007 ·doi:10.1007/BF02100618
[81] Zeilberger,D.,《特殊函数恒等式的完整系统方法》,J.Compute。申请。数学。,32, 321-368 (1990) ·Zbl 0738.33001号 ·doi:10.1016/0377-0427(90)90042-X
[82] Zeilberger,D.,《创造性伸缩方法》,J.Symb。计算。,11, 195-204 (1991) ·Zbl 0738.33002号 ·doi:10.1016/S0747-7171(08)80044-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。