arXiv subjects

Giulia Ferrini

Publications and source records attributed to Giulia Ferrini.

At least 19 recordsLinked to original sources

arXiv2026

Quantum computational resources and validation protocols for a three-mode non-Gaussian trilinear Hamiltonian

Non-Gaussian interactions are a key ingredient for achieving universality in continuous-variable quantum computation, yet their experimental characterization and the validation of their correct implementation remain challenging tasks. In this work, we focus on a three-mode non-Gaussian trilinear Hamiltonian that has recently been realized in superconducting microwave platforms, and present a comprehensive theoretical analysis of the computational resources it generates, together with experimentally accessible protocols to validate their presence. We systematically investigate its ability to generate two key resources for quantum computation: multipartite entanglement and Wigner negativity. In particular, using displaced-parity Bell tests, we demonstrate the generation of nonlocal states and thereby provide an operational certification of multipartite entanglement in the non-Gaussian states produced by the dynamics. We further quantify the Wigner logarithmic negativity and benchmark it against that of established non-Gaussian resource states. Building on this resource-based characterization, we introduce a measurement-efficient protocol for the experimental validation of the Hamiltonian implementation without requiring full reconstruction of the Wigner function. The protocol combines the measurement of zero-variance observables (nullifiers and stabilizers) with a limited number of targeted phase-space measurements, leading to a drastic reduction of the experimental overhead.

quant-ph↗

arXiv2026

Bosonic quantum error-correcting codes with finite stellar rank

Bosonic quantum error correction (QEC) relies on non-Gaussian bosonic encodings whose preparation cost is a central practical constraint. In this work, we use stellar rank as a resource measure to design and benchmark bosonic codes under finite non-Gaussian resources. For fixed cat and Gottesman--Kitaev--Preskill (GKP) code families, we show that finite stellar rank creates a trade-off among state approximability, energy, and logical protection under photon loss and photon-number dephasing, evaluated with optimal recovery. This trade-off implies that codewords with better ideal error-correction properties need not be optimal once finite-rank preparation constraints are imposed. Going beyond fixed-target codewords, we directly optimize bosonic encodings at fixed stellar rank, revealing noise-adapted code structures and concrete resource thresholds. Grid-like encodings emerge under photon loss, whereas approximately rotation-symmetric encodings arise under dephasing. In the optimized search, stellar rank k=2 suffices to surpass break-even for all dephasing strengths considered, while under photon loss the required rank increases with the loss rate. These results establish stellar rank as an operationally meaningful resource measure for bosonic QEC under practical state-preparation constraints.

quant-ph↗

arXiv2026

Error Mitigation in Bosonic Systems via Virtual Distillation

Virtual distillation is a promising error-mitigation technique that exploits multiple copies of a noisy quantum state to estimate observables as if measured on a purified state. Although originally introduced in the context of bosonic many-body systems under the name of virtual cooling, its development and applications have largely focused on qubit-based quantum computation. Here, we establish a framework for virtual distillation in bosonic quantum information processing and continuous-variable quantum computing. Building on a diagonalization of cyclic shift operators implemented with passive linear-optical interferometers, we derive experimentally accessible protocols for estimating virtually distilled expectation values of observables relevant to bosonic architectures. In particular, we show how to recover noise-mitigated expectation values of number operators, phase-shift operators, and arbitrary quadratures from multi-copy measurements. For number operators, we further demonstrate the estimation of virtually distilled correlators of arbitrary order through the characteristic function of the photon-number distribution. We apply the framework to states affected by photon loss and dephasing, two of the dominant noise mechanisms in bosonic quantum computation, and quantify the resulting suppression of noise contributions. Our results extend virtual distillation beyond its original setting and provide a practical route toward error-mitigated measurements in bosonic quantum processors using experimentally available linear-optical resources.

quant-ph↗

arXiv2026

Bias-Preserving Gates and Quantum Error Correction With Dual-Rail Cat Codes

