Name | Dirichlet-Incidence Polarization
Object | Oriented incidence $B$ and combinatorial Laplacian $L$
Type | Exact polarization identity
Identity | $x^{\mathsf T} L x = \|B^{\mathsf T} x\|^2$
Evidence | E0 + E1
Boundary | Finite oriented graphs. Distinct from DIRI-C01 and INCID-C01; it is their bridge.
Parents: PF-FPV20-DIRI-C01, PF-FPV20-INCID-C01.
Witness: PF-FPV20C-GRAPH-004 · residual $0$.