Math-Net.

Ru
All Russian mathematical portal

A. S. Holevo, Bounds for the Quantity of Information

Transmitted by a Quantum Communication Channel, Probl.
Peredachi Inf., 1973, Volume 9, Issue 3, 3–11

Use of the all-Russian mathematical portal Math-Net.Ru implies that you have read
and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 161.111.32.2
June 15, 2022, 12:12:29
 ПРОБЛЕМЫ ПЕРЕДАЧИ ИНФОРМАЦИИ
Том IX 1973 Вып. 3

УДК 621.391.1:535.14
НЕКОТОРЫЕ ОЦЕНКИ ДЛЯ КОЛИЧЕСТВА ИНФОРМАЦИИ,
ПЕРЕДАВАЕМОГО КВАНТОВЫМ КАНАЛОМ СВЯЗИ
А. С. Холево

Получены некоторые оценки для количества информации, передавае­

мого квантовым каналом связи. Доказано, что если среди операторов
плотности р о , . . . , Рп хотя бы два не коммутируют, то J (л) < Ж(%лара) —
а
— 2 я а ^ ( р а ) , где J (л) —верхняя грань количества информации по всем
а
обобщенным измерениям на выходе канала связи при фиксированном
распределении jt = (яо, ...., пп) на входе. Явно указана более точная
оценка сверху д л я / ( я ) .

В этой работе будет продолжено рассмотрение информационных

свойств физических измерений, начатое ъ [-1]. Напомним основные опре­
деления работы [ 2 ]. Пусть S& — конечномерная ^-алгебра операторов с
единицей 7, Q — конечное множество. Обобщенным й-измерением над М-
называется произвольное разложение единицы в ^ , т. е. семейство
х = {av, со ^ Q} неотрицательных эрмитовых операторов из s4> такое, что
V 1 хы = 1. Если р{х) =Тгр#, x^s& состояние на «я£, то {р(#со); со £ Q)
(О

называется распределением вероятностей измерения х в состоянии р.

Энтропия этого распределения обозначается ЖА$). Энтропия состояния р
обозначается Ж (р) = — Trp In p.
Пусть заданы состояния р0, . . . , Рп на s4> и распределение вероятно­
стей л = (я0, . . . , я п ) на множестве этих состояний. Обозначим
J(n;x) = 3ISx ( V яара ) - \^ЯаЖ(ра)-количество информации, отвечаю-
а а
щее распределению я и измерению х и положим / ( я ) = sup/(я; я), где
х
верхняя грань берется по всевозможным обобщенным измерениям над s&.
Один из основных результатов настоящей работы состоит в том, что если
среди операторов р0, .. ., рп хотя бы два не коммутируют, то *
<1) /(я)<^ ^ яара) - ^ я а ^ ( р а )
а а
(если же ро, . . . , рп попарно коммутируют, то левая и правая части этого
соотношения совпадают).
Чтобы пояснить значение этого результата, следует сказать, что вели-
* После того как работа была сдана в печать, автору стало известно, что для
простых измерений подобное неравенство предлалалось Л. Б. Левитиным (Доклад на
IV Всесоюзной конференции по теории информации и кодирования, секция И. Таш­
кент, 1969).
4 Л. С. Холево

чина Ж ( \ я а р а ) — \ яа<5^(ра) фактически использовалась в некоторых

a a
работах в конкретных расчетах как скорость передачи информации для
квантовых каналов связи. Единственным основанием для этого служило
внешнее сходство этой величины с классическим шенноновским информа­
ционным количеством. Стратонович [2] явно ввел в рассмотрение кванто-
во-механические измерения на выходе канала связи и отвечающие им
информационные количества. Оставалось, однако, неясным, можно ли
рассматривать Ж (} я а р а J — у лаС9^(ра)как количество информации,от

вечающее какому-либо измерению. Из сформулированного неравенства сле­

