Weak String Erasure: Difference between revisions

Jump to navigation Jump to search
Line 30: Line 30:
** <math>A_\mathcal{I}</math> denotes the sub-string of <math>A_1^n</math> whose bit are in <math>\mathcal{I}</math>.
** <math>A_\mathcal{I}</math> denotes the sub-string of <math>A_1^n</math> whose bit are in <math>\mathcal{I}</math>.
* Let us define the following function.
* Let us define the following function.
<math>\gamma(x):= x \text{ if } x>1/2 </math></br>
<math>\gamma(x):= x, \text{ if } x>1/2 </math></br>
      <math>\quad :=g^{-1}(x) \text{ if } x\leq 1/2</math>, where <math>g(x):= h(x)+x-1$, and $h(x):=-x\log(x)-(1-x)\log(1-x)</math>.</br>
<math>\quad\quad :=g^{-1}(x), \text{ if } x\leq 1/2</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=\id</math> and <math>H^1=H</math>.
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>.


==Hardware Requirements==
==Hardware Requirements==
Write, autoreview, editor, reviewer
3,125

edits

Navigation menu