Using the Hilbert–Schmidt (HS) decomposition we suggest new possible choices of Bell operators and entanglement witnesses (EWs) for [Formula: see text] ([Formula: see text]) qubits systems for (full/bi) separability. The latter give upper bounds for (full/bi) separability. Also using the HS decomposition, we find explicitly (full/bi) separable forms for some qubits states which give lower bounds for (full/bi) separability. When the lower bounds and upper bounds coincide it means that the EW is optimal. In the case of full separability, the positive transpose method can sometimes give optimal results. As concrete examples, we give results for the GHZ(3), [Formula: see text] and cluster [Formula: see text] states.

We study the quantum-mechanical uncertainty relation originating from the successive measurement of two observables  and B̂, with eigenvalues a_n and b_m, respectively, performed on the same system. We use an extension of the von Neumann model of measurement, in which two probes interact with the same system proper at two successive times, so we can exhibit how the disturbing effect of the first interaction affects the second measurement. Detecting the statistical properties of the second probe variable Q_2 conditioned on the first probe measurement yielding Q_1 we obtain information on the statistical distribution of the system variable b_m conditioned on having found the system variable a_n in the interval δ a around a^(n). The width of this statistical distribution as function of δ a constitutes an uncertainty relation. We find a general connection of this uncertainty relation with the commutator of the two observables that have been measured successively. We illustrate this relation for the successive measurement of position and momentum in the discrete and in the continuous cases and, within a model, for the successive measurement of a more general class of observables.

We review classical properties of harmonic-oscillator coherent states. Then we discuss which of these classical properties are preserved under the group-theoretic generalization of coherent states. We prove that the generalized coherent states of quantum systems with Lie-group symmetries are the unique Bell states, i.e., the pure quantum states preserving the fundamental classical property of satisfying Bell's inequality upon splitting.

We treat separability of 3 (and more) qubits states. Especially we discuss density matrices with maximally disordered subsystems (MDS), by using Hilbert-Schmidt (HS) decompositions, where in the general case these density matrices include 27 HS parameters. By using 'unfolding methods', the MDS tensors are converted into matrices and by applying singular values decompositions (SVD) to these matrices the number of the parameters for treating full separability, in the general MDS case, is reduced to 9, and under the condition that the sum of the absolute values of these parameters is not larger than 1, we conclude that the density matrix is fully separable. In order to know if density matrices with MDS are separable, one needs to check with 9 parameters at a time and not with all 27 parameters. We use also Frobenius (l(2)) norms. For treating bi-separability of 3-qubits MDS density matrices, the 27 HS parameters are divided into 9 triads. If the sum of the nine l(2) norms for these triads is not larger than 1, we conclude that the density matrix is bi-separable. Weanalyze the relations between 3 qubits MDS density matrices and the method of high order singular value decomposition (HOSVD). We demonstrate the use of our methods in examples. For 3-qubits states which are non MDS the HS decomposition includes up to 63 parameters. If the sum of the absolute values of all the HS parameters is not larger than 1, we conclude that the density matrix is fully separable, and we have explicit expressions for their separability. For the systems of GHZ and W states mixed with white noise we find a simple way to reduce the sum of the absolute values of the HS parameters and get better conditions for their full separability.

We study the Weyl–Wigner transform in the case of discrete variables defined in a Hilbert space of finite prime-number dimensionality N. We define a family of Weyl–Wigner transforms as function of a phase parameter. We show that it is only for a specific value of the parameter that all the properties we have examined have a parallel with the case of continuous variables defined in an infinite-dimensional Hilbert space. A geometrical interpretation is briefly discussed.

Explicit separability of general two qubits density matrices is related to Lorentz transformations. We use the 4-dimensional form R(u,v=0,1,2,3) of the Hilbert-Schmidt (HS) decomposition of the density matrix. For the generic case in which Lorentz transformations diagonalize R(u,v=0,1,2,3) (into s(0),s(1),s(2),s(3)) we give relations between the R parameters and the s parameters. In particular we consider two cases: a) Two qubits density matrices with one pair of linear terms in the HS decomposition. b) Two qubits density matrices with two or three symmetric pairs of linear terms. Some of the theoretical results are demonstrated by numerical calculations. The four non-generic cases (which may be reduced to case a) are analyzed and the non-generic property is related explicitly to Lorentz velocity beta=1 which is not reachable physically

