No Arabic abstract
We introduce a new density for the representation of quantum states on phase space. It is constructed as a weighted difference of two smooth probability densities using the Husimi function and first-order Hermite spectrograms. In contrast to the Wigner function, it is accessible by sampling strategies for positive densities. In the semiclassical regime, the new density allows to approximate expectation values to second order with respect to the high frequency parameter and is thus more accurate than the uncorrected Husimi function. As an application, we combine the new phase space density with Egorovs theorem for the numerical simulation of time-evolved quantum expectations by an ensemble of classical trajectories. We present supporting numerical experiments in different settings and dimensions.
In this paper, we investigate numerically a diffuse interface model for the Navier-Stokes equation with fluid-fluid interface when the fluids have different densities cite{Lowengrub1998}. Under minor reformulation of the system, we show that there is a continuous energy law underlying the system, assuming that all variables have reasonable regularities. It is shown in the literature that an energy law preserving method will perform better for multiphase problems. Thus for the reformulated system, we design a $C^0$ finite element method and a special temporal scheme where the energy law is preserved at the discrete level. Such a discrete energy law (almost the same as the continuous energy law) for this variable density two-phase flow model has never been established before with $C^0$ finite element. A Newtons method is introduced to linearise the highly non-linear system of our discretization scheme. Some numerical experiments are carried out using the adaptive mesh to investigate the scenario of coalescing and rising drops with differing density ratio. The snapshots for the evolution of the interface together with the adaptive mesh at different times are presented to show that the evolution, including the break-up/pinch-off of the drop, can be handled smoothly by our numerical scheme. The discrete energy functional for the system is examined to show that the energy law at the discrete level is preserved by our scheme.
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.
We compute Haar ensemble averages of ratios of random characteristic polynomials for the classical Lie groups K = O(N), SO(N), and USp(N). To that end, we start from the Clifford-Weyl algebera in its canonical realization on the complex of holomorphic differential forms for a C-vector space V. From it we construct the Fock representation of an orthosymplectic Lie superalgebra osp associated to V. Particular attention is paid to defining Howes oscillator semigroup and the representation that partially exponentiates the Lie algebra representation of sp in osp. In the process, by pushing the semigroup representation to its boundary and arguing by continuity, we provide a construction of the Shale-Weil-Segal representation of the metaplectic group. To deal with a product of n ratios of characteristic polynomials, we let V = C^n otimes C^N where C^N is equipped with its standard K-representation, and focus on the subspace of K-equivariant forms. By Howe duality, this is a highest-weight irreducible representation of the centralizer g of Lie(K) in osp. We identify the K-Haar expectation of n ratios with the character of this g-representation, which we show to be uniquely determined by analyticity, Weyl group invariance, certain weight constraints and a system of differential equations coming from the Laplace-Casimir invariants of g. We find an explicit solution to the problem posed by all these conditions. In this way we prove that the said Haar expectations are expressed by a Weyl-type character formula for all integers N ge 1. This completes earlier work by Conrey, Farmer, and Zirnbauer for the case of U(N).
R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. We report several novel observations regarding integrability of the Kahan-Hirota-Kimura discretization. For several of the most complicated cases for which integrability is known (Clebsch system, Kirchhoff system, and Lagrange top), - we give nice compact formulas for some of the more complicated integrals of motion and for the density of the invariant measure, and - we establish the existence of higher order Wronskian Hirota-Kimura bases, generating the full set of integrals of motion. While the first set of results admits nice algebraic proofs, the second one relies on computer algebra.
The concepts of independence and totalness of subspaces are introduced in the context of quasi-probability distributions in phase space, for quantum systems with finite-dimensional Hilbert space. It is shown that due to the non-distributivity of the lattice of subspaces, there are various levels of independence, from pairwise independence up to (full) independence. Pairwise totalness, totalness and other intermediate concepts are also introduced, which roughly express that the subspaces overlap strongly among themselves, and they cover the full Hilbert space. A duality between independence and totalness, that involves orthocomplementation (logical NOT operation), is discussed. Another approach to independence is also studied, using Rotas formalism on independent partitions of the Hilbert space. This is used to define informational independence, which is proved to be equivalent to independence. As an application, the pentagram (used in discussions on contextuality) is analyzed using these concepts.