2D Flatness Residual Test

A CMF is flat (path-independent) if matrix products are path-independent: any two admissible paths between the same endpoints yield the same product. This page runs the exact 2D residual test. For 3D entries, only the path-independence heuristic applies.

Mathematical Background

A 2D CMF has matrix fields \(K_1(k,m)\) and \(K_2(k,m)\). The flatness condition states:

\[K_1(k,m) \cdot K_2(k{+}1,\,m) = K_2(k,m) \cdot K_1(k,\,m{+}1)\]

When this holds for all \((k,m)\), products along any lattice path from \((0,0)\) to \((K,M)\) agree.

This test checks the condition numerically at each grid point using 20-digit mpmath arithmetic.

The residual at each point \((k,m)\) is the Frobenius norm of \(K_1(k,m)\cdot K_2(k{+}1,m) - K_2(k,m)\cdot K_1(k,m{+}1)\).

Note: Small residuals are empirical evidence only — not a formal proof. Symbolic verification via SymPy/Maple is required for certainty.

Test Configuration

No CMF selected
For 3D CMFs: Kx/Kz and Ky/Kz tested at this n slice
Select a CMF and click Run Test to begin.