Теорема про заборону комунікації — no-go-теорема в теорії квантової інформації, яка стверджує, що при вимірюванні квантових сплутаних станів спостерігач, вимірюючи підсистему спільного стану, не може передати інформацію іншому спостерігачу. Теорема має важливе значення, тому що заплутування квантових станів може встановити такі кореляції, що здавалося б можлива миттєва комунікація. Теорема про заборону комунікації визначає умови, за яких це неможливо. Її результати можна застосувати до так званих парадоксів квантової механіки, таких як парадокс ЕПР чи до порушення локального реалізму в дослідах і перевірки теореми Белла. Теорема про заборону комунікації показує, що в цих дослідах, порушення локального реалізму не має наслідком того, що можна було б назвати «страхопудним зв'язком на відстані» (за аналогією зі «страхопудною далекодією» Ейнштейна).
Теорема про заборону комунікації стверджує, що в рамках квантової механіки неможливо передати класичні біти інформації за допомогою ретельно підготовлених змішаних або чистих станів, незалежно від того, чи є вони сплутаними. Теорема забороняє передачу через спільні квантові стани будь-якої інфомації, а не тільки передачу інформації швидше ніж швидкість світла.
Основним припущенням, на якому тримається теорема, є справедливість законів квантової механіки. Аналогічні теореми можуть бути або не бути справедливими в рамках інших теорій[1], таких як теорії прихованих параметрів. Теорема про заборону комунікації не накладає обмежень на такі теорії.
Припускається, що в початковому стані квантовомеханічна система перебуває в чистому або змішаному стані в гільбертовому просторі H. Система далі еволюціонує так, що з часом її можна розбити на дві просторово розділені частини A та B, де її спостерігають Аліса і Боб, яким дозволено виконувати вимірювання над частиною спільної системи. Постає питання: чи може Аліса зробити що-небудь таке, що його міг би зареєструвати Боб? І теорема відповідає: «Ні».
Важливим припущенням теореми є те, що ні Алісі, ні Бобу не дозволено жодним чином впливати на приготування початкового стану. Якщо Алісі було б дозволено приготувати початковий стан, то вона могла б з легкістю закласти в нього повідомлення, тож як Алісі, так і Бобу такі дії заборонені. Теорема не вимагає того, щоб початковий стан був якимось конкретним: випадковим, збалансованим чи однорідним: третій учасник експерименту може легко закодувати в підготовлений стан будь-яке послання, і Боб та Аліса його приймуть. Теорема просто стверджує, що як би не був підготовлений початковий стан, Аліса не може зробити з ним нічого такого, що міг би зареєструвати Боб.
Далі в доказі визначається як розбити загальний гільбертів простір H на дві частини HA та HB, які описують підпростори, доступні Алісі й Бобу. Вважається, що загальний стан системи описується матрицею густини σ. Це розумне припущення, оскільки матриця густини може описувати як чисті так і змішані квантовомеханічної стани. Іншим важливим припущенням теореми є те, що вимірювання виконуються застосуванням узагальненого проективного оператора P до стану σ. Знову ж, це розумно, оскільки оператор проєкції дає правильний математичний опис квантовомеханічних вимірювань. Вимірювання Аліси призводить до колапсу загального стану системи до стану P(σ).
Мета теореми — доказати, що Боб жодним чином не може відрізнити стан, який був перед вимірюванням, від стану P(σ), що утворився після вимірювання. Математично це здійснюється порівнянням сліду стану σ зі слідом стану P(σ) на підпросторі HA. Оскільки слід береться тільки по підпростору, його називають частковим слідом. Ключовим на цьому кроці є припущення, що частковий слід адекватно відображає точку зору Боба. Тобто все, до чого Боб має або матиме коли-небудь доступ, що він може виміряти чи детектувати повністю описується частковим слідом по підпростору HA системи σ. Знову ж, ще розумне припущення, бо воно є частиною стандартної квантової механіки. Той факт, що цей слід не змінюється після вимірювань Аліси, дозволяє зробити висновок про неможливість комунікації.
Доведення теореми зазвичай ілюструють в умовах перевірки теореми Белла. Двоє спостерігачів Аліса та Боб виконують локальні вимірювання над спільною для них системою двох частинок. Теорема використовує статистичний апарат квантової механіки: матрицю густини й квантові оператори[2].
Аліса та Боб виконують вимірювання над системою S, гільбертів простір якої визначений як
Щоб уникнути проблем із розбіжностями, припускається, що всі розмірності скінченні. Стан спільної системи задається оператором густини на H. Будь-який оператор густини σ на H має вигляд:
де Ti та Si є операторами на HA та HB. Для доведення не обов'язково, щоб Ti та Si були б проективними операторами стану: тобто їм не обов'язково буди невід'ємними чи мати одиничний слід. Так σ може бути визначена дещо ширше, ніж матриця густини, теорема залишатиметься справедливою. Для сепарабельних станів теорема взагалі тривіальна. Якщо спільний стан σ сепарабельний, зрозуміло, що будь-яка локальна дія Аліси не вплине на систему Боба. Сенс теореми в тому, щоб доказати відсутність можливості комунікації у випадку спільного заплутаного стану.
Аліса виконує локальні вимірювання на своїй підсистемі. У загальному випадку це описується квантовою операцією над станом системи на кшталт
де Vk називають матрицями Крауса. Вони задовольняють умові
Член
у виразі
означає, що вимірювання приладу Аліси не впливають на підсистему Боба.
Припускаючи, що спільна система приготовлення в стані σ, та розглядаючи нерелятивістський випадок, одразу ж (без часової затримки) після Алісиного вимірювання, відносний стан Бобової підсистеми задається частковим слідом загального стану щодо Алісиної підсистеми. Математично, відносний стан Бобової підсистеми після Алісиної дії записується
де є частковим слідовим відображенням щодо Алісиної підсистеми.
Цей стан можна вирахувати безпосередньо:
Виходячи з цього, можна стверджувати, що статистично Боб не може визначити, що зробила Аліса, і чи робила вона що-небудь взагалі.