arXiv subjects

A. de Oliveira Junior

Publications and source records attributed to A. de Oliveira Junior.

At least 19 recordsLinked to original sources

arXiv2026

Quantum prepare-and-measure scenarios: concepts and methods

Prepare-and-measure scenarios are among the simplest and most widely used settings for quantum communication. A sender prepares a physical system in one of several possible states, which a receiver then measures. Despite this simple structure, these scenarios offer a rich framework for exploring the differences between classical and quantum communication, revealing quantum advantages, and developing protocols for quantum cryptography and device certification. In this tutorial, we give a ground-up introduction to prepare-and-measure scenarios and the methods used to study them. We introduce different frameworks for constraining and characterising communication, with an emphasis on semi-device-independent approaches to quantum information. We also cover modern convex-optimisation techniques for characterising the correlations achievable in these scenarios and illustrate how these tools can be applied in practice. Our aim is to give newcomers the conceptual and technical foundations needed to approach the current literature and apply prepare-and-measure methods in their own research. We conclude with a discussion of open problems and directions for future work.

quant-ph↗

arXiv2026

When Symmetry Suppresses Magic

Nonstabilizerness is a critical resource for quantum advantage, but evaluating it, especially for mixed states, requires superexponentially many samples in system size, making the problem NP-hard. While symmetries are known to reduce this complexity, it is unclear whether they also restrict the amount of magic. In this work, we provide an explicit example of such a symmetry by proving that the Robustness of Magic (RoM) for N-qubit X-states is at most $\sqrt{3}$. Leveraging this symmetry constraint, we introduce a computationally efficient method to lower-bound the RoM of arbitrary many-body states, demonstrating its utility on the ground states of a spin-1/2 Hamiltonian with system sizes well beyond the reach of exact evaluation. Furthermore, for Hamiltonians whose equilibrium states are X-states, we analytically derive the critical temperature at which magic emerges. Our work shows why certain symmetries constrain magic while others do not, provides a scalable lower-bounding method, and identifies a nontrivial regime where many-body nonstabilizerness is analytically solvable.

quant-ph↗

arXiv2026

The Prepare and Broadcast Scenario

We introduce the dimension-restricted prepare and broadcast (PAB) scenario, which generalizes standard prepare-and-measure frameworks. Here, the system prepared by a sender undergoes a broadcasting transformation before being locally measured by multiple receivers. We develop a hierarchy of classical, quantum, and nonsignalling models describing this scenario, characterize their corresponding correlation sets, and derive new families of Bell-like inequalities together with linear and semidefinite programming methods for their certification. First, assuming shared randomness, we prove that the hierarchy collapses into a single set whenever we consider only one measurement per party. Then, considering multiple possible measurements, we show that PAB scenarios allow the activation of nonclassicality, revealing genuinely nonclassical features in resources that admit classical descriptions in standard prepare-and-measure or Bell settings.

quant-ph↗

arXiv2026

The logical set of Gaussian states under the stabilizer subsystem decomposition

Universal quantum computation requires non-Gaussianity in continuous-variable systems and non-stabilizerness in discrete-variable systems. Yet, mapping a Gaussian state into the Gottesman-Kitaev-Preskill logical subspace can yield a logical qubit with non-stabilizer resources. To understand how the continuous-variable structure determines logical resources, we characterize the image of single-mode Gaussian states under the corresponding extraction channel, known as the stabilizer subsystem decomposition. Specifically, we derive series expressions for the logical Bloch vector and characterize the resulting reachable set, enabling an analytical treatment of the robustness of magic of the logical states. We then turn this geometric framework into a certification tool: by mapping a discrete-variable qubit witness to a continuous-variable squeezing witness, we obtain lower bounds on the squeezing of prepared states. We also show that ensembles of Gaussian states can violate both stabilizer and classical bounds. Violation of the stabilizer bound certifies the relational resource known as "set-magic," while violation of the classical bound enables the certification of cryptographic randomness at moderate squeezing.

quant-ph↗

arXiv2026

Privacy in continuous-variable distributed quantum sensing

