We give a new mathematically rigorous proof for the fact that, when $S$ is a dense subset of $[0,2pi)$, the rotated quadrature operators $Q_theta$, $thetain S$, of a single mode electromagnetic field constitute an informationally complete set of observables.
A covariant phase space observable is uniquely characterized by a positive operator of trace one and, in turn, by the Fourier-Weyl transform of this operator. We study three properties of such observables, and characterize them in terms of the zero set of this transform. The first is informational completeness, for which it is necessary and sufficient that the zero set has dense complement. The second is a version of informational completeness for the Hilbert-Schmidt class, equivalent to the zero set being of measure zero, and the third, known as regularity, is equivalent to the zero set being empty. We give examples demonstrating that all three conditions are distinct. The three conditions are the special cases for $p=1,2,infty$ of a more general notion of $p$-regularity defined as the norm density of the span of translates of the operator in the Schatten-$p$ class. We show that the relation between zero sets and $p$-regularity can be mapped completely to the corresponding relation for functions in classical harmonic analysis.
In this paper we investigate the coupling properties of pairs of quadrature observables, showing that, apart from the Weyl relation, they share the same coupling properties as the position-momentum pair. In particular, they are complementary. We determine the marginal observables of a covariant phase space observable with respect to an arbitrary rotated reference frame, and observe that these marginal observables are unsharp quadrature observables. The related distributions constitute the Radon tranform of a phase space distribution of the covariant phase space observable. Since the quadrature distributions are the Radon transform of the Wigner function of a state, we also exhibit the relation between the quadrature observables and the tomography observable, and show how to construct the phase space observable from the quadrature observables. Finally, we give a method to measure together with a single measurement scheme any complementary pair of quadrature observables.
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing that if a set of clauses is unsatisfiable, then it must have a resolution refutation. As a consequence, none of these proofs actually gives an algorithm for producing a resolution refutation from an unsatisfiable set of clauses. In this note, we give a simple and constructive proof of the completeness of propositional resolution which consists of an algorithm together with a proof of its correctness.
In present work we study informational measures for the problem of interference of quantum particles. We demonstrate that diffraction picture in the far field, which is given by probability density of particle momentum distribution, represents a mixture of probability densities of corresponding Schmidt modes, while the number of modes is equal to the number of slits at the screen. Also, for the first time we introduce informational measures to study the quality of interference picture and analyze the relation between visibility of interference picture and Schmidt number. Furthermore, we consider interference aspects of the problem of a quantum particle tunneling between two potential wells. This framework is applied to describing various isotopic modifications of ammonia molecule. Finally, we calculate limits on the maximum possible degree of entanglement between quantum system and its environment, which is imposed by measurements
As an application of the simultaneous and continuous measurement of noncommutative observables formulated in our previous paper [C. Jiang and G. Watanabe, Phys. Rev. A 102, 062216 (2020)], we propose a scheme to generate the pure ideal quadrature squeezed state in an one-dimensional harmonic oscillator system by the feedback control based on such type of measurement of noncommutative quadrature observables. We find that, by appropriately setting the strengths of the measurement and the feedback control, the pure ideal quadrature squeezed state with arbitrary squeezedness can be produced. This is in contrast to the scheme based on the single-observable measurement and the feedback control, where only nonideal squeezed state with squeezing of the measured quadrature are produced.