×

D有限对称函数的有效标量积。 (英语) Zbl 1072.05051号

摘要:许多组合生成函数可以表示为对称函数的组合,或者从这些组合中提取为子序列和特化。Gessel概述了一大类对称函数,其生成函数是D有限的。我们扩展了Gessel的工作,提供了计算微分方程的算法,这些生成函数满足Gessel类中对称函数的标量积的情况。给出了应用于(k)正则图和具有重复项的Young表的例子。渐近估计是我们方法的自然应用,我们在Young tableaux的同一模型上进行了说明。我们还导出了Schur函数和与其自身的Kronecker积的一个看似新的公式。

MSC公司:

05年5月5日 对称函数和推广
2010年5月 表征理论的组合方面
13N10型 微分算子的交换环及其模
13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Bergeron,F。;标签,G。;Leroux,P.,《组合物种和树状结构》(1998),剑桥大学出版社:剑桥大学出版社·Zbl 0888.05001号
[2] Borel,A。;Grivel,P.-P。;卡普,B。;Haefliger,A。;Malgrange,B。;Ehlers,F.,代数(D)-模块(1987),学术出版社:学术出版社,马萨诸塞州波士顿
[3] 北布尔巴基,数学教育。阿尔盖布(1970),《赫尔曼:赫尔曼·巴黎》(第1章至第3章)·Zbl 0211.02401号
[4] F.Chyzak,《计算公式中的完整函数》,巴黎理工大学,1998年;印度,TU 0531。227页。;F.Chyzak,《计算公式中的完整函数》,巴黎理工大学,1998年;印度,TU 0531。227页。
[5] Chyzak,F。;Salvy,B.,《Ore代数中的非交换消去证明多元恒等式》,J.符号计算。,187-227年2月26日(1998年)·Zbl 0944.05006号
[6] Comtet,L.,《有限和无限扩张的艺术》,《高级组合数学》(1974),D.Reidel出版公司:D.Reide出版公司,多德雷赫特·Zbl 0283.05001号
[7] Coutinho,S.C.,代数\(D\)-模入门(1995),剑桥大学出版社:剑桥大学出版社·Zbl 0848.16019号
[8] 弗拉乔莱特,P。;Odlyzko,A.M.,生成函数的奇异性分析,SIAM J.离散数学。,3, 2, 216-240 (1990) ·Zbl 0712.05004号
[9] Gessel,I.M.,《对称函数和P-递归性》,J.Combination Theory Ser。A、 53、2、257-285(1990)·Zbl 0704.05001号
[10] Gessel,I.M.,《计算杨格中的路径》,J.Statist。计划。推理,34,1125-134(1993)·Zbl 0805.05088号
[11] 哥德斯尔,哥伦比亚特区。;McKay,B.D.,《拉丁矩形的渐近枚举》,《组合理论》,B,48,19-44(1990)·Zbl 0687.05010号
[12] 古尔登,I.P。;Jackson,D.M.,《组合计数》(1983),威利出版社:威利纽约·Zbl 0519.05001号
[13] 古尔登,I.P。;Jackson,D.M。;Reilly,J.W.,对称函数的哈蒙德级数及其在P递归性中的应用,SIAM J.代数离散方法,4,2,179-193(1983)·Zbl 0527.05006号
[14] Gupta,H.,对称矩阵的枚举,杜克数学。J.,35653-659(1968年)·Zbl 0185.03401号
[15] Hammond,J.,《关于方程理论中某些微分算子的使用》,Proc。伦敦数学。《社会学杂志》,第14期,第119-129页(1883年)
[16] Hayman,W.K.,斯特林公式的推广,J.Reine Angew。数学。,196, 67-95 (1956) ·Zbl 0072.06901号
[17] Ince,E.L.,《常微分方程》(1956年),多佛出版社:纽约多佛出版社(1926年版再版)·Zbl 0063.02971号
[18] Jungen,R.,Sur les séries de Taylor n’ayant que des singularités algébrico-logistariques Sur leur cercle de convergence,评论。数学。帮助。,3, 266-306 (1931)
[19] Knuth,D.E.,置换,矩阵和广义Young表,太平洋数学杂志。,34, 709-727 (1970) ·Zbl 0199.31901号
[20] Lipshitz,L.,有限幂级数的对角线是有限的,J.代数,113,2373-378(1988)·兹比尔0657.13024
[21] 麦克唐纳,I.G.,《对称函数和霍尔多项式》(1995),克拉伦登出版社,牛津大学出版社:克拉伦登出版公司,牛津大学出版公司,纽约·Zbl 0487.20007号
[22] P.A.MacMahon,组合分析,2卷。(装订成册),切尔西出版公司,纽约,1960年。;P.A.MacMahon,组合分析,2卷。(装订成册),切尔西出版公司,纽约,1960年·Zbl 0101.25102号
[23] B.Malgrange,《微分方程的简化》,预印本,1979年。;B.Malgrange,《微分方程的简化》,预印本,1979年。
[24] C.Mallinger,《一元完整函数和序列的算法操作和变换》,硕士论文,RISC,奥地利约翰内斯·开普勒大学林茨分校,1996年8月。;C.Mallinger,《一元完整函数和序列的算法操作和变换》,硕士论文,RISC,奥地利约翰内斯·开普勒大学林茨分校,1996年8月。
[25] McKay,B.D.,正则竞赛图的渐近数,欧拉有向图和欧拉定向图,组合数学,10,4,367-377(1990)·Zbl 0729.05021号
[26] M.J.Mishna,Une approveche holonomeála combinetoire algébrique,数学博士,UQ al-M,加拿大蒙特利尔,2003年11月。;M.J.Mishna,Une approveche holonomeála combinetoire algébrique,数学博士,UQ al-M,加拿大蒙特利尔,2003年11月。
[27] 奥库,T。;Takayama,N.,通过(D)-模计算计算仿射簇补集的de Rham上同调群的算法,J.Pure Appl。代数,139,1-3,201-233(1999),代数几何中的有效方法,圣马洛,1998·Zbl 0960.14008号
[28] Odlyzko,A.M.,《渐近枚举方法》(Graham,R.;Grötschel,M.;Lovász,L.,《组合数学手册》,第2卷(1995),Elsevier:Elsevier Amsterdam),1063-1229·Zbl 0845.0505号
[29] 里德,R.C。;Wormald,N.C.,标记的4-正则图的数目,图论,4,2203-212(1980)·Zbl 0407.05047号
[30] M.Saito,B.Sturmfels,N.Takayama,超几何微分方程的Gröbner变形,数学中的算法和计算,第6卷,Springer,柏林,2000年。;M.Saito,B.Sturmfels,N.Takayama,超几何微分方程的Gröbner变形,数学中的算法和计算,第6卷,Springer,柏林,2000年·Zbl 0946.13021号
[31] Salvy,B。;Zimmermann,P.,Gfuna-Maple软件包,用于操作一个变量中的生成函数和完整函数,ACM-Trans。数学。软件,20,2,163-177(1994)·Zbl 0888.65010号
[32] N.J.A.Sloane,Ed.整数序列在线百科全书,2003年。http://www.research.att.com/\(\sim;\);N.J.A.Sloane,Ed.整数序列在线百科全书,2003年。http://www.research.att.com/\(\sim;\)·Zbl 1044.11108号
[33] R.P.Stanley,枚举组合数学。第一卷,《华兹华斯和布鲁克斯/科尔数学系列》,华兹华思和布鲁克斯/Cole Advanced Books&Software,加利福尼亚州蒙特利,1986年(由Gian Carlo Rota撰写前言)。;R.P.Stanley,枚举组合数学。第一卷,《华兹华斯和布鲁克斯/科尔数学系列》,华兹华思和布鲁克斯/Cole高等图书与软件,加利福尼亚州蒙特雷,1986年(由Gian-Carlo Rota撰写前言)。
[34] R.P.Stanley,《枚举组合数学》,第2卷,剑桥大学出版社,剑桥,1999年。;R.P.Stanley,《枚举组合数学》,第2卷,剑桥大学出版社,剑桥,1999年·Zbl 0928.05001号
[35] Stembridge,J.R.,对称函数的Maple包,J.符号计算。,20,5-6,755-768(1995),组合数学中的符号计算(Delta_1)Ithaca,NY,1993·Zbl 0849.68068号
[36] Sundaram,S.,《(operatorname{Sp}(2n))的柯西恒等式》,J.Combina.Theory Ser。A、 53,2209-238(1990)·Zbl 0707.05005号
[37] Takayama,N.,构建模积分的算法——Gröbner基的无限维模拟,(ISSAC’90会议录,京都(1990),ACM),206-211
[38] Takayama,N.,用Buchberger算法解决零识别问题,J.符号计算。,14, 2-3, 265-282 (1992) ·Zbl 0763.65007号
[39] É. Tournier,Solutions formelles d’Equations différentielles,博士学位,格勒诺布尔科技大学,1987年。;É. Tournier,Solutions formelles d’Equations différentielles,博士学位,科学大学,格勒诺布尔技术与医学院,1987年。
[40] Tsai,H.,线性微分算子的Weyl闭包,J.符号计算。,29、4-5、747-775(2000),代数、分析和几何中的符号计算,加州伯克利,1998年·Zbl 1008.16026号
[41] H.Tsai,关联素数、Weyl闭包和\(D\)的局部上同调的算法;H.Tsai,关联素数的算法,Weyl闭包和\(D\)的局部上同调·Zbl 0992.68245号
[42] van Hoeij,M.,幂级数系数微分算子的形式解和因式分解,J.符号计算。,24, 1, 1-30 (1997) ·Zbl 0924.12005号
[43] Wasow,W.,《常微分方程的渐近展开》(1987),多佛出版公司:纽约多佛出版有限公司(John Wiley 1976版再版)·Zbl 0169.10903号
[44] Wimp,J。;Zeilberger,D.,《恢复线性复发的渐近性》,J.Math。分析。应用。,111, 162-176 (1985) ·兹比尔0579.05007
[45] Wyman,M.,Laurent系数的渐近行为,Canad。数学杂志。,11, 534-555 (1959) ·Zbl 0116.28203号
[46] Zeilberger,D.,创造性伸缩的方法,符号计算杂志。,11, 3, 195-204 (1991) ·Zbl 0738.33002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。