检索结果-内蒙古大学图书馆

Demonstration of quantum Nonlocality for Multi-Qubit Systems via quantum programming

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 2020年第8期59卷 2486-2493页

作者： Gao, Hong-Kui Wang, Chao-Hua Wan, Lin-Ping Hou, Tong Tian, Li-Qin Ding, Dong North China Inst Sci & Technol Coll Sci Beijing 101601 Peoples R China North China Inst Sci & Technol Sch Comp Sci Beijing 101601 Peoples R China

quantum nonlocality can be shown by measuring a quantum system containing multipartite entangled state. A key to quantum measurement is to find out what kinds of measurement settings are optimal. We design programable quantum circuit to demonstrate quantum nonlocality for multi-qubit systems based on quantum programming. A series of multiple quantum measurements are performed via cycle structure. As a result, we reveal quantum nonlocality of multipartite quantum systems as well as verify optimizing of measurement settings.

关键词： quantum nonlocality quantum programming

来源：评论

学校读者我要写书评

暂无评论

Towards Implementation of a Generalized Architecture for High-Level quantum programming Language

引用

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 2017年第8期56卷 2376-2412页

作者： Ameen, El-Mahdy M. Ali, Hesham A. Salem, Mofreh M. Badawy, Mahmoud Mansoura Univ Mansoura Egypt

This paper investigates a novel architecture to the problem of quantum computer programming. A generalized architecture for a high-level quantum programming language has been proposed. Therefore, the programming evolution from the complicated quantum-based programming to the high-level quantum independent programming will be achieved. The proposed architecture receives the high-level source code and, automatically transforms it into the equivalent quantum representation. This architecture involves two layers which are the programmer layer and the compilation layer. These layers have been implemented in the state of the art of three main stages;pre-classification, classification, and post-classification stages respectively. The basic building block of each stage has been divided into subsequent phases. Each phase has been implemented to perform the required transformations from one representation to another. A verification process was exposed using a case study to investigate the ability of the compiler to perform all transformation processes. Experimental results showed that the efficacy of the proposed compiler achieves a correspondence correlation coefficient about R ae 1 between outputs and the targets. Also, an obvious achievement has been utilized with respect to the consumed time in the optimization process compared to other techniques. In the online optimization process, the consumed time has increased exponentially against the amount of accuracy needed. However, in the proposed offline optimization process has increased gradually.

关键词： quantum programming quantum processor High-level language quantum mechanics

来源：评论

学校读者我要写书评

暂无评论

AutoQP: Genetic programming for quantum programming 17

AutoQP: Genetic Programming for Quantum Programming

引用

17th International Bhurban Conference on Applied Sciences and Technology (IBCAST)

作者： Ahsan, Usama Minhas, Fayyaz ul Amir Afsar Pakistan Inst Engn & Appl Sci Data Sci Lab Islamabad Pakistan

ISBN: (纸本)9781728146768

quantum computing is a new era in the field of computation which makes use of quantum mechanical phenomena such as superposition, entanglement, and quantum annealing. It is a very promising field and has given a new paradigm to efficiently solve complex computational problems. However, programming quantum computers is a difficult task In this research, we have developed a system called AutoQP which can write quantum computer code through genetic programming on a classical computer provided the input and expected output of a quantum program. We have tested AutoQP on two different quantum algorithms: Deutsch Problem and the Bernstein-Vazirani problem. In our experimental analysis, AutoQP was able to generate quantum programs for solving both problems. The code generated by AutoQP was successfully tested on actual IBM quantum computers as well. It is expected that the proposed system can be very useful for the general development of quantum programs based on the IBM gate model. The source code for the proposed system is available at the URL: https://***/usamaahsan93/AutoQP

关键词： quantum programming Genetic programming IBM quantum Computer Automatic quantum programming Qiskit

来源：评论

学校读者我要写书评

暂无评论

Math and Physics Tools for Quality quantum programming 13th

Math and Physics Tools for Quality Quantum Programming

引用

13th International Conference on the Quality of Information and Communications Technology (QUATIC)

作者： Murina, Ezequiel Quantum Madrid Spain

