[论文解读] Shotgun edge assembly of random jigsaw puzzles

Anders Martinsson|arXiv (Cornell University)|May 23, 2016

Image Processing and 3D Reconstruction参考文献 3被引用 3

一句话总结

本文使用信息论方法，建立了随机拼图唯一边组装的精确阈值。通过比较无序拼图块箱与原始拼图图像的熵，证明当 $ q \leq \frac{2}{\sqrt{e}}n - \omega(\log_2 n) $ 时，即使不考虑相同拼图块的排列，拼图也以渐近几乎必然（a.a.s.）存在多个解。该结果改进了先前的界限，并确认了在 $ q \sim \sqrt{n} $ 处存在相变。

ABSTRACT

In recent work by Mossel and Ross, it was asked how large $q$ has to be for a random jigsaw puzzle with $q$ different shapes of "jigs" to have exactly one solution. The jigs are assumed symmetric in the sense that two jigs of the same type always fit together. They showed that for $q=o(n^{2/3})$ there are a.a.s. multiple solutions, and for $q=ω(n^2)$ there is a.a.s. exactly one. The latter bound has since been improved to $q\geq n^{1+\varepsilon}$ independently by Nenadov, Pfister and Steger, and by Bordernave, Feige and Mossel. Both groups further remark that for $q=o(n)$ there are a.a.s. duplicate pieces in the puzzle. In this paper, we show that such puzzle a.a.s. has multiple solutions whenever $q\leq \frac{2}{\sqrt{e}}\,n - ω(\log_2 n)$, even if permuting identical pieces is not considered changing the solution. We further give some remarks about the number of solutions, and the probability of a unique solution in this regime.

研究动机与目标

• 确定随机拼图中具有 $ q $ 种不同边颜色时，唯一边组装以渐近几乎必然（a.a.s.）成立的阈值。
• 通过弥合 Mossel 和 Ross（$ q = \omega(n^2) $）与 Nenadov 等人（$ q = n^{1+\varepsilon} $）之间关于唯一解存在的先前界限差距，解决该问题。
• 证明即使不将相同拼图块的排列视为不同解，当 $ q \leq \frac{2}{\sqrt{e}}n - \omega(\log_2 n) $ 时，拼图仍以渐近几乎必然（a.a.s.）存在多个解。
• 通过比较拼图块箱与图像的信息熵，分析拼图重建的信息论极限。

提出的方法

• 使用信息论方法，比较无序拼图块箱的熵（$ \mathbb{H}(\text{BOX}) $）与原始图像的熵（$ \mathbb{H}(\text{IMG}) $）。
• 应用集中不等式与熵界，证明当 $ q \leq \frac{2}{\sqrt{e}}n - \omega(\log_2 n) $ 时，有 $ \mathbb{H}(\text{BOX}) < \mathbb{H}(\text{IMG}) $，从而表明重建不唯一。
• 采用随机模型：每条边从 $ q $ 种颜色中均匀随机着色，具有对称的拼接规则和 90° 旋转自由度。
• 推导每类拼图块 $ J $ 的 $ \mathbb{H}(X_J) $ 的渐近界，并对所有类型求和，以界定 $ \mathbb{H}(\text{BOX}) $。
• 引入一个随机变量 $ Y $，用于计数与拼图块箱兼容的不同的边着色方案数量，证明当 $ q \leq \frac{2}{\sqrt{e}}n - \omega(\log_2 n) $ 时，有 $ \mathbb{E}[Y] \to \infty $。
• 使用耦合论证表明，当 $ q \leq \sqrt{n} \log_2 n $ 时，有 $ \mathbb{H}(\text{BOX}) = o(n^2 \log n) $，表明信息量不足以实现唯一重建。

实验结果

研究问题

• RQ1 随机拼图中，边颜色数 $ q $ 的最小值是多少，才能使拼图以渐近几乎必然（a.a.s.）实现唯一边组装？
• RQ2 重复拼图块的存在如何影响拼图重建的唯一性？
• RQ3 基于熵的方法能否建立比以往概率或组合边界更紧致的唯一解恢复阈值？
• RQ4 当 $ q $ 低于唯一组装阈值时，可区分解的典型数量是多少？
• RQ5 拼图块的旋转自由度如何影响拼图重建的信息论极限？

主要发现

• 当 $ q \leq \frac{2}{\sqrt{e}}n - \omega(\log_2 n) $ 时，即使不将相同拼图块的排列视为不同解，拼图也以渐近几乎必然（a.a.s.）存在多个解。
• 阈值 $ q = \frac{2}{\sqrt{e}}n - \omega(\log_2 n) $ 是最优的，因为熵界误差项的改进无法进一步扩展该阈值。
• 当 $ q \leq \sqrt{n} \log_2 n $ 时，有 $ \mathbb{H}(\text{BOX}) = o(n^2 \log_2 n) $，表明拼图块箱中信息量不足，无法唯一重建图像。
• 当 $ 2 \leq q \leq n $ 时，差值 $ \mathbb{H}(\text{IMG}) - \mathbb{H}(\text{BOX}) \geq (2 - o(1)) \min(\beta, 1 - \beta) n^2 \log_2 n + \omega(n \log_2 n) $，意味着唯一组装的概率呈指数级衰减。
• 可区分解的数量以渐近几乎必然（a.a.s.）至少为 $ \left( \min(q^2, \frac{n^2}{q^2}) \right)^{(1 - o(1))n^2} $，反映出解空间的组合丰富性。
• 即使当 $ q = o(n) $ 时，唯一边组装的概率仍趋于零，且拼图仍可几乎必然不包含重复拼图块，凸显了熵在拼图重建中的作用，而非拼图块的多重性。