We use the method of group contractions to relate wavelets analysis and Gabor analysis. Wavelets analysis is associated with unitary irreducible representations of the affine group while Gabor analysis is associated with unitary irreducible representations of the Heisenberg group. We obtain unitary irreducible representations of the Heisenberg group as contractions of representations of the extended affine group. Furthermore, we use these contractions to relate the two analyses, namely we contract coherent states, resolutions of the identity, and tight frames. In order to obtain the standard Gabor frame we construct a family of time localized wavelets frames that contract to that Gabor frame. Starting from a standard wavelets frame we construct a family of frequency localized wavelets frames that contract to a nonstandard Gabor frame. In particular we deform Gabor frames to wavelets frames.

Finite plane geometry is associated with finite dimensional Hilbert space. The association allows mapping of q-number Hilbert space observables to the c-number formalism of quantum mechanics in phase space. The mapped entities reflect geometrically based line-point interrelation. Particularly simple formulas are involved when use is made of mutually unbiased bases (MUB) representations for the Hilbert space entries. The geometry specifies a point-line interrelation. Thus underpinning d-dimensional Hilbert space operators (resp. states) with geometrical points leads to operators termed "line operators" underpinned by the geometrical lines. These "line operators", $\hat{L}_j;$ (j designates the line) form a complete orthogonal basis for Hilbert space operators. The representation of Hilbert space operators in terms of these operators form the phase space representation of the d-dimensional Hilbert space. The "line operators" (resp. "line states") are studied in detail. The paper aims at self sufficiency and to this end all relevant notions are explained herewith.

Hilbert-Schmidt (HS) decompositions and Frobenius norms are used to analyze biseparability of 3-qubit systems, with particular emphasis on density matrices with maximally disordered subsystems (MDS) and on theW state mixed with white noise. The biseparable form of aMDSdensity matrix is obtained by using the Bell states of a 2-qubit subsystem, multiplied by density matrices of the third qubit, which include the relevant HS parameters. Using our methods, a sufficient condition and explicit biseparability of the W state mixed with white noise are given. They are compared with the sufficient condition for explicit full separability given in a previous work.

Projective (Von Neumann) Measurement of an operator (i.e. a dynamical variable) selected from a prescribed set of operators is termed unrecorded measurement (URM) when both the selected operator and the measurement outcome are unknown, i.e. "lost".Within classical physics a URM is completely inconsequential: the state is unaffected by measurement.Within quantum physics a measurement leaves a mark.The present study provides protocols that allow retrieval of some of the data lost in a URM.

Hilbert-Schmidt (HS) decompositions are employed for analyzing systems of n-qubits, and a qubit with a qudit. Negative eigenvalues, obtained by partial-transpose (PT) plus local unitary transformations (PTU) for one qubit from the whole system, are used for indicating inseparability. A sufficient criterion for full separability of the n-qubits and qubit-qudit systems is given. We use the singular value decomposition (SVD) for improving the criterion for full separability. General properties of entanglement and separability are analyzed for a system of a qubit and a qudit and n-qubits systems, with emphasis on maximally disordered subsystems (MDS) (i.e., density matrices rho(MDS) for which tracing over any subsystem gives the unit density matrix). A sufficient condition that rho(MDS) is not separable is that it has an eigenvalue larger than 1/d for a qubit and a qudit, and larger than 1/2^(n-1) for n-qubits system. The PTU transformation does not change the eigenvalues of the n-qubits MDS density matrices for odd n. Thus the Peres-Horodecki criterion does not give any information about entanglement of these density matrices, but this criterion is useful for indicating inseparability for even n. The changes of the entanglement and separability properties of the GHZ state, the Braid entangled state and the W state by mixing them with white noise are analyzed by the use of the present methods. The entanglement and separability properties of the GHZ-diagonal density matrices, composed of mixture of 8 GHZ density matrices with probabilities p(i), is analyzed as function of these probabilities. In some cases we show that the Peres-Horodecki criterion is both sufficient and necessary.

