東華大學圖書館 |

Methodologies for Quantum Circuit and Algorithm Design at Low and High Levels.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Methodologies for Quantum Circuit and Algorithm Design at Low and High Levels./
作者:	Tsai, Edison.
面頁冊數:	1 online resource (400 pages)
附註:	Source: Dissertations Abstracts International, Volume: 84-01, Section: B.
Contained By:	Dissertations Abstracts International84-01B.
標題:	Computer engineering. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29212776click for full text (PQDT)
ISBN:	9798837520044

Methodologies for Quantum Circuit and Algorithm Design at Low and High Levels.
Tsai, Edison.

Methodologies for Quantum Circuit and Algorithm Design at Low and High Levels. - 1 online resource (400 pages)

Source: Dissertations Abstracts International, Volume: 84-01, Section: B.

Thesis (Ph.D.)--Portland State University, 2022.

Includes bibliographical references

Although the concept of quantum computing has existed for decades, the technology needed to successfully implement a quantum computing system has not yet reached the level of sophistication, reliability, and scalability necessary for commercial viability until very recently. Significant progress on this front was made in the past few years, with IBM planning to create a 1000-qubit chip by the end of 2023, and Google already claiming to have achieved quantum supremacy. Other major industry players such as Intel and Microsoft have also invested significant amounts of resources into quantum computing research.Any viable computing system requires both hardware and software to work together harmoniously in order to perform useful computations. While the achievements of IBM and other companies represent a large step forward for quantum hardware, many gaps remain to be filled with respect to the corresponding software. Specifically, there is currently no clear path towards a complete process for translating quantum algorithms into physical operations that are directly executable on quantum hardware. Such a process is analogous to a compiler that translates programs written in a high-level language into executable machine instructions on a conventional digital computer, and it is necessary if quantum computers are to be harnessed to perform practically useful computations. Existing work has addressed individual components of this process, but so far no unified method for translating the whole of a quantum algorithm into executable operations has been described.I make substantial progress towards filling this gap by describing a set of high-level and low-level quantum circuit design techniques, which when taken together reduce the need of a circuit designer to be concerned with low-level details. On the high-level side, I describe an approach or strategy to designing quantum oracles for Grover's algorithm that allows it to be applied to several types of problems. This approach involves designing oracles in terms of high-level blocks such as counters, multiplexers, comparators, and arbitrary Boolean functions. The implementations of these blocks in terms of lower-level quantum gates are demonstrated in a way that makes it clear that scaled-up versions of them can be generated in a completely automated fashion. For a specific class of problems, which I call state-space path planning problems, I also introduce a paradigm for quantum oracle design that involves representing the problem in terms of individual states and moves. Problems of this sort have applications in robotics and games.Low-level techniques that I introduce include methods for realizing both single-output and multiple-output Boolean functions, as well as reversible functions with multiple-valued inputs and outputs, on the quantum gate level. These realization methods can be used to translate the Boolean functions used as high-level blocks in quantum oracle design into low-level gates. The low-level gates used are two-qubit controlled gates such as controlled-NOT and controlled-V whose physical realizations have been extensively studied. In particular, I demonstrate that realizing symmetric functions, which are a subset of Boolean functions, directly using these low-level gates can give better results than the usual method of using higher-level Toffoli gates as intermediates. I also demonstrate that the problem of realizing a reversible Boolean function with many inputs and many outputs "in place", that is, using the same qubits to hold the inputs and outputs of the function, can be converted into realizing a sequence of single-output Boolean functions. I describe the realization methods in sufficient detail for a skilled programmer to implement them as part of a CAD tool for quantum circuit design.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2023

Mode of access: World Wide Web

ISBN: 9798837520044Subjects--Topical Terms:

621879
Computer engineering.
Subjects--Index Terms:

Grover's algorithmIndex Terms--Genre/Form:

542853
Electronic books.

