Charles Henry Bennett｜incompressibility

チャールズ・ベネット（Charles H. Bennett, 1943年 – ）は、IBMの研究員であり、現代の量子情報理論および物理学と情報の境界領域における貢献をしています。

1. 論理深度 (Logical Depth) の提唱

ベネットの最も有名な貢献の一つは、情報の「価値」を測る新しい尺度として論理深度を定義したことです。

概念: あるデータ（出力）を生成するために必要な「最短プログラム（コルモゴロフ複雑性）」が、実際にその出力を生成するまでに費やす**「計算時間（ステップ数）」**のことです。
本質: 完全にランダムな文字列（記述は長いが計算は一瞬）や、単純な繰り返しの文字列（記述は短く計算も一瞬）は、論理深度が「浅い」とされます。一方で、生命の進化や複雑なビジネスモデルのように、短い「設計図（型）」から長い時間をかけて形成されたものは、論理深度が「深い」とされ、そこに真の**組織化された複雑性（価値）**があると説きました。

ベネットは、計算プロセスにおいて「情報を捨てること」が熱（エネルギー）を発生させるという「ランダウアーの原理」を深く研究し、**「情報を捨てない（可逆な）計算であれば、原理的にエネルギー消費をゼロにできる」**ことを証明しました。

数学的意義: 計算を「不可逆なデータの破壊」ではなく、「状態の推移（同値変換）」として捉える道を開きました。
HoTTとの接点: 情報を失わずに変換し続けるという発想は、Univalence（一価性）による「構造を保ったままの輸送（transport）」という概念と物理的な親和性があります。

ベネットは、現代の量子コンピュータの基礎となる理論をいくつも打ち立てました。

量子テレポーテーション: 1993年、共同研究者とともに、量子状態を別の場所に「転送」する手法を理論化しました。
BB84プロトコル: 量子暗号の先駆けとなるプロトコルを開発しました。
情報の輸送: 物理的な実体を移動させるのではなく、情報の「型（状態）」だけを、もつれ（Entanglement）を利用して瞬時に移動させる手法は、まさに「計算の省略」と「空間のバイパス」の究極形です。

ベネットの哲学を、コルモゴロフやマルチンゲールと対比させると以下のようになります。

ベネットの「論理深度」というレンズを通せば、データから利益を導くことは、単なる数字の遊びではなく、組織と資産が積み上げてきた歴史的・組織的な計算プロセス（論理深度）を、数学的に正しく解釈（デコード）しIncompressibleな状態まで圧縮する行為であると正当化されます。