Error-correcting Codes Research Articles

Topologically ordered time crystals.

Time crystals are a dynamical phase of periodically driven quantum many-body systems where discrete time-translation symmetry is broken spontaneously. Time-crystallinity however subtly requires also spatial order, ordinarily related to further symmetries, such as spin-flip symmetry when the spatial order is ferromagnetic. Here we define topologically ordered time crystals, a time-crystalline phase borne out of intrinsic topological order-a particularly robust form of spatial order that requires no symmetry. We show that many-body localization can stabilize this phase against generic perturbations and establish some of its key features and signatures, including a dynamical, time-crystal form of the perimeter law for topological order. We link topologically ordered and ordinary time crystals through three complementary perspectives: higher-form symmetries, quantum error-correcting codes, and aholographic correspondence. Topologically ordered time crystals may be realized in programmable quantum devices, as we illustrate for the Google Sycamore processor.

Modular Quantum Processor with an All-to-All Reconfigurable Router

Superconducting qubits provide a promising approach to large-scale fault-tolerant quantum computing. However, qubit connectivity on a planar surface is typically restricted to only a few neighboring qubits. Achieving longer-range and more flexible connectivity, which is particularly appealing in light of recent developments in error-correcting codes, however, usually involves complex multilayer packaging and external cabling, which is resource intensive and can impose fidelity limitations. Here, we propose and realize a high-speed on-chip quantum processor that supports reconfigurable all-to-all coupling with a large on-off ratio. We implement the design in a four-node quantum processor, built with a modular design comprising a wiring substrate coupled to two separate qubit-bearing substrates, each including two single-qubit nodes. We use this device to demonstrate reconfigurable controlled-Z gates across all qubit pairs, with a benchmarked average fidelity of 96.00%±0.08% and best fidelity of 97.14%±0.07%, limited mainly by dephasing in the qubits. We also generate multiqubit entanglement, distributed across the separate modules, demonstrating GHZ-3 and GHZ-4 states with fidelities of 88.15%±0.24% and 75.18%±0.11%, respectively. This approach promises efficient scaling to larger-scale quantum circuits and offers a pathway for implementing quantum algorithms and error-correction schemes that benefit from enhanced qubit connectivity. Published by the American Physical Society 2024

Deterministic fault-tolerant connectivity labeling scheme

AbstractThe f-fault-tolerant connectivity labeling (f-FTC labeling) is a scheme of assigning each vertex and edge with a small-size label such that one can determine the connectivity of two vertices s and t under the presence of at most f faulty edges only from the labels of s, t, and the faulty edges. This paper presents a new deterministic f-FTC labeling scheme attaining $$O(f^2 \textrm{polylog}(n))$$ O ( f 2 polylog ( n ) ) -bit label size and a polynomial construction time, which settles the open problem left by Dory and Parter (in: Proceedings of the 2021 ACM symposium on principles of distributed computing (PODC), pp 445–455, 2021). The key ingredient of our construction is to develop a deterministic counterpart of the graph sketch technique by Ahn et al. (in: Proceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on principles of database systems (PODS), pp 5–14, 2012), via some natural connection with the theory of error-correcting codes. This technique removes one major obstacle in de-randomizing the Dory–Parter scheme. The whole scheme is obtained by combining this technique with a new deterministic graph sparsification algorithm derived from the seminal $$\epsilon $$ ϵ -net theory, which is also of independent interest. As byproducts, our result deduces the first deterministic fault-tolerant approximate distance labeling scheme with a non-trivial performance guarantee and an improved deterministic fault-tolerant compact routing. The authors believe that our new technique is potentially useful in the future exploration of more efficient FTC labeling schemes and other related applications based on graph sketches.

Adaptive tunicate swarm optimization with partial transmit sequence for phase optimization in MIMO-OFDM

