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

Back to manuscript

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