BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Todd A. Brun

Todd A. Brun appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phInformation Theorymath.ITgr-qcatom-phComputational Complexitycond-mat.mes-hallcond-mat.othercond-mat.stat-mechmath-phmath.MP

Catalog footprint

What is connected

55works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

55 published item(s)

preprint2021arXiv

Influence of coin symmetry on infinite hitting times in quantum walks

Classical random walks on finite graphs have an underrated property: a walk from any vertex can reach every other vertex in finite time, provided they are connected. Discrete-time quantum walks on finite connected graphs however, can have infinite hitting times. This phenomenon is related to graph symmetry, as previously characterized by the group of direction-preserving graph automorphisms that trivially affect the coin Hilbert space. If a graph is symmetric enough (in a particular sense) then the associated quantum walk unitary will contain eigenvectors that do not overlap a set of target vertices, for any coin flip operator. These eigenvectors span the Infinite Hitting Time (IHT) subspace. Quantum states in the IHT subspace never reach the target vertices, leading to infinite hitting times. However, this is not the whole story: the graph of the 3D cube does not satisfy this symmetry constraint, yet quantum walks on this graph with certain symmetric coins can exhibit infinite hitting times. We study the effect of coin symmetry by analyzing the group of coin-permutation symmetries (CPS): graph automorphisms that act nontrivially on the coin Hilbert space but leave the coin operator invariant. Unitaries using highly symmetric coins with large CPS groups, such as the permutation-invariant Grover coin, are associated with higher probabilities of never arriving, as a result of their larger IHT subspaces.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Constant depth fault-tolerant Clifford circuits for multi-qubit large block codes

Fault-tolerant quantum computation (FTQC) schemes using large block codes that encode $k>1$ qubits in $n$ physical qubits can potentially reduce the resource overhead to a great extent because of their high encoding rate. However, the fault-tolerant (FT) logical operations for the encoded qubits are difficult to find and implement, which usually takes not only a very large resource overhead but also long $\textit{in-situ}$ computation time. In this paper, we focus on Calderbank-Shor-Steane $[\![ n,k,d ]\!]$ (CSS) codes and their logical FT Clifford circuits. We show that the depth of an arbitrary logical Clifford circuit can be implemented fault-tolerantly in $O(1)$ steps \emph{in-situ} via either Knill or Steane syndrome measurement circuit, with the qualified ancilla states efficiently prepared. Particularly, for those codes satisfying $k/n\sim Θ(1)$, the resource scaling for Clifford circuits implementation on the logical level can be the same as on the physical level up to a constant, which is independent of code distance $d$. With a suitable pipeline to produce ancilla states, our scheme requires only a modest resource cost in physical qubits, physical gates, and computation time for very large scale FTQC.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum cellular automata and quantum field theory in two spatial dimensions

Quantum walks on lattices can give rise to one-particle relativistic wave equations in the long-wavelength limit. In going to multiple particles, quantum cellular automata (QCA) are natural generalizations of quantum walks. In one spatial dimension, the quantum walk can be "promoted" to a QCA that, in the long-wavelength limit, gives rise to the Dirac quantum field theory (QFT) for noninteracting fermions. This QCA/QFT correspondence has both theoretical and practical applications, but there are obstacles to similar constructions in two or more spatial dimensions. Here we show that a method of construction employing distinguishable particles confined to the completely antisymmetric subspace yields a QCA in two spatial dimensions that gives rise to the 2D Dirac QFT. Generalizing to 3D will entail some additional complications, but no conceptual barriers. We examine how this construction evades the "no go" results in earlier work.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Quantum Data-Syndrome Codes

Performing active quantum error correction to protect fragile quantum states highly depends on the correctness of error information--error syndromes. To obtain reliable error syndromes using imperfect physical circuits, we propose the idea of quantum data-syndrome (DS) codes that are capable of correcting both data qubits and syndrome bits errors. We study fundamental properties of quantum DS codes, including split weight enumerators, generalized MacWilliams identities, and linear programming bounds. In particular, we derive Singleton and Hamming-type upper bounds on degenerate quantum DS codes. Then we study random DS codes and show that random DS codes with a relatively small additional syndrome measurements achieve the Gilbert-Varshamov bound of stabilizer codes. Constructions of quantum DS codes are also discussed. A family of quantum DS codes is based on classical linear block codes, called syndrome measurement codes, so that syndrome bits are encoded in additional redundant stabilizer measurements. Another family of quantum DS codes is CSS-type quantum DS codes based on classical cyclic codes, and this includes the Steane code and the quantum Golay code.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Quantum Steganography over Noiseless Channels: Achievability and Bounds

Quantum steganography is the study of hiding secret quantum information by encoding it into what an eavesdropper would perceive as an innocent-looking message. Here we study an explicit steganographic encoding for Alice to hide her secret message in the syndromes of an error-correcting code, so that the encoding simulates a given noisy quantum channel. We calculate achievable rates of steganographic communication over noiseless quantum channels using this encoding. We give definitions of secrecy and reliability for the communication process, and with these assumptions derive upper bounds on the amount of steganographic communication possible, and show that these bounds match the communication rates achieved with our encoding. This gives a steganographic capacity for a noiseless channel emulating a given noisy channel.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Method for quantum-jump continuous-time quantum error correction