Scalable fault-tolerant quantum computation requires quantum error-correcting codes that simultaneously support universal logical operations, suppress hardware-specific noise, and enable efficient handling of photon-loss errors. Bosonic encodings such as the dual-rail and cat codes each offer attractive features but also exhibit important limitations when used in isolation. The dual-rail code enables efficient single-photon-loss detection by converting leakage out of the computational subspace induced by photon-loss errors into an erasure error. In contrast, the cat code provides a resource-efficient, bias-tailored error-correction scheme with bias-preserving logical gate operations. Here, we introduce the dual-rail cat code (DRCC), a concatenated bosonic encoding that combines an inner cat code with an outer dual-rail structure, thereby inheriting and enhancing the advantages of both constituent codes. We analyse the error-correction properties of the DRCC and propose a deterministic single-photon-loss correction protocol by concatenating it with an outer repetition code. Exploiting the code's intrinsic noise bias, we construct a universal set of logical gates using only beam-splitter interactions and demonstrate that all logical operations preserve the erasure-biased noise structure. The DRCC offers several distinctive advantages, including the absence of relative geometric phases during gate operations, deterministic erasure detection and correction, and simultaneous syndrome extraction without interrupting stabilisation. These features make the DRCC a promising bosonic code for hardware-efficient, bias-preserving, and erasure-resilient fault-tolerant quantum computation.

quant-ph↗

arXiv2025

Equivalence of continuous- and discrete-variable gate-based quantum computers with finite energy

Continuous systems are studied in many branches of modern physics, such as high-energy physics, cosmology, condensed matter physics, quantum chemistry, and field theories. Such systems are expected to benefit from the substantial advantages in computational power of quantum computers. The continuous-variable paradigm of quantum computation provides the most natural computational formalism for these tasks. However, most existing quantum hardware is based on discrete-variable systems. We address this fundamental discrepancy by providing a rigorous framework for translating native continuous-variable algorithms onto qubit-based quantum processors. This mapping is constructed from a gate-based model of continuous-variable quantum computers, consisting of states and operations built from a polynomial sequence of elementary gates in a finite set, with total energy polynomial in the number of modes. We prove that, under realistic constraints, a gate-based model of continuous-variable quantum computers can be efficiently simulated using discrete-variable devices, thereby establishing a computational equivalence between these paradigms.

quant-ph↗

arXiv2025

Multimode rotationally symmetric bosonic codes from group-theoretic construction

We introduce a new family of multi-mode, rotationally symmetric bosonic codes inspired by the group-theoretic framework of [Phys. Rev. Lett. 133, 240603 (2024)]. Such a construction inverts the traditional paradigm of code design by identifying codes from the requirement that a group of chosen logical gates should be implemented by means of physically simple logical operations, such as linear optics. Leveraging previously unexplored degrees of freedom within this framework, our construction preserves rotational symmetry across multiple modes, enabling linear-optics implementation of the full Pauli group. These codes exhibit improved protection against dephasing noise, outperforming both single-mode analogues and earlier multi-mode constructions. Notably, they allow exact correction of correlated dephasing and support qudit encoding in arbitrary dimensions. We analytically construct and numerically benchmark two-mode binomial codes instances, and demonstrate that, unlike single-mode rotationally symmetric bosonic codes, these exhibit no trade-off between protection against dephasing and photon loss.

quant-ph↗

arXiv2025

Towards fault-tolerant quantum computation with universal continuous-variable gates

Continuous-variable (CV) systems have shown remarkable potential for quantum computation, particularly excelling in scalability and error correction through bosonic encoding. Within this framework, the foundational notion of computational universality was introduced in [Phys. Rev. Lett. 82, 1784 (1999)], and has proven especially successful since it allows for the identification of finite sets of universal CV gates independent of the encoding scheme. However, achieving the critical objective of fault-tolerant computation requires some form of encoding, and to date there has been no proof that these universal CV gates can lead to encoded fault tolerance. We present compelling evidence in this direction by utilizing the Gottesman-Kitaev-Preskill (GKP) encoding. Specifically, we numerically optimize the generation of GKP states from vacua using circuits comprised solely of universal CV gates. We demonstrate that these states can be attained with sufficient quality to exhibit error probabilities lower than the threshold needed to achieve a fault-tolerant memory via concatenated GKP-stabilizer codes.

