P. K. Aravind
It is shown how to ascertain the values of a complete set of mutually complementary observables of a prime power degree of freedom by generalizing the solution in prime dimensions given by Englert and Aharonov [Phys. Lett. A284, 1-5 (2001)].
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We show how one can ascertain the values of a complete set of mutually complementary observables of a prime degree of freedom.
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 …
Finite geometry is used to underpin finite, $d^2$, dimensional Hilbert space accommodating two particles, d dimensional each. d=prime $\ne2$. Central role is allotted to states with mutual unbiased bases (MUB) labelling underpinned with points of finite dual affine plane geometry (DAPG). The DAPG lines are shown to underpin maximally entangled states which form an orthonormal basis spanning the space and provide a novel, geometrical view to a new solution of the Mean King Problem (MKP). Brief expositions to the topics considered: MUB, DAPG and the MKP are included rendering the paper self cont…
Experimental Solutions to the High-Dimensional Mean King's Problem
本文提出一种基于PyTheus框架的通用实验方案，首次在素数维度（三维、五维、七维）解决平均国王问题，成功概率分别达72.8%、45.8%和34.8%，超过经典概率两倍，展示了量子纠缠实验实施的潜力。
When the state of a quantum system belongs to a N-dimensional Hilbert space, with N the power of a prime number, it is possible to associate to the system a finite field (Galois field) with N elements. In this paper, we introduce generalized Bell states that can be intrinsically expressed in terms of the field operations.These Bell states are in one to one correspondence with the N^2 elements of the generalised Pauli group or Heisenberg-Weyl group. This group consists of discrete displacement operators and provides a discrete realisation of the Weyl function.Thanks to the properties of general…
Mean king's problem is a kind of quantum state discrimination problems. In the problem, we try to discriminate eigenstates of noncommutative observables with the help of classical delayed information. The problem has been investigated from the viewpoint of error detection and correction. We construct higher-dimensional quantum error-correcting codes against error corresponding to the noncommutative observables. Any code state of the codes provides a way to discriminate the eigenstates correctly with the classical delayed information.
The mean king's problem with maximal mutually unbiased bases (MUB's) in general dimension d is investigated. It is shown that a solution of the problem exists if and only if the maximal number (d+1) of orthogonal Latin squares exists. This implies that there is no solution in d=6 or d=10 dimensions even if the maximal number of MUB's exists in these dimensions.
We investigate the King's problem of the measurement of operators $\vec{n}_k \nobreak \cdot \nobreak \vecσ (k=1,2,3)$ instead of the three Cartesian components $σ_x$, $σ_y$ and $σ_z$ of the spin operator $\vecσ$. Here, $\vec{n}_k$ are three-dimensional real unit vectors. We show the condition over three vectors $\vec{n}_k$ to ascertain the result for measurement of any one of these operators.
The mean king problem is a quantum mechanical retrodiction problem, in which Alice has to name the outcome of an ideal measurement on a d-dimensional quantum system, made in one of (d+1) orthonormal bases, unknown to Alice at the time of the measurement. Alice has to make this retrodiction on the basis of the classical outcomes of a suitable control measurement including an entangled copy. We show that the existence of a strategy for Alice is equivalent to the existence of an overall joint probability distribution for (d+1) random variables, whose marginal pair distributions are fixed as the t…
This paper has been withdrawn by Reinaldo O. Vianna.
We rephrase the Wootters-Fields construction [Ann. Phys., {\bf 191}, 363 (1989)] of a full set of mutually unbiased bases in a complex vector space of dimensions $N=p^r$, where $p$ is an odd prime, in terms of the character vectors of the cyclic group $G$ of order $p$. This form may be useful in explicitly writing down mutually unbiased bases for $N=p^r$.
Local distinguishability of sets of generalized Bell states (GBSs) is investigated. We first clarify the conditions such that a set of GBSs can be locally transformed to a certain type of GBS set that is easily distinguishable within local operations and one-way classical communication. We then show that, if the space dimension $d$ is a prime, these conditions are necessary and sufficient for sets of $d$ GBSs in $\mathbb{C}^d \otimes \mathbb{C}^d$ to be locally distinguishable. Thus we obtain a simple computable criterion for local distinguishability of sets of $d$ GBSs in prime dimension $d$.
Mutually unbiased bases in Hilbert spaces of finite dimensions are closely related to the quantal notion of complementarity. An alternative proof of existence of a maximal collection of N+1 mutually unbiased bases in Hilbert spaces of prime dimension N is given by exploiting the finite Heisenberg group (also called the Pauli group) and the action of SL(2,Z_N) on finite phase space Z_N x Z_N implemented by unitary operators in the Hilbert space. Crucial for the proof is that, for prime N, Z_N is also a finite field.
We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser quantum operations. Adding a discard construction, we obtain a calculus complete for mixed state stabiliser quantum mechanics in odd prime dimensions, and this furthermore gives a complete axiomatisat…
In this work we present some new properties of fiducial states in prime dimensions. We parameterize fiducial operators on eigenvectors bases of displacement operators, which allows us to find a manifold $Ω$ of hermitian operators satisfying $\mathrm{Tr}(ρ)=\mathrm{Tr}(ρ^2)=1$ for any $ρ$ in $Ω$. This manifold contains the complete set of fiducial pure states in every prime dimension. Indeed, any quantum state $ρ\geq0$ belonging to $Ω$ is a fiducial pure state. Also, we present an upper bound for every probability associated to mutually unbiased decomposition of fiducial states. This bound allo…
Mutually unbiased bases generalize the X, Y and Z qubit bases. They possess numerous applications in quantum information science. It is well-known that in prime power dimensions N=p^m (with p prime and m a positive integer) there exists a maximal set of N+1 mutually unbiased bases. In the present paper, we derive an explicit expression for those bases, in terms of the (operations of the) associated finite field (Galois division ring) of N elements. This expression is shown to be equivalent to the expressions previously obtained by Ivanovic in odd prime dimensions (J. Phys. A, 14, 3241 (1981)),…
Akin to the idea of complete sets of Mutually Unbiased Bases for prime dimensional Hilbert spaces, $\mathcal{H}_d$, we study its analogue for a $d$ dimensional subspace of $M (d,\mathbb{C})$, i.e. Mutually Unbiased Unitary Bases (MUUBs) comprising of unitary operators. We note an obvious isomorphism between the vector spaces and beyond that, we define a relevant monoid structure for $\mathcal{H}_d$ isomorphic to one for the subspace of $M (d,\mathbb{C})$. This provides us not only with the maximal number of such MUUBs, but also a recipe for its construction.
We present a construction method for complete sets of cyclic mutually unbiased bases (MUBs) in Hilbert spaces of even prime power dimensions. In comparison to usual complete sets of MUBs, complete cyclic sets possess the additional property of being generated by a single unitary operator. The construction method is based on the idea of obtaining a partition of multi-qubit Pauli operators into maximal commuting sets of orthogonal operators with the help of a suitable element of the Clifford group. As a consequence, we explicitly obtain complete sets of cyclic MUBs generated by a single element …
We propose families of protocols for magic state distillation -- important components of fault tolerance schemes --- for systems of odd prime dimension. Our protocols utilize quantum Reed-Muller codes with transversal non-Clifford gates. We find that, in higher dimensions, small and effective codes can be used that have no direct analogue in qubit (two-dimensional) systems. We present several concrete protocols, including schemes for three-dimensional (qutrit) and five-dimensional (ququint) systems. The five-dimensional protocol is, by many measures, the best magic state distillation scheme ye…
The paper concerns Weyl-Heisenberg covariant SIC-POVMs (symmetric informationally complete positive operator valued measures) and full sets of MUBs (mutually unbiased bases) in prime dimension. When represented as vectors in generalized Bloch space a SIC-POVM forms a d^2-1 dimensional regular simplex (d being the Hilbert space dimension). By contrast, the generalized Bloch vectors representing a full set of MUBs form d+1 mutually orthogonal d-1 dimensional regular simplices. In this paper we show that, in the Weyl-Heisenberg case, there are some simple geometrical relationships between the sin…
We analyse the role of the Extended Clifford group in classifying the spectra of phase point operators within the framework laid out by Gibbons et al for setting up Wigner distributions on discrete phase spaces based on finite fields. To do so we regard the set of all the discrete phase spaces as a symplectic vector space over the finite field. Auxiliary results include a derivation of the conjugacy classes of ${\rm ESL}(2, \mathbb{F}_N)$.
The generalized Pauli group and its normalizer, the Clifford group, have a rich mathematical structure which is relevant to the problem of constructing symmetric informationally complete POVMs (SIC-POVMs). To date, almost every known SIC-POVM fiducial vector is an eigenstate of a "canonical" unitary in the Clifford group. I show that every canonical unitary in prime dimensions p > 3 lies in the same conjugacy class of the Clifford group and give a class representative for all such dimensions. It follows that if even one such SIC-POVM fiducial vector is an eigenvector of such a unitary, then al…
According to a classical result due to Hudson, the Wigner function of a pure, continuous variable quantum state is non-negative if and only if the state is Gaussian. We have proven an analogous statement for finite-dimensional quantum systems. In this context, the role of Gaussian states is taken on by stabilizer states. The general results have been published in [D. Gross, J. Math. Phys. 47, 122107 (2006)]. For the case of systems of odd prime dimension, a greatly simplified proof can be employed which still exhibits the main ideas. The present paper gives a self-contained account of these me…
Spekkens' toy model is a non-contextual hidden variable model with an epistemic restriction, a constraint on what an observer can know about reality. The aim of the model, developed for continuous and discrete prime degrees of freedom, is to advocate the epistemic view of quantum theory, where quantum states are states of incomplete knowledge about a deeper underlying reality. Many aspects of quantum mechanics and protocols from quantum information can be reproduced in the model. In spite of its significance, a number of aspects of Spekkens' model remained incomplete. Formal rules for the upda…
Encoding computationally hard problems in triangular Rydberg atom arrays
针对里德堡原子阵列量子优化中King子图编码近似差、需无物理意义后处理的问题，提出基于自动化构件搜索的三角晶格通用编码方案，使独立约束违反量降约两个数量级，大幅减少实验后处理需求。
The Birkhoff's theorem states that any doubly stochastic matrix lies inside a convex polytope with the permutation matrices at the corners. It can be proven that a similar theorem holds for unitary matrices with equal line sums for prime dimensions.
We consider the question of entropic uncertainty relations for prime power dimensions. In order to improve upon such uncertainty relations for higher dimensional quantum systems, we derive a tight lower bound amount of entropy for multiple probability distributions under the constraint that the sum of the collision probabilities for all distributions is fixed. This is purely a classical information theoretical result, however using an interesting result by Larsen \cite{Larsen90} allows us to connect this to an entropic uncertainty relation.
We construct multipartite graph states whose dimension is the power of a prime number. This is realized by the finite field, as well as the generalized controlled-NOT quantum circuit acting on two qudits. We propose the standard form of graph states up to local unitary transformations and particle permutations. The form greatly simplifies the classification of graph states as we illustrate up to five qudits. We also show that some graph states are multipartite maximally entangled states in the sense that any bipartite of the system produces a bipartite maximally entangled state. We further pro…
Mutually unbiased bases (MUB) are useful in a number of research areas. The symmetry of MUB is an elusive and interesting subject. A (complete set of) MUB in dimension $d$ is sharply covariant if it can be generated by a group of order $d(d+1)$ from a basis state. Such MUB, if they exist, would be most appealing to theoretical studies and practical applications. Unfortunately, they seem to be quite rare. Here we prove that no MUB in odd prime dimensions is sharply covariant, by virtue of clever applications of Mersenne primes, Galois fields, and Frobenius groups. This conclusion provides valua…
A set of mutually unbiased bases (MUBs) is said to be unextendible if there does not exist another basis that is unbiased with respect to the given set. Here, we prove the existence of smaller sets of MUBs in prime-squared dimensions ($d=p^{2}$) that cannot be extended to a complete set using the generalized Pauli operators. We further observe an interesting connection between the existence of unextendible sets and the tightness of entropic uncertainty relations (EURs) in these dimensions. In particular, we show that our construction of unextendible sets of MUBs naturally leads to sets of $p+1…
The unitary Birkhoff theorem states that any unitary matrix with all row sums and all column sums equal unity can be decomposed as a weighted sum of permutation matrices, such that both the sum of the weights and the sum of the squared moduli of the weights are equal to unity. If the dimension~$n$ of the unitary matrix equals a power of a prime $p$, i.e.\ if $n=p^w$, then the Birkhoff decomposition does not need all $n!$ possible permutation matrices, as the epicirculant permutation matrices suffice. This group of permutation matrices is isomorphic to the general affine group GA($w,p$) of orde…
One way to construct a maximal set of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space is by means of finite phase-space methods. MUBs obtained in this way are covariant with respect to some subgroup of the group of all affine symplectic phase-space transformations. However, this construction is not canonical: as a consequence, many different choices of covariance sugroups are possible. In particular, when the Hilbert space is $2^n$ dimensional, it is known that covariance with respect to the full group of affine symplectic phase-space transformations can never be achi…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。