Can a distributed network of quantum sensors estimate a global parameter while protecting every locally encoded value? We answer this question affirmatively by introducing and analysing a protocol for distributed quantum sensing in the continuous-variable regime. We consider a multipartite network in which an unknown local phase is imprinted at each node on a shared entangled Gaussian state. We show that the average phase can be estimated with high precision, exhibiting Heisenberg scaling in the total photon number, while individual phases are inaccessible. We further prove a no-go theorem showing that, for three or more parties, no finite-energy Gaussian probe can provide complete privacy of the average phase, meaning that all phase combinations orthogonal to the average remain entirely hidden. This identifies the two-party case as an exceptional Gaussian setting that can achieve complete privacy. We further investigate the impact of displacements and optical losses, revealing trade-offs between estimation accuracy and privacy. Finally, we benchmark the protocol against other continuous-variable resource states.

quant-ph↗

arXiv2026

Anomalous Local Heat Capacity and Bipartite Entanglement

The heat capacity of a system quantifies how it energetically responds to changes in temperature at equilibrium. Whilst this quantity is positive and even additive for non-interacting systems, self-gravitating systems such as stars or subsystems of strongly interacting quantum systems are known to have negative or anomalous specific heat capacities. In this work, we investigate how the presence of entanglement at equilibrium can influence how an interacting system responds energetically to changes in temperature. We examine the local heat capacity of interacting quantum systems providing an analytical understanding for when anomalies occur. Most interestingly, we find a connection between local heat capacity anomalies and entanglement by deriving a separability bound based on the fluctuations of local and interaction energies. We illustrate our results with two examples (i) a nearest neighbour spin-1/2 chain and (ii) two coupled quantum harmonic oscillators. Lastly, we provide an information-theoretic formula connecting mutual information and athermality to the non-additivity of the heat capacity. Our results provide model-independent thermodynamic entanglement detection bounds and insight into the relationship between quantum correlations and the heat capacity of quantum systems.

quant-ph↗

arXiv2026

Randomness Certification and Trade-offs in the Prepare-and-Broadcast Scenario

We investigate the prepare-and-broadcast scenario, a multipartite extension of dimension-constrained prepare-and-measure experiments in which a quantum system is distributed to multiple receivers. We derive fundamental trade-offs between prepare-and-measure witnesses, Bell nonlocality, and quantum random access code performance. We further develop a semi-device-independent randomness certification framework based on prepare-and-broadcast witnesses, showing that the maximal quantum violation certifies two bits of joint randomness, exceeding the limit achievable from the CHSH inequality while remaining robust to noise. Finally, we show that the prepare-and-broadcast scenario naturally accommodates stronger adversarial models in which the eavesdropper retains a quantum system correlated with the measurement device, providing a natural framework for semi-device-independent randomness certification against quantum side information.

quant-ph↗

arXiv2026

Trading athermality for nonstabiliserness

Quantum advantage arises from quantum states that cannot be efficiently simulated on a classical computer. Such states are characterised by a property known as nonstabiliserness. In this work, we investigate whether nonstabiliserness can be generated by placing an initially stabiliser state in contact with a heat bath. Under minimal thermodynamic assumptions, we derive a necessary and sufficient condition for when this is possible. This yields an analytic characterisation of all nonstabiliser qubit states reachable through such thermal processes, together with explicit bounds on their nonstabiliserness. This, in turn, allows us to identify optimal regimes for generating this resource, including the Hamiltonians that maximise nonstabiliserness and the critical temperatures at which it emerges. Beyond the qubit case, we establish a general trade-off between the nonstabiliserness attainable under thermal operations and the initial nonequilibrium free energy of the system.

quant-ph↗

arXiv2026

Every Little Thing Heat Does Is Magic

How can one certify that an unknown quantum state possesses magic without resorting to full state tomography? We address this question by introducing two thermodynamic witnesses that rely solely on energy and heat measurements. First, we define the stabilizer ground-state energy as the lowest energy achievable by any stabilizer state, and the stabilizer gap as the separation between this value and the true ground-state energy. Any state whose energy lies below the stabilizer ground-state energy is therefore necessarily nonstabilizer. This leads to a direct witness of magic using only average-energy measurements. To overcome the limitations when direct energy measurements are inconclusive, we further develop a nonlinear witness based on heat exchange with a thermal ancilla. Specifically, we derive fundamental bounds on heat that are satisfied by all stabilizer states; therefore, their violation certifies the presence of magic. We demonstrate the effectiveness of our approach through several examples, ranging from few-body systems where heat exchange reveals nonstabilizerness even when energy measurements alone fail, to the transverse-field Ising chain, where the stabilizer gap becomes maximal at the quantum critical point.

