arXiv subjects

Cristina Cirstoiu

Publications and source records attributed to Cristina Cirstoiu.

10 recordsLinked to original sources

arXiv2026

Digital quantum magnetism on a trapped-ion quantum computer

Digital quantum matter -- realized when discrete quantum gates approximate continuous time evolution -- is susceptible to heating into chaotic, structureless states. If digitization errors are adequately suppressed, a long-lived transient regime of approximately energy-conserving dynamics can be observed on gate-based quantum computers. Conservation of energy, in turn, enables the exploration of a wide variety of complex behaviors observed in equilibrium systems, ranging from the nontrivial microscopic origins of thermalization itself to the stabilization of effective models hosting exotic emergent properties. Here, we use Quantinuum's system model H2 quantum computer to simulate digitized dynamics of the quantum Ising model, suppressing digitization errors well enough to observe thermalization on timescales that severely challenge classical simulation methods. Relaxation of an inhomogeneous state reveals an emergent hydrodynamics due to approximate energy conservation, and we compute the associated diffusion constant. By reprogramming our simulations to take place on a triangular lattice with periodic boundary conditions, we observe thermalization consistent with emergent gauge and topological constraints resulting from lattice frustration. Our results were enabled by continued advances in two-qubit gate quality (native partial entangler fidelities of $99.94(1)\%$), and establish digital quantum computers as powerful tools for studying (effectively) continuous-time dynamics.

quant-ph↗

arXiv2025

Characterization of syndrome-dependent logical noise in detector regions

Characterizing how quantum error correction circuits behave under realistic hardware noise is essential for testing the premises that enable scalable fault tolerance. Logical error rates conditioned on syndrome outcomes are needed to enable noise-aware decoding and validate threshold-relevant assumptions. We introduce a protocol to directly estimate the logical Pauli channels (and pure errors) associated with detector regions formed of two or more syndrome extraction gadgets, conditioned on observing a particular parity in the syndrome outcomes. The method is SPAM-robust and most suitable for flag-based syndrome measurement schemes. For classical processing of the experimental data we implement a Bayesian modelling approach. We validate this new protocol on a small error-detecting code using Quantinuum H1-1, a trapped-ion device, and demonstrate that several noise diagnostic tests for fault tolerance improve significantly when using noise tailoring and mitigation strategies, such as swapped measurements for leakage protection, and Pauli frame randomization.

quant-ph↗

arXiv2024

A Fourier analysis framework for approximate classical simulations of quantum circuits

What makes a class of quantum circuits efficiently classically simulable on average? I present a framework that applies harmonic analysis of groups to circuits with a structure encoded by group parameters. Expanding the circuits in a suitable truncated multi-path operator basis gives algorithms to evaluate the Fourier coefficients of output distributions or expectation values that are viewed as functions on the group. Under certain conditions, a truncated Fourier series can be efficiently estimated with guaranteed mean-square convergence. For classes of noisy circuits, it leads to algorithms for sampling and mean value estimation under error models with a spectral gap, where the complexity increases exponentially with the gap's inverse and polynomially with the circuit's size. This approach unifies and extends existing algorithms for noisy parametrised or random circuits using Pauli basis paths. For classes of noiseless circuits, mean values satisfying Lipschitz continuity can be on average approximated using efficient sparse Fourier decompositions. I also discuss generalisations to homogeneous spaces, qudit systems and a way to analyse random circuits via matrix coefficients of irreducible representations.

quant-ph↗

arXiv2023

Volumetric Benchmarking of Error Mitigation with Qermit

The detrimental effect of noise accumulates as quantum computers grow in size. In the case where devices are too small or noisy to perform error correction, error mitigation may be used. Error mitigation does not increase the fidelity of quantum states, but instead aims to reduce the approximation error in quantities of concern, such as expectation values of observables. However, it is as yet unclear which circuit types, and devices of which characteristics, benefit most from the use of error mitigation. Here we develop a methodology to assess the performance of quantum error mitigation techniques. Our benchmarks are volumetric in design, and are performed on different superconducting hardware devices. Extensive classical simulations are also used for comparison. We use these benchmarks to identify disconnects between the predicted and practical performance of error mitigation protocols, and to identify the situations in which their use is beneficial. To perform these experiments, and for the benefit of the wider community, we introduce Qermit - an open source python package for quantum error mitigation. Qermit supports a wide range of error mitigation methods, is easily extensible and has a modular graph-based software design that facilitates composition of error mitigation protocols and subroutines.

quant-ph↗

arXiv2023

A simple formulation of no-cloning and no-hiding that admits efficient and robust verification

Incompatibility is a feature of quantum theory that sets it apart from classical theory, and the inability to clone an unknown quantum state is one of the most fundamental instances. The no-hiding theorem is another such instance that arises in the context of the black-hole information paradox, and can be viewed as being dual to no-cloning. Here, we formulate both of these fundamental features of quantum theory in a single form that is amenable to efficient verification, and that is robust to errors arising in state preparation and measurements. We extend the notion of unitarity - an average figure of merit that for quantum theory captures the coherence of a quantum channel - to general physical theories. Then, we introduce the notion of compatible unitarity pair (CUP) sets, that correspond to the allowed values of unitarities for compatible channels in the theory. We show that a CUP-set constitutes a simple 'fingerprint' of a physical theory, and that incompatibility can be studied through them. We derive information-disturbance constraints on quantum CUP-sets that encode both the no-cloning/broadcasting and no-hiding theorems of quantum theory. We then develop randomised benchmarking protocols that efficiently estimate quantum CUP-sets and provide simulations using IBMQ of the simplest instance. Finally, we discuss ways in which CUP-sets and quantum no-go theorems could provide additional information to benchmark quantum devices.

