Searcharxiv⌕ Search

arXiv subjects

Lluís Masanes

Publications and source records attributed to Lluís Masanes.

6 recordsLinked to original sources

Causally constrained quantum operator dynamics

Finding analytically tractable model systems for quantum ergodicity breaking in interacting systems remains a theoretical challenge. This paper presents an algebraic theory of robust ergodicity breaking in time-periodic unitary circuits under local causal constraints. Our model is based on constructing tripartite unitaries (we dub 'walls') that permanently arrest local operator spreading. We show that the structure of the resulting causally independent subsystems can be understood rigorously through the invariance of embedded operator algebras (i.e. super-operator symmetries). This formalism gives a natural identification of local conserved quantities and permits the generalisation to time-dependent dynamics. Using representation theory, the general form of unitaries exhibiting causal decoupling is derived from the automorphism group of the embedded algebra with links to quantum error-correcting codes. From the point of view of operator spreading, our theory is a minimal model for non-ergodic quantum-circuit dynamics, and we explore its effects on probes of many-body quantum chaos. We prove an entanglement area law due to causal constraints and discuss its stability against local measurements. In a random unitary ensemble with causally independent subsystems, we compare spectral correlations with those of the universal random matrix ensemble using the spectral form factor. Our results offer a rigorous understanding of locally constrained quantum dynamics from a quantum information perspective.

quant-ph↗

Response to "The measurement postulates of quantum mechanics are not redundant"

Adrian Kent has recently presented a critique [arXiv:2307.06191] of our paper [Nat. Comms. 10, 1361 (2019)] in which he claims to refute our main result: the measurement postulates of quantum mechanics can be derived from the rest of postulates, once we assume that the set of mixed states of a finite-dimensional Hilbert space is finite-dimensional. To construct his argument, Kent considers theories resulting from supplementing quantum mechanics with hypothetical "post-quantum" measurement devices. We prove that each of these theories contains pure states (i.e. states of maximal knowledge) which are not rays of the Hilbert space, in contradiction with the "pure state postulate" of quantum mechanics. We also prove that these alternatives violate the finite-dimensionality of mixed states. Each of these two facts separately invalidates the refutation. In this note we also clarify the assumptions used in [Nat. Comms. 10, 1361 (2019)] and discuss the notions of pure state, physical system, and the sensitivity of the structure of the state space under modifications of the measurements or the dynamics.

quant-ph↗

Reply to "Masanes-Galley-Müller and the State-Update Postulate"

In a recent comment on the arXiv, Blake C. Stacey criticizes our derivation of the quantum state update rule in Nat. Commun. 10, 1361 (2019). Here we argue that the criticism is unfounded. In particular, and in contrast to Stacey's claims, our proof does not assume linearity.

quant-ph↗

Cooling to absolute zero: The unattainability principle

The unattainability principle (UP) is an operational formulation of the third law of thermodynamics stating the impossibility to bring a system to its ground state in finite time. In this work, several recent derivations of the UP are presented, with a focus on the set of assumptions and allowed sets of operations under which the UP can be formally derived. First, we discuss derivations allowing for arbitrary unitary evolutions as the set of operations. There the aim is to provide fundamental bounds on the minimal achievable temperature, which are applicable with almost full generality. These bounds show that perfect cooling requires an infinite amount of a given resource -- worst-case work, heat bath's size and dimensionality or non-equilibrium states among others -- which can in turn be argued to imply that an infinite amount of time is required to access those resources. Secondly, we present derivations within a less general set of operations conceived to capture a broad class of currently available experimental settings. In particular, the UP is here derived within a model of linear and driven quantum refrigerators consisting on a network of harmonic oscillators coupled to several reservoirs at different temperatures.

quant-ph↗

The measurement postulates of quantum mechanics are operationally redundant

Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as "unitary quantum mechanics", and the assumption that ensembles on finite-dimensional Hilbert spaces are characterised by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.

quant-ph↗

SLOCC Convertibility between Two-Qubit States

In this paper we classify the four-qubit states that commute with $U\otimes{U}\otimes{V}\otimes{V}$, where $U$ and $V$ are arbitrary members of the Pauli group. We characterize the set of separable states for this class, in terms of a finite number of entanglement witnesses. Equivalently, we characterize the two-qubit, Bell-diagonal-preserving, completely positive maps that are separable. These separable completely positive maps correspond to protocols that can be implemented with stochastic local operations assisted by classical communication (SLOCC). This allows us to derive a complete set of SLOCC monotones for Bell-diagonal states, which, in turn, provides the necessary and sufficient conditions for converting one two-qubit state to another by SLOCC.

quant-ph↗