Continuous-time quantum error correction (CTQEC) is a technique for protecting quantum information against decoherence, where both the decoherence and error correction processes are considered continuous in time. Given any [[n,k,d]] quantum stabilizer code, we formulate a class of protocols to implement CTQEC, involving weak coherent measurements and weak unitary corrections. Under this formalism, we show that the minimal required size of the ancillary system is n-k+1 qubits, and we propose one scheme that meets this minimal requirement. Furthermore, we compare our method with other known schemes, and show that a particular measure of performance described in this paper is better when using our method.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Protecting weak measurements against systematic errors

In this work, we consider the systematic error of quantum metrology by weak measurements under decoherence. We derive the systematic error of maximum likelihood estimation in general to the first-order approximation of a small deviation in the probability distribution, and study the robustness of standard weak measurement and postselected weak measurements against systematic errors. We show that, with a large weak value, the systematic error of a postselected weak measurement when the probe undergoes decoherence can be significantly lower than that of a standard weak measurement. This indicates the advantage of weak value amplification in improving the performance of parameter estimation. We illustrate the results by an exact numerical simulation of decoherence arising from a bosonic mode and compare it to the first-order analytical result we obtain.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quantum metrology for a general Hamiltonian parameter

Quantum metrology enhances the sensitivity of parameter estimation using the distinctive resources of quantum mechanics such as entanglement. It has been shown that the precision of estimating an overall multiplicative factor of a Hamiltonian can be increased to exceed the classical limit, yet little is known about estimating a general Hamiltonian parameter. In this paper, we study this problem in detail. We find that the scaling of the estimation precision with the number of systems can always be optimized to the Heisenberg limit, while the time scaling can be quite different from that of estimating an overall multiplicative factor. We derive the generator of local parameter translation on the unitary evolution operator of the Hamiltonian, and use it to evaluate the estimation precision of the parameter and establish a general upper bound on the quantum Fisher information. The results indicate that the quantum Fisher information generally can be divided into two parts: one is quadratic in time, while the other oscillates with time. When the eigenvalues of the Hamiltonian do not depend on the parameter, the quadratic term vanishes, and the quantum Fisher information will be bounded in this case. To illustrate the results, we give an example of estimating a parameter of a magnetic field by measuring a spin-$\frac{1}{2}$ particle, and compare the results for estimating the amplitude and the direction of the magnetic field.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Compatibility of state assignments and pooling of information

We say that two (or more) state assignments for one and the same quantum system are compatible if they could represent the assignments of observers with differing information about the system. A criterion for compatibility was proposed in [Phys. Rev. A 65, 032315 (2002)]; however, this leaves unanswered the question of whether there are degrees of compatibility which could be represented by some quantitative measure, and whether there is a straightforward procedure whereby the observers can pool their information to arrive at a unique joint state assignment. We argue that such measures are only sensible given some assumption about what kind of information was used in making the state assignments in the first place, and that in general state assignments do not represent all of the information possessed by the observers. However, we examine one particular measure, and show that it has a straightforward interpretation, assuming that the information was acquired from a particular type of measurement, and that in this case there is a natural rule for pooling information. We extend this measure to compatibility of states for k observers, and show that the value is the solution to a semidefinite program. Similar compatibility measures can be defined for alternative notions of state compatibility, including Post-Peierls (PP) and Equal Support (ES) compatibility.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Continuous decomposition of quantum measurements via Hamiltonian feedback

We characterize the set of generalized quantum measurements that can be decomposed into a continuous measurement process using a stream of probe qubits and a tunable interaction Hamilto- nian. Each probe in the stream interacts weakly with the target quantum system, then is measured projectively in a standard basis. This measurement result is used in a closed feedback loop to tune the interaction Hamiltonian for the next probe. The resulting evolution is a stochastic process with the structure of a one-dimensional random walk. To maintain this structure, and require that at long times the measurement outcomes be independent of the path, the allowed interaction Hamil- tonians must lie in a restricted set, such that the Hamiltonian terms on the target system form a finite dimensional Jordan algebra. This algebraic structure of the interaction Hamiltonians yields a large class of generalized measurements that can be continuously performed by our scheme, and we fully describe this set.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Continuous Limit of Discrete Quantum Walks

Quantum walks can be defined in two quite distinct ways: discrete-time and continuous-time quantum walks (DTQWs and CTQWs). For classical random walks, there is a natural sense in which continuous-time walks are a limit of discrete-time walks. Quantum mechanically, in the discrete-time case, an additional "coin space" must be appended for the walk to have nontrivial time evolution. Continuous-time quantum walks, however, have no such constraints. This means that there is no completely straightforward way to treat a CTQW as a limit of DTQW, as can be done in the classical case. Various approaches to this problem have been taken in the past. We give a construction for walks on $d$-regular, $d$-colorable graphs when the coin flip operator is Hermitian: from a standard DTQW we construct a family of discrete-time walks with a well-defined continuous-time limit on a related graph. One can think of this limit as a {\it coined} continuous-time walk. We show that these CTQWs share some properties with coined DTQWs. In particular, we look at spatial search by a DTQW over the 2-D torus (a grid with periodic boundary conditions) of size $\sqrt{N}\times\sqrt{N}$, where it was shown \nocite{AAmbainis08} that a coined DTQW can search in time $O(\sqrt{N}\log{N})$, but a standard CTQW \nocite{Childs2004} takes $Ω(N)$ time to search for a marked element. The continuous limit of the DTQW search over the 2-D torus exhibits the $O(\sqrt{N}\log{N})$ scaling, like the coined walk it is derived from. We also look at the effects of graph symmetry on the limiting walk, and show that the properties are similar to those of the DTQW as shown in \cite{HariKrovi2007}.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Decoherence by Internal Degrees of Freedom