<span>Multiple-input multiple-output (MIMO) and orthogonal frequency division multiplexing (OFDM) are widely utilized in wireless systems and maximum data rate communications. The MIMO-OFDM technology increases the efficiency of spectrum utilization. The peak-to-average-power ratio (PAPR) minimization in MIMO-OFDM is a complex task in wireless communications systems. In this research, an adaptive tunicate swarm optimization with partial transmit sequence (ATSO-PTS) algorithm is proposed for a reduction of PAPR in MIMO-OFDM. The nonsquare-matrix-based differential space time coding (N-DSTC) scheme is used for the encoding and decoding process of MIMO-OFDM. The N-DSTC encoding and decoding are linear error-correcting codes that are utilized for message transmission over noisy channels. The pre-specified quadrate phase shift keying (QPSK) symbol is deployed for the modulation and demodulation scheme. On the receiver side, the serial to parallel (S/P) conversion, and fast Fourier transform (FFT) are accomplished, alongside the received data bits being demodulated to obtain the output bits. The proposed ATSO-PTS method achieves better results according to performance metrices PAPR, bit error rate (BER) and signal-to-noise-ratio (SNR), with values of about 2.9, 0.01 and 0.025, respectively. This ensures superior results when compared to the existing methods of twin symbol hybrid optimization applied to partial transmit sequence (TSHO-PTS), selective level mapping and PTS (SLM-PTS), and particle swarm and grey wolf (PS-GW) with PTS, respectively.</span>

Statistical Analysis and Distribution of Fermat Pseudoprimes Within the Given Interval

Prime numbers are natural numbers that can only be divided by one and the original number. There is more than one of them. Error-correcting codes used in telecommunications are generated using prime numbers. They guarantee automatic message correction both during transmission and reception. Algorithms used in public-key cryptography are built upon primes. They're also employed in the production of pseudorandom numbers. Mathematicians and many other scientific and technological communities have always been fascinated by prime numbers. Additionally, computer engineers can use it to tackle a wide range of real-world problems. The analysis of prime numbers is very important for finding their applications in different fields. The statistical analysis of pseudoprimes within a given interval is carried out in the presented paper and an algorithm of Python program to find the distribution of pseudoprimes has also been generated, which is used to find their distribution with different bases within the given intervals. The data analysis process made use of graphical depiction. The discovery will surely open up new avenues for future number theory study and applications outside of mathematics.

Native multi-qubit gates in transmon qubits via synchronous driving

Quantum computation holds the promise of solving computational problems which are believed to be classically intractable. However, in practice, quantum devices are still limited by their relatively short coherence times and imperfect circuit-hardware mapping. In this work, we present the parallelization of pre-calibrated pulses at the hardware level as an easy-to-implement strategy to optimize quantum gates. Focusing on RZX\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$R_{ZX}$$\\end{document} gates, we demonstrate that such parallelization leads to improved fidelity and gate time reduction, when compared to serial concatenation. As measured by Cycle Benchmarking and Process Tomography, we reduce gate errors by half. We show that this strategy can be applied to other gates like the CNOT and CZ, and it may benefit tasks such as Hamiltonian simulation problems, amplitude amplification, and error-correction codes.

A Comprehensive Review of MI-HFE and IPHFE Cryptosystems: Advances in Internal Perturbations for Post-Quantum Security

The RSA cryptosystem has been a cornerstone of modern public key infrastructure; however, recent advancements in quantum computing and theoretical mathematics pose significant risks to its security. The advent of fully operational quantum computers could enable the execution of Shor’s algorithm, which efficiently factors large integers and undermines the security of RSA and other cryptographic systems reliant on discrete logarithms. While Grover’s algorithm presents a comparatively lesser threat to symmetric encryption, it still accelerates key search processes, creating potential vulnerabilities. In light of these challenges, there has been an intensified focus on developing quantum-resistant cryptography. Current research is exploring cryptographic techniques based on error-correcting codes, lattice structures, and multivariate public key systems, all of which leverage the complexity of NP-hard problems, such as solving multivariate quadratic equations, to ensure security in a post-quantum landscape. This paper reviews the latest advancements in quantum-resistant encryption methods, with particular attention to the development of robust trapdoor functions. It also provides a detailed analysis of prominent multivariate cryptosystems, including the Matsumoto–Imai, Oil and Vinegar, and Polly Cracker schemes, alongside recent progress in lattice-based systems such as Kyber and Crystals-DILITHIUM, which are currently under evaluation by NIST for potential standardization. As the capabilities of quantum computing continue to expand, the need for innovative cryptographic solutions to secure digital communications becomes increasingly critical.

