定理 2 — Shared-TCZ(集合への拡張)
論文の定理 2 は、定理 1 の単独個体動学を集合(他者との関係)に拡張します。Shared-TCZ ── 共有された安定領域 ── への収束を示す定理です。
定理 2 の主張
定理 2:他者との摩擦と影響度を考慮した制御のもと、集合の各メンバーの軌道は Shared-TCZ に収束する。
「Shared-TCZ」= 集合のメンバーが 共有して快に感じる 状態の集合。個体それぞれの TCZ の重なり、または集合的な合意点。
多主体への拡張
各メンバー $i$ の制御方程式:
$$ \pi_i = \arg\min \int \big( V_i + \sum_{j \neq i} \gamma_{ij} S_{ij} \big) \, dt $$
各記号:
- $V_i$:メンバー $i$ 自身の不快度
- $\gamma_{ij}$:社会的認知結合係数($i$ に対する $j$ の影響度)
- $S_{ij}$:社会的整合汎関数(認知的偏差・摩擦)
定理 1 の方程式に 第二項 $\sum_j \gamma_{ij} S_{ij}$ が追加されている。
二項の役割
V_i — 自分の不快
定理 1 と同じ。自分一人での累積不快。
Σγ_ij S_ij — 他者との摩擦の総和
各他者 $j$ について:
- $\gamma_{ij}$:相手の影響の重要度(信頼度・地位・親密さ等)
- $S_{ij}$:相手との認知的偏差(意見の不一致・期待のズレ)
- 二者の積で、その関係の 摩擦の重み
集合内の 全他者との摩擦を足し合わせる。
直観的意味
意思決定で人が考えるのは:
- 「自分が嫌か」(V_i)
- 「他人とトラブルにならないか」(Σγ_ij S_ij)
両方の累積最小化を同時に行う。これが集合内の意思決定の数理的記述。
複合 Lyapunov 関数 𝓛
定理 2 の証明には 複合 Lyapunov 関数:
$$ \mathcal{L}(\mathbf{x}) = \sum_i V_i + \sum_{i,j} \gamma_{ij} S_{ij} $$
これが Lyapunov 関数として機能し、適切な仮定のもとで $\dot{\mathcal{L}} \le -\lambda \mathcal{L}$ が成立。B.1 補題を適用して指数収束。
Shared-TCZ への収束
定理 2 の結論:全メンバーが Shared-TCZ(複合 Lyapunov の最小化集合)に収束する。
Shared-TCZ の特徴:
- 全員が一定以上の快を感じる(各 $V_i \le \theta_i$)
- 摩擦が一定以下(Σγ_ij S_ij が小さい)
- 集合的安定状態
例 — 家族・同僚関係
定理 2 が記述する現象:
- 家族:家族間の摩擦を最小化しつつ各人の快を維持する均衡点
- 同僚関係:仕事の負荷と人間関係の負荷の累積最小化
- コミュニティ:多様なメンバーが共存できる安定領域
これらが Shared-TCZ として数理的に記述できる。
V_i と S_ij の独立性仮定
定理 2 は素朴には V_i と S_ij が独立と仮定します。実際には:
- 「他人との関係が悪い」と気分も悪い → V_i と S_ij の相関
- 「自分の機嫌が悪い」と摩擦も増える → 双方向の相関
これらの 相互作用項を入れる時は、$S$ を $V$ で表す追加方程式が必要。第一近似の形式では独立仮定で十分。
6B との違い(重要)
定理 2(Shared-TCZ)と定理 6B(Collective Efficacy)の違い:
| 観点 | 定理 2 | 定理 6B |
|---|---|---|
| 主役 | 集合の 共有合意点 | 集合の エフィカシー動学 |
| 状態変数 | 各 $V_i$ と $S_{ij}$ | 各 $E_i$(エフィカシー) |
| 結合 | $\gamma_{ij}$(影響度) | $C^{L/H}_{ij}$(結合の質) |
| 焦点 | 収束先(Shared-TCZ) | 動学の質(High vs Low Shared) |
両者は補完的。同じ集合に異なる Lyapunov 関数を適用した二つの収束。
仮定の制約
定理 2 で必要な追加仮定:
- $\gamma_{ij}$ が時間的に安定(関係性が短期で変わらない)
- $S_{ij}$ が連続微分可能
- メンバー間の相互作用が 多項式オーダー(指数爆発しない)
これらは大規模集合では弱まる場合がある(後で MFG 等の道具が必要、上級編 §24)。
本章のまとめ
- 定理 2 = 集合への拡張(Shared-TCZ への収束)
- 第二項 Σγ_ij S_ij が他者摩擦を足す
- 複合 Lyapunov 関数 $\mathcal{L}$ で B.1 補題に帰着
- Shared-TCZ = 集合的安定状態
- 定理 6B(後出)とは異なる視点(合意点 vs エフィカシー動学)
- 定理 2 は本書の他コースで 独立扱いがやや薄い領域
- 中級編 §14 は定理 6B(Collective Efficacy)を扱うが、両者を区別すること
- 関連:大規模集合動学は 上級編 §24(Mean-field / MFG)
次章への接続
集合動学の拡張ができました。次章では 抽象度の上昇 ── 定理 3 LUB 収束を扱います。複数の want-to や目的が、より上位の概念に統合される動学です。