Tools for Design and Validation of Quantum Algorithms and Protocols

"Current tools for Quantum Information Science (QIS) are hindered by the need to develop complex simulation environments because functional quantum computers do not exist. Also most tools focus on small parts of a large problem. By altering existingapplications and developing an entirely new Integrated Command Environment (ICE) we propose to create a suite of tools, drivers, languages, and protocols that will allow developers to interact with simulated devices in exactly the same way that they woulda real device. We intend to develop a standard command protocol that will connect applications (developed with a highly extensible functional quantum programming language) to a standalone quantum simulation server. This creates a foundation forintegrated and scalable tool suites, interfaces, and device drivers. We will augment existing tools to utilize the protocol and develop several new tools for heretofore-neglected areas such as error-correction; device control and monitoring; and resourcemanagement. The ICE paradigm offers several advantages: Tool developers can access the functionality of other tools to create integrated workspaces. Applications may be distributed on many machines to decrease CPU workloads. Tools developed tocontrol, monitor, and utilize simulated environments can be seamlessly applied to real quantum computational devices that utilize ICE protocols. The benefits to the DoD and to QIS research at large are n