arXiv ScienceSearch

arXiv subjects

Giulio Chiribella

Publications and source records attributed to Giulio Chiribella.

At least 19 recordsLinked to original sources

Higher-order quantum thermodynamics: equilibrium and causal structure

Quantum thermodynamics is traditionally formulated as a theory of equilibrium states and state transformations. Recent advances in higher-order quantum transformations, which describe physical scenarios beyond states and channels and provide a systematic framework for causal order, raise the question of how equilibrium should be defined and preserved in this more general setting. Starting from the Gibbs state as the unique equilibrium state, we identify equilibrium preservation as its natural higher-order extension. We show that, while this principle can in general give rise to distinct classes of transformations, all such distinctions disappear when equilibrium preservation is required completely, namely under arbitrary ancillary extensions. Remarkably, every transformation satisfying this condition is causally ordered, making causal order an emergent consequence of thermodynamic equilibrium. We establish this result for arbitrary higher-order maps and use the resulting framework to introduce free-energy-like quantities for quantum channels. Our findings reveal a fundamental connection between thermodynamic equilibrium and causal structure, providing a foundation for a fully fledged theory of higher-order quantum thermodynamics.

quant-ph

Virtual quantum neural networks

Quantum neural networks are a prominent model of quantum machine learning. Their training consists in the minimization of a given loss function over a parametrized family of quantum circuits, mathematically described by unitary operators, or, more generally, completely positive linear maps. In this work, we extend the notion of quantum neural network, using random sampling and classical data processing to enlarge the optimization space in a way that includes linear combinations of completely positive maps. Our extended model, called virtual quantum neural networks, leverages its enlarged optimization space to achieve increased expressivity and improved noise robustness. These benefits are illustrated in three representative tasks: quantum error mitigation, binary classification, and estimation of ground-state energies. Overall, virtual quantum neural networks offer a flexible learning paradigm that expands the space of achievable computations and strengthens the applications of near-term quantum hardware.

quant-ph

Monoidal su-categories

We introduce monoidal su-categories, an abstract categorical notion of single-input higher-order process over a monoidal category. The definition separates a base category C of lower-order processes from a monoidal category V of holes or supermaps and axiomatizes the compatibility needed for partial application to bipartite processes. For a fixed monoidal base C, monoidal su-categories, monoidal su-functors, and monoidal su-natural transformations form a 2-category MonSuCatC. We then show that the category Optic[C] of coend optics is 2-initial in this 2-category, giving an alternative universal-property characterisation of coend optics as the minimal monoidal theory of single-hole contexts.

math.CT

Learning to Reconstruct Wigner Functions in Phase Space

Wigner function learning is a central tool for characterizing continuous variable quantum systems. A fundamental challenge in this setting is to infer a continuous phase-space function from sparse pointwise measurement data, a task that becomes increasingly demanding as the effective dimension enlarges. Here, we develop a general machine learning framework to reconstruct Wigner functions directly as continuous functions from sparse phase-space data. For states with sparse Fock-space or coherent-state representations, such as binomial code states and cat states, we devise provably efficient regression models whose measurement complexity scales only logarithmically with the effective Hilbert-space dimension. For more general states, such as the Gottesman-Kitaev-Preskill (GKP) states, we design a deep learning model that reconstructs the Wigner function from sparse measurements and generalizes to arbitrary phase-space resolution. We demonstrate the broad applicability of our framework on both simulated data and experimental data from a circuit quantum electrodynamic (circuit-QED) system. Interestingly, on experimental data, we find that our model reconstructs Wigner functions of GKP code states across multiple rounds of quantum error correction and identifies the dominant error process using significantly fewer measurements than conventional estimation techniques.

quant-ph

Quantum learning with a single-atom sensor

