arXiv subjects
Publications and source records attributed to Dragomir Z Djokovic.
It is known that the $n$-qubit system has no unextendible product bases (UPBs) of cardinality $2^n-1$, $2^n-2$ and $2^n-3$. On the other hand the $n$-qubit UPBs of cardinality $2^n-4$ exist for all $n\ge3$. We prove that they do not exist for cardinality $2^n-5$.
An orthogonal product basis (OPB) of a finite-dimensional Hilbert space $H=H_1\otimes H_2\otimes\cdots\otimes H_n$ is an orthonormal basis of $H$ consisting of product vectors $x_1\otimes x_2\otimes\cdots\otimes x_n$. We show that the problem of classifying the OPBs of an $n$-qubit system can be reduced to a purely combinatorial problem. We solve this combinatorial problem in the case of four qubits and obtain 33 multiparameter families of OPBs. Each OPB of four qubits is equivalent, under local unitary operations and qubit permutations, to an OPB belonging to at least one of these families.
We investigate the separable states $\r$ of an arbitrary multipartite quantum system with Hilbert space $\cH$ of dimensionin $d$. The length $L(\r)$ of $\r$ is defined as the smallest number of pure product states having $\r$ as their mixture. The length filtration of the set of separable states, $\cS$, is the increasing chain $\emptyset\subset\cS'_1\subseteq\cS'_2\subseteq\cdots$, where $\cS'_i=\{\r\in\cS:L(\r)\le i\}$. We define the maximum length, $L_{\rm max}=\max_{\r\in\cS} L(\r)$, critical length, $L_{\rm crit}$, and yet another special length, $L_c$, which was defined by a simple formula in one of our previous papers. The critical length indicates the first term in the length filtrartion whose dimension is equal to $\dim\cS$. We show that in general $d\le L_c\le L_{\rm crit}\le L_{\rm max}\le d^2$. We conjecture that the equality $L_{\rm crit}=L_c$ holds for all finite-dimensional multipartite quantum systems. Our main result is that $L_{\rm crit}=L_c$ for the bipartite systems having a single qubit as one of the parties. This is accomplished by computing the rank of the Jacobian matrix of a suitable map having $\cS$ as its range.
We show that any bipartite quantum state of rank four is distillable, when the partial transpose of the state has at least one negative eigenvalue, i.e., the state is NPT. For this purpose we prove that if the partial transpose of a two-qutrit NPT state has two non-positive eigenvalues, then the state is distillable. We further construct a parametrized two-qutrit NPT entangled state of rank five which is not 1-distillable, and show that it is not $n$-distillable for any given $n$ when the parameter is sufficiently small. This state has the smallest rank among all 1-undistillable NPT states. We conjecture that the state is not distillable.
A $k$-ary charm bracelet is an equivalence class of length $n$ strings with the action on the indices by the additive group of the ring of integers modulo $n$ extended by the group of units. By applying an $O(n^3)$ amortized time algorithm to generate charm bracelet representatives with a specified content, we construct 29 new periodic Golay pairs of length $68$.
We construct a canonical form for pure states in $\bwe^3(\bC^6)$, the three-fermion system with six single particle states, under local unitary (LU) transformations, i.e., the unitary group $\Un(6)$. We also construct a minimal set of generators of the algebra of polynomial $\Un(6)$-invariants on $\bwe^3(\bC^6)$. It turns out that this algebra is isomorphic to the algebra of polynomial LU-invariants of three-qubits which are additionally invariant under qubit permutations. As a consequence of this surprising fact, we deduce that there is a one-to-one correspondence between the $\Un(6)$-orbits of pure three-fermion states in $\bwe^3(\bC^6)$ and the LU orbits of pure three-qubit states when qubit permutations are allowed. As an important byproduct, we obtain a new canonical form for pure three-qubit states under LU transformations $\Un(2)\times\Un(2)\times\Un(2)$ (no qubit permutations allowed).
Let F be an algebraically closed field of characteristic different from 2. We show that every nonsingular skew-symmetric n by n matrix X over F is orthogonally similar to a bidiagonal skew-symmetric matrix. In the singular case one has to allow some 4-diagonal blocks as well. If further the characteristic is 0, we construct the normal form for O_n(F)-similarity classes of skew-symmetric matrices. In this case the known normal forms (as presented in the well known book by Gantmacher) are quite different. Finally we study some related varieties of matrices. We prove that the variety of normalized nilpotent n by n bidiagonal matrices for n=2s+1 is irreducible of dimension s. As a consequence the skew-symmetric nilpotent bidiagonal n by n matrices are shown to form a variety of pure dimension s.