In this work we present the simplest generic form of the propagator for the time-dependent quadratic Hamiltonian. We manifest the simplicity of our method by giving explicitly the propagators for a free particle in time-dependent electric field and the Paul trap. Exact transition amplitudes and uncertainties are calculated analytically for the Paul trap and harmonic oscillator (HO). The results show that near the instability regions very large quantum mechanical uncertainties are obtained as demonstrated in a special figure. The method is also applied to calculating the trajectory of a classical forced time-dependent HO.

Explicitly separable density matrices are constructed for all separable two-qubits states based on Hilbert-Schmidt (HS) decompositions. For density matrices which include only two-qubits correlations the number of HS parameters is reduced to 3 by using local rotations, and for two-qubits states which include single qubit measurements, the number of parameters is reduced to 4 by local Lorentz transformations. For both cases we related the absolute values of the HS parameters to probabilities, and the outer products of various Pauli matrices were transformed to pure states density matrices products. Simple necessary and sufficient conditions for separability are derived. We discuss related problems for three qubits. For n-qubits correlation systems the sufficient condition for separability may be improved by local transformations, related to high order singular value decompositions.

A Lie algebraic method for propagation of the Wigner quasi-distribution function (QDF) under quadratic Hamiltonian was presented by Zoubi and Ben-Aryeh. We show that the same method can be used in order to propagate a rather general class of QDFs, which we call the "Gaussian class." This class contains as special cases the well-known Wigner, Husimi, Glauber, and Kirkwood-Rihaczek QDFs. We present some examples of the calculation of the time evolution of those functions.

For any skew-Hermitian integrable irreducible infinite dimensional representation η of iso(3), we find a sequence of (finite dimensional) irreducible representations ρ_n of so(4) which contract to η.

The mean King problem is a conditional retrodiction problem. In this problem Alice prepares a two prime-dimensional particles state and avails one of the particles to the King who measures its state in one of mutually unbiased bases of his choice. The King tells Alice his choice of basis after she completes a control measurement on his particle. Conditioned on this knowledge, she now infers the state observed by the King by utilizing the outcome of her control measurement. In the extended mean King problem, studied in this paper, the King does not tell Alice his measurement basis, but instead both the King and Alice repeat their measurements. Proper ordering of these allows Alice to deduce both the basis used by the King and the outcome of his first measurement, with the King reticent throughout, i.e., this protocol effects a complete (almost) retrodiction of the King's first measurement.

Large quantum uncertainties for the Paul trap are obtained near the stability border. These results are important as a trapped ion can be stored only as long as the fluctuations are smaller than the trap dimensions. Exact transition probabilities for the forced Paul trap and harmonic oscillator are also obtained based on a simplified version of the propagator for time-dependent harmonic oscillator. The results have important implications, e.g., the methods of mass spectrometry can be applied only in the region of small fluctuations, which can be calculated exactly by our method. The classical trajectory of a general forced harmonic oscillator is also calculated which may exhibit chaotic behavior.

In classical mechanics, performing a measurement without reading the measurement outcome is equivalent to not exploiting the measurement at all. A nonselective measurement in the classical realm carries no information. Here we show that the situation is remarkably different when quantum mechanical systems are concerned. A nonselective measurement on one part of a maximally entangled pair can allow communication between two parties. In the proposed protocol, the signal is encoded in the choice of the measurement basis of one of the communicating parties, while the outcomes of the measurement are irrelevant for the communication and therefore may be discarded. Different choices for the (nonselective) measurement correspond to different signals. The implication of the study of measurements in quantum mechanics is considered. The scheme is studied in a Hilbert space of prime dimension.

For any. Inonu-Wigner contraction of a three-dimensional Lie algebra we construct the corresponding contractions of representations. Our method is quite canonical in the sense that in all cases we deal with realizations of the representations on some spaces of functions; we contract the differential operators on those spaces along with the representation spaces themselves by taking certain pointwise limit of functions. We call such contractions strong contractions. We show that this pointwise limit gives rise to a direct limit space. Many of these contractions are new and in other examples we give a different proof.

In this paper the frequently used procedures for contraction of Lie algebra representations which were introduced by Inönü and Wigner are reformulated using the notion of direct limit. A definition for contraction of Lie algebra representations based on this reformulation is given. The contractions of the skew-Hermitian irreducible representations of so(3) to those of iso(2) and of iso(1,1) to those of Heisenberg Lie algebra are given as examples.