[論文レビュー] On the difference between solutions of discrete tomography problems

Birgit van Dalen|ArXiv.org|Jun 23, 2008

Digital Image Processing Techniques参考文献 11被引用数 7

ひとこと要約

本稿は、一意な再構成への近接度を測る新しいパラメータ α を用いて、同じまたは異なる水平および垂直投影から再構成された二値画像間の対称差の上界を確立する。二つの再構成が互いに素である場合、特定の投影制約が成立しなければならないことを証明し、一意に決定された近隣と階段状構造に基づく解析を活用することで、先行手法を改善したタイトな上界を提供する。

ABSTRACT

We consider the problem of reconstructing binary images from their horizontal and vertical projections. We present a condition that the projections must necessarily satisfy when there exist two disjoint reconstructions from those projections. More generally, we derive an upper bound on the symmetric difference of two reconstructions from the same projections. We also consider two reconstructions from two different sets of projections and prove an upper bound on the symmetric difference in this case.

研究の動機と目的

• 同じ投影から再構成された二つの二値画像が完全に非交差である条件を特定すること。
• 同一の投影からの二つの再構成間の対称差に対する上界を、既存の行単位の上界を改善して導出すること。
• 異なる投影集合から再構成された二つの画像に対し、それらの差の統一された上界を提供するように分析を拡張すること。
• 一意に決定された近隣を用いて、任意の元の画像と大きく重複することが保証される画像を特徴付けること。
• 非一意性が存在する中で再構成の不確実性が最小限に抑えることができるパラメータ領域を、αパラメータを用いて同定すること。

提案手法

• 二つの有限な二値集合 F₁ と F₂ 間の行和および列和の総変動を測るパラメータ α(F₁, F₂) を導入し、再構成の曖昧さの代理として機能する。
• 与えられた画像 F₂ に対する一意に決定された近隣 F₁ を、同じ行和と非増加列和を持つ二値画像として定義し、Ryserの定理により一意性を保証する。
• 先行研究で用いられた階段状比較技法を応用し、画像構造と線和の変動を関連付けることで、対称差をバウンドする。
• 定理6を導出し、幾何的制約に基づいて、行および列分布における制約を用いて、α と画像サイズを用いた |F₁ △ F₁′| の上界を提示する。
• 三角不等式に類似した不等式を複数の一意に決定された近隣のバウンドに組み合わせ、異なる投影を持つ二つの画像間の対称差をバウンドする定理7を導出する。
• 組合せ的議論と極値構成（例：n=7 の例2）を用いて理論的バウンドの妥当性を検証し、タイトさを評価する。

実験結果

リサーチクエスチョン

• RQ1 同じ投影からの二つの異なる二値再構成が完全に非交差であるための行和および列和に関する条件は何か？
• RQ2 同じ画像の二つの再構成間の対称差は、それらの線和差異を用いてどのようにバウンドできるか？
• RQ3 異なる投影集合から再構成された二つの画像間の対称差に対する最もタイトな上界は何か？
• RQ4 非一意な再構成が存在する中でも、任意の元の画像と保証された最小重複を持つ一意に決定された画像を構成できるか？
• RQ5 特に、理論的バウンドと既知の極値例との間のギャップを縮小することで、対称差の理論的バウンドをどの程度まで改善できるか？

主な発見

• 同じ投影からの二つの再構成が非交差である場合、αパラメータと一意に決定された近隣の構造に基づいて導かれた特定の投影制約を満たさなければならない。
• 定理6は、特定の極値的構成において |F₁ △ F₁′| ≤ 2n√(2n+1) − n という上界を提供し、これは古典的な行単位の上界よりもタイトである。
• 定理7は、異なる投影を持つ二つの画像間の対称差に対する一般の上界を与える：|F₂ △ F₃| ≤ α₂√(8|F₂|+1) − α₂ + α₃√(8|F₃|+1) − α₃ + 2α₁√(2α₁+1) − α₁ であり、αパラメータは一意な再構成への近接度を測る。
• n=5 の例3では、理論的バウンドは約 4√2 n ≈ 14.14n であるが、実際の対称差は 4n+1 であり、バウンドが最適値の √α 倍の範囲内にあることが示唆される。
• 理論的バウンドと極値例との間に持続的なギャップが存在し、Lemma 3 および定理6 が強化できるならば、すべてのバウンドが √α 要因分改善可能である可能性が示唆される。
• 本手法は多方向投影に対しても適用可能であり、二方向に焦点を当てることで、一部の状況では他の投影を無視しても、二方向のバウンドが最適値から √α 要因分しか離れていない。