Geometric properties of Euclidean domains supporting trace inequalities
跡常數 τ 接近最優值不蘊含幾何規整性；加上球分離條件後 John 域與跡不等式完全等價
- τ(Ω) 任意接近最優值 τ(𝔹ⁿ) 時，Ω 的補集仍可由無窮多連通分量構成且幾何極度病態
- 在有限周長等溫和假設下，τ ≥ 1+δ₀、跡不等式、容許域三條件相互等價
- 加上球分離性質後，John 域與跡不等式之間建立完整充要刻畫，常數可精確追蹤
即使跡常數 τ(Ω) 任意接近單位球的最優值 τ(𝔹ⁿ)，有界開集 Ω 的補集仍可由無窮多個連通分量構成——幾何結構可以極度複雜。中科院數學與系統科學研究院蘇維聰、張藝如雅與湖南師範大學王壯在 arXiv 最新論文中給出這一反直覺構造，並在溫和假設下建立跡常數、跡不等式與 John 域三者之間的等價刻畫。
量化等周不等式與跡常數 τ 的起源
古典等周不等式（isoperimetric inequality）斷言：在體積相同的所有集合中，球的表面積最小。2010 年，Figalli、Maggi 與 Pratelli 在《Inventiones Mathematicae》給出量化版本：對 ℝⁿ 中有限周長集 E，若 |E| = |𝔹ⁿ|，則 P(E) − P(𝔹ⁿ) ≥ c(n)·min_x |EΔ(x+𝔹ⁿ)|²，常數 c(n) > 0 僅依賴維度 n。這個不等式揭示：多餘的周長從下方控制了 E 偏離球的程度，以對稱差體積的平方量化。
證明的關鍵一步是引入跡常數（trace constant）τ(E)：τ(E) = inf { P(F) / ℋⁿ⁻¹(∂E ∩ ∂F) : F ⊂ E, 0 < |F| ≤ |E|/2 }。分母是子集 F 與 E 的公共約化邊界（reduced boundary）面積，分子是 F 的全周長；τ(E) ≥ 1 恆成立，值越大意味 E 具有越好的幾何結構。當 τ(G) ≥ 1 + δ₀ 時，可從 G 上導出跡不等式，進而完成量化等周不等式的整個證明鏈。
τ 接近最優而幾何病態：定理 1.3 的極端構造
直覺上，若 τ(Ω) 非常接近 τ(𝔹ⁿ)，Ω 的幾何或許也應接近球。定理 1.3 打破這一預期：對任意 ε > 0，存在有界開集 Ω = 𝔹ⁿ ∖ D（n ≥ 2），使得對稱差周長 P(ΩΔ𝔹ⁿ) ≤ C(n)ε（在周長距離意義下非常接近球），且 τ(𝔹ⁿ) > τ(Ω) > τ(𝔹ⁿ) − ε（跡常數任意接近最優），然而 D 由可數無窮多個球組成，Ω 的補集有無窮多連通分量，Ω 既不是 John 域，也不具有球分離性質。
具體構造是：在 𝔹ⁿ 中選取沿球殼 ∂B_{1−2⁻ᵏ} 密集分布的點集 Eₖ，以每個點為圓心挖去半徑約 2⁻ᵏ/(k!)^{1/δ} 的小球，令 Ω^δ = 𝔹ⁿ ∖ D^δ。小球的總周長精確估計為 C₁(k₀!)^{−(n−1)/δ}，當 δ 足夠小時可任意趨近零，從而保證 Ω 夠接近 𝔹ⁿ。通過與 Figalli-Maggi-Pratelli 的「半月形集」E_{φ,ϑ} = 𝔹ⁿ ∖ B̄(P,r) 做幾何比較，可精確控制 τ(Ω^δ) 與 τ(𝔹ⁿ) 之間的差距，從而完成構造。
定理 1.4：三類條件等價，常數依賴關係明確
在有限周長、有限體積以及 ℋⁿ⁻¹(∂Ω ∖ ∂Ω) = 0 這三個溫和假設下，定理 1.4 在幾乎處處意義下建立以下三個條件的等價性：(i) 跡常數 τ(Ω) ≥ 1 + δ₀；(ii) Ω 支持 (1,1)-跡不等式——BV(Ω)（有界變差函數（bounded variation）空間）中的函數存在有界線性跡算子 T，滿足 inf_c ∫_{∂Ω} |Tu − c| dℋⁿ⁻¹ ≤ C_T ‖Du‖(Ω)；(iii) Ω 是 Θ-容許域*（Θ-admissible domain），即 Ziemer 引入的局部邊界覆蓋條件。
各方向的常數依賴被完整追蹤：(i)→(ii) 給出 C_T = (τ(Ω) − 1)⁻¹，(ii)→(iii) 給出 Θ = C_T。反向 (iii)→(i) 中，τ(Ω) 不能僅由 Θ 確定——矩形 R_l = (−l, l) × (−1, 1) 對所有 l ≫ 1 都是 √2-容許域，但 τ(R_l) → 1⁺（趨近最小值），說明相同容許常數可對應任意差的跡常數。
球分離性質下 John 域與跡不等式的充要刻畫
John 域（John domain）是幾何分析的核心概念：J-John 域要求存在中心點 x₀，使得域內任意點 x 存在曲線 γ ⊂ Ω 連向 x₀，且曲線上任意點 y 滿足 ℓ(γ[x, y]) ≤ J · dist(y, ∂Ω)——曲線距邊界的比例受 J 控制。球分離性質（ball separation property）是進一步的拓撲幾何條件：對每條連向中心的曲線，曲線片段要麼局部被一個以當前點為圓心的球包裹，要麼球外部分與中心處於 Ω 的不同連通分量中；有限連通的平面域均自然具有此性質。
推論 1.8 建立了完整的充要刻畫：若 Ω 具有球分離性質且支持跡不等式，則 Ω 是 J-John 域（J 由 n、C_T、S 及 |Ω|/r₀ⁿ 確定），邊界亦滿足上密度估計 ℋⁿ⁻¹(∂Ω ∩ B(x,r)) ≤ C_H rⁿ⁻¹；反之，J-John 域加邊界上密度估計可推回球分離性質（S = J）與跡不等式，常數之間的依賴均可追蹤。定理 1.3 的構造恰恰說明球分離性質是不可或缺的橋樑：那個「幾何病態」的 Ω 支持跡不等式但缺乏球分離性質，因此無法推出 John 性質。
τ 接近最優不保證幾何規整；在球分離性質下，跡不等式與 John 域完全等價——幾何條件精確劃定了分析工具的有效邊界。