Enhancing the Efficiency of Distributed Storage Systems through XOR-Optimized Cauchy Reed-Solomon Codes

In today‘s society, we have entered the era of big data and the Internet of Things. The rise of services such as artificial intelligence, cloud storage, and the metaverse has led to increased demands for data transmission and storage. People now require not only greater capacity but also higher efficiency, more powerful hardware, and advanced algorithms. storageThe Reed-Solomon (RS) code, as a highly effective error correction code, is officially applied in fields such as data storage and data transmission. The Cauchy Reed-Solomon (CRS) Code, which is based on the RS code, utilizes a Cauchy matrix instead of the original Vandermonde matrix and replaces the original matrix multiplication with XOR operations. This paper primarily explores how the XOR-optimized Cauchy Reed-Solomon Code improves the efficiency of distributed storage systems, It was discovered that using lookup tables to store frequently used data and operations can further enhance the efficiency of storage systems and its future applications.

Improved rate-distance trade-offs for quantum codes with restricted connectivity

Abstract For quantum error-correcting codes to be realizable, it is important that the qubits subject to the code constraints exhibit some form of limited connectivity. The works of Bravyi and Terhal (2009 New J. Phys. 11 043029) (BT) and Bravyi et al (2010 Phys. Rev. Lett. 104 050503) (BPT) established that geometric locality constrains code properties—for instance [ [ n , k , d ] ] quantum codes defined by local checks on the D-dimensional lattice must obey k d 2 / ( D − 1 ) ⩽ O ( n ) . Baspin and Krishna (2022 Quantum 6 711) studied the more general question of how the connectivity graph associated with a quantum code constrains the code parameters. These trade-offs apply to a richer class of codes compared to the BPT and BT bounds, which only capture geometrically-local codes. We extend and improve this work, establishing a tighter dimension-distance trade-off as a function of the size of separators in the connectivity graph. We also obtain a distance bound that covers all stabilizer codes with a particular separation profile, rather than only LDPC codes.

Robust projective measurements through measuring code-inspired observables

Quantum measurements are ubiquitous in quantum information processing tasks, but errors can render their outputs unreliable. Here, we present a scheme that implements a robust projective measurement through measuring code-inspired observables. Namely, given a projective POVM, a classical code, and a constraint on the number of measurement outcomes each observable can have, we construct commuting observables whose measurement is equivalent to the projective measurement in the noiseless setting. Moreover, we can correct t errors on the classical outcomes of the observables’ measurement if the classical code corrects t errors. Since our scheme does not require the encoding of quantum data onto a quantum error correction code, it can help construct robust measurements for near-term quantum algorithms that do not use quantum error correction. Moreover, our scheme works for any projective POVM, and hence can allow robust syndrome extraction procedures in non-stabilizer quantum error correction codes.

Research on time-division multiplexing for error correction and privacy amplification in post-processing of quantum key distribution

The post-processing of quantum key distribution mainly includes error correction and privacy amplification. The error correction algorithms and privacy amplification methods used in the existing quantum key distribution are completely unrelated. Based on the principle of correspondence between error-correcting codes and hash function families, we proposed the idea of time-division multiplexing for error correction and privacy amplification for the first time. That is to say, through the common error correction algorithms and their corresponding hash function families or the common hash function families and their corresponding error-correcting codes, error correction and privacy amplification can be realized by time-division multiplexing with the same set of devices. In addition, we tested the idea from the perspective of error correction and privacy amplification, respectively. The analysis results show that the existing error correction algorithms and their corresponding hash function families or the common privacy amplification methods and their corresponding error-correcting codes cannot realize time-division multiplexing for error correction and privacy amplification temporarily. However, according to the principle of correspondence between error-correcting codes and hash function families, the idea of time-division multiplexing is possible. Moreover, the research on time-division multiplexing for error correction and privacy amplification has some practical significance. Once the idea of time-division multiplexing is realized, it will further reduce the calculation and storage cost of the post-processing process, reduce the deployment cost of quantum key distribution, and help to remote the practical engineering of quantum key distribution.