quant-ph↗

arXiv2026

Semi-device-independent randomness certification on discretized continuous-variable platforms

Randomness is fundamental for secure communication and information processing. While continuous-variable optical systems offer an attractive platform for this task, certifying genuine quantum randomness in such setups remains challenging. We present a semi-device-independent scheme for randomness certification tailored to continuous-variable implementations, where the dimension assumption is operationally implemented by restricting state preparations to the two-level Fock subspace. Using standard homodyne and displacement-based measurements, we show that simple optical setups can achieve dimension-witness violations that certify positive min-entropy, even in the presence of realistic losses and misaligned reference frames. These results demonstrate that practical and scalable quantum randomness generation is achievable with minimal experimental complexity on continuous-variable platforms.

quant-ph↗

arXiv2026

Predicting Magic from Very Few Measurements

The nonstabilizerness of quantum states is a necessary resource for universal quantum computation, yet its characterization is notoriously demanding. Quantifying nonstabilizerness typically requires an exponential number of measurements and a doubly exponential classical post-processing cost to evaluate its standard monotones. In this work, we show that nonstabilizerness is, to a large extent, in the eyes of the beholder: it can be witnessed and quantified using any set of $m$ $n$-qubit Pauli measurements, provided the set contains anti-commuting pairs. We introduce a general framework that projects the stabilizer polytope onto the subspace defined by these observables and provide an algorithm that estimates magic from Pauli expectation values with runtime exponential in the number of measurements $m$ and polynomial in the number of qubits $n$. By relating the problem to a stabilizer-restricted variant of the quantum marginal problem, we also prove that deciding membership in the corresponding reduced stabilizer polytope is NP-hard. In particular, unless $\mathrm{P} = \mathrm{NP}$, no algorithm polynomial in $m$ can solve the problem in full generality, thus establishing fundamental complexity-theoretic limitations. Finally, we employ our framework to compute nonstabilizerness in different Hamiltonian ground states, demonstrating the practical performance of our method in regimes beyond the reach of existing techniques.

quant-ph↗

arXiv2026

Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

Bell tests based on homodyne detection are strongly constrained in continuous-variable systems. Can Gottesman-Kitaev-Preskill (GKP) encoding turn homodyne detection into a practical tool for revealing Bell nonlocality? We consider a physically motivated model in which each party performs homodyne detection and digitizes the continuous outcome via a fixed periodic binning, corresponding to logical Pauli measurements. Within this framework, we derive a bipartite no-go: CHSH cannot be violated for Bell-pair states. Moving beyond two parties, we show that finitely squeezed GKP-encoded GHZ and W states nevertheless exhibit strong multipartite nonlocality, violating multipartite Bell inequalities with homodyne-only readout. We quantify the required squeezing thresholds and robustness to loss, providing a route toward homodyne-based Bell tests in continuous-variable systems.

quant-ph↗

arXiv2025

Relative volume of comparable pairs under semigroup majorization

Any semigroup $\mathcal{S}$ of stochastic matrices induces a semigroup majorization relation $\prec^{\mathcal{S}}$ on the set $Δ_{n-1}$ of probability $n$-vectors. Pick $X,Y$ at random in $Δ_{n-1}$: what is the probability that $X$ and $Y$ are comparable under $\prec^{\mathcal{S}}$? We review recent asymptotic ($n\to\infty$) results and conjectures in the case of majorization relation (when $\mathcal{S}$ is the set of doubly stochastic matrices), discuss natural generalisations, and prove a new asymptotic result in the case of majorization, and new exact finite-$n$ formulae in the case of UT-majorization relation, i.e. when $\mathcal{S}$ is the set of upper-triangular stochastic matrices.