We consider a composite system consisting of coupled particles, and investigate decoherence due to coupling of the center-of-mass degree of freedom with the internal degrees of freedom. For a simple model of two bound particles, we show that in general such a decoherence effect exists, and leads to suppression of interference between different paths of the center-of-mass. For the special case of two harmonically-bound particles moving in an external potential in one dimension, we show that the coupling between the center-of-mass and internal degrees of freedom can be approximated as parametric driving, and that nontrivial coupling depends on the second derivative of the external potential. We find a partial solution to this parametric driving problem. For a simple interference experiment, consisting of two wave packets scattering off of a square well, we perform numerical simulations and show a close connection between suppression of interference and entanglement between the center-of-mass and internal degrees of freedom. We also propose a measure of compositeness which quantifies the extent to which a composite system cannot be approximated as a single, indivisible particle. We numerically calculate this quantity for our square well example system.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Fault-tolerant Holonomic Quantum Computation in Surface Codes

We show that universal holonomic quantum computation (HQC) can be achieved fault-tolerantly by adiabatically deforming the gapped stabilizer Hamiltonian of the surface code, where quantum information is encoded in the degenerate ground space of the system Hamiltonian. We explicitly propose procedures to perform each logical operation, including logical state initialization, logical state measurement, logical CNOT, state injection and distillation,etc. In particular, adiabatic braiding of different types of holes on the surface leads to a topologically protected, non-Abelian geometric logical CNOT. Throughout the computation, quantum information is protected from both small perturbations and low weight thermal excitations by a constant energy gap, and is independent of the system size. Also the Hamiltonian terms have weight at most four during the whole process. The effect of thermal error propagation is considered during the adiabatic code deformation. With the help of active error correction, this scheme is fault-tolerant, in the sense that the computation time can be arbitrarily long for large enough lattice size. It is shown that the frequency of error correction and the physical resources needed can be greatly reduced by the constant energy gap.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Improving the precision of weak measurements by postselection measurement

Postselected weak measurement is a useful protocol for amplifying weak physical effects. However, there has recently been controversy over whether it gives any advantage in precision. While it is now clear that retaining failed postselections can yield more Fisher information than discarding them, the advantage of postselection measurement itself still remains to be clarified. In this Letter, we address this problem by studying two widely used estimation strategies: averaging measurement results, and maximum likelihood estimation, respectively. For the first strategy, we find a surprising result that squeezed coherent states of the pointer can give postselected weak measurements a higher signal-to-noise ratio than standard ones while all standard coherent states cannot, which suggests that raising the precision of weak measurements by postselection calls for the presence of "nonclassicality" in the pointer states. For the second strategy, we show that the quantum Fisher information of postselected weak measurements is generally larger than that of standard weak measurements, even without using the failed postselection events, but the gap can be closed with a proper choice of system state.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Suppressing technical noises in weak measurement by entanglement

Postselected weak measurement has aroused broad interest for its distinctive ability to amplify small physical quantities. However, the low postselection efficiency to obtain a large weak value has been a big obstacle to its application in practice, since it may waste resources, and reduce the measurement precision. An improved protocol was proposed in [Phys. Rev. Lett. 113, 030401 (2014)] to make the postselected weak measurement dramatically more efficient by using entanglement. Such a protocol can increase the Fisher information of the measurement to approximately saturate the well-known Heisenberg limit. In this paper, we review the entanglement-assisted protocol of postselected weak measurement in detail, and study its robustness against technical noises. We focus on readout errors. Readout errors can greatly degrade the performance of postselected weak measurement, especially when the readout error probability is comparable to the postselection probability. We show that entanglement can significantly reduce the two main detrimental effects of readout errors: inaccuracy in the measurement result, and the loss of Fisher information. We extend the protocol by introducing a majority vote scheme to postselection to further compensate for readout errors. With a proper threshold, almost no Fisher information will be lost. These results demonstrate the effectiveness of entanglement in protecting postselected weak measurement against readout errors.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Teleportation-based Fault-tolerant Quantum Computation in Multi-qubit Large Block Codes

A major goal for fault-tolerant quantum computation (FTQC) is to reduce the overhead needed for error correction. One approach is to use block codes that encode multiple qubits, which can achieve significantly higher rates for the same code distance than single-qubit code blocks or topological codes. We present a scheme for universal quantum computation using multi-qubit Calderbank-Shor-Steane (CSS) block codes, where codes admitting different transversal gates are used to achieve universality, and logical teleportation is used to move qubits between code blocks. All circuits for both computation and error correction are transversal. We also argue that single shot fault-tolerant error correction can be done in Steane syndrome extraction. Then, we present estimates of information lifetime for a few possible codes, which suggests that highly nontrivial quantum computations can be achieved at reasonable error rates, using codes that require significantly less than 100 physical qubits per logical qubit.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A Fault-Tolerant Scheme of Holonomic Quantum Computation on Stabilizer Codes with Robustness to Low-weight Thermal Noise

We show an equivalence relation between fault-tolerant circuits for a stabilizer code and fault-tolerant adiabatic processes for holonomic quantum computation (HQC), in the case where quantum information is encoded in the degenerated ground space of the system Hamiltonian. By this equivalence, we can systematically construct a fault-tolerant HQC scheme, which can geometrically implement a universal set of encoded quantum gates by adiabatically deforming the system Hamiltonian. During this process, quantum information is protected from low weight thermal excitations by an energy gap that does not change with the problem size.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Amplification limit of weak measurements: a variational approach