The ability to gather information and to act upon it is at the core of every learning agent. But what is the impact of quantum mechanics on an agent's ability to sense external inputs and to translate them into actions? Here we address the question for a prototype task of learning agency at the quantum scale: rotating a single spin based on information gathered by a single atom. We determine the ultimate performance limit for this task, revealing a fundamental tradeoff between entanglement at the sensing stage and coherence at the action stage: if the single-atom sensor is not entangled with the quantum system serving as the agent's internal memory, then the best learning strategy requires a coherent transfer of quantum information from the sensor to the system that controls the agent's actions. In contrast, if the sensor is initially entangled with the agent's memory, then the transfer of quantum information is no longer necessary. Our results indicate that the quantum properties of the sensor radically affect the optimal way to convert external stimuli into actions, revealing a link between quantum sensing and the behavior of quantum agents.

quant-ph

Experimental violation of a Bell-like inequality for causal order

Quantum mechanics is compatible with scenarios where physical processes happen in an indefinite order. In theory, this feature could be detected through violations of inequalities on the observed correlations, analogous to Bell inequalities. However, experimental demonstrations of such violations have been missing until recently due to the complexity of the required setup. Here we report an experimental violation of a Bell-like inequality involving the correlations of four parties, one of which is spacelike separated from the others. Our demonstration employs 3 km fiber spools to simulate spacelike separation, and achieves high-speed operations in photonic time-bin encoding, nanosecond synchronization, and accurate temperature stabilization. These experimental advances enable a violation by 5.7 standard deviations and open a path towards a certification of indefinite order in conditions that guarantee spacelike separation with existing state-of-the-art devices. However, the certification is not device-independent, as it relies on knowledge about the setup to exclude bidirectional signaling--a loophole inherent to implementations in classical acyclic spacetimes, which may be resolved in future quantum-spacetime tests.

quant-ph

On-Chip Quantum Randomness Amplification

Randomness amplification, the task of extracting uniform private bits from biased seeds that may be partly known by a malicious third party, is of central importance in cryptography. The highest security in this task is provided by a class of quantum protocols known as device-independent, which however are challenging to integrate into scalable devices. Semi-device-independent (SDI) protocols are a promising alternative that guarantees security under few natural assumptions, such as bounds on the amount of energy used by the devices. Here, we provide the first demonstration of SDI randomness amplification on an integrated silicon photonic chip, achieving a throughput rate of 20 Mbps suitable for practical applications. This rate is achieved through a novel technique for SDI entropy certification, which delivers strictly tighter von Neumann entropy bounds compared to existing methods and remains valid even if the preparation and measurement devices share quantum correlations. Overall, the methods developed in this work enable the integration of SDI technology into portable telecom devices, opening up a new generation of quantum cryptographic hardware.

quant-ph

Bra-ket entanglement, an indicator bridging entanglement, magic, and coherence

Understanding the intricate interplay between distinct quantum resources is a fundamental prerequisite for rigorously characterizing the boundary between classical and quantum technologies. Among the vast landscape of quantum resources, entanglement, magic, and coherence have arguably attracted the most intense investigation. However, while universally recognized as the core drivers of quantum advantage, our understanding of their structural interplay remains fragmented and compartmentalized. In this work, we introduce an indicator called {\em bra-ket entanglement} (BKE) defined in the operator vectorization space to bridge all three quantum resources. Specifically, we show that BKE governs a resource dependence transition in the generation of entanglement: in the low-BKE regime, the growth of entanglement is dominated by coherence, largely independent of magic. However, as BKE increases, the dependence on coherence will gradually be replaced by a dependence on magic. Consequently, in the high-BKE regime, entanglement generation becomes dominated by magic, largely independent of coherence. These results are built on a series of new entropy-theoretic relations and are verified through numerical experiments. We also discuss implications of our results for the resource transitions in classical simulations of mixed states and marginal probabilities and for relating different classical simulation methods.

quant-ph

Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension

We provide a construction for holes into which morphisms of abstract symmetric monoidal categories can be inserted, termed the polyslot construction pslot[C], and identify a sub-class srep[C] of polyslots that are single-party representable. These constructions strengthen a previously introduced notion of locally-applicable transformation used to characterize quantum supermaps in a way that is sufficient to re-construct unitary supermaps directly from the monoidal structure of the category of unitaries. Both constructions furthermore freely reconstruct the enriched polycategorical semantics for quantum supermaps which allows to compose supermaps in sequence and in parallel whilst forbidding the creation of time-loops. By freely constructing key compositional features of supermaps, and characterizing supermaps in the finite-dimensional case, polyslots are proposed as a suitable generalization of unitary-supermaps to infinite dimensions and are shown to include canonical examples such as the quantum switch. Beyond specific applications to quantum-relevant categories, a general class of categorical structures termed path-contraction groupoids are defined on which the srep[C] and pslot[C] constructions are shown to coincide.

