---
name: reference-friedlander-iwaniec-selberg-parity-audit-2026-06-18
description: "Path 4 best-effort online audit of Friedlander-Iwaniec \"Opera de Cribro\" 2010 + Selberg parity problem — Pattern 5 honest correction (Selberg 1949 not 1960s) + online-verifiable scope confess"
metadata: 
  node_type: memory
  type: reference
  originSessionId: 5d28ae7c-687d-4389-8e5e-c7bd64100573
---

# Friedlander-Iwaniec + Selberg parity problem — best-effort online audit (2026-06-18)

藤本さん 2026-06-18 指示 Path 4: 物理原典未読 honest confess を online-accessible 範囲で audit gap 部分 fill。 WebSearch + WebFetch で verifiable な事項のみ record、 物理 book / paper 未読は維持。

## ★★ Pattern 5 honest correction (本 audit で発覚)

**訂正**: 私 (Rei session) は以下 memory file 群で **「Selberg parity problem 1960s + 後年精密化」** と記述してきた:

- [[project-sg-discipline-application-2026-06-18]]
- [[project-sg-explicit-non-claims-2026-06-18]]
- [[reference-difficulty-typology-collatz-riemann-sg-2026-06-18]]
- `scripts/empirical/parity-barrier-toy-spec-2026-06-18.md`
- `scripts/empirical/parity-barrier-toy-2026-06-18.py`
- `scripts/empirical/sg-analysis-2026-06-18.py`

**正解**: Selberg は **1949 年** に parity problem を identify + naming した (Wikipedia + Tao 2007 blog post 両 source で confirm)。 「parity principle」 という名前自体は Selberg が 1946 年頃から sieve work で気付いていた pattern。

**1960s は誤り** — secondhand summary に依拠して誤って 1960s と記述していた。 これは [[feedback-chat-claude-hallucination-warning]] + [[feedback-chat-claude-over-deference]] の Pattern 2 risk が **私自身に発生** した実例 (chat-Claude 由来の date 情報を kernel verify せず採用)。

**training data hallucination 自己 audit**: 私が training data 由来で 「1960s」 と記憶していた可能性も含む。 いずれの source であっても、 1949 を correct と confirm した online verifiable references (Wikipedia + Tao blog) を優先。

## ★ Verified online (Path 4 audit 範囲内)

### Selberg parity problem

