arXiv subjects

P. S. Bourdon

Publications and source records attributed to P. S. Bourdon.

5 recordsLinked to original sources

arXiv2010

Overcoming a limitation of deterministic dense coding with a non-maximally entangled initial state

Under two-party deterministic dense-coding, Alice communicates (perfectly distinguishable) messages to Bob via a qudit from a pair of entangled qudits in pure state |Psi>. If |Psi> represents a maximally entangled state (i.e., each of its Schmidt coefficients is sqrt(1/d)), then Alice can convey to Bob one of d^2 distinct messages. If |Psi> is not maximally entangled, then Ji et al. [Phys. Rev. A 73, 034307 (2006)] have shown that under the original deterministic dense-coding protocol, in which messages are encoded by unitary operations performed on Alice's qudit, it is impossible to encode d^2-1 messages. Encoding d^2-2 is possible; see, e.g., the numerical studies by Mozes et al. [Phys. Rev. A 71, 012311 (2005)]. Answering a question raised by Wu et al. [Phys. Rev. A 73, 042311 (2006)], we show that when |Psi> is not maximally entangled, the communications limit of d^2-2 messages persists even when the requirement that Alice encode by unitary operations on her qudit is weakened to allow encoding by more general quantum operators. We then describe a dense-coding protocol that can overcome this limitation with high probability, assuming the largest Schmidt coefficient of |Psi> is sufficiently close to sqrt(1/d). In this protocol, d^2-2 of the messages are encoded via unitary operations on Alice's qudit, and the final (d^2-1)-th message is encoded via a (non-trace-preserving) quantum operation.

quant-ph↗

arXiv2008

The augmented message-matrix approach to deterministic dense coding theory

A method is presented for producing analytical results applicable to the standard two-party deterministic dense coding protocol, wherein communication of K perfectly distinguishable messages is attainable with the aid of K selected local unitary operations on one qudit from a pair of entangled qudits of equal dimension d in a pure state. The method utilizes the properties of a (d^2)x(d^2) unitary matrix whose initial columns represent message states of the system used for communication, augmented by sufficiently many additional orthonormal column vectors so that the resulting matrix is unitary. Using the unitarity properties of this augmented message-matrix, we produce simple proofs of previously established results including (i) an upper bound on the value of the square of the largest Schmidt coefficient, given by d/K, and (ii) the impossibility of finding a pure state that can enable transmission of K=d^2-1 messages but not d^2. Additional results obtained using the method include proofs that when K=d+1 the upper bound on the square of the largest Schmidt coefficient (i) always reduces to at least (1/2)[1+sqrt{(d-2)/(d+2)}], and (ii) reduces to (d-1)/d in the special case that the identity and shift operators are two of the selected local unitaries.

quant-ph↗

arXiv2008

Deterministic dense coding and entanglement entropy

We present an analytical study of the standard two-party deterministic dense-coding protocol, under which communication of perfectly distinguishable messages takes place via a qudit from a pair of non-maximally entangled qudits in pure state |S>. Our results include the following: (i) We prove that it is possible for a state |S> with lower entanglement entropy to support the sending of a greater number of perfectly distinguishable messages than one with higher entanglement entropy, confirming a result suggested via numerical analysis in Mozes et al. [Phys. Rev. A 71 012311 (2005)]. (ii) By explicit construction of families of local unitary operators, we verify, for dimensions d = 3 and d=4, a conjecture of Mozes et al. about the minimum entanglement entropy that supports the sending of d + j messages, j = 2, ..., d-1; moreover, we show that the j=2 and j= d-1 cases of the conjecture are valid in all dimensions. (iii) Given that |S> allows the sending of K messages and has the square roof of c as its largest Schmidt coefficient, we show that the inequality c <= d/K, established by Wu et al. [ Phys. Rev. A 73, 042311 (2006)], must actually take the form c < d/K if K = d+1, while our constructions of local unitaries show that equality can be realized if K = d+2 or K = 2d-1.

quant-ph↗

arXiv2006

Sharp probability estimates for Shor's order-finding algorithm

Let N be a (large positive integer, let b > 1 be an integer relatively prime to N, and let r be the order of b modulo N. Finally, let QC be a quantum computer whose input register has the size specified in Shor's original description of his order-finding algorithm. We prove that when Shor's algorithm is implemented on QC, then the probability P of obtaining a (nontrivial) divisor of r exceeds 0.7 whenever N exceeds 2^{11}-1 and r exceeds 39, and we establish that 0.7736 is an asymptotic lower bound for P. When N is not a power of an odd prime, Gerjuoy has shown that P exceeds 90 percent for N and r sufficiently large. We give easily checked conditions on N and r for this 90 percent threshold to hold, and we establish an asymptotic lower bound for P of (2/Pi) Si(4Pi), about .9499, in this situation. More generally, for any nonnegative integer q, we show that when QC(q) is a quantum computer whose input register has q more qubits than does QC, and Shor's algorithm is run on QC(q), then an asymptotic lower bound on P is (2/Pi) Si(2^(q+2) Pi) (if N is not a power of an odd prime). Our arguments are elementary and our lower bounds on P are carefully justified.

quant-ph↗

arXiv2003

Unital quantum operators on the Bloch ball and Bloch region

For one qubit systems, we present a short, elementary argument characterizing unital quantum operators in terms of their action on Bloch vectors. We then show how our approach generalizes to multi-qubit systems, obtaining inequalities that govern when a ``diagonal'' superoperator on the Bloch region is a quantum operator. These inequalities are the n-qubit analogue of the Algoet-Fujiwara conditions. Our work is facilitated by an analysis of operator-sum decompositions in which negative summands are allowed.

quant-ph↗