Skip to main content

evals_mobius_eq_hypercube

Function evals_mobius_eq_hypercube 

Source
pub fn evals_mobius_eq_hypercube<F: Field>(u_tilde: &[F]) -> Vec<F>
Expand description

Given vector u_tilde in F^n, populates out with mobius_eq_kernel(u_tilde, b) for b on hypercube H_n.

For boolean b_i ∈ {0,1} the per-coordinate kernel is:

  • K_i(0) = 1 - 2 * u_tilde_i
  • K_i(1) = u_tilde_i

The output ordering matches evals_eq_hypercube: mask bit i corresponds to u_tilde[i].