首页 > 最新文献

IEEE Transactions on Quantum Engineering最新文献

英文 中文
High-Fidelity Artificial Quantum Thermal State Generation Using Encoded Coherent States 利用编码相干态生成高保真人工量子热态
IF 4.6 Pub Date : 2025-08-06 DOI: 10.1109/TQE.2025.3596491
Haley A. Weinstein;Bruno Avritzer;Christine M. Kinzfogl;Todd A. Brun;Jonathan L. Habif
Quantum steganography is a powerful method for information security where communication between a sender and receiver is disguised as naturally occurring noise in a channel. A candidate resource state required for implementing quantum steganography is a weak coherent state engineered with modulated phase and amplitude values drawn from probability distributions that result in a mixed state indistinguishable from a thermal state. We experimentally demonstrate the construction of this resource state by encoding the phase and amplitude of weak coherent laser states such that a third party monitoring the communication channel, measuring the flow of optical states through the channel, would see an amalgamation of states indistinguishable from thermal noise light such as that from spontaneous emission. Using quantum state tomography, we experimentally reconstructed the density matrices for the artificially engineered thermal states and spontaneous emission from an optical amplifier and verified a mean state fidelity $F=0.98$ when compared with theoretical thermal states.
量子隐写术是一种强大的信息安全方法,发送方和接收方之间的通信被伪装成信道中自然发生的噪声。实现量子隐写术所需的候选资源状态是一个弱相干状态,其调制相位和振幅值来自概率分布,导致混合状态与热状态无法区分。我们通过实验证明了通过编码弱相干激光状态的相位和振幅来构建这种资源状态,这样第三方监控通信通道,测量光状态通过通道的流动,将看到与热噪声光(如自发发射光)无法区分的状态合并。利用量子态层析成像技术,实验重建了人工热态和光放大器自发发射的密度矩阵,并验证了与理论热态相比的平均态保真度F=0.98。
{"title":"High-Fidelity Artificial Quantum Thermal State Generation Using Encoded Coherent States","authors":"Haley A. Weinstein;Bruno Avritzer;Christine M. Kinzfogl;Todd A. Brun;Jonathan L. Habif","doi":"10.1109/TQE.2025.3596491","DOIUrl":"https://doi.org/10.1109/TQE.2025.3596491","url":null,"abstract":"Quantum steganography is a powerful method for information security where communication between a sender and receiver is disguised as naturally occurring noise in a channel. A candidate resource state required for implementing quantum steganography is a weak coherent state engineered with modulated phase and amplitude values drawn from probability distributions that result in a mixed state indistinguishable from a thermal state. We experimentally demonstrate the construction of this resource state by encoding the phase and amplitude of weak coherent laser states such that a third party monitoring the communication channel, measuring the flow of optical states through the channel, would see an amalgamation of states indistinguishable from thermal noise light such as that from spontaneous emission. Using quantum state tomography, we experimentally reconstructed the density matrices for the artificially engineered thermal states and spontaneous emission from an optical amplifier and verified a mean state fidelity <inline-formula><tex-math>$F=0.98$</tex-math></inline-formula> when compared with theoretical thermal states.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-7"},"PeriodicalIF":4.6,"publicationDate":"2025-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11118288","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145036671","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}
引用次数: 0
Grover Adaptive Search With Spin Variables 自旋变量Grover自适应搜索
IF 4.6 Pub Date : 2025-08-05 DOI: 10.1109/TQE.2025.3595910
Shintaro Fujiwara;Naoki Ishikawa
This article presents a novel approach to Grover adaptive search (GAS) for a combinatorial optimization problem whose objective function involves spin variables. While the GAS algorithm with a conventional design of a quantum dictionary subroutine handles a problem associated with an objective function with binary variables $lbrace 0,1rbrace$, we reformulate the problem using spin variables $lbrace +1,-1rbrace$ to simplify the algorithm. Specifically, we introduce a novel quantum dictionary subroutine that is designed for this spin-based formulation. A key benefit of this approach is the substantial reduction in the number of cnot gates required to construct the quantum circuit. We theoretically demonstrate, for certain problems, that our proposed approach can reduce the gate complexity from an exponential order to a polynomial order, compared to the conventional binary-based approach. This improvement has the potential to enhance the scalability and efficiency of GAS, particularly in larger quantum computations.
针对目标函数包含自旋变量的组合优化问题,提出了一种新的Grover自适应搜索方法。虽然使用量子字典子程序的传统设计的GAS算法处理与具有二进制变量$lbrace 0,1rbrace$的目标函数相关的问题,但我们使用自旋变量$lbrace +1,-1rbrace$重新表述问题以简化算法。具体来说,我们引入了一种新的量子字典子程序,该程序是为这种基于自旋的公式设计的。这种方法的一个关键优点是大大减少了构建量子电路所需的纳米门的数量。我们从理论上证明,对于某些问题,与传统的基于二进制的方法相比,我们提出的方法可以将门复杂度从指数阶降低到多项式阶。这种改进有可能提高GAS的可扩展性和效率,特别是在更大的量子计算中。
{"title":"Grover Adaptive Search With Spin Variables","authors":"Shintaro Fujiwara;Naoki Ishikawa","doi":"10.1109/TQE.2025.3595910","DOIUrl":"https://doi.org/10.1109/TQE.2025.3595910","url":null,"abstract":"This article presents a novel approach to Grover adaptive search (GAS) for a combinatorial optimization problem whose objective function involves spin variables. While the GAS algorithm with a conventional design of a quantum dictionary subroutine handles a problem associated with an objective function with binary variables <inline-formula><tex-math>$lbrace 0,1rbrace$</tex-math></inline-formula>, we reformulate the problem using spin variables <inline-formula><tex-math>$lbrace +1,-1rbrace$</tex-math></inline-formula> to simplify the algorithm. Specifically, we introduce a novel quantum dictionary subroutine that is designed for this spin-based formulation. A key benefit of this approach is the substantial reduction in the number of <sc>cnot</small> gates required to construct the quantum circuit. We theoretically demonstrate, for certain problems, that our proposed approach can reduce the gate complexity from an exponential order to a polynomial order, compared to the conventional binary-based approach. This improvement has the potential to enhance the scalability and efficiency of GAS, particularly in larger quantum computations.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-13"},"PeriodicalIF":4.6,"publicationDate":"2025-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11113358","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144990176","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}
引用次数: 0
Fault-Tolerant Noise Guessing Decoding of Quantum Random Codes 量子随机码的容错噪声猜测译码
IF 4.6 Pub Date : 2025-08-04 DOI: 10.1109/TQE.2025.3595778
Diogo Cruz;Francisco A. Monteiro;André Roque;Bruno C. Coutinho
This work addresses the open question of implementing fault-tolerant quantum random linear codes (QRLCs) with feasible computational overhead. We present a new decoder for QRLCs capable of dealing with imperfect decoding operations. A first approach, introduced by Cruz et al. (2023), only considered channel errors and perfect gates at the decoder. Here, we analyze the fault-tolerant characteristics of QRLCs with a new noise guessing decoding technique, when considering preparation, measurement, and gate errors in the syndrome extraction procedure, while also accounting for error degeneracy. Our findings indicate a threshold error rate (${p_{text{threshold}}}$) of approximately ${2times 10^{-5}}$ in the asymptotic limit, while considering realistic noise levels in the mentioned physical procedures.
这项工作解决了在可行的计算开销下实现容错量子随机线性码(qrlc)的开放性问题。我们提出了一种新的qrlc解码器,能够处理不完美的解码操作。Cruz等人(2023)提出的第一种方法只考虑了解码器的信道误差和完美门。在这里,我们分析了一种新的噪声猜测解码技术的qrlc的容错特性,同时考虑了综合征提取过程中的准备、测量和门误差,同时也考虑了误差退化。我们的研究结果表明,在考虑上述物理过程中的实际噪声水平时,阈值错误率(${p_{text{threshold}}}$)在渐近极限中约为${2乘以10^{-5}}$。
{"title":"Fault-Tolerant Noise Guessing Decoding of Quantum Random Codes","authors":"Diogo Cruz;Francisco A. Monteiro;André Roque;Bruno C. Coutinho","doi":"10.1109/TQE.2025.3595778","DOIUrl":"https://doi.org/10.1109/TQE.2025.3595778","url":null,"abstract":"This work addresses the open question of implementing fault-tolerant quantum random linear codes (QRLCs) with feasible computational overhead. We present a new decoder for QRLCs capable of dealing with imperfect decoding operations. A first approach, introduced by Cruz et al. (2023), only considered channel errors and perfect gates at the decoder. Here, we analyze the fault-tolerant characteristics of QRLCs with a new noise guessing decoding technique, when considering preparation, measurement, and gate errors in the syndrome extraction procedure, while also accounting for error degeneracy. Our findings indicate a threshold error rate (<inline-formula><tex-math>${p_{text{threshold}}}$</tex-math></inline-formula>) of approximately <inline-formula><tex-math>${2times 10^{-5}}$</tex-math></inline-formula> in the asymptotic limit, while considering realistic noise levels in the mentioned physical procedures.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-26"},"PeriodicalIF":4.6,"publicationDate":"2025-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11112727","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144934470","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}
引用次数: 0
Generalized Quantum-Assisted Digital Signature 广义量子辅助数字签名
IF 4.6 Pub Date : 2025-08-04 DOI: 10.1109/TQE.2025.3595703
Alberto Tarable;Rudi Paolo Paganelli;Elisabetta Storelli;Alberto Gatto;Marco Ferrari
This article introduces generalized quantum-assisted digital signature (GQaDS), an improved version of a recently proposed scheme whose information-theoretic security is inherited by adopting quantum key distribution keys for digital signature purposes. Its security against forging is computed considering a trial-and-error approach taken by the malicious forger, and GQaDS parameters are optimized via an analytical approach balancing between forgery and repudiation probabilities. The hash functions of the previous implementation are replaced with Carter–Wegman message authentication codes, strengthening the scheme security and reducing the signature length. For particular scenarios where the second verifier has a safe reputation, a simplified version of GQaDS, namely deterministic GQaDS, can further reduce the required signature length, keeping the desired security strength.
本文介绍了广义量子辅助数字签名(GQaDS),它是最近提出的一种方案的改进版本,该方案采用量子密钥分发密钥进行数字签名,从而继承了信息理论安全性。考虑恶意伪造者采用试错法计算其抗伪造安全性,并通过平衡伪造和拒绝概率的分析方法优化GQaDS参数。用Carter-Wegman消息认证码代替了之前实现的哈希函数,增强了方案的安全性,缩短了签名长度。对于第二验证者具有安全信誉的特定场景,gqad的简化版本,即确定性gqad,可以进一步减少所需的签名长度,保持所需的安全强度。
{"title":"Generalized Quantum-Assisted Digital Signature","authors":"Alberto Tarable;Rudi Paolo Paganelli;Elisabetta Storelli;Alberto Gatto;Marco Ferrari","doi":"10.1109/TQE.2025.3595703","DOIUrl":"https://doi.org/10.1109/TQE.2025.3595703","url":null,"abstract":"This article introduces generalized quantum-assisted digital signature (GQaDS), an improved version of a recently proposed scheme whose information-theoretic security is inherited by adopting quantum key distribution keys for digital signature purposes. Its security against forging is computed considering a trial-and-error approach taken by the malicious forger, and GQaDS parameters are optimized via an analytical approach balancing between forgery and repudiation probabilities. The hash functions of the previous implementation are replaced with Carter–Wegman message authentication codes, strengthening the scheme security and reducing the signature length. For particular scenarios where the second verifier has a safe reputation, a simplified version of GQaDS, namely deterministic GQaDS, can further reduce the required signature length, keeping the desired security strength.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-11"},"PeriodicalIF":4.6,"publicationDate":"2025-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11112620","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144909409","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}
引用次数: 0
TCEP-Based Synchronization for Practical Communication Network 基于tcepp的实用通信网络同步
IF 4.6 Pub Date : 2025-08-04 DOI: 10.1109/TQE.2025.3595706
Swaraj Shekhar Nande;Shubh Agarwal;Stefan Krause;Riccardo Bassoli;Kay-Uwe Giering;Koteswararao Kondepu;Frank H.P. Fitzek
Precise time synchronization is a fundamental challenge in distributed quantum systems, with direct implications for secure communication, quantum sensing, and next-generation quantum network technologies. In this work, we present an field programmable gate arrays (FPGA)-based implementation of a synchronization system using time-correlated entangled photons (TCEP), achieving timing precision below 200 ps across 10- and 20-km deployed fiber links using spectral filtering (SF) and dispersion compensation. The system exploits the intrinsic temporal correlations of entangled photon pairs to estimate synchronization offsets between remote nodes. A modular architecture is developed, featuring optimized OpenCL kernels for real-time correlation, timestamp aggregation, and peak normalization. This enables high-throughput performance with efficient utilization of hardware resources. Experimental validation confirms that the FPGA processes entangled photon timestamps and computes cross-correlation functions significantly faster than conventional CPU-based methods, achieving execution times in the range of a few milliseconds for datasets containing up to $10^{5}$ timestamped events per node. Resource utilization analysis further demonstrates the scalability of the design, with the system operating reliably at a 397.5-MHz clock frequency while maintaining efficient logic, register, and memory usage. Our results illustrate the feasibility of deploying FPGA-based TCEP synchronization in real-world quantum networks, supporting applications in ultra-reliable low-latency communication, distributed quantum computing, and quantum-enhanced localization and sensing. This work bridges foundational quantum photonic principles and hardware-level deployment, laying the groundwork for timing infrastructure in future quantum internet and 6G networks.
精确的时间同步是分布式量子系统的一个基本挑战,对安全通信、量子传感和下一代量子网络技术具有直接影响。在这项工作中,我们提出了一种基于现场可编程门阵列(FPGA)的同步系统实现,该同步系统使用时间相关纠缠光子(TCEP),通过频谱滤波(SF)和色散补偿,在10公里和20公里部署的光纤链路上实现200 ps以下的定时精度。该系统利用纠缠光子对的固有时间相关性来估计远程节点之间的同步偏移。开发了一个模块化架构,具有优化的OpenCL内核,用于实时关联、时间戳聚合和峰值规范化。这样可以在有效利用硬件资源的同时实现高吞吐量性能。实验验证证实,FPGA处理纠缠光子时间戳和计算相互关联函数的速度明显快于传统的基于cpu的方法,对于每个节点包含高达10^{5}$时间戳事件的数据集,执行时间在几毫秒的范围内。资源利用分析进一步证明了该设计的可扩展性,系统在397.5 mhz时钟频率下可靠地运行,同时保持高效的逻辑、寄存器和内存使用。我们的研究结果说明了在现实世界的量子网络中部署基于fpga的TCEP同步的可行性,支持在超可靠低延迟通信、分布式量子计算和量子增强定位和传感中的应用。这项工作将基础量子光子原理和硬件级部署连接起来,为未来量子互联网和6G网络的定时基础设施奠定基础。
{"title":"TCEP-Based Synchronization for Practical Communication Network","authors":"Swaraj Shekhar Nande;Shubh Agarwal;Stefan Krause;Riccardo Bassoli;Kay-Uwe Giering;Koteswararao Kondepu;Frank H.P. Fitzek","doi":"10.1109/TQE.2025.3595706","DOIUrl":"https://doi.org/10.1109/TQE.2025.3595706","url":null,"abstract":"Precise time synchronization is a fundamental challenge in distributed quantum systems, with direct implications for secure communication, quantum sensing, and next-generation quantum network technologies. In this work, we present an field programmable gate arrays (FPGA)-based implementation of a synchronization system using time-correlated entangled photons (TCEP), achieving timing precision below 200 ps across 10- and 20-km deployed fiber links using spectral filtering (SF) and dispersion compensation. The system exploits the intrinsic temporal correlations of entangled photon pairs to estimate synchronization offsets between remote nodes. A modular architecture is developed, featuring optimized OpenCL kernels for real-time correlation, timestamp aggregation, and peak normalization. This enables high-throughput performance with efficient utilization of hardware resources. Experimental validation confirms that the FPGA processes entangled photon timestamps and computes cross-correlation functions significantly faster than conventional CPU-based methods, achieving execution times in the range of a few milliseconds for datasets containing up to <inline-formula><tex-math>$10^{5}$</tex-math></inline-formula> timestamped events per node. Resource utilization analysis further demonstrates the scalability of the design, with the system operating reliably at a 397.5-MHz clock frequency while maintaining efficient logic, register, and memory usage. Our results illustrate the feasibility of deploying FPGA-based TCEP synchronization in real-world quantum networks, supporting applications in ultra-reliable low-latency communication, distributed quantum computing, and quantum-enhanced localization and sensing. This work bridges foundational quantum photonic principles and hardware-level deployment, laying the groundwork for timing infrastructure in future quantum internet and 6G networks.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-12"},"PeriodicalIF":4.6,"publicationDate":"2025-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11112616","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144990175","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}
引用次数: 0
A Grover-Meets-Simon Approach to Match Vector Boolean Functions 向量布尔函数匹配的Grover-Meets-Simon方法
IF 4.6 Pub Date : 2025-08-04 DOI: 10.1109/TQE.2025.3595275
Marco Venere;Alessandro Barenghi;Gerardo Pelosi
The Boolean matching problem via NP-equivalence requires determining whether two Boolean functions are equivalent or not up to a permutation and negation of the input binary variables. Its solution is a fundamental step in the electronic design automation (EDA) tool chains commonly used for digital circuit design. In fact, the library-mapping step of an EDA workflow requires matching parts of the gate-level design (netlist) with the components available in a technology library, considering them as Boolean functions, while taking into account that permutations and negations of input variables can be efficiently implemented through rewiring and the use of inverters. For $n$-to-$n$ vector Boolean functions, where $n$ is the number of input and output variables, the search space of possible negations and permutations is super-exponential in size, while the $mathcal {O}(n!n2^{2n})$ time complexity of classical approaches allows solving only small instances of the NP-problem, often limited to $n$-to-1 Boolean functions (executing $mathcal {O}(n!2^{2n})$ bit operations). This work presents a quantum algorithm for matching $n$-to-$n$ vector Boolean functions by effectively combining the Grover-meets-Simon approach with an original and novel use of the Simon solver without the constraints imposed by its usual premises. We provide a fully detailed quantum circuit implementing our proposal, calculate its cost by evaluating key performance indicators for circuit synthesis, and show an exponential speedup over classical solutions. Finally, we validate our approach on the Boolean functions included in the ISCAS benchmark suite, which are of practical interest in EDA.
通过np等价的布尔匹配问题需要确定两个布尔函数是否等价,直到输入二进制变量的置换和否定。它的解决方案是数字电路设计中常用的电子设计自动化(EDA)工具链的基本步骤。事实上,EDA工作流的库映射步骤需要将门级设计(网表)的部分与技术库中可用的组件相匹配,将它们视为布尔函数,同时考虑到输入变量的排列和否定可以通过重新布线和使用逆变器来有效地实现。对于$n$到$n$向量布尔函数,其中$n$是输入和输出变量的数量,可能的负和排列的搜索空间在大小上是超级指数级的,而$mathcal {O}(n!经典方法的时间复杂度只允许解决np问题的小实例,通常限于$n$ to-1布尔函数(执行$mathcal {O}(n!2^{2n})$ bit操作)。这项工作提出了一种匹配$n$到$n$向量布尔函数的量子算法,通过有效地将Grover-meets-Simon方法与Simon解算器的原始和新颖使用相结合,而不受其通常前提的约束。我们提供了一个完全详细的量子电路来实现我们的提议,通过评估电路合成的关键性能指标来计算其成本,并显示了比经典解决方案的指数加速。最后,我们在ISCAS基准测试套件中包含的布尔函数上验证了我们的方法,这些函数在EDA中具有实际意义。
{"title":"A Grover-Meets-Simon Approach to Match Vector Boolean Functions","authors":"Marco Venere;Alessandro Barenghi;Gerardo Pelosi","doi":"10.1109/TQE.2025.3595275","DOIUrl":"https://doi.org/10.1109/TQE.2025.3595275","url":null,"abstract":"The Boolean matching problem via NP-equivalence requires determining whether two Boolean functions are equivalent or not up to a permutation and negation of the input binary variables. Its solution is a fundamental step in the electronic design automation (EDA) tool chains commonly used for digital circuit design. In fact, the <italic>library-mapping</i> step of an EDA workflow requires matching parts of the gate-level design (<italic>netlist</i>) with the components available in a technology library, considering them as Boolean functions, while taking into account that permutations and negations of input variables can be efficiently implemented through rewiring and the use of inverters. For <inline-formula><tex-math>$n$</tex-math></inline-formula>-to-<inline-formula><tex-math>$n$</tex-math></inline-formula> vector Boolean functions, where <inline-formula><tex-math>$n$</tex-math></inline-formula> is the number of input and output variables, the search space of possible negations and permutations is super-exponential in size, while the <inline-formula><tex-math>$mathcal {O}(n!n2^{2n})$</tex-math></inline-formula> time complexity of classical approaches allows solving only small instances of the NP-problem, often limited to <inline-formula><tex-math>$n$</tex-math></inline-formula>-to-1 Boolean functions (executing <inline-formula><tex-math>$mathcal {O}(n!2^{2n})$</tex-math></inline-formula> bit operations). This work presents a quantum algorithm for matching <inline-formula><tex-math>$n$</tex-math></inline-formula>-to-<inline-formula><tex-math>$n$</tex-math></inline-formula> vector Boolean functions by effectively combining the Grover-meets-Simon approach with an original and novel use of the Simon solver without the constraints imposed by its usual premises. We provide a fully detailed quantum circuit implementing our proposal, calculate its cost by evaluating key performance indicators for circuit synthesis, and show an exponential speedup over classical solutions. Finally, we validate our approach on the Boolean functions included in the ISCAS benchmark suite, which are of practical interest in EDA.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-14"},"PeriodicalIF":4.6,"publicationDate":"2025-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11108706","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144896761","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}
引用次数: 0
Simulation of Shor Algorithm for Discrete Logarithm Problems With Comprehensive Pairs of Modulo $p$ and Order $q$ 具有模$p$和阶$q$的综合对离散对数问题的shoror算法仿真
IF 4.6 Pub Date : 2025-07-21 DOI: 10.1109/TQE.2025.3591213
Kaito Kishi;Junpei Yamaguchi;Tetsuya Izu;Noboru Kunihiro
The discrete logarithm problem (DLP) over finite fields, commonly used in classical cryptography, has no known polynomial-time algorithm on classical computers. However, Shor has provided its polynomial-time algorithm on quantum computers. Nevertheless, there are only few examples simulating quantum circuits that operate on general pairs of modulo $p$ and order $q$. In this article, we constructed such quantum circuits and solved DLPs for all 1860 possible pairs of $p$ and $q$ up to 32 qubits using a quantum simulator with PRIMEHPC FX700. From this, we obtained and verified values of the success probabilities, which had previously been heuristically analyzed by Ekerå (2019). As a result, the detailed waveform shape of the success probability of Shor's algorithm for solving the DLP, known as a periodic function of order $q$, was clarified. In addition, we generated 1015 quantum circuits for larger pairs of $p$ and $q$, extrapolated the circuit sizes obtained, and compared them for $p=2048$ bits between safe-prime groups and Schnorr groups. While in classical cryptography, the cipher strength of safe-prime groups and Schnorr groups is the same if $p$ is equal, we quantitatively demonstrated how much the strength of the latter decreases to the bit length of $p$ in the former when using Shor's quantum algorithm. In particular, it was experimentally and theoretically shown that when a basic adder is used in the addition circuit, the cryptographic strength of a Schnorr group with $p=2048$ bits under Shor's algorithm is almost equivalent to that of a safe-prime group with $p=1024$ bits.
经典密码学中常用的有限域上的离散对数问题,在经典计算机上没有已知的多项式时间算法。然而,Shor已经在量子计算机上提供了多项式时间算法。然而,只有很少的例子模拟量子电路在模$p$和阶$q$的一般对上运行。在本文中,我们构建了这样的量子电路,并使用带有PRIMEHPC FX700的量子模拟器解决了所有1860对可能的$p$和$q$(最多32个量子位)的dlp。由此,我们获得并验证了成功概率的值,该值之前由eker(2019)进行了启发式分析。从而明确了求解DLP的Shor算法成功概率的详细波形形状,即阶为$q$的周期函数。此外,我们为较大的$p$和$q$对生成了1015个量子电路,外推了所获得的电路尺寸,并在安全素数组和Schnorr组之间比较了$p=2048$位。在经典密码学中,如果$p$相等,则安全素数群和Schnorr群的密码强度是相同的,我们定量地证明了在使用Shor量子算法时,后者的强度在前者中降低到$p$位长度的程度。特别是,实验和理论证明,当在加法电路中使用基本加法器时,在Shor算法下,$p=2048$ bits的Schnorr群的密码强度与$p=1024$ bits的安全素数群的密码强度几乎相等。
{"title":"Simulation of Shor Algorithm for Discrete Logarithm Problems With Comprehensive Pairs of Modulo $p$ and Order $q$","authors":"Kaito Kishi;Junpei Yamaguchi;Tetsuya Izu;Noboru Kunihiro","doi":"10.1109/TQE.2025.3591213","DOIUrl":"https://doi.org/10.1109/TQE.2025.3591213","url":null,"abstract":"The discrete logarithm problem (DLP) over finite fields, commonly used in classical cryptography, has no known polynomial-time algorithm on classical computers. However, Shor has provided its polynomial-time algorithm on quantum computers. Nevertheless, there are only few examples simulating quantum circuits that operate on general pairs of modulo <inline-formula><tex-math>$p$</tex-math></inline-formula> and order <inline-formula><tex-math>$q$</tex-math></inline-formula>. In this article, we constructed such quantum circuits and solved DLPs for all 1860 possible pairs of <inline-formula><tex-math>$p$</tex-math></inline-formula> and <inline-formula><tex-math>$q$</tex-math></inline-formula> up to 32 qubits using a quantum simulator with PRIMEHPC FX700. From this, we obtained and verified values of the success probabilities, which had previously been heuristically analyzed by Ekerå (2019). As a result, the detailed waveform shape of the success probability of Shor's algorithm for solving the DLP, known as a periodic function of order <inline-formula><tex-math>$q$</tex-math></inline-formula>, was clarified. In addition, we generated 1015 quantum circuits for larger pairs of <inline-formula><tex-math>$p$</tex-math></inline-formula> and <inline-formula><tex-math>$q$</tex-math></inline-formula>, extrapolated the circuit sizes obtained, and compared them for <inline-formula><tex-math>$p=2048$</tex-math></inline-formula> bits between safe-prime groups and Schnorr groups. While in classical cryptography, the cipher strength of safe-prime groups and Schnorr groups is the same if <inline-formula><tex-math>$p$</tex-math></inline-formula> is equal, we quantitatively demonstrated how much the strength of the latter decreases to the bit length of <inline-formula><tex-math>$p$</tex-math></inline-formula> in the former when using Shor's quantum algorithm. In particular, it was experimentally and theoretically shown that when a basic adder is used in the addition circuit, the cryptographic strength of a Schnorr group with <inline-formula><tex-math>$p=2048$</tex-math></inline-formula> bits under Shor's algorithm is almost equivalent to that of a safe-prime group with <inline-formula><tex-math>$p=1024$</tex-math></inline-formula> bits.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-12"},"PeriodicalIF":4.6,"publicationDate":"2025-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11087664","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144896789","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}
引用次数: 0
Fidelity-Aware Multipath Routing for Multipartite State Distribution in Quantum Networks 量子网络中多部状态分布的保真度感知多路径路由
IF 4.6 Pub Date : 2025-07-14 DOI: 10.1109/TQE.2025.3588783
Evan Sutcliffe;Alejandra Beghelli
We consider the problem of distributing entangled multipartite states across a quantum network with improved distribution rate and fidelity. For this, we propose fidelity-aware multipath routing protocols, assess their performance in terms of the rate and fidelity of the distributed Greenberger–Horne–Zeilinger (GHZ) states, and compare such performance against that of single-path routing. Simulation results show that the proposed multipath routing protocols select routes that require more Bell states compared to single-path routing, but also require fewer rounds of Bell state generation. We also optimized the tradeoff between distribution rate and fidelity by selecting an appropriate cutoff to the quantum memory storage time. Using such a cutoff technique, the proposed multipath protocols can achieve up to an 8.3 times higher distribution rate and up to a 28% improvement in GHZ state fidelity compared to single-path routing. These results show that multipath routing both improves the distribution rates and enhances fidelity for multipartite state distribution.
我们考虑了在量子网络中分配纠缠多部态的问题,提高了分配速率和保真度。为此,我们提出了保真度感知的多路径路由协议,根据分布式greenberger - horn - zeilinger (GHZ)状态的速率和保真度评估它们的性能,并将其与单路径路由的性能进行比较。仿真结果表明,与单路径路由相比,所提出的多路径路由协议选择的路由需要更多的贝尔状态,但也需要更少的贝尔状态生成轮数。我们还通过选择适当的量子存储器存储时间截止点来优化分布率和保真度之间的权衡。使用这种截止技术,与单路径路由相比,所提出的多路径协议可以实现高达8.3倍的分发率和高达28%的GHZ状态保真度改进。结果表明,多路径路由既提高了多部状态分布的分发率,又提高了多部状态分布的保真度。
{"title":"Fidelity-Aware Multipath Routing for Multipartite State Distribution in Quantum Networks","authors":"Evan Sutcliffe;Alejandra Beghelli","doi":"10.1109/TQE.2025.3588783","DOIUrl":"https://doi.org/10.1109/TQE.2025.3588783","url":null,"abstract":"We consider the problem of distributing entangled multipartite states across a quantum network with improved distribution rate and fidelity. For this, we propose fidelity-aware multipath routing protocols, assess their performance in terms of the rate and fidelity of the distributed Greenberger–Horne–Zeilinger (GHZ) states, and compare such performance against that of single-path routing. Simulation results show that the proposed multipath routing protocols select routes that require more Bell states compared to single-path routing, but also require fewer rounds of Bell state generation. We also optimized the tradeoff between distribution rate and fidelity by selecting an appropriate cutoff to the quantum memory storage time. Using such a cutoff technique, the proposed multipath protocols can achieve up to an 8.3 times higher distribution rate and up to a 28% improvement in GHZ state fidelity compared to single-path routing. These results show that multipath routing both improves the distribution rates and enhances fidelity for multipartite state distribution.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-18"},"PeriodicalIF":4.6,"publicationDate":"2025-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11079232","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144750969","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}
引用次数: 0
Quantum Resource Estimates for Computing Binary Elliptic Curve Discrete Logarithms 计算二元椭圆曲线离散对数的量子资源估计
IF 4.6 Pub Date : 2025-07-07 DOI: 10.1109/TQE.2025.3586541
Michael Garn;Angus Kan
We perform logical and physical resource estimation for computing binary elliptic curve discrete logarithms using Shor's algorithm on fault-tolerant quantum computers. We adopt a windowed approach to design our circuit implementation of the algorithm, which comprises repeated applications of elliptic curve point addition operations and table look-ups. Unlike previous work, the point addition operation is implemented exactly, including all exceptional cases. We provide exact logical gate and qubit counts of our algorithm for cryptographically relevant binary field sizes. Furthermore, we estimate the hardware footprint and runtime of our algorithm executed on surface-code matter-based quantum computers with a baseline architecture, where logical qubits have nearest-neighbor connectivity, and on a surface-code photonic fusion-based quantum computer with an active-volume architecture, which enjoys a logarithmic number of nonlocal connections between logical qubits. At 10$%$ threshold and compared to a baseline device with a 1-$mu text{s}$ code cycle, our algorithm runs $gtrsim$ 2–20 times faster, depending on the operating regime of the hardware and over all considered field sizes, on a photonic active-volume device.
我们在容错量子计算机上使用肖尔算法对计算二元椭圆曲线离散对数进行了逻辑和物理资源估计。我们采用窗口方法设计算法的电路实现,其中包括椭圆曲线点加法运算和表查找的重复应用。与以前的工作不同,点加法操作精确地实现,包括所有例外情况。我们为密码学相关的二进制字段大小提供了我们算法的精确逻辑门和量子位计数。此外,我们估计了我们的算法在具有基线架构的基于表面代码的物质的量子计算机上执行的硬件足迹和运行时间,其中逻辑量子位具有最近邻连接,以及具有活动卷架构的基于表面代码光子融合的量子计算机,它在逻辑量子位之间具有对数数量的非局部连接。10 %美元阈值和基线设备相比,1 -{年代}μ文本代码美元周期,我们的算法运行 gtrsim美元2 - 20倍,根据硬件的操作制度和对所有字段的大小,在光子设备容量。
{"title":"Quantum Resource Estimates for Computing Binary Elliptic Curve Discrete Logarithms","authors":"Michael Garn;Angus Kan","doi":"10.1109/TQE.2025.3586541","DOIUrl":"https://doi.org/10.1109/TQE.2025.3586541","url":null,"abstract":"We perform logical and physical resource estimation for computing binary elliptic curve discrete logarithms using Shor's algorithm on fault-tolerant quantum computers. We adopt a windowed approach to design our circuit implementation of the algorithm, which comprises repeated applications of elliptic curve point addition operations and table look-ups. Unlike previous work, the point addition operation is implemented exactly, including all exceptional cases. We provide exact logical gate and qubit counts of our algorithm for cryptographically relevant binary field sizes. Furthermore, we estimate the hardware footprint and runtime of our algorithm executed on surface-code matter-based quantum computers with a baseline architecture, where logical qubits have nearest-neighbor connectivity, and on a surface-code photonic fusion-based quantum computer with an active-volume architecture, which enjoys a logarithmic number of nonlocal connections between logical qubits. At 10<inline-formula><tex-math>$%$</tex-math></inline-formula> threshold and compared to a baseline device with a 1-<inline-formula><tex-math>$mu text{s}$</tex-math></inline-formula> code cycle, our algorithm runs <inline-formula><tex-math>$gtrsim$</tex-math></inline-formula> 2–20 times faster, depending on the operating regime of the hardware and over all considered field sizes, on a photonic active-volume device.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-23"},"PeriodicalIF":4.6,"publicationDate":"2025-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11072281","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144914382","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}
引用次数: 0
Control of a Josephson Digital Phase Detector via an SFQ-Based Flux Bias Driver 基于sfq磁偏驱动的约瑟夫森数字鉴相器控制
IF 4.6 Pub Date : 2025-06-26 DOI: 10.1109/TQE.2025.3583570
Laura Di Marino;Luigi Di Palma;Michele Riccio;Francesco Fienga;Marco Arzeo;Oleg Mukhanov
Quantum computation requires high-fidelity qubit readout, preserving the quantum state. In the case of superconductings qubits, readout is typically performed using a complex analog experimental setup operating at room temperature, which poses significant technological and economic barriers to large system scalability. An alternative approach is to perform a cryogenic on-chip qubit readout based on a Josephson digital phase detector (JDPD): a flux switchable device capable of digitizing the phase sign of a coherent input. The readout operation includes the flux excitation of the JDPD to evolve from a single- to a double-minima potential. In this work, the effect of the flux bias characteristics on the JDPD performances is studied numerically. To meet the identified requirements that maximize detection fidelity and tackle the engineering challenges, a cryogenic on-chip single flux quantum-based flux bias driver is proposed and discussed.
量子计算需要高保真的量子位读出,以保持量子态。在超导量子比特的情况下,读出通常使用在室温下操作的复杂模拟实验装置进行,这对大型系统的可扩展性构成了重大的技术和经济障碍。另一种方法是执行基于约瑟夫森数字相位检测器(JDPD)的低温片上量子位读出:一种能够将相干输入的相位符号数字化的通量切换设备。读出操作包括JDPD的磁通激励,使其从单最小电位演变为双最小电位。本文从数值上研究了偏磁特性对JDPD性能的影响。为了满足最大检测保真度和解决工程挑战的要求,提出并讨论了一种低温片上单通量量子通量偏置驱动器。
{"title":"Control of a Josephson Digital Phase Detector via an SFQ-Based Flux Bias Driver","authors":"Laura Di Marino;Luigi Di Palma;Michele Riccio;Francesco Fienga;Marco Arzeo;Oleg Mukhanov","doi":"10.1109/TQE.2025.3583570","DOIUrl":"https://doi.org/10.1109/TQE.2025.3583570","url":null,"abstract":"Quantum computation requires high-fidelity qubit readout, preserving the quantum state. In the case of superconductings qubits, readout is typically performed using a complex analog experimental setup operating at room temperature, which poses significant technological and economic barriers to large system scalability. An alternative approach is to perform a cryogenic on-chip qubit readout based on a Josephson digital phase detector (JDPD): a flux switchable device capable of digitizing the phase sign of a coherent input. The readout operation includes the flux excitation of the JDPD to evolve from a single- to a double-minima potential. In this work, the effect of the flux bias characteristics on the JDPD performances is studied numerically. To meet the identified requirements that maximize detection fidelity and tackle the engineering challenges, a cryogenic on-chip single flux quantum-based flux bias driver is proposed and discussed.","PeriodicalId":100644,"journal":{"name":"IEEE Transactions on Quantum Engineering","volume":"6 ","pages":"1-8"},"PeriodicalIF":4.6,"publicationDate":"2025-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11052858","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144781922","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}
引用次数: 0
期刊
IEEE Transactions on Quantum Engineering
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1