Search

Quantum process tomography has become increasingly critical as the need grows for robust verification and validation of candidate quantum processors, since it plays a key role in both performance assessment and debugging. However, as these processors grow in size, standard process tomography becomes an almost impossible task. Here, we present an approach for efficient quantum process tomography that uses a physically motivated ansatz for an unknown quantum process. Our ansatz bootstraps to an effective description for an unknown process on a multi-qubit processor from pairwise two-qubit tomographic data. Further, our approach can inherit insensitivity to system preparation and measurement error from the two-qubit tomography scheme. We benchmark our approach using numerical simulation of noisy three-qubit gates, and show that it produces highly accurate characterizations of quantum processes. Further, we demonstrate our approach experimentally on a superconducting quantum processor, building three-qubit gate reconstructions from two-qubit tomographic data., Quantum process tomography represents one of the workhorses of quantum information processing, but suffers from exponential resource scaling. Here, the authors propose to efficiently infer general processes by approximating them through a sequence of two-qubit processes, and demonstrate it on a three-qubit case.

Quantum communications capacity using direct transmission over length-$L$ optical fiber scales as $R \sim e^{-\alpha L}$, where $\alpha$ is the fiber's loss coefficient. The rate achieved using a linear chain of quantum repeaters equipped with quantum memories, probabilistic Bell state measurements (BSMs) and switches used for spatial multiplexing, but no quantum error correction, was shown to surpass the direct-transmission capacity. However, this rate still decays exponentially with the end-to-end distance, viz., $R \sim e^{-s{\alpha L}}$, with $s < 1$. We show that the introduction of temporal multiplexing - i.e., the ability to perform BSMs among qubits at a repeater node that were successfully entangled with qubits at distinct neighboring nodes at {\em different} time steps - leads to a sub-exponential rate-vs.-distance scaling, i.e., $R \sim e^{-t\sqrt{\alpha L}}$, which is not attainable with just spatial or spectral multiplexing. We evaluate analytical upper and lower bounds to this rate, and obtain the exact rate by numerically optimizing the time-multiplexing block length and the number of repeater nodes. We further demonstrate that incorporating losses in the optical switches used to implement time multiplexing degrades the rate-vs.-distance performance, eventually falling back to exponential scaling for very lossy switches. We also examine models for quantum memory decoherence and describe optimal regimes of operation to preserve the desired boost from temporal multiplexing. Quantum memory decoherence is seen to be more detrimental to the repeater's performance over switching losses., Comment: 13 pages, 11 figures

In this paper, we explore a new approach to optimization of cost or utility functions defined over a surface, a manifold, or its simplicial decomposition. In the era of Big Data, heterogeneous signal samples sometimes embed with less distortion in a lower dimensional space if the embedding space is a manifold rather than the traditional Euclidean space. If a utility function is defined over the data and if there is a need to identify significant events defined by extreme values of the utility function, we are faced with the problem of identifying the extreme minima/maxima points of the cost/utility function defined over the manifold or its triangulation. The fundamental idea developed here is to observe that at the extreme points the graph of the utility function has extreme curvature. Accordingly, the celebrated Ricci/Yamabe flow for uniformization of the curvature of the graph will show significant "curvature transport" in the vicinity of the extreme values, hence allowing their rapid identification, obviating the classical sorting. The novel theoretical contribution is to accelerate the process by compounding the Laplace operator.

Nonlinear differential equations model diverse phenomena but are notoriously difficult to solve. While there has been extensive previous work on efficient quantum algorithms for linear differential equations, the linearity of quantum mechanics has limited analogous progress for the nonlinear case. Despite this obstacle, we develop a quantum algorithm for dissipative quadratic $n$-dimensional ordinary differential equations. Assuming $R < 1$, where $R$ is a parameter characterizing the ratio of the nonlinearity and forcing to the linear dissipation, this algorithm has complexity $T^2 q~\mathrm{poly}(\log T, \log n, \log 1/\epsilon)/\epsilon$, where $T$ is the evolution time, $\epsilon$ is the allowed error, and $q$ measures decay of the solution. This is an exponential improvement over the best previous quantum algorithms, whose complexity is exponential in $T$. While exponential decay precludes efficiency, driven equations can avoid this issue despite the presence of dissipation. Our algorithm uses the method of Carleman linearization, for which we give a novel convergence theorem. This method maps a system of nonlinear differential equations to an infinite-dimensional system of linear differential equations, which we discretize, truncate, and solve using the forward Euler method and the quantum linear system algorithm. We also provide a lower bound on the worst-case complexity of quantum algorithms for general quadratic differential equations, showing that the problem is intractable for $R \ge \sqrt{2}$. Finally, we discuss potential applications, showing that the $R < 1$ condition can be satisfied in realistic epidemiological models and giving numerical evidence that the method may describe a model of fluid dynamics even for larger values of $R$., Comment: 36 pages, 1 figure. Published in PNAS

