Projective measurement-based logic synthesis of quantum circuits

Martin Lukac; Marek Perkowski

doi:10.1109/ISMVL.2008.37

Projective measurement-based logic synthesis of quantum circuits

Martin Lukac, Marek Perkowski

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings - 38th International Symposium on Multiple-Valued Logic, ISMVL 2008
Pages	191-196
Number of pages	6
DOIs	https://doi.org/10.1109/ISMVL.2008.37
Publication status	Published - Sep 4 2008
Event	38th International Symposium on Multiple-Valued Logic, ISMVL 2008 - Dallas, TX, United States Duration: May 22 2008 → May 24 2008

Publication series

Name	Proceedings of The International Symposium on Multiple-Valued Logic
ISSN (Print)	0195-623X

Other

Other	38th International Symposium on Multiple-Valued Logic, ISMVL 2008
Country/Territory	United States
City	Dallas, TX
Period	5/22/08 → 5/24/08

ASJC Scopus subject areas

Computer Science(all)
Mathematics(all)

Access to Document

10.1109/ISMVL.2008.37

Cite this

Lukac, M & Perkowski, M 2008, Projective measurement-based logic synthesis of quantum circuits. in Proceedings - 38th International Symposium on Multiple-Valued Logic, ISMVL 2008., 4539425, Proceedings of The International Symposium on Multiple-Valued Logic, 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

@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",

month = sep,

day = "4",

doi = "10.1109/ISMVL.2008.37",

language = "English",

isbn = "9780769531557",

series = "Proceedings of The International Symposium on Multiple-Valued Logic",

pages = "191--196",

booktitle = "Proceedings - 38th International Symposium on Multiple-Valued Logic, ISMVL 2008",

note = "38th International Symposium on Multiple-Valued Logic, ISMVL 2008 ; Conference date: 22-05-2008 Through 24-05-2008",

}

TY - GEN

T1 - Projective measurement-based logic synthesis of quantum circuits

AU - Lukac, Martin

AU - Perkowski, Marek

PY - 2008/9/4

Y1 - 2008/9/4

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

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

SP - 191

EP - 196

BT - Proceedings - 38th International Symposium on Multiple-Valued Logic, ISMVL 2008

T2 - 38th International Symposium on Multiple-Valued Logic, ISMVL 2008

Y2 - 22 May 2008 through 24 May 2008

ER -

Projective measurement-based logic synthesis of quantum circuits

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this