ISBN: (纸本)9783030587925;9783030587932

We are in presence of a quantum computing revolution that will be critical for the dominant global position of nations in near future. Some quantum lab devices have been developed and important milestones have been reached, mainly in the branch of communications. In this scenario, it is urgent to educate people in quantum computing and technology, like it happens with disciplines such as science, technology, engineering, and mathematics promoted by government in order to instruct science-aware citizens. A solid knowledge base in math and physics is essential for a workforce able to develop high quality quantum technology. This work addresses the necessity of quantum literacy for the creation of a new workforce, proposing the basic math tools, and physics background for entering into the field of quantum programming. It also addresses a certification about Science Foundation for quantum programming, as a means for assuring the quality of quantum software professionals.

关键词： quantum literacy quantum programming quantum math-physics quantum certification

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Engineering for quantum programming: A Case Study on Ground State Energy Calculation 48

Model-Driven Engineering for Quantum Programming: A Case Stu...

引用

48th Annual IEEE International Computers, Software, and Applications Conference (COMPSAC) - Digital Development for a Better Future

作者： Polat, Furkan Tuncer, Hasan Moin, Armin Challenger, Moharram Univ Antwerp Dept Comp Sci Antwerp Belgium Flanders Make Strateg Res Ctr Antwerp Belgium Purdue Univ Dept Phys & Astron W Lafayette IN 47907 USA Univ Colorado Dept Comp Sci Colorado Springs CO 80907 USA Koc Univ Elect & Elect Engn Istanbul Turkiye

ISBN: (纸本)9798350376975;9798350376968

This study introduces a novel framework that brings together two main quantum programming methodologies, gate-based quantum Computing and quantum Annealing, by applying the Model-Driven Engineering principles. This aims to enhance the adaptability, design and scalability of quantum programs, facilitating their design and operation across diverse computing platforms. A notable achievement of this research is the development of a mapping method for programs between gate-based quantum computers and quantum annealers which can lead to the automatic transformation of these programs. Specifically, this method is applied to the Variational quantum Eigensolver Algorithm and quantum Anneling Ising Model, targeting ground state solutions. Finding ground-state solutions is crucial for a wide range of scientific applications, ranging from simulating chemistry lab experiments to medical applications, such as vaccine development. The success of this application demonstrates Model-Driven Engineering for quantum programming frameworks's practical viability and sets a clear path for quantum Computing's broader use in solving intricate problems.

关键词： Model-driven Engineering quantum Computing quantum programming Model Transformation Variational quantum Eigensolver

来源：评论

学校读者我要写书评

暂无评论

A Coq-Based Infrastructure for quantum programming, Verification and Simulation 1

引用

18th Annual Conference on Theory and Applications of Models of Computation (TAMC)

作者： Tao, Wenxuan Chen, Gang Nanjing Univ Aeronaut & Astronaut Coll Comp Sci & Technol Nanjing 211106 Peoples R China

ISBN: (数字)9789819723409

ISBN: (纸本)9789819723393;9789819723409

quantum programming presents a significant departure from traditional programming due to its non-intuitive algorithm design and reliance on intricate linear algebraic derivations. Therefore, formal verification using theorem provers is essential and highly suitable for quantum programming. The mathematical foundation of quantum computing lies in matrix and vector computation. Hence, establishing a proper formal theory of matrices and vectors within theorem provers becomes of utmost significance. This paper expands and refines a Coq-based type system tailored for quantum computing, focusing specifically on powers-of-2 matrices and vectors. This enables precise descriptions of quantum states and operations while facilitating the formal verification of quantum programs. By utilizing this type system, we offer an environment for writing and verifying quantum programs. The verified programs can be extracted as equivalent OCaml files and executable simulators. Our work provides an effective infrastructure for quantum programming, verification and simulation, thereby laying a foundation for future developments.

关键词： quantum programming Formal verification Coq quantum simulation OCaml

来源：评论

学校读者我要写书评

暂无评论

Adapting service delivery for quantum programming 1

Adapting service delivery for quantum programming

引用

1st International Workshop on the quantum SoftWare Engineering and programming, QANSWER 2020

