adv

solidot新版网站常见问题,请点击这里查看。
Idle
WinterIsComing(31822)
发表于2015年05月20日 15时06分 星期三
来自熊二
巴塞罗那大学的宇宙学家Fergus Simpson利用数学模型计算出,如果外星人存在,他们可能和熊一样大,体重可能重达314公斤。研究报告已发表在预印本网站arXiv上,他使用的模型是基于贝叶斯理论和贝叶斯统计学。有研究人员认为,他的部分统计假设可能不正确。Simpson推断外星人很可能是居住在一个人口不足5000万的文明之中,这一推断是基于外星文明人口分布呈钟形分布的假设——即人口巨多和非常少的文明并不常见。Simpson以地球人口举例说,随机从地球上找一个人,他来自中国的几率显然高于新西兰,但地球上新西兰大小的国家远比中国大小的国家多,所以随机找一个国家名字,你更可能挑选出西班牙大小的国家名字,而不是俄罗斯或中国大小的国家名字。基于这一推理,Simpson假设了一个外星文明有着中等数量的人口,生活在一颗可能比地球更大的行星上,其体重中位数是314公斤。
数学
WinterIsComing(31822)
发表于2015年05月09日 23时59分 星期六
来自太复杂了
Vladimir Voevodsky于1966年6月4日出生在莫斯科,为了理解物理学他对数学产生了兴趣,随后他又一发不可收拾的爱上了抽象代数。虽然他没有读完数学的本科学业,但在1989年共产党倒台后这一切变得无关紧要,他用论文证明了自己。他和Misha Kapranov发展了高维数学对象和类,在1990年发表了一个重要结果。他甚至没有申请就被哈佛接受读博,1992年的博士论文标志着代数几何的一个新思想领域的开始。2002年他获得菲尔茨奖,2001年成为普林斯顿高等研究院的正教授。但在1998年,美国数学家 Carlos Simpson发表论文认为他1990年发表的那篇论文存在一个错误。Voevodsky对此展开了仔细的分析,多年来都没有取得进展。他仍然认为自己的结果是正确的。在2013年,他取得了突破确认了自己的错误,而且是主要理论错误,重要的结果不再重要。原因是他们没有去检查简单情况,只证明了困难情况。他发表了60篇论文,只发现了两个错误,其中一个可以被修正,这个错误比例不算高。然而此事却令他万分沮丧。他注意到读者懒于去核查信任的作者的论文,而论文的复杂性使他们几乎不去检查细节。他正在发展一个新理论,但热情很快消失的无影无踪,因为没有办法知道他是否犯下了另一个错误。验证一个观点是否正确比提出一个观点所花的时间要多得多。唯一的解决方法只能是使用计算机程序去帮助检查,计算机正在改变数学的证明
数学
WinterIsComing(31822)
发表于2015年04月21日 15时38分 星期二
来自数学文盲看不懂
2004年,普林斯顿大学的数学家John ConwayAlexander Soifer 向《美国数学月刊》递交了他们认为有史以来字数最少的数学论文。整篇论文的正文就两个字:n^2 + 2 can,文字之外配有两幅图。收到论文后,《美国数学月刊》不知道该怎么处理。编辑助理在两天后写了封回信,认为论文太短了,建议两位作者加上一到两句的解释。但两位数学家拒绝了这一要求,认为数量和质量之间不存在联系,他们觉得不需要额外解释。5月4日,期刊主编 Bruce Palka亲自回信,指出他们的论文太短,只能被称为文章(articles)。这篇“文章”随后发表在2005年1月的期刊上。
数学
WinterIsComing(31822)
发表于2015年03月23日 15时12分 星期一
来自数学家没钱
拥有数学硕士学位的巴尔的摩乌鸦队进攻内锋John Urschel刚刚在《Journal of Computational Mathematics》期刊上发表了一篇论文,介绍了一种快速计算拉普拉斯算子Fiedler矢量的算法。Urschel是2014年的NFL新秀,毕业于滨州州立大学,已经发表了多篇数学论文。他同时还是一名出色的棋手。他选择此种生活方法令父母也感到不解,他解释说他只是享受这种肉搏运动。
数学
WinterIsComing(31822)
发表于2015年03月09日 10时55分 星期一
来自神的999999...个名字
围棋棋盘上的每一个位置都有3种可能性:留空、落黑子或白子。一个有N个格子的棋盘总共有3^N个可能的位置数,但根据围棋规则,不是所有位置都可合法落子,在围棋术语中没有气的位置就不能落子。普林斯顿高等研究所自然科学学院的研究人员使用一台戴尔Dell PowerEdge R280服务器耗时9个月时间终于计算(算法细节论文)出了18x18格围棋的精确合法位置数。接下来他们将计算19x19格围棋。19x19格围棋的合法位置数估计为 2.08168199381982*10^170 ,但精确数字未知。研究人员称,他们需要10到13台服务器,每台至少有8核和512GB内存磁盘空间10-15TB,需要运行5到9个月。
数学
WinterIsComing(31822)
发表于2015年03月03日 18时52分 星期二
来自H1N1 DayZ
受第一次僵尸世纪大战口述历史名著《World War Z》的启发,康奈尔大学的一个研究小组使用统计力学建模僵尸瘟疫如何蔓延,确定灾难发生后的最佳长期生存战略。模型分析了僵尸在一个有3亿人口的地方(也就是美国)如何传播。康奈尔研究生Alex Alemi说, 僵尸爆发通常会假设它会同时影响所有地区,但他们尝试以更真实的方式建模僵尸爆发,他认为城市会很快落在僵尸手中,但在人口稀少的地区感染率将会迅速下降。它可能需要数个月时间才会扩散到北落基山和冰川国家公园。一旦僵尸入侵大部分人口稀少的地区,整个爆发将会降速,会有更少的人类被咬,创造僵尸的速度将会下降。如果你一直往北走直至抵达阿拉斯加,那么你最有可能在僵尸末日中生存下来。
数学
WinterIsComing(31822)
发表于2015年01月31日 15时21分 星期六
来自为了养家糊口
NSA是美国数学家最大的雇主,它不仅仅雇佣了数学家,还资助了大量数论和概率论研究。虽然它没有披露资助金额,但仅仅根据每年发表的NSA资助数学论文就可以知道其规模有多庞大:2013年,有超过500篇数学论文承认获得了NSA资助。在冷战期间和苏联崩溃之后,NSA资助论文发表数量稳定增长,只在1999年到2002年之间短暂下降,911恐怖袭击后再次大幅增长。每年,NSA招募人员招募数学人才时只要告诉他们每天将从事“不可思议的困难且有趣的谜题”就足够了。一位匿名数学家称,911袭击之后他觉得有道德上的义务运用自己的数学技能帮助防止此类攻击再次发生。然而到了2013年,前NSA合同工Edward Snowden公开的机密文件显示,NSA大规模的收集和分析普通美国公民的电子邮件和电话记录,而且可能有意在一个广泛使用的伪随机数生成算法Dual_EC_DRBG中植入了后门。这些事件的披露使得部分数学家对与NSA合作的道德明确性产生了疑虑。但只是疑虑而已。英国爱丁堡大学的数学家Tom Leinster去年在《新科学家》上呼吁拒绝与NSA和GCHQ进行合作,而前美国数学学会主席、MIT数学家David Vogan也呼吁数学界重新思考与NSA的密切关系(PDF),他透露美国数学学会的管理委员会成员没有兴趣就有关NSA合作的道德标准发表公开声明,更不用说切断联系了。
数学
WinterIsComing(31822)
发表于2015年01月29日 18时17分 星期四
来自典型的结婚方式
张益唐因在证明孪生素数猜想取得重大突破而一举成名,他的故事引起广泛反响的一个原因是他一直默默无名,没有发表过几篇论文,当时还是讲师,年纪已经50多岁,而数学被认为是年轻人的竞技场。最新一期的《纽约客》也发表了一篇长文介绍了张益唐与孪生素数,提到了一些细节: 他是因研究代数几何问题雅可比猜想而获得博士学位,但获得博士学位后他告诉导师要转向数论,结果因此没有获得导师的推荐信而无法在学术界找到工作;他之后只能从事一些零碎的工作,加入了一个口号为“自由、民主、法治和多元化”的民运组织,该组织的一名成员是化学家,作为一种筹集资金的手段在肯塔基开设了一家赛百味特许店,因为张益唐擅长数数,所以被邀请当会计,忙的时候张益唐还会去帮忙当收银员;在没有工作的时候,张益唐会在肯塔基大学图书馆浏览代数几何和数论期刊;他的妻子叫Sun Yaling,两人相识的时候她是一家中餐厅的招待。纪录片《Counting from Infinity: Yitang Zhang and the Twin Prime Conjecture》有采访Sun Yaling的内容,当然还有更多细节。
微软
WinterIsComing(31822)
发表于2015年01月26日 16时35分 星期一
来自M$下一步开源Windows
比尔盖茨今年的暑期阅读书目也许将包括《R编程的艺术》。微软上周宣布收购提供R语言商业服务的公司Revolution Analytics。R语言是一个开源统计计算和预测分析编程语言项目,Revolution Analytics并不拥有R项目,它只是R语言的最主要商业支持公司,相当于RedHat与Linux的关系。微软收购一家开源软件公司已经不像以前认为的不可思议了,微软最近开源了许多项目,其中包括.NET,它正努力变成一家讨人喜欢的公司。
数学
WinterIsComing(31822)
发表于2015年01月12日 12时47分 星期一
来自杀死无理数
毕达哥拉斯定理在中国被称为勾股定理,有勾三股四弦五之说。埃及和印度的古代记录里都有类似的描述。毕氏定理的起源是一个受争议的话题。印度科技部部长Harsh Vardhan博士宣称毕氏定理起源于印度。印度裔菲尔茨得主、普林斯顿大学数学教授Manjul Bharagava对此认为, 这看你如何定义起源。毕氏定理的一个起源是公元前2500年左右的埃及,当时的人发现了边长3、4和5可以构成直角三角形。Bharagava认为,勾股数3、4和5或5、7和12的发现完全可以通过试错或巧合得到。如果起源是定义为知道类似毕氏定理的现象,那么毕氏定理的起源可追溯到公元前2500年。印度公元前800年左右的《Shuba Sutra》记录了最早的毕氏定理声明,中国《周髀算经》最早记录了毕氏定理的严格证明,《周髀算经》的年代被认为是在公元前1046到公元前256之间。如果将起源定义为证明,那么毕氏定理起源于中国。
数学
WinterIsComing(31822)
发表于2015年01月10日 22时23分 星期六
来自怒发冲冠
日本京都大学数学家望月新一(Shinichi Mochizuki)在2012年发表了一篇500页的论文,宣布证明了ABC猜想ABC猜想涉及到质数、加法和乘法之间的关系,由David Masser和Joseph Oesterle在1985年提出,ABC指的是如a+b=c的方程式,它牵涉到无平方数概念。如果证明正确,将有可能在数论领域掀起一场革命。但论文公布两年多之后,没人能给出证明正确还是错误的明确答案。望月对此非常失望。他在去年12月发布了一篇新论文(PDF),致力于向其他人阐述他的理论,表示在他的帮助下三名研究这一问题的研究人员还没有从论文中找到错误。他批评数学社区没有深入研究他的工作,称数学家只有从他的最基础理论着手进行研究才有资格对证明作出评判。其他数学家理解望月为什么生气,认为他应该简化报告或者到海外进行演讲。
数学
WinterIsComing(31822)
发表于2015年01月09日 17时01分 星期五
来自被所有赌场封杀
世界上最棒的限注式德州扑克玩家是机器人Cepheus——其名字源自仙王星座。只要有足够手(或者说玩足够长时间),机器人永远不会输。即使是面对劣势手,它也会根据数学最小化损失,通过作出完美的决策步步为营,最终将你的钱纳入囊中。Albert大学的研究人员本质上是使用数学“暴力破解”限注式德州扑克。研究报告发表在《科学》期刊上。限注式德州扑克大约有3 x 10^14个可能的决策,Cepheus使用11TB容量的博弈数据排列表决定最佳的下法。研究人员相信无人能打败它。
数学
WinterIsComing(31822)
发表于2015年01月05日 19时56分 星期一
来自该死的统计学
上周被广泛报道的重大科学新闻是三分之二的癌症是“坏运气(或累积DNA突变)”导致的。德国生物统计学家Bob O’Hara在《卫报》上发表文章,批评了报道这一新闻的记者,认为他们对科学尤其是统计学无知。问题主要是在数据解读上。研究人员的论文发表在《科学》期刊上,他们假设:癌症是DNA突变导致的,而导致突变的因素之一是DNA复制,DNA经历的复制次数越多,癌症几率就越高。为了测试这一假说,研究人员分析了31种癌症。但他们的论文数据很难得出“坏运气”导致的癌症比率究竟有多高。媒体得出的三分之二是望文生义。
数学
WinterIsComing(31822)
发表于2014年12月23日 16时17分 星期二
来自log log log
2013年5月,数学家张益唐证明存在无穷多个素数对相差都小于7000万。这是孪生素数研究上取得了一个重大突破。数学家随后展开合作,改进素数对相差的上限。目前上限已从7000万降至246。张益唐等人的研究是努力缩小素数对的差,但另一个逆向问题同样重要:相邻素数的最大差值可能多大?20世纪最多产的数学家Paul Erdős提出一个猜想,他提供了1万美元奖金奖励证明其素数差猜想的人。Erdős的猜想是基于苏格兰数学家Robert Alexander Rankin给出的一个公式。加州洛杉矶的陶哲轩、伊利诺斯香槟的Kevin Ford、牛津大学的Ben Green和James Maynard、莫斯科斯捷克洛夫数学所的Sergei Konyagin过去几个月发表了三篇论文(第一第二第三),在证明Erdős最大素数差猜想上取得了重大进展(如图是第三篇论文的证明公式)。陶哲轩研究素数差有其个人动机,他说,你是素数的专家,但这些关于素数的基本问题你却无法回答,即使人们在这些问题上已思考了数百年。Erdős于1996年去世,1985年10岁的陶哲轩在一个数学会议上见到了Erdős,两人讨论了数学问题。
数学
WinterIsComing(31822)
发表于2014年11月28日 12时49分 星期五
来自双胞胎
Riecoin项目宣布在一周时间内两次打破了最大六胞胎素数记录。所谓的六胞胎素数是指6个连续素数每对相差为4,即形如{N,N+4,N+6,N+10,N+12,N+16},比如{7, 11, 13, 17, 19, 23}都是素数且每对差为4,它们是一个六胞胎素数,其它的六胞胎素数还有 {97, 101, 103, 107, 109, 113},{16057, 16061, 16063, 16067, 16069, 16073}等等。Riecoin是一个专注于去中心化虚拟货币和分布式计算的项目。在2014年11月17日19:50 GMT,Riecoin项目发现了一个至今发现的最大六胞胎素数,然后在11月24日 20:28 GMT,这一记录又被打破,他们又发现了一个更大的六胞胎素数。

