Monoidal bicategories, differential linear logic, and analytic functors

宇宙がどのように構築されているのかを理解しようとしていると想像してください。単にレンガを見るのではなく、レンガ同士がどのように「対話」しているのかを見るのです。数学の世界には、まさにこれを行う「圏論（category theory）」という分野があります。個々の数や図形を研究するのではなく、「対象（objects）」と、それらを結ぶ「射（maps/arrows）」を研究するのです。これは、駅がアイデアであり、路線がそれらの間を移動するためのルールである、巨大で抽象的な地下鉄路線図のようなものです。

長い間、数学者たちは、情報を物理的なリソースとして扱う特別な推論のルールである「線形論理（Linear Logic）」に興味を持ってきました。この論理では、データを自由にコピーしたり捨てたりすることはできません。一度だけ正確に使用しなければなりません。これは、コンサートのチケットを一枚持っているようなものです。友人のためにコピーを作ることはできませんし、入場したいのであれば、ポケットに入れたままにしておくこともできません。この論理を機能させるために、数学者は「コモナド（comonad）」（データをパッケージ化する高度な機械）と、「微分（differentiation）」（物事がどのように変化するかを見つけること）というルールを使用します。

最近、科学者たちは、この「物事を一度だけ使う」という論理が、驚くほど微積分（カルキュラス）に似ていることを発見しました。関数を微分してその変化を見るのと同様に、論理的なプロセスに対して「微分」を行うことができるのです。これが「微分線形論理（Differential Linear Logic）」へとつながりました。しかし、問題がありました。これらのルールはすべて、平坦な一次元のマップのために構築されていたのです。現実世界の複雑なシステムは、多くの場合、平らな図面というよりも、3Dの彫刻のように感じられます。本論文はこう問いかけます。「もし、これらのルールを、接続と接続の間の関係性が重要となる高次元へと持ち上げたら、何が起こるだろうか？」

---

大きなアイデア：平面の地図から3Dの彫刻へ

マルセロ・フィオーレ、ニコラ・ガンビーノ、マーティン・ハイランドによるこの論文は、論理の数学的な「オペレーティングシステム」をアップグレードするための建設マニュアルのようなものです。著者たちは、既存のよく理解されている線形論理と微分線形論理のルールを取り、それらを「モノイダル双圏（monoidal bicategory）」で機能するように再構築しています。

平易な言葉で言えば、「双圏（bicategory）」とは、対象、対象間の写像、そして写像間の写像（2-セルと呼ばれるもの）を持つ数学的構造のことです。通常の圏が平らな地下鉄路線図だとすれば、双圏は、列車自体が移動中に特定の 방식으로 線路を変えたり、合流したり、分裂したりできる地下鉄路線図です。著者たちは実質的にこう言っています。「私たちの論理的ルールを、硬直した平らな線として扱うのをやめ、柔軟な3D構造として扱い始めよう」と。

新しい道具：「疑似」機械と「コーレリクション」

この新しい3Dの世界を構築するために、著者たちは2つの主要な道具を発明しています。

1. 線形指数疑似コモナド（Linear Exponential Pseudocomonads）: 標準的な「コモナド」を、「データを取り込み、それを特別な箱（"!" ボックス）で包むことで、『このデータは、処理した後であれば何度でも自由に使ってよい』と宣言する機械だと考えてください。平らな世界では、この機械は硬直しています。本論文の3Dの世界では、この機械は「疑似コモナド（pseudocomonad）」になります。それは、スマートで、形を変えられる箱のようなものです。それは依然として論理のためにデータをパッケージ化するという同じ仕事をこなしますが、複雑な3Dの接続を扱うための「遊び（wiggle room）」を備えています。著者たちは、この遊びがあっても、この機械が線形論理のために完璧に機能することを証明しています。

