There is no circulant weighing matrix of order 60 and weight 36
With the help of a computer, we prove the assertion made in the title.
Researcher profile
Dragomir Z. Djokovic
Dragomir Z. Djokovic contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
25works
0followers
7topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
25 published item(s)
preprint2013arXiv
Dimensions, lengths and separability in finite-dimensional quantum systems
Many important sets of normalized states in a multipartite quantum system of finite dimension d, such as the set S of all separable states, are real semialgebraic sets. We compute dimensions of many such sets in several low-dimensional systems. By using dimension arguments, we show that there exist separable states which are not convex combinations of d or less pure product states. For instance, such states exist in bipartite M x N systems when (M-1)(N-1)>1. This solves an open problem proposed in [J. Mod. Opt. 47 (2000), 377-385]. We prove that there exist a separable state rho and a pure product state, whose mixture has smaller length than that of rho. We show that any real rho in S, which is invariant under all partial transpose operations, is a convex sum of real pure product states. In the case of the 2 x N system, the number r of product states can be taken to be r=rank(rho). We also show that the general multipartite separability problem can be reduced to the case of real states. Regarding the separability problem, we propose two conjectures describing S as a semialgebraic set, which may eventually lead to an analytic solution in some low-dimensional systems such as 2 x 4, 3 x 3 and 2 x 2 x 2.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Four-qubit pure states as fermionic states
The embedding of the $n$-qubit space into the $n$-fermion space with $2n$ modes is a widely used method in studying various aspects of these systems. This simple mapping raises a crucial question: does the embedding preserve the entanglement structure? It is known that the answer is affirmative for $n=2$ and $n=3$. That is, under either local unitary (LU) operations or with respect to stochastic local operations and classical communication (SLOCC), there is a one-to-one correspondence between the 2- (or 3)-qubit orbits and the 2- (or 3)-fermion orbits with 4 (or 6) modes. However these results do not generalize as the mapping from the $n$-qubit orbits to the $n$-fermion orbits with $2n$ modes is no longer surjective for $n>3$. Here we consider the case of $n=4$. We show that surprisingly, the orbit mapping from qubits to fermions remains injective under SLOCC, and a similar result holds under LU for generic orbits. As a byproduct, we obtain a complete answer to the problem of SLOCC equivalence of pure 4-qubit states.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Proof of the Gour-Wallach conjecture
The absolute value of the hyperdeterminant of four qubits is a useful measure of genuine entanglement. We prove a recent conjecture of Gour and Wallach describing the pure maximally entangled four-qubit states with respect to this measure.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Properties and construction of extreme bipartite states having positive partial transpose
We consider a bipartite quantum system H_A x H_B with M=dim H_A and N=dim H_B. We study the set E of extreme points of the compact convex set of all states having positive partial transpose (PPT) and its subsets E_r={rho in E: rank rho=r}. Our main results pertain to the subsets E_r^{M,N} of E_r consisting of states whose reduced density operators have ranks M and N, respectively. The set E_1 is just the set of pure product states. It is known that E_r^{M,N} is empty for 1< r <= min(M,N) and for r=MN. We prove that also E_{MN-1}^{M,N} is empty. Leinaas, Myrheim and Sollid have conjectured that E_{M+N-2}^{M,N} is not empty for all M,N>2 and that E_r^{M,N} is empty for 1<r<M+N-2. We prove the first part of their conjecture. The second part is known to hold when min(M,N)=3 and we prove that it holds also when min(M,N)=4. This is a consequence of our result that E_{N+1}^{M,N} is empty if M,N>3. We introduce the notion of "good" states, show that all pure states are good and give a simple description of the good separable states. For a good state rho in E_{M+N-2}^{M,N}, we prove that the range of rho contains no product vectors and that the partial transpose of rho has rank M+N-2 as well. In the special case M=3, we construct good 3 x N extreme states of rank N+1 for all N>3.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Some new orders of Hadamard and skew-Hadamard matrices
We construct Hadamard matrices of orders 4x251 = 1004 and 4x631 = 2524, and skew-Hadamard matrices of orders 4x213 = 852 and 4x631 = 2524. As far as we know, such matrices have not been constructed previously. The constructions use the Goethals-Seidel array, suitable supplementary difference sets on a cyclic group and a new efficient matching algorithm based on hashing techniques.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Equivalence classes and canonical forms for two-qutrit entangled states of rank four having positive partial transpose
Let E' denote the set of non-normalized two-qutrit entangled states of rank four having positive partial transpose (PPT). We show that the set of SLOCC equivalence classes of states in E', equipped with the quotient topology, is homeomorphic to the quotient R/A_5 of the open rectangular box R in the Euclidean space R^4 by an action of the alternating group A_5. We construct an explicit map omega: Omega -> E', where Omega is the open positive orthant in R^4, whose image meets every SLOCC equivalence class E containeed in E'. Although the intersection of the image of omega and E is not necessarily a singleton set, it is always a finite set of cardinality at most 60. By abuse of language, we say that any state in this intersection is a canonical form of states rho in E. In particular, we show that all checkerboard PPT entangled states can be parametrized up to SLOCC equivalence by only two real parameters. We also summarize the known results on two-qutrit extreme PPT states and edge states, and examine which other interesting properties they may have. Thus we find the first examples of extreme PPT states whose rank is different from the rank of its partial transpose.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Generalization of Mirsky's theorem on diagonals and eigenvalues of matrices
Mirsky proved that, for the existence of a complex matrix with given eigenvalues and diagonal entries, the obvious necessary condition is also sufficient. We generalize this theorem to matrices over any field and provide a short proof. Moreover, we show that there is a unique companion-matrix-type solution for this problem.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
New results on D-optimal Matrices
We construct a number of new (v;r,s;lambda) supplementary difference sets (SDS) with v odd and lambda = (r+s)-(v-1)/2. In particular, these give rise to D-optimal matrices of the four new orders 206, 242, 262, 482 constructed here for the first time.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Qubit-qudit states with positive partial transpose
We show that the length of a qubit-qutrit separable state is equal to the max(r,s), where r is the rank of the state and s is the rank of its partial transpose. We refer to the ordered pair (r,s) as the birank of this state. We also construct examples of qubit-qutrit separable states of any feasible birank (r,s). We determine the closure of the set of normalized two-qutrit entangled states of rank four having positive partial transpose (PPT). The boundary of this set consists of all separable states of length at most four. We prove that the length of any qubit-qudit separable state of birank (d+1,d+1) is d+1. We also show that all qubit-qudit PPT entangled states of birank (d+1,d+1) can be built in a simple way from edge states. If V is a subspace of dimension k<d in the tensor product of C^2 and C^d such that V contains no product vectors, we show that the set of all product vectors in the orthogonal complement of V is a vector bundle of rank d-k over the projective line. Finally, we explicitly construct examples of qubit-qudit PPT states (both separable and entangled) of any feasible birank.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
A new Yang number and consequences
Base sequences BS(m,n) are quadruples (A;B;C;D) of {+1,-1}-sequences, A and B of length m and C and D of length n, the sum of whose non-periodic auto-correlation functions is zero. Base sequences and some special subclasses of BS(n+1,n) known as normal and near-normal sequences, NS(n) and NN(n), as well as T-sequences and orthogonal designs play a prominent role in modern constructions of Hadamard matrices. In our previous papers (see the references) we have classified the near-normal sequences NN(s) for all even integers s <= 32 (they do not exist for odd s>1). We now extend the classification to the case s=34. Moreover we construct the first example of near-normal sequences NN(36). Consequently, we construct for the first time T-sequences of length 73. For all smaller lengths, T-sequences were already known. Another consequence is that 73 is a Yang number, and a few important consequences of this fact are given.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Classification of base sequences BS(n+1,n)
Base sequences BS(n+1,n) are quadruples of {1,-1}-sequences (A;B;C;D), with A and B of length n+1 and C and D of length n, such that the sum of their nonperiodic autocorrelation functions is a delta-function. The base sequence conjecture, asserting that BS(n+1,n) exist for all n, is stronger than the famous Hadamard matrix conjecture. We introduce a new definition of equivalence for base sequences BS(n+1,n) and construct a canonical form. By using this canonical form, we have enumerated the equivalence classes of BS(n+1,n) for n <= 30. Due to excessive size of the equivalence classes, the tables in the paper cover only the cases n <= 13.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Classification of normal sequences
Base sequences BS(m,n) are quadruples (A;B;C;D) of {+1,-1}-sequences, with A and B of length m and C and D of length n, such that the sum of their nonperiodic autocorrelation functions is a delta-function. Normal sequences NS(n) are base sequences (A;B;C;D) in BS(n,n) such that A=B. We introduce a definition of equivalence for normal sequences NS(n), and construct a canonical form. By using this canonical form, we have enumerated the equivalence classes of NS(n) for n <= 40.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Generalized distillability conjecture and generalizations of Cauchy-Bunyakovsky-Schwarz inequality and Lagrange identity
Let rho_k, k=1,2,...,m, be the critical Werner state in a bipartite d_k by d_k quantum system, i.e., the one that separates the 1-distillable Werner states from those that are 1-indistillable. We propose a new conjecture (GDC) asserting that the tensor product of rho_k is 1-indistillable. This is much stronger than the familiar conjecture saying that a single critical Werner state is indistillable. We prove that GDC is true for arbitrary m provided that d_k is bigger than 2 for at most one index k. We reformulate GDC as an intriguing inequality for four arbitrary complex hypermatrices of type d_1 x ... x d_m. This hypermatrix inequality is just the special case n=2 of a more general conjecture (CBS conjecture) for 2n arbitrary complex hypermatrices of the same type. Surprisingly, the case n=1 turns out to be quite interesting as it provides hypermatrix generalization of the classical Lagrange identity. We also formulate the integral version of the CBS conjecture and derive the integral version of the hypermatrix Lagrange identity.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Hadamard matrices from base sequences: An example
There are several well-known methods that one can use to construct Hadamard matrices from base sequences BS(m,n). In view of the recent classification of base sequences BS(n+1,n) for n <= 30, it may be of interest to show on an example how prolific these methods are. For that purpose we have selected the Hadamard matrices of order 60. By using these methods and the transposition map we have constructed 1759 nonequivalent Hadamard matrices of order 60.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
On the base sequence conjecture
Let BS(m,n) denote the set of base sequences (A;B;C;D), with A and B of length m and C and D of length n. The base sequence conjecture (BSC) asserts that BS(n+1,n) exist (i.e., are non-empty) for all n. This is known to be true for n <= 36 and when n is a Golay number. We show that it is also true for n=37 and n=38. It is worth pointing out that BSC is stronger than the famous Hadamard matrix conjecture. In order to demonstrate the abundance of base sequences, we have previously attached to BS(n+1,n) a graph Gamma_n and computed the Gamma_n for n <= 27. We now extend these computations and determine the Gamma_n for n=28,...,35. We also propose a conjecture describing these graphs in general.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Small orders of Hadamard matrices and base sequences
We update the list of odd integers n<10000 for which an Hadamard matrix of order 4n is known to exist. We also exhibit the first example of base sequences BS(40,39). Consequently, there exist T-sequences TS(n) of length n=79. The first undecided case has the length n=97.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Some new near-normal sequences
The normal sequences NS(n) and near-normal sequences NN(n) play an important role in the construction of orthogonal designs and Hadamard matrices. They can be identified with certain base sequences (A;B;C;D), where A and B have length n+1 and C and D length n. C.H. Yang conjectured that near-normal sequences exist for all even n. While this has been confirmed for n not exceeding 30, so far nothing else was known for larger n. We show that NN(32) consists of 8 equivalence classes and we exhibit their representatives. We also construct representatives for two equivalence classes of NN(34). On the other hand our exhaustive computer searches show that NS(31) and NS(33) are void.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Symplectic polynomial invariants of one or two matrices of small size
The algebra of holomorphic polynomial Sp_{2n}-invariants of k complex 2n by 2n matrices (under diagonal conjugation action) is generated by the traces of words in these matrices and their symplectic adjoints. No concrete minimal generating set is known for this algebra apart from the cases n=1, when Sp_2=SL_2, and n=2, k=1. We construct such sets in the cases n=k=2 and n=3, k=1. In the latter case we also construct a homogeneous system of parameters and a Hironaka decomposition of the algebra.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
The checkerboard family of entangled states of two qutrits
By modifying the method of Bruss and Peres, we construct two new families of entangled two qutrit states. For all density matrices in these families the (i,j)th entry is 0 for i+j odd. The first family depends on 27 independent real parameters and includes both PPT and NPT states. The second family consists of PPT entangled states. The number of independent real parameters of this family is at least 11.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
Hadamard matrices of small order and Yang conjecture
We show that 138 odd values of n less than 10000 for which one knows how to construct a Hadamard matrix of order 4n have been overlooked in the recent handbook of combinatorial designs. There are four additional odd n, namely 191, 5767, 7081 and 8249, in that range for which we can construct a Hadamard matrix of order 4n. Our exhaustive computer searches show that the near-normal sequences NN(n) exist for n=36,38,40. Thus the Yang conjecture on the existence of NN(n) for all even n has been verified for n <= 40 but it still remains open.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
Rational Orthogonal versus Real Orthogonal
The main question we raise here is the following one: given a real orthogonal n by n matrix X, is it true that there exists a rational orthogonal matrix Y having the same zero-pattern? We conjecture that this is the case and prove it for n<=5. We also consider the related problem for symmetric orthogonal matrices.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
Supplementary difference sets with symmetry for Hadamard matrices
First we give an overview of the known supplementary difference sets (SDS) (A_i), i=1..4, with parameters (n;k_i;d), where k_i=|A_i| and each A_i is either symmetric or skew and k_1 + ... + k_4 = n + d. Five new Williamson matrices over the elementary abelian groups of order 25, 27 and 49 are constructed. New examples of skew Hadamard matrices of order 4n for n=47,61,127 are presented. The last of these is obtained from a (127,57,76)-difference family that we have constructed. An old non-published example of G-matrices of order 37 is also included.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
Universal subspaces for compact Lie groups
For a representation of a connected compact Lie group G in a finite dimensional real vector space U and a subspace V of U, invariant under a maximal torus of G, we obtain a sufficient condition for V to meet all G-orbits in U, which is also necessary in certain cases. The proof makes use of the cohomology of flag manifolds and the invariant theory of Weyl groups. Then we apply our condition to the conjugation representations of U(n), Sp(n), and SO(n) in the space of $n\times n$ matrices over C, H, and R, respectively. In particular, we obtain an interesting generalization of Schur's triangularization theorem.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
Zero patterns and unitary similarity
A subspace of the space, L(n), of traceless complex $n\times n$ matrices can be specified by requiring that the entries at some positions $(i,j)$ be zero. The set, $I$, of these positions is a (zero) pattern and the corresponding subspace of L(n) is denoted by $L_I(n)$. A pattern $I$ is universal if every matrix in L(n) is unitarily similar to some matrix in $L_I(n)$. The problem of describing the universal patterns is raised, solved in full for $n\le3$, and partial results obtained for $n=4$. Two infinite families of universal patterns are constructed. They give two analogues of Schur's triangularization theorem.
0 citations0 reviewsNo code linkedOpen access