Source authenticated

An improved lower bound for the Shannon capacity of C11C_{11}

A sequence of explicitly constructed independent sets in strong powers of C11C_{11}, with successive root improvements certified by exact integer comparisons, using cross-powers when dimensions differ. The current bound is Θ(C11)≥5.295526013632343\Theta(C_{11}) \ge 5.295526013632343, from an independent set in C11⊠213C_{11}^{\boxtimes 213} (R10, 9 September 2026), improving the R3 result of 5.2954924775006815.295492477500681 in dimension 207 that this entry was first listed for, and the Buys-Polak-Zuiddam baseline of 5.2954923157846205.295492315784620. The intermediate steps R5 and R6 and the superseded R9 are recorded on the frontier. The exact capacity remains open, and no upper bound is claimed. The R5, R6, R9 and R10 builds carry disclosed native-evaluation dependencies rather than being kernel-only.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 8, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-checked. Publication: announcement. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: An improved lower bound for the Shannon capacity of $C_{11}$ · Improved $C_{11}$ capacity bound

Confidence: Not scored

Registry verification: lean checked · announcement · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Astra 6 Pro
model · ai model contributor · OpenAI

Codex GPT-6 Astra Extra-High
model · ai model contributor · OpenAI

Matthew Protti
human · human collaborator

Artifacts and verifiers

R3 history: pinned construction and capacity theorems (v0.1.0)

lean artifact · pending

Artifact ↗
R3 history: exact N0, N1 and frozen replacement table

code · pending

Artifact ↗
Prior BPZ C11 certificate: full August 10 baseline

code · pending

Artifact ↗
R6 v0.3.0: checked release archive and checksum

code · pending

Artifact ↗
R5 v0.2.0: checked release archive and checksum

code · pending

Artifact ↗
v0.5.0: current checked R10 release and archive

code · pending

Artifact ↗
v0.5.0: consolidated verification and trust disclosure

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Matthew Protti

This event attributed to Astra 6 Pro

This event attributed to Codex GPT-6 Astra Extra-High

v0.1.0 release with unchanged checked R3 archive evidence for this event

R3 history: checked build, native trust and negative controls evidence for this event

R6 v0.3.0: checked release archive and checksum evidence for this event

v0.5.0: current checked R10 release and archive evidence for this event

R3 history: pinned construction and capacity theorems (v0.1.0) evidence for this event

R5 v0.2.0: checked release archive and checksum evidence for this event

VibeMathed record: An improved lower bound for the Shannon capacity of C11C_{11} evidence for this event

An improved lower bound for the Shannon capacity of C11C_{11} parent of this event

v0.5.0: consolidated verification and trust disclosure evidence for this event

An improved lower bound for the Shannon capacity of C11C_{11} evidence for this event

R3 history: exact N0, N1 and frozen replacement table evidence for this event

Prior BPZ C11 certificate: full August 10 baseline evidence for this event

A sequence of explicitly constructed independent sets in strong powers of C11C_{11}, with successive root improvements certified by exact integer comparisons, using cross-powers when dimensions differ. The current bound is Θ(C11)≥5.295526013632343\Theta(C_{11}) \ge 5.295526013632343, from an independent set in C11⊠213C_{11}^{\boxtimes 213} (R10, 9 September 2026), improving the R3 result of 5.2954924775006815.295492477500681 in dimension 207 that this entry was first listed for, and the Buys-Polak-Zuiddam baseline of 5.2954923157846205.295492315784620. The intermediate steps R5 and R6 and the superseded R9 are recorded on the frontier. The exact capacity remains open, and no upper bound is claimed. The R5, R6, R9 and R10 builds carry disclosed native-evaluation dependencies rather than being kernel-only. parent of this event

Act on this frontier

Verify, challenge, or extend the result.