[論文レビュー] Matrix recovery from bilinear and quadratic measurements

Michalina Pacholska, Adam Scholefield+2 more|arXiv (Cornell University)|Jan 14, 2020

Blind Source Separation Techniques参考文献 8被引用数 5

ひとこと要約

この論文は、二重線形および二次測定からの行列回復を検討し、特に測定ベクトルが多項式的系列を形成するという特定の構造的仮定のもとで、二重線形問題が追加測定数が線形に増加するのみで線形化可能であることを示している。主な貢献は、連続的局所化およびタイムエンコーディングマシンにおいて、$ N \geq K(D+2)-1 $ 測定と $ \sum \min(k_m, K) \geq K(D+1) $ の条件下で、高確率で正確な再構成が保証される、証明可能に一意な回復条件の確立である。

ABSTRACT

Matrix (or operator) recovery from linear measurements is a well-studied problem. However, there are situations where only bilinear or quadratic measurements are available. A bilinear or quadratic problem can easily be transformed into a linear one, but it raises questions when the linearized problem is solvable and what is the cost of linearization. In this work, we study a few specific cases of this general problem and show when the bilinear problem is solvable. Using this result and certain properties of polynomial rings, we present a scenario when the quadratic problem can be linearized at the cost of just a linear number of additional measurements. Finally, we link our results back to two applications that inspired it: Time Encoding Machines and Continuous Localisation.

研究の動機と目的

• 標準的な線形測定ではなく、二重線形または二次測定しか得られない状況における行列回復を扱う。
• 二重線形測定系が解ける条件と、線形化に追加測定数が線形にしか増加しない条件を特定する。
• 連続的局所化やタイムエンコーディングマシンなどの応用分野における一意な行列回復の十分条件を確立する。
• 多項式環とフレームの構造が、二重線形および二次行列回復問題の可解性にどのように関与するかを明らかにする。
• 混合された二重線形および二次測定を持つシステムにおける実用的信号回復の理論的基盤を提供する。

提案手法

• ベクトル化およびトレース恒等式を用いて、二重線形および二次測定を線形系に変換する：$ b_n = \text{vec}(\boldsymbol{g}_n\boldsymbol{f}_n^T)^T \text{vec}(\boldsymbol{C}) + \text{vec}(\boldsymbol{f}_n\boldsymbol{f}_n^T)^T \text{vec}(\boldsymbol{L}) $。
• 測定ベクトル $ \boldsymbol{f}_n $ を時間パラメータ $ t $ の関数としてモデル化し、多項式的またはバンドリミテッド関数空間の利用を可能にする。
• 多項式環およびフレーム理論の性質を用いて、測定ベクトルおよびその外積の線形独立性を分析する。
• 定理1を適用し、$ \boldsymbol{g}_n $ が同じアフィン部分空間にないアンカーポイントから導かれており、$ \boldsymbol{f}_n $ が $ K $ 次元空間を張っている場合、$ \boldsymbol{C} $ が一意に回復可能であることを示す。
• 補題4を活用して、線形化された系における二重線形および二次成分の線形独立性を証明する。
• アンカーユーザの使用に基づく回復条件を確立する：$ \sum_{m=0}^{M-1} \min(k_m, K) \geq K(D+1) $、これにより測定の十分な多様性が保証される。

実験結果

リサーチクエスチョン

• RQ1 一方のベクトル集合がフレームを形成し、他方が互いに異なるベクトルからなる場合、二重線形測定からの行列の一意な回復が可能となる条件は何か？
• RQ2 測定ベクトル $ \boldsymbol{f}_n $ が $ K $ 次元の多項式空間またはバンドリミテッド関数空間から抽出される場合、二重線形行列回復問題は追加測定数が線形にしか増加しない条件下で線形化可能か？
• RQ3 多項式環の性質とフレーム理論が、線形化された系の可解性を保証するためにどのように相互作用するか？
• RQ4 距離測定からの連続的局所化において、一意な回復を保証するために必要な最小測定数は何か？
• RQ5 線形化された系は、元の非線形行列回復問題の解をどのように保つのか、どのような状況でそれが成立するか？

主な発見

• 測定ベクトル $ \boldsymbol{g}_n $ が同じアフィン部分空間にないアンカーポイントから導かれており、$ \boldsymbol{f}_n $ が時間パラメータ化された線形独立なベクトルである場合、二重線形測定系は可解である。
• 測定ベクトル $ \boldsymbol{f}_n $ が $ K $ 次元の多項式空間またはバンドリミテッド関数空間から抽出される場合、二次問題の線形化に伴う追加測定数は線形にしか増加しない。
• 連続的局所化において、$ N \geq K(D+2) - 1 $ 測定が利用可能であれば、軌道行列 $ \boldsymbol{C} $ は確率1で一意に回復可能である。
• 線形化された系による一意な回復には、条件 $ \sum_{m=0}^{M-1} \min(k_m, K) \geq K(D+1) $ が必要かつ十分である。
• 測定ベクトル $ \boldsymbol{f}_n $ が次元 $ K $ の空間から抽出される場合、線形化された系における二重線形および二次成分は線形独立であり、システム行列のフルランクが保証される。
• 理論的枠組みにより、非線形測定を最小限のオーバーヘッドで解ける線形系に変換でき、タイムエンコーディングマシンおよび連続的局所化システムにおける正確な回復が可能になる。