I review some work on models of quantum computing, optical implementations of these models, as well as the associated computational power. In particular, we discuss the circuit model and cluster state implementations using quantum optics with various encodings such as dual rail encoding, Gottesman-Kitaev-Preskill encoding, and coherent state encoding. Then we discuss intermediate models of optical computing such as boson sampling and its variants. Finally, we review some recent work in optical implementations of adiabatic quantum computing and analog optical computing. We also provide a brief description of the relevant aspects from complexity theory needed to understand the results surveyed.

Realizing the promise of quantum information processing remains a daunting task, given the omnipresence of noise and error. Adapting noise-resilient classical computing modalities to quantum mechanics may be a viable path towards near-term applications in the noisy intermediate-scale quantum era. Here, we propose continuous variable quantum reservoir computing in a single nonlinear oscillator. Through numerical simulation of our model we demonstrate quantum-classical performance improvement, and identify its likely source: the nonlinearity of quantum measurement. Beyond quantum reservoir computing, this result may impact the interpretation of results across quantum machine learning. We study how the performance of our quantum reservoir depends on Hilbert space dimension, how it is impacted by injected noise, and briefly comment on its experimental implementation. Our results show that quantum reservoir computing in a single nonlinear oscillator is an attractive modality for quantum computing on near-term hardware., Comment: 9 pages, 5 figures

Quantum key distribution (QKD) promises provably secure cryptography, even to attacks from an all-powerful adversary. However, with quantum computing development lagging behind QKD, the assumption that there exists an adversary equipped with a universal fault-tolerant quantum computer is unrealistic for at least the near future. Here, we explore the effect of restricting the eavesdropper's computational capabilities on the security of QKD, and find that improved secret key rates are possible. Specifically, we show that for a large class of discrete variable protocols higher key rates are possible if the eavesdropper is restricted to a unitary operation from the Clifford group. Further, we consider Clifford-random channels consisting of mixtures of Clifford gates. We numerically calculate a secret key rate lower bound for BB84 with this restriction, and show that in contrast to the case of a single restricted unitary attack, the mixture of Clifford based unitary attacks does not result in an improved key rate., Comment: 6 pages + 8 pages appendices, 2 figures

Quantum repeaters are indispensable for high-rate, long-distance quantum communications. The vision of a future quantum internet strongly hinges on realizing quantum repeaters in practice. Numerous repeaters have been proposed for discrete-variable (DV) single-photon-based quantum communications. Continuous variable (CV) encodings over the quadrature degrees of freedom of the electromagnetic field mode offer an attractive alternative. For example, CV transmission systems are easier to integrate with existing optical telecom systems compared to their DV counterparts. Yet, repeaters for CV have remained elusive. We present a novel quantum repeater scheme for CV entanglement distribution over a lossy bosonic channel that beats the direct transmission exponential rate-loss tradeoff. The scheme involves repeater nodes consisting of a) two-mode squeezed vacuum (TMSV) CV entanglement sources, b) the quantum scissors operation to perform nondeterministic noiseless linear amplification of lossy TMSV states, c) a layer of switched, mode multiplexing inspired by second-generation DV repeaters, which is the key ingredient apart from probabilistic entanglement purification that makes DV repeaters work, and d) a non-Gaussian entanglement swap operation. We report our exact results on the rate-loss envelope achieved by the scheme., Comment: Accepted for publication in Phys. Rev. Research

Entanglement distillation is a key primitive for distributing high-quality entanglement between remote locations. Probabilistic noiseless linear amplification based on the quantum scissors is a candidate for entanglement distillation from noisy continuous-variable (CV) entangled states. Being a non-Gaussian operation, quantum scissors is challenging to analyze. We present a derivation of the non-Gaussian state heralded by multiple quantum scissors in a pure loss channel with two-mode squeezed vacuum input. We choose the reverse coherent information (RCI)---a proven lower bound on the distillable entanglement of a quantum state under one-way local operations and classical communication (LOCC), as our figure of merit. We evaluate a Gaussian lower bound on the RCI of the heralded state. We show that it can exceed the unlimited two-way LOCCassisted direct transmission entanglement distillation capacity of the pure loss channel. The optimal heralded Gaussian RCI with two quantum scissors is found to be significantly more than that with a single quantum scissors, albeit at the cost of decreased success probability. Our results fortify the possibility of a quantum repeater scheme for CV quantum states using the quantum scissors., Comment: accepted for publication in Physical Review A

