Between Markov and restriction. Two more monads on categories for relations

あなたは、さまざまな種類の「関係性」を扱う膨大なライブラリを整理しようとしていると想像してください。数学やコンピュータサイエンスにおいて、これらの関係性は「圏（カテゴリ）」と呼ばれる構造を用いてモデル化されます。これらの圏の中には、確実で完全なもの（完璧な地図のようなもの）を記述するカテゴリもあれば、部分的、確率的、あるいは不完全なもの（スケッチのような地図や推測のようなもの）を記述するカテゴリもあります。

**「Between Markov and restriction（マルコフと制限の間）」**という題名のこの論文は、これら2つの既存の有名なセクションのちょうど中間に、2つの新しい、非常に特定の棚を見つけ出した司書のような存在です。これら2つのセクションとは、**マルコフ（Markov）**セクション（確率や偶然を扱うもの）と、**制限（Restriction）**セクション（部分的または不完全な情報を扱うもの）のことです。

以下は、簡単な比喩を用いたこの論文の主要なアイデアの解説です。

1. 大局的な視点： 「関係性」のライブラリ

**対称モノイダル圏（Symmetric Monoidal Category）**を、物事を組み合わせたり（材料を混ぜ合わせるように）、複製したり（書類をコピーするように）できる巨大な倉庫だと考えてください。

• **マルコフ圏（Markov Categories）**は、取り出したすべてのアイテムが必ず「完全で、欠けのない」状態であることが保証されている倉庫です。何も欠けていません。これは確率論に最適です。
• **カルテジアン制限圏（Cartesian Restriction Categories）**は、アイテムが「壊れている」または「不完全」である可能性がある倉庫です。すべての入力に対して機能するわけではない関数が存在し得ます。これは部分関数に最適です。

著者らは以前、これらの異なる種類の倉庫がどのように関連しているかを示すマップ（分類学）を作成しました。この新しい論文において、彼らは、これら「完全なもの」と「壊れたもの」の間に位置する、2つの新しいタイプの倉庫を発見しました。

2. 2つの新しい概念：「質量」と「ドメイン」

著者らは、これらの圏における「射（アロー）」（関係やプロセス）を測定するための、2つの新しい方法を導入しています。

• 質量（Mass）（矢印の「重さ」）：
  荷物を発送している場面を想像してください。ある射の質量とは、プロセスを経た後に荷物の総重量をチェックすることに相当します。

  • **質量圏（Mass Category）**におけるルールは、「目的地に関する詳細を無視すれば、プロセスを経た後に重さをチェックしても、プロセスを経る前の重さと変わらない」というものです。
  • これは、プロセスが特定の抽象的な方法において、「モノ（確率的な質量）」を魔法のように生成したり破壊したりしないことを意味します。

• ドメイン（Domain）（矢理の「有効領域」）：
  特定の場所にのみ跡が残るスタンプを想像してください。ドメインとは、そのスタンプが実際に跡を残す特定の領域のことです。

  • **ドメイン圏（Domain Category）**におけるルールは、「スタンプが機能する領域を確認し、その上でプロセスを実行すると、単にスタンプを実行した結果と全く同じになる」というものです。
  • これは「部分関数」の概念を一般化したものです。これにより、プロセスがある特定の入力に対して定義されている場合、それが一貫して動作することを保証します。

3. 発見： 新しい中間領域

著者らは、完全に「マルコフ」である（完全に全域的である）必要はなく、また完全に「制限」である（完全に部分的である）必要もない、有用なシステムが存在することに気づきました。

• 質量を尊重するが、必ずしも完全にマルコフではないシステムを持つことができます。
• ドメインを尊重するが、必ずしも完全に制限ではないシステムを持つことができます。

彼らは、有名なマルコフ圏が、これら2つの新しいタイプの圏の交わりであることを証明しました。つまり、あるカテゴリがマルコフであるための必要十分条件は、それが「質量圏」であり、かつ「弱マルコフ（Weakly Markov）圏」（特定の種類の質量圏）でもあることです。これは、「正方形は、正方形の長方形であり、かつ正方形の菱形でもある」と言うようなものです。

4. 「持ち上げ」のメカニズム： クレイスリ圏

コンピュータサイエンスにおいて、**モナド（Monad）**と呼ばれるツールがあります（データを特別なコンテナ、例えば箱の中に包み込む機械のようなものです）。ある圏にモナドを適用すると、**クレイスリ圏（Kleisli Category）**と呼ばれる新しい圏が得られます。

論文はこう問いかけます：もし私が「ドメイン」または「質量」の圏から出発し、この機械（モナド）を通した場合、得られる新しい圏はその性質を保持するのだろうか？

• 答え： はい、ただし、その機械（モナド）が正しく構築されている場合に限ります。
• 彼らは、**「ドメイン保存型」および「質量保存型」**の機械を定義しました。もし機械が「ドメイン」または「質量」のルールを尊重するように構築されていれば、その機械を通って出てくる新しい圏も、それらのルールを尊重することになります。
• これは、研究者が複雑な確率的または部分的システムを構築する際に、どのルール（公理）が依然として保持されるかを正確に把握できるため、非常に重要なことです。

5. 実世界の例（ケーススタディ）

彼らの理論が機能することを証明するために、著者らは2つの具体的な例を調査しました。

1. 半環重み付き関係（Semiring-Weighted Relations）： 関係性が単なる「はい／いいえ」（標準的なマップのようなもの）ではなく、「重み」を持っている（道路の交通量スコアが付いた地図のようなもの）システムを想像してください。彼らは、これらの重みの背後にある数学（「半環」と呼ばれます）が特定の性質（例えば、$x + x = x$ となる「冪等性」）を持つ場合、結果として得られるシステムが自動的にドメイン圏になることを示しました。これは、特定のファジー論理や確率システムがなぜそのように振る舞うのかを説明するものです。

2. 部分的マルコフ圏（Partial Markov Categories）： 彼らは、存在しないかもしれない確率分布（部分性）を扱う Partial(FinStoch) というシステムを調査しました。彼らは、新しい「ドメイン保存型」のツールを用いて、このシステムが確かにドメイン圏であることを証明しました。これは、以前は証明が困難であった事実に対して、より新しくシンプルな証明を提供しています。

まとめ

簡単に言えば、この論文は数学的論理の地図を精緻化することについての論文です。

• 著者らは、「確率」と「部分性」の間の領域に位置する、2つの新しい「近隣地域」（質量圏とドメイン圏）を発見しました。
• 彼らは、データをこれらの近隣地域間で移動させても、その地域のルールを壊さないような機械（モナド）の作り方を明らかにしました。
• 彼らは、有名な「マルコフ」という近隣地域が、これら2つの新しい近隣地域の重なり合いであることを証明しました。

これは、コンピュータサイエンスや数学者が、コードや論理における不確実性、部分的な情報、および関係性をモデル化する際に支配する構造的なルールを、より深く理解する助けとなります。