数学
WinterIsComing(31822)
发表于2014年11月14日 20时09分 星期五
来自奇特的一生
特立独行的法国犹太数学家Alexander Grothendieck于11月13日去世(法文),享年86岁。Grothendieck于1928年出生于柏林,父亲曾在俄罗斯入狱,1922年迁移到德国,母亲是已婚记者,后来离异,但没有与其父亲结婚。1933年和1934年,父母为了逃离纳粹统治而分别移居到法国。Grothendieck仍然留在德国,1939年与父母在法国团聚。但在二战中,父亲死于奥斯威辛集中营。Grothendieck战后在法国学习数学,但不怎么去上课,而是靠自学独立研究。在1950年到1953年之间,他是拓扑向量空间理论的顶级专家;1957年,他转向了代数几何和同调代数。1966年他获得菲尔兹奖,但他拒绝往苏联领奖。1970年他离开了法国高等科学研究所,因为研究所接受军方资助。他开始积极参与反战和生态保护活动。1988年他拒绝了克拉福德奖(Crafoord Prize),理由是不缺钱,奖项表扬的是他20年前的工作,他是一个和平主义者。
滑稽
WinterIsComing(31822)
发表于2014年10月02日 21时28分 星期四
来自琼恩·雪诺是死还是活
预测未来的一种方式是研究过去事件的数据,建立能产生相同数据模式的数学模型,然后用它预测未来。这说起来容易做起来难。统计模型有许多需要拟合数据的参数,统计学家需要重复拟合过程许多次,才能建立预测的概率分布,发现某些事件发生的可能概率。新西兰 Canterbury大学的Richard Vale利用这一方法建立数学模型,预测尚未出版的两卷《冰与火之歌》。奇幻小说《冰与火之歌》系列已经出版了五卷,作者乔治RR马丁计划写七卷,至少还有两卷没有发表。小说采用了POV视角叙述故事,至今为止,有24名角色担当了POV人物。Vale根据角色的章节分布预测他们在未来两卷的分布。比如琼恩·雪诺(Jon Snow)的POV在第一卷有9章,第二卷8章,第三卷12章,第四卷没有,第五卷13章;塔斯的布蕾妮(Brienne of Tarth)只在第四卷有8章POV,其余四卷都没有。他运行了计算机程序寻找拟合数据的参数,建立数学模型预测未来角色在第六卷和第七卷的POV分布。他的模型预测某些角色不会再有任何POV,预测某个特定角色是死还是活着。
数学
WinterIsComing(31822)
发表于2014年09月25日 20时48分 星期四
来自千万别算错了
持续捕捉科学家和科幻作家想象力的黑洞也许并不存在。北卡大学物理教授 Laura Mersini-Houghton和多伦多大学数学教授 Harald Pfeiffer在预印本网站arXiv.org上发表论文称,恒星塌陷的引力场变化产生了霍金辐射,但质量的大幅减少显示它缺乏形成黑洞所需要的密度——奇点和视界从未形成。这篇论文尚未通过同行评审,但Mersini-Houghton教授的另一篇相关论文已经发表在了《物理快报B》上。实验证据可能有一天会证明黑洞是不是在宇宙中存在,Mersini-Houghton说,在数学上黑洞不存在已经是定论了。
数学
WinterIsComing(31822)
发表于2014年09月17日 16时08分 星期三
来自从讲师到教授只需要一篇论文
59岁的新罕布什尔州大学数学教授张益唐成为2014年麦克阿瑟奖得主麦克阿瑟奖是由麦克阿瑟基金会颁发的一个奖项,该奖是颁发给在各个领域、不同年龄“在持续进行创造性工作方面显示出非凡能力和前途”的人。目前的奖金为62.5万美元(按季度在五年内支付完)。今年共有21人获奖,除了张益唐,还有一位华裔人权活动人士蒲艾真获奖。张益唐获奖的原因是因为他去年五月发表了一篇论文,证明存在无穷多个相差小于7千万的素数对,发表论文时他还是一位无名的讲师。受张益唐的启发,数学家们展开了合作进一步缩小素数对的界限,在几个月内就将界限缩小到了600。
数学
WinterIsComing(31822)
发表于2014年09月11日 20时54分 星期四
来自生命即信息
大多数生命起源研究是集中在自我复制分子性质和催化反应行为等上面。密歇根州立大学的研究员 Christoph Adami 则从一个完全不同的角度去分析生命起源——信息论。Adami的新方法是基于生命本质上是一种信息现象这一概念,他因此可以完全略过所有化学细节而专注于由信息论决定由物理法则控制的生命最基本属性。 根据信息论的生命起源观点,生命与非生命系统的一个关键区别是:能储存信息和几乎无限的复制信息的能力。生命系统不存在于热平衡和最大熵状态中。它与最大熵的差异就是它所包含的能无限复制的信息。Adami开发出了数学模型, 发现在某些有利的情况下生命自发出现的概率是巨大的。他用人工生命软件系统Avida测试这一理论,发现模型的预测和测试结果相当吻合。