RDG--Maxwell Bridge 10: two-macroelement assembly gate

Date: 26 October 2026

Status: exact first overlap pass for sparse energy-compatible remeshing

Programme: RDG--Maxwell bridge

Evidence: two-macroelement assembly record

Verifier: two-macroelement assembly verifier

Question

Do the sparse compatible metrics from one refined triangle survive assembly when two geometry moves share cells?

Yes, in the first nontrivial overlap certificate.

Mesh

The coarse disk consists of two oriented faces

sharing edge \([0,2]\). Each face is stellarly refined with its own centre, vertices 4 and 5. The coarse and fine cell counts are

Both complexes are contractible. Their differential ranks are \((3,2)\) and \((5,6)\), giving cohomology \((1,0,0)\) in each case.

Each centre collapses to the first vertex of its parent oriented face. The induced global transport \(T\), subdivision restriction \(R\), and differentials satisfy exactly

Additive metric assembly

Embed the local blocks from Bridge 09 into the global cell coordinates and sum contributions on shared cells. This is the ordinary macroelement assembly rule. Shared vertices 0 and 2 receive weight 2; the shared edge \(02\) receives weight 2. Other coarse cells retain weight 1.

The assembled fine metrics are symmetric and have full ranks

equal to their dimensions. Positivity follows because each is a sum of positive local Gram forms and every global degree of freedom is covered by at least one macroelement.

Direct calculation gives zero residual for every identity:

and

Thus the assembled transport is gauge-safe, the assembled restriction is its energy adjoint, and reconstruction is an energy-orthogonal chain projector.

Locality survives overlap

The fine metrics contain 4, 8 and 12 off-diagonal entries in degrees 0, 1 and 2—exactly twice the one-macroelement counts. No entry directly couples centre 4 to centre 5, their exclusive radial-edge stars, or faces belonging exclusively to opposite macroelements. Interactions cross the join only through the already shared vertices and edge.

This is the desired form of locality: global compatibility emerges by adding small relational blocks, without constructing a dense inverse over the mesh.

RDG interpretation

The result upgrades the reconstruction vocabulary from a single example to a composable rule:

1. each accepted geometry move supplies a local chain retract;
2. each retract supplies a positive macroelement metric block;
3. shared cells add their contributions;
4. the global \(Q=I-TR\) remains a chain-compatible, energy-orthogonal residual detector.

The local “matrix” is therefore genuinely a relation carrier. Its overlap pattern builds the global energy geometry.

General algebraic assembly lemma

The identities themselves do not require an induction. Let macroelements (m) have signed Boolean injections (E{f,m}), (E{c,m}), local transports (T_m), and local metrics satisfying

Define the assembled metrics by

Linearity immediately gives (T^{\mathsf T}LfT=Lc). If every local block is positive semidefinite and the intersection of their injected kernels is zero, (L_f) is positive definite. The same local-to-global argument applies to commuting boundary squares when incidence signs agree on overlaps. Thus the algebraic assembly claim extends to any conforming oriented cover meeting these hypotheses; the two-face certificate is a concrete witness, not the proof's full scope.

Remaining analytical theorem

What remains is not the additive identity but uniform quality. A useful numerical theorem must specify:

• coherent orientations and collapse choices;
• coverage ensuring global positivity;
• behavior at boundaries and non-manifold joins;
• conditioning as vertex degree and refinement depth grow;
• approximation accuracy and continuum convergence.

The algebraic identities should assemble locally; uniform stability is the hard part.

Logical boundary

• Exact: topology, chain/retract identities, global metric pullback, weighted adjointness, self-adjoint reconstruction, ranks and locality residuals for the two-face mesh.
• Constructive pass: standard additive macroelement assembly works on the first shared-edge case.
• General algebraic result: compatible local pullbacks and commuting incidence maps assemble on any conforming oriented macroelement cover; positivity holds when the assembled local kernels intersect trivially.
• Open: uniform conditioning, approximation order, continuum convergence, nonconforming joins and time-dependent remeshing.
• Not claimed: equivalence to a published finite-element family or a continuum Maxwell convergence theorem.

Corpus links

• Sparse macroelement metric escape
• Local diagonal-Hodge remesh-family no-go
• Cochain-remeshing retract and reconstruction gate