Name | von Neumann Entropy of a Normalized Projector
Object | $\rho=P/\mathrm{tr}\,P$
Type | Finite-rank projector state
Identity | $S(\rho)=\log(\mathrm{rank}\,P)$; on E47 this is $\log 47$
Evidence | E0 + E1
Boundary | Finite-rank projector state; not a physical entropy. Distinct from FPV20-C02 and from QOP-C01..C10.
Parents: FPV20-C02, FPV20-C05, E47-KERNEL-47.
Witness: PF-FPV20-QI-005 · residual $0$.