arXiv subjects

Davide Orsucci

Publications and source records attributed to Davide Orsucci.

15 recordsLinked to original sources

arXiv2026

Quantum XYZ Stabilizer Codes

Stabilizer codes are often constructed within the Calderbank--Shor--Steane (CSS) framework, where two mutually orthogonal binary classical codes define $X$ and $Z$-type stabilizer generators. While this structure is algebraically convenient, additional non-CSS constraints may help suppress low-weight logical operators and improve decoding performance in the finite-length regime. We thus introduce quantum XYZ stabilizer codes, whose parity-check matrix (PCM) is built from three pairwise orthogonal binary PCMs associated with $X$-, $Y$-, and $Z$-type stabilizer generators. A nontrivial point is that an XYZ code instance is not automatically genuinely non-CSS: the same stabilizer group may admit a CSS generating set. We characterize this collapse, obtaining algebraic and rank conditions for deciding when the $Y$-type checks are redundant and when they define genuinely non-CSS stabilizer constraints. We also derive upper and lower bounds on the quantum minimum distance, including bounds for mixed Pauli logical operators. The novel framework includes a known non-CSS topological code, namely the XYZ$^2$ hexagonal code, and yields also sparse finite-length quantum low-density parity-check (qLDPC) constructions from intersecting-subset and quasi-dyadic code families. Simulations under depolarizing code-capacity noise and quaternary belief propagation decoding show that the proposed XYZ qLDPC instances can outperform representative CSS qLDPC instances with similar finite-length parameters.

cs.IT↗

arXiv2025

Finite Size Analysis of Decoy-State BB84 with Advantage Distillation

Advantage Distillation (AD) is a classical post-processing technique that enhances Quantum Key Distribution (QKD) protocols by increasing the maximum acceptable Quantum Bit Error Rate (QBER) and thus extending the distance at which QKD links can be securely established. AD operates by post-selecting blocks of bits and extracting fewer high-fidelity bits, exhibiting a reduced QBER and thus lowering the amount of information that has to be disclosed during the information reconciliation step. In this work we present the first comprehensive finite key-size analysis of decoy-state BB84 enhanced via AD post-processing. We demonstrate that through the use of AD the maximum acceptable QBER increases from around $9.5\%$ to around $17.3\%$ for realistic key sizes. This result shows that substantial performance enhancements can be achieved in scenarios which are constrained by the maximum tolerable QBER via improvements of the post-processing method alone.

quant-ph↗

arXiv2025

Optimization of Information Reconciliation for Decoy-State Quantum Key Distribution over a Satellite Downlink Channel

Quantum key distribution (QKD) is a cryptographic solution that leverages the properties of quantum mechanics to be resistant and secure even against an attacker with unlimited computational power. Satellite-based links are important in QKD because they can reach distances that the best fiber systems cannot. However, links between satellites in low Earth orbit (LEO) and ground stations have a duration of only a few minutes, resulting in the generation of a small amount of secure keys. In this context, we investigate the optimization of the information reconciliation step of the QKD post-processing in order to generate as much secure key as possible. As a first step, we build an accurate model of the downlink signal and quantum bit error rate (QBER) during a complete satellite pass, which are time-varying due to three effects: (i) the varying link geometry over time, (ii) the scintillation effect, and (iii) the different signal intensities adopted in the Decoy-State protocol. Leveraging the a-priori information on the instantaneous QBER, we improve the efficiency of information reconciliation (IR) (i.e., the error correction phase) in the Decoy-State BB84 protocol, resulting in a secure key that is almost 3\% longer for realistic scenarios.

quant-ph↗

arXiv2024

Simulation of satellite and optical link dynamics in a quantum repeater constellation

Quantum repeaters and satellite-based optical links are complementary technological approaches to overcome the exponential photon loss in optical fibers and thus allow quantum communication on a global scale. We analyze architectures which combine these approaches and use satellites as quantum repeater nodes to distribute entanglement to distant optical ground stations. Here we simulate dynamic, three-dimensional ground station passes, going beyond previous studies that typically consider static satellite links. For this, we numerically solve the equations of motion of the dynamic system consisting of three satellites in low Earth orbit. The model of the optical link takes into account atmospheric attenuation, single-mode fiber coupling, beam wandering and broadening, as well as adaptive optics effects. We derive analytical expressions for the Bell state measurement and associated error rates for quantum memory assisted communications, including retrieval efficiency and state coherence. We consider downlink and uplink architectures for continental and intercontinental connections and evaluate the impact of satellite altitude and inter-satellite distance on the expected entanglement swapping rate. Our simulation model enables us to design different orbital configurations for the satellite constellation and analyze the annual performance of the quantum repeater under realistic conditions.

