Rademacher sign of a Boolean coloring
DefinitionRSigncombinatoricsdiscrepancy-theory
Given a Boolean coloring and a coordinate , is the corresponding Rademacher value: if , and otherwise. This is the standard translation between a Boolean coloring and a -valued sign vector used throughout discrepancy theory.
Definition code
import Mathlib
def RSign {m : ℕ} (χ : Fin m → Bool) (j : Fin m) : ℝ :=
if χ j then 1 else -1Source
J. Spencer, "Six standard deviations suffice", Trans. Amer. Math. Soc. 289 (1985), 679-706.
Human review
Confirmed by the mission captain (proposal self-audit).