quant-ph

Quantum state determinability from local marginals is universally robust

A fundamental problem in quantum physics is to establish whether a multiparticle quantum state can be uniquely determined from its local marginals. In theory, this problem has been addressed in the exact case where the marginals are perfectly known. In practice, however, experiments only have access to finite statistics and therefore can only determine the marginals of a quantum state up to an error. In this Letter, we prove that unique determinability universally survives such local imperfections: specifically, for every uniquely determined state, we show that deviations of local marginals propagate to global states strictly bounded by a power law with exponent $α\in(0,1]$. This result induces a classification of multipartite quantum states by their power-law exponents, with linear scaling $α=1$ as the most favorable regime. We derive a necessary and sufficient criterion for linear robustness and translate it into an executable semidefinite-programming certification. Applying our theory, we prove that stabilizer states are inherently square-root robust and provide a complete robustness classification for the Dicke family. Finally, we exploit these results to construct a scalable two-local genuine multipartite entanglement witness, demonstrating the viability of this framework for broad practical applications.

quant-ph

The communication power of indefinite causal order

Quantum theory is in principle compatible with scenarios where physical processes occur in an indefinite order, potentially yielding advantages in a broad range of information processing tasks. However, advantages in communication, the most basic form of information processing, have so far remained controversial and hard to prove. Here we provide a framework for assessing the role of causal order in communication, by comparing different causal structures under the constraint that the allowed operations must not generate signaling from signaling-incapable devices. Using this framework, we establish a clear-cut advantage of indefinite causal order, and, at the same time, we identify a series of fundamental limits to the communication power of causal structures in quantum mechanics. Notably, we find that a special form of indefinite causal order, obtained by coherently controlling the order of two processes, enhances the transmission of classical messages in a one-shot scenario, but no quantum operation with indefinite order can offer advantages over shared entanglement when asymptotically many uses of the same communication device are employed. Overall, our results unveil non-trivial relations between communication, causal order, entanglement, and no-signaling quantum processes.

quant-ph

Power and limitations of distributed quantum state purification

Quantum state purification protocols, which mitigate noise by converting multiple copies of noisy quantum states into fewer copies with a lower noise level, have applications in quantum communication and computation with imperfect devices. Here, we systematically study the task of state purification in distributed quantum systems, demanding that purification be achieved by local operations and classical communication (LOCC). We prove that, in the presence of depolarizing noise, no LOCC purification protocol starting from two copies can work blindly for all the states in three important sets: the set of all pure two-qubit states, the set of all two-qubit maximally entangled states, and the Bell basis. In stark contrast, we show that a targeted, single-state purification is always achievable in the presence of depolarizing noise, and we provide an explicit analytical LOCC protocol for every given two-qubit state. For arbitrary finite sets of pure states and arbitrary noise profiles, we develop an optimization-based algorithm that systematically designs LOCC purification protocols, and we demonstrate it through concrete examples. Overall, our results identify both fundamental limitations and practical noise reduction strategies for distributed quantum information processing.

quant-ph

Compressing Quantum Fisher Information

We show that the quantum Fisher information about any phase parameter encoded in a family of pure quantum states can be faithfully compressed into a single qubit, accompanied by a logarithmic amount of classical bits. When the phase is encoded into many identical copies of a qubit state on the equator of the Bloch sphere, we show that the compression can be implemented sequentially, by iteratively compressing pairs of qubits into a single qubit. We experimentally demonstrate this building block in a photonic setup, developing two alternative compression strategies, based on Type-I fusion gate and a postselected implementation of the CNOT gate.

quant-ph

Higher-order transformations of bidirectional quantum processes