quant-ph↗

arXiv2024

Assessment of practical satellite quantum key distribution architectures for current and near-future missions

Quantum key distribution (QKD) allows the generation of cryptographic keys beyond the computational hardness paradigm and is befitting for secure data transmission requiring long-term security. The communication distance of fibre-based QKD, however, is limited to a few hundred kilometers due to the exponential scaling of signal attenuation. Satellite QKD (SatQKD) can instead leverage free-space optical links to establish long-range connections and enable global-scale QKD. In this work we review the manifold of design choices that concur to form the set of possible SatQKD architectures. These include the choice of the QKD protocol and its physical implementation, but also the satellite orbit, the optical link direction, and whether or not to use trusted-node relays. The possible SatQKD architectures are then evaluated in terms of key generation throughput, latency and maximum reachable communication distance, but also the system-level security and implementation complexity. Given the technical challenges of realising SatQKD systems it is paramount, for near-future satellite missions, to adhere to the simplest possible architecture that still allows to deliver the QKD service. We thus identify as advisable options the use of low-Earth orbit satellites as trusted nodes for prepare-and-measure discrete-variable QKD downlinks with weak laser pulses. The decoy-state version of BB84 is found to be the most promising QKD protocols due to the maturity of the security proofs, the high key generation rate and low system complexity. These findings are confirmed by the multitude of current and planned SatQKD missions that are adopting these architectural choices.

quant-ph↗

arXiv2023

International time transfer between precise timing facilities secured with a quantum key distribution network

Global Navigation Satellite Systems (GNSSs), such as GPS and Galileo, provide precise time and space coordinates globally and constitute part of the critical infrastructure of modern society. To reliably operate GNSS, a highly accurate and stable system time is required, such as the one provided by several independent clocks hosted in Precise Timing Facilities (PTFs) around the world. Periodically, the relative clock offset between PTFs is measured to have a fallback system to synchronize the GNSS satellite clocks. The security and integrity of the communication between PTFs is of paramount importance: if compromised, it could lead to disruptions to the GNSS service. Therefore, it is a compelling use-case for protection via Quantum Key Distribution (QKD), since this technology provides information-theoretic security. We have performed a field trial demonstration of such use-case by sharing encrypted time synchronization information between two PTFs, one located in Oberpfaffenhofen (Germany) and one in Matera (Italy) - more than 900km apart as the crow flies. To bridge this large distance, a satellite-QKD system is required, plus a "last-mile" terrestrial link to connect the optical ground station (OGS) to the actual location of the PTF. In our demonstration we have deployed two full QKD systems to protect the last-mile connection at both the locations and have shown via simulation that upcoming QKD satellites will be able to distribute keys between Oberpfaffenhofen and Matera exploiting already existing OGSs.

quant-ph↗

arXiv2022

Classical product code constructions for quantum Calderbank-Shor-Steane codes

Several notions of code products are known in quantum error correction, such as hyper-graph products, homological products, lifted products, balanced products, to name a few. In this paper we introduce a new product code construction which is a natural generalisation of classical product codes to quantum codes: starting from a set of component Calderbank-Shor-Steane (CSS) codes, a larger CSS code is obtained where both $X$ parity checks and $Z$ parity checks are associated to classical product codes. We deduce several properties of product CSS codes from the properties of the component codes, including bounds to the code distance, and show that built-in redundancies in the parity checks result in so-called meta-checks which can be exploited to correct syndrome read-out errors. We then specialise to the case of single-parity-check (SPC) product codes which in the classical domain are a common choice for constructing product codes. Logical error rate simulations of a SPC $3$-fold product CSS code having parameters $[[512,174,8]]$ are shown under both a maximum likelihood decoder for the erasure channel and belief propagation decoding for depolarising noise. We compare the results with other codes of comparable length and dimension, including a code from the family of asymptotically good Tanner codes. We observe that our reference product CSS code outperforms all the other examined codes.

quant-ph↗

arXiv2021