Post-selected weak measurement has been widely used in experiments to observe weak effects in various physical systems. However, it is still unclear how large the amplification ability of a weak measurement can be and what determines the limit of this ability, which is fundamental to understanding and applying weak measurements. The limitation of the conventional weak value formalism for this problem is the divergence of weak values when the pre- and post-selections are nearly orthogonal. In this paper, we study this problem by a variational approach for a general Hamiltonian $H_{\mathrm{int}}=gA\otimesΩδ(t-t_{0}),\, g\ll1$. We derive a general asymptotic solution, and show that the amplification limit is essentially independent of $g$, and determined only by the initial state of the detector and the number of distinct eigenvalues of $A$ or $Ω$. An example of spin-$\frac{1}{2}$ particles with a pair of Stern-Gerlach devices is given to illustrate the results. The limiting case of continuous variable systems is also investigated to demonstrate the influence of system dimension on the amplification limit.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Continuous decomposition of quantum measurements via qubit probe feedback

It is known that any two-outcome quantum measurement can be decomposed into a continuous stochastic process using a feedback loop. In this article, we characterize which of these decompositions are possible when each iteration of the feedback loop consists of a weak measurement caused by an interaction with a probe system. We restrict ourselves to the case when the probe is a qubit and the interaction Hamiltonian between the probe and system is constant. We find that even given the ability to perform arbitrary unitary pulses throughout the continuous decomposition, only generalized measurements with two distinct singular values are achievable. However, this is sufficient to decompose a generalized qubit measurement using a qubit probe and a simple interaction Hamiltonian.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Entanglement-assisted weak value amplification

Large weak values have been used to amplify the sensitivity of a linear response signal for detecting changes in a small parameter, which has also enabled a simple method for precise parameter estimation. However, producing a large weak value requires a low postselection probability for an ancilla degree of freedom, which limits the utility of the technique. We propose an improvement to this method that uses entanglement to increase the efficiency. We show that by entangling and postselecting $n$ ancillas, the postselection probability can be increased by a factor of $n$ while keeping the weak value fixed (compared to $n$ uncorrelated attempts with one ancilla), which is the optimal scaling with $n$ that is expected from quantum metrology. Furthermore, we show the surprising result that the quantum Fisher information about the detected parameter can be almost entirely preserved in the postselected state, which allows the sensitive estimation to approximately saturate the optimal quantum Cramér-Rao bound. To illustrate this protocol we provide simple quantum circuits that can be implemented using current experimental realizations of three entangled qubits.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Implementing generalized measurements with superconducting qubits

We describe a method to perform any generalized purity-preserving measurement of a qubit with techniques tailored to superconducting systems. First, we consider two methods for realizing a two-outcome partial projection: using a thresholded continuous measurement in the circuit QED setup, or using an indirect ancilla qubit measurement. Second, we decompose an arbitrary purity-preserving two-outcome measurement into single qubit unitary rotations and a partial projection. Third, we systematically reduce any multiple-outcome measurement to a sequence of such two-outcome measurements and unitary operations. Finally, we consider how to define suitable fidelity measures for multiple-outcome generalized measurements.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Violating the Modified Helstrom Bound with Nonprojective Measurements

We consider the discrimination of two pure quantum states with three allowed outcomes: a correct guess, an incorrect guess, and a non-guess. To find an optimum measurement procedure, we define a tunable cost that penalizes the incorrect guess and non-guess outcomes. Minimizing this cost over all projective measurements produces a rigorous cost bound that includes the usual Helstrom discrimination bound as a special case. We then show that nonprojective measurements can outperform this modified Helstrom bound for certain choices of cost function. The Ivanovic-Dieks-Peres unambiguous state discrimination protocol is recovered as a special case of this improvement. Notably, while the cost advantage of the latter protocol is destroyed with the introduction of any amount of experimental noise, other choices of cost function have optima for which nonprojective measurements robustly show an appreciable, and thus experimentally measurable, cost advantage. Such an experiment would be an unambiguous demonstration of a benefit from nonprojective measurements.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Dualities and Identities for Entanglement-Assisted Quantum Codes

The dual of an entanglement-assisted quantum error-correcting (EAQEC) code is the code resulting from exchanging the original code's information qubits with its ebits. To introduce this notion, we show how entanglement-assisted (EA) repetition codes and accumulator codes are dual to each other, much like their classical counterparts, and we give an explicit, general quantum shift-register circuit that encodes both classes of codes.We later show that our constructions are optimal, and this result completes our understanding of these dual classes of codes. We also establish the Gilbert-Varshamov bound and the Plotkin bound for EAQEC codes, and we use these to examine the existence of some EAQEC codes. Finally, we provide upper bounds on the block error probability when transmitting maximal-entanglement EAQEC codes over the depolarizing channel, and we derive variations of the hashing bound for EAQEC codes, which is a lower bound on the maximum rate at which reliable communication over Pauli channels is possible with the use of pre-shared entanglement.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Duality in Entanglement-Assisted Quantum Error Correction

The dual of an entanglement-assisted quantum error-correcting (EAQEC) code is defined from the orthogonal group of a simplified stabilizer group. From the Poisson summation formula, this duality leads to the MacWilliams identities and linear programming bounds for EAQEC codes. We establish a table of upper and lower bounds on the minimum distance of any maximal-entanglement EAQEC code with length up to 15 channel qubits.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Family of Finite Geometry Low-Density Parity-Check Codes for Quantum Key Expansion

