QUROPE Quantum Information Processing and Communication in Europe

In this work we describe how to systematically implement a full graph decomposition to set up a linked-cluster expansion for the topological phase of Kitaev's toric code in a field. This demands to include the non-local effects mediated by the mutual anyonic statistics of elementary charge and flux excitations. Technically, we describe how to consistently integrate such non-local effects into a hypergraph decomposition for single excitations. The approach is demonstrated for the ground-state energy and the elementary excitation energies of charges and fluxes in the perturbed topological phase.

In this work, we present simulations of two Open Quantum System models, Collisional and Markovian Reservoir, with noise simulations, the IBM devices ($\textit{ibm_kyoto}$, $\textit{ibm_osaka}$) and the OQC device Lucy. Extending the results of Garc\'ia-P\'erez, et al. [npj Quantum Information 6.1 (2020): 1]. Using the Mitiq toolkit, we apply Zero-Noise extrapolation (ZNE), an error mitigation technique, and analyze their deviation from the theoretical results for the models under study. For both models, by applying ZNE, we were able to reduce the error and overlap it with the theoretical results. All our simulations and experiments were done in the qBraid environment.

We consider the impact that temporal correlations in the measurement statistics can have on the achievable precision in a sequential metrological protocol. In this setting, and for a single quantum probe, we establish that it is the transitions between the measurement basis states that plays the most significant role in determining the precision, with the resulting conditional Fisher information being interpretable as a rate of information acquisition. Projective measurements are shown to elegantly demonstrate this in two disparate estimation settings. Firstly, in determining the temperature of an environment and, secondly, to ascertain a parameter of the system Hamiltonian. In both settings we show that the sequential estimation approach can provide a useful method to enhance the achievable precision.

Performing nanoscale scanning electron paramagnetic resonance (EPR) requires three essential ingredients. First, a static magnetic field together to field gradients to Zeeman split the electronic energy levels with spatial resolution. Second, a radiofrequency (rf) magnetic field capable of inducing spin transitions. Finally, a sensitive detection method to quantify the energy absorbed by spins. This is usually achieved by combining externally applied magnetic fields with inductive coils or cavities, fluorescent defects or scanning probes. Here, we {\color{black} theoretically propose the realization of a EPR scanning sensor merging all three characteristics into a single device}: the vortex core stabilized in ferromagnetic thin-film discs. On one hand, the vortex ground state generates a significant static magnetic field and field gradients. On the other hand, the precessional motion of the vortex core around its equilibrium position produces a circularly polarized oscillating magnetic field, which is enough to produce spin transitions. Finally, the spin-magnon coupling broadens the vortex gyrotropic frequency, {\color{black} suggesting} a direct measure of the presence of unpaired electrons. Moreover, the vortex core can be displaced by simply using external magnetic fields of a few mT, enabling EPR scanning microscopy with large spatial resolution. Our {\color{black} numerical} simulations show that, by using low damping magnets, it is {\color{black} theoretically} possible to detect single spins located on the disc's surface. Vortex nanocavities could also attain strong coupling to individual spin molecular qubits, with potential applications to mediate qubit-qubit interactions or to implement qubit readout protocols.