2. コーレリクション（Codereliction）: これが主役です。平らな世界では、「コーレリクション」は論理的プロセスを微分するための特定のルールです。それは、非線形なプロセス（データを自由に使うもの）を線形なプロセス（データを慎重に使うもの）へと変える魔法の杖のようなもので、それによって変化を観察します。著者たちは「双圏的コーレリクション（bicategorical codereliction）」を導入しています。複雑にねじれた論理の結び目があると想像してください。コーレリクションは、その結び目が3D空間で動き、形を変えているときでも、一本の糸を優しく引いて、結び目全体がどのように反応するかを見ることができるツールです。

応用：多変数関数としての解析的関手

この論文の最もエキサイティングな部分は、これらの新しい道具を使って「解析的関手（analytic functors）」に適用することです。

かつて、数学者アンドレ・ジョヤルは、集合上の特定の種類の関数（解析的関手と呼ばれる）を、微積分の多項式やテイラー展開のように扱えることを示しました。それらは微分して変化を見ることができます。しかし、これは一変数の関数（$f(x)$ のようなもの）にしか適用できませんでした。

著者たちは、これらの新しい3D論理の道具を用いて、これを「多変数」へと拡張します。彼らは、関数が単一の数値ではなく、関数全体の「圏」に依存する場合でも、その微分を取ることができることを示しています。

• 比喩: あなたがケーキのレシピを持っていると想像してください。旧世界では、「卵をもう一つ増やしたらどうなるか？」としか聞けませんでした（一変数）。しかし、この新しい3Dの世界では、著者たちは「小麦粉、砂糖、オーブンの温度、そして混ぜる速度を同時に変えたらどうなるか、そしてそれらの変化がどのように相互作用するか？」と問うことができることを示しています。
• 彼らは、微積分のルール（積の法則や連鎖律など）が、この複雑な多次元の設定においても完全に成立することを証明しています。彼らはこれらの新しい関数を「プレシーフ・カテゴリ間の解析的関手」と呼んでいますが、これは「複雑な多変数論理レシピ」を意味する、単なる専門的な言い回しです。

彼らが発見したこと、そして発見しなかったこと

この論文は（それは推測ではなく数学的な証明です）、以下のことを証明しています：

• これらの「柔らかい」3Dの機械（疑似コモナド）を定義でき、それらは論理に対して期待通りに機能すること。
• この3Dの「魔法の杖（コーレリクション）」を定義でき、それがこれらの複雑な論理レシピの微分を正常に計算できること。
• 微積分の有名なルール（ライプニッツ則、連鎖律）が、この新しい3D環境においても完璧に機能すること。

この論文は、数学のあらゆる問題を解決したと主張してはいません。彼らは、堅牢なフレームワークを構築したものの、依然として「コヒーレンス問題（3Dの形状がどのように完璧に組み合わさるかに関する技術的な詳細）」が存在し、それが困難であることを明記しています。彼らはこれが唯一の方法であるとは主張していませんが、有効で強力な方法の一つであることを示しています。また、これが直接的に物理学やコンピュータサイエンスの問題を解決するとさえも主張していません。彼らは、それらの分野を将来的に助ける可能性のある「理論」を構築しているのです。彼らは土台を築いているのであり、超高層ビルを建てているのではありません。

なぜこれを知っておく必要があるのか？

「なぜ3D論理が重要なのか？」とあなたは思うかもしれません。著者たちは、これが理論コンピュータサイエンスにとって極めて重要であると示唆しています。コンピュータプログラミングにおいて、コードがどのように自身を書き換えるか、あるいはプログラムの異なる部分がどのように相互作用するかをモデル化する必要があることがよくあります。この3D論理における「2-セル（写像の間の写像）」は、これらの書き換えステップをモデル化するのに最適です。

これらの複雑な3D論理構造に対して微積分ができることを示すことで、著者たちは新しい種類の「定量的意味論（quantitative semantics）」への扉を開きました。これは、いつの日か、私たちがボールが丘を転がり落ちる様子を予測するために使うのと同じツールを使って、複雑なソフトウェアシステムがどのように振る舞い、変化し、あるいは壊れるかを数学的に予測できる可能性があることを意味しています。彼らは「微分」という抽象的な概念を取り上げ、世界が3Dの彫刻のように乱雑で相互に関連している場合でも、それが機能することを示したのです。