Projective measurement-based logic synthesis of quantum circuits

Martin Lukac, Marek Perkowski

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

In this paper we introduce the new model for Quantum Logic Synthesis. The innovation consists in designing circuits with the measurement process together with the computing circuit. The Measurement is used as a part of the entire computational process. We demonstrate the method to synthesize quantum circuits from examples (examples are cares of the quantum truth table) such that the synthesis process converts the don't knows (minterms not given as examples) to the entangled quantum output values which are measurement dependent. We extended the logic synthesis approach to measurement-based quantum circuits synthesis from incompletely specified or completely specified function specifications.

Original languageEnglish
Title of host publicationProceedings of The International Symposium on Multiple-Valued Logic
Pages191-196
Number of pages6
DOIs
Publication statusPublished - 2008
Externally publishedYes
Event38th International Symposium on Multiple-Valued Logic, ISMVL 2008 - Dallas, TX, United States
Duration: May 22 2008May 24 2008

Other

Other38th International Symposium on Multiple-Valued Logic, ISMVL 2008
CountryUnited States
CityDallas, TX
Period5/22/085/24/08

Fingerprint

Logic Synthesis
Quantum Circuits
Networks (circuits)
Synthesis
Truth table
Quantum Logic
Convert
Innovation
Entire
Specification
Specifications
Dependent
Computing
Output
Demonstrate

ASJC Scopus subject areas

  • Hardware and Architecture
  • Logic
  • Safety, Risk, Reliability and Quality
  • Chemical Health and Safety

Cite this

Lukac, M., & Perkowski, M. (2008). Projective measurement-based logic synthesis of quantum circuits. In Proceedings of The International Symposium on Multiple-Valued Logic (pp. 191-196). [4539425] https://doi.org/10.1109/ISMVL.2008.37

Projective measurement-based logic synthesis of quantum circuits. / Lukac, Martin; Perkowski, Marek.

Proceedings of The International Symposium on Multiple-Valued Logic. 2008. p. 191-196 4539425.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lukac, M & Perkowski, M 2008, Projective measurement-based logic synthesis of quantum circuits. in Proceedings of The International Symposium on Multiple-Valued Logic., 4539425, pp. 191-196, 38th International Symposium on Multiple-Valued Logic, ISMVL 2008, Dallas, TX, United States, 5/22/08. https://doi.org/10.1109/ISMVL.2008.37
Lukac M, Perkowski M. Projective measurement-based logic synthesis of quantum circuits. In Proceedings of The International Symposium on Multiple-Valued Logic. 2008. p. 191-196. 4539425 https://doi.org/10.1109/ISMVL.2008.37
Lukac, Martin ; Perkowski, Marek. / Projective measurement-based logic synthesis of quantum circuits. Proceedings of The International Symposium on Multiple-Valued Logic. 2008. pp. 191-196
@inproceedings{37bcb223c29c4d28b350bd063750f158,
title = "Projective measurement-based logic synthesis of quantum circuits",
abstract = "In this paper we introduce the new model for Quantum Logic Synthesis. The innovation consists in designing circuits with the measurement process together with the computing circuit. The Measurement is used as a part of the entire computational process. We demonstrate the method to synthesize quantum circuits from examples (examples are cares of the quantum truth table) such that the synthesis process converts the don't knows (minterms not given as examples) to the entangled quantum output values which are measurement dependent. We extended the logic synthesis approach to measurement-based quantum circuits synthesis from incompletely specified or completely specified function specifications.",
author = "Martin Lukac and Marek Perkowski",
year = "2008",
doi = "10.1109/ISMVL.2008.37",
language = "English",
isbn = "9780769531557",
pages = "191--196",
booktitle = "Proceedings of The International Symposium on Multiple-Valued Logic",

}

TY - GEN

T1 - Projective measurement-based logic synthesis of quantum circuits

AU - Lukac, Martin

AU - Perkowski, Marek

PY - 2008

Y1 - 2008

N2 - In this paper we introduce the new model for Quantum Logic Synthesis. The innovation consists in designing circuits with the measurement process together with the computing circuit. The Measurement is used as a part of the entire computational process. We demonstrate the method to synthesize quantum circuits from examples (examples are cares of the quantum truth table) such that the synthesis process converts the don't knows (minterms not given as examples) to the entangled quantum output values which are measurement dependent. We extended the logic synthesis approach to measurement-based quantum circuits synthesis from incompletely specified or completely specified function specifications.

AB - In this paper we introduce the new model for Quantum Logic Synthesis. The innovation consists in designing circuits with the measurement process together with the computing circuit. The Measurement is used as a part of the entire computational process. We demonstrate the method to synthesize quantum circuits from examples (examples are cares of the quantum truth table) such that the synthesis process converts the don't knows (minterms not given as examples) to the entangled quantum output values which are measurement dependent. We extended the logic synthesis approach to measurement-based quantum circuits synthesis from incompletely specified or completely specified function specifications.

UR - http://www.scopus.com/inward/record.url?scp=50549098111&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=50549098111&partnerID=8YFLogxK

U2 - 10.1109/ISMVL.2008.37

DO - 10.1109/ISMVL.2008.37

M3 - Conference contribution

AN - SCOPUS:50549098111

SN - 9780769531557

SP - 191

EP - 196

BT - Proceedings of The International Symposium on Multiple-Valued Logic

ER -