arXiv Science⌕ Search

arXiv subjects

Francesco Buscemi

Publications and source records attributed to Francesco Buscemi.

At least 19 recordsLinked to original sources

Quantum f-divergences from retrodictive tests: a unifying classical variational principle

A single classical f-divergence has several inequivalent quantum versions, but what distinguishes them operationally is less clear. Matsumoto's reverse tests characterize the maximal quantum f-divergence as the least classical distinguishability needed to prepare two quantum states with one device. Here we introduce retrodictive tests, in which two reverse tests sharing a reference state are coupled via Bayesian retrodiction to define a forward and a reverse stochastic process. In the forward process, the system is prepared by the first device and measured by the Petz transpose of the second; the reverse process interchanges their roles. We seek the least classical distinguishability between these two processes, as measured by the f-divergence between their joint laws, for fixed prescribed states and reference. For full-rank states in finite dimension, we prove that the canonical spectral implementations attain this minimum simultaneously for every operator-convex f. The reference then determines which quantum f-divergence is obtained: a flat reference gives the standard divergences, with the Nussbaum--Szkoła distributions as optimal joint laws; either prescribed state as reference recovers Matsumoto's reverse tests and the maximal divergences; and power references give the geodesic family. In particular, the Umegaki and Belavkin--Staszewski relative entropies arise from the same classical variational principle under different choices of reference. Spectral optimality extends to processes containing a quantum channel; for channels with full-rank Choi operator, the minimum of the forward relative entropy agrees with a known average entropy production.

quant-ph↗

Inevitability of the Petz transpose map

Bayes' rule is central to classical statistical inference: given a prior and a stochastic model, it determines the corresponding retrodictive conditional probabilities. In quantum theory, however, the question of whether an equally general rule of retrodiction exists and, if so, whether it is uniquely determined remains nontrivial. Here we prove that a retrodiction assignment defined for all priors and channels, which takes each predicted output state back to its prior, must coincide with the Petz transpose map if it is involutive, respects sequential and parallel composition, and agrees with unitary inversion. The theorem holds for channels between finite-dimensional full matrix algebras, with the input and output spaces restricted to the supports of the corresponding reference states. In particular, affinity under probabilistic mixtures and the characteristic square-root dependence on the reference states follow from these requirements rather than being postulated. Without involutivity, the remaining requirements characterize a family of doubly rotated Petz maps. Our result thus explains why the Petz transpose map arises in seemingly different areas of quantum theory: it is the unique quantum analogue of Bayes' rule compatible with these consistency requirements.

quant-ph↗

Quantum measurement retrodiction and entropic uncertainty relations

We study quantum measurement retrodiction using the principle of minimum change. For quantum-to-classical measurement channels, we show that all standard quantum divergences select the same retrodictive update, yielding a unique and divergence-independent quantum Bayesian inverse for any POVM and prior state. Using this update, we construct a symmetric joint distribution for pairs of POVMs and introduce the mutual retrodictability, for which we also derive a general upper bound that depends only on the prior state and holds for all measurements. This structure leads to two retrodictive entropic uncertainty relations, expressed directly in terms of the prior state and the POVMs, but valid independently of the retrodictive framework and fully compatible with the conventional operational interpretation of entropic uncertainty relations. Finally, we benchmark these relations numerically and find that they provide consistently tighter bounds than existing entropic uncertainty relations over broad classes of measurements and states.

quant-ph↗

Genuine Information Backflow Requires Noncommuting Initial System States

The Gorini-Kossakowski-Lindblad-Sudarshan (GKLS) equation, a cornerstone of open-system theory, describes Markovian semigroup dynamics in which information about the initial preparation cannot revive. Beyond this regime, information revivals are widely interpreted as backflow from a non-Markovian environment. However, a decrease followed by an increase in information retrievable from the system need not imply that information has returned from the environment [PRX Quantum 6, 020316 (2025)]. It may instead arise from noise correlations unrelated to the system's initial preparation, carried by inert degrees of freedom that never interact with the system and therefore cannot mediate backflow. Such revivals are called extrinsic; genuine backflow is reserved for revivals that cannot be explained this way. The framework developed in that work, however, assumes access to arbitrary initial system states, an assumption often incompatible with physical constraints or limited experimental control. This leaves open which properties of the available preparations are necessary for an information revival to certify genuine backflow. Here we extend the framework to allow the description of restricted families of initial states and show that genuine backflow is possible only if the family contains noncommuting states. If all available states commute, as in a classical stochastic process, every revival can be explained by a suitable inert extension and is therefore extrinsic. Noncommutativity of the available system states is thus necessary for information revivals to provide an operational signature of environmental memory.

quant-ph↗

