Quantum Recursion and Second Quantisation
|
|
- Lily Clarke
- 6 years ago
- Views:
Transcription
1 Quantum Recursion and Second Quantisation Mingsheng Ying University of Technology Sydney, Australia and Tsinghua University, China
2 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
3 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
4 Recursion is one of the central ideas of computer science!
5 Recursion is one of the central ideas of computer science! Classical Recursion of Quantum Programs Recursive procedure in quantum programming language QPL [Selinger, Mathematical Structures in Computer Science 2004]. Quantum while-loops [Ying, Feng, Acta Informatica 2010].
6 Recursion is one of the central ideas of computer science! Classical Recursion of Quantum Programs Recursive procedure in quantum programming language QPL [Selinger, Mathematical Structures in Computer Science 2004]. Quantum while-loops [Ying, Feng, Acta Informatica 2010]. Quantum data, classical control [Selinger]: The control flow of quantum recursions is classical: branchings are determined by the outcomes of quantum measurements.
7 Recursion is one of the central ideas of computer science! Classical Recursion of Quantum Programs Recursive procedure in quantum programming language QPL [Selinger, Mathematical Structures in Computer Science 2004]. Quantum while-loops [Ying, Feng, Acta Informatica 2010]. Quantum data, classical control [Selinger]: The control flow of quantum recursions is classical: branchings are determined by the outcomes of quantum measurements. Example: while M[q] = 1 do S od
8 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
9 How to define quantum control flow? Quantum data, quantum control [Altenkirch and Grattage, LICS 2005]
10 How to define quantum control flow? Quantum data, quantum control [Altenkirch and Grattage, LICS 2005] Coined quantum case statement [Ying, Foundations of Quantum Programming, Morgan Kaufmann 2016] Quantum Case Statement
11 How to define quantum control flow? Quantum data, quantum control [Altenkirch and Grattage, LICS 2005] Coined quantum case statement [Ying, Foundations of Quantum Programming, Morgan Kaufmann 2016] Quantum Case Statement Classical Case Statement: if b then S 1 else S 2 fi
12 How to define quantum control flow? Quantum data, quantum control [Altenkirch and Grattage, LICS 2005] Coined quantum case statement [Ying, Foundations of Quantum Programming, Morgan Kaufmann 2016] Quantum Case Statement Classical Case Statement: if b then S 1 else S 2 fi Classical Case Statement in Quantum Programming: if M[q] = 0 S 1 fi 1 S 2
13 Quantum Case Statement Introduce external quantum coin c: H c = span{ 0, 1 }
14 Quantum Case Statement Introduce external quantum coin c: H c = span{ 0, 1 } U 0, U 1 unitary operators on quantum system q: H q
15 Quantum Case Statement Introduce external quantum coin c: H c = span{ 0, 1 } U 0, U 1 unitary operators on quantum system q: H q Quantum case statement employing coin c: qif [c] 0 U 0 [q] 1 U 1 [q] fiq
16 Quantum Case Statement Introduce external quantum coin c: H c = span{ 0, 1 } U 0, U 1 unitary operators on quantum system q: H q Quantum case statement employing coin c: qif [c] 0 U 0 [q] 1 U 1 [q] fiq Semantics: unitary operator U in H c H q : U 0, ψ = 0 U 0 ψ, U 1, ψ = 1 U 1 ψ
17 Quantum Choice V a unitary operator in H c.
18 Quantum Choice V a unitary operator in H c. Quantum choice of U 0 [q], U 1 [q] with coin-tossing V[c]: U 0 [q] V[c] U 1 [q] def = V[c]; qif [c] 0 U 0 [q] fiq 1 U 1 [q]
19 External Quantum Coin Superpositions of time evolutions of a quantum system [Aharonov, Anandan, Popescu, Vaidman, Plysical Review Letters 1990].
20 External Quantum Coin Superpositions of time evolutions of a quantum system [Aharonov, Anandan, Popescu, Vaidman, Plysical Review Letters 1990]. Quantum walks [Ambainis, Bach, Nayak, Vishwanath, Watrous, STOC 2001; Aharonov, Ambainis, Kempe, Vazirani, STOC 2001]. Quantum walk
21 External Quantum Coin Superpositions of time evolutions of a quantum system [Aharonov, Anandan, Popescu, Vaidman, Plysical Review Letters 1990]. Quantum walks [Ambainis, Bach, Nayak, Vishwanath, Watrous, STOC 2001; Aharonov, Ambainis, Kempe, Vazirani, STOC 2001]. Quantum walk One-dimensional random walk - a particle moves on a line marked by integers Z; at each step it moves one position left or right, depending on the flip of a fair coin.
22 External Quantum Coin Superpositions of time evolutions of a quantum system [Aharonov, Anandan, Popescu, Vaidman, Plysical Review Letters 1990]. Quantum walks [Ambainis, Bach, Nayak, Vishwanath, Watrous, STOC 2001; Aharonov, Ambainis, Kempe, Vazirani, STOC 2001]. Quantum walk One-dimensional random walk - a particle moves on a line marked by integers Z; at each step it moves one position left or right, depending on the flip of a fair coin. Hadamard walk - a quantum variant.
23 Quantum walk Hilbert space H d H p.
24 Quantum walk Hilbert space H d H p. H d = span{ L, R }, L, R direction Left and Right.
25 Quantum walk Hilbert space H d H p. H d = span{ L, R }, L, R direction Left and Right. H p = span{ n : n Z}, n the position marked by integer n.
26 Quantum walk Hilbert space H d H p. H d = span{ L, R }, L, R direction Left and Right. H p = span{ n : n Z}, n the position marked by integer n. One step of Hadamard walk: W = T(H I)
27 Quantum walk Hilbert space H d H p. H d = span{ L, R }, L, R direction Left and Right. H p = span{ n : n Z}, n the position marked by integer n. One step of Hadamard walk: W = T(H I) Translation T: unitary operator in Hd H p T L, n = L, n 1, T R, n = R, n + 1
28 Quantum walk Hilbert space H d H p. H d = span{ L, R }, L, R direction Left and Right. H p = span{ n : n Z}, n the position marked by integer n. One step of Hadamard walk: W = T(H I) Translation T: unitary operator in Hd H p Hadamard transform Hd : T L, n = L, n 1, T R, n = R, n + 1 H = 1 2 ( )
29 Quantum walk Hilbert space H d H p. H d = span{ L, R }, L, R direction Left and Right. H p = span{ n : n Z}, n the position marked by integer n. One step of Hadamard walk: W = T(H I) Translation T: unitary operator in Hd H p Hadamard transform Hd : T L, n = L, n 1, T R, n = R, n + 1 H = 1 2 ( ) Hadamard walk repeated applications of operator W.
30 Look quantum walk in a new way! Define left and right translation T L and T R in space H p : T L n = n 1, T R n = n + 1
31 Look quantum walk in a new way! Define left and right translation T L and T R in space H p : T L n = n 1, T R n = n + 1 Translation operator T is a quantum case statement: T = qif [d] L T L [p] R T R [p] fiq
32 Look quantum walk in a new way! Define left and right translation T L and T R in space H p : T L n = n 1, T R n = n + 1 Translation operator T is a quantum case statement: T = qif [d] L T L [p] R T R [p] fiq Single-step walk operator W is a quantum choice: T L [p] H[d] T R [p]
33 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
34 Quantum recursion with quantum control flow can be defined based on quantum case statement
35 Quantum recursion with quantum control flow can be defined based on quantum case statement A Quantum Programming Language Alphabet: Two sets of quantum variables: 1. principal system variables p, q,...;
36 Quantum recursion with quantum control flow can be defined based on quantum case statement A Quantum Programming Language Alphabet: Two sets of quantum variables: 1. principal system variables p, q,...; 2. coin variables c, d,... Syntax P ::= X abort skip U[q, c] P 1 ; P 2 qif [c]( i i P i ) fiq
37 Quantum recursion with quantum control flow can be defined based on quantum case statement A Quantum Programming Language Alphabet: Two sets of quantum variables: 1. principal system variables p, q,...; 2. coin variables c, d,... A set of procedure identifiers X, X 1, X 2,... Syntax P ::= X abort skip U[q, c] P 1 ; P 2 qif [c]( i i P i ) fiq
38 Quantum choice [P(c)] i ( i P i ) = P; qif [c] ( i i P i ) end.
39 Quantum choice [P(c)] i ( i P i ) = P; qif [c] ( i i P i ) end. Superposition of Programs Quantum choice first runs a coin-tossing subprogram P followed by an alternation of a family of subprograms P 0, P 1,... Coin-tossing subprogram P creates a superposition of the execution paths of P 0, P 1,...,
40 Quantum choice [P(c)] i ( i P i ) = P; qif [c] ( i i P i ) end. Superposition of Programs Quantum choice first runs a coin-tossing subprogram P followed by an alternation of a family of subprograms P 0, P 1,... Coin-tossing subprogram P creates a superposition of the execution paths of P 0, P 1,..., During the execution of the alternation, each P i is running along its own path, but the whole program is executed in a superposition of execution paths of P 0, P 1,...
41 Semantics of quantum programs without recursion H Hilbert space of the principal system.
42 Semantics of quantum programs without recursion H Hilbert space of the principal system. Semantics P of a program P without procedure identifiers:
43 Semantics of quantum programs without recursion H Hilbert space of the principal system. Semantics P of a program P without procedure identifiers: 1. If P = abort, then P = 0 (the zero operator in H);
44 Semantics of quantum programs without recursion H Hilbert space of the principal system. Semantics P of a program P without procedure identifiers: 1. If P = abort, then P = 0 (the zero operator in H); 2. If P = skip, then P = I (the identity operator in H);
45 Semantics of quantum programs without recursion H Hilbert space of the principal system. Semantics P of a program P without procedure identifiers: 1. If P = abort, then P = 0 (the zero operator in H); 2. If P = skip, then P = I (the identity operator in H); 3. If P = U[q, c], then P = U;
46 Semantics of quantum programs without recursion H Hilbert space of the principal system. Semantics P of a program P without procedure identifiers: 1. If P = abort, then P = 0 (the zero operator in H); 2. If P = skip, then P = I (the identity operator in H); 3. If P = U[q, c], then P = U; 4. If P = P 1 ; P 2, then P = P 2 P 1 ;
47 Semantics of quantum programs without recursion H Hilbert space of the principal system. Semantics P of a program P without procedure identifiers: 1. If P = abort, then P = 0 (the zero operator in H); 2. If P = skip, then P = I (the identity operator in H); 3. If P = U[q, c], then P = U; 4. If P = P 1 ; P 2, then P = P 2 P 1 ; 5. If P = qif [c]( i i P i ) fiq, then P = i ( i P i ) = ( i i P i ). i
48 Quantum recursive programs Let X 1,..., X m be different procedure identifiers. A declaration for X 1,..., X m is a system of equations: X 1 P 1, S :... X m P m, where P i = P i [X 1,..., X m ] contains at most procedure identifiers X 1,..., X m.
49 Quantum recursive programs Let X 1,..., X m be different procedure identifiers. A declaration for X 1,..., X m is a system of equations: X 1 P 1, S :... X m P m, where P i = P i [X 1,..., X m ] contains at most procedure identifiers X 1,..., X m. A recursive program consists of a main statement P = P[X 1,..., X m ] and a declaration S for X 1,..., X m. Question: How to define semantics of quantum recursive programs?
50 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
51 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d], and then a quantum case statement:
52 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d], and then a quantum case statement: if coin d is in state L then the walker moves one position left;
53 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d], and then a quantum case statement: if coin d is in state L then the walker moves one position left; if d is in state R then it moves one position right, followed by a procedure behaving as the recursive walk itself.
54 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d], and then a quantum case statement: if coin d is in state L then the walker moves one position left; if d is in state R then it moves one position right, followed by a procedure behaving as the recursive walk itself. Program X declared by recursive equation: X T L [p] H[d] (T R [p]; X)
55 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d] and then a quantum case statement:
56 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d] and then a quantum case statement: if coin d is in state L then the walker moves one position left, followed by a procedure behaving as the recursive walk itself;
57 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d] and then a quantum case statement: if coin d is in state L then the walker moves one position left, followed by a procedure behaving as the recursive walk itself; if d is in state R then it moves one position right, also followed by a procedure behaving as the recursive walk itself.
58 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d] and then a quantum case statement: if coin d is in state L then the walker moves one position left, followed by a procedure behaving as the recursive walk itself; if d is in state R then it moves one position right, also followed by a procedure behaving as the recursive walk itself. Program X declared by the recursive equation: X (T L [p]; X) H[d] (T R [p]; X)
59 Recursive Hadamard Walk The walk first runs coin-tossing operator H[d] and then a quantum case statement: if coin d is in state L then the walker moves one position left, followed by a procedure behaving as the recursive walk itself; if d is in state R then it moves one position right, also followed by a procedure behaving as the recursive walk itself. Program X declared by the recursive equation: X (T L [p]; X) H[d] (T R [p]; X) A variant declared by system of recursive equations: { X T L [p] H[d] (T R [p]; Y), Y (T L [p]; X) H[d] T R [p]
60 More Interesting Recursive Hardamard Walk Let n 2. Program declared by recursive equation: X ((T L [p]; X) H[d] (T R [p]; X)); (T L [p] H[d] T R [p]) n (X, L d 0 p ) [(X, L d 3 p ) + (X, R d 1 p ) + (X, L d 1 p ) (X, R d 1 p ) + (X, L d 1 p ) + (X, R d 1 p ) (X, L d 1 p ) + (X, R d 3 p )]
61 More Interesting Recursive Hardamard Walk Let n 2. Program declared by recursive equation: X ((T L [p]; X) H[d] (T R [p]; X)); (T L [p] H[d] T R [p]) n (X, L d 0 p ) [(X, L d 3 p ) + (X, R d 1 p ) + (X, L d 1 p ) (X, R d 1 p ) + (X, L d 1 p ) + (X, R d 1 p ) (X, L d 1 p ) + (X, R d 3 p )] Configurations (X, R d 1 p ) and (X, R d 1 p ) cancel one another. Question: how to solve quantum recursive equations?
62 Syntactic Approximation Recursive program X declared by equation X F(X)
63 Syntactic Approximation Recursive program X declared by equation X F(X) Syntactic approximations: { X (0) = Abort, X (n+1) = F[X (n) /X] for n 0. X (n) is the nth syntactic approximation of X.
64 Syntactic Approximation Recursive program X declared by equation X F(X) Syntactic approximations: { X (0) = Abort, X (n+1) = F[X (n) /X] for n 0. X (n) is the nth syntactic approximation of X. Semantics X of X is the limit: X = lim n X (n)
65 Example - Recursive Hadamard Walk X (0) = abort, X (1) = T L [p] H[d] (T R [p]; abort), X (2) = T L [p] H[d] (T R [p]; T L [p] H[d1 ] (T R [p]; abort)), X (3) = T L [p] H[d] (T R [p]; T L [p] H[d1 ] (T R [p]; T L [p] H[d2 ] (T R [p]; abort))),...
66 Example - Recursive Hadamard Walk X (0) = abort, X (1) = T L [p] H[d] (T R [p]; abort), X (2) = T L [p] H[d] (T R [p]; T L [p] H[d1 ] (T R [p]; abort)), X (3) = T L [p] H[d] (T R [p]; T L [p] H[d1 ] (T R [p]; T L [p] H[d2 ] (T R [p]; abort))),... Observation Continuously introduce new coin to avoid variable conflict. Variables d, d 1, d 2,... denote identical particles.
67 Example - Recursive Hadamard Walk X (0) = abort, X (1) = T L [p] H[d] (T R [p]; abort), X (2) = T L [p] H[d] (T R [p]; T L [p] H[d1 ] (T R [p]; abort)), X (3) = T L [p] H[d] (T R [p]; T L [p] H[d1 ] (T R [p]; T L [p] H[d2 ] (T R [p]; abort))),... Observation Continuously introduce new coin to avoid variable conflict. Variables d, d 1, d 2,... denote identical particles. The number of coin particles needed in running recursive walk is unknown beforehand.
68 Example - Recursive Hadamard Walk X (0) = abort, X (1) = T L [p] H[d] (T R [p]; abort), X (2) = T L [p] H[d] (T R [p]; T L [p] H[d1 ] (T R [p]; abort)), X (3) = T L [p] H[d] (T R [p]; T L [p] H[d1 ] (T R [p]; T L [p] H[d2 ] (T R [p]; abort))),... Observation Continuously introduce new coin to avoid variable conflict. Variables d, d 1, d 2,... denote identical particles. The number of coin particles needed in running recursive walk is unknown beforehand. We need to deal with quantum systems where the number of particles of the same type may vary.
69 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
70 Fock Spaces The principle of symmetrisation: the states of n identical particles are either completely symmetric or completely antisymmetric with respect to the permutations of the particles. [ bosons - symmetric; fermions - antisymmetric]
71 Fock Spaces The principle of symmetrisation: the states of n identical particles are either completely symmetric or completely antisymmetric with respect to the permutations of the particles. [ bosons - symmetric; fermions - antisymmetric] H the Hilbert space of one particle.
72 Fock Spaces The principle of symmetrisation: the states of n identical particles are either completely symmetric or completely antisymmetric with respect to the permutations of the particles. [ bosons - symmetric; fermions - antisymmetric] H the Hilbert space of one particle. For each permutation π of 1,..., n, define operator P π in H n : P π ψ 1... ψ n = ψ π(1)... ψ π(n)
73 Fock Spaces The principle of symmetrisation: the states of n identical particles are either completely symmetric or completely antisymmetric with respect to the permutations of the particles. [ bosons - symmetric; fermions - antisymmetric] H the Hilbert space of one particle. For each permutation π of 1,..., n, define operator P π in H n : P π ψ 1... ψ n = ψ π(1)... ψ π(n) Define symmetrisation and antisymmetrisation operators in H n : S + = 1 n! P π, S = 1 π n! ( 1) π P π π
74 Fock Spaces v = + for bosons, v = for fermions. Write ψ 1,..., ψ n v = S v ψ 1... ψ n.
75 Fock Spaces v = + for bosons, v = for fermions. Write ψ 1,..., ψ n v = S v ψ 1... ψ n. State spaces of n bosons and fermions: H n v = S v H n = span{ ψ 1,..., ψ n v : ψ 1,..., ψ n are in H}
76 Fock Spaces v = + for bosons, v = for fermions. Write ψ 1,..., ψ n v = S v ψ 1... ψ n. State spaces of n bosons and fermions: H n v = S v H n = span{ ψ 1,..., ψ n v : ψ 1,..., ψ n are in H} Vacuum state 0 H 0 v = H 0 = span{ 0 }
77 Fock Spaces v = + for bosons, v = for fermions. Write ψ 1,..., ψ n v = S v ψ 1... ψ n. State spaces of n bosons and fermions: H n v = S v H n = span{ ψ 1,..., ψ n v : ψ 1,..., ψ n are in H} Vacuum state 0 H 0 v = H 0 = span{ 0 } Space of the states of variable particle number is Fock space: F v (H) = Hv n n=0
78 Fock Spaces v = + for bosons, v = for fermions. Write ψ 1,..., ψ n v = S v ψ 1... ψ n. State spaces of n bosons and fermions: H n v = S v H n = span{ ψ 1,..., ψ n v : ψ 1,..., ψ n are in H} Vacuum state 0 H 0 v = H 0 = span{ 0 } Space of the states of variable particle number is Fock space: F v (H) = Hv n n=0 Free Fock space: F(H) = H n n=0
79 Evolution Fock Spaces Evolution of one particle: unitary operator U.
80 Evolution Fock Spaces Evolution of one particle: unitary operator U. Evolution of n particles without mutual interactions: operator U in H n : U ψ 1... ψ n = Uψ 1... Uψ n
81 Evolution Fock Spaces Evolution of one particle: unitary operator U. Evolution of n particles without mutual interactions: operator U in H n : U ψ 1... ψ n = Uψ 1... Uψ n Symmetrisation: U ψ 1,..., ψ n v = Uψ 1,...Uψ n v.
82 Evolution Fock Spaces Evolution of one particle: unitary operator U. Evolution of n particles without mutual interactions: operator U in H n : U ψ 1... ψ n = Uψ 1... Uψ n Symmetrisation: U ψ 1,..., ψ n v = Uψ 1,...Uψ n v. Extend to Fock spaces F v (H) and F(H): ( ) U Ψ(n) = U Ψ(n) n=0 n=0
83 Creation and Annihilation of Particles Transitions between states of different particle numbers.
84 Creation and Annihilation of Particles Transitions between states of different particle numbers. Creation operator a (ψ) in F v (H): a (ψ) ψ 1,..., ψ n v = n + 1 ψ, ψ 1,..., ψ n v Add a particle in individual state ψ to the system of n particles without modifying their respective states.
85 Creation and Annihilation of Particles Transitions between states of different particle numbers. Creation operator a (ψ) in F v (H): a (ψ) ψ 1,..., ψ n v = n + 1 ψ, ψ 1,..., ψ n v Add a particle in individual state ψ to the system of n particles without modifying their respective states. Annihilation operator a(ψ) Hermitian conjugate of a (ψ): a(ψ) 0 = 0, a(ψ) ψ 1,..., ψ n v = 1 n n i=1(v) i 1 ψ ψ i ψ 1,..., ψ i 1, ψ i+1,..., ψ n v Decrease the number of particles by one unit, while preserving the symmetry of state.
86 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
87 Second quantisation provides us with necessary tools for defining semantics of quantum recursions!
88 Second quantisation provides us with necessary tools for defining semantics of quantum recursions! A domain of operators in free Fock space H and K two Hilbert spaces F(H) free Fock space over H.
89 Second quantisation provides us with necessary tools for defining semantics of quantum recursions! A domain of operators in free Fock space H and K two Hilbert spaces F(H) free Fock space over H. O(F(H) K) the set of all operators of the form A = A(n), n=0 where A(n) is an operator in H n K.
90 Order and Operations on O(F(H) K) Flat order: A = n=0 A(n), B = n=0 B(n)
91 Order and Operations on O(F(H) K) Flat order: A = n=0 A(n), B = n=0 B(n) A B if and only if
92 Order and Operations on O(F(H) K) Flat order: A = n=0 A(n), B = n=0 B(n) A B if and only if either for all n 0, A(n) = B(n), or
93 Order and Operations on O(F(H) K) Flat order: A = n=0 A(n), B = n=0 B(n) A B if and only if either for all n 0, A(n) = B(n), or there exists an integer n 0 such that A(n) = B(n) for all 0 n n 0 and A(n) = 0 for all n > n 0.
94 Order and Operations on O(F(H) K) Flat order: A = n=0 A(n), B = n=0 B(n) Product: A B if and only if either for all n 0, A(n) = B(n), or there exists an integer n 0 such that A(n) = B(n) for all 0 n n 0 and A(n) = 0 for all n > n 0. A B = (A(n) B(n)). n=0
95 Order and Operations on O(F(H) K) Flat order: A = n=0 A(n), B = n=0 B(n) Product: A B if and only if either for all n 0, A(n) = B(n), or there exists an integer n 0 such that A(n) = B(n) for all 0 n n 0 and A(n) = 0 for all n > n 0. Guarded composition: A B = i ( i A i ) = (A(n) B(n)). n=0 ( ) ( i i A i (n)). n=0 i
96 Notation C the set of quantum coins inp = P[X 1,..., X m ].
97 Notation C the set of quantum coins inp = P[X 1,..., X m ]. H C = c C H c, where H c is the Hilbert space of coin c.
98 Notation C the set of quantum coins inp = P[X 1,..., X m ]. H C = c C H c, where H c is the Hilbert space of coin c. The principal system of P is the composition of the systems denoted by principal variables in P.
99 Notation C the set of quantum coins inp = P[X 1,..., X m ]. H C = c C H c, where H c is the Hilbert space of coin c. The principal system of P is the composition of the systems denoted by principal variables in P. H the Hilbert space of the principal system.
100 Semantic functional Semantic functional of program scheme P: P : O(F(H C ) H) m O(F(H C ) H). For any A 1,..., A m O(F(H C ) H), is inductively defined: P (A 1,..., A m ) If P = abort, then P (A 1,..., A m ) is the zero operator A = n=0 A(n) with A(n) = 0 (the zero operator in H n C H);
101 Semantic functional Semantic functional of program scheme P: P : O(F(H C ) H) m O(F(H C ) H). For any A 1,..., A m O(F(H C ) H), is inductively defined: P (A 1,..., A m ) If P = abort, then P (A 1,..., A m ) is the zero operator A = n=0 A(n) with A(n) = 0 (the zero operator in H n C H); If P = skip, then P (A 1,..., A m ) is the identity operator A = n=0 A(n) with A(n) = I (the identity operator in H); H n C
102 Semantic functional Semantic functional of program scheme P: P : O(F(H C ) H) m O(F(H C ) H). For any A 1,..., A m O(F(H C ) H), is inductively defined: P (A 1,..., A m ) If P = abort, then P (A 1,..., A m ) is the zero operator A = n=0 A(n) with A(n) = 0 (the zero operator in H n C H); If P = skip, then P (A 1,..., A m ) is the identity operator A = n=0 A(n) with A(n) = I (the identity operator in H); HC n If P = U[q, c], then P (A 1,..., A m ) is the cylindrical extension of U: A = n=0 A(n) with A(n) = U I 1 I 2 I 3, where I 1 is the identity operator in the Hilbert space of those coins not in c, I 2 is the identity operator in H (n 1) C, and I 3 is the identity operator in the Hilbert space of those principal variables not in q;
103 Semantic functional If P = X j (1 j m), then P (A 1,..., A m ) = A j ; If P = P 1 ; P 2, then P (A 1,..., A m ) = P 2 (A 1,..., A m ) P 1 (A 1,..., A m ); If P = qif [c]( i i P i ) fiq, then P (A 1,..., A m ) = i ( i P i (A 1,..., A m )).
104 Theorem Continuity of Semantic Functionals Semantic functional P : (O(F(H C ) H) m, ) (O(F(H C ) H), ) is continuous.
105 Creation functional Creation functional C : O(F(H C ) H) O(F(H C ) H) is defined: for any A = n=0 A(n), C(A) = n=0 (I A(n)) where I is the identity operator in H C.
106 Creation functional Creation functional C : O(F(H C ) H) O(F(H C ) H) is defined: for any A = n=0 A(n), C(A) = n=0 where I is the identity operator in H C. (I A(n)) Intuition creation functional C moves all coins c 0, c 1, c 2,... one position to the right so that c i becomes c i+1 for all i = 0, 1, 2,... Thus, a new position is created at the left end for a new coin c 0. Lemma Continuity of Creation Functional Creation functional is continuous. C : (O(F(H C ) H), ) (O(F(H C ) H), )
107 Corollary P = P[X 1,..., X m ] a program scheme. Define: (C m P )(A 1,..., A m ) = P (C(A 1 ),..., C(A m )). Then functional C m P : (O(F(H C ) H) m, ) (O(F(H C ) H), ) is continuous.
108 Corollary P = P[X 1,..., X m ] a program scheme. Define: (C m P )(A 1,..., A m ) = P (C(A 1 ),..., C(A m )). Then functional C m P : (O(F(H C ) H) m, ) (O(F(H C ) H), ) is continuous. Notation Consider a recursive program P declared by system of recursive equations: X 1 P 1, S :... X m P m,
109 Notation System S of recursive equations induces semantic functional: S : O(F(H C ) H) m O(F(H C ) H) m, S (A 1,..., A m ) = ((C m P 1 )(A 1,..., A m ),..., (C m P m )(A 1,..., A m ))
110 Notation System S of recursive equations induces semantic functional: S : O(F(H C ) H) m O(F(H C ) H) m, S (A 1,..., A m ) = ((C m P 1 )(A 1,..., A m ),..., (C m P m )(A 1,..., A m )) Semantical functional S : (O(F(H C ) H) m, ) (O(F(H C ) H) m, ) is continuous.
111 Fixed point semantics Knaster-Tarski Fixed Point Theorem: S has the least fixed point µ S.
112 Fixed point semantics Knaster-Tarski Fixed Point Theorem: S has the least fixed point µ S. Definition The fixed point semantics of recursive program P declared by S: where µ S = (A 1,..., A m). P fix = P (A 1,..., A m) O(F(H C ) H)
113 Theorem Equivalence of Denotational Semantics and Operational Semantics 1. For each k, { X (n) k } n=0 is an increasing chain and exists in O(F(H C ) H). X ( ) k = lim X (n) n k = X (n) k n=0
114 Theorem Equivalence of Denotational Semantics and Operational Semantics 1. For each k, { X (n) k } n=0 is an increasing chain and exists in O(F(H C ) H). X ( ) k = lim X (n) n k = X (n) k n=0 2. ( X ( ) 1,..., X ( ) m ) = µ S is the least fixed point of semantic functional S.
115 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
116 Solutions of recursive equations in Boson/Fermion Fock space Symmetrisation/anti-symmetrisation of the solutions of recursive equations in free Fock space!
117 Solutions of recursive equations in Boson/Fermion Fock space Symmetrisation/anti-symmetrisation of the solutions of recursive equations in free Fock space! Principal System Semantics Each state Ψ in Fock space F v (H d ) induces mapping: X, Ψ p : pure states partial density operators in H p X, Ψ p ( ψ ) = tr F(Hd )( Φ Φ ) where Φ = X ( Ψ ψ ) Principal system semantics of X with coin initialisation Ψ : mapping X, Ψ p.
118 Example Recursive Quantum Walk { X T L [p] H[d] (T R [p]; Y), Y (T L [p]; X) H[d] T R [p] Coherent state of bosons in Boson Fock space F + (H): ( ψ coh = exp 1 ) 2 ψ ψ n=0 [a (ψ)] n 0 n!
119 Example Recursive Quantum Walk { X T L [p] H[d] (T R [p]; Y), Y (T L [p]; X) H[d] T R [p] Coherent state of bosons in Boson Fock space F + (H): ( ψ coh = exp 1 ) 2 ψ ψ n=0 [a (ψ)] n 0 n! The walk starts from position 0 and the coins are initialised in the coherent states of bosons corresponding to L : ( ) X, L coh p ( 0 ) = 1 1 e k=0 2 2k k=0 22k+2 = 1 ( 2 e )
120 Outline 1. Introduction 2. Quantum Case Statement 3. Syntax of Quantum Recursive Programs 4. Recursive Quantum Walks 5. Second Quantisation 6. Solving Recursive Equations in Free Fock Space 7. Quantum Recursion in Boson and Fermion Fock Spaces 8. Conclusion
121 Problems: What kind of problems can be solved more conveniently by using quantum recursion?
122 Problems: What kind of problems can be solved more conveniently by using quantum recursion? Hoare logic for quantum while-loops defined using quantum coins?
123 Problems: What kind of problems can be solved more conveniently by using quantum recursion? Hoare logic for quantum while-loops defined using quantum coins? Hoare logic for quantum while-programs with classical controls [Ying, TOPLAS 2011]
124 Problems: What kind of problems can be solved more conveniently by using quantum recursion? Hoare logic for quantum while-loops defined using quantum coins? Hoare logic for quantum while-programs with classical controls [Ying, TOPLAS 2011] What kind of physical systems can be used to implement quantum recursion?
125 Thank You!
Quantum Recursion and Second Quantisation Basic Ideas and Examples
Quantum Recursion and Second Quantisation Basic Ideas and Examples Mingsheng Ying University of Technology, Sydney, Australia and Tsinghua University, China Happy Birthday Prakash! Happy Birthday Prakash!
More informationQuantum Recursion and Second Quantisation
Quantum Recursion and Second Quantisation Mingsheng Ying State Key Laboratory of Computer Science Outline 1. Introduction 2. Recursive Programming 3. Classical Recursion in Quantum Programming 4. Quantum
More informationFoundations of Quantum Programming
Foundations of Quantum Programming Mingsheng Ying University of Technology Sydney, Australia Institute of Software, Chinese Academy of Sciences Tsinghua University, China Outline Introduction Syntax of
More informationarxiv:quant-ph/ v1 15 Apr 2005
Quantum walks on directed graphs Ashley Montanaro arxiv:quant-ph/0504116v1 15 Apr 2005 February 1, 2008 Abstract We consider the definition of quantum walks on directed graphs. Call a directed graph reversible
More informationA Logic for Formal Verification of Quantum Programs
A Logic for Formal Verification of Quantum Programs Yoshihiko Kakutani Department of Information Science, University of Tokyo kakutani@is.s.u-tokyo.ac.jp Abstract. This paper provides a Hoare-style logic
More informationDiscrete quantum random walks
Quantum Information and Computation: Report Edin Husić edin.husic@ens-lyon.fr Discrete quantum random walks Abstract In this report, we present the ideas behind the notion of quantum random walks. We further
More informationTime in Quantum Walk and Weak Value
Time in Quantum Walk and Weak Value Yutaka Shikano Department of Physics, Tokyo Institute of Technology Department of Mechanical Engineering, Massachusetts Institute of Technology 1 Outline 1. Two Stories
More informationarxiv: v1 [cs.pl] 8 Nov 2018
Quantitative Robustness Analysis of Quantum Programs (Extended Version) arxiv:1811.03585v1 [cs.pl] 8 Nov 2018 SHIH-HAN HUNG, KESHA HIETALA, and SHAOPENG ZHU, University of Maryland, College Park, USA MINGSHENG
More informationQuantum Predicative Programming
Quantum Predicative Programming Anya Tafliovich and E.C.R. Hehner University of Toronto, Toronto ON M5S 3G4, Canada anya,hehner@cs.toronto.edu Abstract. The subject of this work is quantum predicative
More informationBy allowing randomization in the verification process, we obtain a class known as MA.
Lecture 2 Tel Aviv University, Spring 2006 Quantum Computation Witness-preserving Amplification of QMA Lecturer: Oded Regev Scribe: N. Aharon In the previous class, we have defined the class QMA, which
More informationTowards a High Level Quantum Programming Language
Towards a High Level Quantum Programming Language Thorsten Altenkirch University of Nottingham based on joint work with Jonathan Grattage and discussions with V.P. Belavkin Towards ahigh LevelQuantum Programming
More informationImplementing the quantum random walk
PHYSICAL REVIEW A, VOLUME 5, Implementing the quantum random walk B. C. Travaglione* and G. J. Milburn Centre for Quantum Computer Technology, University of Queensland, St. Lucia, Queensland, Australia
More informationQFT PS1: Bosonic Annihilation and Creation Operators (11/10/17) 1
QFT PS1: Bosonic Annihilation and Creation Operators (11/10/17) 1 Problem Sheet 1: Bosonic Annihilation and Creation Operators Comments on these questions are always welcome. For instance if you spot any
More informationHoare Logic (I): Axiomatic Semantics and Program Correctness
Hoare Logic (I): Axiomatic Semantics and Program Correctness (Based on [Apt and Olderog 1991; Gries 1981; Hoare 1969; Kleymann 1999; Sethi 199]) Yih-Kuen Tsay Dept. of Information Management National Taiwan
More informationCoinductive big-step semantics and Hoare logics for nontermination
Coinductive big-step semantics and Hoare logics for nontermination Tarmo Uustalu, Inst of Cybernetics, Tallinn joint work with Keiko Nakata COST Rich Models Toolkit meeting, Madrid, 17 18 October 2013
More informationQuantum field theory and Green s function
1 Quantum field theory and Green s function Condensed matter physics studies systems with large numbers of identical particles (e.g. electrons, phonons, photons) at finite temperature. Quantum field theory
More informationProbabilistic Guarded Commands Mechanized in HOL
Probabilistic Guarded Commands Mechanized in HOL Joe Hurd joe.hurd@comlab.ox.ac.uk Oxford University Joint work with Annabelle McIver (Macquarie University) and Carroll Morgan (University of New South
More informationSpatial correlations in quantum walks with two particles
Spatial correlations in quantum walks with two particles M. Štefaňák (1), S. M. Barnett 2, I. Jex (1) and T. Kiss (3) (1) Department of Physics, Faculty of Nuclear Sciences and Physical Engineering, Czech
More information1 Quantum field theory and Green s function
1 Quantum field theory and Green s function Condensed matter physics studies systems with large numbers of identical particles (e.g. electrons, phonons, photons) at finite temperature. Quantum field theory
More informationVerification Logics for Quantum Programs WPE-II
Verification Logics for Quantum Programs WPE-II Robert Rand Computer and Information Sciences University of Pennsylvania rrand@seas.upenn.edu Abstract We survey the landscape of Hoare logics for quantum
More informationDiscrete-Time Quantum Walk and Quantum Dynamical Simulator Yutaka Shikano
Discrete-Time Quantum Walk and Quantum Dynamical Simulator Yutaka Shikano Institute for Molecular Science Research Associate Professor What is my current research interest? 1 Foundation of Thermodynamics
More informationFermionic coherent states in infinite dimensions
Fermionic coherent states in infinite dimensions Robert Oeckl Centro de Ciencias Matemáticas Universidad Nacional Autónoma de México Morelia, Mexico Coherent States and their Applications CIRM, Marseille,
More informationGeneric quantum walk using a coin-embedded shift operator
PHYSICAL REVIEW A 78, 052309 2008 Generic quantum walk using a coin-embedded shift operator C. M. Chandrashekar Institute for Quantum Computing, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1
More informationOptimizing the discrete time quantum walk using a SU(2) coin
PHYSICAL REVIEW A 77, 336 8 Optimizing the discrete time quantum walk using a SU() coin C. M. Chandrashekar, 1 R. Srikanth,,3 and Raymond Laflamme 1,4 1 Institute for Quantum Computing, University of Waterloo,
More informationLecture 2: From Classical to Quantum Model of Computation
CS 880: Quantum Information Processing 9/7/10 Lecture : From Classical to Quantum Model of Computation Instructor: Dieter van Melkebeek Scribe: Tyson Williams Last class we introduced two models for deterministic
More informationConvergence of coined quantum walks on R d
Convergence of coined quantum walks on Alex D. Gottlieb, Svante Janson, and Petra F. Scudo June 7, 2004; corrected October 5, 2004 Abstract Coined quantum walks may be interpreted as the motion in position
More informationSummary lecture II. Graphene exhibits a remarkable linear and gapless band structure
Summary lecture II Bloch theorem: eigen functions of an electron in a perfectly periodic potential have the shape of plane waves modulated with a Bloch factor that possess the periodicity of the potential
More informationQuantum Communication Complexity
Quantum Communication Complexity Ronald de Wolf Communication complexity has been studied extensively in the area of theoretical computer science and has deep connections with seemingly unrelated areas,
More informationQLang: Qubit Language
QLang: Qubit Language Christopher Campbell Clément Canonne Sankalpa Khadka Winnie Narang Jonathan Wong September 24, 24 Introduction In 965, Gordon Moore predicted that the number of transistors in integrated
More informationQuantum data and control made easier
QPL 006 Preliminary Version Quantum data and control made easier Michael Lampis 1, Kyriakos G. Ginis 3 Nikolaos S. Papaspyrou 4 School of Electrical and Computer Engineering National Technical University
More informationQuantum Mechanics II
Quantum Mechanics II Prof. Boris Altshuler March 8, 011 1 Lecture 19 1.1 Second Quantization Recall our results from simple harmonic oscillator. We know the Hamiltonian very well so no need to repeat here.
More informationLecture 5. Hartree-Fock Theory. WS2010/11: Introduction to Nuclear and Particle Physics
Lecture 5 Hartree-Fock Theory WS2010/11: Introduction to Nuclear and Particle Physics Particle-number representation: General formalism The simplest starting point for a many-body state is a system of
More informationUnifying Theories of Programming
1&2 Unifying Theories of Programming Unifying Theories of Programming 3&4 Theories Unifying Theories of Programming designs predicates relations reactive CSP processes Jim Woodcock University of York May
More informationFrom Symmetric Pattern-Matching to Quantum Control
From Symmetric Pattern-Matching to Quantum Control Amr Sabry 1, Benoît Valiron 2, and Juliana Kaizer Vizzotto 3 1 Indiana University sabry@indiana.edu 2 LRI, CentraleSupélec, Université Paris-Saclay benoit.valiron@lri.fr
More informationOrthogonality and Algebraic Lambda-Calculus
Orthogonality and Algebraic Lambda-Calculus Benoît Valiron March 28, 2010 Abstract Directly encoding lambda-terms on quantum strings while keeping a quantum interpretation is a hard task. As shown by van
More informationHoare Calculus for SIMT Programms
Introduction The extension of the Hoare Logic Proof of Equivalence Conclusion and Future Work Hoare Calculus for SIMT Programms Viktor Leonhardt Embedded Systems Group Department of Computer Science University
More informationCOMP2111 Glossary. Kai Engelhardt. Contents. 1 Symbols. 1 Symbols 1. 2 Hoare Logic 3. 3 Refinement Calculus 5. rational numbers Q, real numbers R.
COMP2111 Glossary Kai Engelhardt Revision: 1.3, May 18, 2018 Contents 1 Symbols 1 2 Hoare Logic 3 3 Refinement Calculus 5 1 Symbols Booleans B = {false, true}, natural numbers N = {0, 1, 2,...}, integers
More informationVerification Frameworks and Hoare Logic
CMSC 630 February 11, 2015 1 Verification Frameworks and Hoare Logic Sources K. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs (Second Edition). Springer-Verlag, Berlin, 1997.
More information1 Mathematical preliminaries
1 Mathematical preliminaries The mathematical language of quantum mechanics is that of vector spaces and linear algebra. In this preliminary section, we will collect the various definitions and mathematical
More informationTowards a quantum calculus
QPL 2006 Preliminary Version Towards a quantum calculus (work in progress, extended abstract) Philippe Jorrand 1 Simon Perdrix 2 Leibniz Laboratory IMAG-INPG Grenoble, France Abstract The aim of this paper
More informationApplied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw
Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018
More informationPHY 396 K. Problem set #5. Due October 9, 2008.
PHY 396 K. Problem set #5. Due October 9, 2008.. First, an exercise in bosonic commutation relations [â α, â β = 0, [â α, â β = 0, [â α, â β = δ αβ. ( (a Calculate the commutators [â αâ β, â γ, [â αâ β,
More informationAre these states normalized? A) Yes
QMII-. Consider two kets and their corresponding column vectors: Ψ = φ = Are these two state orthogonal? Is ψ φ = 0? A) Yes ) No Answer: A Are these states normalized? A) Yes ) No Answer: (each state has
More informationLong-time Entanglement in the Quantum Walk
WECIQ 6 - Artigos Long-time Entanglement in the Quantum Walk Gonzalo Abal 1, Raul Donangelo, Hugo Fort 3 1 Instituto de Física, Facultad de Ingeniería, Universidad de la República, C.C. 3, C.P. 11, Montevideo,
More informationDiscrete Quantum Walks on Graphs and Digraphs
Discrete Quantum Walks on Graphs and Digraphs by Hanmeng Zhan A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in Combinatorics
More informationStatistical Interpretation
Physics 342 Lecture 15 Statistical Interpretation Lecture 15 Physics 342 Quantum Mechanics I Friday, February 29th, 2008 Quantum mechanics is a theory of probability densities given that we now have an
More informationMean-Field Theory: HF and BCS
Mean-Field Theory: HF and BCS Erik Koch Institute for Advanced Simulation, Jülich N (x) = p N! ' (x ) ' 2 (x ) ' N (x ) ' (x 2 ) ' 2 (x 2 ) ' N (x 2 )........ ' (x N ) ' 2 (x N ) ' N (x N ) Slater determinant
More informationSymmetries, Groups, and Conservation Laws
Chapter Symmetries, Groups, and Conservation Laws The dynamical properties and interactions of a system of particles and fields are derived from the principle of least action, where the action is a 4-dimensional
More informationwhere P a is a projector to the eigenspace of A corresponding to a. 4. Time evolution of states is governed by the Schrödinger equation
1 Content of the course Quantum Field Theory by M. Srednicki, Part 1. Combining QM and relativity We are going to keep all axioms of QM: 1. states are vectors (or rather rays) in Hilbert space.. observables
More informationConnecting the categorical and the modal logic approaches to Quantum Mech
Connecting the categorical and the modal logic approaches to Quantum Mechanics based on MSc thesis supervised by A. Baltag Institute for Logic, Language and Computation University of Amsterdam 30.11.2013
More informationDynamic Noninterference Analysis Using Context Sensitive Static Analyses. Gurvan Le Guernic July 14, 2007
Dynamic Noninterference Analysis Using Context Sensitive Static Analyses Gurvan Le Guernic July 14, 2007 1 Abstract This report proposes a dynamic noninterference analysis for sequential programs. This
More informationarxiv: v1 [quant-ph] 10 Sep 2012
Quantum Walks on Sierpinski Gaskets arxiv:1209.2095v1 [quant-ph] 10 Sep 2012 Pedro Carlos S. Lara, Renato Portugal, and Stefan Boettcher May 2, 2014 Abstract We analyze discrete-time quantum walks on Sierpinski
More informationSemantics and Verification of Software
Semantics and Verification of Software Thomas Noll Software Modeling and Verification Group RWTH Aachen University http://moves.rwth-aachen.de/teaching/ss-15/sv-sw/ The Denotational Approach Denotational
More informationLecture 5 - Information theory
Lecture 5 - Information theory Jan Bouda FI MU May 18, 2012 Jan Bouda (FI MU) Lecture 5 - Information theory May 18, 2012 1 / 42 Part I Uncertainty and entropy Jan Bouda (FI MU) Lecture 5 - Information
More informationQuantum random walks with history dependence
Quantum random walks with history dependence A P Flitney, D Abbott and N F Johnson Centre for Biomedical Engineering (CBME) and Department of Electrical and Electronic Engineering, The University of Adelaide,
More informationA Glimpse of Quantum Computation
A Glimpse of Quantum Computation Zhengfeng Ji (UTS:QSI) QCSS 2018, UTS 1. 1 Introduction What is quantum computation? Where does the power come from? Superposition Incompatible states can coexist Transformation
More informationA Bird s Eye View on the Quantitative Semantics of Linear Logic
A Bird s Eye View on the Quantitative Semantics of Linear Logic Michele Pagani Laboratoire d Informatique de Paris Nord Institut Galilèe Universitè de Paris 13 Villetaneuse, France michelepagani@lipnuniv-paris13fr
More informationAdvanced Quantum Mechanics
Advanced Quantum Mechanics University of York Lecturer: Rex Godby Notes by Victor Naden Robinson Lecture 1: TDSE Lecture 2: TDSE Lecture 3: FMG Lecture 4: FMG Lecture 5: Ehrenfest s Theorem and the Classical
More informationNon-unitary quantum walks:
Non-unitary quantum walks: exploring the space between classical and quantum computing Viv Kendon Review article on decoherence in quantum walks quant-ph/0606016 Quantum Information School of Physics &
More informationThe Dirac Equation. Topic 3 Spinors, Fermion Fields, Dirac Fields Lecture 13
The Dirac Equation Dirac s discovery of a relativistic wave equation for the electron was published in 1928 soon after the concept of intrisic spin angular momentum was proposed by Goudsmit and Uhlenbeck
More informationSection 11.1 Sequences
Math 152 c Lynch 1 of 8 Section 11.1 Sequences A sequence is a list of numbers written in a definite order: a 1, a 2, a 3,..., a n,... Notation. The sequence {a 1, a 2, a 3,...} can also be written {a
More informationAn Introduction to Quantum Computation and Quantum Information
An to and Graduate Group in Applied Math University of California, Davis March 13, 009 A bit of history Benioff 198 : First paper published mentioning quantum computing Feynman 198 : Use a quantum computer
More informationCommunicating Parallel Processes. Stephen Brookes
Communicating Parallel Processes Stephen Brookes Carnegie Mellon University Deconstructing CSP 1 CSP sequential processes input and output as primitives named parallel composition synchronized communication
More informationCoding of memoryless sources 1/35
Coding of memoryless sources 1/35 Outline 1. Morse coding ; 2. Definitions : encoding, encoding efficiency ; 3. fixed length codes, encoding integers ; 4. prefix condition ; 5. Kraft and Mac Millan theorems
More informationPhysics 239/139 Spring 2018 Assignment 2 Solutions
University of California at San Diego Department of Physics Prof. John McGreevy Physics 39/139 Spring 018 Assignment Solutions Due 1:30pm Monday, April 16, 018 1. Classical circuits brain-warmer. (a) Show
More informationQuantum decoherence. Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, Quantum decoherence p. 1/2
Quantum decoherence p. 1/2 Quantum decoherence Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, 2007 Quantum decoherence p. 2/2 Outline Quantum decoherence: 1. Basics of quantum
More informationIntegrable structure of various melting crystal models
Integrable structure of various melting crystal models Kanehisa Takasaki, Kinki University Taipei, April 10 12, 2015 Contents 1. Ordinary melting crystal model 2. Modified melting crystal model 3. Orbifold
More informationCMPS 217 Logic in Computer Science. Lecture #17
CMPS 217 Logic in Computer Science https://courses.soe.ucsc.edu/courses/cmps217/spring13/01 Lecture #17 1 The Complexity of FO-Truth on a Structure Structure A Complexity of Th(A) Structure of the natural
More informationChapter 10. Quantum algorithms
Chapter 10. Quantum algorithms Complex numbers: a quick review Definition: C = { a + b i : a, b R } where i = 1. Polar form of z = a + b i is z = re iθ, where r = z = a 2 + b 2 and θ = tan 1 y x Alternatively,
More informationarxiv: v1 [quant-ph] 18 Mar 2014
Debugging Quantum Processes Using Monitoring Measurements Yangjia Li 1,2 and Mingsheng Ying 2,1 1 State Key Laboratory of Intelligent Technology and Systems, Tsinghua National Laboratory for Information
More informationProgram verification using Hoare Logic¹
Program verification using Hoare Logic¹ Automated Reasoning - Guest Lecture Petros Papapanagiotou Part 2 of 2 ¹Contains material from Mike Gordon s slides: Previously on Hoare Logic A simple while language
More informationCISC 876: Kolmogorov Complexity
March 27, 2007 Outline 1 Introduction 2 Definition Incompressibility and Randomness 3 Prefix Complexity Resource-Bounded K-Complexity 4 Incompressibility Method Gödel s Incompleteness Theorem 5 Outline
More informationChapter 6: Computation Tree Logic
Chapter 6: Computation Tree Logic Prof. Ali Movaghar Verification of Reactive Systems Outline We introduce Computation Tree Logic (CTL), a branching temporal logic for specifying system properties. A comparison
More information1 The postulates of quantum mechanics
1 The postulates of quantum mechanics The postulates of quantum mechanics were derived after a long process of trial and error. These postulates provide a connection between the physical world and the
More information3 Propositional Logic
3 Propositional Logic 3.1 Syntax 3.2 Semantics 3.3 Equivalence and Normal Forms 3.4 Proof Procedures 3.5 Properties Propositional Logic (25th October 2007) 1 3.1 Syntax Definition 3.0 An alphabet Σ consists
More informationLimits on the power of quantum statistical zero-knowledge
Limits on the power of quantum statistical zero-knowledge John Watrous Department of Computer Science University of Calgary Calgary, Alberta, Canada jwatrous@cpsc.ucalgary.ca January 16, 2003 Abstract
More informationSystems of Identical Particles
qmc161.tex Systems of Identical Particles Robert B. Griffiths Version of 21 March 2011 Contents 1 States 1 1.1 Introduction.............................................. 1 1.2 Orbitals................................................
More informationΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ αβγδεζηθικλμνξοπρςστυφχψω +<=>± ħ
CHAPTER 1. SECOND QUANTIZATION In Chapter 1, F&W explain the basic theory: Review of Section 1: H = ij c i < i T j > c j + ij kl c i c j < ij V kl > c l c k for fermions / for bosons [ c i, c j ] = [ c
More informationRecurrences in Quantum Walks
Recurrences in Quantum Walks M. Štefaňák (1), I. Jex (1), T. Kiss (2) (1) Department of Physics, FJFI ČVUT in Prague, Czech Republic (2) Department of Nonlinear and Quantum Optics, RISSPO, Hungarian Academy
More informationEqual Superposition Transformations and Quantum Random Walks
Equal Superposition Transformations and Quantum Random Walks arxiv:0709.3406v1 [quant-ph] 1 Sep 007 Preeti Parashar Physics and Applied Mathematics Unit Indian Statistical Institute 03 B T Road, Kolkata
More informationA Functional Quantum Programming Language
A Functional Quantum Programming Language Thorsten Altenkirch University of Nottingham based on joint work with Jonathan Grattage and discussions with V.P. Belavkin supported by EPSRC grant GR/S30818/01
More informationCS422 - Programming Language Design
1 CS422 - Programming Language Design Denotational Semantics Grigore Roşu Department of Computer Science University of Illinois at Urbana-Champaign 2 Denotational semantics, also known as fix-point semantics,
More informationQuantum algorithms (CO 781/CS 867/QIC 823, Winter 2013) Andrew Childs, University of Waterloo LECTURE 13: Query complexity and the polynomial method
Quantum algorithms (CO 781/CS 867/QIC 823, Winter 2013) Andrew Childs, University of Waterloo LECTURE 13: Query complexity and the polynomial method So far, we have discussed several different kinds of
More informationarxiv:quant-ph/ v3 26 Nov 2006
Under consideration for publication in Math. Struct. in Comp. Science Decoherence in quantum walks - a review arxiv:quant-ph/0606016v3 26 Nov 2006 VIV KENDON School of Physics and Astronomy, University
More informationContinuous-time quantum walks on the symmetric group
Continuous-time quantum walks on the symmetric group Heath Gerhardt John Watrous Department of Computer Science University of Calgary Calgary, Alberta, Canada {gerhardt, jwatrous}@cpscucalgaryca May 9,
More informationPart II Logic and Set Theory
Part II Logic and Set Theory Theorems Based on lectures by I. B. Leader Notes taken by Dexter Chua Lent 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationLecture 8: Probability
Lecture 8: Probability The idea of probability is well-known The flipping of a balanced coin can produce one of two outcomes: T (tail) and H (head) and the symmetry between the two outcomes means, of course,
More informationRecurrences and Full-revivals in Quantum Walks
Recurrences and Full-revivals in Quantum Walks M. Štefaňák (1), I. Jex (1), T. Kiss (2) (1) Department of Physics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague,
More informationRealizing non-abelian statistics in quantum loop models
Realizing non-abelian statistics in quantum loop models Paul Fendley Experimental and theoretical successes have made us take a close look at quantum physics in two spatial dimensions. We have now found
More informationA Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic (RPNL )
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic (RPNL ) Davide Bresolin Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine {bresolin,
More informationQuantum walk on a line with two entangled particles
Quantum walk on a line with two entangled particles Y. Omar SQIG, Instituto de Telecomunicações and CEMAPRE, ISEG, Universidade Técnica de Lisboa, P-1200-781 Lisbon, Portugal. Paunković SQIG, Instituto
More informationWe can instead solve the problem algebraically by introducing up and down ladder operators b + and b
Physics 17c: Statistical Mechanics Second Quantization Ladder Operators in the SHO It is useful to first review the use of ladder operators in the simple harmonic oscillator. Here I present the bare bones
More informationRoy L. Crole. Operational Semantics Abstract Machines and Correctness. University of Leicester, UK
Midlands Graduate School, University of Birmingham, April 2008 1 Operational Semantics Abstract Machines and Correctness Roy L. Crole University of Leicester, UK Midlands Graduate School, University of
More informationEntanglement and Quantum Teleportation
Entanglement and Quantum Teleportation Stephen Bartlett Centre for Advanced Computing Algorithms and Cryptography Australian Centre of Excellence in Quantum Computer Technology Macquarie University, Sydney,
More informationarxiv: v1 [quant-ph] 24 Mar 2008
The QWalk Simulator of Quantum Walks F.L. Marquezino a,1, R. Portugal a, arxiv:83.3459v1 [quant-ph] 24 Mar 28 Abstract a LNCC, Laboratório Nacional de Computação Científica Av. Getúlio Vargas 333, CEP
More informationOn the Hardness of Analyzing Probabilistic Programs
Acta Informatica manuscript No. (will be inserted by the editor) On the Hardness of Analyzing Probabilistic Programs Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Received: September 15
More informationTHE UNIVERSITY OF CALGARY. Programming with a Quantum Stack. Brett Gordon Giles A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES
THE UNIVERSITY OF CALGARY Programming with a Quantum Stack by Brett Gordon Giles A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER
More informationComplex numbers: a quick review. Chapter 10. Quantum algorithms. Definition: where i = 1. Polar form of z = a + b i is z = re iθ, where
Chapter 0 Quantum algorithms Complex numbers: a quick review / 4 / 4 Definition: C = { a + b i : a, b R } where i = Polar form of z = a + b i is z = re iθ, where r = z = a + b and θ = tan y x Alternatively,
More informationThe query register and working memory together form the accessible memory, denoted H A. Thus the state of the algorithm is described by a vector
1 Query model In the quantum query model we wish to compute some function f and we access the input through queries. The complexity of f is the number of queries needed to compute f on a worst-case input
More informationQuantum process calculus for linear optical quantum computing.
Quantum process calculus for linear optical quantum computing. Sonja Franke-Arnold 1, Simon J. Gay 2, and Ittoop V. Puthoor 1,2 1 School of Physics and Astronomy and 2 School of Computing Science, University
More information