Knot and link invariants naturally arise from any braided Hopf algebra. We consider the computational complexity of the invariants arising from an elementary family of finite-dimensional Hopf algebras: quantum doubles of finite groups (denoted D(G), for a group G). Regarding algorithms for these invariants, we develop quantum circuits for the quantum Fourier transform over D(G); in general, we show that when one can uniformly and efficiently carry out the quantum Fourier transform over the centralizers Z(g) of the elements of G, one can efficiently carry out the quantum Fourier transform over D(G). We apply these results to the symmetric groups to yield efficient circuits for the quantum Fourier transform over D(S_n). With such a Fourier transform, it is straightforward to obtain additive approximation algorithms for the related link invariant. Additionally, we show that certain D(G) invariants (such as D(A_n) invariants) are BPP-hard to additively approximate, SBP-hard to multiplicatively approximate, and #P-hard to exactly evaluate. Finally, we make partial progress on the question of simulating anyonic computation in groups uniformly as a function of the group size. In this direction, we provide efficient quantum circuits for the Clebsch-Gordan transform over D(G) for "fluxon" irreps, i.e., irreps of D(G) characterized by a conjugacy class of G. For general irreps, i.e., those which are associated with a conjugacy class of G and an irrep of a centralizer, we present an efficient implementation under certain conditions such as when there is an efficient Clebsch-Gordan transform over the centralizers. We remark that this also provides a simulation of certain anyonic models of quantum computation, even in circumstances where the group may have size exponential in the size of the circuit., 30 pages

Remote quantum entanglement can enable numerous applications including distributed quantum computation, secure communication, and precision sensing. In this paper, we consider how a quantum network-nodes equipped with limited quantum processing capabilities connected via lossy optical links-can distribute high-rate entanglement simultaneously between multiple pairs of users (multiple flows). We develop protocols for such quantum "repeater" nodes, which enable a pair of users to achieve large gains in entanglement rates over using a linear chain of quantum repeaters, by exploiting the diversity of multiple paths in the network. Additionally, we develop repeater protocols that enable multiple user pairs to generate entanglement simultaneously at rates that can far exceed what is possible with repeaters time sharing among assisting individual entanglement flows. Our results suggest that the early-stage development of quantum memories with short coherence times and implementations of probabilistic Bell-state measurements can have a much more profound impact on quantum networks than may be apparent from analyzing linear repeater chains. This framework should spur the development of a general quantum network theory, bringing together quantum memory physics, quantum information theory, and computer network theory., Added citations

We analyze the fundamental quantum limit of the resolution of an optical imaging system from the perspective of the detection problem of deciding whether the optical field in the image plane is generated by one incoherent on-axis source with brightness $\epsilon$ or by two $\epsilon/2$-brightness incoherent sources that are symmetrically disposed about the optical axis. Using the exact thermal-state model of the field, we derive the quantum Chernoff bound for the detection problem, which specifies the optimum rate of decay of the error probability with increasing number of collected photons that is allowed by quantum mechanics. We then show that recently proposed linear-optic schemes approach the quantum Chernoff bound---the method of binary spatial-mode demultiplexing (B-SPADE) is quantum-optimal for all values of separation, while a method using image-inversion interferometry (SLIVER) is near-optimal for sub-Rayleigh separations. We then simplify our model using a low-brightness approximation that is very accurate for optical microscopy and astronomy, derive quantum Chernoff bounds conditional on the number of photons detected, and show the optimality of our schemes in this conditional detection paradigm. For comparison, we analytically demonstrate the superior scaling of the Chernoff bound for our schemes with source separation relative to that of spatially-resolved direct imaging. Our schemes have the advantages over the quantum-optimal (Helstrom) measurement in that they do not involve joint measurements over multiple modes, and that they do not require the angular separation for the two-source hypothesis to be given \emph{a priori} and can offer that information as a bonus in the event of a successful detection., Comment: 10 pages, 4 figures. This paper extends and unifies preliminary work in the preprints arXiv:1609.00684 (thermal-state model) and arXiv:1609.03025 (weak-source model)

