From: Jacob D. Biamonte [biamonte@ieee.org] Sent: Sunday, October 30, 2005 7:14 PM To: Marek Perkowski Subject: abstract of talk This Thursday @ 2:00 p.m. in FAB 150 next to the ECE office. Fault Models for Quantum Mechanical Switching Networks, ______, J.S. Allen & M.A. Perkowski, http://xxx.lanl.gov/abs/quant-ph/0508147 , http://xxx.lanl.gov/abs/quant-ph/0501108 abstract of talk: Classically test theory developed to avoid expanding the full set of binary test vectors needed to exhaustively characterize classical switching networks. There are two schools of thought on this matter. The first approach, developed prior to the nineteen sixties, relies on what is called a fault model. A fault model is a failure model that represents and characterizes logical faults that occur most often in a digital switching network. In a second approach, a network is designed, such that the design is independent of a predetermined, universal, test set. This means that, any switching function can be fully tested, using a universal test set, designed specifically for a network structure and independent of the function being realized by the network. (here are some slides on classical test: http://web.pdx.edu/%7Ebiamonte/download/Classical%20Fault%20Localization.ppt ) Quantum switching networks are circuits that evolve the state of binary input vectors under the Schrödinger equation. This evolution can lead to purely quantum mechanical states that may represent interactions independent of space, as well as time, by using what is called entanglement. The principle of superposition allows one to evaluate multiple inputs to a switching function in a single time step. These principles may be combined to test the classical degrees of freedom possible in a quantum mechanical switching network in constant time. For larger circuits, this speedup shows a significant advantage over the classical case. Thus, the classical lower bound of testability set in the nineteen seventies, for certain classes of circuits, was shown not to hold quantum mechanically. The presentation will first outline the development of fault models for quantum mechanical switching networks. The development is fairly mathematical so the following set of slides might contain useful background information: http://web.pdx.edu/%7Ebiamonte/download/Quantum%20Noise-The%20Basics.ppt The main body of the talk will cover the following paper: http://xxx.lanl.gov/abs/quant-ph/0508147 Towards the end of the talk, a quantum mechanical universal test set will be explained as taken from the following paper: http://xxx.lanl.gov/abs/quant-ph/0501108 http://web.pdx.edu/%7Ebiamonte/download/A%20Quantum%20Test%20Algorithm.ppt