дует, что для «существенно квантовых» каналов связи эта величина не
достигается (даже «с точностью до е») не только в классе обычных кван-
тово-механических измерений в смысле фон Неймана, но и в более широ­
ком классе обобщенных измерений [i ].
В настоящей работе не только будет установлено неравенство (1), но
и указана более точная верхняя оценка для / ( я ) . Случай двух состояний
Ро, pi, рассматриваемый в п. 2, является решающим при получении основ­
ных результатов. В этом случае дополнительно удается указать информа­
ционно-оптимальное измерение, приближенно максимизирующее / ( я ) в
предположении близости состояний р0 и pi. Им оказывается спектральное
разложение оператора w, который находится из уравнения i/z(p0w+wpo) =
= Pi — ро (оператор w до некоторой степени аналогичен классическому
отношению правдоподобия). Изложение начинаем с исследования этого
уравнения, важная роль которого в некоммутативной статистике уже от­
мечалась [ 3 ].
1. Фиксируем некоторую конечномерную операторную *-алгебру S&
с единицей и условимся, что все встречающиеся далее операторы принад­
лежат s4>.
Пусть р — оператор плотности, a — эрмитов оператор. Скажем, что р
мажорирует о(р > а), если из Тгря = 0, х ^ 0 следует Ттох = 0.
Пусть р = V^ rkEh — спектральное разложение оператора р. Условим-
h
ся, что нулевое собственное значение (если оно существует) соответствует
к = 0; таким образом, Е0 — проектор на нулевое подпространство операто­
ра р. Отметим легко доказываемый факт: р > а тогда и только тогда, ког­
да ЕооЕ0 = 0.
Будем обозначать х ° у = lh{xy + ух) симметризованное произведение
операторов х, у. Рассмотрим уравнение
(2) р о w = a,
где р — оператор плотности, a — эрмитов оператор, а w — искомый эрмитов
оператор.
Л е м м а 1. Для существования решения уравнения (2) необходимо и
достаточно, чтобы р > а. Если это условие выполнено, то соотношение
EkoEj
(3) w=2 £
rk + г;-
rk+rf>o
определяет решение уравнения (2), которое называется регулярным ре­
шением. Для любого решения
2
(4) TTGW = Тгрш .
 Некоторые оценки информации 5

Д о к а з а т е л ь с т в о . Предположим, что уравнение (2) разрешимо;

пусть ж ^ О и Тгря = 0. Тогда рх = 0 и р ° х = 0. Следовательно, Ттох =
= Tr(p ° w)x = Tr(p ° x)w = 0, т. е. р > о.
Обратно, пусть р > а. Тогда Е0аЕ0 = 0. Для оператора (3) имеем
IP о р = V^ EhcEj = о. Соотношение (4) следует из формулы (2):

Trow; = Tr(p о w) w = Trpw 2 .

Следующая лемма устанавливает экстремальное свойство решений
уравнения (2).
Л е м м а 2. Пусть w — решение уравнения (2). Для всех эрмитовых
операторов и, таких, что Тгрг;2 < Тгог; имеет место неравенство
Тгог; < Trow;,

причем равенство достигается тогда и только тогда, когда p(v — w) = 0.

Д о к а з а т е л ь с т в о . Докажем равенство
(5) Trow = Тгог; + [Тгог; - Тгрг;2] + Trp (w - v) \
Используя свойства следа и уравнения (2), имеем
Trow = Trpw 2 = Тгр[г; + (и; - v) ] 2 =
= Тгрг;2 + 2Trp[v ° (w - v) ] + Trp (w - v)2 =
= Тгрг;2 + 2[Tr(p ° w)v - Тгрг;2] + Trp(w - г;)2 =
= Тгог; + [Тгог; - Тгрг;2] + Trp(w - г;)2.
Из равенства (5) следует, что Trow ^ Тгог;; если же Trow = Тгог;, то
Trp (w — г;)2 = 0, отсюда р (w — г;) = 0 . Обратно, если р (w — г;) = 0 , тог
очевидно, Trp(w — г;)2 = 0, Тгог; — Тгрг;2 = Тгр[г; ° (w — г;) ] = 0 и Тгог; =
= Trow.
Замечания. Из этой леммы вытекает, в частности, следующее описание
всех решений уравнения (2): всякое решение имеет вид w = wr + u, где
w r — регулярное решение, а и —таково, что ргг = 0. В самом деле, пусть
w4 и w2 — два решения. Тогда, в силу равенства (4) и леммы 2, Trow 4 =
= Trow 2 . Согласно лемме 2, имеем p(w! — w2) = 0 . Обратно, если w — ре­
шение уравнения (2), ргг = 0, то, очевидно, w + и также удовлетворяет
уравнению (2).
Из леммы 2 следует также, что всякое решение экстремальной зада­
чи — найти максимум Тгог; при условииТгри2 ^ Тгог; — является решением
уравнения (2). В самом деле, пусть w— какое-либо решение уравнения
(2), a v — решение сформулированной экстремальной задачи. Тогда
Тгог; ^ Trow, а в силу леммы 2 Тгог; < Trow, отсюда Тгог; = Trow. В силу
леммы 2 p(w — г;) = 0 , следовательно, v также удовлетворяет уравне­
нию (2).
2. Пусть имеются два состояния р0 и pi и произвольное обобщенное
измерение х = {х<*}. Для любого t, 0 < t < 1, обозначим