Witnessing Quantum Bayesian Inference beyond Classical Learning

Can an agent's predictions reveal whether its reasoning is based on a classical or a quantum model? Using known results on matrix factorizations, here we show that quantum Bayesian retrodiction can produce one-step-ahead forecasts incompatible with every classical Bayesian explanation based on learning about a fixed but unknown sampling law from conditionally independent observations. The separation has a sharp threshold in the number of outcomes: for any measurement with at most four outcomes, the quantum predictions admit a classical realization, irrespective of the prior state and the finite Hilbert-space dimension, whereas a five-outcome measurement on a single qubit already violates an explicit classical bound. This bound holds for arbitrary classical latent states, prior probabilities, and sampling laws, and involves only the agent's initial and updated predictions. Thus, in this setting, quantum Bayesian retrodiction is strictly more expressive than classical Bayesian learning, and this difference can be witnessed without observing or specifying the agent's internal description.

quant-ph↗

When Classical Correlations Certify Entanglement Recovery

Entanglement and state distinguishability have long been central topics in quantum foundations. While each has developed into a rich subject in its own right, they can be connected through measurements in complementary bases. This connection provides insights into quantum and classical correlations and underlies many information-processing tasks, most notably quantum error correction (QEC). However, it has remained largely open whether the connection between entanglement and distinguishability extends to general measurements without assuming complementarity. We answer this question in the affirmative: the key is irreducibility induced by measurements, a much more relaxed condition than complementarity. Specifically, for POVMs satisfying an irreducibility condition, we establish a quantitative relation between the infidelity of one-sided local transformation into a maximally entangled state and the failure probability in state discrimination. We then characterize when both errors can vanish simultaneously. Our results have direct applications to entanglement distillation and QEC. Their errors can be certified by estimating classical input-output correlations from experimentally accessible local measurements, without requiring complementarity. The results also extend to quantum measurement theory. We derive novel trade-off relations that bridge two historically distinct approaches: information gain--irreversibility and observable noise--disturbance. Our connection between entanglement and distinguishability via irreducibility thus offers a common framework for entanglement distillation, QEC, and measurement trade-offs.

quant-ph↗

One-Shot Non-Catalytic Distributed Purity Distillation

Pure states are an important resource in many quantum information processing protocols. However, even making a fixed pure state, say $|0\rangle$, in the laboratory requires a considerable amount of effort. Often one ends up with a mixed state $ρ$ whose classical description is nevertheless known. Hence it is important to develop protocols that extract a fixed pure state from a known mixed state. In this work, we study the problem of extracting a fixed pure state $|0\rangle^{A'} |0\rangle^{B'}$ from a known pure state $ρ^{AB}$ distributed between two parties $A$ and $B$. Here, $A'$, $B'$ are subspaces of $A$, $B$ and the total amount of purity extracted is $\log |A'| + \log |B'|$. The parties can borrow local pure ancilla, apply local unitary operations and send a message from $A$ to $B$ through a dephasing channel. If local pure ancilla is borrowed, it must be subtracted in order to properly account for the purity extracted. We obtain the most efficient achievable bounds on one shot distributed purity extraction, in terms of the rate of local ancilla borrowed by the protocol, while distilling pure qubits at the best known rate. Our protocols borrow little to no local pure ancilla. Our bounds improve upon the existing bounds for this problem in both one shot as well as asymptotic iid settings. In particular they subsume all the asymptotic iid results of Devetak and Krovi-Devetak. In addition, we derive upper bounds for the rate of distillation in the one shot setting, which nearly match our achievable bounds.

quant-ph↗

Quantifying Measurement Objectivity: A Retrodictive Approach

When can one interpret the outcomes of a quantum measurement as revealing a pre-existing objective property? Using the recently developed formalism of quantum measurement retrodiction, we provide a quantitative treatment of this question: for any POVM and faithful prior state, we construct a positive semidefinite bilinear form that quantifies the non-objectivity of every real-valued outcome feature through the disagreement between its predictive value and its retrodictive counterpart. We show that this form decomposes exactly into the sum of two positive semidefinite bilinear forms: an unsharpness form and an asymmetry form given by Wigner--Yanase skew information. The total form vanishes precisely on those outcome features that can be interpreted, relative to the prior, as revealing pre-existing properties; in particular, it vanishes identically if and only if the POVM is sharp and commutes with the prior. Finally, under maps that preserve the prior and are covariant under its modular group, asymmetry cannot increase, and any loss of asymmetry is offset by at least as much unsharpness, so that total non-objectivity cannot decrease.

quant-ph↗

A quantum entropy production operator