On solving classes of positive-definite quantum linear systems with quadratically improved runtime in the condition number

Quantum algorithms for solving the Quantum Linear System (QLS) problem are among the most investigated quantum algorithms of recent times, with potential applications including the solution of computationally intractable differential equations and speed-ups in machine learning. A fundamental parameter governing the efficiency of QLS solvers is $κ$, the condition number of the coefficient matrix $A$, as it has been known since the inception of the QLS problem that for worst-case instances the runtime scales at least linearly in $κ$ [Harrow, Hassidim and Lloyd, PRL 103, 150502 (2009)]. However, for the case of positive-definite matrices classical algorithms can solve linear systems with a runtime scaling as $\sqrtκ$, a quadratic improvement compared to the the indefinite case. It is then natural to ask whether QLS solvers may hold an analogous improvement. In this work we answer the question in the negative, showing that solving a QLS entails a runtime linear in $κ$ also when $A$ is positive definite. We then identify broad classes of positive-definite QLS where this lower bound can be circumvented and present two new quantum algorithms featuring a quadratic speed-up in $κ$: the first is based on efficiently implementing a matrix-block-encoding of $A^{-1}$, the second constructs a decomposition of the form $A = L L^\dagger$ to precondition the system. These methods are widely applicable and both allow to efficiently solve BQP-complete problems.

quant-ph↗

arXiv2020

What is the minimum CHSH score certifying that a state resembles the singlet?

A quantum state can be characterized from the violation of a Bell inequality. The well-known CHSH inequality for example can be used to quantify the fidelity (up to local isometries) of the measured state with respect to the singlet state. In this work, we look for the minimum CHSH violation leading to a non-trivial fidelity. In particular, we provide a new analytical approach to explore this problem in a device-independent framework, where the fidelity bound holds without assumption about the internal working of devices used in the CHSH test. We give an example which pushes the minimum CHSH threshold from $\approx2.0014$ to $\approx2.05,$ far from the local bound. This is in sharp contrast with the device-dependent (two-qubit) case, where entanglement is one-to-one related to a non-trivial singlet fidelity. We discuss this result in a broad context including device-dependent/independent state characterizations with various classical resources.

quant-ph↗

arXiv2020

How post-selection affects device-independent claims under the fair sampling assumption

Device-independent certifications employ Bell tests to guarantee the proper functioning of an apparatus from the sole knowledge of observed measurement statistics, i.e. without assumptions on the internal functioning of the devices. When these Bell tests are implemented with devices having too low efficiency, one has to post-select the events that lead to successful detections and thus rely on a fair sampling assumption. The question that we address in this paper is what remains of a device-independent certification under fair sampling. We provide an intuitive description of post-selections in terms of filters and define the fair sampling assumption as a property of these filters, equivalent to the definition introduced in [Berry et. al., PRA 81(1), 012109 (2010)]. When this assumption is fulfilled, the post-selected data is reproduced by an ideal experiment where lossless devices measure a filtered state which can be obtained from the actual state via local probabilistic maps. Trusted conclusions can thus be obtained on the quantum properties of this filtered state and the corresponding measurement statistics can reliably be used, e.g., for randomness generation or quantum key distribution. We also explore a stronger notion of fair sampling leading to the conclusion that the post-selected data is a fair representation of the data that would be obtained with lossless detections. Furthermore, we show that our conclusions hold in cases of small deviations from exact fair sampling. Finally, we describe setups previously or potentially used in Bell-type experiments under fair sampling and identify the underlying device-specific assumptions.

quant-ph↗

arXiv2018

Quantum algorithms for systems of linear equations inspired by adiabatic quantum computing

We present two quantum algorithms based on evolution randomization, a simple variant of adiabatic quantum computing, to prepare a quantum state $\vert x \rangle$ that is proportional to the solution of the system of linear equations $A \vec{x}=\vec{b}$. The time complexities of our algorithms are $O(κ^2 \log(κ)/ε)$ and $O(κ\log(κ)/ε)$, where $κ$ is the condition number of $A$ and $ε$ is the precision. Both algorithms are constructed using families of Hamiltonians that are linear combinations of products of $A$, the projector onto the initial state $\vert b \rangle$, and single-qubit Pauli operators. The algorithms are conceptually simple and easy to implement. They are not obtained from equivalences between the gate model and adiabatic quantum computing. They do not use phase estimation or variable-time amplitude amplification, and do not require large ancillary systems. We discuss a gate-based implementation via Hamiltonian simulation and prove that our second algorithm is almost optimal in terms of $κ$. Like previous methods, our techniques yield an exponential quantum speedup under some assumptions. Our results emphasize the role of Hamiltonian-based models of quantum computing for the discovery of important algorithms.