Jx(t) = 3 M ( l - * ) P o + *Pi) ~ ( 1 - * ) З М р о ) - t f M p i ) ,
X(t) = 5 0 ( ( 1 - t)po + *p4) - (1 - 0 * ( P o ) - tfK(pi).
Положим p(t) = (1 — t)p0 + tph о = pi — po. Если Ео — нулевой проектор
оператора p(t), 0<t<l, то ро^о = piE0 = 0 и oE0 = 0, поэтому p(t) > o
при 0 < t < 1. Согласно лемме 1, уравнение p(t) ° w = о разрешимо. Обо­
значим через w(t) его регулярное решение. Формулу (3) для регуляр-
6 А. С. Холево

ного решения можно уточнить в этом случае следующим образом:

(6) *( 0 -2V-i^-,
A-J Гл + Tj
k,j>o
где р(£) = \r A Z? f t — спектральное разложение оператора p(t).
h
Определим функцию L (t), 0 ^ t < 1 условиями
,- L(0)=L(1)=0,
Г7)
L"(*) = -Тгои>(*), 0<*<1.
Можно указать явные формулы для Z, (£)
is 1

L ( 0 = J |Тга^(т)йтЖ? = - — f Trow(s) \t-s\ds.

to о

П р е д л о ж е н и е 1. Для любого обобщенного измерения х

h(t) <L(t), 0<t< 1.
П р е д л о ж е н и е 2. /?с/ш операторы р0 гг pi коммутируют, то L(t) =
= J8? (О; £с/ш р0 и pt не коммутируют, то L(t) < Ж($) при О < t < 1.
Так как / , ( 0 ) = / , ( 1 ) = 0 , L(0) = L ( 1 ) = 0 и ЛГ(0) =ЯГ(1) = 0 , то
для доказательства предложения 1 достаточно установить, что 0 ^ //'(£) >
^ L"(t), О < £ < 1, а для доказательства предложения 2 —что £"(£) =
= «#"'(£), если р0 и pi коммутируют, и L"(t) > Ж" (t), 0 < t < 1, если р0 и
Pi не коммутируют.
Укажем удобную формулу для Jx"{t). Обобщенному измерению х сопо­
ставим эрмитов оператор
Тг охш
«(*) = ]£;
wx{t)= У х ш
Тгр (*)**, '

где суммирование распространяется на те со, для которых Тгр(£);г ш >0

(напомним, что p(t) > о и из Trp(t)xa = 0 следует Ттоха=0).
Имеет место легко проверяемая формула
(8) //'(*) =-Тгак?*(0, 0<*<1.
Л е м м a 3. Для любого измерения х = {ха},
Trawx(t) >Tvp(t)wx(t)2.
Д о к а з а т е л ь с т в о . Докажем сначала, что для любых вещественных
чисел са
2
СА
(9)
Е ) ^Е
Полагая Ь = 2 c<*x<»i имеем для любого вектора ^: ^\\Уx^c^I —
со со

— b)l\\2 > 0. Раскрывая это неравенство, имеем (£, а£) — \\ЬЦ\2 >
>0, где а = | 2 ^ с о , что, по определению, означает (9). Полагая
 Некоторые оценки информации 7