quant-ph↗

arXiv2022

Estimation of correlations and non-separability in quantum channels via unitarity benchmarking

The ability to transfer coherent quantum information between systems is a fundamental component of quantum technologies and leads to coherent correlations within the global quantum process. However correlation structures in quantum channels are less studied than those in quantum states. Motivated by recent techniques in randomized benchmarking, we develop a range of results for efficient estimation of correlations within a bipartite quantum channel. We introduce sub-unitarity measures that are invariant under local changes of basis, generalize the unitarity of a channel, and allow for the analysis of coherent information exchange within channels. Using these, we show that unitarity is monogamous, and provide a novel information-disturbance relation. We then define a notion of correlated unitarity that quantifies the correlations within a given channel. Crucially, we show that this measure is strictly bounded on the set of separable channels and therefore provides a witness of non-separability. Finally, we describe how such measures for effective noise channels can be efficiently estimated within different randomized benchmarking protocols. We find that the correlated unitarity can be estimated in a SPAM-robust manner for any separable quantum channel, and show that a benchmarking/tomography protocol with mid-circuit resets can reliably witness non-separability for sufficiently small reset errors. The tools we develop provide information beyond that obtained via simultaneous randomized benchmarking and so could find application in the analysis of cross-talk and coherent errors in quantum devices.

quant-ph↗

arXiv2021

Robustness of Noether's principle: Maximal disconnects between conservation laws and symmetries in quantum theory

To what extent does Noether's principle apply to quantum channels? Here, we quantify the degree to which imposing a symmetry constraint on quantum channels implies a conservation law, and show that this relates to physically impossible transformations in quantum theory, such as time-reversal and spin-inversion. In this analysis, the convex structure and extremal points of the set of quantum channels symmetric under the action of a Lie group $G$ becomes essential. It allows us to derive bounds on the deviation from conservation laws under any symmetric quantum channel in terms of the deviation from closed dynamics as measured by the unitarity of the channel. In particular, we investigate in detail the $U(1)$ and $SU(2)$ symmetries related to energy and angular momentum conservation laws. In the latter case, we provide fundamental limits on how much a spin-$j_A$ system can be used to polarise a larger spin-$j_B$ system, and on how much one can invert spin polarisation using a rotationally-symmetric operation. Finally, we also establish novel links between unitarity, complementary channels and purity that are of independent interest.

quant-ph↗

arXiv2020

Variational Fast Forwarding for Quantum Simulation Beyond the Coherence Time

Trotterization-based, iterative approaches to quantum simulation are restricted to simulation times less than the coherence time of the quantum computer, which limits their utility in the near term. Here, we present a hybrid quantum-classical algorithm, called Variational Fast Forwarding (VFF), for decreasing the quantum circuit depth of quantum simulations. VFF seeks an approximate diagonalization of a short-time simulation to enable longer-time simulations using a constant number of gates. Our error analysis provides two results: (1) the simulation error of VFF scales at worst linearly in the fast-forwarded simulation time, and (2) our cost function's operational meaning as an upper bound on average-case simulation error provides a natural termination condition for VFF. We implement VFF for the Hubbard, Ising, and Heisenberg models on a simulator. Additionally, we implement VFF on Rigetti's quantum computer to demonstrate simulation beyond the coherence time. Finally, we show how to estimate energy eigenvalues using VFF.

quant-ph↗

arXiv2018

Global and local gauge symmetries beyond Lagrangian formulations

What is the structure of general quantum processes on composite systems that respect a global or local symmetry principle? How does the irreversible use of quantum resources behave under such symmetry principles? Here we employ an information-theoretic framework to address these questions and show that every symmetric quantum process on a system has a highly rigid decomposition in terms of the flow of symmetry-breaking degrees of freedom between each subsystem and its environment. The decomposition has a natural causal structure that can be represented diagrammatically and makes explicit gauge degrees of freedom between subsystems. The framework also provides a novel quantum information perspective on lattice gauge theories and a method to gauge general quantum processes beyond Lagrangian formulations. This procedure admits a simple resource-theoretic interpretation, and thus offers a natural context in which features such as information flow and entanglement in gauge theories and quantum thermodynamics could be studied. The framework also provides a flexible toolkit with which to analyse the structure of general quantum processes. As an application, we make use of a `polar decomposition' for quantum processes to discuss the repeatable use of quantum resources and to provide a novel perspective in terms of the coordinates induced on the orbit of a local process under a symmetry action.

quant-ph↗

arXiv2014

Limits to catalysis in quantum thermodynamics

Quantum thermodynamics is a research field that aims at fleshing out the ultimate limits of thermodynamic processes in the deep quantum regime. A complete picture of quantum thermodynamics allows for catalysts, i.e., systems facilitating state transformations while remaining essentially intact in their state, very much reminding of catalysts in chemical reactions. In this work, we present a comprehensive analysis of the power and limitation of such thermal catalysis. Specifically, we provide a family of optimal catalysts that can be returned with minimal trace distance error after facilitating a state transformation process. To incorporate the genuine physical role of a catalyst, we identify very significant restrictions on arbitrary state transformations under dimension or mean energy bounds, using methods of convex relaxations. We discuss the implication of these findings on possible thermodynamic state transformations in the quantum regime.

quant-ph↗