Ties-A. Ohst’s research while affiliated with University of Siegen and other places

Quantum memory effects are essential in understanding and controlling open quantum systems, yet distinguishing them from classical memory remains challenging. We introduce a convex geometric framework to analyze quantum memory propagating in non-Markovian processes. We prove that classical memory between two time points is fundamentally bounded and introduce a robustness measure for quantum memory based on convex geometry. This admits an efficient experimental characterization by linear witnesses of quantum memory, bypassing full process tomography. We prove that any memory effects present in the spontaneous emission process of two- and three-level atomic systems are necessarily quantum, suggesting a pervasive role of quantum memory in quantum optics. Giant artificial atoms are discussed as a readily available test platform.

Understanding quantum phenomena that go beyond classical concepts is a focus of modern quantum physics. Here, we show how the theory of non-negative polynomials emerging around Hilbert's 17th problem, can be used to optimally exploit data capturing the nonclassical nature of light. Specifically, we show that non-negative polynomials can reveal nonclassicality in data even when it is hidden from standard detection methods up to now. Moreover, the abstract language of non-negative polynomials also leads to a unified mathematical approach to nonclassicality for light and spin systems, allowing us to map methods for one to the other. Conversely, the physical problems arising also inspire several mathematical insights into characterization of non-negative polynomials.

Quantum memories are a crucial precondition in many protocols for processing quantum information. A fundamental problem that illustrates this statement is given by the task of channel discrimination, in which an unknown channel drawn from a known random ensemble should be determined by applying it for a single time. In this paper, we characterise the quality of channel discrimination protocols when the quantum memory, quantified by the auxiliary dimension, is limited. This is achieved by formulating the problem in terms of separable quantum states with additional affine constraints that all of their factors in each separable decomposition obey. We discuss the computation of upper and lower bounds to the solutions of such problems which allow for new insights into the role of memory in channel discrimination. In addition to the single-copy scenario, this methodological insight allows to systematically characterise quantum and classical memories in adaptive channel discrimination protocols. Especially, our methods enabled us to identify channel discrimination scenarios where classical or quantum memory is required, and to identify the hierarchical and non-hierarchical relationships within adaptive channel discrimination protocols.

We develop the theory of Wigner representations for general probabilistic theories (GPTs), a large class of operational theories that include both classical and quantum theory. The Wigner representations that we introduce are a natural way to describe the theory in terms of some fixed observables; these observables are often picked to be position and momentum or spin observables. This allows us to introduce symmetries which transform the outcomes of the observables used to construct the Wigner representation; we obtain several results for when these symmetries are well defined or when they uniquely specify the Wigner representation.

The concept of entanglement and separability of quantum states is relevant for several fields in physics. Still, there is a lack of effective operational methods to characterise these features. We propose a method to certify quantum separability of two- and multiparticle quantum systems based on an adaptive polytope approximation. This leads to an algorithm which, for practical purposes, conclusively recognises two-particle separability for small and medium-size dimensions. For multiparticle systems, the approach allows to characterise full separability for up to five qubits or three qutrits; in addition, different classes of entanglement can be distinguished. Finally, our methods allow to identify systematically quantum states with interesting entanglement properties, such as maximally robust states which are separable for all bipartitions, but not fully separable.

We develop the theory of Wigner representations for a large class of operational theories that include both classical and quantum theory. The Wigner representations that we introduce are a natural way to describe the theory in terms of some fixed observables; these observables are often picked to be position and momentum or spin observables. This allows us to introduce symmetries which transform the outcomes of the observables used to construct the Wigner representation; we obtain several results for when these symmetries are well defined or when they uniquely specify the Wigner representation.

The concept of entanglement and separability of quantum states is relevant for several fields in physics. Still, there is a lack of effective operational methods to characterise these features. We propose a method to certify quantum separability of two- and multiparticle quantum systems based on an adaptive polytope approximation. This leads to an algorithm which, for practical purposes, conclusively recognises two-particle separability for small and medium-size dimensions. For multiparticle systems, the approach allows to characterise full separability for up to five qubits or three qutrits; in addition, different classes of entanglement can be distinguished. Finally, our methods allow to identify systematically quantum states with interesting entanglement properties, such as maximally robust states which are separable for all bipartitions, but not fully separable.