Undecidability as a genuine quantum property
|
|
- Tyrone Rich
- 5 years ago
- Views:
Transcription
1 Undecidability as a genuine quantum property 1 / 20 Undecidability as a genuine quantum property Jens Eisert 1, Markus P. Müller 2, and Christian Gogolin 1 1 Dahlem Center for Complex Quantum Systems, Freie Universität Berlin 2 Perimeter Institute for Theoretical Physics, Waterloo, Canada UNAM Mexico
2 Undecidability as a genuine quantum property Motivation 2 / 20 What I hope to get across An operationally defined problem about measurements
3 Undecidability as a genuine quantum property Motivation 2 / 20 What I hope to get across An operationally defined problem about measurements Question: Are certain outcome sequences impossible?
4 Undecidability as a genuine quantum property Motivation 2 / 20 What I hope to get across An operationally defined problem about measurements Question: Are certain outcome sequences impossible? Two versions: Quantum Classical algorithmically undecidable algorithmically decidable
5 Undecidability as a genuine quantum property Motivation 2 / 20 What I hope to get across An operationally defined problem about measurements Question: Are certain outcome sequences impossible? Two versions: Quantum Classical What it means: algorithmically undecidable algorithmically decidable
6 Undecidability as a genuine quantum property Motivation 2 / 20 What I hope to get across An operationally defined problem about measurements Question: Are certain outcome sequences impossible? Two versions: Quantum Classical algorithmically undecidable algorithmically decidable What it means: Statement about the complexity of the mathematical theory of quantum mechanics
7 Undecidability as a genuine quantum property Motivation 2 / 20 What I hope to get across An operationally defined problem about measurements Question: Are certain outcome sequences impossible? Two versions: Quantum Classical algorithmically undecidable algorithmically decidable What it means: Statement about the complexity of the mathematical theory of quantum mechanics Arguably the strongest complexity theoretic quantum/classical separation imaginable (almost)
8 Undecidability as a genuine quantum property Outline 3 / 20 Outline 1 Undecidability Turing Machines and Computability Undecidability and the halting problem 2 Measurement occurrence problem Operational definition Quantum and classical version 3 Results Decidability of the classical problem Undecidability of the quantum problem
9 Undecidability as a genuine quantum property Undecidability 4 / 20 Undecidability
10 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, 5 1, 5 0, 1,. input x
11 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, 1 1, 5 0, 1,.
12 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, 2 1, 5 0, 1,.
13 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, h 1, 5 0, 1,. output y
14 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, h 1, 5 0, 1,. Input x and output y are (bit) strings (countable). output y
15 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, h 1, 5 0, 1,. Input x and output y are (bit) strings (countable). The set of Turing machines is countable (Turing Number t N). output y
16 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, h 1, 5 0, 1,. Input x and output y are (bit) strings (countable). The set of Turing machines is countable (Turing Number t N). Turing Machine computes a function f : X Y iff it halts and y = f(x) for each x X. output y
17 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, h 1, 5 0, 1,. output y Input x and output y are (bit) strings (countable). The set of Turing machines is countable (Turing Number t N). Turing Machine computes a function f : X Y iff it halts and y = f(x) for each x X. Universal model of computation
18 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, h 1, 5 0, 1,. output y Input x and output y are (bit) strings (countable). The set of Turing machines is countable (Turing Number t N). Turing Machine computes a function f : X Y iff it halts and y = f(x) for each x X. Universal model of computation Question: Are all functions f : N {0, 1} computable?
19 Undecidability as a genuine quantum property Undecidability Turing Machines and Computability 5 / 20 Turing machines Turing Machine t 0, 1 0, 2, 1, 2 0, h, h 1, 5 0, 1,. output y Input x and output y are (bit) strings (countable). The set of Turing machines is countable (Turing Number t N). Turing Machine computes a function f : X Y iff it halts and y = f(x) for each x X. Universal model of computation Question: Are all functions f : N {0, 1} computable? Answer: No!
20 Undecidability as a genuine quantum property Undecidability Undecidability and the halting problem 6 / 20 The halting problem Halt(x) Halt(x) = { true false if TM x halts on input x if TM x does not halt on input x
21 Undecidability as a genuine quantum property Undecidability Undecidability and the halting problem 6 / 20 The halting problem Halt(x) Halt(x) = { true false if TM x halts on input x if TM x does not halt on input x Assume Halt(x) is computable, then there must be a Turing machine (with Turing number f) which behaves according to the following program: f(x) if Halt(x) then loop forever else halt endif
22 Undecidability as a genuine quantum property Undecidability Undecidability and the halting problem 6 / 20 The halting problem Halt(x) Halt(x) = { true false if TM x halts on input x if TM x does not halt on input x Assume Halt(x) is computable, then there must be a Turing machine (with Turing number f) which behaves according to the following program: f(x) if Halt(x) then loop forever else halt endif What is f( f)?
23 Undecidability as a genuine quantum property Undecidability Undecidability and the halting problem 7 / 20 Turing undecidability A problem is undecidable iff there is no algorithm solving each instance of the problem.
24 Undecidability as a genuine quantum property Measurement occurrence problem 8 / 20 Measurement occurrence problem
25 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 9 / 20 A problem from measurement theory..
26 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 9 / 20 A problem from measurement theory outcomes input K
27 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 9 / 20 A problem from measurement theory outcomes input K
28 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 9 / 20 A problem from measurement theory input K
29 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 9 / 20 A problem from measurement theory input K w 1 = 2
30 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 9 / 20 A problem from measurement theory.. w 1 = 2
31 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 9 / 20 A problem from measurement theory.. w 2 = 1
32 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 10 / 20 A problem from measurement theory... w 1 w 2 w 3...
33 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 10 / 20 A problem from measurement theory... w n never occurs w 1 w 2 w 3...
34 Undecidability as a genuine quantum property Measurement occurrence problem Operational definition 10 / 20 A problem from measurement theory Measurement occurrence problem (MOP) Given a description of a measurement device decide whether there exists a sequence of outcomes... w w 1,..., w n that can never occur, regardless of the input. n never occurs w 1 w 2 w 3...
35 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 11 / 20 QMOP vs. CMOP QMOP state: ρ = ρ 0, Tr ρ = 1
36 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 11 / 20 QMOP vs. CMOP QMOP state: ρ = ρ 0, Tr ρ = 1 device: {A j } K j=1 Q d d K A j A j = 1 j=1
37 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 11 / 20 QMOP vs. CMOP QMOP state: ρ = ρ 0, Tr ρ = 1 device: {A j } K j=1 Q d d K A j A j = 1 j=1 on outcome j: ρ A jρa j Tr[A j ρa j ]
38 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 11 / 20 QMOP vs. CMOP QMOP state: ρ = ρ 0, Tr ρ = 1 device: {A j } K j=1 Q d d K A j A j = 1 j=1 on outcome j: ρ A jρa j Tr[A j ρa j ] Prob(w 1,..., w n ) = Tr[A w 1... A w n A wn... A w1 ρ]
39 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 11 / 20 QMOP vs. CMOP QMOP CMOP d state: ρ = ρ 0, Tr ρ = 1 p 0, p i = 1 device: {A j } K j=1 Q d d {Q j } K j=1 (Q + 0 ) d d i=1 K A j A j = 1 j=1 K Q j is stochastic j=1 on outcome j: ρ A jρa j Tr[A j ρa j ] Prob(w 1,..., w n ) = Tr[A w 1... A w n A wn... A w1 ρ] p Q j p d i=1 (Q j p) i d (Q wn... Q w1 p) i i=1
40 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 12 / 20 When is w 1,... w n an impossible outcome sequence? QMOP: Prob(w 1,..., w n ) = Tr[A w 1... A w n A wn... A w1 ρ] = 0 ρ A w 1... A w n A wn... A w1 = 0 A wn... A w1 = 0
41 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 12 / 20 When is w 1,... w n an impossible outcome sequence? QMOP: Prob(w 1,..., w n ) = Tr[A w 1... A w n A wn... A w1 ρ] = 0 ρ A w 1... A w n A wn... A w1 = 0 A wn... A w1 = 0 CMOP: Prob(w 1,..., w n ) = d (Q wn... Q w1 p) i = 0 p i=1 Q wn... Q w1 = 0
42 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 12 / 20 When is w 1,... w n an impossible outcome sequence? QMOP: Prob(w 1,..., w n ) = Tr[A w 1... A w n A wn... A w1 ρ] = 0 ρ A w 1... A w n A wn... A w1 = 0 A wn... A w1 = 0 CMOP: Prob(w 1,..., w n ) = d (Q wn... Q w1 p) i = 0 p i=1 Q wn... Q w1 = 0 Remember: different restrictions on A j and Q j!
43 Undecidability as a genuine quantum property Measurement occurrence problem Quantum and classical version 13 / 20 QMOP vs. CMOP QMOP CMOP d state: ρ = ρ 0, Tr ρ = 1 p 0, p i = 1 device: {A j } K j=1 Q d d {Q j } K j=1 (Q + 0 ) d d i=1 K A j A j = 1 j=1 K Q j is stochastic j=1 on outcome j: ρ A jρa j Tr A j ρa j Prob(w 1,..., w n ) = Tr[A w 1... A w n A wn... A w1 ρ] p Q j p d i=1 (Q j p) i d (Q wn... Q w1 p) i i=1
44 Undecidability as a genuine quantum property Results 14 / 20 Results
45 Undecidability as a genuine quantum property Results 15 / 20 Quantum vs. classical separation Theorem 1 (Undecidability) The quantum measurement occurrence problem (QMOP) for K 9 and d 15 is undecidable. Theorem 2 (Decidability) For any K and d, both QMOP with Kraus operators A j with non-negative entries and CMOP are decidable. [1] J. Eisert, M. P. Mueller, and C. Gogolin, Phys. Rev. Lett. 108, (2012)
46 Undecidability as a genuine quantum property Results Decidability of the classical problem 16 / 20 Proof idea for decidability Proof of Theorem 2:
47 Undecidability as a genuine quantum property Results Decidability of the classical problem 16 / 20 Proof idea for decidability Proof of Theorem 2: For any entry wise non-negative matrix M define its indicator matrix M a,b := { 0 if M a,b = 0 1 if M a,b > 0.
48 Undecidability as a genuine quantum property Results Decidability of the classical problem 16 / 20 Proof idea for decidability Proof of Theorem 2: For any entry wise non-negative matrix M define its indicator matrix { M a,b := 0 if M a,b = 0 1 if M a,b > 0. and let M N := (M N ), then M wn... M w1 = 0 M w n... M w 1 = 0.
49 Undecidability as a genuine quantum property Results Decidability of the classical problem 16 / 20 Proof idea for decidability Proof of Theorem 2: For any entry wise non-negative matrix M define its indicator matrix { M a,b := 0 if M a,b = 0 1 if M a,b > 0. and let M N := (M N ), then M wn... M w1 = 0 M w n... M w 1 = 0. Moreover: M wn... M w1 = 0 {i j } J j=1 with J 2 (d2) : M i J... M i 1 = 0
50 Undecidability as a genuine quantum property Results Decidability of the classical problem 16 / 20 Proof idea for decidability Proof of Theorem 2: For any entry wise non-negative matrix M define its indicator matrix { M a,b := 0 if M a,b = 0 1 if M a,b > 0. and let M N := (M N ), then M wn... M w1 = 0 M w n... M w 1 = 0. Moreover: M wn... M w1 = 0 {i j } J j=1 with J 2 (d2) : M i J... M i 1 = 0 Why? Because all partial products in the shortest sequence must be different and the number of d d binary matrices is 2 (d2).
51 Undecidability as a genuine quantum property Results Decidability of the classical problem 16 / 20 Proof idea for decidability Proof of Theorem 2: For any entry wise non-negative matrix M define its indicator matrix { M a,b := 0 if M a,b = 0 1 if M a,b > 0. and let M N := (M N ), then M wn... M w1 = 0 M w n... M w 1 = 0. Moreover: M wn... M w1 = 0 {i j } J j=1 with J 2 (d2) : M i J... M i 1 = 0 Why? Because all partial products in the shortest sequence must be different and the number of d d binary matrices is 2 (d2). Ergo: Check all words M w n... M w 1 of length 2 (d2).
52 Undecidability as a genuine quantum property Results Undecidability of the quantum problem 17 / 20 Undecidability due to destructive interference Kraus operators A j in the QMOP can have negative (complex) entries!
53 Undecidability as a genuine quantum property Results Undecidability of the quantum problem 17 / 20 Undecidability due to destructive interference Kraus operators A j in the QMOP can have negative (complex) entries! Proof of Theorem 1:
54 Undecidability as a genuine quantum property Results Undecidability of the quantum problem 17 / 20 Undecidability due to destructive interference Kraus operators A j in the QMOP can have negative (complex) entries! Proof of Theorem 1: Reduction to the MMP:
55 Undecidability as a genuine quantum property Results Undecidability of the quantum problem 17 / 20 Undecidability due to destructive interference Kraus operators A j in the QMOP can have negative (complex) entries! Proof of Theorem 1: Reduction to the MMP: Matrix mortality problem (MMP) is undecidable [2, 3] It is undecidable whether the semi-group generated by {M i } K i=1 Z d d (with K 8 and d 3) contains the zero matrix.
56 Undecidability as a genuine quantum property Results Undecidability of the quantum problem 17 / 20 Undecidability due to destructive interference Kraus operators A j in the QMOP can have negative (complex) entries! Proof of Theorem 1: Reduction to the MMP: Matrix mortality problem (MMP) is undecidable [2, 3] It is undecidable whether the semi-group generated by {M i } K i=1 Z d d (with K 8 and d 3) contains the zero matrix. Find clever encoding of the MMP into the QMOP such that w n,..., w 1 : A wn... A w1 = 0 i n,..., i 1 : M in... M in = 0. and which takes the restrictions on the A j into account.
57 Undecidability as a genuine quantum property Conclusions 18 / 20 Conclusions An operationally defined problem about measurements
58 Undecidability as a genuine quantum property Conclusions 18 / 20 Conclusions An operationally defined problem about measurements Question: Are certain outcome sequences in repeated measurements impossible? QMOP Turing undecidable CMOP Turing decidable
59 Undecidability as a genuine quantum property Conclusions 18 / 20 Conclusions An operationally defined problem about measurements Question: Are certain outcome sequences in repeated measurements impossible? QMOP Turing undecidable CMOP Turing decidable What it means:
60 Undecidability as a genuine quantum property Conclusions 18 / 20 Conclusions An operationally defined problem about measurements Question: Are certain outcome sequences in repeated measurements impossible? QMOP Turing undecidable CMOP Turing decidable What it means: Destructive interference makes the quantum problem undecidable.
61 Undecidability as a genuine quantum property Conclusions 18 / 20 Conclusions An operationally defined problem about measurements Question: Are certain outcome sequences in repeated measurements impossible? QMOP Turing undecidable CMOP Turing decidable What it means: Destructive interference makes the quantum problem undecidable. Statement about the complexity of the mathematical theory of quantum mechanics
62 Undecidability as a genuine quantum property Conclusions 18 / 20 Conclusions An operationally defined problem about measurements Question: Are certain outcome sequences in repeated measurements impossible? QMOP Turing undecidable CMOP Turing decidable What it means: Destructive interference makes the quantum problem undecidable. Statement about the complexity of the mathematical theory of quantum mechanics Arguably the strongest complexity theoretic quantum/classical separation imaginable (almost: CMOP is NP-complete)
63 Undecidability as a genuine quantum property References 19 / 20 References Thank you for your attention! slides: [1] J. Eisert, M. Müller, and C Gogolin. Quantum measurement occurrence is undecidable. Physical Review Letters, 108(26):1 5, June [2] Vesa Halava, Tero Harju, and Mika Hirvensalo. Undecidability Bounds for Integer Matrices using Claus Instances. Technical Report 766, TUCS Turku Center for Computer Science, April [3] M S Paterson. Unsolvability in 3 {\times} 3 matrices. Stud. Appl. Math., (49): , 1970.
64 Undecidability as a genuine quantum property References 20 / 20 Making the result more physical The QMOP asks w 1,..., w n : Prob(w 1,..., w n ) = 0. The undecidability of the QMOP is stable in the sens that the question w 1,..., w n : Prob(w 1,..., w n ) < δ n is still undecidable, where δ > 1 is a simple function of ρ and the Kraus Operators {A j } K j=1.
CSCI3390-Lecture 6: An Undecidable Problem
CSCI3390-Lecture 6: An Undecidable Problem September 21, 2018 1 Summary The language L T M recognized by the universal Turing machine is not decidable. Thus there is no algorithm that determines, yes or
More informationComplexity of Reachability, Mortality and Freeness Problems for Matrix Semigroups
Complexity of Reachability, Mortality and Freeness Problems for Matrix Semigroups Paul C. Bell Department of Computer Science Loughborough University P.Bell@lboro.ac.uk Co-authors for todays topics: V.
More informationUndecidability COMS Ashley Montanaro 4 April Department of Computer Science, University of Bristol Bristol, UK
COMS11700 Undecidability Department of Computer Science, University of Bristol Bristol, UK 4 April 2014 COMS11700: Undecidability Slide 1/29 Decidability We are particularly interested in Turing machines
More informationCS151 Complexity Theory. Lecture 1 April 3, 2017
CS151 Complexity Theory Lecture 1 April 3, 2017 Complexity Theory Classify problems according to the computational resources required running time storage space parallelism randomness rounds of interaction,
More informationUndecidability. Almost all Languages are undecidable. Question: Is it just weird languages that no one would care about which are undecidable?
15-251: Great Theoretical Ideas in Computer Science Lecture 7 Undecidability Almost all Languages are undecidable Set of all languages: Set of all dec. lang.: Most languages do not have a TM deciding them
More informationWarm-Up Problem. Please fill out your Teaching Evaluation Survey! Please comment on the warm-up problems if you haven t filled in your survey yet.
Warm-Up Problem Please fill out your Teaching Evaluation Survey! Please comment on the warm-up problems if you haven t filled in your survey yet Warm up: Given a program that accepts input, is there an
More informationLecture Notes: The Halting Problem; Reductions
Lecture Notes: The Halting Problem; Reductions COMS W3261 Columbia University 20 Mar 2012 1 Review Key point. Turing machines can be encoded as strings, and other Turing machines can read those strings
More informationDecidability. Linz 6 th, Chapter 12: Limits of Algorithmic Computation, page 309ff
Decidability Linz 6 th, Chapter 12: Limits of Algorithmic Computation, page 309ff 1 A property P of strings is said to be decidable if the set of all strings having property P is a recursive set; that
More informationExam Computability and Complexity
Total number of points:... Number of extra sheets of paper:... Exam Computability and Complexity by Jiri Srba, January 2009 Student s full name CPR number Study number Before you start, fill in the three
More informationComputational Models Lecture 8 1
Computational Models Lecture 8 1 Handout Mode Ronitt Rubinfeld and Iftach Haitner. Tel Aviv University. April 18/ May 2, 2016 1 Based on frames by Benny Chor, Tel Aviv University, modifying frames by Maurice
More informationMapping Reducibility. Human-aware Robotics. 2017/11/16 Chapter 5.3 in Sipser Ø Announcement:
Mapping Reducibility 2017/11/16 Chapter 5.3 in Sipser Ø Announcement: q Slides for this lecture are here: http://www.public.asu.edu/~yzhan442/teaching/cse355/lectures/mapping.pdf 1 Last time Reducibility
More informationThe Unsolvability of the Halting Problem. Chapter 19
The Unsolvability of the Halting Problem Chapter 19 Languages and Machines SD D Context-Free Languages Regular Languages reg exps FSMs cfgs PDAs unrestricted grammars Turing Machines D and SD A TM M with
More informationCS20a: Turing Machines (Oct 29, 2002)
CS20a: Turing Machines (Oct 29, 2002) So far: DFA = regular languages PDA = context-free languages Today: Computability 1 Church s thesis The computable functions are the same as the partial recursive
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION Spring 2018 http://cseweb.ucsd.edu/classes/sp18/cse105-ab/ Today's learning goals Sipser Ch 5.1, 5.3 Define and explain core examples of computational problems, including
More informationCS 361 Meeting 26 11/10/17
CS 361 Meeting 26 11/10/17 1. Homework 8 due Announcements A Recognizable, but Undecidable Language 1. Last class, I presented a brief, somewhat inscrutable proof that the language A BT M = { M w M is
More informationDecidability and Undecidability
Decidability and Undecidability Major Ideas from Last Time Every TM can be converted into a string representation of itself. The encoding of M is denoted M. The universal Turing machine U TM accepts an
More informationComputability and Complexity
Computability and Complexity Lecture 5 Reductions Undecidable problems from language theory Linear bounded automata given by Jiri Srba Lecture 5 Computability and Complexity 1/14 Reduction Informal Definition
More informationTuring Machine Recap
Turing Machine Recap DFA with (infinite) tape. One move: read, write, move, change state. High-level Points Church-Turing thesis: TMs are the most general computing devices. So far no counter example Every
More informationUndecidability. We are not so much concerned if you are slow as when you come to a halt. (Chinese Proverb)
We are not so much concerned if you are slow as when you come to a halt. (Chinese Proverb) CS /55 Theory of Computation The is A TM = { M,w M is a TM and w L(M)} A TM is Turing-recognizable. Proof Sketch:
More informationTuring Machines. Lecture 8
Turing Machines Lecture 8 1 Course Trajectory We will see algorithms, what can be done. But what cannot be done? 2 Computation Problem: To compute a function F that maps each input (a string) to an output
More information1 Showing Recognizability
CSCC63 Worksheet Recognizability and Decidability 1 1 Showing Recognizability 1.1 An Example - take 1 Let Σ be an alphabet. L = { M M is a T M and L(M) }, i.e., that M accepts some string from Σ. Prove
More informationComputational Models Lecture 8 1
Computational Models Lecture 8 1 Handout Mode Ronitt Rubinfeld and Iftach Haitner. Tel Aviv University. May 11/13, 2015 1 Based on frames by Benny Chor, Tel Aviv University, modifying frames by Maurice
More informationIntro to Theory of Computation
Intro to Theory of Computation LECTURE 15 Last time Decidable languages Designing deciders Today Designing deciders Undecidable languages Diagonalization Sofya Raskhodnikova 3/1/2016 Sofya Raskhodnikova;
More informationUndecibability. Hilbert's 10th Problem: Give an algorithm that given a polynomial decides if the polynomial has integer roots or not.
Undecibability Hilbert's 10th Problem: Give an algorithm that given a polynomial decides if the polynomial has integer roots or not. The problem was posed in 1900. In 1970 it was proved that there can
More informationCSCE 551 Final Exam, Spring 2004 Answer Key
CSCE 551 Final Exam, Spring 2004 Answer Key 1. (10 points) Using any method you like (including intuition), give the unique minimal DFA equivalent to the following NFA: 0 1 2 0 5 1 3 4 If your answer is
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTATION
FORMAL LANGUAGES, AUTOMATA AND COMPUTATION DECIDABILITY ( LECTURE 15) SLIDES FOR 15-453 SPRING 2011 1 / 34 TURING MACHINES-SYNOPSIS The most general model of computation Computations of a TM are described
More informationTuring Machines Part Three
Turing Machines Part Three What problems can we solve with a computer? What kind of computer? Very Important Terminology Let M be a Turing machine. M accepts a string w if it enters an accept state when
More informationHomework Assignment 6 Answers
Homework Assignment 6 Answers CSCI 2670 Introduction to Theory of Computing, Fall 2016 December 2, 2016 This homework assignment is about Turing machines, decidable languages, Turing recognizable languages,
More informationCS154, Lecture 12: Kolmogorov Complexity: A Universal Theory of Data Compression
CS154, Lecture 12: Kolmogorov Complexity: A Universal Theory of Data Compression Rosencrantz & Guildenstern Are Dead (Tom Stoppard) Rigged Lottery? And the winning numbers are: 1, 2, 3, 4, 5, 6 But is
More informationACS2: Decidability Decidability
Decidability Bernhard Nebel and Christian Becker-Asano 1 Overview An investigation into the solvable/decidable Decidable languages The halting problem (undecidable) 2 Decidable problems? Acceptance problem
More informationComputational Models Lecture 8 1
Computational Models Lecture 8 1 Handout Mode Nachum Dershowitz & Yishay Mansour. Tel Aviv University. May 17 22, 2017 1 Based on frames by Benny Chor, Tel Aviv University, modifying frames by Maurice
More information15-251: Great Theoretical Ideas in Computer Science Fall 2016 Lecture 6 September 15, Turing & the Uncomputable
15-251: Great Theoretical Ideas in Computer Science Fall 2016 Lecture 6 September 15, 2016 Turing & the Uncomputable Comparing the cardinality of sets A B if there is an injection (one-to-one map) from
More informationUmans Complexity Theory Lectures
Complexity Theory Umans Complexity Theory Lectures Lecture 1a: Problems and Languages Classify problems according to the computational resources required running time storage space parallelism randomness
More informationTheory of Computation
Theory of Computation Unit 4-6: Turing Machines and Computability Decidability and Encoding Turing Machines Complexity and NP Completeness Syedur Rahman syedurrahman@gmail.com Turing Machines Q The set
More informationLecture 23: Rice Theorem and Turing machine behavior properties 21 April 2009
CS 373: Theory of Computation Sariel Har-Peled and Madhusudan Parthasarathy Lecture 23: Rice Theorem and Turing machine behavior properties 21 April 2009 This lecture covers Rice s theorem, as well as
More informationCS154, Lecture 10: Rice s Theorem, Oracle Machines
CS154, Lecture 10: Rice s Theorem, Oracle Machines Moral: Analyzing Programs is Really, Really Hard But can we more easily tell when some program analysis problem is undecidable? Problem 1 Undecidable
More informationCSE 105 Theory of Computation
CSE 105 Theory of Computation http://www.jflap.org/jflaptmp/ Professor Jeanne Ferrante 1 Undecidability Today s Agenda Review: The TM Acceptance problem, A TM The Halting Problem for TM s Other problems
More informationComplexity of domain-independent planning. José Luis Ambite
Complexity of domain-independent planning José Luis Ambite 1 Decidability Decision problem: a problem with a yes/no answer e.g. is N prime? Decidable: if there is a program (i.e. a Turing Machine) that
More informationMost General computer?
Turing Machines Most General computer? DFAs are simple model of computation. Accept only the regular languages. Is there a kind of computer that can accept any language, or compute any function? Recall
More informationLecture 13: Foundations of Math and Kolmogorov Complexity
6.045 Lecture 13: Foundations of Math and Kolmogorov Complexity 1 Self-Reference and the Recursion Theorem 2 Lemma: There is a computable function q : Σ* Σ* such that for every string w, q(w) is the description
More information1 Acceptance, Rejection, and I/O for Turing Machines
1 Acceptance, Rejection, and I/O for Turing Machines Definition 1.1 (Initial Configuration) If M = (K,Σ,δ,s,H) is a Turing machine and w (Σ {, }) then the initial configuration of M on input w is (s, w).
More informationV Honors Theory of Computation
V22.0453-001 Honors Theory of Computation Problem Set 3 Solutions Problem 1 Solution: The class of languages recognized by these machines is the exactly the class of regular languages, thus this TM variant
More informationTheory of Computation
Theory of Computation Lecture #6 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 39 Lecture 6: Overview Prove the equivalence of enumerators and TMs. Dovetailing
More informationDecidable Languages - relationship with other classes.
CSE2001, Fall 2006 1 Last time we saw some examples of decidable languages (or, solvable problems). Today we will start by looking at the relationship between the decidable languages, and the regular and
More informationCSE 555 Homework Three Sample Solutions
CSE 555 Homework Three Sample Solutions Question 1 Let Σ be a fixed alphabet. A PDA M with n states and stack alphabet of size σ may recognize the empty language; if its language is non-empty then denote
More informationTuring Machines, diagonalization, the halting problem, reducibility
Notes on Computer Theory Last updated: September, 015 Turing Machines, diagonalization, the halting problem, reducibility 1 Turing Machines A Turing machine is a state machine, similar to the ones we have
More informationSection 14.1 Computability then else
Section 14.1 Computability Some problems cannot be solved by any machine/algorithm. To prove such statements we need to effectively describe all possible algorithms. Example (Turing machines). Associate
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 informationCpSc 421 Homework 9 Solution
CpSc 421 Homework 9 Solution Attempt any three of the six problems below. The homework is graded on a scale of 100 points, even though you can attempt fewer or more points than that. Your recorded grade
More informationproblem X reduces to Problem Y solving X would be easy, if we knew how to solve Y
CPS220 Reducibility A reduction is a procedure to convert one problem to another problem, in such a way that a solution to the second problem can be used to solve the first problem. The conversion itself
More informationNotes for Lecture Notes 2
Stanford University CS254: Computational Complexity Notes 2 Luca Trevisan January 11, 2012 Notes for Lecture Notes 2 In this lecture we define NP, we state the P versus NP problem, we prove that its formulation
More informationUndecidability. Andreas Klappenecker. [based on slides by Prof. Welch]
Undecidability Andreas Klappenecker [based on slides by Prof. Welch] 1 Sources Theory of Computing, A Gentle Introduction, by E. Kinber and C. Smith, Prentice-Hall, 2001 Automata Theory, Languages and
More information1 Reals are Uncountable
CS 30: Discrete Math in CS (Winter 2019): Lecture 6 Date: 11th January, 2019 (Friday) Topic: Uncountability and Undecidability Disclaimer: These notes have not gone through scrutiny and in all probability
More informationDecision Problems with TM s. Lecture 31: Halting Problem. Universe of discourse. Semi-decidable. Look at following sets: CSCI 81 Spring, 2012
Decision Problems with TM s Look at following sets: Lecture 31: Halting Problem CSCI 81 Spring, 2012 Kim Bruce A TM = { M,w M is a TM and w L(M)} H TM = { M,w M is a TM which halts on input w} TOTAL TM
More informationComputability Theory
Computability Theory Cristian S. Calude May 2012 Computability Theory 1 / 1 Bibliography M. Sipser. Introduction to the Theory of Computation, PWS 1997. (textbook) Computability Theory 2 / 1 Supplementary
More informationComputability in Quaternion Matrix Semigroups
Computability in Quaternion Matrix Semigroups Paul Bell Complexity Theory and Algorithmics Group Joint work with Dr. I. Potapov pbell@csc.liv.ac.uk The University of Liverpool Workshop on Algorithms on
More informationA Note on Turing Machine Design
CS103 Handout 17 Fall 2013 November 11, 2013 Problem Set 7 This problem explores Turing machines, nondeterministic computation, properties of the RE and R languages, and the limits of RE and R languages.
More informationTURING MAHINES
15-453 TURING MAHINES TURING MACHINE FINITE STATE q 10 CONTROL AI N P U T INFINITE TAPE read write move 0 0, R, R q accept, R q reject 0 0, R 0 0, R, L read write move 0 0, R, R q accept, R 0 0, R 0 0,
More informationThe Turing Machine. Computability. The Church-Turing Thesis (1936) Theory Hall of Fame. Theory Hall of Fame. Undecidability
The Turing Machine Computability Motivating idea Build a theoretical a human computer Likened to a human with a paper and pencil that can solve problems in an algorithmic way The theoretical provides a
More informationCS3719 Theory of Computation and Algorithms
CS3719 Theory of Computation and Algorithms Any mechanically (automatically) discretely computation of problem solving contains at least three components: - problem description - computational tool - analysis
More informationComputability, Undeciability and the Halting Problem
Computability, Undeciability and the Halting Problem 12/01/16 http://www.michael-hogg.co.uk/game_of_life.php Discrete Structures (CS 173) Lecture B Gul Agha 1 Based on slides by Derek Hoiem, University
More informationCSCI3390-Assignment 2 Solutions
CSCI3390-Assignment 2 Solutions due February 3, 2016 1 TMs for Deciding Languages Write the specification of a Turing machine recognizing one of the following three languages. Do one of these problems.
More informationComplexity Theory Part I
Complexity Theory Part I Outline for Today Recap from Last Time Reviewing Verifiers Nondeterministic Turing Machines What does nondeterminism mean in the context of TMs? And just how powerful are NTMs?
More information4.2 The Halting Problem
172 4.2 The Halting Problem The technique of diagonalization was discovered in 1873 by Georg Cantor who was concerned with the problem of measuring the sizes of infinite sets For finite sets we can simply
More informationComputation. Some history...
Computation Motivating questions: What does computation mean? What are the similarities and differences between computation in computers and in natural systems? What are the limits of computation? Are
More informationComputability and Complexity Theory: An Introduction
Computability and Complexity Theory: An Introduction meena@imsc.res.in http://www.imsc.res.in/ meena IMI-IISc, 20 July 2006 p. 1 Understanding Computation Kinds of questions we seek answers to: Is a given
More informationNon-emptiness Testing for TMs
180 5. Reducibility The proof of unsolvability of the halting problem is an example of a reduction: a way of converting problem A to problem B in such a way that a solution to problem B can be used to
More informationAutomata Theory CS S-FR2 Final Review
Automata Theory CS411-2015S-FR2 Final Review David Galles Department of Computer Science University of San Francisco FR2-0: Halting Problem e(m) e(w) Halting Machine takes as input an encoding of a Turing
More informationLecture 12 Combinatorial Planning in High Dimensions
CS 460/560 Introduction to Computational Robotics Fall 017, Rutgers University Lecture 1 Combinatorial Planning in High Dimensions Instructor: Jingjin Yu Outline Review of combinatorial motion planning
More information1 Computational Problems
Stanford University CS254: Computational Complexity Handout 2 Luca Trevisan March 31, 2010 Last revised 4/29/2010 In this lecture we define NP, we state the P versus NP problem, we prove that its formulation
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION "Winter" 2018 http://cseweb.ucsd.edu/classes/wi18/cse105-ab/ Today's learning goals Sipser Ch 4.2 Trace high-level descriptions of algorithms for computational problems. Use
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
15-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY THURSDAY APRIL 3 REVIEW for Midterm TUESDAY April 8 Definition: A Turing Machine is a 7-tuple T = (Q, Σ, Γ, δ, q, q accept, q reject ), where: Q is a
More informationCS6901: review of Theory of Computation and Algorithms
CS6901: review of Theory of Computation and Algorithms Any mechanically (automatically) discretely computation of problem solving contains at least three components: - problem description - computational
More informationA non-turing-recognizable language
CS 360: Introduction to the Theory of Computing John Watrous, University of Waterloo A non-turing-recognizable language 1 OVERVIEW Thus far in the course we have seen many examples of decidable languages
More informationCSCI 2200 Foundations of Computer Science Spring 2018 Quiz 3 (May 2, 2018) SOLUTIONS
CSCI 2200 Foundations of Computer Science Spring 2018 Quiz 3 (May 2, 2018) SOLUTIONS 1. [6 POINTS] For language L 1 = {0 n 1 m n, m 1, m n}, which string is in L 1? ANSWER: 0001111 is in L 1 (with n =
More informationComputable Functions
Computable Functions Part I: Non Computable Functions Computable and Partially Computable Functions Computable Function Exists a Turing Machine M -- M Halts on All Input -- M(x) = f (x) Partially Computable
More informationDecidability: Reduction Proofs
Decidability: Reduction Proofs Basic technique for proving a language is (semi)decidable is reduction Based on the following principle: Have problem A that needs to be solved If there exists a problem
More informationTesting Emptiness of a CFL. Testing Finiteness of a CFL. Testing Membership in a CFL. CYK Algorithm
Testing Emptiness of a CFL As for regular languages, we really take a representation of some language and ask whether it represents φ Can use either CFG or PDA Our choice, since there are algorithms to
More informationTuring Machines Part II
Turing Machines Part II COMP2600 Formal Methods for Software Engineering Katya Lebedeva Australian National University Semester 2, 2016 Slides created by Katya Lebedeva COMP 2600 Turing Machines 1 Why
More informationCPSC 421: Tutorial #1
CPSC 421: Tutorial #1 October 14, 2016 Set Theory. 1. Let A be an arbitrary set, and let B = {x A : x / x}. That is, B contains all sets in A that do not contain themselves: For all y, ( ) y B if and only
More informationCSE 4111/5111/6111 Computability Jeff Edmonds Assignment 3: Diagonalization & Halting Problem Due: One week after shown in slides
CSE 4111/5111/6111 Computability Jeff Edmonds Assignment 3: Diagonalization & Halting Problem Due: One week after shown in slides First Person: Second Person: Family Name: Family Name: Given Name: Given
More informationReductions in Computability Theory
Reductions in Computability Theory Prakash Panangaden 9 th November 2015 The concept of reduction is central to computability and complexity theory. The phrase P reduces to Q is often used in a confusing
More informationCP405 Theory of Computation
CP405 Theory of Computation BB(3) q 0 q 1 q 2 0 q 1 1R q 2 0R q 2 1L 1 H1R q 1 1R q 0 1L Growing Fast BB(3) = 6 BB(4) = 13 BB(5) = 4098 BB(6) = 3.515 x 10 18267 (known) (known) (possible) (possible) Language:
More informationExam in Discrete Mathematics
Exam in Discrete Mathematics First Year at the Faculty of Engineering and Science and the Technical Faculty of IT and Design June 4th, 018, 9.00-1.00 This exam consists of 11 numbered pages with 14 problems.
More informationCSE 105 THEORY OF COMPUTATION. Spring 2018 review class
CSE 105 THEORY OF COMPUTATION Spring 2018 review class Today's learning goals Summarize key concepts, ideas, themes from CSE 105. Approach your final exam studying with confidence. Identify areas to focus
More informationDecidability and Undecidability of Marked PCP Vesa Halava 1, Mika Hirvensalo 2;1?, and Ronald de Wolf 3;4 1 Turku Centre for Computer Science, Lemmink
Decidability and Undecidability of Marked PCP Vesa Halava 1, Mika Hirvensalo 2;1?, and Ronald de Wolf 3;4 1 Turku Centre for Computer Science, Lemminkaisenkatu 14 A, 4th oor, FIN-20520, Turku, Finland,
More informationCSE 105 Theory of Computation
CSE 105 Theory of Computation http://www.jflap.org/jflaptmp/ Professor Jeanne Ferrante 1 Undecidability Today s Agenda Review and More Problems A Non-TR Language Reminders and announcements: HW 7 (Last!!)
More informationVerifying whether One-Tape Turing Machines Run in Linear Time
Electronic Colloquium on Computational Complexity, Report No. 36 (2015) Verifying whether One-Tape Turing Machines Run in Linear Time David Gajser IMFM, Jadranska 19, 1000 Ljubljana, Slovenija david.gajser@fmf.uni-lj.si
More informationComplexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler
Complexity Theory Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien 15 May, 2018 Reinhard
More informationOutline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.
Complexity Theory Complexity Theory Outline Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität
More informationDecidability: Church-Turing Thesis
Decidability: Church-Turing Thesis While there are a countably infinite number of languages that are described by TMs over some alphabet Σ, there are an uncountably infinite number that are not Are there
More informationLimits of Computability
Limits of Computability Wolfgang Schreiner Wolfgang.Schreiner@risc.jku.at Research Institute for Symbolic Computation (RISC) Johannes Kepler University, Linz, Austria http://www.risc.jku.at Wolfgang Schreiner
More information6.8 The Post Correspondence Problem
6.8. THE POST CORRESPONDENCE PROBLEM 423 6.8 The Post Correspondence Problem The Post correspondence problem (due to Emil Post) is another undecidable problem that turns out to be a very helpful tool for
More informationSD & Turing Enumerable. Lecture 33: Reductions and Undecidability. Lexicographically Enumerable. SD & Turing Enumerable
SD & Turing Lecture 33: Reductions and Undecidability CSCI 81 Spring, 2012 Kim Bruce Theorem: A language is SD iff it is Turing enumerable. Proof: Spose L is Turing enumerable. Show L is SD. Let w be input.
More informationSpace Complexity. then the space required by M on input x is. w i u i. F ) on. September 27, i=1
Space Complexity Consider a k-string TM M with input x. Assume non- is never written over by. a The purpose is not to artificially reduce the space needs (see below). If M halts in configuration (H, w
More information6.045J/18.400J: Automata, Computability and Complexity. Quiz 2. March 30, Please write your name in the upper corner of each page.
6.045J/18.400J: Automata, Computability and Complexity March 30, 2005 Quiz 2 Prof. Nancy Lynch Please write your name in the upper corner of each page. Problem Score 1 2 3 4 5 6 Total Q2-1 Problem 1: True
More informationTuring Machine properties. Turing Machines. Alternate TM definitions. Alternate TM definitions. Alternate TM definitions. Alternate TM definitions
Turing Machine properties Turing Machines TM Variants and the Universal TM There are many ways to skin a cat And many ways to define a TM The book s Standard Turing Machines Tape unbounded on both sides
More informationComputation Histories
208 Computation Histories The computation history for a Turing machine on an input is simply the sequence of configurations that the machine goes through as it processes the input. An accepting computation
More informationCS5371 Theory of Computation. Lecture 15: Computability VI (Post s Problem, Reducibility)
CS5371 Theory of Computation Lecture 15: Computability VI (Post s Problem, Reducibility) Objectives In this lecture, we introduce Post s correspondence problem (playing with a special type of domino) We
More informationDecidability (What, stuff is unsolvable?)
University of Georgia Fall 2014 Outline Decidability Decidable Problems for Regular Languages Decidable Problems for Context Free Languages The Halting Problem Countable and Uncountable Sets Diagonalization
More information