Write
262
edits
Device-Independent Quantum Key Distribution: Difference between revisions
→Pseudocode
| Line 87: | Line 87: | ||
##'''If''' <math>T_i=1</math> and <math>A_i\oplus B_i\neq X_i\cdot Y_i</math> '''then''' <math>C_i=0</math> | ##'''If''' <math>T_i=1</math> and <math>A_i\oplus B_i\neq X_i\cdot Y_i</math> '''then''' <math>C_i=0</math> | ||
## '''If''' <math>T_i=0</math> '''then''' <math>C_i=\bot</math> | ## '''If''' <math>T_i=0</math> '''then''' <math>C_i=\bot</math> | ||
# | # Bob aborts '''If''' <math>\sum_j C_{j}<m\times (\omega_{exp}-\delta_{est})(1-(1-\gamma)^{s_{\max}})</math>, i.e., if they do not achieve the expected violation. | ||
''For the summation in 3.2 we use the convention that <math>\forall x\in \{0,1,\bot\},\ x+\bot=\bot+x=x</math>, that is <math>\bot</math> acts as <math>0</math> with respect to the addition.'' | ''For the summation in 3.2 we use the convention that <math>\forall x\in \{0,1,\bot\},\ x+\bot=\bot+x=x</math>, that is <math>\bot</math> acts as <math>0</math> with respect to the addition.'' | ||