math-ph↗

arXiv2025

Reconstructing thermal states using dimensionally limited probes : A Model for Limited Control & Memory in Quantum Thermodynamics

Whilst the complexity of acquiring knowledge of a quantum state has been extensively studied in the fields of quantum tomography and quantum learning, a physical understanding of its operational role and cost in quantum thermodynamics is lacking. Knowledge is central to thermodynamics, as exemplified by Maxwell's demon thought experiment, where a demonic agent is able to extract paradoxical amounts of work -- reconciled by the thermodynamic costs of acquiring this knowledge. In this work, we address this gap by extending unitary models of measurement to incorporate the resources available to an agent. We view an agent's knowledge of a quantum state as their ability to reconstruct it unitarily given access to states with partial knowledge of the true state. In our model, an agent correlates an unknown $d$-dimensional system, with copies of a $k$-dimensional probe ($k\leq d$), which are then used to unitarily reconstruct an estimate state in $d$-dimensional memories. We find that this framework is a unitary representation of coarse-grained POVMs. As an application, we investigate the role of knowledge in an extended Szilard Engine scenario.

quant-ph↗

arXiv2025

A friendly guide to exorcising Maxwell's demon

The birth, life, and death of Maxwell's demon provoked a profound discussion about the interplay between thermodynamics, computation, and information. Even after its exorcism, the demon continues to inspire a multidisciplinary field. This tutorial offers a comprehensive overview of Maxwell's demon and its enduring influence, bridging classical concepts with modern insights in thermodynamics, information theory, and quantum mechanics.

quant-ph↗

arXiv2025

Heat as a witness of quantum properties

We present a new approach for witnessing quantum resources, such as entanglement and coherence, based on heat generation. Inspired by Maxwell's demon, we ask what the optimal heat exchange between a quantum system and a thermal environment is when the process is assisted by a quantum memory. We derive fundamental energy constraints in this scenario and show that quantum states can reveal non-classical signatures via heat exchange. This approach leads to a heat-based witness for quantum properties, offering an alternative to system-specific measurements, as it only relies on fixed energy measurements in a thermal ancilla. We illustrate our findings with the detection of entanglement in isotropic states and coherence in two-spin systems interacting with a single-mode electromagnetic field.

quant-ph↗

arXiv2024

Catalytic transformations for thermal operations

What are the fundamental limits and advantages of using a catalyst to aid thermodynamic transformations between quantum systems? In this work, we answer this question by focusing on transformations between energy-incoherent states under the most general energy-conserving interactions among the system, the catalyst, and a thermal environment. The sole constraint is that the catalyst must return unperturbed and uncorrelated with the other subsystems. More precisely, we first upper bound the set of states to which a given initial state can thermodynamically evolve (the catalysable future) or from which it can evolve (the catalysable past) with the help of a strict catalyst. Secondly, we derive lower bounds on the dimensionality required for the existence of catalysts under thermal process, along with bounds on the catalyst's state preparation. Finally, we quantify the catalytic advantage in terms of the volume of the catalysable future and demonstrate its utility in an exemplary task of generating entanglement and cooling a quantum system using thermal resources.

quant-ph↗

arXiv2024

Quantum catalysis in cavity quantum electrodynamics

Catalysis plays a key role in many scientific areas, most notably in chemistry and biology. Here we present a catalytic process in a paradigmatic quantum optics setup, namely the Jaynes-Cummings model, where an atom interacts with an optical cavity. The atom plays the role of the catalyst, and allows for the deterministic generation of non-classical light in the cavity. Considering a cavity prepared in a ``classical'' coherent state, and choosing appropriately the atomic state and the interaction time, we obtain an evolution with the following properties. First, the state of the cavity has been modified, and now features non-classicality, as witnessed by sub-Poissonian statistics or Wigner negativity. Second, the process is catalytic, in the sense that the atom is deterministically returned to its initial state exactly, and can be re-used multiple times. What is more, we also show that our findings are robust under dissipation and can be applied to scenarios featuring cavity loss and atomic decay. Finally, we investigate the mechanism of this catalytic process, in particular highlighting the key role of correlations and quantum coherence.

quant-ph↗