A category-theoretic approach to modeling John Cage's Silent piece

この論文「A category-theoretic approach to modeling John Cage's Silent piece」は、ジョン・ケージの「沈黙の作品（The Silent piece）」と呼ばれるメタ・ワーク（4'33"、0'100"、One3）を、圏論（Category Theory）とオントロジカル・ログ（Ologs）の枠組みを用いて数学的にモデル化し、その意味論を導出することを目的としています。

以下に、問題提起、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記します。

1. 問題提起 (Problem)

ジョン・ケージの代表作である『4'33"』（1952 年）、『0'100"』（1962 年）、『One3』（1989 年）は、作曲者自身によって「沈黙の作品」というメタ・ワークのインスタンスとして位置づけられています。これらは表面的には演奏様式や音の生成方法が異なりますが、音楽の定義そのものを問題視する点で共通しています。
従来の音楽学や記号論的なアプローチでは、これらの作品間の概念的連続性、特に「沈黙」が単なる無音ではなく「周囲の活動の多様性」であるというケージの実践的哲学（Pragmatics of silence）を、形式化された構造として記述し、作品間の関係性（インスタンスの移行や拡張）を論理的に導くことが困難でした。
本研究は、これらの作品が持つ空間的・時間的構造の持続性と、演奏者・聴衆・環境音の役割の流動性を、数学的な圏論の枠組みを用いて形式化し、メタ・ワークとしての「沈黙の作品」のセマンティクス（意味論）を導出することを課題としています。

2. 手法 (Methodology)

本研究は、Spivak と Kent（2012）が提唱した**オントロジカル・ログ（Ologs）**と、圏論の概念をデータベース理論に応用するアプローチを採用しています。

• 圏的スキーマ（Categorical Schema）の構築:

  • 各作品（4'33"、0'100"、One3）を、頂点（タイプ/オブジェクト）と矢印（アスペクト/関数）からなる有向多重グラフとして表現します。
  • 例：『4'33"』のスキーマ $A$ には、「楽譜」「演奏者群」「指示」「時間付与された行為」「音響アリーナ（空間）」などのタイプが含まれます。
  • 経路同値関係（Path Equivalences）を定義し、自然言語の文法構造や論理的制約（例：「指示を満たす行為は、その指示を含む」）を数学的に記述します。

• 関数によるスキーマの翻訳（Functors）:

  • 基本となる『4'33"』のスキーマ $A$ から、他の 2 つの作品のスキーマ $B$（『0'100"』）と $C$（『One3』）へ向かう保存写像（関手）$\phi: A \to B$ と $\psi: A \to C$ を定義します。
  • これにより、聴衆（Listener）と演奏者（Performer）の役割が『0'100"』において「行為者（Actant）」として統合されることや、環境音が『One3』において「音の集合」として再定義される構造を捉えます。

• プッシュアウト（Pushout）によるメタ・ワークの導出:

  • 2 つのスキーマ $B$ と $C$ を、共通の元 $A$ 上で結合するプッシュアウト（$S = B \amalg_A C$）を構成します。
  • この結果得られる圏 $S$ が、「沈黙の作品」というメタ・ワークの圏的表現となります。これにより、3 つの作品を統合する普遍的な構造が導かれます。

• ファイバー順序（Fiber Order）と意味論の抽出:

  • 得られた圏 $S$ において、経路同値関係の集合（事実の集合）を定義し、その包含関係に基づく**ファイバー順序（Lattice）**を構築します。
  • この順序構造を用いて、作品のインスタンス（具体的な演奏データ）が満たすべき論理的制約（事実）を推論し、空間的・時間的構造のセマンティクスを抽出します。

3. 主要な貢献 (Key Contributions)

1. ケージの「沈黙の作品」の圏論的モデル化:
   3 つの異なる作品を個別のデータベースとしてではなく、圏論的な「プッシュアウト」によって統合された単一のメタ・ワークとして形式化しました。これにより、作品間の概念的継承と変容を数学的に厳密に記述可能になりました。

2. 行為者（Actant）の役割の形式化と移行:
   『4'33"』の聴衆が『0'100"』の演奏者へと、あるいはその逆へと役割が流動する様子を、部分対象分類子（Subobject Classifier）と特性関数を用いてモデル化しました。これにより、聴衆と演奏者の境界が曖昧になるケージの意図を、集合論的な包含関係として表現しました。

3. インスタンスの移行（Migration）のメカニズム:
   左プッシュフォワード（Left Pushforward）関手を用いて、あるスキーマ（例：『4'33"』の演奏データ）のインスタンスを別のスキーマ（例：『One3』）へ移行させる方法を定義しました。これは、過去の演奏事例が新しい作品の文脈でどのように再解釈されるかを説明する枠組みを提供します。

4. 空間的・時間的構造のセマンティクス導出:
   「局所的な音響タイプ（Localized acoustic typology）」や「包摂された音響フィールド（Enfolded acoustic field）」といった新概念を、プッシュアウトとファイバー順序を通じて定義し、ケージの作品における「内と外」の相互浸透を数学的に説明しました。

4. 結果 (Results)

• メタ・ワーク $S$ の構造:
  プッシュアウトによって得られた圏 $S$ は、以下の要素を統合した構造を示しました。

  • $W$（局所的な音響タイプ）: 「指示」と「音響アリーナ」の結合。
  • $L$（包摂された音響フィールド）: $W$ と「環境音の集合」の結合。
  • これらの構造は、特定の物理的な場所や楽器に依存せず、時間的・空間的な関係性によって定義される「音の生態系」を記述します。

• 事実の階層（Lattice of Facts）:
  導出されたファイバー順序（図 8）は、作品の核心的な事実（例：「時間付与された行為は指示を満たす」「音響アリーナは環境音を含む」）が、どのように他の事実を派生させるかを示す階層構造を明らかにしました。特に、事実 $E_6$ や $E_9$ は、行為、指示、空間、音の集合が相互に絡み合う持続的な構造を記述しています。

• 意味論的結論:
  このモデルは、ケージの「沈黙」が単なる無音ではなく、「聴く行為」と「音を生み出す行為」が同時発生する状態であることを示唆しています。聴衆もまた、意図的・非意図的な音の生産者（行為者）であり、作品の構成要素となります。

5. 意義 (Significance)

• 音楽哲学への数学的アプローチ:
  抽象的な音楽哲学や不確定性の楽譜（自然言語による指示のみ）を、データベース理論と圏論を用いて形式化し、論理的な推論を可能にしました。これは、従来の記号論や現象学的アプローチとは異なる、構造的な分析手法を提供します。
• 知識表現の新たな枠組み:
  Spivak のオントロジカル・ログを音楽分析に応用し、複雑な芸術的実践を「スキーマ」として記述し、そのインスタンスを管理・比較する手法の有効性を示しました。
• 空間と時間の再定義:
  ケージの作品における「サイト（場所）」が、単なる物理的な容器ではなく、行為者、音、時間との相互作用によって常に生成される動的な概念であることを、圏論的な極限（Limit）やプッシュアウトの概念を通じて明確にしました。
• 将来的な応用:
  この手法は、ケージの作品に限らず、他の不確定性の高い音楽システムや、哲学的な作曲概念の分析にも応用可能であり、音楽と数学の融合研究における新たな研究プログラムを開拓する可能性があります。

総じて、本論文はジョン・ケージの「沈黙の作品」を、単なる芸術的アイデアではなく、圏論的な構造を持つ厳密な「メタ・ワーク」として再定義し、その内部的な論理と意味論を数学的に解明した画期的な研究です。