skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
Award ID(s):
2023222 1943130
PAR ID:
10293331
Author(s) / Creator(s):
; ; ; ;
Date Published:
Journal Name:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Page Range / eLocation ID:
1 to 14
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. This study introduces a framework using acoustic phase bits (phibits) as classical analogs to quantum bits for realizing quantum-like gates. These phibits are realized on a metastructure composed of aluminum rods glued with epoxy. First, we realize a single phibit gate in a general form for a Bloch sphere representation, providing a foundation for implementing arbitrary gate operations on a single phibit. Second, within a single mathematical representation, we achieve either the Hadamard or NOT gate by applying the corresponding distinct physical actions for each. Third, we demonstrate the implementation of a sequence of two quantum-like gates, Hadamard followed by CNOT, using a single physical action. This illustrates the effectiveness of the phibit framework, which has the potential to simplify the implementation of a whole series of sequential gates into a single unified physical operation. Finally, we realize a universal set of gates, including the Hadamard, CNOT, and T gates, within a single mathematical representation with three distinctive actions. This approach addresses prior limitations of phibit-based gates, such as Hadamard and CNOT, which were implemented in separate mathematical representations, by introducing a unified framework that eliminates the need for distinct formulations maintaining computational efficiency. 
    more » « less
  2. Abstract The tenets of intelligent biological systems are (i) scalable decision-making, (ii) inheritable memory, and (iii) communication. This study aims to increase the complexity of decision-making operations beyond standard Boolean logic, while minimizing the metabolic burden imposed on the chassis cell. To this end, we present a new platform technology for constructing genetic circuits with multiple OUTPUT gene control using fewer INPUTs relative to conventional genetic circuits. Inspired by principles from quantum computing, we engineered synthetic bidirectional promoters, regulated by synthetic transcription factors, to construct 1-INPUT, 2-OUTPUT logical operations—i.e. biological QUBIT and PAULI-X logic gates—designed as compressed genetic circuits. We then layered said gates to engineer additional quantum-inspired logical operations of increasing complexity—e.g. FEYNMAN and TOFFOLI gates. In addition, we engineered a 2-INPUT, 4-OUTPUT quantum operation to showcase the capacity to utilize the entire permutation INPUT space. Finally, we developed a recombinase-based memory operation to remap the truth table between two disparate logic gates—i.e. converting a QUBIT operation to an antithetical PAULI-X operation in situ. This study introduces a novel and versatile synthetic biology toolkit, which expands the biocomputing capacity of Transcriptional Programming via the development of compressed and scalable multi-INPUT/OUTPUT logical operations. 
    more » « less