arXiv subjects

Bárbara Amaral

Publications and source records attributed to Bárbara Amaral.

8 recordsLinked to original sources

arXiv2026

Canonical quantization for Equilibrium Thermodynamics

We formulate a canonical quantization of Equilibrium Thermodynamics by applying Dirac's theory of constrained systems. Thermodynamic variables are treated as conjugate pairs of coordinates and momenta, allowing extensive and intensive quantities to be promoted to operators in a Hilbert space. The formalism is applied to the ideal gas, the van der Waals gas, and the photon gas, illustrating both first- and second-class quantization procedures. For the ideal gas, a Schrödinger-like equation emerges in which entropy plays the role of time, and the wave function acquires a phase determined by the internal energy. A pseudo-Hermitian framework restores Hermiticity of the temperature operator and establishes the equivalence among constraint realizations. The approach naturally leads to thermodynamic uncertainty relations and suggests extensions to quantum and topological phase transitions, as well as black-hole and non-equilibrium thermodynamics.

quant-ph↗

arXiv2025

k-Uniform complete hypergraph states stabilizers in terms of local operators

In this work, we present a novel method to express the stabilizer of a k-uniform complete hypergraph state as a linear combination of local operators. Quantum hypergraph states generalize graph states and exhibit properties that are not shared by their graph counterparts, most notably, their stabilizers are intrinsically nonlocal, as hyperedges can involve arbitrary subsets of vertices. Our formulation provides an explicit description of the stabilizers for k-uniform complete hypergraphs and may offer new insights for exploring these states within the stabilizer formalism. In particular, this approach could facilitate the construction of new Bell inequalities or find applications in quantum error correction.

quant-ph↗

arXiv2025

Sufficiency of the counterfactual account of Lüders' rule to rule out ontological models of quantum mechanics

Ontological models, as used in the generalised contextuality literature, play a central role in current research on quantum foundations, providing a framework for defining classicality, constructing classical analogues of key quantum phenomena, and examining the ontology of quantum states. In this work, we show that a counterfactual account of Lüders' rule -- which we argue is naturally implied by the mathematical structure of the rule itself -- renders such models inherently incompatible with the quantum formalism. This incompatibility arises because the counterfactual update requires ontological models to update their states according to conditional probability, which in turn which in turn renders predictions of sequential measurements order-independent. This implies that ontological models, even contextual ones, must either act differently to what we would expect given (this, typically implicitly-assumed account of) quantum state update rule, or cannot model quantum behaviour.

quant-ph↗

arXiv2025

Deterministic Underlying States are incompatible with a Counterfactual account of Lüders' rule

In this work, we show that a counterfactual account of L"uders' rule -- which we argue is naturally implied by the mathematical structure of the rule itself -- rules out underlying-state models of quantum mechanics (a type of hidden-variable model, typically used in the contextuality and nonlocality literature, where quantum states are treated as probability measures over ``better-defined states''). This incompatibility arises because the counterfactual update requires ontological models to update their states according to conditional probability, which in turn establishes an equivalence between compatibility and the existence of such models.

quant-ph↗

arXiv2025

Contextuality in anomalous heat flow

In classical thermodynamics, heat must spontaneously flow from hot to cold systems. In quantum thermodynamics, the same law applies when considering multipartite product thermal states evolving unitarily. If initial correlations are present, anomalous heat flow can happen, temporarily making cold thermal states colder and hot thermal states hotter. Such effect can happen due to entanglement, but also because of classical randomness, hence lacking a direct connection with nonclassicality. In this work, we introduce scenarios where anomalous heat flow \emph{does} have a direct link to nonclassicality, defined to be the failure of noncontextual models to explain experimental data. We start by extending known noncontextuality inequalities to a setup where sequential transformations are considered. We then show a class of quantum prepare-transform-measure protocols, characterized by time intervals $(0,τ_c)$ for a given critical time $τ_c$, where anomalous heat flow happens only if a noncontextuality inequality is violated. We also analyze a recent experiment from Micadei et. al. [Nat. Commun. 10, 2456 (2019)] and find the critical time $τ_c$ based on their experimental parameters. We conclude by investigating heat flow in the evolution of two qutrit systems, showing that our findings are not an artifact of using two-qubit systems.

quant-ph↗

arXiv2024

Convexity of noncontextual wirings and how they order the set of correlations

The resource theory of contextuality considers resourceful objects to be probabilistic data-tables, known as correlations or behaviors, that fail to have an explanation in terms of Kochen-Specker noncontextual models. In this work, we advance this resource theory, considering free operations to be noncontextual wirings (NCW). We show that all such wirings form a convex set. When restricted to Bell scenarios, we show that such wirings are not equivalent to local operations assisted by a common source of classical shared randomness (LOSR). The set of all NCW operations contains LOSR, but is strictly larger. We also prove several elementary facts about how different resources can be converted via NCW. As a concrete example, we show that there are pairs of behaviors that cannot be converted one into the other using NCW. Since resource conversion mathematically induces a pre-order over the set of all behaviors, our results reveal the intricate ordering induced by NCW in scenarios beyond Bell scenarios.

quant-ph↗

arXiv2023

Using a resource theoretic perspective to witness and engineer quantum generalized contextuality for prepare-and-measure scenarios

We employ the resource theory of generalized contextuality as a tool for analyzing the structure of prepare-and-measure scenarios. We argue that this framework simplifies proofs of quantum contextuality in complex scenarios and strengthens existing arguments regarding robustness of experimental implementations. As a case study, we demonstrate quantum contextuality associated with any nontrivial noncontextuality inequality for a class of useful scenarios by noticing a connection between the resource theory and measurement simulability. Additionally, we expose a formal composition rule that allows engineering complex scenarios from simpler ones. This approach provides insights into the noncontextual polytope structure for complex scenarios and facilitates the identification of possible quantum violations of noncontextuality inequalities.

quant-ph↗

arXiv2021

Emergence of noncontextuality under quantum Darwinism

Quantum Darwinism proposes that the proliferation of redundant information plays a major role in the emergence of objectivity out of the quantum world. Is this kind of objectivity necessarily classical? We show that if one takes Spekkens' notion of noncontextuality as the notion of classicality and the approach of Brandão, Piani and Horodecki to quantum Darwinism, the answer to the above question is `yes', if the environment encodes sufficiently well the proliferated information. Moreover, we propose a threshold on this encoding, above which one can unambiguously say that classical objectivity has emerged under quantum Darwinism.

quant-ph↗