Bidirectional devices are devices for which the roles of the input and output ports can be exchanged. Mathematically, these devices are described by bistochastic quantum channels, namely completely positive linear maps that are both trace-preserving and identity-preserving. Recently, it has been shown that bidirectional quantum devices can, in principle, be used in ways that are incompatible with a definite input-output direction, giving rise to a new phenomenon called input-output indefiniteness. Here we characterize the most general forms of input-output indefiniteness, associated with a hierarchy of higher-order transformations built from transformations of bistochastic quantum channels. Some levels of the hierarchy correspond to transformations that combine bistochastic channels in a definite causal order, while generally using each channel in an indefinite input-output direction. For other levels of the hierarchy, the indefiniteness can involve both the local input-output direction of each process and the global causal order among the processes. On the foundational side, the hierarchy of higher-order transformations characterized here can be regarded as the largest set of physical processes compatible with a time-symmetric variant of quantum theory, where the possible state transformations are restricted to bistochastic channels.

quant-ph

Information-theoretic derivation of energy, speed bounds, and quantum theory

We provide a derivation of quantum theory in which the existence of an energy observable that generates the reversible dynamics follows directly from information-theoretic principles. Our first principle is that every reversible dynamics is implementable through a collision model, i.e. a sequence of fast collisions with an array of identically prepared systems. Combined with four additional principles, known as causality, classical decomposability, purity preservation, and strong symmetry, the collision model pins down the quantum framework, sets up a one-to-one correspondence between energy observables and generators of the dynamics, and provides an information-theoretic derivation of the Mandelstam-Tamm bound on the speed of quantum evolutions.

quant-ph

A Mathematical Framework for Transformations of Physical Processes

We observe that the existence of sequential and parallel composition supermaps in higher order theories of transformations can be formalised using enriched category theory. Encouraged by relevant examples such as unitary supermaps and layers within higher order causal categories (HOCCs), we treat the modelling of higher order physical theories with enriched monoidal categories in analogy with the modelling of physical theories with monoidal categories. We use the enriched monoidal setting to construct a suitable definition of structure preserving map between higher order physical theories via the Grothendieck construction. We then show that the convenient feature of currying in higher order physical theories can be seen as a consequence of combining the primitive assumption of the existence of parallel and sequential composition supermaps with an additional feature of linking. We then use our definition of structure preserving map to show that categories containing infinite towers of enriched monoidal categories with full and faithful structure preserving maps between them inevitably lead to closed monoidal structures. The aim of the proposed definitions is to step towards providing a broad framework for the study and comparison of novel causal structures in quantum theory, and, more broadly, a paradigm of physical theory where static and dynamical features are treated in a unified way.

quant-ph

Quantum Supermaps are Characterized by Locality

We provide a new characterisation of quantum supermaps in terms of an axiom that refers only to sequential and parallel composition. Consequently, we generalize quantum supermaps to arbitrary monoidal categories and operational probabilistic theories. We do so by providing a simple definition of locally-applicable transformation on a monoidal category. The definition can be rephrased in the language of category theory using the principle of naturality, and can be given an intuitive diagrammatic representation in terms of which all proofs are presented. In our main technical contribution, we use this diagrammatic representation to show that locally-applicable transformations on quantum channels are in one-to-one correspondence with deterministic quantum supermaps. This alternative characterization of quantum supermaps is proven to work for more general multiple-input supermaps such as the quantum switch and on arbitrary normal convex spaces of quantum channels such as those defined by satisfaction of signaling constraints.

quant-ph

Anomalous heat flow and quantum Otto cycle with indefinite causal order

The principle that heat spontaneously flows from higher temperature to lower temperature is a cornerstone of classical thermodynamics, often assumed to be independent of the sequence of interactions. While this holds true for macroscopic systems at equilibrium, here we show that, when the order of interactions between two identical thermalization channels is indefinite, an anomalous heat flow emerges, whereby heat can sometime flow from a colder entity to a hotter one. Taking advantage of this anomalous heat flow, we design a quantum Otto cycle with indefinite causal order, which not only achieves refrigeration but also generates work. The anomalous heat flow and the quantum Otto cycle are experimentally simulated in a photonic quantum setup, which provides a proof-of-principle demonstration of the theory.

quant-ph