Квантовые игры и теоретико-игровые основания прагматики

Содержание

Слайд 2

Кубиты и все такое…

 

= α|0〉 + β|1〉
| α |2 + | β

Кубиты и все такое… = α|0〉 + β|1〉 | α |2 +
|2 = 1

 

кубит

n-кубитный регистр

 

 

NOT

 

Переключатель знака состояния

 

регистры Паули

 

 

Преобразование Адамара

Слайд 3

Алгоритм квантового компьютера

Приготовь начальное состояние (обычно берется |00…0〉 )
Примени последовательность унитарных преобразований
Проделай

Алгоритм квантового компьютера Приготовь начальное состояние (обычно берется |00…0〉 ) Примени последовательность
измерение для считывания состояния

Слайд 4

Основы квантовых игры

Классические игры

G(n, S, u)
n – количество игроков
S = S1 ×

Основы квантовых игры Классические игры G(n, S, u) n – количество игроков
S2 × … × Sn , где Si, i = 1,…,n – пространства стратегий
u = u1 × … × un, где ui(s1,…,sn), i = 1,…,n – функции выигрыша,
sn∈ Si

Квантовые игры

G(n, Θ(ℍ),ρ,S, u)
n – количество игроков
ℍ - двумерное гильбертово пространство
Θ(ℍ) – пространство состояний игры
ρ∈ Θ(ℍ) – начальное состояние
S = S1 × S2 × … × Sn – пространство стратегий
u = u1 × … × un,- функция полезности, где
ui: Θ(ℍ) → ℜ для игрока i

Слайд 5

Статические и динамические квантовые игры

U

U’

измерение

U1

U2

U

U’

измерение

U1

U2

Статические и динамические квантовые игры U U’ измерение U1 U2 U U’ измерение U1 U2

Слайд 6

Переворачивание монеты

Классический случай

Квантовый случай

P против Q

Ходы:
судья кладет монету орлом вверх
Q либо переворачивает

Переворачивание монеты Классический случай Квантовый случай P против Q Ходы: судья кладет
ее (F), либо нет (N)
затем P либо переворачивает монету (F) либо нет (N)
и наконец Q делает финальный ход либо переворачивая монету (F) либо нет (N)
Если в конце монета лежит орлом вверх, то выигрывает P с выигрышем +1, а проигрыш Q составляет -1. В противном случае Q получает +1, а P получает -1.
Матрица выигрышей
Q NN NF FN FF
P:N (−1, +1) (+1, −1) (+1, −1) (−1, +1)
P:F (+1, −1) (−1, +1) (−1, +1) (+1, −1)

Q применяет квантовую стратегию
P обречен на классическую стратегию
|0〉 - орел
|1〉 - решка
состояние игры представляется кубитом ψ = α|0〉 + β|1〉
начальное состояние игры ρ = |0 〉
первый ход – тождественное преобразование U
переворачивание F и непереворачивание N представляются преобразованиями X и I соответственно
P может сыграть либо X, либо I, а Q может выбрать любое унитарное преобразование (используется преобразование Адамара)
игра характеризуется как
G(n = 2,Θ(ℍ) = ℍ,ρ = |0 〉,S1×S2,,u)
S1 = {X,I}, S2 есть множество всех унитарных матриц
U совпадает с классическим случаем

Слайд 7

PQ – переворачивание монеты

UQ1 = H

U1 = X или I

UQ1 = H

измерение

ρ

PQ – переворачивание монеты UQ1 = H U1 = X или I
= |0 〉

 

 

Слайд 8

Логика квантовых вычислений QCL

Регистры Тоффоли
T(1,1,1): ⊗3ℍ → ⊗3ℍ
T(1,1,1)(|x〉⊗|y〉⊗|z〉) = |x〉⊗|y〉⊗|min(x,y)⊗z〉
Q(1,1,1):

Логика квантовых вычислений QCL Регистры Тоффоли T(1,1,1): ⊗3ℍ → ⊗3ℍ T(1,1,1)(|x〉⊗|y〉⊗|z〉) =
⊗3ℍ → ⊗3ℍ
Q(1,1,1)(|x〉⊗|y〉⊗|z〉) = |x〉⊗|y〉⊗|max(x,y)⊗z〉

AND(|ϕ〉,|ψ〉) = T(1,1,1)(|ϕ〉⊗|ψ〉⊗|0〉)
NOT(|ϕ〉) = T(1,1,1)(|ϕ〉⊗|1〉⊗|1〉)
OR(|ϕ〉,|ψ〉) = Q(1,1,1)(|ϕ〉⊗|ψ〉⊗|0〉)

 

Аксиоматизируема ли QCL?

Слайд 9

Логика Дишканта LQ

Г.Дишкант [1978] предложил включить аксиомы Макки в исчисление Лукасевича Łℵ0

Логика Дишканта LQ Г.Дишкант [1978] предложил включить аксиомы Макки в исчисление Лукасевича
и построил модальное расширение логики, обогатив систему модальным символом Q и четырьмя модальными правилами вывода. Высказывание QА при этом означает «А подтверждается экспериментом», а наиболее специфическое правило вывода можно сформулировать так: для совместных измерений импликация эквивалентна подтверждению материальной импликации.