We consider a quantum key expansion (QKE) protocol based on entanglement-assisted quantum error-correcting codes (EAQECCs). In these protocols, a seed of a previously shared secret key is used in the post-processing stage of a standard quantum key distribution protocol like the Bennett-Brassard 1984 protocol, in order to produce a larger secret key. This protocol was proposed by Luo and Devetak, but codes leading to good performance have not been investigated. We look into a family of EAQECCs generated by classical finite geometry (FG) low-density parity-check (LDPC) codes, for which very efficient iterative decoders exist. A critical observation is that almost all errors in the resulting secret key result from uncorrectable block errors that can be detected by an additional syndrome check and an additional sampling step. Bad blocks can then be discarded. We make some changes to the original protocol to avoid the consumption of the preshared key when the protocol fails. This allows us to greatly reduce the bit error rate of the key at the cost of a minor reduction in the key production rate, but without increasing the consumption rate of the preshared key. We present numerical simulations for the family of FG LDPC codes, and show that this improved QKE protocol has a good net key production rate even at relatively high error rates, for appropriate choices of these codes.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

General quantum error-correcting code with entanglement based on codeword stabilized quantum code

In this paper, we introduce a unified framework to construct entanglement-assisted quantum error-correcting codes, including additive and nonadditive codes, based on the codeword stabilized framework on subsystems. The codeword stabilized (CWS) framework is a scheme to construct quantum error-correcting codes (QECCs) including both additive and nonadditive codes, and gives a method to construct a QECC from a classical error-correcting code in standard form. Entangled pairs of qubits (ebits) can be used to improve capacity of quantum error correction. In addition, it gives a method to overcome the dual-containing constraint. Operator quantum error correction (OQEC) gives a general framework to construct quantum error-correcting codes. We construct OQEC codes with ebits based on the CWS framework. This new scheme, entanglement-assisted operator codeword stabilized (EAOCWS) quantum codes, is the most general framework we know of to construct both additive and nonadditive codes from classical error-correcting codes. We describe the formalism of our scheme, demonstrate the construction with examples, and give several EAOCWS codes.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the Relation between the Psychological and Thermodynamic Arrows of Time

In this paper we lay out an argument that generically the psychological arrow of time should align with the thermodynamic arrow of time where that arrow is well-defined. This argument applies to any physical system that can act as a memory, in the sense of preserving a record of the state of some other system. This result follows from two principles: the robustness of the thermodynamic arrow of time to small perturbations in the state, and the principle that a memory should not have to be fine-tuned to match the state of the system being recorded. This argument applies even if the memory system itself is completely reversible and non-dissipative. We make the argument with a paradigmatic system, then formulate it more broadly for any system that can be considered a memory. We illustrate these principles for a few other example systems, and compare our criteria to earlier treatments of this problem.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Performance and Error Analysis of Knill's Postselection Scheme in a Two-Dimensional Architecture

Knill demonstrated a fault-tolerant quantum computation scheme based on concatenated error-detecting codes and postselection with a simulated error threshold of 3% over the depolarizing channel. %We design a two-dimensional architecture for fault-tolerant quantum computation based on Knill's postselection scheme. We show how to use Knill's postselection scheme in a practical two-dimensional quantum architecture that we designed with the goal to optimize the error correction properties, while satisfying important architectural constraints. In our 2D architecture, one logical qubit is embedded in a tile consisting of $5\times 5$ physical qubits. The movement of these qubits is modeled as noisy SWAP gates and the only physical operations that are allowed are local one- and two-qubit gates. We evaluate the practical properties of our design, such as its error threshold, and compare it to the concatenated Bacon-Shor code and the concatenated Steane code. Assuming that all gates have the same error rates, we obtain a threshold of $3.06\times 10^{-4}$ in a local adversarial stochastic noise model, which is the highest known error threshold for concatenated codes in 2D. We also present a Monte Carlo simulation of the 2D architecture with depolarizing noise and we calculate a pseudo-threshold of about 0.1%. With memory error rates one-tenth of the worst gate error rates, the threshold for the adversarial noise model, and the pseudo-threshold over depolarizing noise, are $4.06\times 10^{-4}$ and 0.2%, respectively. In a hypothetical technology where memory error rates are negligible, these thresholds can be further increased by shrinking the tiles into a $4\times 4$ layout.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantum Convolutional Coding with Shared Entanglement: General Structure

We present a general theory of entanglement-assisted quantum convolutional coding. The codes have a convolutional or memory structure, they assume that the sender and receiver share noiseless entanglement prior to quantum communication, and they are not restricted to possess the Calderbank-Shor-Steane structure as in previous work. We provide two significant advances for quantum convolutional coding theory. We first show how to "expand" a given set of quantum convolutional generators. This expansion step acts as a preprocessor for a polynomial symplectic Gram-Schmidt orthogonalization procedure that simplifies the commutation relations of the expanded generators to be the same as those of entangled Bell states (ebits) and ancilla qubits. The above two steps produce a set of generators with equivalent error-correcting properties to those of the original generators. We then demonstrate how to perform online encoding and decoding for a stream of information qubits, halves of ebits, and ancilla qubits. The upshot of our theory is that the quantum code designer can engineer quantum convolutional codes with desirable error-correcting properties without having to worry about the commutation relations of these generators.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantum state cloning using Deutschian closed timelike curves

