[論文レビュー] Output-Oblivious Stochastic Chemical Reaction Networks

Ben Chugg, Hooman Hashemi+1 more|arXiv (Cornell University)|Dec 7, 2018

Gene Regulatory Network Analysis被引用数 2

ひとこと要約

この論文は、リーダーを備えた出力無視型確率的化学反応ネットワーク（CRNs）で安定して計算可能な関数 f : N² → N のクラスを特徴づける。その結果、このような関数は、増加関数であり、かつ（ある周期に関する合同類上での区分的アフィン関数である）グリッドアフィン関数、または有限個の部分的分製数関数の最小値である関数に限られることを示している。これは、計算中に出力種が常に反応物として消費されないことを保証するため、CRNsの合成という重要な課題を解決する。

ABSTRACT

We classify the functions $f:\mathbb{N}^2 ightarrow \mathbb{N}$ which are stably computable by output-oblivious Stochastic Chemical Reaction Networks (CRNs), i.e., systems of reactions in which output species are never reactants. While it is known that precisely the semilinear functions are stably computable by CRNs, such CRNs sometimes rely on initially producing too many output species and then consuming the excess in order to reach a correct stable state. These CRNs may be difficult to integrate into larger systems: if the output of a CRN $\mathcal{C}$ becomes the input to a downstream CRN $\mathcal{C}'$, then $\mathcal{C}'$ could inadvertently consume too many outputs before $\mathcal{C}$ stabilizes. If, on the other hand, $\mathcal{C}$ is output-oblivious then $\mathcal{C}'$ may consume $\mathcal{C}$'s output as soon as it is available. In this work we prove that a semilinear function $f:\mathbb{N}^2 ightarrow \mathbb{N}$ is stably computable by an output-oblivious CRN with a leader if and only if it is both increasing and either grid-affine (intuitively, its domains are congruence classes), or the minimum of a finite set of fissure functions (intuitively, functions behaving like the min function).

研究の動機と目的

• 出力種が反応物として常に消費されない出力無視型CRNsで、どの関数 f : N² → N が安定して計算可能かを特定すること。
• 下流のネットワークが安定化する前に入力が過剰に消費される可能性があるため、CRNsの合成という課題に対処すること。
• 標準的な半線形関数を超えて、出力無視型というより厳しい制約下で計算可能な関数クラスを特徴づけること。
• 出力単調性と合成可能性という実用的要件を組み込んだ、CRNsにおける安定計算の先行研究の拡張。

提案手法

• 著者たちは、出力種が反応物として使われないという制約の下で、半線形関数を分析し、計算を開始するためのリーダー種を用いる。
• 2つの主要な関数クラスを定義・分析する：グリッドアフィン関数（ある周期に関する合同類上での区分的アフィン関数）と部分的分製数関数の最小値（min関数に類似した区分的線形挙動を示す関数）。
• 証明では、グリッド上での半アフィン関数の構造的分解を用い、周期性とドメインの楔型および直線セグメントへの分割を活用する。
• 補題を用いて、グリッド全体にわたる出力単調性と増加性を確立し、非単調挙動が矛盾を引き起こすことを示す。
• 部分ドメインにおけるアフィン関数の性質に着目し、異なるグリッドオフセット間のドメインの共通部分を定義するためのしきい値集合を用いる。
• 鍵となる技術的道具は、Lemma 18 で、単一のグリッド上での増加半アフィン関数は、すべての点で非減少でなければならないことを証明すること。また、Lemma 19 では、この性質をグリッド間の遷移に拡張する。

実験結果

リサーチクエスチョン

• RQ1 出力種が反応物として常に消費されない出力無視型CRNsで、どの関数 f : N² → N が安定して計算可能か？
• RQ2 出力無視型というより強い制約下でも、安定計算可能な関数のクラスは、既知の半線形関数のクラスを超えて特徴づけられるか？
• RQ3 このような関数がこのモデルで計算可能であるために満たすべき構造的性質（例：単調性、区分的線形性）は何か？
• RQ4 グリッドアフィン関数と分製数関数の最小値は、出力単調半線形関数の分解において、なぜ自然に現れるのか？
• RQ5 この特徴づけは、2つ以上の入力を持つ関数へと拡張可能か？

主な発見

• 関数 f : N² → N が、リーダーを備えた出力無視型CRNで安定して計算可能であるための必要十分条件は、それが増加関数であり、かつ（グリッドアフィン関数であるか）または有限個の部分的分製数関数の最小値であることである。
• 出力無視型で計算可能な関数のクラスは、すべての半線形関数のクラスよりも厳密に小さい。これは、単調性と特定の区分的構造の両方が必要となるためである。
• グリッドアフィン関数とは、ある周期 p に関する合同類ごとにアフィン関数であり、グリッドのシフトに対しても一貫性を持つ関数である。
• 分製数関数とは、『コーナー』構造を持つ区分的線形関数であり、その最小値は min 関数に類似した挙動を示す。
• 単一のリーダー分子の存在を仮定することで、確率的モデルにおける正確な制御と安定化が可能となり、この特徴づけが成立する。
• 結果は、各出力が出力無視型制約のもとで独立に扱えるため、2つ以上の出力を持つ関数へと一般化可能である。