Paper V visual guide · Visual 20 of 40 · POINTWISE SIGNALS VERSUS CAUCHY COEFFICIENTS

Two products, two packet laws

Traditional monograph: Theorem 12.1 (p. 24).

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

The word “product” must be typed. Multiplying two signal values at the same time address is not the same operation as multiplying generating series. The distinction changes which packets can interact.

Pointwise and Cauchy products
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

The left panel shows disjoint residue masks under pointwise multiplication. The right panel shows coefficient convolution with output residue given by the sum of input residues.

Drawing labels and data 20 labels

Read the original labels as selectable text. Tables preserve grid relationships; other short labels are grouped compactly.

  • POINTWISE SIGNAL PRODUCT
  • CAUCHY COEFFICIENT PRODUCT
  • \(0\)
  • \(2\)
  • \(4\)
  • \(1\)
  • \(3\)
  • \(5\)
  • \((P_{2,0}x)\,(P_{2,1}y)=0\)
Drawing grid 1 · rows top to bottom, columns left to right
Row / columnColumn 1Column 2Column 3
Row 1\(0\)\(1\)\(2\)
Row 2\(1\)\(2\)\(0\)
Row 3\(2\)\(0\)\(1\)
  • output label \((i+j)\bmod 3\)
\[A=1+2t+3t^2,\ B=2+t^2:\qquad P_{3,0}(AB)=2+2t^3\]

Open the full-size drawing

Pointwise multiplication preserves the same address

For time-residue masks, \((P_{N,i}x)[n](P_{N,j}y)[n]=0\) when \(i\ne j\). Therefore

\[ P_{N,k}(x\cdot y)=(P_{N,k}x)\cdot(P_{N,k}y). \]

Here the dot means multiplication at the same sample, not convolution.

Cauchy multiplication adds degrees

For formal series \(A(t),B(t)\), the coefficient of \(t^n\) is a sum over \(a+b=n\). Consequently the output residue is \(i+j\pmod N\):

\[ P_{N,k}(AB)=\sum_{i+j\equiv k\ (N)}(P_{N,i}A)(P_{N,j}B). \]

For \(N=3\), take \(A=1+2t+3t^2\) and \(B=2+t^2\). Direct multiplication gives

\[ AB=2+4t+7t^2+2t^3+3t^4, \qquad P_{3,0}(AB)=2+2t^3. \]

The \(2t^3\) term comes from residues \(1+2\), not \(0+0\). At power zero, the empty product contributes \(1\) only in residue zero. These are formal coefficient identities and require no convergence assumption.

Read this as

Before applying a packet multiplication rule, specify whether multiplication acts on sample values or on series coefficients.

Source and conversion record

The original atlas wording, equations, and drawing labels are retained. Drawings are views of the frozen visual-guide PDF. Text descriptions and table headings are added reading aids. This conversion does not rebuild TeX, rerun the examples, audit proofs or compile Lean.

Conversion checks and source hashes

Notation in Paper V

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index