We characterise the category of finite-dimensional Hilbert spaces and linear contractions using simple category-theoretic axioms that do not refer to norms, continuity, dimension, or real numbers. Our proof directly relates limits in category theory to limits in analysis, using a new variant of the classical characterisation of the real numbers instead of Sol\`er's theorem.

Recent experimental results have validated a prediction made almost four decades ago, affirming the existence of quantized current steps in ultrasmall Josephson junctions and superconducting nanowires. These so-called dual Shapiro steps hold promise for a new current standard and thus could close the quantum metrological triangle. This is because the steps mark quantized current levels $I=\pm n \times 2ef$, where the elementary charge $e$ is a fixed constant in the new SI and the frequency $f$ is the physical quantity measured with the highest precision. To realize dual Shapiro steps, we embed an Al/AlO$_\mathrm{x}$/Al dc-SQUID in a high impedance environment made from granular aluminium and oxidized titanium. We successfully demonstrate quantized current steps in the IV-curves by applying sinusoidal driving signals of frequencies up to $6\:\mathrm{GHz}$ resulting in quantized current levels up to $I \approx \pm 2\:\mathrm{nA}$. Remarkably, if changing to a pulsed drive, the first dual Shapiro step has a larger voltage amplitude, while the opposite step vanishes, depending on the sign of the pulse. By using the peak values of the differential resistance as a measure of flatness, we demonstrate improvement due to the pulsed driving signals by a factor of $\sim 2$ compared to sinusoidal driving.

The growing interest in quantum information has enabled the manipulation and readout of microwave photon states with high fidelities. The presently available microwave photon counters, based on superconducting circuits, are limited to non-continuous pulsed mode operation, requiring additional steps for qubit state preparation before an actual measurement. Here, we present a continuous microwave photon counter based on superconducting cavity-coupled semiconductor quantum dots. The device utilizes photon-assisted tunneling in a double quantum dot with tunneling events being probed by a third dot. Our device detects both single and multiple-photon absorption events independently, thanks to the energy tunability of a two-level double-dot absorber. We show that the photon-assisted tunnel rates serve as the measure of the cavity photon state in line with the P(E) theory - a theoretical framework delineating the mediation of the cavity photon field via a two-level environment. We further describe the single photon detection using the Jaynes-Cummings input-output theory and show that it agrees with the P(E) theory predictions.

We prove that the natural isomorphism between GF(2^h) and GF(2)^h induces a bijection between stabiliser codes on n quqits with local dimension q=2^h and binary stabiliser codes on hn qubits. This allows us to describe these codes geometrically: a stabiliser code over a field of even order corresponds to a so-called quantum set of symplectic polar spaces. Moreover, equivalent stabiliser codes have a similar geometry, which can be used to prove the uniqueness of a [[4,0,3]]_4 stabiliser code and the nonexistence of both a [[7,1,4]]_4 and an [[8,0,5]]_4 stabiliser code.

In the development of quantum technologies, a reliable means for characterizing quantum devices, be it a measurement device, a state-preparation device, or a transformation device, is crucial. However, the conventional approach based on, for example, quantum state tomography or process tomography relies on assumptions that are often not necessarily justifiable in a realistic experimental setting. While the device-independent approach to this problem gets around the shortcomings above by making only minimal, justifiable assumptions, most of the theoretical proposals to date only work in the idealized setting where independent and identically distributed (i.i.d.) trials are assumed. Here, we provide a versatile solution for rigorous device-independent certification that does not rely on the i.i.d. assumption. Specifically, we describe how the prediction-based-ratio (PBR) protocol and martingale-based protocol developed for hypothesis testing can be applied in the present context to achieve a device-independent certification of desirable properties with confidence interval. To illustrate the versatility of these methods, we demonstrate how we can use them to certify -- with finite data -- the underlying negativity, Hilbert space dimension, entanglement depth, and fidelity to some target pure state. In particular, we give examples showing how the amount of certifiable negativity and fidelity scales with the number of trials. Our results also show that, while the martingale-based protocol is more straightforward to implement, its performance depends strongly on the choice of the Bell function. Intriguingly, a Bell function useful for self-testing does not necessarily give the optimal confidence-gain rate for certifying the fidelity to the corresponding target state.

The quantum approximate optimization algorithm (QAOA) is one of the most promising candidates for achieving quantum advantage through quantum-enhanced combinatorial optimization. Optimal QAOA parameter concentration effects for special MaxCut problem instances have been observed, but a rigorous study of the subject is still lacking. Due to clustering of optimal QAOA parameters for MaxCut, successful parameter transferability between different MaxCut instances can be explained and predicted based on local properties of the graphs, including the type of subgraphs (lightcones) from which graphs are composed as well as the overall degree of nodes in the graph (parity). In this work, we apply five different graph embedding techniques to determine good donor candidates for parameter transferability, including parameter transferability between different classes of MaxCut instances. Using this technique, we effectively reduce the number of iterations required for parameter optimization, obtaining an approximate solution to the target problem with an order of magnitude speedup. This procedure also effectively removes the problem of encountering barren plateaus during the variational optimization of parameters. Additionally, our findings demonstrate that the transferred parameters maintain effectiveness when subjected to noise, supporting their use in real-world quantum applications. This work presents a framework for identifying classes of combinatorial optimization instances for which optimal donor candidates can be predicted such that QAOA can be substantially accelerated under both ideal and noisy conditions.

Alzheimer's disease (AD) is the most prevalent neurodegenerative brain disorder, which results in significant cognitive impairments, especially in the elderly population. Cognitive impairments can manifest as a decline in various mental faculties, such as concentration, memory, and other higher-order cognitive abilities. These deficits can significantly impact an individual's capacity to comprehend information, acquire new knowledge, and communicate effectively. One of the affected activities due to cognitive impairments is handwriting. By analyzing different aspects of handwriting, including pressure, velocity, and spatial organization, researchers can detect subtle alterations that might indicate early-stage cognitive impairments, especially AD. Recently, several classical artificial intelligence (AI) approaches have been proposed for detecting AD in elderly individuals through handwriting analysis. However, advanced AI methods require more computational power as the size of the data increases. Additionally, diagnoses can be influenced by factors such as limited relevant classical vector space and correlations between features. Recent studies have shown that using quantum computing technologies in healthcare can not only address these problems but also accelerate complex data analysis and process large datasets more efficiently. In this study, we introduced a variational quantum classifier with fewer circuit elements to facilitate the early diagnosis of AD in elderly individuals based on handwriting data. We employed ZZFeatureMap for encoding features. To classify AD, a parameterized quantum circuit consisting of repeated Ry and Rz rotation gates, as well as CY and CZ two-qubit entangling gates, was designed and implemented. The proposed model achieved an accuracy of 0.75 in classifying AD.

The electron spin of a nitrogen-vacancy center in diamond lends itself to the control of proximal $^{13}$C nuclear spins via dynamical decoupling methods, possibly combined with radio-frequency driving. Long-lived single-qubit states and high-fidelity electron-nuclear gates required for the realization of a multiqubit register have already been demonstrated. Towards the goal of a scalable architecture, linking multiple such registers in a photonic network represents an important step. Multiple pairs of remotely entangled qubits can enable advanced algorithms or error correction protocols. We investigate how a photonic architecture can be extended from the intrinsic nitrogen spin to multiple $^{13}$C spins per node. Applying decoherence-protected gates sequentially, we simulate the fidelity of creating multiple pairs of remotely entangled qubits. Even though the currently achieved degree of control of $^{13}$C spins might not be sufficient for large-scale devices, the two schemes are compatible in principle. One requirement is the correction of unconditional phases acquired by unaddressed nuclear spins during a decoupling sequence.

Product states, unentangled tensor products of single qubits, are a ubiquitous ansatz in quantum computation, including for state-of-the-art Hamiltonian approximation algorithms. A natural question is whether we should expect to efficiently solve product state problems on any interesting families of Hamiltonians.

We completely classify the complexity of finding minimum-energy product states for Hamiltonians defined by any fixed set of allowed 2-qubit interactions. Our results follow a line of work classifying the complexity of solving Hamiltonian problems and classical constraint satisfaction problems based on the allowed constraints. We prove that estimating the minimum energy of a product state is in P if and only if all allowed interactions are 1-local, and NP-complete otherwise. Equivalently, any family of non-trivial two-body interactions generates Hamiltonians with NP-complete product-state problems. Our hardness constructions only require coupling strengths of constant magnitude.

A crucial component of our proofs is a collection of hardness results for a new variant of the Vector Max-Cut problem, which should be of independent interest. Our definition involves sums of distances rather than squared distances and allows linear stretches.

A corollary of our classification is a new proof that optimizing product states in the Quantum Max-Cut model (the quantum Heisenberg model) is NP-complete.

Genuine multiparty entangled probes lead to minimum error in estimating the phase corresponding to the generator of a unitary encoder, if the generator comprises of only local terms. We ask if genuine multiparty entanglement remains indispensable in attaining the best metrological precision if we employ higher-order interaction terms in the generator. We identify a dichotomy in the answer. Specifically, we find that generators having odd-body interactions necessarily require genuine multipartite entanglement in probes to attain the best metrological precision, but the situation is opposite in the case of generators with even-body interactions. The optimal probes corresponding to generators that contain even-body interaction terms, may be entangled, but certainly not so in all bipartitions, and particularly, for certain ranges of the number of parties including the large number limit, the optimal state is asymmetric. Asymmetry, which therefore is a resource in this scenario rather than genuine multiparty entanglement, refers to the disparity between states of local parts of the global system. Additionally, we provide an upper bound on the number of parties up to which one can always obtain an asymmetric product state that gives the best metrological precision for even-body interactions. En route, we find the quantum Fisher information in closed form for two- and three-body interactions for an arbitrary number of parties, and prove, in both the cases, that when the number of parties is large, the metrological precision is non-optimal if we consider only symmetric product probes. Further, we identify conditions on the local component of the generator, for which these results hold for arbitrary local dimensions.

The common feature of several experiments, performed and proposed, in which particles provide misleading evidence about where they have been, is identified and discussed. It is argued that the experimental results provide a consistent picture when interference amplification effects are taken into account.

We investigate the impact of quantum vibronic coupling on the electronic properties of solid-state spin defects using stochastic methods and first principles molecular dynamics with a quantum thermostat. Focusing on the negatively charged nitrogen-vacancy center in diamond as an exemplary case, we found a significant dynamic Jahn-Teller splitting of the doubly degenerate single-particle levels within the diamond's band gap, even at 0 K, with a magnitude exceeding 180 meV. This pronounced splitting leads to substantial renormalizations of these levels and subsequently, of the vertical excitation energies of the doubly degenerate singlet and triplet excited states. Our findings underscore the pressing need to incorporate quantum vibronic effects in first-principles calculations, particularly when comparing computed vertical excitation energies with experimental data. Our study also reveals the efficiency of stochastic thermal line sampling for studying phonon renormalizations of solid-state spin defects.

The optical properties of a fixed atom are well-known and investigated. For example, the extraordinarily large cross section of a single atom as seen by a resonant photon is essential for quantum optical applications. Mechanical effects associated with light scattering are also well-studied, forming the basis of laser cooling and trapping, for example. Despite this, there is one fundamental problem that surprisingly has not been extensively studied, yet is relevant to a number of emerging quantum optics experiments. In these experiments, the ground state of the atom experiences a tight optical trap formed by far-off-resonant light, to facilitate efficient interactions with near-resonant light. However, the excited state might experience a different potential, or even be anti-trapped. Here, we systematically analyze the effects of unequal trapping on near-resonant atom-light interactions. In particular, we identify regimes where such trapping can lead to significant excess heating, and a reduction of total and elastic scattering cross sections associated with a decreased atom-photon interaction efficiency. Understanding these effects can be valuable for optimizing quantum optics platforms where efficient atom-light interactions on resonance are desired, but achieving equal trapping is not feasible.

We explore the problem of covertly communicating qubits over the lossy thermal-noise bosonic channel, which is a quantum-mechanical model of many practical channels, including optical. Covert communication ensures that an adversary is unable to detect the presence of transmissions, which are concealed in channel noise. We investigate an achievable lower bound on quantum covert communication using photonic dual-rail qubits. This encoding has practical significance, as it has been proposed for long-range repeater-based quantum communication over optical channels.

Sampling a diverse set of high-quality solutions for hard optimization problems is of great practical relevance in many scientific disciplines and applications, such as artificial intelligence and operations research. One of the main open problems is the lack of ergodicity, or mode collapse, for typical stochastic solvers based on Monte Carlo techniques leading to poor generalization or lack of robustness to uncertainties. Currently, there is no universal metric to quantify such performance deficiencies across various solvers. Here, we introduce a new diversity measure for quantifying the number of independent approximate solutions for NP-hard optimization problems. Among others, it allows benchmarking solver performance by a required time-to-diversity (TTD), a generalization of often used time-to-solution (TTS). We illustrate this metric by comparing the sampling power of various quantum annealing strategies. In particular, we show that the inhomogeneous quantum annealing schedules can redistribute and suppress the emergence of topological defects by controlling space-time separated critical fronts, leading to an advantage over standard quantum annealing schedules with respect to both TTS and TTD for finding rare solutions. Using path-integral Monte Carlo simulations for up to 1600 qubits, we demonstrate that nonequilibrium driving of quantum fluctuations, guided by efficient approximate tensor network contractions, can significantly reduce the fraction of hard instances for random frustrated 2D spin-glasses with local fields. Specifically, we observe that by creating a class of algorithmic quantum phase transitions, the diversity of solutions can be enhanced by up to 40% with the fraction of hard-to-sample instances reducing by more than 25%.

Device-independent quantum key distribution (DIQKD) aims to achieve secure key distribution with only minimal assumptions, by basing its security on the violation of Bell inequalities. While this offers strong security guarantees, it comes at the cost of being challenging to implement experimentally. In this thesis, we present security proofs for several techniques that help to improve the keyrates and noise tolerance of DIQKD, such as noisy preprocessing, random key measurements, and advantage distillation. We also show finite-size security proofs for some protocols based on combining several of these techniques. These results and proof techniques should be useful for further development of DIQKD protocols.