---
name: reference-fermat-excess-v2k-characterization-2026-07-20
description: chat-Claude 2026-07-20 追加発見 「Fermat 数 excess = v_2(k)」 (Lucas form p = k·2^(n+2)+1 の乗数 k の 2-adic 深さ) の F_5-F_11 実測検証 7/7 完全一致 + honest caveat 保存
metadata: 
  node_type: memory
  type: reference
  originSessionId: bf3ef5b0-e925-41af-95a6-5ab728a320be
  modified: 2026-07-20T01:55:21.345Z
---

# Fermat 数 excess characterization: excess = v_2(k) (chat-Claude 2026-07-20)

## Discovery context

chat-Claude 2026-07-20 の 独立再現後 arc で発見された characterization:

> **excess = v_2(k)** where **p is the driver Lucas form factor
> `p = k · 2^(n+2) + 1`** of F_n

すなわち: F_n の駆動 prime factor を Lucas form で表したとき、 乗数 k の
2-adic 深さが excess (= v_2(ω_{F_n}(3)) - (n+2)) を単独で駆動。

## F_5-F_11 実測検証 (7/7 完全一致)

| n | 駆動 factor p | k = (p-1)/2^(n+2) | v_2(k) | 実測 excess |
|---|---|---|---|---|
| 5 | 641 | 5 | 0 | 0 ✓ |
| 6 | 67280421310721 | 262814145745 (奇) | 0 | 0 ✓ |
| 7 | 59649589127497217 | (奇) | 0 | 0 ✓ |
| 8 | 1238926361552897 | 1209889024954 = 2·604944512477 | 1 | 1 ✓ |
| **9** | **2424833** | **1184 = 2^5·37** | **5** | **5** ✓ |
| 10 | 45592577 | 11131 (奇) | 0 | 0 ✓ |
| 11 | 974849 | 119 (奇) | 0 | 0 ✓ |

**7/7 完全一致**、 F_5-F_11 全 satisfied。

## Honest caveat (重要)

**Characterization は「駆動 factor が v_2(ord) = v_2(p-1) を満たす」 場合のみ
成立**:

- Lucas 1878 上界: v_2(ord_p(3)) ≤ v_2(p-1) = v_2(k) + (n+2)
- 上界達成 (v_2(ord) = v_2(p-1)) の場合、 factor の excess contribution = v_2(k)
- 上界未達成 (v_2(ord) < v_2(p-1)) の場合、 excess contribution < v_2(k)
- F_5-F_11 では max 駆動 factor が全 上界達成 → characterization holds

**F_11 の 319489 のような例**:
- v_2(p-1) = 13, v_2(ord_{319489}(3)) = 8 (Python 実測、 << v_2(p-1))
- contribution to excess = 8 - 13 = -5 (実質 0 として max に寄与しない)
- この factor が max を駆動しないので characterization 保持

## Rei stack 内 位置付け

- STEP 1307 refinement 1 (2026-07-20) で verification record markdown
  (`data/fermat/v2-order-extension-2026-07-20.md`) に追加保存
- chat-Claude 2026-07-19 独立再現 + Rei 独立検算 = double-verified
- **Rei は「本 characterization を新発見した」 とは絶対に主張しない**
  (chat-Claude 発見、 Rei 側は 7/7 実測検算のみ)

## 数学的背景

**Lucas 1878**: F_n の任意 prime factor は k · 2^(n+2) + 1 の form。
**Pépin 1877**: F_n is prime ⟺ 3^((F_n-1)/2) ≡ -1 (mod F_n)。
**Combined**: v_2(ω_{F_n}(3)) の下界 = n+2 (Lucas)、 上界 = max over p | F_n of
v_2(p-1)。 「excess = 上界 - Lucas floor」 = 「max v_2(k)」 (上界達成の場合)。

## 未解決 (chat-Claude 側 open)

- k が偶数になるかどうか (v_2(k) > 0 になる条件) を支配する法則は未知
- 各 Fermat prime factor の 2-adic 深さは「素因数固有の算術的偶然」
- F_12+ の完全分解は現在未完 (F_12 = 114689 · 26017793 · 63766529 · ...
  + 未確定 composite cofactor)、 characterization の future test は
  F_12+ の 完全分解達成待ち

## 起動 trigger

- Fermat 素数 系統の question が来た時
- excess sequence の解釈が必要な時
- chat-Claude 2026-07-20 arc referenceが必要な時
- 「novel discovery ではない」 と honest scope 明示する必要がある時

## 関連

- [[project-session-2026-07-20-fermat-arc-path-b-launch]] (本 characterization
  発見 session)
- [[project-step1307-fermat-v2-order-extension-2026-07-20]] (Python 実測 origin)
- [[reference-chat-claude-2026-07-20-novelty-advice]] (chat-Claude arc 締め
  くくり advice、 本 characterization は「予想外の接続」 = chat-Claude 原則 3
  (c) の実例)
- Paper 176 draft (chat-Claude 「modular bridge sketch」、 本 characterization
  含む material bundle)
- Lucas 1878 / Pépin 1877 / Euler 1732 / Selfridge-Hurwitz 1963