We introduce a fully quantum notion of entropy production based on the non-commutative extension of the classical log-ratio between forward and reverse processes. Given a pair of quantum objects associated with the forward and reverse descriptions, we define a Hermitian entropy-production operator whose expectation value is non-negative and equal to the Belavkin--Staszewski relative entropy. The operator satisfies exact integral and detailed fluctuation theorems without requiring commutativity. We then specialize this construction to the case in which the forward process is described by a single quantum channel and the reverse process is defined inferentially, through Bayesian retrodiction relative to a prior state, with the Petz transpose map as the Bayesian inverse. In this setting, the relevant quantities can be evaluated explicitly, leading to a number of natural structural and physical properties. The framework recovers the classical formula in the commutative limit, yields explicit expressions for the average entropy production, and clarifies where the fully quantum case departs from standard thermodynamic expectations.

quant-ph↗

Thermodynamic closure of quantum measurements and the limits of the indirect measurement model

We investigate the consequences of requiring that a quantum measurement admit an adiabatic enclosure, so that it can be assigned a genuine thermodynamic description in which energy exchange is meaningfully resolved into work and heat. We identify two inequivalent levels at which such thermodynamic closure can be imposed: at the level of the measurement instrument acting on the system, or at the level of the indirect measurement process realising the instrument, namely the interaction between the system and a measuring apparatus, possibly including arbitrarily large environments. Although every instrument admits a unitary dilation, we show that such a construction does not generally provide an admissible thermodynamic closure. This distinction is especially dramatic for efficient measurements, i.e., measurements that are completely purity-preserving and described by a single Kraus operator, including von Neumann--Lüders and square-root state-update rules. While efficient measurements are compatible with the laws of thermodynamics when thermodynamic closure is imposed at the level of the instrument, they are categorically forbidden when closure is imposed at the level of the measurement process. Our results therefore reveal a fundamental tension between thermodynamics and the universal applicability of the unitary interaction-based indirect measurement model.

quant-ph↗

Macroscopicity and observational deficit in states, operations, and correlations

To understand the emergence of macroscopic irreversibility from microscopic reversible dynamics, the idea of coarse-graining plays a fundamental role. In this work, we develop a unified inferential framework for macroscopic states, that is, coarse descriptions of microscopic quantum systems that can be inferred from macroscopic measurements. Building on quantum statistical sufficiency and Bayesian retrodiction, we characterize macroscopic states through equivalent abstract (algebraic) and explicit (constructive) formulations. Central to our approach is the notion of observational deficit, which quantifies the degree of irretrodictability of a state relative to a prior and a measurement. This leads to a general definition of macroscopic entropy as an inferentially grounded measure of asymmetry under Bayesian inversion. We formalize this structure in terms of inferential reference frames, defined by the pair consisting of a prior and a measurement, which encapsulate the observer's informational perspective. We then formulate a resource theory of microscopicity, treating macroscopic states as free states and introducing a hierarchy of microscopicity-non-generating operations. This theory unifies and extends existing resource theories of coherence, athermality, and asymmetry. Finally, we apply the framework to study quantum correlations under observational constraints, introducing the notion of observational discord and deriving necessary and sufficient conditions for their vanishing in terms of information recoverability. This work is dedicated to Professor Ryszard Horodecki on the occasion of his 80th birthday, in deep admiration and gratitude for his pioneering contributions to quantum information theory.

quant-ph↗

On the generic increase of observational entropy in isolated systems

Observational entropy -- a quantity that unifies Boltzmann's entropy, Gibbs' entropy, von Neumann's macroscopic entropy, and the diagonal entropy -- has recently been argued to play a key role in a modern formulation of statistical mechanics. Here, relying on algebraic techniques taken from Petz's theory of statistical sufficiency and on a Lévy-type concentration bound, we prove rigorous theorems showing how the observational entropy of a system undergoing a unitary evolution chosen at random tends to increase with overwhelming probability and to reach its maximum very quickly. More precisely, we show that for any observation that is sufficiently coarse with respect to the size of the system, regardless of the initial state of the system (be it pure or mixed), random evolution renders its state practically indistinguishable from the uniform (i.e., maximally mixed) distribution with a probability approaching one as the size of the system grows. The same conclusion holds not only for random evolutions sampled according to the unitarily invariant Haar distribution, but also for approximate 2-designs, which are thought to provide a more physically and computationally reasonable model of random evolutions.

quant-ph↗

Catalytic channels are the only noise-robust catalytic processes

