Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, F-75005 Paris, France.
School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9AB, United Kingdom.
Phys Rev Lett. 2018 Dec 7;121(23):230401. doi: 10.1103/PhysRevLett.121.230401.
We introduce a notion of contextuality for transformations in sequential contexts, distinct from the Bell-Kochen-Specker and Spekkens notions of contextuality. Within a transformation-based model for quantum computation we show that strong sequential-transformation contextuality is necessary and sufficient for deterministic computation of nonlinear functions if classical components are restricted to mod2 linearity and matching constraints apply to any underlying ontology. For probabilistic computation, sequential-transformation contextuality is necessary and sufficient for advantage in this task and the degree of advantage quantifiably relates to the degree of contextuality.
我们为序贯语境中的变换引入了一种语境性概念，与贝尔-科亨-斯佩克尔和斯佩克恩斯的语境性概念不同。在量子计算的基于变换的模型中，我们表明，如果经典组件仅限于 mod2 线性且适用于任何基础本体的匹配约束，则强序贯变换语境性是确定性计算非线性函数的必要和充分条件。对于概率计算，序贯变换语境性是在这项任务中取得优势的必要和充分条件，并且优势的程度与语境性的程度定量相关。