We show that it is possible to clone quantum states to arbitrary accuracy in the presence of a Deutschian closed timelike curve (D-CTC), with a fidelity converging to one in the limit as the dimension of the CTC system becomes large---thus resolving an open conjecture from [Brun et al., Physical Review Letters 102, 210402 (2009)]. This result follows from a D-CTC-assisted scheme for producing perfect clones of a quantum state prepared in a known eigenbasis, and the fact that one can reconstruct an approximation of a quantum state from empirical estimates of the probabilities of an informationally-complete measurement. Our results imply more generally that every continuous, but otherwise arbitrarily non-linear map from states to states can be implemented to arbitrary accuracy with D-CTCs. Furthermore, our results show that Deutsch's model for CTCs is in fact a classical model, in the sense that two arbitrary, distinct density operators are perfectly distinguishable (in the limit of a large CTC system); hence, in this model quantum mechanics becomes a classical theory in which each density operator is a distinct point in a classical phase space.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Codeword stabilized quantum codes on subsystems

Codeword stabilized quantum codes provide a unified approach to constructing quantum error-correcting codes, including both additive and non-additive quantum codes. Standard codeword stabilized quantum codes encode quantum information into subspaces. The more general notion of encoding quantum information into a subsystem is known as an operator (or subsystem) quantum error correcting code. Most operator codes studied to date are based in the usual stabilizer formalism. We introduce operator quantum codes based on the codeword stabilized quantum code framework. Based on the necessary and sufficient conditions for operator quantum error correction, we derive a error correction condition for operator codeword stabilized quantum codes. Based on this condition, the word operators of a operator codeword stabilized quantum code are constructed from a set of classical binary errors induced by generators of the gauge group. We use this scheme to construct examples of both additive and non-additive codes that encode quantum information into a subsystem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Entanglement-Assisted Quantum Error-Correcting Codes with Imperfect Ebits

The scheme of entanglement-assisted quantum error-correcting (EAQEC) codes assumes that the ebits of the receiver are error-free. In practical situations, errors on these ebits are unavoidable, which diminishes the error-correcting ability of these codes. We consider two different versions of this problem. We first show that any (nondegenerate) standard stabilizer code can be transformed into an EAQEC code that can correct errors on the qubits of both sender and receiver. These EAQEC codes are equivalent to standard stabilizer codes, and hence the decoding techniques of standard stabilizer codes can be applied. Several EAQEC codes of this type are found to be optimal. In a second scheme, the receiver uses a standard stabilizer code to protect the ebits, which we call a "combination code." The performances of different quantum codes are compared in terms of the channel fidelity over the depolarizing channel. We give a formula for the channel fidelity over the depolarizing channel (or any Pauli error channel), and show that it can be efficiently approximated by a Monte Carlo calculation. Finally, we discuss the tradeoff between performing extra entanglement distillation and applying an EAQEC code with imperfect ebits.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Entanglement-assisted codeword stabilized quantum codes

Entangled qubit can increase the capacity of quantum error correcting codes based on stabilizer codes. In addition, by using entanglement quantum stabilizer codes can be construct from classical linear codes that do not satisfy the dual-containing constraint. We show that it is possible to construct both additive and non-additive quantum codes using the codeword stabilized quantum code framework. Nonadditive codes may offer improved performance over the more common sta- bilizer codes. Like other entanglement-assisted codes, the encoding procedure acts only the qubits on Alice's side, and only these qubits are assumed to pass through the channel. However, errors the codeword stabilized quantum code framework gives rise to effective Z errors on Bob side. We use this scheme to construct new entanglement-assisted non-additive quantum codes, in particular, ((5,16,2;1)) and ((7,4,5;4)) codes.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Geometric Manipulation of Ensembles of Atoms on Atom Chip for Quantum Computation

We propose a feasible scheme to achieve quantum computation based on geometric manipulation of ensembles of atoms, and analyze it for neutral rubidium atoms magnetically trapped in planoconcave microcavities on an atom chip. The geometric operations are accomplished by optical excitation of a single atom into a Rydberg state in a constant electric field. Strong dipole-dipole interactions and incident lasers drive the dark state of the atom ensembles to undergo cyclic evolutions that realize a universal set of quantum gates. Such geometric manipulation turns out naturally to protect the qubits from the errors induced by non-uniform laser illumination as well as cavity loss. The gate performance and decoherence processes are assessed by numerical simulation.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Hiding Quantum Information in the Perfect Code

We present and analyze a protocol for quantum steganography where the sender (Alice) encodes her steganographic information into the error syndromes of the perfect (five-qubit) quantum error-correcting code, and sends it to the receiver (Bob) over a depolarizing channel. Alice and Bob share a classical secret key, and hide quantum information in such a way that to an eavesdropper (Eve) without access to the secret key, the quantum message looks like an innocent codeword with a typical sequence of quantum errors. We calculate the average rate of key consumption, and show how the protocol improves in performance as information is spread over multiple codeword blocks. Alice and Bob utilize different encodings to optimize the average number of steganographic bits that they can send to each other while matching the error statistics of the depolarizing channel.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Perfect state distinguishability and computational speedups with postselected closed timelike curves

