[論文レビュー] On the Glitch Phenomenon

Leslie Lamport, Richard S. Palais|arXiv (Cornell University)|Apr 4, 2017

Manufacturing Process and Optimization参考文献 6被引用数 5

ひとこと要約

この論文は位相幾何学を用いてデジタルシステムにおけるグルッチ現象を形式化し、連続的な入力をもついかなる装置であっても、連続性の仮定の下では、決定に任意に長い時間がかかることを証明している。主な結果は、メタ安定性は設計によって排除できないことである。グルッチ現象は、入出力写像の位相的構造によって数学的に避けがたいのである。

ABSTRACT

The Principle of the Glitch states that for any device which makes a discrete decision based upon a continuous range of possible inputs, there are inputs for which it will take arbitrarily long to reach a decision. The appropriate mathematical setting for studying this principle is described. This involves defining the concept of continuity for mappings on sets of functions. It can then be shown that the glitch principle follows from the continuous behavior of the device.

研究の動機と目的

• デジタルシステムにおけるグルッチ現象を分析する厳密な数学的枠組みを確立すること。
• グルッチ現象が現実的な物理的仮定の下で、デバイスの連続的挙動に起因することを示すこと。
• 連続的入力をもつ非自明な意思決定デバイスについて、任意に長い決定時間を引き起こす入力が存在することを証明すること。
• 一般的な緩和戦略（ノイズ注入や任意の意思決定など）が、根本的な問題を排除できない理由を明確にすること。

提案手法

• 入力および出力信号の関数空間間の連続写像 Δ: ℐ → 𝒪 としてデバイスをモデル化する。
• ℐ および 𝒪 にコンパクト・オープン位相を導入し、Δ の連続性を定義することで物理的現実性を保証する。
• 入力空間 ℐ が経路的に連結であることを証明し、入力タイミングの連続的変化を反映させる。
• 有限時間 r 以内に決定された出力の集合が経路的に連結でないことを示し、ある入力は時間 r までに決定されないことを示唆する。
• 経路的に連結な集合の連続写像像が経路的に連結であることを利用し、すべての入力が有限時間内に決定されると仮定すると矛盾が生じることを示す。
• 距離空間および位相空間の結果を適用し、連続性を保つために出力空間にゼロ関数（停止状態）が含まれる必要があることを示す。

実験結果

リサーチクエスチョン

• RQ1 グルッチ現象は、経験的観察ではなく、数学的連続性を用いて形式的に証明可能か？
• RQ2 ノイズ注入や任意の意思決定といった標準的な緩和技術が、なぜグルッチ現象を完全に排除できないのか？
• RQ3 入力および出力空間にどのような位相的条件が課されると、任意に長い決定時間が避けがたくなるか？
• RQ4 デバイスのダイナミクスの連続性が、ある入力が無限の遅延を引き起こす必要があることをどのように示唆するか？
• RQ5 出力空間 Δ(ℐ) が経路的に連結となる条件は何か？ そして、なぜそれが有限時間内に決定ができない入力が存在することを示唆するのか？

主な発見

• デバイスのダイナミクスが連続的微分方程式に従うと仮定すると、写像 Δ: ℐ → 𝒪 はコンパクト・オープン位相に関して連続である。
• 入力空間 ℐ は、入力タイミングを連続的に変化させられるため、経路的に連結である。
• 任意の有限時間 r 以内に決定された出力の集合は、原点（ゼロ関数）における出力空間の不連続性のため、経路的に連結でない。
• その結果、Δ において有限時間 r までに決定に至らない入力が存在し、グルッチ原理が証明される。
• 連続性を保つために出力空間にゼロ関数（不定の停止状態を表す）を含める必要があるため、グルッチ現象は数学的に避けがたい。
• 出力空間が極限に関して閉じている限り、理想パルスの近似値であっても、この証明は成り立つ。