Manuscript Psy01-A@1 · Psy01-A.tex · section · 94477fa3
Integer retention counts
Definitions and exact pruning operators › Integer retention counts · lines 311–341
Psy01-A@1#eq:integercounts, Psy01-A@1#eq:densityrounding
For each matrix, order its eligible positions by descending absolute weight, breaking ties by increasing flattened index. Let retain exactly the first eligible positions. Eligibility is restricted to the current mask, so deleted positions cannot be reactivated.
For an early target , use
Removing a fraction of the surviving positions means
Consequently,
with equality zero possible at integer-aligned targets.
Thus is the continuous target law. The exact finite-network density is determined by the integer counts.
Displayed formulas in this passage
Psy01-A@1#eq:densityrounding · line 331
unlabeled · line 320
Psy01-A@1#eq:integercounts · line 324