Write, autoreview, editor, reviewer
3,129
edits
Line 32: | Line 32: | ||
<math>\gamma(x):= x, \text{ if } x>1/2 </math></br> | <math>\gamma(x):= x, \text{ if } x>1/2 </math></br> | ||
<math>\quad\quad :=g^{-1}(x), \text{ if } x\leq 1/2</math>,</br> | <math>\quad\quad :=g^{-1}(x), \text{ if } x\leq 1/2</math>,</br> | ||
where <math>g(x):= h(x)+x-1</math>, and <math>h(x):=-x\log(x)-(1-x)\log(1-x</math>.</br> | where <math>g(x):= h(x)+x-1</math>, and <math>h(x):=-x\log(x)-(1-x)\log(1-x)</math>.</br> | ||
We will use the shorthand <math>A_1^n</math> to denote the string <math>A_1,\ldots,A_n</math>. We denote <math>[n]</math> for the set <math>\{1,\ldots,n\}</math>. <math>H</math> is the Hadamard gate, and by convention <math>H^0=\mathcal{I}</math> and <math>H^1=H</math>. | We will use the shorthand <math>A_1^n</math> to denote the string <math>A_1,\ldots,A_n</math>. We denote <math>[n]</math> for the set <math>\{1,\ldots,n\}</math>. <math>H</math> is the Hadamard gate, and by convention <math>H^0=\mathcal{I}</math> and <math>H^1=H</math>. | ||