Synalgebraic Quantum Simulator for Cryptologic Artificial Intelligence
Abstract
Quantum circuit simulations, because the quantum circuits they model deal with qubits, are difficult to perform on tradition classical computers due to exponential growth of the input and output representation when qubits are expressed in a way most commonly. The proposed project implements a strategy of circuitry simulation involving category theory that defers evaluation, avoiding the exponential explosion of all possible states. Since logic operations partition the sets corresponding to the qubits (binary information in classical computers), it is a claim of the proposed approach that by simply tracking the set-theoretic manipulations in a special way, one can merely applied the functional composition of operations to cubits, avoiding the explosion of states that would quickly render normal forms of simulation intractable. This project will explore and demonstrate this possibility on non-trivial quantum circuit simulations, using examples such as Fourier transforms.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Feb 05, 2025
- Source ID
- FA95502410003
Entities
People
- Marcelo Cunha
Organizations
- Air Force Office of Scientific Research
- United States Air Force