# W3 LAB — Wuliang Method · Generative Mathematics · Stereo Matrix Theory

> W3 LAB (Changsha, Hunan, China) is initiated by **Central South University** and **Hunan Digital Application Technology Co., Ltd.**, jointly built with mathematicians and AI algorithm engineers from **Hunan University** and **Xiangtan University**. Research covers the **SW Structural Worldview**, **Generative Mathematics (GM)**, **complex-systems algorithms**, and **trustworthy AI**. Lead: Wu Liang (吴靓, ORCID 0009-0006-9694-5739) — former faculty member of the Institute of Intelligent Systems, Central South University (supervisor: Prof. Qinghua He), currently Chief Scientist at Hunan Digital Application Technology Co., Ltd. Its preprints are open access on Zenodo under DOIs. Three research programs (28 preprints): **Wuliang Method** + **Generative Mathematics** + **Stereo Matrix Theory (SM)** — the latter being the **general mathematical language for open complex systems with arbitrary-order coupling**: under the SW Structural Worldview, the Wuliang Method and Generative Mathematics grow the stereo matrix, giving modeling, analysis and computation a single unified language. Two original research lines: the **Wuliang Method** (无量方法) — a computable, constructible, falsifiable emergence criterion via homotopy cofibers — and **Generative Mathematics** (生长式数学) — automatic growth of mathematical theories with a "construction as proof" paradigm. **Level 0 — SW Structural Worldview (SW 结构世界观)**: the world has an **a priori, static, high-dimensional rule-network structure**; observation only takes low-dimensional samples of it and does not create it — the aim of research is to *read out* a structure that is already there, not to invent laws. On that foundation the site is one chain across three levels: **Level I — Method** (how theories are built: Wuliang Method + GM, 12 preprints) → **Level II — Language** (what the world is written in: Stereo Matrix Theory, 16 preprints incl. the six-domain open-complex-systems validation) → **Level III — Criteria** (where claims are falsified: six pre-registered domains, emergent/self-organization/chaos/phase-transition given one structural definition each).

Official site: https://w3-lab.cn
Author: Wu Liang (吴靓) — https://orcid.org/0009-0006-9694-5739
Contact: w3-lab-pub@outlook.com
Community index (Gitee): https://gitee.com/w3-lab/w3lab-papers

Navigation on the site uses **Levels** (Level 0 = the SW Structural Worldview axiom; Level I = Method; Level II = Language; Level III = Criteria). The paper index below keeps the original **Series** numbering; the mapping is: **Level I = Series I–III** (P1–P12), **Level II = Series IV** (SM-01–16), **Level III = Series V** (立-10–15).

## Topic Pages / 专题页

