Manuscript XV-F-patch@1 · XV-F-patch.tex · definition · 6d6ef16d

Definition: Parameterized contact-role realization

Patch C: collision coordinates and correction-role formulas › Displayed templates for the three remaining roles · lines 958–1031

XV-F-patch@1#def:contacttemplate, XV-F-patch@1#eq:Dtemplate, XV-F-patch@1#eq:externalweights, XV-F-patch@1#eq:wtemplate, XV-F-patch@1#eq:Stemplate, XV-F-patch@1#eq:contacttemplate

Back to manuscript

Fix a graph and a collision chart (eq:collisionchart). Choose the following data.

First, choose a finite-order differential operator

Its actual order and coefficient functions are parameters. The bound in (eq:Cpartsource) does not bound .

Second, list the fixed smooth weight generators already present for that graph, denoted

They are placeholders for inherited external weights, not freely chosen additional functions. Include the graphwise evaluations of the source-named functions in this list. No formula for is introduced.

For the polynomial realization convention of this patch, choose a finite set and constant coefficients , and define

This is an explicit polynomial family. The source does not state that this family equals its entire admissible weight class.

Third, let

be the spectator parameter. Its name records the contracted graph and retained slots. Equation (eq:Stemplate) does not determine the inherited spectator distribution.

For , define the local template value

Only choices satisfying the source's parity, ghost-number, field-degree, support, normalization, product, and pushforward requirements are candidates for membership in .

Displayed formulas in this passage

  • XV-F-patch@1#eq:Dtemplate · line 964

  • XV-F-patch@1#eq:externalweights · line 980

  • XV-F-patch@1#eq:wtemplate · line 993

  • XV-F-patch@1#eq:Stemplate · line 1005

  • XV-F-patch@1#eq:contacttemplate · line 1016

Nearby in this section