Cube

From Boolean Zoo
Jump to: navigation, search

Definition

A subset of the Boolean hypercube [math]A \subseteq \{-1,1\}^n[/math] is a subcube if there exists a set of indices [math]S \subseteq [n][/math] and fixed numbers [math]a_i = \pm 1[/math],[math]i \in S[/math] such that

[math]A = \{x \in \{-1,1\}^n \mid x_i = a_i~ \forall i \in S \}[/math].

In words, [math]A[/math] is the set of all points where some particular coordinates are held fixed, while the other coordinates are free. A function [math]f : \{-1,1\}^n \to \{-1,1\}[/math] is called a subcube if its support is a subcube.

The number of fixed indices [math]|S|[/math] is called the codimension of the cube, while the number of free indices [math]n-|S|[/math] is called the dimension of the cube.

Properties

  • A subcube of dimension [math]k[/math] has [math]2^k / 2^n[/math] vertices. Thus, subcube functions are balanced only if they are of codimension 1, i.e there is exactly one fixed index. In this case the function is either a dictator or an anti-dictator.
  • If [math]a_i = 0[/math] for all [math]i[/math] then the subcube function is monotone.
  • Subcubes are the only functions for which equality is attained in the isoperimetric inequality. (TODO: reference this)

References