Bennett and Schumacher's postselected quantum teleportation is a model of closed timelike curves (CTCs) that leads to results physically different from Deutsch's model. We show that even a single qubit passing through a postselected CTC (P-CTC) is sufficient to do any postselected quantum measurement, and we discuss an important difference between "Deutschian" CTCs (D-CTCs) and P-CTCs in which the future existence of a P-CTC might affect the present outcome of an experiment. Then, based on a suggestion of Bennett and Smith, we explicitly show how a party assisted by P-CTCs can distinguish a set of linearly independent quantum states, and we prove that it is not possible for such a party to distinguish a set of linearly dependent states. The power of P-CTCs is thus weaker than that of D-CTCs because the Holevo bound still applies to circuits using them regardless of their ability to conspire in violating the uncertainty principle. We then discuss how different notions of a quantum mixture that are indistinguishable in linear quantum mechanics lead to dramatically differing conclusions in a nonlinear quantum mechanics involving P-CTCs. Finally, we give explicit circuit constructions that can efficiently factor integers, efficiently solve any decision problem in the intersection of NP and coNP, and probabilistically solve any decision problem in NP. These circuits accomplish these tasks with just one qubit traveling back in time, and they exploit the ability of postselected closed timelike curves to create grandfather paradoxes for invalid answers.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Entanglement-Assisted Quantum Convolutional Coding

We show how to protect a stream of quantum information from decoherence induced by a noisy quantum communication channel. We exploit preshared entanglement and a convolutional coding structure to develop a theory of entanglement-assisted quantum convolutional coding. Our construction produces a Calderbank-Shor-Steane (CSS) entanglement-assisted quantum convolutional code from two arbitrary classical binary convolutional codes. The rate and error-correcting properties of the classical convolutional codes directly determine the corresponding properties of the resulting entanglement-assisted quantum convolutional code. We explain how to encode our CSS entanglement-assisted quantum convolutional codes starting from a stream of information qubits, ancilla qubits, and shared entangled bits.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Gaussian approximation and single-spin measurement in OSCAR MRFM with spin noise

A promising technique for measuring single electron spins is magnetic resonance force microscopy (MRFM), in which a microcantilever with a permanent magnetic tip is resonantly driven by a single oscillating spin. If the quality factor of the cantilever is high enough, this signal will be amplified over time to the point that it can be detected by optical or other techniques. An important requirement, however, is that this measurement process occur on a time scale short compared to any noise which disturbs the orientation of the measured spin. We describe a model of spin noise for the MRFM system, and show how this noise is transformed to become time-dependent in going to the usual rotating frame. We simplify the description of the cantilever-spin system by approximating the cantilever wavefunction as a Gaussian wavepacket, and show that the resulting approximation closely matches the full quantum behavior. We then examine the problem of detecting the signal for a cantilever with thermal noise and spin with spin noise, deriving a condition for this to be a useful measurement.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Optimized Entanglement-Assisted Quantum Error Correction

Using convex optimization, we propose entanglement-assisted quantum error correction procedures that are optimized for given noise channels. We demonstrate through numerical examples that such an optimized error correction method achieves higher channel fidelities than existing methods. This improved performance, which leads to perfect error correction for a larger class of error channels, is interpreted in at least some cases by quantum teleportation, but for general channels this interpretation does not hold.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Quantum Steganography

Steganography is the process of hiding secret information by embedding it in an "innocent" message. We present protocols for hiding quantum information in a codeword of a quantum error-correcting code passing through a channel. Using either a shared classical secret key or shared entanglement the sender (Alice) disguises her information as errors in the channel. The receiver (Bob) can retrieve the hidden information, but an eavesdropper (Eve) with the power to monitor the channel, but without the secret key, cannot distinguish the message from channel noise. We analyze how difficult it is for Eve to detect the presence of secret messages, and estimate rates of steganographic communication and secret key consumption for certain protocols.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Entanglement-Assisted Quantum Quasi-Cyclic Low-Density Parity-Check Codes

We investigate the construction of quantum low-density parity-check (LDPC) codes from classical quasi-cyclic (QC) LDPC codes with girth greater than or equal to 6. We have shown that the classical codes in the generalized Calderbank-Shor-Steane (CSS) construction do not need to satisfy the dual-containing property as long as pre-shared entanglement is available to both sender and receiver. We can use this to avoid the many 4-cycles which typically arise in dual-containing LDPC codes. The advantage of such quantum codes comes from the use of efficient decoding algorithms such as sum-product algorithm (SPA). It is well known that in the SPA, cycles of length 4 make successive decoding iterations highly correlated and hence limit the decoding performance. We show the principle of constructing quantum QC-LDPC codes which require only small amounts of initial shared entanglement.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Localized closed timelike curves can perfectly distinguish quantum states

We show that qubits traveling along closed timelike curves are a resource that a party can exploit to distinguish perfectly any set of quantum states. As a result, an adversary with access to closed timelike curves can break any prepare-and-measure quantum key distribution protocol. Our result also implies that a party with access to closed timelike curves can violate the Holevo bound.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Quantum scattering theory on graphs with tails

We consider quantum walks on a finite graphs to which infinite tails are attached. We explore how the propagating and bound states depend on the structure of the finite graph. The S-matrix for such graphs is defined. Its unitarity is proved as well as some other of its properties such as its transformation under time reversal. A spectral decomposition of the identity for the Hamiltonian of the graph is derived using its eigenvectors. We derive formulas for the S-matrix of a graph under certain operation such as cutting a tail, attaching a tail or connecting two tails to form an edge.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Classical Enhancement of Quantum Error-Correcting Codes