quant-ph↗

arXiv2018

Faster quantum mixing for slowly evolving sequences of Markov chains

Markov chain methods are remarkably successful in computational physics, machine learning, and combinatorial optimization. The cost of such methods often reduces to the mixing time, i.e., the time required to reach the steady state of the Markov chain, which scales as $δ^{-1}$, the inverse of the spectral gap. It has long been conjectured that quantum computers offer nearly generic quadratic improvements for mixing problems. However, except in special cases, quantum algorithms achieve a run-time of $\mathcal{O}(\sqrt{δ^{-1}} \sqrt{N})$, which introduces a costly dependence on the Markov chain size $N,$ not present in the classical case. Here, we re-address the problem of mixing of Markov chains when these form a slowly evolving sequence. This setting is akin to the simulated annealing setting and is commonly encountered in physics, material sciences and machine learning. We provide a quantum memory-efficient algorithm with a run-time of $\mathcal{O}(\sqrt{δ^{-1}} \sqrt[4]{N})$, neglecting logarithmic terms, which is an important improvement for large state spaces. Moreover, our algorithms output quantum encodings of distributions, which has advantages over classical outputs. Finally, we discuss the run-time bounds of mixing algorithms and show that, under certain assumptions, our algorithms are optimal.

quant-ph↗

arXiv2017

Flexible resources for quantum metrology

Quantum metrology offers a quadratic advantage over classical approaches to parameter estimation problems by utilizing entanglement and nonclassicality. However, the hurdle of actually implementing the necessary quantum probe states and measurements, which vary drastically for different metrological scenarios, is usually not taken into account. We show that for a wide range of tasks in metrology, 2D cluster states (a particular family of states useful for measurement-based quantum computation) can serve as flexible resources that allow one to efficiently prepare any required state for sensing, and perform appropriate (entangled) measurements using only single qubit operations. Crucially, the overhead in the number of qubits is less than quadratic, thus preserving the quantum scaling advantage. This is ensured by using a compression to a logarithmically sized space that contains all relevant information for sensing. We specifically demonstrate how our method can be used to obtain optimal scaling for phase and frequency estimation in local estimation problems, as well as for the Bayesian equivalents with Gaussian priors of varying widths. Furthermore, we show that in the paradigmatic case of local phase estimation 1D cluster states are sufficient for optimal state preparation and measurement.

quant-ph↗

arXiv2015

Estimation of coherent error sources from stabilizer measurements

In the context of measurement-based quantum computation a way of maintaining the coherence of a graph state is to measure its stabilizer operators. Aside from performing quantum error correction, it is possible to exploit the information gained from these measurements to characterize and then counteract a coherent source of errors; that is, to determine all the parameters of an error channel that applies a fixed - but unknown - unitary operation to the physical qubits. Such a channel is generated, e.g., by local stray fields that act on the qubits. We study the case in which each qubit of a given graph state may see a different error channel and we focus on channels given by a rotation on the Bloch sphere around either the x, y or z axis, for which analytical results can be given in a compact form. The possibility of reconstructing the channels at all qubits depends non-trivially on the topology of the graph state. We prove via perturbation methods that the reconstruction process is robust and supplement the analytic results with numerical evidence.

quant-ph↗

arXiv2014

Hamiltonian Purification

The problem of Hamiltonian purification introduced by Burgarth et al. [D. K. Burgarth et al., Nat. Commun. 5, 5173 (2014)] is formalized and discussed. Specifically, given a set of non-commuting Hamiltonians {h1, . . ., hm} operating on a d-dimensional quantum system Hd, the problem consists in identifying a set of commuting Hamiltonians {H1,...,Hm} operating on a larger dE-dimensional system H_{dE} which embeds H_d as a proper subspace, such that hj = PHjP with P being the projection which allows one to recover Hd from HdE . The notions of spanning-set purification and generator purification of an algebra are also introduced and optimal solutions for u(d) are provided.

quant-ph↗