In this article, a protocol for information lossless teleportation using W states is proposed. Firstly, the information lossless teleportation of an unknown state with a maximally entangled W-state channel, which protects the original unknown state information even in case of teleportation failure is investigated. Next, we generalise our scheme to non-maximally entangled W-state channels. Finally, the principle of the proposed scheme is validated by performing experiments on the quantum circuit simulator Quirk. Our study shows that W states can be used to teleport any quantum state without information loss through single-qubit measurements and local unitary operations.
本文提出了一种利用 W 状态进行信息无损远传的协议。首先,我们研究了利用最大纠缠 W 状态信道对未知状态进行信息无损远距传输,即使在远距传输失败的情况下也能保护原始未知状态信息。接下来,我们将方案推广到非最大纠缠 W 状态信道。最后,通过在量子电路模拟器 Quirk 上进行实验,验证了所提方案的原理。我们的研究表明,通过单量子比特测量和局部单元操作,W态可以用来远传任何量子态,而不会造成信息丢失。
{"title":"Research on information lossless teleportation via the W states","authors":"Ao Wang, Yu-Zhen Wei, Zong-Yi Li, Min Jiang","doi":"10.1049/qtc2.12062","DOIUrl":"10.1049/qtc2.12062","url":null,"abstract":"<p>In this article, a protocol for information lossless teleportation using W states is proposed. Firstly, the information lossless teleportation of an unknown state with a maximally entangled W-state channel, which protects the original unknown state information even in case of teleportation failure is investigated. Next, we generalise our scheme to non-maximally entangled W-state channels. Finally, the principle of the proposed scheme is validated by performing experiments on the quantum circuit simulator Quirk. Our study shows that W states can be used to teleport any quantum state without information loss through single-qubit measurements and local unitary operations.</p>","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 4","pages":"200-207"},"PeriodicalIF":0.0,"publicationDate":"2023-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ietresearch.onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12062","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89561254","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zoubeir Mlika, Soumaya Cherkaoui, Jean Frédéric Laprade, Simon Corbeil-Letourneau
This paper applies a quantum machine learning technique to predict mobile users' trajectories in mobile wireless networks by using an approach called quantum reservoir computing (QRC). Mobile users' trajectories prediction belongs to the task of temporal information processing, and it is a mobility management problem that is essential for self-organising and autonomous 6G networks. Our aim is to accurately predict the future positions of mobile users in wireless networks using QRC. To do so, the authors use a real-world time series dataset to model mobile users' trajectories. The QRC approach has two components: reservoir computing (RC) and quantum computing (QC). In RC, the training is more computational-efficient than the training of simple recurrent neural networks since, in RC, only the weights of the output layer are trainable. The internal part of RC is what is called the reservoir. For the RC to perform well, the weights of the reservoir should be chosen carefully to create highly complex and non-linear dynamics. The QC is used to create such dynamical reservoir that maps the input time series into higher dimensional computational space composed of dynamical states. After obtaining the high-dimensional dynamical states, a simple linear regression is performed to train the output weights and, thus, the prediction of the mobile users' trajectories can be performed efficiently. In this study, we apply a QRC approach based on the Hamiltonian time evolution of a quantum system. The authors simulate the time evolution using IBM gate-based quantum computers, and they show in the experimental results that the use of QRC to predict the mobile users' trajectories with only a few qubits is efficient and can outperform the classical approaches such as the long short-term memory approach and the echo-state networks approach.
{"title":"User trajectory prediction in mobile wireless networks using quantum reservoir computing","authors":"Zoubeir Mlika, Soumaya Cherkaoui, Jean Frédéric Laprade, Simon Corbeil-Letourneau","doi":"10.1049/qtc2.12061","DOIUrl":"https://doi.org/10.1049/qtc2.12061","url":null,"abstract":"<p>This paper applies a quantum machine learning technique to predict mobile users' trajectories in mobile wireless networks by using an approach called quantum reservoir computing (QRC). Mobile users' trajectories prediction belongs to the task of temporal information processing, and it is a mobility management problem that is essential for self-organising and autonomous 6G networks. Our aim is to accurately predict the future positions of mobile users in wireless networks using QRC. To do so, the authors use a real-world time series dataset to model mobile users' trajectories. The QRC approach has two components: reservoir computing (RC) and quantum computing (QC). In RC, the training is more computational-efficient than the training of simple recurrent neural networks since, in RC, only the weights of the output layer are trainable. The internal part of RC is what is called the reservoir. For the RC to perform well, the weights of the reservoir should be chosen carefully to create highly complex and non-linear dynamics. The QC is used to create such dynamical reservoir that maps the input time series into higher dimensional computational space composed of dynamical states. After obtaining the high-dimensional dynamical states, a simple linear regression is performed to train the output weights and, thus, the prediction of the mobile users' trajectories can be performed efficiently. In this study, we apply a QRC approach based on the Hamiltonian time evolution of a quantum system. The authors simulate the time evolution using IBM gate-based quantum computers, and they show in the experimental results that the use of QRC to predict the mobile users' trajectories with only a few qubits is efficient and can outperform the classical approaches such as the long short-term memory approach and the echo-state networks approach.</p>","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 3","pages":"125-135"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12061","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50150729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Muhammad Zulfiqar Ali, Abdoalbaset Abohmra, Muhammad Usman, Adnan Zahid, Hadi Heidari, Muhammad Ali Imran, Qammer H. Abbasi
In the technologically changing world, the demand for ultra-reliable, faster, low power, and secure communication has significantly risen in recent years. Researchers have shown immense interest in emerging quantum computing (QC) due to its potentials of solving the computing complexity in the robust and efficient manner. It is envisioned that QC can act as critical enablers and strong catalysts to considerably reduce the computing complexities and boost the future of sixth generation (6G) and beyond communication systems in terms of their security. In this study, the fundamentals of QC, the evolution of quantum communication that encompasses a wide spectrum of technologies and applications and quantum key distribution, which is one of the most promising applications of quantum security, have been presented. Furthermore, various parameters and important techniques are also investigated to optimise the performance of 6G communication in terms of their security, computing, and communication efficiency. Towards the end, potential challenges that QC and quantum communication may face in 6G have been highlighted along with future directions.
{"title":"Quantum for 6G communication: A perspective","authors":"Muhammad Zulfiqar Ali, Abdoalbaset Abohmra, Muhammad Usman, Adnan Zahid, Hadi Heidari, Muhammad Ali Imran, Qammer H. Abbasi","doi":"10.1049/qtc2.12060","DOIUrl":"https://doi.org/10.1049/qtc2.12060","url":null,"abstract":"<p>In the technologically changing world, the demand for ultra-reliable, faster, low power, and secure communication has significantly risen in recent years. Researchers have shown immense interest in emerging quantum computing (QC) due to its potentials of solving the computing complexity in the robust and efficient manner. It is envisioned that QC can act as critical enablers and strong catalysts to considerably reduce the computing complexities and boost the future of sixth generation (6G) and beyond communication systems in terms of their security. In this study, the fundamentals of QC, the evolution of quantum communication that encompasses a wide spectrum of technologies and applications and quantum key distribution, which is one of the most promising applications of quantum security, have been presented. Furthermore, various parameters and important techniques are also investigated to optimise the performance of 6G communication in terms of their security, computing, and communication efficiency. Towards the end, potential challenges that QC and quantum communication may face in 6G have been highlighted along with future directions.</p>","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 3","pages":"112-124"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12060","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50149317","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Secure Multiparty Computation (SMC) enables multiple parties to cooperate securely without compromising their privacy. SMC has the potential to offer solutions for privacy obstacles in vehicular networks. However, classical SMC implementations suffer from efficiency and security challenges. To address this problem, two quantum communication technologies, Quantum Key Distribution (QKD) and Quantum Oblivious Key Distribution were utilised. These technologies supply symmetric and oblivious keys respectively, allowing fast and secure inter-vehicular communications. These quantum technologies are integrated with the Faster Malicious Arithmetic Secure Computation with Oblivious Transfer (MASCOT) protocol to form a Quantum Secure Multiparty Computation (QSMC) platform. A lane change service is implemented in which vehicles broadcast private information about their intention to exit the highway. The proposed QSMC approach provides unconditional security even against quantum computer attacks. Moreover, the communication cost of the quantum approach for the lane change use case has decreased by 97% when compared to the classical implementation. However, the computation cost has increased by 42%. For open space scenarios, the reduction in communication cost is especially important, because it conserves bandwidth in the free-space radio channel, outweighing the increase in computation cost.
{"title":"Quantum privacy-preserving service for secure lane change in vehicular networks","authors":"Zeinab Rahmani, Luis S. Barbosa, Armando N. Pinto","doi":"10.1049/qtc2.12059","DOIUrl":"https://doi.org/10.1049/qtc2.12059","url":null,"abstract":"<p>Secure Multiparty Computation (SMC) enables multiple parties to cooperate securely without compromising their privacy. SMC has the potential to offer solutions for privacy obstacles in vehicular networks. However, classical SMC implementations suffer from efficiency and security challenges. To address this problem, two quantum communication technologies, Quantum Key Distribution (QKD) and Quantum Oblivious Key Distribution were utilised. These technologies supply symmetric and oblivious keys respectively, allowing fast and secure inter-vehicular communications. These quantum technologies are integrated with the Faster Malicious Arithmetic Secure Computation with Oblivious Transfer (MASCOT) protocol to form a Quantum Secure Multiparty Computation (QSMC) platform. A lane change service is implemented in which vehicles broadcast private information about their intention to exit the highway. The proposed QSMC approach provides unconditional security even against quantum computer attacks. Moreover, the communication cost of the quantum approach for the lane change use case has decreased by 97% when compared to the classical implementation. However, the computation cost has increased by 42%. For open space scenarios, the reduction in communication cost is especially important, because it conserves bandwidth in the free-space radio channel, outweighing the increase in computation cost.</p>","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 3","pages":"103-111"},"PeriodicalIF":0.0,"publicationDate":"2023-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12059","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50147996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Turbasu Chatterjee, Arnav Das, Subhayu Kumar Bala, Amit Saha, Anupam Chattopadhyay, Amlan Chakrabarti
In recent years, numerous research advancements have extended the limit of classical simulation of quantum algorithms. Although, most of the state-of-the-art classical simulators are only limited to binary quantum systems, which restrict the classical simulation of higher-dimensional quantum computing systems. Through recent developments in higher-dimensional quantum computing systems, it is realised that implementing qudits improves the overall performance of a quantum algorithm by increasing memory space and reducing the asymptotic complexity of a quantum circuit. Hence, in this article, QuDiet, a state-of-the-art user-friendly python-based higher-dimensional quantum computing simulator is introduced. QuDiet offers multi-valued logic operations by utilising generalised quantum gates with an abstraction so that any naive user can simulate qudit systems with ease as compared to the existing ones. Various benchmark quantum circuits is simulated in QuDiet and show the considerable speedup in simulation time as compared to the other simulators without loss in precision. Finally, QuDiet provides a full qubit-qudit hybrid quantum simulator package with quantum circuit templates of well-known quantum algorithms for fast prototyping and simulation. Comprehensive simulation up to 20 qutrits circuit on depth 80 on QuDiet was successfully achieved. The complete code and packages of QuDiet is available at https://github.com/LegacYFTw/QuDiet.
{"title":"QuDiet: A classical simulation platform for qubit-qudit hybrid quantum systems","authors":"Turbasu Chatterjee, Arnav Das, Subhayu Kumar Bala, Amit Saha, Anupam Chattopadhyay, Amlan Chakrabarti","doi":"10.1049/qtc2.12058","DOIUrl":"10.1049/qtc2.12058","url":null,"abstract":"<p>In recent years, numerous research advancements have extended the limit of classical simulation of quantum algorithms. Although, most of the state-of-the-art classical simulators are only limited to binary quantum systems, which restrict the classical simulation of higher-dimensional quantum computing systems. Through recent developments in higher-dimensional quantum computing systems, it is realised that implementing qudits improves the overall performance of a quantum algorithm by increasing memory space and reducing the asymptotic complexity of a quantum circuit. Hence, in this article, <b>QuDiet</b>, a state-of-the-art user-friendly python-based higher-dimensional quantum computing simulator is introduced. <b>QuDiet</b> offers multi-valued logic operations by utilising generalised quantum gates with an abstraction so that any naive user can simulate qudit systems with ease as compared to the existing ones. Various benchmark quantum circuits is simulated in <b>QuDiet</b> and show the considerable speedup in simulation time as compared to the other simulators without loss in precision. Finally, <b>QuDiet</b> provides a full qubit-qudit hybrid quantum simulator package with quantum circuit templates of well-known quantum algorithms for fast prototyping and simulation. Comprehensive simulation up to 20 qutrits circuit on depth 80 on <b>QuDiet</b> was successfully achieved. The complete code and packages of <b>QuDiet</b> is available at https://github.com/LegacYFTw/QuDiet.</p>","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 4","pages":"167-180"},"PeriodicalIF":0.0,"publicationDate":"2023-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ietresearch.onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12058","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85121249","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Quantum technologies (QT) promise to change the landscape of technologies disruptively in diverse industries. For this reason, many nations around the globe are investing to emerge within the global quantum ecosystem through initiating national programs and international partnerships. Nonetheless, some other countries are still running behind and yet their governments need to take series actions to help their private and public sectors adapt to the looming changes, considering the new regulations required and the huge influence that QT will present in the near future. In this opinion piece, we provide, for the best of our knowledge, the first generally applicable, yet comprehensive and brief, framework for leveraging the emerging quantum technologies to facilitate the establishment of national initiatives properly. The insights presented in this article were driven based on investigating various approaches, initiatives, and roadmaps adopted globally and meeting with local and regional leaders, professionals, and governmental officials. Furthermore, taken into account socioeconomic and institutional dimensions of the Libyan society, we project the framework for the Libyan nation. This opinion piece is intended to inspire researchers, technical industrial experts, stakeholders, and governmental bodies to find roles they need to play to bring QT forward.
{"title":"Why should and how can quantum technologies be leveraged at national levels?","authors":"AbdulMalek Baitulmal, Nadia Adem","doi":"10.1049/qtc2.12057","DOIUrl":"https://doi.org/10.1049/qtc2.12057","url":null,"abstract":"Quantum technologies (QT) promise to change the landscape of technologies disruptively in diverse industries. For this reason, many nations around the globe are investing to emerge within the global quantum ecosystem through initiating national programs and international partnerships. Nonetheless, some other countries are still running behind and yet their governments need to take series actions to help their private and public sectors adapt to the looming changes, considering the new regulations required and the huge influence that QT will present in the near future. In this opinion piece, we provide, for the best of our knowledge, the first generally applicable, yet comprehensive and brief, framework for leveraging the emerging quantum technologies to facilitate the establishment of national initiatives properly. The insights presented in this article were driven based on investigating various approaches, initiatives, and roadmaps adopted globally and meeting with local and regional leaders, professionals, and governmental officials. Furthermore, taken into account socioeconomic and institutional dimensions of the Libyan society, we project the framework for the Libyan nation. This opinion piece is intended to inspire researchers, technical industrial experts, stakeholders, and governmental bodies to find roles they need to play to bring QT forward.","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 2","pages":"96-101"},"PeriodicalIF":0.0,"publicationDate":"2023-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12057","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50140062","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Quantum computing combines mathematics, quantum physics, and computer science to optimise, learn, and simulate chemical, physical, and biological systems. It offers the ability to solve problems in a unique method and to speed up solutions compared to standard procedures. This computing may solve issues with intractable inputs. With the capabilities of quantum computers and the availability of quantum development kits, quantum computing is expected to become ubiquitous, and the demand for trained people is expected to rise significantly. Quantum technologies are rapidly developing globally with substantial disruptive potential. Quantum technology is opening up new frontiers in computing, communications, and cyber security with widespread applications. The range of quantum technologies is expected to be one of the significant technology disruptions that will change the entire paradigm of computation, communication, and encryption. It is perceived that the countries that achieve an edge in this emerging field will have a more significant advantage in garnering multifold economic growth and dominant leadership roles. It is expected that lots of commercial applications will emerge from the developing theoretical constructs in this area. In India, there is a growing interest in quantum computing and communication with active participation from students, developers, industry, and academia, leading to many recent initiatives and developments. This article provides an overview of some of the recent developments of quantum computing in India and the future ahead.
In its 2020 budget, the Indian government announced the National Mission on Quantum Technologies and Applications, which will be run by the Department of Science and Technology with a budget of 80 billion INR over five years [1]. Among the next-generation technologies that will be pushed by this mission are quantum computers and computing, quantum communication, quantum key distribution, cryptanalysis, quantum devices, quantum sensing, quantum materials, quantum clocks, and so on. The mission will focus on basic science, technology development, building up human and infrastructure resources, innovation, and new businesses to solve problems that are important to the country. By putting the mission into action, India would be able to develop and use quantum computers, secure communications through fibre and free space, quantum encryption and cryptanalysis, and other related technologies. It would also be able to deal with national and regional problems that are unique to India.
International Business Machines (IBM) and the Indian Institute of Technology, Madras (IIT-Madras) joined forces in September 2022 to help India learn more about quantum computing and accelerate research [2]. With this partnership, IIT Madras becomes one of the more than 180 members of the IBM Quantum Network around the world. IIT Madras is also the "first Indian institution" to join t
{"title":"Quantum computing in India: Recent developments and future","authors":"Varun G. Menon, Mainak Adhikari","doi":"10.1049/qtc2.12056","DOIUrl":"https://doi.org/10.1049/qtc2.12056","url":null,"abstract":"<p>Quantum computing combines mathematics, quantum physics, and computer science to optimise, learn, and simulate chemical, physical, and biological systems. It offers the ability to solve problems in a unique method and to speed up solutions compared to standard procedures. This computing may solve issues with intractable inputs. With the capabilities of quantum computers and the availability of quantum development kits, quantum computing is expected to become ubiquitous, and the demand for trained people is expected to rise significantly. Quantum technologies are rapidly developing globally with substantial disruptive potential. Quantum technology is opening up new frontiers in computing, communications, and cyber security with widespread applications. The range of quantum technologies is expected to be one of the significant technology disruptions that will change the entire paradigm of computation, communication, and encryption. It is perceived that the countries that achieve an edge in this emerging field will have a more significant advantage in garnering multifold economic growth and dominant leadership roles. It is expected that lots of commercial applications will emerge from the developing theoretical constructs in this area. In India, there is a growing interest in quantum computing and communication with active participation from students, developers, industry, and academia, leading to many recent initiatives and developments. This article provides an overview of some of the recent developments of quantum computing in India and the future ahead.</p><p>In its 2020 budget, the Indian government announced the National Mission on Quantum Technologies and Applications, which will be run by the Department of Science and Technology with a budget of 80 billion INR over five years [<span>1</span>]. Among the next-generation technologies that will be pushed by this mission are quantum computers and computing, quantum communication, quantum key distribution, cryptanalysis, quantum devices, quantum sensing, quantum materials, quantum clocks, and so on. The mission will focus on basic science, technology development, building up human and infrastructure resources, innovation, and new businesses to solve problems that are important to the country. By putting the mission into action, India would be able to develop and use quantum computers, secure communications through fibre and free space, quantum encryption and cryptanalysis, and other related technologies. It would also be able to deal with national and regional problems that are unique to India.</p><p>International Business Machines (IBM) and the Indian Institute of Technology, Madras (IIT-Madras) joined forces in September 2022 to help India learn more about quantum computing and accelerate research [<span>2</span>]. With this partnership, IIT Madras becomes one of the more than 180 members of the IBM Quantum Network around the world. IIT Madras is also the \"first Indian institution\" to join t","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 2","pages":"93-95"},"PeriodicalIF":0.0,"publicationDate":"2023-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12056","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50140061","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure
With the race to build large-scale quantum computers and efforts to exploit quantum algorithms for efficient problem solving in science and engineering disciplines, the requirement to have efficient and scalable verification methods are of vital importance. A novel formal verification method that is targeted at Quantum Fourier Transform (QFT) circuits is proposed. Quantum Fourier Transform is a fundamental quantum algorithm that forms the basis of many quantum computing applications. The verification method employs abstractions of quantum gates used in QFT that leads to a reduction of the verification problem from Hilbert space to the quantifier free logic of bit-vectors. Very efficient decision procedures are available to reason about bit-vectors. Therefore, this method is able to scale up to the verification of QFT circuits with 10,000 qubits and 50 million quantum gates, providing a meteoric advance in the size of QFT circuits thus far verified using formal verification methods.
{"title":"Rotational abstractions for verification of quantum Fourier transform circuits","authors":"Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure","doi":"10.1049/qtc2.12055","DOIUrl":"https://doi.org/10.1049/qtc2.12055","url":null,"abstract":"<p>With the race to build large-scale quantum computers and efforts to exploit quantum algorithms for efficient problem solving in science and engineering disciplines, the requirement to have efficient and scalable verification methods are of vital importance. A novel formal verification method that is targeted at Quantum Fourier Transform (QFT) circuits is proposed. Quantum Fourier Transform is a fundamental quantum algorithm that forms the basis of many quantum computing applications. The verification method employs abstractions of quantum gates used in QFT that leads to a reduction of the verification problem from Hilbert space to the quantifier free logic of bit-vectors. Very efficient decision procedures are available to reason about bit-vectors. Therefore, this method is able to scale up to the verification of QFT circuits with 10,000 qubits and 50 million quantum gates, providing a meteoric advance in the size of QFT circuits thus far verified using formal verification methods.</p>","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 2","pages":"84-92"},"PeriodicalIF":0.0,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12055","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50132030","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Keshav Kasliwal, Jayanthi P N, Adarsh Jain, Rajesh Kumar Bahl
Classical Cryptography has been in use for a long time. It has been the only way of securing people's communication. However, there are some flaws observed during the execution of classical cryptography. One of them being the staunch belief that the number composed of multiplication of two large prime numbers cannot be factorised easily, which is under a threat thanks to the computational power of the quantum computers. The next flaw is the non-detection of the hacker, both of which can be eliminated by using quantum mechanical principles for encryption purposes, which is known as quantum cryptography. Quantum Key Distribution, which provides an information-theoretically safe solution to the key exchange problem, is the most well-known example of quantum cryptography. The benefit of quantum cryptography is that it makes it possible to perform a variety of cryptographic operations that have been demonstrated or are hypothesised to be impractical when using solely traditional (i.e., non-quantum) communication. Free-space quantum communication has been successfully demonstrated across 300 m by the Indian Space Research Organization (ISRO) in March 2021. With this, ISRO is trying to achieve the same using a satellite-based communication mechanism, which would revolutionise the mode of modern communication. It is justified that the key generation rate depends on factors like the aperture diameter of the sender and receiver, distance between them, the quantum bit error rate, and many more. The results vary with the parameters in the discussion as explained in the upcoming sections. The avenue of different types of losses that occur while transmitting at large distances, such as Atmospheric Loss, Pointing Loss and Geometric Loss, is explored.
{"title":"Enhancing satellite-to-ground communication using quantum key distribution","authors":"Keshav Kasliwal, Jayanthi P N, Adarsh Jain, Rajesh Kumar Bahl","doi":"10.1049/qtc2.12053","DOIUrl":"https://doi.org/10.1049/qtc2.12053","url":null,"abstract":"<p>Classical Cryptography has been in use for a long time. It has been the only way of securing people's communication. However, there are some flaws observed during the execution of classical cryptography. One of them being the staunch belief that the number composed of multiplication of two large prime numbers cannot be factorised easily, which is under a threat thanks to the computational power of the quantum computers. The next flaw is the non-detection of the hacker, both of which can be eliminated by using quantum mechanical principles for encryption purposes, which is known as quantum cryptography. Quantum Key Distribution, which provides an information-theoretically safe solution to the key exchange problem, is the most well-known example of quantum cryptography. The benefit of quantum cryptography is that it makes it possible to perform a variety of cryptographic operations that have been demonstrated or are hypothesised to be impractical when using solely traditional (i.e., non-quantum) communication. Free-space quantum communication has been successfully demonstrated across 300 m by the Indian Space Research Organization (ISRO) in March 2021. With this, ISRO is trying to achieve the same using a satellite-based communication mechanism, which would revolutionise the mode of modern communication. It is justified that the key generation rate depends on factors like the aperture diameter of the sender and receiver, distance between them, the quantum bit error rate, and many more. The results vary with the parameters in the discussion as explained in the upcoming sections. The avenue of different types of losses that occur while transmitting at large distances, such as Atmospheric Loss, Pointing Loss and Geometric Loss, is explored.</p>","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 2","pages":"57-69"},"PeriodicalIF":0.0,"publicationDate":"2023-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12053","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50119047","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Anthony Chagneau, Laëticia Nathoo, Jérémy Alloul, Bertrand Gabriel
Physics systems are becoming increasingly complex and require more and more computing time. Quantum computing, which has shown its efficiency on some problems, such as the factorisation of a number with Shor's algorithm, may be the solution to reduce these computation times. Here, the authors propose two quantum numerical schemes for the simulation of physics phenomena, based on the finite difference method. The aim is to see if quantum versions of standard numerical schemes offer an advantage over their classical counterparts, either in accuracy, stability or computation time. First, the authors will present the different phenomena studied as well as the classical solution methods chosen. The authors will then describe the implementation of the quantum numerical schemes and present some results obtained on the different physics phenomena beforehand and then compare both approaches, classical and quantum.
{"title":"Quantum finite difference solvers for physics simulation","authors":"Anthony Chagneau, Laëticia Nathoo, Jérémy Alloul, Bertrand Gabriel","doi":"10.1049/qtc2.12054","DOIUrl":"https://doi.org/10.1049/qtc2.12054","url":null,"abstract":"<p>Physics systems are becoming increasingly complex and require more and more computing time. Quantum computing, which has shown its efficiency on some problems, such as the factorisation of a number with Shor's algorithm, may be the solution to reduce these computation times. Here, the authors propose two quantum numerical schemes for the simulation of physics phenomena, based on the finite difference method. The aim is to see if quantum versions of standard numerical schemes offer an advantage over their classical counterparts, either in accuracy, stability or computation time. First, the authors will present the different phenomena studied as well as the classical solution methods chosen. The authors will then describe the implementation of the quantum numerical schemes and present some results obtained on the different physics phenomena beforehand and then compare both approaches, classical and quantum.</p>","PeriodicalId":100651,"journal":{"name":"IET Quantum Communication","volume":"4 2","pages":"70-83"},"PeriodicalIF":0.0,"publicationDate":"2023-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/qtc2.12054","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50119048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}