作者： Gonzalez, Guillermo José Hernández Grupo Eidos Consultoria Informatica SLU Madrid28230 Spain

Brief presentation to summarize the possible and predictable changes and challenges that service delivery needs to support to adequate to the quantum programming and other general quantum technologies. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： quantum programming Service Delivery

来源：评论

学校读者我要写书评

暂无评论

Extending scientific computing system with structural quantum programming capabilities

引用

BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES 2010年第1期58卷 77-88页

作者： Gawron, P. Klamka, J. Miszczak, J. A. Winiarczyk, R. Polish Acad Sci Inst Theoret & Appl Informat PL-44100 Gliwice Poland

We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language to describe them. We also present the implementation of introduced structures in GNU Octave language for scientific computing. Procedures used in the implementation are available as a package quantum-octave providing library of functions, which facilitates the simulation of quantum computing. This package allows also to incorporate high-level programming concepts into the simulation in GNU Octave and Mat lab. As such it connects features unique for higl-level quantum programming languages, with the full palette of efficient computational routines commonly available in modern scientific computing systems. To present the major features of the described package we provide the implementation of selected quantum algorithms. We also show how quantum errors can be taken into account during the simulation of quantum algorithms using quantum-octave package. This is possible thanks to the ability to operate on density matrices implemented in quantum-octave.

关键词： quantum information quantum programming models of quantum computation

来源：评论

学校读者我要写书评

暂无评论

Experimenting quantum phenomena on NISQ computers using high level quantum programming

引用

EPJ quantum TECHNOLOGY 2022年第1期9卷 6-6页

作者： Tran, Duc M. Nguyen, Duy, V Le, Bin Ho Nguyen, Hung Q. Vietnam Natl Univ VNU Univ Sci Nano & Energy Ctr Hanoi 120401 Vietnam Phenikaa Univ Phenikaa Inst Adv Study Hanoi 12116 Vietnam Phenikaa Univ Fac Comp Sci Hanoi 12116 Vietnam Vietnam Acad Sci & Technol Ctr Phys Inst Appl Mech & Informat Ho Chi Minh City 7000O Vietnam Tohoku Univ Res Inst Elect Commun Sendai Miyagi 9808577 Japan

We execute the quantum eraser, the Elitzur-Vaidman bomb, and the Hardy's paradox experiment using high-level programming language on a generic, gate-based superconducting quantum processor made publicly available by IBM. The quantum circuits for these experiments use a mixture of one-qubit and multi-qubit gates and require high entanglement gate accuracy. The results aligned with theoretical predictions of quantum mechanics to high confidence on circuits using up to 3 qubits. The power of quantum computers and high-level language as a platform for experimenting and studying quantum phenomena is henceforth demonstrated.

关键词： quantum computation quantum programming quantum eraser Interaction free measurement Hardy's paradox

来源：评论

学校读者我要写书评

暂无评论

Ket quantum programming

引用

ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS 2022年第1期18卷 12-12页

作者： Ribeiro Da Rosa, Evandro Chagas De Santiago, Rafael Univ Fed Santa Catarina Dept Informat Estatist BR-88040900 Florianopolis SC Brazil

quantum programming languages (QPL) fill the gap between quantum mechanics and classical programming constructions, simplifying the development of quantum applications. However, most QPL addresses the inherent quantum programming problem, neglecting quantum computer implementation constraints. We present a runtime architecture for classical-quantum execution that mitigates the limitation of interaction between classical and quantum computers originated from the cloud-based model of quantum computation provided by several vendors, which implies a quantum computer processing in batch. In the proposed runtime architecture, we introduce (i) runtime quantum code generation to enable generic quantum programming and dynamic quantum execution;and (ii) the concept of futures to handle dynamic interaction between classical and quantum computers. To support our proposal, we have implemented the Ket quantum programming framework that features a Python-embedded classical-quantum programming language named Ket, the C++ quantum programming library Libket, and Ket Bitwise (quantum computing) Simulator. The last one improves over the bitwise representation, making the simulation time not dependent on the number of qubits but the amount of superposition and entanglement of simulation.

关键词： quantum programming cloud quantum computation qubit simulation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：