博文
全部博文|六维|
范畴学|
物理学上空的乌云|
科普|
纽结|
黑洞|
弦论|
量子引力|
非关对错|
朗兰兹|
数学物理|
量子理论|
暗物质|
量子计算|
统计力学|
编码|
图论|
复杂性|
可积性|
代数拓扑|
几何测度论|
离散微分几何|
调和分析|
扭结|
枚举几何|
组合优化|
黎曼几何|
- 置顶 · 未完成的事
- 未完成的事 左芬 近日上海的情势日趋恶化。武汉疫情爆发之时，我提前一个月幸运地搬到了南京，躲过一劫。但这一次是正好赶上了。我一向不擅长适应环境，感觉未必能逃过。 历史上很多大数学家都在身后留下一些手稿，其中蕴含着众多思想的瑰宝，等待后人去发掘。这方 ...
- 置顶 · 关于（量子）引力的一些朴素的想法
- 热度 3
- 其实我很想把这篇短文写得通俗易懂些，但我又很不愿意重复教科书上已有的内容。所以，我不得不假定读者是懂得量子场论和广义相对论的。至于弦论和圈引力，能有所了解当然最好。但即使你不是物理学专业人士，事实上你也会发现以下有些内容是可理解的。 我们知道，描述宏观世界的广义相对论和描述微观世界的量子场论分 ...
- 计算机科学证明揭露意外纠缠形式
- 热度 3
- 计算机科学证明揭露意外纠缠形式 三位计算机科学家发布了一份NLTS猜想的证明，说明纠缠粒子系统在偏离基态时仍难于分析。 Mordechai Rorvig 著 左 芬 译 【 译注：原文2022年7月18日发布于QuantaMagazine，链接见文末。 】 ...
- 简单量子游戏揭示宇宙终极复杂度
- 简单量子游戏揭示宇宙终极复杂度 一种双玩家游戏可揭晓宇宙是否拥有无穷大的复杂度。 Kevin Hartnett 著 左 芬 译 【 译注：原文2019年3月5日刊载于QuantaMagazine，链接见文末。 】 宇宙拥有多少独立的性质？一种简单的 ...
- 计算机科学家重塑证明之路
- 计算机科学家重塑证明之路 如果几条检验就够了，还有必要逐行去核实一个证明吗？ Mordechai Rorvig 著 左 芬 译 【 译注：原文2022年5月23日刊载于QuantaMagazine，链接见文末。 】 如果 一百 ...
- 计算机科学里程碑式的证明波及物理与数学
- 热度 2
- 计算机科学里程碑式的证明波及物理与数学 计算机科学家们在可计算式验证的知识方面拓展了新的疆域。在此过程中，他们解决了量子力学与纯数学中的重大未解难题。 Kevin Harnett 著 左 芬 译 【 译者按：在过去几年里，量子信息领域出现了两次重大突破。其 ...
- 在高度连接的网络里，圈一定存在
- 在高度连接的网络里，圈一定存在 数学家证明，某种常见类型的图一定包含经过每个点恰好一次的回路。 Leila Sloman 著 左 芬 译 【译注：原文2024年6月7日刊载于QuantaMagazine。】 Icosian 图中的Hamiltonian回路 在 数 ...
- 存在与否？两难的设计问题终获解决
- 存在与否？两难的设计问题终获解决 关于人群分组的150年难题最终被解决，但许多谜团仍遗留。 Erica Klarreich 著 左 芬 译 【译注：原文2015年6月9日刊载于QuantaMagazine。】 由 The Graphics Fairy 和 Old Design Shop 提供的拼贴画， ...