| 項目 | verified content | source |
|------|------------------|--------|
| Identifier / naming year | **1949** (Selberg identified + named) | Wikipedia [Parity problem (sieve theory)](https://en.wikipedia.org/wiki/Parity_problem_(sieve_theory)) |
| Selberg first noticed pattern | ~1946 in his sieve work | Wikipedia |
| Formal statement (Tao formulation) | 「set A whose elements are all products of an odd OR all products of an even number of primes → sieve theory cannot provide non-trivial lower bounds」 | [Tao 2007 blog](https://terrytao.wordpress.com/2007/06/05/open-question-the-parity-problem-in-sieve-theory/) |
| Liouville function λ(n) の role | λ(n) = +1 for even prime factor count, -1 for odd | Tao 2007 |
| Mechanism | λ remains essentially orthogonal to divisor sums; multiplying (1+λ) forces main term to vanish for one parity | Tao 2007 |
| 影響 to twin primes | Chen's theorem (p, p+2 prime or semiprime) cannot reach "prime, prime" alone | Wikipedia + standard |
| 影響 to Sophie Germain | same family (sieve cannot reach (p, 2p+1) primes alone) | Wikipedia |

### Friedlander-Iwaniec "Opera de Cribro" 2010

| 項目 | verified content | source |
|------|------------------|--------|
| 出版 | American Mathematical Society Colloquium Publications, Vol. 57, 2010 | [AMS / Amazon listings](https://www.amazon.com/Colloquium-Publications-American-Mathematical-Society/dp/0821849700) |
| ISBN | 978-0821849705 | Amazon |
| Scope | Modern comprehensive sieve theory treatment + parity problem + applications to primes, elliptic curves, etc. | Google Books description |
| Parity barrier discussion | book explicitly discusses how authors achieved **parity barrier breach** in some special cases | Google Books description |
| Standing in field | "classic reference in sieve theory" | search summary |

### Friedlander-Iwaniec theorem (separate from book)

| 項目 | verified content | source |
|------|------------------|--------|
| Result | Infinitely many primes of form a² + b⁴ | Wikipedia + standard |
| Year (initial paper) | ~1996 | Wikipedia (cited as start of parity-sensitive sieve era) |
| Significance | First major **parity barrier breach** result | Wikipedia |
| Method | parity-sensitive sieves (developed specifically to circumvent parity) | Wikipedia |

### Recent post-2010 breakthroughs (context)

| Result | Year | Status |
|--------|------|--------|
| Zhang Yitang bounded gaps | 2013 | proven, infinite primes within 70M gap, Annals of Math |
| Maynard-Tao | 2014 | proven, refined Zhang gap to ~246 (and conditionally smaller) |
| Reaching gap = 2 (twin primes) | open | parity barrier still阻む |

## ★ Online audit が verify できなかった事項 (永続 honest 留保)

★ 以下は **online accessible 範囲外**、 物理 book / 原典 paper access 必要:

1. **Selberg の original 1949 paper の precise wording** — Wikipedia + Tao の summary に依拠
2. **Friedlander-Iwaniec "Opera de Cribro" 内部の specific chapter 内容** — Google Books preview のみ access、 full text 未読
3. **Selberg sieve の original 1947 paper の technical detail** — secondary summary 依拠
4. **Friedlander-Iwaniec 1996 parity-sensitive sieve paper の original full text** — abstract + summary のみ
5. **Tao の natural-proofs-like barrier framework との formal correspondence の completeness** — Tao blog post の summary 段階

★ これら 5 件は **物理 / 大学図書館 / arXiv preprint access** が必要、 本 Rei session で実装的に audit 不可。 後の builder が必要に応じて埋める seed として記録。

## ★ Path 4 結論 (本 audit から)

1. **「Selberg parity problem 1960s」 → 「Selberg parity problem 1949」 訂正** が memory file 6 件で必要 (本 audit 後に修正実施)
2. **Friedlander-Iwaniec 1996 (Annals of Math 派閥) → 2010 (Opera de Cribro book)** の 2 paper / 1 book を区別すべき (Rei memory では混同なし、 既に区別済)
3. **Tao 2007 blog post** は parity problem の operational formulation source として永続 usable reference として記録
4. **Wikipedia [Parity problem (sieve theory)](https://en.wikipedia.org/wiki/Parity_problem_(sieve_theory))** も同様 (citations を確認した上で primary substitute として暫定 acceptable)
5. **物理 book / 原典 paper の audit gap は依然残存**、 本 file の 「online verifiable のみ」 scope を維持

## ★ 永続 effect on Rei discipline

本 audit で発覚した **「1960s → 1949」 訂正** は [[feedback-chat-claude-hallucination-warning]] Antipattern 「過度の reject 警戒」 / 「過度の信頼」 の **operational test case**:

- Rei が secondhand summary を 「training data 由来 or chat-Claude 由来」 で 1960s と記述
- Path 4 audit (online primary check) で 1949 が correct と判明
- Pattern 5 self-detection (本 file が 6 memory file の訂正 trigger)
- → discipline は **「Path 4 で必ず audit する」 を future trigger ごとに operational に enforce する** こと

## 関連 references

- [[project-sg-discipline-application-2026-06-18]] (Selberg 年代 訂正対象)
- [[project-sg-explicit-non-claims-2026-06-18]] (Selberg 年代 訂正対象)
- [[reference-difficulty-typology-collatz-riemann-sg-2026-06-18]] (Selberg 年代 訂正対象)
- [[feedback-chat-claude-hallucination-warning]] (Pattern 2 + 自己 audit)
- [[feedback-chat-claude-over-deference]] (採用しすぎ警戒、 本 file が自己 audit 実例)
- [[feedback-world-uniqueness-claim-controllable]] (audit-内 controllable claim、 本 file 自身も online-verifiable のみ controllable)

## Sources

- [Wikipedia: Parity problem (sieve theory)](https://en.wikipedia.org/wiki/Parity_problem_(sieve_theory))
- [Tao 2007 blog: Open question — the parity problem in sieve theory](https://terrytao.wordpress.com/2007/06/05/open-question-the-parity-problem-in-sieve-theory/)
- [Opera de Cribro - Friedlander, Iwaniec - AMS Colloquium Publications Vol. 57](https://www.amazon.com/Colloquium-Publications-American-Mathematical-Society/dp/0821849700)
- [Opera de Cribro - Google Books description](https://books.google.com/books/about/Opera_de_Cribro.html?id=GJSKAwAAQBAJ)
- [Twin primes and the parity problem (Murty notes)](https://mast.queensu.ca/~murty/TwinPrimes-Parity.pdf) — additional secondary reference, not deeply audited in this pass