gpt 6 astra ultra attempt on Phys-437

Quantum Cellular Automata Realizing the Full Witt Group

Definitions and mathematical statement

Shared notation.

$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.

A nondegenerate braided fusion category has no nontrivial transparent objects. Its Witt class records it modulo the source equivalence involving centers of fusion categories; the pointed part comes from categories whose simple objects are all invertible. Higher-dimensional quantum cellular automata are bounded-range automorphisms of local observable algebras.

Catalogue wording retained for traceability.

Construct higher-dimensional quantum cellular automata corresponding to every element of the Witt group of nondegenerate braided fusion categories, extending the existing constructions for its pointed part.

Scope and source qualification.

The requested realization must identify the Witt correspondence and the automaton equivalence class. The source also flags unresolved order and dimension questions for existing examples.

Short English statement

Construct higher-dimensional cellular automata realizing every nondegenerate braided-fusion Witt class, beyond the pointed classes.

Research attempt

Model, date and investigated scope.

OpenAI GPT-6 Astra (configured model gpt-6-astra), ultra reasoning; generated 11 October 2026. Proved an integer-dimension obstruction to a naive nonpointed on-site fusion recipe and checked QCA support bounds under stacking/composition.

Sources and literature check.

Read the full supplied definition, catalogue wording, source qualifications and listed references for 30006639. No fresh status or novelty search was performed. The argument below proves its auxiliary statements directly and does not import an unverified external theorem.

Testing a direct on-site realization of nonpointed fusion.

Suppose a simple object $x$ obeys the nonpointed fusion rule $x\otimes x\cong\mathbf1\oplus x$. Any additive strong tensor realization assigning a nonzero finite-dimensional Hilbert space $H_x$ to $x$ and $\mathbb C$ to the unit would force, by taking dimensions, \[ n^2=1+n,\qquad n=\dim H_x\in\mathbb N. \] There is no such integer: the positive root is $(1+\sqrt5)/2$. Equivalently $n(n-1)=1$ is impossible for an integer $n$. This explicitly obstructs the naive recipe of treating each nonpointed simple object as an independent on-site Hilbert space whose ordinary tensor products exactly realize its fusion.

What survives the test.

Fusion-path spaces or constrained lattice subspaces can have ordinary integer dimensions while their abstract simple-object dimensions are nonintegral, so the argument is not a QCA no-go theorem. For actual QCAs, stacking two bounded-range automorphisms has range bounded by the maximum of their ranges, while composition has range bounded by the sum; both statements follow by tracking support neighborhoods. These operations can combine existing realizations, but starting with only pointed Witt classes and applying group operations stays inside the pointed subgroup by its definition.

Full-Witt gap.

To reach the full source Witt group, one needs a nonpointed construction respecting fusion and braiding through local constrained spaces and then a bounded-range automorphism on the permitted full observable algebra. The first missing step is that extension with a proved Witt correspondence, independent of presentation and compatible with the source automaton equivalence. Orders of the resulting classes and dimensional realization questions are also not determined. The integer-dimension obstruction rules out one simple recipe, not every desired realization.

Verification and adversarial audit.

Checked the fusion dimension equation, its lack of positive integer solutions, the constrained-space escape from the obstruction and support-radius bounds; no general QCA no-go claimed. Model self-audit only; no independent human mathematical verification. Applied contribution prompt A before drafting and B afterwards. Checked the fusion dimension equation, its lack of positive integer solutions, the constrained-space escape from the obstruction and support-radius bounds; no general QCA no-go claimed. First remaining gap: Construct nonpointed categorical data as bounded-range automorphisms on the permitted observable algebra and prove their presentation-independent Witt correspondence and order/dimension properties. The inherited source status is preserved; original-target completion remains zero.

Coordinator checked the integer-dimension obstruction for the displayed nonpointed fusion rule and the range bounds under QCA stacking and composition. This additional check was model-assisted, not independent human verification.

Tools, process and contributions.

Python 3 and local file tools used to read definitions and serialize manuscripts. Calculations are symbolic reasoning; no numerical experiment or theorem prover. Contribution prompt A was followed by prompt B. GPT-6 Astra with ultra reasoning drafted the research and performed its stated self-audit; any additional coordinator contribution is identified in the verification and audit. A GPT-6-based Codex coordinator assembled the manuscript and checked repository integration; its exact variant and reasoning configuration were not exposed. No human mathematical contribution, independent human proof check or formal proof certification is supplied. Complete derivations and the consulted source references are included here; private reasoning transcripts are not published.

Final status and first remaining gap.

UNRESOLVED. Construct nonpointed categorical data as bounded-range automorphisms on the permitted observable algebra and prove their presentation-independent Witt correspondence and order/dimension properties.

Completion Estimate

COMPLETION: 0% This is an elementary auxiliary calculation or an explicit test of a restricted strategy. No new portion of the full source target is established.

Sources

• S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath, record 30006639 (OWR-14299913-009). Catalogue curation under CC BY 4.0; definitions and English exposition added locally. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 Higher Structures from Symmetries in Quantum Field Theory $2026$, Oberwolfach Reports, DOI 10.4171/owr/2026/12, pp. 737--794. Original report and mathematical context. Incorporated report material remains under the source CC BY-SA 4.0 terms unless otherwise noted. https://doi.org/10.4171/owr/2026/12.