We present a general formalism for quantum error-correcting codes that encode both classical and quantum information (the EACQ formalism). This formalism unifies the entanglement-assisted formalism and classical error correction, and includes encoding, error correction, and decoding steps such that the encoded quantum and classical information can be correctly recovered by the receiver. We formally define this kind of quantum code using both stabilizer and symplectic language, and derive the appropriate error-correcting conditions. We give several examples to demonstrate the construction of such codes.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Hitting time for the continuous quantum walk

We define the hitting (or absorbing) time for the case of continuous quantum walks by measuring the walk at random times, according to a Poisson process with measurement rate $λ$. From this definition we derive an explicit formula for the hitting time, and explore its dependence on the measurement rate. As the measurement rate goes to either 0 or infinity the hitting time diverges; the first divergence reflects the weakness of the measurement, while the second limit results from the Quantum Zeno effect. Continuous-time quantum walks, like discrete-time quantum walks but unlike classical random walks, can have infinite hitting times. We present several conditions for existence of infinite hitting times, and discuss the connection between infinite hitting times and graph symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Test of weak measurement on a two- or three-qubit computer

Current quantum computer technology is sufficient to realize weak measurements and the corresponding concept of weak values. We demonstrate how the weak value anomaly can be tested, along with consistency and simultaneity of weak values, using only discrete degrees of freedom. All you need is a quantum computer with two--or better, three--qubits. We also give an interpretation of the weak value as an effective field strength in a postselected spin measurement.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Coherent Communication with Continuous Quantum Variables

The coherent bit (cobit) channel is a resource intermediate between classical and quantum communication. It produces coherent versions of teleportation and superdense coding. We extend the cobit channel to continuous variables by providing a definition of the coherent nat (conat) channel. We construct several coherent protocols that use both a position-quadrature and a momentum-quadrature conat channel with finite squeezing. Finally, we show that the quality of squeezing diminishes through successive compositions of coherent teleportation and superdense coding.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Convolutional Entanglement Distillation

We develop a theory of entanglement distillation that exploits a convolutional coding structure. We provide a method for converting an arbitrary classical binary or quaternary convolutional code into a convolutional entanglement distillation protocol. The imported classical convolutional code does not have to be dual-containing or self-orthogonal. The yield and error-correcting properties of such a protocol depend respectively on the rate and error-correcting properties of the imported classical convolutional code. A convolutional entanglement distillation protocol has several other benefits. Two parties sharing noisy ebits can distill noiseless ebits ``online'' as they acquire more noisy ebits. Distillation yield is high and decoding complexity is simple for a convolutional entanglement distillation protocol. Our theory of convolutional entanglement distillation reduces the problem of finding a good convolutional entanglement distillation protocol to the well-established problem of finding a good classical convolutional code.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Computers with closed timelike curves can solve hard problems

A computer which has access to a closed timelike curve, and can thereby send the results of calculations into its own past, can exploit this to solve difficult computational problems efficiently. I give a specific demonstration of this for the problem of factoring large numbers, and argue that a similar approach can solve NP-complete and PSPACE-complete problems. I discuss the potential impact of quantum effects on this result.

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

Remotely prepared entanglement: a quantum web page

In quantum teleportation, an unknown quantum state is transmitted from one party to another using only local operations and classical communication, at the cost of shared entanglement. Is it possible similarly, using an $N$ party entangled state, to have the state retrievable by {\it any} of the $N-1$ possible receivers? If the receivers cooperate, and share a suitable state, this can be done reliably. The $N$ party GHZ is one such state; I derive a large class of such states, and show that they are in general not equivalent to the GHZ. I also briefly discuss the problem where the parties do not cooperate, and the relationship to multipartite entanglement quantification. I define a new set of entanglement monotones, the entanglements of preparation.

0 citations0 reviewsNo code linkedOpen access
preprint1999arXiv

Realizing the quantum baker's map on an NMR quantum computer

By numerically simulating an implementation of the quantum baker's map on a 3-qubit NMR quantum computer based on the molecule trichloroethylene, we demonstrate the feasibility of quantum chaos experiments on present-day quantum computers. We give detailed descriptions of proposed experiments that investigate (a) the rate of entropy increase due to decoherence and (b) the phenomenon of hypersensitivity to perturbation.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

Interference in dielectrics and pseudo-measurements

Inserting a lossy dielectric into one arm of an interference experiment acts in many ways like a measurement. If two entangled photons are passed through the interferometer, a certain amount of information is gained about which path they took, and the interference pattern in a coincidence count measurement is suppressed. However, by inserting a second dielectric into the other arm of the interferometer, one can restore the interference pattern. Two of these pseudo-measurements can thus cancel each other out. This is somewhat analogous to the proposed quantum eraser experiments.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

Quantum State Diffusion and Time Correlation Functions

In computing the spectra of quantum mechanical systems one encounters the Fourier transforms of time correlation functions, as given by the quantum regression theorem for systems described by master equations. Quantum state diffusion (QSD) gives a useful method of solving these problems by unraveling the master equation into stochastic trajectories; but there is no generally accepted definition of a time correlation function for a single QSD trajectory. In this paper we show how QSD can be used to calculate these spectra directly; by formally solving the equations which arise, we arrive at a natural definition for a two-time correlation function in QSD, which depends explicitly on both the stochastic noise of the particular trajectory and the time of measurement, and which agrees in the mean with the ensemble average definition of correlation functions.

0 citations0 reviewsNo code linkedOpen access