大树宽的稀疏导出子图

受 Robertson 和 Seymour [JCTB '86] 的著名 Grid Minor 定理或 Chekuri 和 Chuzhoy [SODA '15] 的经典结果所提供的树宽稀疏器（即保持大树宽的稀疏子图）的导出对应物的启发，我们证明了对任意自然数 $t$ 和 $w$，以及实数 $\varepsilon > 0$，存在一个整数 $W := W(t,w,\varepsilon)$，使得每个树宽至少为 $W$ 且没有 $K_{t,t}$ 子图的图都包含一个 2-连通的 $n$-顶点导出子图，其树宽至少为 $w$ 且边数最多为 $(1+\varepsilon)n$。该导出子图要么是细分墙，要么是其线图，要么是细分二部图的生成超图。这特别推广了 Weissauer [JCTB '19] 的结果，即大树宽的图具有大的二部图子图或长的导出环。