Слайд 10

Логика Дишканта LQ

I:W0 → S есть ŁQ - интерпретация, если она удовлетворяет

Логика Дишканта LQ I:W0 → S есть ŁQ - интерпретация, если она
следующим условиям:
(I) I(A → B) = min(1,1−I(A)+I(B));
(II) I(¬A) = 1−I(A);
(III) I(QA) = q(I(A));
для любых A,B∈W0, где W0 – множество формул ŁQ.
При этом 1:ψ→{1} , где ψ - множество всех состояний объекта, причем состояние, как обычно, представляет собой вектор гильбертова пространства, а любая функция g: ψ → [0,1] называется обобщенным вопросом. Далее, P ⊆ S, где S - множество всех обобщенных вопросов, а P − множество обычных квантовологических вопросов («да-нет»-измерений), и функция q: S → P определяется условиями:
a1. g ≤ h ⇒ q(g) ≤ q(h);
a2. q(p) = p;
для любых g,h∈S; p∈P.
Очевидным образом при таком определении для модальных формул ŁQ функция q играет ту же роль, что и функция p у Макки, ставящая в соответствие каждой тройке (A,α,E) (где A∈A, α∈S, E∈B; A − множество наблюдаемых, S - множество состояний, В – множество всех борелевских подмножеств действительной числовой прямой) число p(A,α,E), 0 ≤ p(A,α,E) ≤ 1. Роль множества наблюдаемых выполняет W0, множества состояний – dom(S), множества B – rng(S).

Слайд 11

Логика Дишканта LQ

A1. A → (B → A)
A2. (A → B) →

Логика Дишканта LQ A1. A → (B → A) A2. (A →
((B → C) → (A → C))
A3. ((A → B) → B) → ((B → A) → A)
A4. (¬A → ¬B) → (B → A)
B5. A, A → B
B
B6. A
QA
B7. A
¬Q¬A
B8. A → B
QA → QB
B9. QA → QB
(QB → QA) ↔ Q(QB ⊃ QA)
D4. A ⊃ B = def ¬A ∨ B

К приведенным аксиомам может быть добавлена еще одна:
A10. QA ↔ ¬Q¬A

Слайд 12

Логика Дишканта LQ

Ł-фрейм 〈O,K,R,*〉,
где K есть непустое
множество, O∈K,
R -

Логика Дишканта LQ Ł-фрейм 〈O,K,R,*〉, где K есть непустое множество, O∈K, R
тернарное отношение
достижимости на K
и * - унарная операция на K.
p1. ROaa
p2. Raaa
p3. R2abcd ⇒ R2acbd
p4. R2Oabc ⇒ Rabc
p5. Rabc ⇒ Rac*b*
p6. a** = a
p7. ROab ∨ ROb
d1. a < b =def Roab
d2. R2abcd =def
∃x(Rabx & Rxcd & x∈K)

v есть оценка в Ł-фрейме, т.е. v является функцией ν:S×K→S[0,1] (S есть множество пропозициональных переменных и S[0,1] есть обычная логическая матрица для Łℵ0,), которая для всякого p∈S и всяких a,b∈K удовлетворяет следующему условию:
(1) a < b & v(p,a) ≠ 0 ⇒ v(p,b) ≠ 0;
I есть интерпретация, ассоциированная с v, т.е. I есть функция I: F×K → S[0,1] (F есть множество формул), удовлетворяющая ⎯ для всякого p∈S, всяких A,B∈F и всякого a∈K ⎯ следующим условиям:
I(p,a) = v(p,a);
I(¬A,a) = 1-x тогда и только тогда, когда I(A,a*) = x;
I(A→B,a) = min(1,1−x+y) тогда и только тогда, когда для всяких b,c∈K Rabc и I(A,b) = x ⇒ I(B,c) = y.
I(QA,a) = inf{I(A,c) : for any b∈K(ROab) ⇒ c∈K(R0bc ⇒ I(A,c) ≠ 0)}

Слайд 13

Логика Дишканта LQ

(R1) Если 1й игрок принимает A → B в точке

Логика Дишканта LQ (R1) Если 1й игрок принимает A → B в
a, то всякий раз как 2й игрок пытается опровергнуть это утверждение, полагая A в точке b, 1й должен также принимать B в точке c, где точки выбираются согласно приведенным ранее условиям. (И наоборот, т.е. когда 1й и 2й меняются ролями.)
(R¬) Если 1й игрок принимает ¬A в точке a, то 2й игрок пытается опровергнуть это утверждение, полагая A точке a* где точки выбираются согласно приведенным ранее условиям. (И наоборот, т.е. когда 1й и 2й меняются ролями.)
(RQ) Если 1й игрок принимает QA, то 1й игрок также должен принимать A (его интерпретация должна быть отлична от 0) в любой точке, которую 2й игрок может выбрать, используя приведенные ранее условия. И наоборот, т.е. когда 1й и 2й меняются ролями.)
Имя файла: Квантовые-игры-и-теоретико-игровые-основания-прагматики.pptx
Количество просмотров: 37
Количество скачиваний: 0