×

可计算交换序列具有可计算的de Finetti度量。 (英语) Zbl 1233.03051号

Ambos-Spies,Klaus(编辑)等人,《数学理论与计算实践》。2009年7月19日至24日,德国海德堡,第五届欧洲可计算性会议,CiE 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03072-7/pbk)。计算机科学讲座笔记5635218-231(2009)。
摘要:我们在实随机变量的可交换序列上证明了de Finetti定理的一致可计算版本。在此过程中,我们开发了一种机器,用于从其矩序列中计算恢复分布,这足以在(几乎可以肯定的)连续定向随机测度的情况下证明定理。在一般情况下,我们给出了一个受随机算法启发的证明,该算法以概率1成功。最后,我们展示了作为主要定理的结果,概率函数编程语言中的可交换随机过程如何被重写为不使用变异的过程。
关于整个系列,请参见[Zbl 1192.68004号].

MSC公司:

03D78号 实数计算,可计算分析
60G09年 随机过程的可交换性
68甲18 函数编程和lambda演算

软件:

IBAL公司;教堂
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alvarez-Manilla,M.,Edalat,A.,Saheb-Djahromi,N.:持续估值的扩展结果。J.伦敦数学。Soc.61(2),629-640(2000)·Zbl 0960.60005号 ·doi:10.1112/S0024610700008681
[2] Aldous,D.J.:随机变量部分可交换数组的表示。《多元分析杂志》11(4),581-598(1981)·Zbl 0474.60044号 ·doi:10.1016/0047-259X(81)90099-3
[3] 奥尔德斯,D.J.:互换性和相关主题。收录于:《圣弗洛尔的概率》,XIII-1983年。数学课堂笔记。,第1117卷,第1-198页。柏林施普林格(1985)·doi:10.1007/BFB099421
[4] 奥斯汀,T.:关于可交换随机变量和大型图和超图的统计。可能性。Surv公司。 5, 80–145 (2008) ·Zbl 1189.60020号 ·doi:10.1214/08-PS124
[5] Bauer,A.:可实现性是建构数学和可计算数学之间的联系。摘自:CCA 2005:第二届国际计算机大会。《分析中的复杂性》(2005)
[6] Brattka,V.,Gherardi,G.:可计算度量空间上拓扑操作的Borel复杂性。作者:Cooper,S.B.,Löwe,B.,Sorbi,A.(编辑)CiE 2007。LNCS,第4497卷,第83-97页。斯普林格,海德堡(2007)·Zbl 1139.03032号 ·doi:10.1007/978-3-540-73001-9_9
[7] Billingsley,P.:概率与测度,第三版。John Wiley&Sons Inc.,纽约(1995)·Zbl 0822.60002号
[8] Bosserhoff,V.:表示空间上的概率可计算性概念。通用计算杂志。科学。 14(6), 956–995 (2008) ·Zbl 1227.03058号
[9] de Finetti,B.:Funzione caratteristica di un fenomeno aleatorio。6.《记忆》,科学类,费西奇,Matematiche e Naturali 4,251–299(1931)
[10] de Finetti,B.:概率论,第2卷。John Wiley&Sons Ltd.,伦敦(1975年)·Zbl 0328.60003号
[11] Diaconis,P.,Freedman,D.:部分交换性和充分性。收录于:《统计学:应用和新方向》(加尔各答,1981年),第205-236页。印度统计学家。加尔各答研究所(1984年)
[12] Diaconis,P.,Janson,S.:图极限和可交换随机图。Rendiconti di Matematica,爵士。VII 28(1),33–61(2008)·Zbl 1162.60009号
[13] Edalat,A.:领域理论与整合。理论。计算。科学。 151(1), 163–193 (1995) ·Zbl 0872.28006号 ·doi:10.1016/0304-3975(95)00050-7
[14] Edalat,A.:Scott拓扑导致了弱拓扑。摘自:第11年安。IEEE交响乐团。计算中的逻辑。科学。,第372–381页。IEEE计算。Soc.Press,Los Alamitos(1996年)·doi:10.1109/LICS.1996.561450
[15] Griffiths,T.L.,Ghahramani,Z.:无限潜在特征模型和印度自助餐过程。In:神经信息高级。处理系统。,第17卷,第475-482页。麻省理工学院出版社,剑桥(2005)
[16] Goodman,N.D.,Mansinghka,V.K.,Roy,D.M.,Bonawitz,K.,Tenenbaum,J.B.:Church:生成模型的语言。In:人工智能中的不确定性(2008)
[17] Grubba,T.、Schröder,M.、Weihrauch,K.:可计算度量。数学。逻辑问题53(4-5),381-395(2007)·Zbl 1121.03084号 ·doi:10.1002/每周200710009
[18] 胡佛,D.N.:概率空间和随机变量数组的关系,高级研究所。新泽西州普林斯顿(预印本)(1979年)
[19] Hewitt,E.,Savage,L.J.:笛卡尔积上的对称测度。事务处理。阿默尔。数学。Soc.80470-501(1955年)·Zbl 0066.29604号 ·doi:10.1090/S0002-9947-1955-0076206-8
[20] Jones,C.,Plotkin,G.:评估的概率幂域。In:程序。第四交响曲。论Comp.中的逻辑。科学。,第186-195页。IEEE出版社,洛斯·阿拉米托斯(1989)·Zbl 0716.06003号 ·doi:10.1010/LICS.1989.39173
[21] O.卡伦伯格:《现代概率基础》,第2版。斯普林格,纽约(2002)·Zbl 0996.60001号 ·doi:10.1007/978-1-4757-4015-8
[22] Kallenberg,O.:概率对称性和不变性原理。施普林格,纽约(2005)·Zbl 1084.60003号
[23] Kingman,J.F.C.:互换性的用途。《概率年鉴》6(2),183-197(1978)·Zbl 0374.60064号 ·doi:10.1214/aop/1176995566
[24] Kozen,D.:概率程序的语义。J.公司。系统科学。 22(3), 328–350 (1981) ·兹伯利0476.68019 ·doi:10.1016/0022-0000(81)90036-2
[25] Kemp,C.、Tenenbaum,J.、Griffiths,T.、Yamada,T.和Ueda,N.:具有无限关系模型的概念学习系统。In:程序。第21届全国人工智能大会(2006年)
[26] Lauritzen,S.L.:统计学中的极值点模型。扫描。J.统计。 11(2), 65–91 (1984) ·Zbl 0542.62002号
[27] Mansinghka,V.K.:原生概率计算。麻省理工学院博士论文(2009年)
[28] 穆勒,N.T.:随机变量的可计算性。西奥。计算。科学。 219(1-2), 287–299 (1999) ·Zbl 0916.68041号 ·doi:10.1016/S0304-3975(98)00292-8
[29] Pfeffer,A.:IBAL:一种概率理性编程语言。In:程序。第17届国际人工智能联合会议,第733–740页。摩根考夫曼出版社。,旧金山(2001)
[30] Park,S.、Pfenning,F.、Thrun,S.:基于采样函数的概率语言。ACM事务处理。程序。语言系统。 31(1), 1–46 (2008) ·Zbl 05517453号 ·doi:10.1145/1452044.1452048
[31] Pour-El,M.B.,Richards,J.I.:分析和物理中的可计算性。柏林施普林格(1989)·Zbl 0678.03027号 ·doi:10.1007/978-3-662-21717-7
[32] Roy,D.M.,Mansinghka,V.K.,Goodman,N.D.,Tenenbaum,J.B.:非参数贝叶斯的随机规划视角。In:非参数贝叶斯研讨会,机器学习国际会议(2008)
[33] Ryll-Nardzewski,C.:关于随机变量的平稳序列和de Finetti的等价性。集体数学。 4, 149–156 (1957) ·Zbl 0077.12302号
[34] Rogers,Jr.,H.:递归函数和有效可计算性理论。McGraw-Hill,纽约(1967年)·Zbl 0183.01401号
[35] Ramsey,N.,Pfeffer,A.:随机lambda演算和概率分布的单数。In:程序。第29届ACM SIGPLAN-SIGACT交响乐团。项目原则。兰格,第154-165页(2002年)·Zbl 1323.68150号 ·doi:10.1145/503272.503288
[36] Roy,D.M.,Teh,Y.W.:蒙德里安过程。In:神经信息高级。处理系统。,第21卷(2009)
[37] Schröder,M.:概率测度的可容许表示。数学。逻辑问题53(4-5),431-445(2007)·Zbl 1124.03019号 ·doi:10.1002/malq.200710010
[38] Sethuraman,J.:Dirichlet先验的建设性定义。中国统计局4639–650(1994)·Zbl 0823.62007号
[39] Soare,R.I.:递归可枚举集和度。柏林施普林格(1987)·Zbl 0667.03030号 ·doi:10.1007/978-3-662-02460-7
[40] Schröder,M.,Simpson,A.:使用概率过程表示概率测度。J.复杂。 22(6), 768–782 (2006) ·Zbl 1111.60003号 ·doi:10.1016/j.jco.2006.05.003
[41] Teh,Y.W.,Görür,D.,Ghahramani,Z.:印度自助餐流程的突破性建筑。In:程序。第十一届A.I.和Stat.大会(2007年)
[42] Thibaux,R.,Jordan,M.I.:分层测试过程和印度自助餐过程。In:程序。第十一届A.I.和Stat.大会(2007年)
[43] Weihrauch,K.:单位区间Borel集上概率测度的可计算性。理论。计算。科学。 219(1–2), 421–437 (1999) ·Zbl 0916.68043号 ·doi:10.1016/S0304-3975(98)00298-9
[44] Weihrauch,K.:可计算分析:简介。施普林格,柏林(2000)·Zbl 0956.68056号 ·doi:10.1007/978-3-642-56999-9
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。