Pub Date : 2024-08-01DOI: 10.1088/2058-9565/ad6285
M Schumann, F K Wilhelm and A Ciani
In variational quantum algorithms the parameters of a parameterized quantum circuit are optimized in order to minimize a cost function that encodes the solution of the problem. The barren plateau phenomenon manifests as an exponentially vanishing dependence of the cost function with respect to the variational parameters, and thus hampers the optimization process. We discuss how, and in which sense, the phenomenon of noise-induced barren plateaus emerges in parameterized quantum circuits with a layered noise model. Previous results have shown the existence of noise-induced barren plateaus in the presence of local Pauli noise (Wang et al 2021 Nat. Commun.12 6961). We extend these results analytically to arbitrary completely-positive trace preserving maps in two cases: (1) when a parameter-shift rule holds, (2) when the parameterized quantum circuit at each layer forms a unitary 2-design. The second example shows how highly expressive unitaries give rise not only to standard barren plateaus (McClean et al 2018 Nat. Commun.9 4812), but also to noise-induced ones. In the second part of the paper, we study numerically the emergence of noise-induced barren plateaus in QAOA circuits focusing on the case of MaxCut problems on d-regular graphs and amplitude damping noise.
在变分量子算法中,对参数化量子电路的参数进行优化,以最小化编码问题解决方案的成本函数。贫瘠高原现象表现为成本函数相对于变分参数的指数消失,从而阻碍了优化过程。我们讨论了在具有分层噪声模型的参数化量子电路中,噪声引起的贫瘠高原现象是如何出现的,以及在何种意义上出现。之前的研究结果表明,在存在局部保利噪声的情况下,存在噪声诱导的贫瘠高原(Wang 等 2021 Nat.)我们通过分析将这些结果扩展到两种情况下的任意完全正向迹保存映射:(1) 当参数转移规则成立时,(2) 当每层的参数化量子电路形成单元 2 设计时。第二个例子展示了高表达性单元如何不仅产生标准贫瘠高原(McClean et al 2018 Nat. Commun.9 4812),而且产生噪声诱导的高原。在论文的第二部分,我们以 d 规则图上的 MaxCut 问题和振幅阻尼噪声为重点,对 QAOA 电路中出现的噪声诱导贫瘠高原进行了数值研究。
{"title":"Emergence of noise-induced barren plateaus in arbitrary layered noise models","authors":"M Schumann, F K Wilhelm and A Ciani","doi":"10.1088/2058-9565/ad6285","DOIUrl":"https://doi.org/10.1088/2058-9565/ad6285","url":null,"abstract":"In variational quantum algorithms the parameters of a parameterized quantum circuit are optimized in order to minimize a cost function that encodes the solution of the problem. The barren plateau phenomenon manifests as an exponentially vanishing dependence of the cost function with respect to the variational parameters, and thus hampers the optimization process. We discuss how, and in which sense, the phenomenon of noise-induced barren plateaus emerges in parameterized quantum circuits with a layered noise model. Previous results have shown the existence of noise-induced barren plateaus in the presence of local Pauli noise (Wang et al 2021 Nat. Commun.12 6961). We extend these results analytically to arbitrary completely-positive trace preserving maps in two cases: (1) when a parameter-shift rule holds, (2) when the parameterized quantum circuit at each layer forms a unitary 2-design. The second example shows how highly expressive unitaries give rise not only to standard barren plateaus (McClean et al 2018 Nat. Commun.9 4812), but also to noise-induced ones. In the second part of the paper, we study numerically the emergence of noise-induced barren plateaus in QAOA circuits focusing on the case of MaxCut problems on d-regular graphs and amplitude damping noise.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"74 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141877450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-31DOI: 10.1088/2058-9565/ad6287
Tobias Denzler, Jonas F G Santos, Eric Lutz and Roberto M Serra
The thermodynamic properties of quantum heat engines are stochastic owing to the presence of thermal and quantum fluctuations. We here experimentally investigate the efficiency and nonequilibrium entropy production statistics of a spin-1/2 quantum Otto cycle in a nuclear magnetic resonance setup. We first study the correlations between work and heat within a cycle by extracting their joint distribution for different driving times. We show that near perfect correlation, corresponding to the tight-coupling condition between work and heat, can be achieved. In this limit, the reconstructed efficiency distribution is peaked at the deterministic thermodynamic efficiency, and fluctuations are strongly suppressed. We further successfully test the second law in the form of a joint fluctuation relation for work and heat in the quantum cycle. Our results characterize the statistical features of a small-scale thermal machine in the quantum domain, and provide means to control them.
{"title":"Nonequilibrium fluctuations of a quantum heat engine","authors":"Tobias Denzler, Jonas F G Santos, Eric Lutz and Roberto M Serra","doi":"10.1088/2058-9565/ad6287","DOIUrl":"https://doi.org/10.1088/2058-9565/ad6287","url":null,"abstract":"The thermodynamic properties of quantum heat engines are stochastic owing to the presence of thermal and quantum fluctuations. We here experimentally investigate the efficiency and nonequilibrium entropy production statistics of a spin-1/2 quantum Otto cycle in a nuclear magnetic resonance setup. We first study the correlations between work and heat within a cycle by extracting their joint distribution for different driving times. We show that near perfect correlation, corresponding to the tight-coupling condition between work and heat, can be achieved. In this limit, the reconstructed efficiency distribution is peaked at the deterministic thermodynamic efficiency, and fluctuations are strongly suppressed. We further successfully test the second law in the form of a joint fluctuation relation for work and heat in the quantum cycle. Our results characterize the statistical features of a small-scale thermal machine in the quantum domain, and provide means to control them.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"74 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141862257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-31DOI: 10.1088/2058-9565/ad6735
Kapil Goswami, Peter Schmelcher and Rick Mukherjee
Integer programming (IP), as the name suggests is an integer-variable-based approach commonly used to formulate real-world optimization problems with constraints. Currently, quantum algorithms reformulate the IP into an unconstrained form through the use of binary variables, which is an indirect and resource-consuming way of solving it. We develop an algorithm that maps and solves an IP problem in its original form to any quantum system possessing a large number of accessible internal degrees of freedom that are controlled with sufficient accuracy. This work leverages the principle of superposition to solve the optimization problem. Using a single Rydberg atom as an example, we associate the integer values to electronic states belonging to different manifolds and implement a selective superposition of different states to solve the full IP problem. The optimal solution is found within a few microseconds for prototypical IP problems with up to eight variables and four constraints. This also includes non-linear IP problems, which are usually harder to solve with classical algorithms when compared to their linear counterparts. Our algorithm for solving IP is benchmarked by a well-known classical algorithm (branch and bound) in terms of the number of steps needed for convergence to the solution. This approach carries the potential to improve the solutions obtained for larger-size problems using hybrid quantum–classical algorithms.
整数编程(IP),顾名思义,是一种基于整数变量的方法,常用于制定现实世界中带有约束条件的优化问题。目前,量子算法通过使用二进制变量将 IP 重构为无约束形式,这是一种间接且耗费资源的求解方式。我们开发了一种算法,可以将 IP 问题以其原始形式映射到任何拥有大量可访问内部自由度且控制精度足够高的量子系统中并加以解决。这项工作利用叠加原理来解决优化问题。以单个雷德贝格原子为例,我们将整数值与属于不同流形的电子状态相关联,并实现了不同状态的选择性叠加,从而解决了完整的 IP 问题。对于多达八个变量和四个约束条件的原型 IP 问题,我们能在几微秒内找到最优解。这也包括非线性 IP 问题,与线性问题相比,这些问题通常更难通过经典算法解决。我们的 IP 求解算法以著名的经典算法(分支与约束)为基准,计算收敛到解所需的步骤数。这种方法有可能改进使用量子-经典混合算法求解更大问题的方法。
{"title":"Integer programming using a single atom","authors":"Kapil Goswami, Peter Schmelcher and Rick Mukherjee","doi":"10.1088/2058-9565/ad6735","DOIUrl":"https://doi.org/10.1088/2058-9565/ad6735","url":null,"abstract":"Integer programming (IP), as the name suggests is an integer-variable-based approach commonly used to formulate real-world optimization problems with constraints. Currently, quantum algorithms reformulate the IP into an unconstrained form through the use of binary variables, which is an indirect and resource-consuming way of solving it. We develop an algorithm that maps and solves an IP problem in its original form to any quantum system possessing a large number of accessible internal degrees of freedom that are controlled with sufficient accuracy. This work leverages the principle of superposition to solve the optimization problem. Using a single Rydberg atom as an example, we associate the integer values to electronic states belonging to different manifolds and implement a selective superposition of different states to solve the full IP problem. The optimal solution is found within a few microseconds for prototypical IP problems with up to eight variables and four constraints. This also includes non-linear IP problems, which are usually harder to solve with classical algorithms when compared to their linear counterparts. Our algorithm for solving IP is benchmarked by a well-known classical algorithm (branch and bound) in terms of the number of steps needed for convergence to the solution. This approach carries the potential to improve the solutions obtained for larger-size problems using hybrid quantum–classical algorithms.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"62 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141862267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-23DOI: 10.1088/2058-9565/ad63c7
Jonte R Hance, Tomonori Matsushita and Holger F Hofmann
The presence of an absorber in one of the paths of an interferometer changes the output statistics of that interferometer in a fundamental manner. Since the individual quantum particles detected at any of the outputs of the interferometer have not been absorbed, any non-trivial effect of the absorber on the distribution of these particles over these paths is a counterfactual effect. Here, we quantify counterfactual effects by evaluating the information about the presence or absence of the absorber obtained from the output statistics, distinguishing between classical and quantum counterfactual effects. We identify the counterfactual gain which quantifies the advantage of quantum counterfactual protocols over classical counterfactual protocols, and show that this counterfactual gain can be separated into two terms: a semi-classical term related to the amplitude blocked by the absorber, and a Kirkwood-Dirac quasiprobability assigning a joint probability to the blocked path and the output port. A negative Kirkwood-Dirac term between a path and an output port indicates that inserting the absorber into that path will have a focussing effect, increasing the probability of particles arriving at that output port, resulting in a significant enhancement of the counterfactual gain. We show that the magnitude of quantum counterfactual effects cannot be explained by a simple removal of the absorbed particles, but originates instead from a well-defined back-action effect caused by the presence of the absorber in one path, on particles in other paths.
{"title":"Counterfactuality, back-action, and information gain in multi-path interferometers","authors":"Jonte R Hance, Tomonori Matsushita and Holger F Hofmann","doi":"10.1088/2058-9565/ad63c7","DOIUrl":"https://doi.org/10.1088/2058-9565/ad63c7","url":null,"abstract":"The presence of an absorber in one of the paths of an interferometer changes the output statistics of that interferometer in a fundamental manner. Since the individual quantum particles detected at any of the outputs of the interferometer have not been absorbed, any non-trivial effect of the absorber on the distribution of these particles over these paths is a counterfactual effect. Here, we quantify counterfactual effects by evaluating the information about the presence or absence of the absorber obtained from the output statistics, distinguishing between classical and quantum counterfactual effects. We identify the counterfactual gain which quantifies the advantage of quantum counterfactual protocols over classical counterfactual protocols, and show that this counterfactual gain can be separated into two terms: a semi-classical term related to the amplitude blocked by the absorber, and a Kirkwood-Dirac quasiprobability assigning a joint probability to the blocked path and the output port. A negative Kirkwood-Dirac term between a path and an output port indicates that inserting the absorber into that path will have a focussing effect, increasing the probability of particles arriving at that output port, resulting in a significant enhancement of the counterfactual gain. We show that the magnitude of quantum counterfactual effects cannot be explained by a simple removal of the absorbed particles, but originates instead from a well-defined back-action effect caused by the presence of the absorber in one path, on particles in other paths.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"60 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141755176","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-17DOI: 10.1088/2058-9565/ad60f2
Giovanni Pecci, Ruiyi Wang, Pietro Torta, Glen Bigan Mbeng and Giuseppe Santoro
Quantum Annealing (QA) relies on mixing two Hamiltonian terms, a simple driver and a complex problem Hamiltonian, in a linear combination. The time-dependent schedule for this mixing is often taken to be linear in time: improving on this linear choice is known to be essential and has proven to be difficult. Here, we present different techniques for improving on the linear-schedule QA along two directions, conceptually distinct but leading to similar outcomes: 1) the first approach consists of constructing a Trotter-digitized QA (dQA) with schedules parameterized in terms of Fourier modes or Chebyshev polynomials, inspired by the Chopped Random Basis algorithm for optimal control in continuous time; 2) the second approach is technically a Quantum Approximate Optimization Algorithm (QAOA), whose solutions are found iteratively using linear interpolation or expansion in Fourier modes. Both approaches emphasize finding smooth optimal schedule parameters, ultimately leading to hybrid quantum–classical variational algorithms of the alternating Hamiltonian Ansatz type. We apply these techniques to MaxCut problems on weighted 3-regular graphs with N = 14 sites, focusing on hard instances that exhibit a small spectral gap, for which a standard linear-schedule QA performs poorly. We characterize the physics behind the optimal protocols for both the dQA and QAOA approaches, discovering shortcuts to adiabaticity-like dynamics. Furthermore, we study the transferability of such smooth solutions among hard instances of MaxCut at different circuit depths. Finally, we show that the smoothness pattern of these protocols obtained in a digital setting enables us to adapt them to continuous-time evolution, contrarily to generic non-smooth solutions. This procedure results in an optimized QA schedule that is implementable on analog devices.
{"title":"Beyond quantum annealing: optimal control solutions to maxcut problems","authors":"Giovanni Pecci, Ruiyi Wang, Pietro Torta, Glen Bigan Mbeng and Giuseppe Santoro","doi":"10.1088/2058-9565/ad60f2","DOIUrl":"https://doi.org/10.1088/2058-9565/ad60f2","url":null,"abstract":"Quantum Annealing (QA) relies on mixing two Hamiltonian terms, a simple driver and a complex problem Hamiltonian, in a linear combination. The time-dependent schedule for this mixing is often taken to be linear in time: improving on this linear choice is known to be essential and has proven to be difficult. Here, we present different techniques for improving on the linear-schedule QA along two directions, conceptually distinct but leading to similar outcomes: 1) the first approach consists of constructing a Trotter-digitized QA (dQA) with schedules parameterized in terms of Fourier modes or Chebyshev polynomials, inspired by the Chopped Random Basis algorithm for optimal control in continuous time; 2) the second approach is technically a Quantum Approximate Optimization Algorithm (QAOA), whose solutions are found iteratively using linear interpolation or expansion in Fourier modes. Both approaches emphasize finding smooth optimal schedule parameters, ultimately leading to hybrid quantum–classical variational algorithms of the alternating Hamiltonian Ansatz type. We apply these techniques to MaxCut problems on weighted 3-regular graphs with N = 14 sites, focusing on hard instances that exhibit a small spectral gap, for which a standard linear-schedule QA performs poorly. We characterize the physics behind the optimal protocols for both the dQA and QAOA approaches, discovering shortcuts to adiabaticity-like dynamics. Furthermore, we study the transferability of such smooth solutions among hard instances of MaxCut at different circuit depths. Finally, we show that the smoothness pattern of these protocols obtained in a digital setting enables us to adapt them to continuous-time evolution, contrarily to generic non-smooth solutions. This procedure results in an optimized QA schedule that is implementable on analog devices.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"42 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141726177","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-16DOI: 10.1088/2058-9565/ad5eb6
Josias Old, Manuel Rispler and Markus Müller
We use the recently introduced lifted product to construct a family of quantum low density parity check codes (QLDPC codes). The codes we obtain can be viewed as stacks of surface codes that are interconnected, leading to the name lift-connected surface (LCS) codes. LCS codes offer a wide range of parameters—a particularly striking feature is that they show interesting properties that are favorable compared to the standard surface code. For example, already at moderate numbers of physical qubits in the order of tens, LCS codes of equal size have lower logical error rate or similarly, require fewer qubits for a fixed target logical error rate. We present and analyze the construction and provide numerical simulation results for the logical error rate under code capacity and phenomenological noise. These results show that LCS codes attain thresholds that are comparable to corresponding (non-connected) copies of surface codes, while the logical error rate can be orders of magnitude lower, even for representatives with the same parameters. This provides a code family showing the potential of modern product constructions at already small qubit numbers. Their amenability to 3D-local connectivity renders them particularly relevant for near-term implementations.
{"title":"Lift-connected surface codes","authors":"Josias Old, Manuel Rispler and Markus Müller","doi":"10.1088/2058-9565/ad5eb6","DOIUrl":"https://doi.org/10.1088/2058-9565/ad5eb6","url":null,"abstract":"We use the recently introduced lifted product to construct a family of quantum low density parity check codes (QLDPC codes). The codes we obtain can be viewed as stacks of surface codes that are interconnected, leading to the name lift-connected surface (LCS) codes. LCS codes offer a wide range of parameters—a particularly striking feature is that they show interesting properties that are favorable compared to the standard surface code. For example, already at moderate numbers of physical qubits in the order of tens, LCS codes of equal size have lower logical error rate or similarly, require fewer qubits for a fixed target logical error rate. We present and analyze the construction and provide numerical simulation results for the logical error rate under code capacity and phenomenological noise. These results show that LCS codes attain thresholds that are comparable to corresponding (non-connected) copies of surface codes, while the logical error rate can be orders of magnitude lower, even for representatives with the same parameters. This provides a code family showing the potential of modern product constructions at already small qubit numbers. Their amenability to 3D-local connectivity renders them particularly relevant for near-term implementations.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"18 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141631285","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-14DOI: 10.1088/2058-9565/ad5907
Fulvio Flamini, Marius Krumm, Lukas J Fiderer, Thomas Müller and Hans J Briegel
Variational quantum algorithms represent a promising approach to quantum machine learning where classical neural networks are replaced by parametrized quantum circuits. However, both approaches suffer from a clear limitation, that is a lack of interpretability. Here, we present a variational method to quantize projective simulation (PS), a reinforcement learning model aimed at interpretable artificial intelligence. Decision making in PS is modeled as a random walk on a graph describing the agent’s memory. To implement the quantized model, we consider quantum walks of single photons in a lattice of tunable Mach–Zehnder interferometers trained via variational algorithms. Using an example from transfer learning, we show that the quantized PS model can exploit quantum interference to acquire capabilities beyond those of its classical counterpart. Finally, we discuss the role of quantum interference for training and tracing the decision making process, paving the way for realizations of interpretable quantum learning agents.
{"title":"Towards interpretable quantum machine learning via single-photon quantum walks","authors":"Fulvio Flamini, Marius Krumm, Lukas J Fiderer, Thomas Müller and Hans J Briegel","doi":"10.1088/2058-9565/ad5907","DOIUrl":"https://doi.org/10.1088/2058-9565/ad5907","url":null,"abstract":"Variational quantum algorithms represent a promising approach to quantum machine learning where classical neural networks are replaced by parametrized quantum circuits. However, both approaches suffer from a clear limitation, that is a lack of interpretability. Here, we present a variational method to quantize projective simulation (PS), a reinforcement learning model aimed at interpretable artificial intelligence. Decision making in PS is modeled as a random walk on a graph describing the agent’s memory. To implement the quantized model, we consider quantum walks of single photons in a lattice of tunable Mach–Zehnder interferometers trained via variational algorithms. Using an example from transfer learning, we show that the quantized PS model can exploit quantum interference to acquire capabilities beyond those of its classical counterpart. Finally, we discuss the role of quantum interference for training and tracing the decision making process, paving the way for realizations of interpretable quantum learning agents.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"24 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141618277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-14DOI: 10.1088/2058-9565/ad5d10
Si Qi Ng, Gong Zhang, Charles Lim and Chao Wang
The rapid development of quantum technology has driven the need for high-performance quantum signal processing modules. Balanced homodyne detector (BHD) is one of the most promising options for practical quantum state measurement, providing substantial advantages of cost-effectiveness, no cooling requirement, and system compactness. However, due to the stringent requirements in BHD design, it typically suffers from a relatively small operating bandwidth which limits the overall speed of a quantum system. In this study, we propose comprehensive modelling for the BHD in quantum applications and enhance the performance of BHDs based on our modelling. Specifically, we utilise a photonic chip approach and optimise the electronic design to create the integrated BHD, which significantly boosts the 3 dB bandwidth to 4.75 GHz and achieves a shot-noise-limited bandwidth of 23 GHz. We demonstrate the capability of this setup to generate quantum random numbers at a rate of 240 Gbit s−1, highlighting its potential for ultra-high-speed quantum communication and quantum cryptography applications.
量子技术的快速发展推动了对高性能量子信号处理模块的需求。平衡同调探测器(BHD)是实用量子态测量最有前途的选择之一,它具有成本效益高、无需冷却和系统紧凑等显著优势。然而,由于 BHD 设计要求严格,其工作带宽通常相对较小,从而限制了量子系统的整体速度。在本研究中,我们提出了量子应用中 BHD 的综合建模,并根据我们的建模提高了 BHD 的性能。具体来说,我们利用光子芯片方法和优化电子设计来创建集成 BHD,从而将 3 dB 带宽大幅提升至 4.75 GHz,并实现了 23 GHz 的射噪限制带宽。我们展示了这一装置以 240 Gbit s-1 的速率生成量子随机数的能力,凸显了其在超高速量子通信和量子密码学应用方面的潜力。
{"title":"A chip-integrated homodyne detection system with enhanced bandwidth performance for quantum applications","authors":"Si Qi Ng, Gong Zhang, Charles Lim and Chao Wang","doi":"10.1088/2058-9565/ad5d10","DOIUrl":"https://doi.org/10.1088/2058-9565/ad5d10","url":null,"abstract":"The rapid development of quantum technology has driven the need for high-performance quantum signal processing modules. Balanced homodyne detector (BHD) is one of the most promising options for practical quantum state measurement, providing substantial advantages of cost-effectiveness, no cooling requirement, and system compactness. However, due to the stringent requirements in BHD design, it typically suffers from a relatively small operating bandwidth which limits the overall speed of a quantum system. In this study, we propose comprehensive modelling for the BHD in quantum applications and enhance the performance of BHDs based on our modelling. Specifically, we utilise a photonic chip approach and optimise the electronic design to create the integrated BHD, which significantly boosts the 3 dB bandwidth to 4.75 GHz and achieves a shot-noise-limited bandwidth of 23 GHz. We demonstrate the capability of this setup to generate quantum random numbers at a rate of 240 Gbit s−1, highlighting its potential for ultra-high-speed quantum communication and quantum cryptography applications.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"26 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141618283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-11DOI: 10.1088/2058-9565/ad5b16
Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg and Alex Aiken
Existing quantum compilers focus on mapping a logical quantum circuit to a quantum device and its native quantum gates. Only simple circuit identities are used to optimize the quantum circuit during the compilation process. This approach misses more complex circuit identities, which could be used to optimize the quantum circuit further. We propose Quanto, the first quantum optimizer that automatically generates circuit identities. Quanto takes as input a gate set and generates provably correct circuit identities for the gate set. Quanto’s automatic generation of circuit identities includes single-qubit and two-qubit gates, which leads to a new database of circuit identities, some of which are novel to the best of our knowledge. In addition to the generation of new circuit identities, Quanto’s optimizer applies such circuit identities to quantum circuits and finds optimized quantum circuits that have not been discovered by other quantum compilers, including IBM Qiskit and Cambridge Quantum Computing Tket. Quanto’s database of circuit identities could be applied to improve existing quantum compilers and Quanto can be used to generate identity databases for new gate sets.
现有的量子编译器侧重于将逻辑量子电路映射到量子设备及其本地量子门。在编译过程中,只有简单的电路标识被用于优化量子电路。这种方法忽略了更复杂的电路标识,而这些标识可用来进一步优化量子电路。我们提出的 Quanto 是首个自动生成电路标识的量子优化器。Quanto 将门电路集作为输入,并为门电路集生成可证明正确的电路标识。Quanto 自动生成的电路标识包括单量子比特和双量子比特门,这就产生了一个新的电路标识数据库,其中一些是我们所知的新颖的电路标识。除了生成新的电路标识外,Quanto 的优化器还能将这些电路标识应用于量子电路,并找到其他量子编译器(包括 IBM Qiskit 和剑桥量子计算 Tket)尚未发现的优化量子电路。Quanto 的电路标识数据库可用于改进现有的量子编译器,Quanto 还可用于为新的门集生成标识数据库。
{"title":"Quanto: optimizing quantum circuits with automatic generation of circuit identities","authors":"Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg and Alex Aiken","doi":"10.1088/2058-9565/ad5b16","DOIUrl":"https://doi.org/10.1088/2058-9565/ad5b16","url":null,"abstract":"Existing quantum compilers focus on mapping a logical quantum circuit to a quantum device and its native quantum gates. Only simple circuit identities are used to optimize the quantum circuit during the compilation process. This approach misses more complex circuit identities, which could be used to optimize the quantum circuit further. We propose Quanto, the first quantum optimizer that automatically generates circuit identities. Quanto takes as input a gate set and generates provably correct circuit identities for the gate set. Quanto’s automatic generation of circuit identities includes single-qubit and two-qubit gates, which leads to a new database of circuit identities, some of which are novel to the best of our knowledge. In addition to the generation of new circuit identities, Quanto’s optimizer applies such circuit identities to quantum circuits and finds optimized quantum circuits that have not been discovered by other quantum compilers, including IBM Qiskit and Cambridge Quantum Computing Tket. Quanto’s database of circuit identities could be applied to improve existing quantum compilers and Quanto can be used to generate identity databases for new gate sets.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"37 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141597504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-09DOI: 10.1088/2058-9565/ad5aba
Yuwei Zhu, Xingjian Zhang and Xiongfeng Ma
Nonlocality, manifested by the violation of Bell inequalities, indicates entanglement within a joint quantum system. A natural question is how much entanglement is required for a given nonlocal behavior. Here, we explore this question by quantifying entanglement using a family of generalized Clauser–Horne–Shimony–Holt-type Bell inequalities. Given a Bell-inequality violation, we derive analytical lower bounds on the entanglement of formation, a measure related to entanglement dilution. The bounds also lead to an analytical estimation of the negativity of entanglement. In addition, we consider one-way distillable entanglement tied to entanglement distillation and derive tight numerical estimates. With the additional assumptions of qubit-qubit systems, we find that the relationship between entanglement and measurement incompatibility is not simply a trade-off under a fixed nonlocal behavior. Furthermore, we apply our results to two realistic scenarios—non-maximally entangled and Werner states. We show that one can utilize the nonlocal statistics by optimizing the Bell inequality for better entanglement estimation.
{"title":"Interplay among entanglement, measurement incompatibility, and nonlocality","authors":"Yuwei Zhu, Xingjian Zhang and Xiongfeng Ma","doi":"10.1088/2058-9565/ad5aba","DOIUrl":"https://doi.org/10.1088/2058-9565/ad5aba","url":null,"abstract":"Nonlocality, manifested by the violation of Bell inequalities, indicates entanglement within a joint quantum system. A natural question is how much entanglement is required for a given nonlocal behavior. Here, we explore this question by quantifying entanglement using a family of generalized Clauser–Horne–Shimony–Holt-type Bell inequalities. Given a Bell-inequality violation, we derive analytical lower bounds on the entanglement of formation, a measure related to entanglement dilution. The bounds also lead to an analytical estimation of the negativity of entanglement. In addition, we consider one-way distillable entanglement tied to entanglement distillation and derive tight numerical estimates. With the additional assumptions of qubit-qubit systems, we find that the relationship between entanglement and measurement incompatibility is not simply a trade-off under a fixed nonlocal behavior. Furthermore, we apply our results to two realistic scenarios—non-maximally entangled and Werner states. We show that one can utilize the nonlocal statistics by optimizing the Bell inequality for better entanglement estimation.","PeriodicalId":20821,"journal":{"name":"Quantum Science and Technology","volume":"13 1","pages":""},"PeriodicalIF":6.7,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141566009","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}