quant-ph↗

arXiv2025

Performance of rotation-symmetric bosonic codes in the presence of random telegraph noise

Decoherence in quantum devices, such as qubits and resonators, is often caused by bistable fluctuators modeled as random telegraph noise (RTN), leading to significant dephasing. We analyze the impact of individual and multiple fluctuators on a bosonic mode in continuous variable systems, identifying non-Markovian behavior governed by two timescales: the fluctuator switching rate ($\xi$) and coupling strength ($\nu$). Using the Breuer-Piilo-Laine (BLP) measure, we show that for Gaussian states, squeezing and thermal fluctuations do not enhance non-Markovianity. In contrast, for non-Gaussian states, the measure becomes unbounded. For rotation-symmetric bosonic (RSB) codes, known for their error correction advantages, non-Markovianity grows linearly with code symmetry. We evaluate the performance of RSB codes under simultaneous loss and RTN dephasing. For a teleportation-based Knill error-correction circuit, the codes perform robustly in the Markovian limit. In the non-Markovian regime, the performance depends on the time the error correction is performed for a given codeword. The average gate fidelity of the error-corrected state in this case exhibits oscillations as a function of time due to the oscillatory nature of the dephasing function of the RTN noise; however, for most of the parameter ranges, the values stay above the break-even point. Extending to multiple fluctuators that produce $1/f$ noise, we observe that non-Markovianity decays with increasing fluctuator count, while the performance of RSB codes remains effective with increasing number of fluctuators.

quant-ph↗

arXiv2024

Classical simulation of circuits with realistic odd-dimensional Gottesman-Kitaev-Preskill states

Classically simulating circuits with bosonic codes is challenging due to the prohibitive cost of simulating quantum systems with many, possibly infinite, energy levels. We propose an algorithm to simulate circuits with encoded Gottesman-Kitaev-Preskill (GKP) states, specifically for odd-dimensional encoded qudits. Our approach is tailored to be especially effective in the most challenging but practically relevant regime, where the codeword states exhibit high (but finite) squeezing. Our algorithm leverages the Zak-Gross Wigner function introduced by J. Davis et al. [arXiv:2407.18394], which represents infinitely squeezed encoded stabilizer states positively. The runtime of the algorithm scales with the negativity of the Wigner function, allowing for efficient simulation of certain large-scale circuits - namely, input stabilizer GKP states undergoing generalized GKP-encoded Clifford operations followed by modular measurements - with a high degree of squeezing. For stabilizer GKP states exhibiting 12 dB of squeezing, our algorithm can simulate circuits with up to 1,000 modes with less than double the number of samples required for a single input mode, in stark contrast to existing simulators. Therefore, this approach holds significant potential for benchmarking early implementations of quantum computing architectures utilizing bosonic codes.

quant-ph↗

arXiv2024

Assessing non-Gaussian quantum state conversion with the stellar rank

State conversion is a fundamental task in quantum information processing. Quantum resource theories allow for analyzing and bounding conversions that use restricted sets of operations. In the context of continuous-variable systems, state conversions restricted to Gaussian operations are crucial for both fundamental and practical reasons, particularly in state preparation and quantum computing with bosonic codes. However, previous analysis did not consider the relevant case of approximate state conversion. In this work, we introduce a framework for assessing approximate Gaussian state conversion by extending the stellar rank to the approximate stellar rank, which serves as an operational measure of non-Gaussianity. We derive bounds for Gaussian state conversion and distillation under approximate and probabilistic conditions, yielding new no-go results for non-Gaussian state preparation and enabling a reliable assessment of the performance of Gaussian conversion protocols. We also provide an open-source Python library to compute stellar-rank-related quantities and to assess Gaussian conversion.

quant-ph↗

arXiv2024

