数学2024arxiv.org
Gerver 沙发问题的最优性证明
Optimality of Gerver's Sofa
专业 · 约 180 分钟读完前置知识：移动沙发问题背景、变分法与最优控制、实分析/微分方程
导读
这篇论文研究经典的“移动沙发问题”：在单位宽直角走廊中，能绕过拐角搬过去的最大平面形状面积是多少。论文证明 Gerver 沙发（面积约 2.2195）确实是最优的，从而为这个长期悬而未决的几何优化问题给出严格的最优性证明。
HN 关注点：这个著名数学难题是否终于被证明，以及证明是否经过同行评审、Gerver 沙发的具体形状如何定义和可视化。
HN 评论精选
这几条评论里：质疑 1 补充 2
补充Gerver 沙发没有闭式定义，曲线参数由隐式方程组确定；他给出了更易读的定义来源。
我试着在论文里找这个形状的定义，比如想用 SVG 画出来。看起来它没有闭式解。我看到这篇论文可能更容易理解其定义：https://www.math.ucdavis.edu/~romik/data/uploads/papers/sofa.pdf 。其中写道：值得注意的是，Gerver 对他形状的描述并非完全显式，因为曲线部分的解析公式由四个数值常数 A、B、φ、θ 给出（0 < φ < θ < π/4，是具有某种几何意义的角），而这些常数只作为四元非线性方程组的解被隐式定义。
ks2048查看英文原文
I was trying to search in the paper for a definition of the shape, to, for example, draw it in SVG. It seems there is no closed-form solution. I saw this paper is maybe easier to follow for the definition: https://www.math.ucdavis.edu/~romik/data/uploads/papers/sofa.pdf Quote: It is worth noting that Gerver’s description of his shape is not fully explicit, in the sense that the analytic formulas for the curved pieces of the shape are given in terms of four numerical constants A, B, φ and θ (where 0 < φ < θ < π/4 are angles with a certain geometric meaning), which are defined only implicitly as solutions of the nonlinear system of four equations
质疑质疑该证明是否已经过同行评审或独立验证。
我不太熟悉数学出版，但这个证明是否已经经过其他数学家同行评审，还是仍在等待确认或复现？
yoshicoder查看英文原文
I am not well versed with mathematics publishing, but has this proof been already been peer reviewed by other mathematicians, or is it still awaiting confirmation/proof replication?
补充分享了一个 Gerver 沙发的实物化渲染和来源。
这里有一个有趣的渲染，展示现实中的 Gerver 沙发可能长什么样：https://www.mdpi.com/symmetry/symmetry-14-01409/article_deploy/html/images/symmetry-14-01409-g007.png 。我有点想要一个…… 来源：https://www.mdpi.com/2073-8994/14/7/1409
senkora查看英文原文
Here's a fun render of how a real life Gerver's Sofa could look: https://www.mdpi.com/symmetry/symmetry-14-01409/article_deploy/html/images/symmetry-14-01409-g007.png I kinda want one... Source: https://www.mdpi.com/2073-8994/14/7/1409
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2024Hacker News 讨论帖131 分 · 36 评
同领域还值得读
一种新的相关系数
A New Coefficient of Correlation
提出了一种新的相关性系数（由 Sourav Chatterjee 提出），能够检测变量之间任意形式（不限于线性）的相关关系，且计算简单高效，主要基于排序和距离计算。
数学2021 · 682 分 · 158 评 · 引用 1进阶 · 约 60 分钟编辑精选数学的两种文化
The Two Cultures of Mathematics (2000)
这是数学家 Timothy Gowers 于 2000 年发表的一篇随笔，他把数学研究大致分成两种文化：一类是“解题者”，热衷于攻克具体难题、发展技巧（如组合数学）；另一类是“理…
数学2009 · 307 分 · 102 评入门 · 约 35 分钟编辑精选重新定义统计显著性
Redefine statistical significance
提议将统计显著性阈值从常用的 p<0.05 收紧到 p<0.005，以降低假阳性率、缓解可重复性危机。
数学2017 · 303 分 · 114 评入门 · 约 45 分钟编辑精选统计建模：两种文化（2001）
Statistical Modeling: The Two Cultures (2001)
讨论统计学中两种建模文化：一种假设数据由某种随机模型生成，侧重推断与系数解释；另一种把数据生成机制视为未知，侧重预测精度，主张使用算法建模。
数学2015 · 254 分 · 36 评进阶 · 约 60 分钟编辑精选通信的数学理论 (1948)
A Mathematical Theory of Communication (1948)
这是香农 1948 年的经典论文《通信的数学理论》，奠定了信息论的基础。
数学2016 · 169 分 · 53 评入门 · 约 90 分钟编辑精选