We present a resource-performance tradeoff of an all-optical quantum repeater that uses photon sources, linear optics, photon detectors and classical feedforward at each repeater node, but no quantum memories. We show that the quantum-secure key rate has the form $R(\eta) = D\eta^s$ bits per mode, where $\eta$ is the end-to-end channel's transmissivity, and the constants $D$ and $s$ are functions of various device inefficiencies and the resource constraint, such as the number of available photon sources at each repeater node. Even with lossy devices, we show that it is possible to attain $s < 1$, and in turn outperform the maximum key rate attainable without quantum repeaters, $R_{\rm direct}(\eta) = -\log_2(1-\eta) \approx (1/\ln 2)\eta$ bits per mode for $\eta \ll 1$, beyond a certain total range $L$, where $\eta \sim e^{-\alpha L}$ in optical fiber. We also propose a suite of modifications to a recently-proposed all-optical repeater protocol that ours builds upon, which lower the number of photon sources required to create photonic clusters at the repeaters so as to outperform $R_{\rm direct}(\eta)$, from $\sim 10^{11}$ to $\sim 10^{6}$ photon sources per repeater node. We show that the optimum separation between repeater nodes is independent of the total range $L$, and is around $1.5$ km for assumptions we make on various device losses.

The minimum probability of error (MPE) measurement discriminates between a set of candidate quantum states with the minimum average error probability allowed by quantum mechanics. Conditions for a measurement to be MPE were derived by Yuen, Kennedy and Lax (YKL). MPE measurements have been found for states that form a single orbit under a group action, i.e., there is a transitive group action on the states in the set. For such state sets, termed geometrically uniform (GU) by Forney, it was shown that the `pretty good measurement' (PGM) attains the MPE. Even so, evaluating the actual probability of error (and other performance metrics) attained by the PGM on a GU set involves inverting large matrices, and is not easy in general. Our first contribution is a formula for the MPE and conditional probabilities of GU sets, using group representation theory. Next, we consider sets of pure states that have multiple orbits under the group action. Such states are termed compound geometrically uniform (CGU). MPE measurements for general CGU sets are not known. In this paper, we show how our representation-theoretic description of optimal measurements for GU sets naturally generalizes to the CGU case. We show how to compute the MPE measurement for CGU sets by reducing the problem to solving a few simultaneous equations. The number of equations depends on the sizes of the multiplicity space of irreducible representations. For many common group representations (such as those of several practical good linear codes), this is much more tractable than solving large semi-definite programs---which is what is needed to solve the YKL conditions numerically for arbitrary state sets. We show how to evaluate MPE measurements for CGU states for some examples relevant to quantum-limited classical optical communication., 11 pages, 3 figures

Conventional wisdom suggests that realistic quantum repeaters will require quasi-deterministic sources of entangled photon pairs. In contrast, we here study a quantum repeater architecture that uses simple parametric down-conversion sources, as well as frequency-multiplexed multimode quantum memories and photon-number resolving detectors. We show that this approach can significantly extend quantum communication distances compared to direct transmission. This shows that important trade-offs are possible between the different components of quantum repeater architectures., 6 pages, 2 figures

We compare the standard 50%-efficient single beam splitter method for Bell-state measurement to a proposed 75%-efficient auxiliary-photon-enhanced scheme [W. P. Grice, Phys. Rev. A 84, 042331 (2011)] in light of realistic conditions. The two schemes are compared with consideration for high input state photon loss, auxiliary state photon loss, detector inefficiency and coupling loss, detector dark counts, and non-number-resolving detectors. We also analyze the two schemes when multiplexed arrays of non-number-resolving detectors are used. Furthermore, we explore the possibility of utilizing spontaneous parametric down-conversion as the auxiliary photon pair source required by the enhanced scheme. In these different cases, we determine the bounds on the detector parameters at which the enhanced scheme becomes superior to the standard scheme and describe the impact of the different imperfections on measurement success rate and discrimination fidelity. This is done using a combination of numeric and analytic techniques. For many of the cases discussed, the size of the Hilbert space and the number of measurement outcomes can be very large, which makes direct numerical solutions computationally costly. To alleviate this problem, all of our numerical computations are performed using pure states. This requires tracking the loss modes until measurement and treating dark counts as variations on measurement outcomes rather than modifications to the state itself. In addition, we provide approximate analytic expressions that illustrate the effect of different imperfections on the Bell-state analyzer quality., Comment: 14 pages, 5 figures, version accepted by PRA

We analyze an entanglement-based quantum key distribution (QKD) architecture that uses a linear chain of quantum repeaters employing photon-pair sources, spectral-multiplexing, linear-optic Bell-state measurements, multi-mode quantum memories and classical-only error correction. Assuming perfect sources, we find an exact expression for the secret-key rate, and an analytical description of how errors propagate through the repeater chain, as a function of various loss and noise parameters of the devices. We show via an explicit analytical calculation, which separately addresses the effects of the principle non-idealities, that this scheme achieves a secret key rate that surpasses the TGW bound---a recently-found fundamental limit to the rate-vs.-loss scaling achievable by any QKD protocol over a direct optical link---thereby providing one of the first rigorous proofs of the efficacy of a repeater protocol. We explicitly calculate the end-to-end shared noisy quantum state generated by the repeater chain, which could be useful for analyzing the performance of other non-QKD quantum protocols that require establishing long-distance entanglement. We evaluate that shared state's fidelity and the achievable entanglement distillation rate, as a function of the number of repeater nodes, total range, and various loss and noise parameters of the system. We extend our theoretical analysis to encompass sources with non-zero two-pair-emission probability, using an efficient exact numerical evaluation of the quantum state propagation and measurements. We expect our results to spur formal rate-loss analysis of other repeater protocols, and also to provide useful abstractions to seed analyses of quantum networks of complex topologies., Comment: 27 pages, 14 figures

We present simulations of rates for a quantum key distribution scheme using a frequency multiplexed repeater architecture with broadband solid-state quantum memories. We find that key can be generated over 1000 km with eight elementary links.

We prove that the ultimate channel capacity, the Holevo bound, for sending classical data on a quantum channel (the so-called classical-quantum, or cq channel) can be achieved for a pure-state cq channel by decoding codewords via a collective quantum measurement based on unambiguous state discrimination (USD). In cq communication theory, the channel decoder acts directly on the modulated codeword waveform in the quantum (viz., electromagnetic or optical) domain, and it is known that collective measurements on long codeword blocks are needed to attain the Holevo capacity, which is strictly larger than the Shannon capacity of the classical channel induced by any specific measurement choice on each channel use. The USD measurement based channel decoder we propose, can distinguish finite blocklength codeword quantum states unambiguously (i.e., an incorrect codeword is never chosen) provided one allows for a finite probability of obtaining an inconclusive (erasure) outcome. We show that the probability of the inconclusive outcome goes to zero for asymptotically long codewords whenever the code rate is below the Holevo bound. The USD channel decoder is an addition to a small list of other collective measurements known to achieve the Holevo capacity (such as, the square root measurement, the minimum probability of error measurement, the sequential decoding measurement, and the quantum successive cancellation decoder for the cq polar code). A structured optical receiver design is not known yet for any of these decoders. What makes the USD decoder special is that there is no classical analogue to truly unambiguous discrimination (say, of samples drawn from a set of probability distributions). Secondly, the erasures-only decoding of USD is likely to result in a better channel reliability function. Finally, the USD measurement seems more likely to lead naturally to a structured optical receiver design and implementation.

Understanding NP-complete problems is a central topic in computer science (NP stands for nondeterministic polynomial time). This is why adiabatic quantum optimization has attracted so much attention, as it provided a new approach to tackle NP-complete problems using a quantum computer. The efficiency of this approach is limited by small spectral gaps between the ground and excited states of the quantum computer’s Hamiltonian. We show that the statistics of the gaps can be analyzed in a novel way, borrowed from the study of quantum disordered systems in statistical mechanics. It turns out that due to a phenomenon similar to Anderson localization, exponentially small gaps appear close to the end of the adiabatic algorithm for large random instances of NP-complete problems. This implies that unfortunately, adiabatic quantum optimization fails: The system gets trapped in one of the numerous local minima.

We present an adiabatic quantum algorithm for the abstract problem of searching marked vertices in a graph, or spatial search. Given a random walk (or Markov chain) $P$ on a graph with a set of unknown marked vertices, one can define a related absorbing walk $P'$ where outgoing transitions from marked vertices are replaced by self-loops. We build a Hamiltonian $H(s)$ from the interpolated Markov chain $P(s)=(1-s)P+sP'$ and use it in an adiabatic quantum algorithm to drive an initial superposition over all vertices to a superposition over marked vertices. The adiabatic condition implies that for any reversible Markov chain and any set of marked vertices, the running time of the adiabatic algorithm is given by the square root of the classical hitting time. This algorithm therefore demonstrates a novel connection between the adiabatic condition and the classical notion of hitting time of a random walk. It also significantly extends the scope of previous quantum algorithms for this problem, which could only obtain a full quadratic speed-up for state-transitive reversible Markov chains with a unique marked vertex., 22 pages

We solve an open problem by constructing quantum walks that not only detect but also find marked vertices in a graph. The number of steps of the quantum walk is quadratically smaller than the classical hitting time of any reversible random walk P on the graph. Our approach is new, simpler and more general than previous ones. We introduce a notion of interpolation between the walk P and the absorbing walk P′, whose marked states are absorbing. Then our quantum walk is simply the quantum analogue of the interpolation. Contrary to previous approaches, our results remain valid when the random walk P is not state-transitive, and in the presence of multiple marked vertices. As a consequence we make a progress on an open problem related to the spatial search on the 2D-grid., info:eu-repo/semantics/published

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 $\lambda$. 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., Comment: 12 pages, 1figure

We construct a theory of continuous-variable entanglement-assisted quantum error correction. We present an example of a continuous-variable entanglement-assisted code that corrects for an arbitrary single-mode error. We also show how to implement encoding circuits using passive optical devices, homodyne measurements, feedforward classical communication, conditional displacements, and off-line squeezers., Comment: 8 pages, 1 figure, major expansion of paper with detailed example

We study the analytically solvable Ising model of a single qubit system coupled to a spin bath. The purpose of this study is to analyze and elucidate the performance of Markovian and non-Markovian master equations describing the dynamics of the system qubit, in comparison to the exact solution. We find that the time-convolutionless master equation performs particularly well up to fourth order in the system-bath coupling constant, in comparison to the Nakajima-Zwanzig master equation. Markovian approaches fare poorly due to the infinite bath correlation time in this model. A recently proposed post-Markovian master equation performs comparably to the time-convolutionless master equation for a properly chosen memory kernel, and outperforms all the approximation methods considered here at long times. Our findings shed light on the applicability of master equations to the description of reduced system dynamics in the presence of spin-baths., 17 pages, 16 figures

A discrete-time quantum walk on a graph is the repeated application of a unitary evolution operator to a Hilbert space corresponding to the graph. If this unitary evolution operator has an associated group of symmetries, then for certain initial states the walk will be confined to a subspace of the original Hilbert space. Symmetries of the original graph, given by its automorphism group, can be inherited by the evolution operator. We show that a quantum walk confined to the subspace corresponding to this symmetry group can be seen as a different quantum walk on a smaller quotient graph. We give an explicit construction of the quotient graph for any subgroup of the automorphism group and illustrate it with examples. The automorphisms of the quotient graph which are inherited from the original graph are the original automorphism group modulo the subgroup used to construct it. We then analyze the behavior of hitting times on quotient graphs. Hitting time is the average time it takes a walk to reach a given final vertex from a given initial vertex. It has been shown in earlier work [Phys. Rev. A {\bf 74}, 042334 (2006)] that the hitting time can be infinite. We give a condition which determines whether the quotient graph has infinite hitting times given that they exist in the original graph. We apply this condition for the examples discussed and determine which quotient graphs have infinite hitting times. All known examples of quantum walks with fast hitting times correspond to systems with quotient graphs much smaller than the original graph; we conjecture that the existence of a small quotient graph with finite hitting times is necessary for a walk to exhibit a quantum speed-up., 18 pages, 7 figures in EPS format

We provide experimental proposals for coherent communication with linear optics. The first proposal suggests a linear-optical scheme for coherent superdense coding. The second proposal gives a linear-optical coherent teleportation scheme.

Local pure states are an important resource for quantum computing. The problem of distilling local pure states from mixed ones can be cast in an information theoretic paradigm. The bipartite version of this problem where local purity must be distilled from an arbitrary quantum state shared between two parties, Alice and Bob, is closely related to the problem of separating quantum and classical correlations in the state and in particular, to a measure of classical correlations called the one-way distillable common randomness. In Phys. Rev. A 71, 062303 (2005), the optimal rate of local purity distillation is derived when many copies of a bipartite quantum state are shared between Alice and Bob, and the parties are allowed unlimited use of a unidirectional dephasing channel. In the present paper, we extend this result to the setting in which the use of the channel is bounded. We demonstrate that in the case of a classical-quantum system, the expression for the local purity distilled is efficiently computable and provide examples with their tradeoff curves., Comment: 9 pages and 2 figure in .eps