Bridging magic and non-Gaussian resources via Gottesman-Kitaev-Preskill encoding

Although the similarity between non-stabilizer states -- also known as magic states -- in discrete-variable systems and non-Gaussian states in continuous-variable systems has widely been recognized, the precise connections between these two notions have still been unclear. We establish a fundamental link between these two quantum resources via the Gottesman-Kitaev-Preskill (GKP) encoding. We show that the negativity of the continuous-variable Wigner function for an encoded GKP state coincides with a magic measure we introduce, which matches the negativity of the discrete Wigner function for odd dimensions. We also provide a continuous-variable representation of the stabilizer R\'enyi entropy -- a recent proposal for a magic measure for multi-qubit states. With this in hand, we give a classical simulation algorithm with runtime scaling with the resource contents, quantified by our magic measures. We also employ our results to prove that implementing a multi-qubit logical non-Clifford operation in the GKP code subspace requires a non-Gaussian operation even at the limit of perfect encoding, despite the fact that the ideal GKP states already come with a large amount of non-Gaussianity.

quant-ph↗

arXiv2024

Women for Quantum -- Manifesto of Values

Data show that the presence of women in quantum science is affected by a number of detriments and their percentage decreases even further for higher positions. Beyond data, from our shared personal experiences as female tenured quantum physics professors, we believe that the current model of scientific leadership, funding, and authority fails to represent many of us. It is time for a real change that calls for a different kind of force and for the participation of everyone. Women for quantum calls for a joint effort and aims with this initiative to contribute to such a transformation.

physics.soc-ph↗

arXiv2024

Classical simulation and quantum resource theory of non-Gaussian optics

We propose efficient algorithms for classically simulating Gaussian unitaries and measurements applied to non-Gaussian initial states. The constructions are based on decomposing the non-Gaussian states into linear combinations of Gaussian states. We use an extension of the covariance matrix formalism to efficiently track relative phases in the superpositions of Gaussian states. We get an exact simulation algorithm, which costs quadratically with the number of Gaussian states required to represent the initial state, and an approximate simulation algorithm, which costs linearly with the $l_1$ norm of the coefficients associated with the superposition. We define measures of non-Gaussianity quantifying this simulation cost, which we call the Gaussian rank and the Gaussian extent. From the perspective of quantum resource theories, we investigate the properties of this type of non-Gaussianity measure and compute optimal decompositions for states relevant to continuous-variable quantum computing.

quant-ph↗

arXiv2023

Lecture notes on quantum computing

These are the lecture notes of the master's course "Quantum Computing", taught at Chalmers University of Technology every fall since 2020, with participation of students from RWTH Aachen and Delft University of Technology. The aim of this course is to provide a theoretical overview of quantum computing, excluding specific hardware implementations. Topics covered in these notes include quantum algorithms (such as Grover's algorithm, the quantum Fourier transform, phase estimation, and Shor's algorithm), variational quantum algorithms that utilise an interplay between classical and quantum computers [such as the variational quantum eigensolver (VQE) and the quantum approximate optimisation algorithm (QAOA), among others], quantum error correction, various versions of quantum computing (such as measurement-based quantum computation, adiabatic quantum computation, and the continuous-variable approach to quantum information), the intersection of quantum computing and machine learning, and quantum complexity theory. Lectures on these topics are compiled into 12 chapters, most of which contain a few suggested exercises at the end, and interspersed with four tutorials, which provide practical exercises as well as further details. At Chalmers, the course is taught in seven weeks, with three two-hour lectures or tutorials per week. It is recommended that the students taking the course have some previous experience with quantum physics, but not strictly necessary.

quant-ph↗

arXiv2023

Sufficient condition for universal quantum computation using bosonic circuits

