Map F — Hướng dẫn đầy đủ dễ hiểu: là gì, điều kiện, chứng minh Tier-B

1. Câu hỏi thật (không phải “số đẹp”)

SPT viết vài đại lượng đo được thành phân số Bagua trông rất đẹp:

sin²θ_W (tree)  ≈  3/13
sin²θ_12         ≈  4/13
n_T              ≈  3/13
Cabibbo λ        ≈  9/40
Hubble proxy h   ≈  27/40

Câu hỏi khoa học không phải “có khớp PDG đại khái không?” mà:

Đây là luật bị buộc dưới quy tắc rõ — hay chỉ trùng số may mắn?

Map F là tên quyển luật duy nhất cố trả lời bằng một map, không năm fit rời.

2. Map F là gì? (ổ khóa và răng)

Viết mọi hằng số thành phân số:

quan sát  =  TỬ SỐ  /  MẪU SỐ
            =  “răng”  /  “cỡ ổ khóa”

F là một hàm:

F(lĩnh vực, vai trò đo)  →  phân số Bagua
(không nhét số PDG vào vế phải; PDG chỉ để kiểm SAU)

3. Điều kiện — package P (phần quan trọng nhất)

Hãy nghĩ P là luật chơi. Các định lý nói: nếu chấp nhận cả luật, thì các phân số khóa chặt.

P0 — Chỉ số Bagua (không PDG làm input)

Khối xây được phép: (Q_n = 2^n) (8, 16, 32, 64, 128…), hệ số nhị thức, toán thuần như √7. Cấm làm input: α CODATA, mass PDG, núm chỉnh tay cho khớp data.

P1 — Chia 7 hào thành 3 + 1 + 3

Cách chia này là lựa chọn cấu trúc (STRUCT), không bị ép chỉ bởi “lũy thừa 2.” Không có nó → không có sector nội để đếm trọng số yếu.

P2 — R_axis: n_w = số trục nội (= 3)

n_w  :=  i  =  3

Đọc spectral (Tier-B dưới P1): trên khối nội (Q_i), spectral gap Laplacian có bội (i). Vậy (n_w) = “số hướng lật weight-1 bên trong” = 3. Tránh gõ chữ SU(2), nhưng vẫn là luật đếm, không phải phép màu.

P3 — Ngân sách residual n_Y

n_Y  :=  Q_3 − n_w  =  8 − 3  =  5

Trong ngân sách ô 8 trigram, trừ trọng số yếu 3; còn 5 kênh residual (kiểu hypercharge).

P4 — Shell điện yếu W (luật then chốt)

W  :=  Q_3 + n_Y  =  8 + 5  =  13

// NOT  W = n_w + n_Y = 3 + 5 = 8
// Shell = trigram cell + residual Y
// Weak weight sits in the NUMERATOR only

Góc Weinberg tree:

sin²θ_W^tree  =  n_w / W  =  3/13

P5 — Shell flavour/cosmo S (Q₃+Q_k tối thiểu)

Sự thật trung thực: cặp ((9/d,\,27/d)) với (h/\lambda=3) đúng với mọi (d>27). Một mình không chọn 40. Cần luật shell:

S = Q_3 + Q_k   (k ≥ 3)
    with  0 < 9/S < 1  and  0 < 27/S < 1
    and S minimal

→ only k=5 survives as minimal:  S = 8+32 = 40

P6 — Tử số trên shell W

sin²θ_12 = 4/13
n_T      = 3/13
I1: n_T ≡ sin²θ_W
I2: sin²θ_12 − sin²θ_W = 1/13

P7 — Tử số trên shell S

λ  =  3² / S           =  9/40
h  =  3·(Q_3+1) / S    =  27/40
h/λ = 3  EXACT

P8 — Class R hữu hạn các mẫu số Bagua

Chỉ mẫu số dựng từ (Q_a), (Q_a+Q_b), (Q_a+k) trong khoảng cố định. Rồi siết:

• U_NUM — khóa tử số {3,4,3} trên một mẫu và {9,27} trên mẫu kia
• U_SHELL — buộc mẫu đúng W=13 và S=40

4. Điều kiện trong một dòng

BẮT BUỘC (package P)
  Q_n = 2^n
  7 hào = 3 + 1 + 3
  n_w = 3  (trục nội / gap mult)
  n_Y = 5
  W = 8+5 = 13     ← shell EW
  S = 8+32 = 40    ← shell flavour/cosmo (min Q3+Qk)
  tử số 3,4,3 trên W  và  9,27 trên S
  class R hữu hạn + U_NUM ∩ U_SHELL

⇒  Map F duy nhất
    3/13, 4/13, 3/13, 9/40, 27/40   (Tier-B EXACT)

KHÔNG NẰM TRONG ĐIỀU KIỆN
  PDG · continuum Action · “chỉ số đẹp không luật chơi”

5. “Chứng minh Tier-B EXACT” nghĩa là gì (và không nghĩa gì)

Đã chứng Tier-B dưới P (script): shell (13,40); dạng đóng; I1–I2; khóa N2; F duy nhất trong R; L2_STRICT fail (capacity không chọn (n_w)); L2_STRUCT pass (P1+P2 chọn (n_w=3)).

• Có nghĩa: nếu chấp nhận P, phân số bị buộc và duy nhất trong R — máy kiểm được.
• Không nghĩa: Tự nhiên phải là Q₇; path-integral đã suy P; ToE xong; PDG chứng uniqueness (PDG chỉ OUTPUT).

6. Hình: từ hỗn loạn đến một map

  Số Bagua thô          →  nhiều map (hỗn loạn)
       +
  Luật chơi P (STRUCT)  →  đúng 1 map F
       +
  Chứng đại số Tier-B   →  3/13, 4/13, 9/40… Δ=0
       +
  PDG                   →  chỉ soi gương (OUTPUT)

Trước audit: “Map F trông đẹp.” Sau: “Map F là định lý có điều kiện — và ta biết chính xác điều kiện là gì.”

7. So PDG (chỉ OUTPUT — không thuộc chứng minh)

8. Claim an toàn với referee (dùng câu này)

9. Còn mở (đích đột phá thật)

1. Suy P1–P2 (vì sao 3+1+3 và (n_w=i)) từ động lực Action — không từ mong muốn sin²θ_W ≈ 0.23.
2. RG: chạy tree (3/13) tới IR (\sin^2\theta_W(M_Z)) không nhét tay số textbook.
3. Giữ dự đoán mù đóng băng (n_T, δ_CP, …) — không chỉnh sau data.

10. Tái lập offline (SymPy)

pip install sympy numpy && python3 scripts/spt_map_f_tier_b_proof.py && python3 scripts/spt_map_f_spectral_shell.py && python3 scripts/spt_map_f_uniqueness_minimal.py && python3 scripts/spt_map_f_uniqueness_enum.py && python3 scripts/spt_master_map_f_from_action.py

Ghi chú nghiên cứu (repo): docs/research/map-f/claim-sheet.md, smuggling-matrix.md, tier-b-proof.md.

11. Kết luận ngắn