Decoding quantum color codes with MaxSAT

In classical computing, error-correcting codes are well established and are ubiquitous both in theory and practical applications. For quantum computing, error-correction is essential as well, but harder to realize, coming along with substantial resource overheads and being concomitant with needs for substantial classical computing. Quantum error-correcting codes play a central role on the avenue towards fault-tolerant quantum computation beyond presumed near-term applications. Among those, color codes constitute a particularly important class of quantum codes that have gained interest in recent years due to favourable properties over other codes. As in classical computing, decoding is the problem of inferring an operation to restore an uncorrupted state from a corrupted one and is central in the development of fault-tolerant quantum devices. In this work, we show how the decoding problem for color codes can be reduced to a slight variation of the well-known LightsOut puzzle. We propose a novel decoder for quantum color codes using a formulation as a MaxSAT problem based on this analogy. Furthermore, we optimize the MaxSAT construction and show numerically that the decoding performance of the proposed decoder achieves state-of-the-art decoding performance on color codes. The implementation of the decoder as well as tools to automatically conduct numerical experiments are publicly available as part of the Munich Quantum Toolkit (MQT) on GitHub.

Quantum search algorithm for binary constant weight codes

A binary constant weight code is a type of error-correcting code with a wide range of applications. The problem of finding a binary constant weight code has long been studied as a combinatorial optimization problem in coding theory. In this paper, we propose a quantum search algorithm for binary constant weight codes. Specifically, the search problem is formulated as a polynomial binary optimization problem and Grover adaptive search is used for providing the quadratic speedup. Focusing on the inherent structure of the problem, we derive an upper bound on the minimum of the objective function value and a lower bound on the exact number of solutions. By exploiting these two bounds, we successfully reduced the constant overhead of the algorithm, although the overall query complexity remains exponential due to the NP-complete nature of the problem. In our algebraic analysis, it was found that this proposed algorithm is capable of reducing the number of required qubits, thus enhancing the feasibility. Additionally, our simulations demonstrated that it reduces the average number of classical iterations by 63% as well as the average number of total Grover rotations by 31%. The proposed approach may be useful for other quantum search algorithms and optimization problems.

Joint encryption and error correction for secure quantum communication

Secure quantum networks are a bedrock requirement for developing a future quantum internet. However, quantum channels are susceptible to channel noise that introduce errors in the transmitted data. The traditional approach to providing error correction typically encapsulates the message in an error correction code after encryption. Such separate processes incur overhead that must be avoided when possible. We, consequently, provide a single integrated process that allows for encryption as well as error correction. This is a first attempt to do so for secure quantum communication and combines the Calderbank-Shor-Steane (CSS) code with the three-stage secure quantum communication protocol. Lastly, it allows for arbitrary qubits to be transmitted from sender to receiver making the proposed protocol general purpose.

Fault-tolerant double-circular connectivity pattern for quantum stabilizer codes

Recently, the circular connectivity pattern has been presented for a class of stabilizer quantum error correction codes. The circular connectivity pattern for such a class of stabilizer codes can be implemented in a resource-efficient manner using a single ancilla and native two-qubit Controlled-Not-Swap gates (CNS) gates, which may be interesting for demonstrating error-correction codes with superconducting quantum processors. However, one concern is that this scheme is not fault-tolerant. And it might not apply to the Calderbank-Shor-Steane (CSS) codes. In this paper, we present a fault-tolerant version of the circular connectivity pattern, named the double-circular connectivity pattern. This pattern is an implementation for syndrome-measurement circuits with a flagged error correction scheme for stabilizer codes. We illustrate that this pattern is available for Steane code (a CSS code), Laflamme’s five-qubit code, and Shor’s nine-qubit code. For Laflamme’s five-qubit code and Shor’s nine-qubit code, the pattern has the property that it uses only native two-qubit CNS gates, which are more efficient in the superconducting quantum platform.

Optimization of Decoder Priors for Accurate Quantum Error Correction.