Continuous-variable bosonic systems stand as prominent candidates for implementing quantum computational tasks. While various necessary criteria have been established to assess their resourcefulness, sufficient conditions have remained elusive. We address this gap by focusing on promoting circuits that are otherwise simulatable to computational universality. The class of simulatable, albeit non-Gaussian, circuits that we consider is composed of Gottesman-Kitaev-Preskill (GKP) states, Gaussian operations, and homodyne measurements. Based on these circuits, we first introduce a general framework for mapping a continuous-variable state into a qubit state. Subsequently, we cast existing maps into this framework, including the modular and stabilizer subsystem decompositions. By combining these findings with established results for discrete-variable systems, we formulate a sufficient condition for achieving universal quantum computation. Leveraging this, we evaluate the computational resourcefulness of a variety of states, including Gaussian states, finite-squeezing GKP states, and cat states. Furthermore, our framework reveals that both the stabilizer subsystem decomposition and the modular subsystem decomposition (of position-symmetric states) can be constructed in terms of simulatable operations. This establishes a robust resource-theoretical foundation for employing these techniques to evaluate the logical content of a generic continuous-variable state, which can be of independent interest.

quant-ph↗

arXiv2023

Quantum Approximate Optimization Algorithm with Cat Qubits

The Quantum Approximate Optimization Algorithm (QAOA) -- one of the leading algorithms for applications on intermediate-scale quantum processors -- is designed to provide approximate solutions to combinatorial optimization problems with shallow quantum circuits. Here, we study QAOA implementations with cat qubits, using coherent states with opposite amplitudes. The dominant noise mechanism, i.e., photon losses, results in $Z$-biased noise with this encoding. We consider in particular an implementation with Kerr resonators. We numerically simulate solving MaxCut problems using QAOA with cat qubits by simulating the required gates sequence acting on the Kerr non-linear resonators, and compare to the case of standard qubits, encoded in ideal two-level systems, in the presence of single-photon loss. Our results show that running QAOA with cat qubits increases the approximation ratio for random instances of MaxCut with respect to qubits encoded into two-level systems.

quant-ph↗

arXiv2023

Gaussian conversion protocol for heralded generation of qunaught states

In the field of fault-tolerant quantum computing, continuous-variable systems can be utilized to protect quantum information from noise through the use of bosonic codes. These codes map qubit-type quantum information onto the larger bosonic Hilbert space, and can be divided into two main categories: translational-symmetric codes, such as Gottesman-Kitaev-Preskill (GKP) codes, and rotational-symmetric codes, including cat and binomial codes. The relationship between these families of codes has not yet been fully understood. We present an iterative protocol for converting between two instances of these codes GKP qunaught states and four-foldsymmetric binomial states corresponding to a zero-logical encoded qubit - using only Gaussian operations. This conversion demonstrates the potential for universality of binomial states for all-Gaussian quantum computation and provides a new method for the heraladed preparation of GKP states. Through numerical simulation, we obtain GKP qunaught states with a fidelity of over 98% and a probability of approximately 3.14%, after only two steps of our iterative protocol, though higher fidelities can be achieved with additional iterations at the cost of lower success probabilities.

quant-ph↗

arXiv2022

Study of noise in virtual distillation circuits for quantum error mitigation

Virtual distillation has been proposed as an error mitigation protocol for estimating the expectation values of observables in quantum algorithms. It proceeds by creating a cyclic permutation of $M$ noisy copies of a quantum state using a sequence of controlled-swap gates. If the noise does not shift the dominant eigenvector of the density operator away from the ideal state, then the error in expectation-value estimation can be exponentially reduced with $M$. In practice, subsequent error mitigation techniques are required to suppress the effect of noise in the cyclic permutation circuit itself, leading to increased experimental complexity. Here, we perform a careful analysis of the effect of uncorrelated, identical noise in the cyclic permutation circuit and find that the estimation of expectation value of observables are robust against dephasing noise. We support the analytical result with numerical simulations and find that $67\%$ of errors are reduced for $M=2$, with physical dephasing error probabilities as high as $10\%$. Our results imply that a broad class of quantum algorithms can be implemented with higher accuracy in the near-term with qubit platforms where non-dephasing errors are suppressed, such as superconducting bosonic qubits and Rydberg atoms.

quant-ph↗