Catalysis refers to the possibility of enabling otherwise inaccessible quantum state transitions by supplying an auxiliary system, provided that the auxiliary is returned to its initial state at the end of the protocol. We show that previous studies on catalysis are largely impractical, because even small errors in the system's initial state can irreversibly degrade the catalyst. To overcome this limitation, we introduce robust catalytic transformations and explore the fundamental extent of their capabilities. We demonstrate that robust catalysis is closely tied to the property of resource broadcasting. In particular, in completely resource non-generating theories, robust catalysis is possible if and only if resource broadcasting is possible. We develop a no-go theorem under a set of general axioms, demonstrating that robust catalysis is unattainable for a broad class of quantum resource theories. However, surprisingly, we also identify thermodynamical scenarios where maximal robust catalytic advantage can be achieved. Our approach clarifies the practical prospects of catalytic advantage for a wide range of quantum resources, including entanglement, coherence, thermodynamics, magic, and imaginarity.

quant-ph↗

Virtual phase-covariant quantum broadcasting for qubits

Virtual maps allow the simulation of quantum operations by combining physical processes with classical post-processing. Recent work on virtual unitary covariant broadcasting has shown, however, that such maps remain impractical for observable estimation tasks due to poor sample efficiency. Here we investigate whether relaxing the symmetry requirements can improve operational performance, focusing on virtual phase-covariant quantum broadcasting for qubits. We show that imposing phase-covariance, flip covariance, permutation invariance, and classical consistency fully determines the structure of the broadcasting map. Within this family, we identify the unique map that minimizes the simulation cost, and we prove that both the simulation cost and the distance to the closest CPTP map are strictly smaller than in the unitary covariant setting. We also demonstrate that the closest physical map is the optimal phase-covariant cloning channel, mirroring the relation between unitary covariant broadcasting and universal cloning. Despite these improvements, the resulting virtual broadcasting map remains sample-inefficient and is therefore still operationally impractical.

quant-ph↗

Quantum Bayes' rule and Petz transpose map from the minimum change principle

Bayes' rule, which is routinely used to update beliefs based on new evidence, can be derived from a principle of minimum change. This principle states that updated beliefs must be consistent with new data, while deviating minimally from the prior belief. Here, we introduce a quantum analog of the minimum change principle and use it to derive a quantum Bayes' rule by minimizing the change between two quantum input-output processes, not just their marginals. This is analogous to the classical case, where Bayes' rule is obtained by minimizing several distances between the joint input-output distributions. When the change maximizes the fidelity, the quantum minimum change principle has a unique solution, and the resulting quantum Bayes' rule recovers the Petz transpose map in many cases.

quant-ph↗

Port-based telecloning of an unknown quantum state

Telecloning is a protocol introduced by Murao et al. [Phys. Rev. A 59, 156 (1999)] to distribute copies of an unknown quantum state to many receivers in a way that beats the trivial ``clone-and-teleport'' protocol. In the last decade, a new type of teleportation called port-based teleportation, in which the receiver can recover the state without having to actively perform correction operations, but simply by looking at the correct port, has been widely studied. In this paper, we consider the analog of telecloning, where conventional teleportation is replaced by the port-based variant. To achieve this, we generalize the optimal measurement used in port-based teleportation and develop a new one that achieves port-based telecloning. Numerical results show that, in certain cases, the proposed protocol is strictly better than the trivial clone-and-teleport approach.

quant-ph↗

Causal and Non-Causal Revivals of Information: A New Regime of Non-Markovianity in Quantum Stochastic Processes

The study of information revivals, witnessing the violation of certain data-processing inequalities, has provided an important paradigm in the study of non-Markovian quantum stochastic processes. Although often used interchangeably, we argue here that the notions of ``revivals'' and ``backflows'', i.e., flows of information from the environment back into the system, are distinct: an information revival can occur without any backflow ever taking place. In this paper, we examine in detail the phenomenon of non-causal revivals and relate them to the theory of short Markov chains and squashed non-Markovianity. We also provide an operational condition, in terms of system-only degrees of freedom, to witness the presence of genuine backflow that cannot be explained by non-causal revivals. As a byproduct, we demonstrate that focusing on processes with genuine backflows, while excluding those with only non-causal revivals, resolves the issue of non-convexity of Markovianity, thus enabling the construction of a convex resource theory of genuine quantum non-Markovianity.

quant-ph↗

Extension of the Alberti-Uhlmann criterion beyond qubit dichotomies

The Alberti-Uhlmann criterion states that any given qubit dichotomy can be transformed into any other given qubit dichotomy by a quantum channel if and only if the testing region of the former dichotomy includes the testing region of the latter dichotomy. Here, we generalize the Alberti-Uhlmann criterion to the case of arbitrary number of qubit or qutrit states. We also derive an analogous result for the case of qubit or qutrit measurements with arbitrary number of elements. We demonstrate the possibility of applying our criterion in a semi-device independent way.

quant-ph↗