Manuscript XIII-C@1 · XIII-C.tex · proposition · e6556893
Proposition: Primitive parallel-line degrees
C3: scaling degrees and their exact scope › The parallel-line primitive · lines 870–907 · proof included or linked
XIII-C@1#prop:parallel-degree
Let
Then
Equality holds when the leading differentiated homogeneous tensor product is nonzero. In particular,
Proof. The leading mass-independent term is homogeneous of degree . Each nonvanishing derivative raises its short-distance degree by its derivative order. The lower-order massive terms do not increase that bound.
For the first example the leading product is nonzero. For the second, evaluate its homogeneous leading coefficient at spacelike with . Each temporal second derivative is a nonzero constant multiple of , and their product is a nonzero multiple of . This proves the lower bounds as well as the stated upper bounds. An identically vanishing tensor contraction, such as a wave-operator combination away from its source, is excluded from the equality assertion.
Displayed formulas in this passage
unlabeled · line 873
unlabeled · line 880
unlabeled · line 885