# NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras

arXiv: https://arxiv.org/abs/2605.17390 · HTML: https://mlsanity.com/paper/2605.17390/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 6 of its 58 references that are in the map.
- First posted on arXiv 17 May 2026.

## Builds on (most cited first, 6 of 6)

- [Group Equivariant Convolutional Networks](https://mlsanity.com/paper/1602.07576/) (2016)
- [Gauge Equivariant Convolutional Networks and the Icosahedral CNN](https://mlsanity.com/paper/1902.04615/) (2019)
- [MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases](https://mlsanity.com/paper/2304.07548/) (2023)
- [GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming](https://mlsanity.com/paper/2312.15302/) (2023)
- [Verifying SQL Queries using Theories of Tables and Relations](https://mlsanity.com/paper/2405.03057/) (2024)
- [Scaling Automated Database System Testing](https://mlsanity.com/paper/2503.21424/) (2025)

## Abstract (arXiv)

Context. Metamorphic Testing is recognised in IEEE/ISO software-testing standards and increasingly recommended for AI systems, but its progress is bottlenecked by metamorphic relation (MR) identification: existing approaches (structured frameworks, mining and evolutionary pipelines, LLM-assisted methods, MetaPattern catalogues) share an inductive grounding that leaves three foundational questions open: origin, closure, and transferability. Objective. We propose a framework whose downstream step from program-induced operator algebra to MetaPattern set is mechanical and provable, while the upstream curation of the algebra is a stated empirical hypothesis with explicit scope precondition. Method. NOETHER is a two-layer framework. The upstream layer is an eight-block decomposition over recurrent mathematical structures (symmetry, order, self-adjoint, time-reversal, limit, qualitative-dynamics, method-comparison, relational equivalence). The downstream CONSTRUCT-MP algorithm produces a MetaPattern set with algebraic-closure (Theorem 1) and polynomial-time decidability (Theorem 2) guarantees. We test the framework on three operator-algebraic domains. Results. On Boltzmann reactor physics NOETHER systematises a prior inductive catalogue; on equivariant ML it derives executable MRs for rotation invariance, adjoint duality, and training-trajectory reversibility; on relational query optimisers it exercises the relational-equivalence block. The central falsifiable prediction (L*-blindness on homogeneity-preserving mutators) holds on the in-scope substrate. The absolute-completeness conjecture (Theorem 1') is falsified on PWR core diffusion via two pairwise-independent counterexamples that identify five Translate-extension dimensions. Conclusion. Induction is relocated from per-program MR sampling to a per-domain algebraic layer; the downstream step is deductive and mechanical.