English
Related papers

Related papers: Bargmann Scenarios

200 papers

We derive the invariant measure on the manifold of multimode quantum Gaussian states, induced by the Haar measure on the group of Gaussian unitary transformations. To this end, by introducing a bipartition of the system in two disjoint…

Quantum Physics · Physics 2013-01-07 C. Lupo , S. Mancini , A. De Pasquale , P. Facchi , G. Florio , S. Pascazio

Measurements with randomly chosen settings determine many important properties of quantum states without the need for a shared reference frame or calibration. They naturally emerge in the context of quantum communication and quantum…

We consider concurrent systems consisting of a finite but unknown number of components, that are replicated instances of a given set of finite state automata. The components communicate by executing interactions which are simultaneous…

Formal Languages and Automata Theory · Computer Science 2019-02-08 Marius Bozga , Radu Iosif , Joseph Sifakis

Bohmian mechanics provides an explanation of quantum phenomena in terms of point particles guided by wave functions. This review focuses on the formalism of non-relativistic Bohmian mechanics, rather than its interpretation. Although the…

Quantum Physics · Physics 2014-10-21 A. Benseny , G. Albareda , A. S. Sanz , J. Mompart , X. Oriols

We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components communicate by executing atomic interactions whose participants…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-08 Marius Bozga , Javier Esparza , Radu Iosif , Joseph Sifakis , Christoph Welzel

Based on the theory of quantum mechanics, intrinsic randomness in measurement distinguishes quantum effects from classical ones. From the perspective of states, this quantum feature can be summarized as coherence or superposition in a…

Quantum Physics · Physics 2017-04-03 Xiao Yuan , Hongyi Zhou , Zhu Cao , Xiongfeng Ma

We introduce a procedure based on quantum expectation values of measurement observables to characterize quantum coherence. Our measure allows one to quantify coherence without having to perform tomography of the quantum state, and can be…

A quantization over a manifold can be seen as a way to construct a differential operator with prescribed principal symbol. The quantization map is moreover required to be a linear bijection. It is known that there is in general no natural…

Differential Geometry · Mathematics 2008-11-25 Pierre Mathonet , Fabian Radoux

In this paper, we investigate the probabilistic formal verification of stochastic dynamical systems over continuous state spaces. Motivated by problems in state estimation and information-flow security, we introduce the notion of…

Systems and Control · Electrical Eng. & Systems 2026-04-07 Bohan Cui , Jianing Zhao , Yu Chen , Alessandro Abate , Marta Kwiatkowska , Xiang Yin

Quantum coherence, a basic feature of quantum mechanics residing in superpositions of quantum states, is a resource for quantum information processing. Coherence emerges in a fundamentally different way for nonidentical and identical…

This article reports on a program to obtain and understand coherent states for general systems. Most recently this has included supersymmetric systems. A byproduct of this work has been studies of squeezed and supersqueezed states. To…

High Energy Physics - Theory · Physics 2016-10-03 Michael Martin Nieto

Shape invariance is a powerful solvability condition, that allows for complete knowledge of the energy spectrum, and eigenfunctions of a system. After a short introduction into the deformation quantization formalism, this paper explores the…

Quantum Physics · Physics 2013-05-03 Constantin Rasinariu

In this paper we introduce a criterion for the characterization of Entanglement Witness for multipartite quantum systems. Our approach is based on the characterization of the "tangent space" to the set of pure product states.

Quantum Physics · Physics 2012-10-30 Fabio Masillo

In a recent work, arXiv:2503.05884, we proposed a unified notion of nonclassicality that applies to arbitrary processes in quantum theory, including individual quantum states, measurements, channels, set of these, etc. This notion is…

Quantum Physics · Physics 2025-04-07 Yujie Zhang , Yìlè Yīng , David Schmid

Quantum coherence, present whenever a quantum system exists in a superposition of multiple classically distinct states, marks one of the fundamental departures from classical physics. Quantum coherence has recently been investigated…

The purpose of this tutorial is to give a brief introduction to linear quantum control systems. The mathematical model of linear quantum control systems is presented first, then some fundamental control-theoretic notions such as stability,…

Quantum Physics · Physics 2022-05-26 Guofeng Zhang , Zhiyuan Dong

A Lagrangian formulation is constructed for particle interpretations of quantum mechanics, a well-known example of such an interpretation being the Bohm model. The advantages of such a description are that the equations for particle motion,…

Quantum Physics · Physics 2017-07-03 Roderick Sutherland

Quantum measurements can produce randomness arising from the uncertainty principle. When measuring a state with von Neumann measurements, the intrinsic randomness can be quantified by the quantum coherence of the state on the measurement…

Quantum Physics · Physics 2022-03-17 Hao Dai , Boyang Chen , Xingjian Zhang , Xiongfeng Ma

We study entanglement-related properties of random quantum states which are unitarily invariant, in the sense that their distribution is left unchanged by conjugation with arbitrary unitary operators. In the large matrix size limit, the…

Mathematical Physics · Physics 2018-07-09 Ion Nechita

Variational quantum computing offers a flexible computational paradigm with applications in diverse areas. However, a key obstacle to realizing their potential is the Barren Plateau (BP) phenomenon. When a model exhibits a BP, its parameter…