Index: [Topics / 专题索引](https://w3-lab.cn/topics/index.html) — five topic pages organized by reader questions, chained prev→next; each auto-generates paper cards with DOIs from the publication registry.

- [Emergence: can it be computed? / 涌现能不能算](https://w3-lab.cn/topics/emergence.html): the computable emergence criterion (homotopy cofiber vs assembly prediction), falsifiability via two mechanism-free domains, and the AI applications (constructive intelligence, non-escape control).
- [How mathematics grows / 数学怎么被生长](https://w3-lab.cn/topics/generative-math.html): construction-as-proof, the L0–L6 structure tower, closed-form proof-length D(n) for the pigeonhole principle with full machine verification, and the ZFC/constructive bridge.
- [From theorem to tape-out / 从定理到流片](https://w3-lab.cn/topics/bilinear-hardware.html): the structural hole in LEC for AI-discovered algorithms, the five-layer tape-out-readiness protocol, the zero-cooperation audit of the rank-48 RTL (two unknown defects), and deployment pricing.
- [What is a stereo matrix? / 立体矩阵是什么](https://w3-lab.cn/topics/sm-foundations.html): the tensor-as-object move, irreducibility of ternary coupling, the 143,930-class full spectrum, 6.98-step reduction, and the Φ direct-sum theorem (classical matrix theory as a cross-section).
- [Six-domain validation / 六领域验证](https://w3-lab.cn/topics/complex-systems.html): pre-registered falsifiable tests across six domains (87.5% closure, 26/26, 200/200, 198/198; misses logged), unified structural definitions of emergence/self-organization/chaos/phase transition, and the τ / Ramanujan correspondences with stated boundaries.

## Ask the Papers (RAG, live) / 论文问答（检索增强）

- [Ask / 问论文](https://w3-lab.cn/ask.html): retrieval-augmented QA over the published preprints. Retrieval runs server-side over original-text chunks; the answer is generated only from retrieved passages and must cite `[SM-03 §2]` / `[P1 §3]`; when the passages are insufficient the service explicitly answers "not covered in the papers".
- API: `POST https://w3-lab.cn/api/ask` with `{"q": "..."}` → `{answer, sources:[{paper,section,doi,score,excerpt}]}`. Rate limit 6 req/min/IP. Unpublished manuscripts (SMT series, SM-17, handbooks) are refused at the edge and are not in the corpus.

## Q&A / 问答库

- [Static Q&A library / 论文问答库](https://w3-lab.cn/qa.html): 41 curated questions with answers strictly grounded in the papers, each with paper-number and DOI citations (FAQPage structured data included).

## Series I — Wuliang Method (无量方法)

- [Finiteness and Hierarchical Structure of Open Systems: A Computable Emergence Criterion via the Wuliang Method](https://doi.org/10.5281/zenodo.22682819): Openness forces hierarchy, hierarchy forces bounded information, and boundedness makes formalization possible. Defines emergence as the irreducible part of a hierarchical jump beyond assembly prediction, computed layer-wise via the homotopy cofiber of a comparison map. Computable, constructible, falsifiable; closed systems are the degenerate zero-flux case. (CC BY 4.0)
- [Constructive Intelligence: Deconstruction, Measurement, and Prediction of Deep Networks](https://doi.org/10.5281/zenodo.22683024): CNN and Transformer as explicit instances of the constructive operator Ω; scaling laws as projections of an E≡0 segment; 48x acceleration for self-goal transition within the operator-compatible domain. (CC BY 4.0)
- [Monitoring, Non-Escape Control, and Knockout of Constructive Intelligence](https://doi.org/10.5281/zenodo.22683070): Center–sphere non-escape architecture; humans as the fixed-point center, monitoring triangle, formal escape metric d_escape; grokking experiment with 100-step early warning. (CC BY 4.0)

## Series II — Generative Mathematics (生长式数学)

- [Generative Mathematics I: Automatic Growth of Mathematical Theories and a New Proof Paradigm](https://doi.org/10.5281/zenodo.22700579): Axiom seed → deterministic constructive growth → layer-wise structure → construction as proof; verified on Euclidean, Riemannian and Lobachevskian geometry; 516 new independent closure constraints from L2 to L3. (CC BY-NC 4.0)
- [Generative Mathematics II: The Demise of Anthropocentrism and the Mathematical Inevitability of AI Threatening Humanity](https://doi.org/10.5281/zenodo.22700700): Three formal results — observer-independent theory space, non-conscious-dependent construction, and a conditional transition theorem for AI self-evolution. (CC BY-NC 4.0)
- [Generative Mathematics III: Closed-Form Constructive Generation for NP Problems and the High-Dimensional Ontology](https://doi.org/10.5281/zenodo.22739766): Projection necessity; closed-form decision functions for NP problem families; Tseitin satisfiable-charge fraction 2^(−c); all-different phase transition P(SAT)≈exp(−2n(1−p)^n). (CC BY-NC 4.0)
- [Generative Mathematics IV: Exact Closed-Form Resolution Proof Length of the Pigeonhole Principle](https://doi.org/10.5281/zenodo.22739951): Exact closed form D(n)=(e−1/6)(n+1)! and the identity ⌊(e−1/6)(n+1)!⌋=D(n)+n+2; symmetric-group quotient compresses storage from factorial to exponential, 671.4x at n=8; machine-verified for n=2..9. (CC BY-NC 4.0)
- [Non-commutativity and Boundedness: The Divergence and Fusion of ZFC Mathematics and Constructive Mathematics](https://doi.org/10.5281/zenodo.22825898): Theory paper (P8). The classical/constructive divide is rooted in non-commutativity, not the law of excluded middle; within Generative Mathematics non-commutativity is encoded as non-vanishing curvature, and curvature together with compactness and isotropy closes growth paths — closure means boundedness. ZFC appears as the commutative degenerate case; structural correspondences with Bishop's constructive analysis, Sambin's formal topology, topos theory, homotopy type theory, and reverse mathematics. (CC BY-NC 4.0) Bilingual edition (v2, 2026-09-23): full text in Chinese and English.

## Series III — Bilinear Complexity Engineering (双线性复杂度工程)

- [Machine-Verified Addition Inventories and a Pigeonhole Lower Bound for Small-Size Bilinear Matrix-Multiplication Algorithms](https://doi.org/10.5281/zenodo.23031199): First complete accounting of the addition cost of the 4x4 rank-48 algorithm (332 additions, compressed from a naive 1,760), with machine-verified inventories for 3x3 rank-23 (58) and 4x4 rank-49 (194); pigeonhole lower bounds PLB(3,23)=3 and PLB(4,48)=7. (CC BY-NC 4.0) Bilingual edition (v1, 2026-09-29).
- [Machine-Checked Certificate Architecture and Recursive Cost Theory for Bilinear Matrix-Multiplication Algorithms: From Addition Inventories to Deployment Pricing](https://doi.org/10.5281/zenodo.23031225): Certificate closure (a search hit enters the registry only if replay passes); full audit of 14,236 mutually inequivalent 4x4 rank-49 AlphaTensor schemes with zero exceptions; closed form for recursive cost and the critical cost ratio lambda*=138, with lambda*(k) crossing 1 at k=25; two negative results delimit the method. (CC BY-NC 4.0) Bilingual edition (v1, 2026-09-29).
- [From Optimization to Certification: Machine Verification, Recall, and Deployment Pricing of Matrix-Multiplication Schemes](https://doi.org/10.5281/zenodo.23031227): A scheme-level verification toolkit (scheme library / verifier / pricing) and a cost-effectiveness decision framework with explicit decision conditions for AI inference kernels, post-quantum cryptography migration, and AI chip design-space exploration. (CC BY-NC 4.0) Bilingual edition (v1, 2026-09-29).
- [Algorithm-Level Tape-Out-Readiness Certification of the AlphaEvolve Scheme: Machine Verification, Mutation-Recall Audit, and Deployment Pricing for Fast Matrix-Multiplication Hardware](https://doi.org/10.5281/zenodo.23052802): Five-layer algorithm-level certification protocol for AI-generated matrix-multiplication hardware — coefficient-matrix comparison against a golden model, symbolic semantics of the reference model, end-to-end RTL equivalence and shift-truncation completeness, per-net bit-width with benign-overflow certificates, and mutation-recall audit. Zero-cooperation external audit of the only public rank-48 RTL implementation found two defects unknown to the original authors (F2 reference-model semantic drift, F3 harmless overflow); deployment pricing gives break-even widths w*=9 (vs naive) and w*=6 (vs Strassen-squared). (CC BY-NC 4.0) Bilingual edition (v1.2, 2026-09-30; supersedes v1.1). Revision V1.2 adds a domain qualification of the 48-multiplication record (characteristic 0, complex-coefficient non-commutative), a distinction from reference-model-driven generation (FormalRTL, §2.4), and an explicit single-case limitation (§7.3).

## Series IV — Stereo Matrix Theory / 立体矩阵论

- [Foundations of Stereo Matrix Theory: Definition, Direct-Sum Structure, and Representational Capacity](https://doi.org/10.5281/zenodo.23430222): This is the first paper of the Stereo Matrix (SM) unified matrix theory series, addressing the logical starting point of the programme: what the object is, what it can express, and how to model with it. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Certifiable Computation and Coding for Stereo Matrices](https://doi.org/10.5281/zenodo.23430229): This paper systematically establishes the theory of computational properties of the Stereo Matrix (SM), answering a foundational question: as a mathematical object, on what grounds is SM simultaneously a computational object — computable, certifiable, storable and retrievable? The paper proceeds along three main lines. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Intrinsic Structure of Stereo Matrices: Cell Complexes and the Full Spectrum of Equivalence Classes](https://doi.org/10.5281/zenodo.23430231): This paper dissects the intrinsic structure of the Stereo Matrix (SM), answering the core question that follows the first paper of the series: what shape does the internal terrain of an SM object take? Results at four levels. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Structural Performance and Reduction Dynamics of the Standard Equivalence Class: Conservation of the Exchange Law](https://doi.org/10.5281/zenodo.23430238): The equivalence classes of factorizations of the matrix multiplication tensor are a classical object of algebraic complexity theory, yet the literature concentrates on uniqueness proofs for optimal algorithms, and the structure and geometry of the full spectrum of equivalence classes have never been systematically constructed. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Flip-Graph Dynamics and Reduction Convergence of Stereo Matrices](https://doi.org/10.5281/zenodo.23430245): Abstract: The decompositions of a stereo matrix (SM) are not a static object: all decompositions of each tensor are linked by flip moves into a graph — the flip graph — so an SM object carries its own dynamics. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [A Unified Protocol for Stereo-Matrix Modelling: Four Domain Cases and the Four-Colour Mechanism](https://doi.org/10.5281/zenodo.23430250): This paper expands the modelling method of the first paper into a reproducible unified protocol and case set, asking: does SM modelling preserve the same skeleton and the same structural laws across quite different domains? The unified protocol comprises five modelling steps M1–M5, six analysis steps A1–A6, and three i. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Locating Stereo Matrices in the Disciplinary Landscape: Relations to Tensor Methods and Decomposition Algorithms](https://doi.org/10.5281/zenodo.23430257): Abstract: Unified matrix theory is not an isolated construction: it is adjacent to at least six existing disciplinary blocks. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Unified Matrix Theory: The Direct-Sum Principle and the Stereo Realisation of Classical Matrix Theory](https://doi.org/10.5281/zenodo.23430262): Abstract: This paper builds the complete mathematical core of unified matrix theory and answers three questions according to the norms of a mathematical treatise. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Accelerating LLM Inference with Structured Tensor Encoding: Byte Slimming and Cache Residency](https://doi.org/10.5281/zenodo.23430265): This paper advances the Stereo Matrix (SM) coding system from mathematical construction to engineering realization, answering an industry-level question: where is the cost of large-model inference spent, and how far can structured coding compress it? All conclusions come from five pre-registered experiments (protocols and raw data fixed by SHA-256;. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Stereo Matrix Theory: A New Mathematical Language for Open Complex Systems](https://doi.org/10.5281/zenodo.23430308): Calculus underpinned the Einstein era, giving language to continuous change;. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.

## Series V — Open Complex Systems / 开放复杂系统

- [The Dual Nature of Complex Systems: Many-Body Coupling and Reduction](https://doi.org/10.5281/zenodo.23430274): Complex-system research has long remained in a state of phenomenological similarity and theoretical fragmentation: differential equations give numerical evolution, network science gives static structure, statistical physics gives ensemble laws, and emergence, self-organization, chaos and phase transition each build their own theory. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Reduction of Coupled Structures: From Flip Graphs to the Standard Equivalence Class](https://doi.org/10.5281/zenodo.23430280): Abstract: Reduction is the second essential pillar of the complex-system family: many-body coupling answers what a complex system is, reduction answers why it can be understood. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Structural-Level Validation across Six Domains: Falsifiable Tests of Stereo-Matrix Modelling](https://doi.org/10.5281/zenodo.23430282): Abstract: Family I established the dual essence, family II gave the reduction tool chain;. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [The Stereo-Matrix Workflow: From Relational Modelling to Structural Simulation](https://doi.org/10.5281/zenodo.23430285): Abstract: This paper (the fourth of the complex-system family) operationalizes the unified modelling protocol M/A/B (modelling → analysis → simulation) into an executable workflow. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [A Three-Body Closure Mechanism for the Modular Parameter τ: Derivation from Stereo-Matrix Axioms and Tests](https://doi.org/10.5281/zenodo.23430291): Taking the Stereo Matrix (SM) structural worldview as its axiomatic system, this paper gives a first-principles derivation, quantitative determination and observable predictions for the selection mechanism of the modulus parameter τ in modular A₄ flavour models;. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.
- [Correspondence between Stereo-Matrix Structural Constants and Ramanujan Constant Families: Skeleton Positioning and a Group-Chain Bridge](https://doi.org/10.5281/zenodo.23430301): Physical constants are measurable but not derivable — a long-standing puzzle in contemporary physics. (CC BY-NC 4.0) Preprint, V1.0, 2026-10-17. Bilingual: Chinese + English DOCX.

## Citation

Wu, Liang (W3 Lab). *[Paper title]*. Zenodo. DOI: 10.5281/zenodo.xxxxxxx.
Attribution (author, title, platform, DOI) must be explicit in the citing text.