数学预印本理论阅读 1 分钟

要多快才能用墙围住一场火?

设想开阔平原上的一场火,向各个方向以相同的速度蔓延。为了阻止它,你可以筑墙——但只能实时进行:经过时间t之后,你筑起的墙的总长度至多为λ × t。一段墙一旦筑好,就留在原地。火无法越过它,但可以绕过它。

这一“动态阻断问题”由宾夕法尼亚州立大学的阿尔贝托·布雷桑提出,作为扑救野火或遏制污染物扩散的模型。问题很简单:墙要筑得多快,才能把火困在一个有限的区域内?改变尺度不会改变任何东西:答案与起初燃烧的区域无关。布雷桑长期以来的猜想(他为此设立了奖金)是:火能被围住,当且仅当λ大于2——墙的增长速度必须超过火蔓延速度的两倍。

已知的结果

  • 超过2,可以做到:由两段对数螺线弧构成的墙能把火合围。
  • 在1或以下,做不到。
  • 如果火只能向半个平面蔓延,阈值恰好是1。
  • 螺旋形的墙只有在约2.614以上才有效。
  • 最近的一篇预印本表明,1.5不够。

在1.5与2之间,没有人知道答案。

清点自由的边界

布雷桑与的里雅斯特SISSA研究所的卢卡·塔拉米尼合作,从一个简短的论证入手。根据等周不等式,面积为A的区域,其边界长度至少为2√(πA)——即同等面积圆盘的边界长度。墙至多覆盖这条边界中的λt。在其余部分,火自由推进,因此烧毁面积的增长速度至少为2√(πA) − λt。

让这个不等式随时间推演:当λ至多为π/2,即约1.571时,烧毁面积持续增长,至少与时间的平方增长得一样快。火永远无法被围住。

两块粉色的烧毁区域,每块的边界一部分是粗黑的墙,一部分是带有向外箭头的红色虚线火线。

两个时刻的烧毁区域:墙(黑色)守住了边界的一部分,火沿其余部分(红色)自由蔓延。较晚时刻的墙必须包含较早时刻的墙。——图1,Bressan 和 Talamini(2026),arXiv:2610.36919。

两个时刻,同一道墙

第一个论证忽略了一个事实:某一时刻之前筑起的墙,在之后的每一时刻依然存在。边界不可能在两个时刻都被紧紧守住。作者把相隔半个时间跨度的两个时刻的烧毁区域,比作一个双泡(double bubble)——两个相邻的区域,其合并边界(其中某些部分的权重大于其他部分)尽可能短。关于这类泡的已知结果给出了一个更紧的界。

阈值升至Λ = 1.62621170228… 在这一速度或以下,无论采取何种策略,烧毁面积仍至少与时间的平方增长得一样快。

作者写道,这种加权双泡比较的思路,连同更简单的第一个界,是由GPT-6 Astra模型提出的,他们通过ChatGPT将其用作研究辅助。他们声明手稿由自己撰写,并对其中的数学内容承担全部责任。

为什么单个闭环需要超过2

接下来是完成后的墙为单个闭合环的情形。看看最后一块砖在时间T砌下的那个位置。整道墙必须在火到达那里之前完成,因此λT至少等于墙的长度。

但在环内,火沿着一条路径到达那个位置,这条路径比通向它的两段墙弧中的每一段都短。因此,墙的长度超过火的行程的两倍,而这段行程至少持续T。所以λ必须大于2。对于这种形状的墙,猜想得到了证明。

一条蜿蜒的闭合曲线,一条直线路径从曲线内部一个红色的小起始区域通向曲线上的一个远点。

如果墙是一个闭合环,那么通向最后一块砖(右上)的两段弧中的每一段,都比火在环内的路径更长。——图4,Bressan 和 Talamini(2026),arXiv:2610.36919。

只为被火吞没而筑的墙

最后一个结果说明了更省力的策略需要具备什么。在速度2以下,如果没有任何一段墙最终两侧都有火,那么烧毁面积至少为**(2 − λ)t²/4**:它会无限增长。因此,任何能击败这一猜想的策略都必须包含纯粹用于拖延的墙——这些屏障唯一的作用是把火挡住一段时间,最终会深陷于烧毁区域之内。作者指出,最后一块砖的论证不适用于并非单个闭合环的墙。在1.626与2之间,这场竞赛仍未分出胜负。