Accurate decoding of quantum error-correcting codes is a crucial ingredient in protecting quantum information from decoherence. It requires characterizing the error channels corrupting the logical quantum state and providing this information as a prior to the decoder. We introduce a reinforcement learning inspired method for calibrating these priors that aims to minimize the logical error rate. Our method significantly improves the decoding accuracy in repetition and surface code memory experiments executed on Google's Sycamore processor, outperforming the leading decoder-agnostic method by 16% and 3.3%, respectively. This calibration approach will serve as an important tool for maximizing the performance of both near-term and future error-corrected quantum devices.

Approximate and Exact Optimization Algorithms for the Beltway and Turnpike Problems with Duplicated, Missing, Partially Labeled, and Uncertain Measurements.

The Turnpike problem aims to reconstruct a set of one-dimensional points from their unordered pairwise distances. Turnpike arises in biological applications such as molecular structure determination, genomic sequencing, tandem mass spectrometry, and molecular error-correcting codes. Under noisy observation of the distances, the Turnpike problem is NP-hard and can take exponential time and space to solve when using traditional algorithms. To address this, we reframe the noisy Turnpike problem through the lens of optimization, seeking to simultaneously find the unknown point set and a permutation that maximizes similarity to the input distances. Our core contribution is a suite of algorithms that robustly solve this new objective. This includes a bilevel optimization framework that can efficiently solve Turnpike instances with up to 100,000 points. We show that this framework can be extended to scenarios with domain-specific constraints that include duplicated, missing, and partially labeled distances. Using these, we also extend our algorithms to work for points distributed on a circle (the Beltway problem). For small-scale applications that require global optimality, we formulate an integer linear program (ILP) that (i) accepts an objective from a generic family of convex functions and (ii) uses an extended formulation to reduce the number of binary variables. On synthetic and real partial digest data, our bilevel algorithms achieved state-of-the-art scalability across challenging scenarios with performance that matches or exceeds competing baselines. On small-scale instances, our ILP efficiently recovered ground-truth assignments and produced reconstructions that match or exceed our alternating algorithms. Our implementations are available at https://github.com/Kingsford-Group/turnpikesolvermm.

A Cross-Entropy Approach to the Domination Problem and Its Variants.

The domination problem and three of its variants (total domination, 2-domination, and secure domination) are considered. These problems have various real-world applications, including error correction codes, ad hoc routing for wireless networks, and social network analysis, among others. However, each of them is NP-hard to solve to provable optimality, making fast heuristics for these problems desirable. There are a wealth of highly developed heuristics and approximation algorithms for the domination problem; however, such heuristics are much less common for variants of the domination problem. We redress this gap in the literature by proposing a novel implementation of the cross-entropy method that can be applied to any sensible variant of domination. We present results from experiments that demonstrate that this approach can produce good results in an efficient manner even for larger graphs and that it works roughly as well for any of the domination variants considered.

Weight-Reduced Stabilizer Codes with Lower Overhead

Stabilizer codes are the most widely studied class of quantum error-correcting codes and form the basis of most proposals for a fault-tolerant quantum computer. A stabilizer code is defined by a set of parity-check operators, which are measured in order to infer information about errors that may have occurred. In typical settings, measuring these operators is itself a noisy process and the noise strength scales with the number of qubits involved in a given parity check, or its weight. Hastings has proposed a method for reducing the weights of the parity checks of a stabilizer code, though it has previously only been studied in the asymptotic regime. Here, we instead focus on the regime of small to medium-size codes suitable for quantum computing hardware. We both provide a fully explicit description of Hastings’s method and propose a substantially simplified weight-reduction method that is applicable to the class of quantum product codes. Our simplified method allows us to reduce the check weights of hypergraph- and lifted-product codes to at most six, while preserving the number of logical qubits and at least retaining (in fact, often increasing) the code distance. The price we pay is an increase in the number of physical qubits by a constant factor but we find that our method is much more efficient than Hastings’s method in this regard. We benchmark the performance of our codes on a simulated photonic quantum computing architecture based on Gottesman-Kitaev-Preskill qubits and passive linear optics, finding that our weight-reduction method substantially improves code performance. Published by the American Physical Society 2024

Correction to: Quantum error-correcting codes from the quantum construction X

Correction to: Quantum error-correcting codes from the quantum construction X