Methodologies for Quantum Circuit and Algorithm Design at Low and High Levels.
LDR:05234nmm a2200409K 4500 001 2354602
005 20230428105626.5
006 m o d
007 cr mn ---uuuuu
008 241011s2022 xx obm 000 0 eng d
020 $a 9798837520044
035 $a (MiAaPQ)AAI29212776
035 $a AAI29212776
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Tsai, Edison. $3 3694957
245 1 0 $a Methodologies for Quantum Circuit and Algorithm Design at Low and High Levels.
264 0 $c 2022
300 $a 1 online resource (400 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 84-01, Section: B.
500 $a Advisor: Perkowski, Marek A.
502 $a Thesis (Ph.D.)--Portland State University, 2022.
504 $a Includes bibliographical references
520 $a Although the concept of quantum computing has existed for decades, the technology needed to successfully implement a quantum computing system has not yet reached the level of sophistication, reliability, and scalability necessary for commercial viability until very recently. Significant progress on this front was made in the past few years, with IBM planning to create a 1000-qubit chip by the end of 2023, and Google already claiming to have achieved quantum supremacy. Other major industry players such as Intel and Microsoft have also invested significant amounts of resources into quantum computing research.Any viable computing system requires both hardware and software to work together harmoniously in order to perform useful computations. While the achievements of IBM and other companies represent a large step forward for quantum hardware, many gaps remain to be filled with respect to the corresponding software. Specifically, there is currently no clear path towards a complete process for translating quantum algorithms into physical operations that are directly executable on quantum hardware. Such a process is analogous to a compiler that translates programs written in a high-level language into executable machine instructions on a conventional digital computer, and it is necessary if quantum computers are to be harnessed to perform practically useful computations. Existing work has addressed individual components of this process, but so far no unified method for translating the whole of a quantum algorithm into executable operations has been described.I make substantial progress towards filling this gap by describing a set of high-level and low-level quantum circuit design techniques, which when taken together reduce the need of a circuit designer to be concerned with low-level details. On the high-level side, I describe an approach or strategy to designing quantum oracles for Grover's algorithm that allows it to be applied to several types of problems. This approach involves designing oracles in terms of high-level blocks such as counters, multiplexers, comparators, and arbitrary Boolean functions. The implementations of these blocks in terms of lower-level quantum gates are demonstrated in a way that makes it clear that scaled-up versions of them can be generated in a completely automated fashion. For a specific class of problems, which I call state-space path planning problems, I also introduce a paradigm for quantum oracle design that involves representing the problem in terms of individual states and moves. Problems of this sort have applications in robotics and games.Low-level techniques that I introduce include methods for realizing both single-output and multiple-output Boolean functions, as well as reversible functions with multiple-valued inputs and outputs, on the quantum gate level. These realization methods can be used to translate the Boolean functions used as high-level blocks in quantum oracle design into low-level gates. The low-level gates used are two-qubit controlled gates such as controlled-NOT and controlled-V whose physical realizations have been extensively studied. In particular, I demonstrate that realizing symmetric functions, which are a subset of Boolean functions, directly using these low-level gates can give better results than the usual method of using higher-level Toffoli gates as intermediates. I also demonstrate that the problem of realizing a reversible Boolean function with many inputs and many outputs "in place", that is, using the same qubits to hold the inputs and outputs of the function, can be converted into realizing a sequence of single-output Boolean functions. I describe the realization methods in sufficient detail for a skilled programmer to implement them as part of a CAD tool for quantum circuit design.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2023
538 $a Mode of access: World Wide Web
650 4 $a Computer engineering. $3 621879
650 4 $a Quantum physics. $3 726746
650 4 $a Electrical engineering. $3 649834
653 $a Grover's algorithm
653 $a Quantum algorithms
653 $a Quantum computing
653 $a Quantum gates
653 $a Quantum oracles
653 $a Realization
655 7 $a Electronic books. $2 lcsh $3 542853
690 $a 0464
690 $a 0599
690 $a 0544
710 2 $a ProQuest Information and Learning Co. $3 783688
710 2 $a Portland State University. $b Electrical and Computer Engineering. $3 1678929
773 0 $t Dissertations Abstracts International $g 84-01B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29212776 $z click for full text (PQDT)