Тг вх
в (9) Со, = T r p t°x при Тгр ( * ) * „ > О, сш = О при Тгр(0жю =
= 0, имеем
Tro^to
ZjLTrp(0^ J

откуда Tr p(t) wx(t)2 < V Г < ы

/ ^ = Tr ош х (J), что и требовалось до-
i—J Trp(0^<o
казать.
Из лемм 2, 3 вытекает, что Trowx(t) <Trow(t); учитывая (7), (8),
имеем Jx"(t) > L"(t). Предложение 1 доказано.
Предложение 2 вытекает из следующих лемм.
In a — In 6
Л е м м а 4. Положим Ф(а, о) = — , если аФЪ, Ф(а, а) = а - 1 .
Тогда
Ж" (t) = - V (Tr £ ^ а ) Ф (г,, г,), 0 < * < 1,

r
где р ( £ ) = 7 kEh — спектральное разложение оператора p(t).
h
Д о к а з а т е л ь с т в о . Заметим, что нулевой проектор Е0 оператора
р(£)не зависит от t при 0 < t < 1; в самом деле, подпространство Е0Н
состоит из векторов £, таких, что (£, р(£)£) = 0. При 0 < t < 1 оно совпа­
дает с пересечением подпространств Н0={'Е): (g, р о Ю = 0 } , # t = {£:
: (§, ptg) = 0}, которое от t не зависит. Поэтому, не ограничивая общности,
можно считать, что Е0 = 0 в. p(t) > е/, где е > 0. В этом случае спектр
оператора p(t) целиком заключен в отрезке [е, 1].
Пусть I — какой-либо замкнутый контур в правой комплексной полу­
плоскости, охватывающий этот отрезок. Выбирая ветвь функции z In zy
аналитичную в правой полуплоскости и обращающуюся в 0 при z = 1
имеем

pU)lnp(0 = — f ( / * - р ( * ) ) - 4 * 1 п 2 dz.
i

Так как p(t + e) = p(t) + eo, то в достаточно малой окрестности t матрич­

ная функция (Iz — p(t))~l будет аналитической функцией параметра t и,
следовательно.
d2 1 с d2
dt2 2ni «J Л 2
Нетрудно найти, что d2/dt2(Iz — р ( £ ) ) ~ \ где р(*) = (1 — £)р0 + tph равно
(Л - р (t)) -4с (/z - р (0) -4о № - Р (0) -1-
Отсюда
Tr /z 2 /2 lozlnzdz
47^W=-Af
dr 2ш J ( -pW)" °( -pW)~ -
z

Используя спектральное разложение оператора p(t), имеем

Ek
Vz-p(t))-* = Y——, откуда
8 А. С. Холево

zlnzdz
Ж' -(«)_-£ (TruaW—J-J
, (z-rhy(z-rj)
h)j>0 l

Используя то обстоятельство, что TrEhoEjO = TrEfiEuG, можно написать

X//W=-^j(Tr^o£jo)0(rft,rJ), где
*t 74 1 г zlnzdz [ 1
•+
LCz-a) 2
(z-a) (z-b)

z In z ( z -
dz =
(z-b)2(z-a) J 2я* J (*-a)2(z-6)2

a -1 , a .= b
In a — In b
аФЬ.
a— b
Л е м м а 5.
^ (Тг ЕкоЕр) Ф (г*, г,) ^ Тг оы; ( 0 ,
h,j>0

причем равенство достигается тогда и только тогда, когда p(t) и о (а сле­

довательно, р0 и pi) коммутируют.
Д о к а з а т е л ь с т в о . Имеет место неравенство

Ф(а,6); , 0<а<1, 0<Ь<1,

а+6
причем равенство здесь достигается в единственном случае а = Ъ. В са­
мом деле, при а Ф Ь, обозначая s = (а — Ъ)/ {а + 6), имеем
(« + * ) > h t ) _ M l + . b b . ( l - . ) t 0 < | _
2 2s
Разлагая логарифмы в ряд по степеням s, получаем

Ji±*L©(a, b )-l + ^ + ...>l,

что и требовалось доказать. Из доказанного и формулы (6) следует, что

V Тг (ЕкоЕр) Ф (rh, г,) S* V Тг {EhoEp) — | — = Тг aw (t),

fc,j>0 ft,j>0

причем равенство достигается тогда и только тогда, когда Тг {ЕкоЕр) = 0

при всех k¥=j (заметим, что Тт(ЕкоЕ&) ^ 0). Последнее равносильно
тому, что
0= ^(rh--rjyTv(EhGEjo)==YjTTEk(P(t)a--Gp(t))X

X Et (op (0 - p (*) a) = Tr (op (t) - p (0 a ) ' (op (0 - p (*) a),

т. e. ap (t) —p(t)a = 0.
 Некоторые оценки информации 9-

3. Пусть р 0 ,. . . , рп — состояния на А, я = ( я 0 , . . . , лп) — набор поло

жительных чисел, такой, что ^пл = 1. Положим / ( я ) = s u p / ( я ; х), где
х
а
Яа а a ве хняя
J(щ х) = Ж Л2^ара I—2 ^(Р )» Р грань берется по всем
• а * а
обобщенным измерениям х.
Т е о р е м а . Имеет место неравенство
п п
J (я ) < Ж ( ^ Я«ра ) - ^ Я а ^ (р„) ,

причем равенство достигается тогда и только тогда, когда операторы плот­

ности ро, . . . , Рп. попарно коммутируют.
Д о к а з а т е л ь с т в о . Покажем, что для любого обобщенного изме­
рения х
п п

(10) ]{ЩХ)<Ж (^ЯаРа^ - ^ Яа^(Ра).

а=0 а=0

Воспользуемся тождеством
п

(11) J{n;x)= V (я0 + ... + Яь)Л(я),

где

]к{х) = Жх[—т —ph + • г X

\ Я 0 "Г . . . -Г Пи Я 0 "Г . . . + Яъ,
х У ,Яар" ) * ^(pft)-
^—I Я0 + . . . + Яь_! / Я0 + . . . + Яь
h-l
Я0 + . . . + Ял_1 /VH ЯаРа \
Я0 + . . . + Лк \Z-J я 0 + . . . + TCh-i I
а=0
Применяя к Jk (x) предложения 1, 2, получаем

(12) Л(Ж)^( ^ ЯЯк* р„ +. .Яо Н~ . . . + ЯЙ-1

+ . . . t+ Jlh
\ Яо Т Jlft Яо + . . . + Я&
ft-i
X
ZTT^T—)- • "*• *ы-
^а -= 1о Яо + . . . + Я^_! / Яо + . . . + ЯА
Яо + . . . + Я ь - 1 / Y1 Яарос

Яо + . . . + Пи \ Z - J TCo + . . . + Яь-1 / '

Подставляя эти оценки в (11) и производя суммирование, получаем (10).

Предположим, например, что р0 и pt не коммутируют. Тогда, согласно
предложениям 1, 2, имеем

s u p / i O r X L ——-— <^(яоро + я 1 р 1 ) ~ Я о ^ ( р 0 ) - я 1 ^ ( р 1 ) .
х Яо г TCi
10 А, С. Холево

Для Л(#)> к = 2, . . . , п, используем неравенства (12). Подставляя полу­

ченные оценки в (11), имеем
п п

7 ( я ) < У ^ (я0 + . . . + 7lk) SUp h (?) < Зё ( У ^aPg) —

A=l a=0
n

->Ря в ^(р 0 ).
a=0

Пользуясь формулой (11) и предположением 1, нетрудно выписать

для / ( я ) более точную оценку через функции типа L(t). Обозначая
I s
Lh(t)= ^Trohwk(x)dxds , где
to

k-1

Ok = pk— \ Я а р а / (jto + . . . + Kft-i) ,

a=0

& wk(t) —решение уравнения

k-i

itph + (1 - t) V Я а р а / (Яо + . . . + Я^-i) j о Wh (f) = Oft,

имеем
n
я
/ w < V (яо + ...+яо^( - * ).
+ . . . +LЯЛ ,
*—I \Яо + . . . + ЯЛ /
Если po, . . . , pn коммутируют, то рассмотрим х = {х%} — совместное
спектральное разложение операторов р 0 , . . . , рп. Легко убедиться, что
/ ( я ; х) = <9^(2яара) — 2яа<5^(ра).
Заметим еще, что в том случае, когда алгебра si- коммутативна, сущест­
вует «универсальное» измерение х, для которого верхняя грань (10) до­
стигается при любом распределении я и любых состояниях р0, .. ., р п .
Таким измерением, очевидно, является спектральное разложение алгеб­
ры^.
4. Предположим, что задан оператор плотности р0 и оператор а, удов­
летворяющий условиям:
1) существует число к > 0, такое, что кр0 ± a > 0;
2) Tra = 0.
Тогда оператор ре = р0 + го при | е | < к будет оператором плотности.
Фиксируем t, 0 < t < 1 и введем обозначение
h{x) = Ж ( ( 1 - * ) Р о + *рв) - (1 — О^-(Ро) - ^ х ( р е ) .
Обозначим и; решение уравнения р0 ° w = а, существующее в силу леммы 1.
Этой же буквой w будем обозначать его спектральное разложение
w = {M>;I}, которое является простым измерением.
Пр е д л о ж е н и е 3. Измерение w является асимптотически оптималь­
ным в следующем смысле:
•., . Je(w)/sVLpJe(x)=l + 0(s) При 8'-* 0.
 Некоторые оценки информации 11

Д о к а з а т е л ь с т в о . Пусть х = {х^} — произвольное измерение. По­

лагая а© = Тгро^со, б© = ТгаЯо и производя разложение по степеням е,
имеем
1' X
/.(*)_4«<1-'>у\—-Х'ГА
/LJ а 6 ^—I
tu
ш
to
2 -<—1 аш 6 A-J
1
X
К + еж)2 (о^ + е^м2']•
где 0 < Во < е. Заметим, что > = 1 г owx, где

\ п Тг о^со
и>*= > — zw.

Оценим коэффициент при е3. В силу условия 1) |Ь Ш | = |TrcMv| <

< /с_1Тгр0^ш = ajk. Следовательно, для достаточно малого 8 (аш +
+ Особо,)~2< 1,5аш"2 и (аш + Qjba)-Z < l,5affl"2. Поэтому коэффициент при
_— I 7 I 3

8 3 оценивается по абсолютной величине выражением 7г V ' ц ' . ^

4-J а*
6о) 2
— = 7 2 Ь Tr ои>х. В результате имеем
•т2>
,2

— Tro^x[^(l-0-^8]^/8(^)<-:::-Trow;x[^(l-0 + ^ ] .

Полагая в первом неравенстве x = w, где z# — решение уравнения

ро о w = а, имеем V282 Tr aw[t(l — t) — кг] < Je(w). Во втором неравенст­
ве возьмем верхнюю грань по всем измерениям х. Используя леммы 2, 3,
имеем sup Je(x) < V282 Tr ow[t(1 — t) + кг]. Сравнивая полученные нера­
венства, видим,что
кг
1—
<Je{W)/SU.^Je{X)1
кг
1 + t(i-t)
откуда и следует доказываемое предложение. Заметим, что попутно полу­
чена оценка
sup Jx(x) ~ V282£(l - £)Tr p0w\
X
(так как Тгоы; = Trpoitf2).
ЛИТЕРАТУРА
1. X о л е в о А. С. Информационные аспекты квантового измерения Проблемы пере­
дачи информации, 1973, 9, 2, 31—42.
2. С т р а т о н о в и ч Р. Л. Скорость передачи информации в некоторых квантовых
каналах связи. Проблемы передачи информации, 1966, 2, 2, 45—57.
3. H e l s t r o m С. W. Detection Theory and Quantum Mechanics. Inform, and Control.
1967, 10, 3, 254-291.
Поступила в редакцию»
31 августа 1971 i\