Quantum walk algorithms can speed up search of physical regions of space in both the discrete-time [arXiv:quant-ph/0402107] and continuous-time setting [arXiv:quant-ph/0306054], where the physical region of space being searched is modeled as a connected graph. In such a model, Aaronson and Ambainis [arXiv:quant-ph/0303041] provide three different criteria for a unitary matrix to act locally with respect to a graph, called $Z$-local, $C$-local, and $H$-local unitaries, and left the open question of relating these three locality criteria. Using a correspondence between continuous- and discrete-time quantum walks by Childs [arXiv:0810.0312], we provide a way to approximate $N\times N$ $H$-local unitaries with error $δ$ using $O(1/\sqrtδ,\sqrt{N})$ $C$-local unitaries, where the comma denotes the maximum of the two terms.
Distinguishability is a fundamental and operational task generally connected to information applications. In quantum information theory, from the postulates of quantum mechanics it often has an intrinsic limitation, which then dictates and also characterises capabilities of related information tasks. In this work, we consider discrimination between bipartite two-qubit unitary transformations by local operations and classical communication (LOCC) and its relations to entangling capabilities of given unitaries. We show that a pair of entangling unitaries which do not contain local parts, if they…
In certain cases the communication time required to deterministically implement a nonlocal bipartite unitary using prior entanglement and LOCC (local operations and classical communication) can be reduced by a factor of two. We introduce two such "fast" protocols and illustrate them with various examples. For some simple unitaries, the entanglement resource is used quite efficiently. The problem of exactly which unitaries can be implemented by these two protocols remains unsolved, though there is some evidence that the set of implementable unitaries may expand at the cost of using more entangl…
What interactions are sufficient to simulate arbitrary quantum dynamics in a composite quantum system? We provide an efficient algorithm to simulate any desired two-body Hamiltonian evolution using any fixed two-body entangling n-qubit Hamiltonian and local unitaries. It follows that universal quantum computation can be performed using any entangling interaction and local unitary operations.
Global versus Local Discrimination of Locally Implementable Multipartite Unitaries
Indian Institute of Science Education and Research Thiruvananthapuram（印度科学教育研究所特里凡得琅分校）；Indian Institute of Technology Bhubaneswar（印度技术学院布巴内斯瓦尔分校）；S. N. Bose National Centre for Basic Sciences（S.N. 玻色基础科学国家中心）
Motivated by experimental limitations commonly met in the design of solid state quantum computers, we study the problems of non-local Hamiltonian simulation and non-local gate synthesis when only homogeneous local unitaries are performed in order to tailor the available interaction. Homogeneous (i.e. identical for all subsystems) local manipulation implies a more refined classification of interaction Hamiltonians than the inhomogeneous case, as well as the loss of universality in Hamiltonian simulation. For the case of symmetric two-qubit interactions, we provide time-optimal protocols for bot…
The interaction with the environment is one of the main obstacles to be circumvented in practical implementations of quantum information tasks. The use of local unitaries, while not changing the initial entanglement present in a given state, can enormously change its dynamics through a noisy channel, and consequently its ability to be used as a resource. This way, local unitaries provide an easy and accessible way to enhance quantum correlations in a variety of different experimental platforms. Given an initial entangled state and a certain noisy channel, what are the local unitaries providing…
In this work, we provide an analytical proof of the robustness of topological entanglement under a model of random local perturbations. We define a notion of average topological subsystem purity and show that, in the context of quantum double models, this quantity does detect topological order and is robust under the action of a random quantum circuit of shallow depth.
A discrete-time Quantum Walk (QW) is an operator driving the evolution of a single particle on the lattice, through local unitaries. Some QW admit, as their continuum limit, a well-known equation of Physics. In arXiv:1803.01015 the QW is over the honeycomb and triangular lattices, and simulates the Dirac equation. We apply a spacetime coordinate transformation upon the lattice of this QW, and show that it is equivalent to introducing spacetime-dependent local unitaries --- whilst keeping the lattice fixed. By exploiting this duality between changes in geometry, and changes in local unitaries, …
The solution of the quantum Zermelo navigation problem is applied to the non-Markovian open system dynamics of a set of quantum systems interacting with a common environment. We consider a case allowing an exact time-optimal realization of environment-mediated non-local system unitaries. For a linear coupling to a harmonic bosonic bath, we derive a speed limit for the implementation time in terms of the fundamental frequency of the bath modes. As a product of two exponentials of the local free wind and the pairwise system-coupling, the Zermelo unitary forms a natural building block for reachin…
We investigate the relationship between two properties of quantum transformations often studied in popular subtheories of quantum theory: covariance of the Wigner representation of the theory and the existence of a transformation noncontextual ontological model of the theory. We consider subtheories of quantum theory specified by a set of states, measurements and transformations, defined specifying a group of unitaries, that map between states (and measurements) within the subtheory. We show that if there exists a Wigner representation of the subtheory which is covariant under the group of uni…
Local symmetric quantum circuits provide a simple framework to study the dynamics and phases of complex quantum systems with conserved charges. However, some of their basic properties have not yet been understood. Recently, it has been shown that such quantum circuits only generate a restricted subset of symmetric unitary transformations [I. Marvian, Nature Physics, 2022]. In this paper, we consider circuits with 2-local SU(d)-invariant unitaries acting on qudits, i.e., d-dimensional quantum systems. Our results reveal a significant distinction between the cases of d = 2 and d>2. For qubits wi…
Invariance under local unitary operations is a fundamental property that must be obeyed by every proper measure of quantum entanglement. However, this is not the only aspect of entanglement theory where local unitaries play a relevant role. In the present work we show that the application of suitable local unitary operations defines a family of bipartite entanglement monotones, collectively referred to as "mirror entanglement". They are constructed by first considering the (squared) Hilbert-Schmidt distance of the state from the set of states obtained by applying to it a given local unitary. T…
We show that a quantum channel $\mathcal{N}$ constructed by averaging over $\mathcal{O}(\log d/ε^2)$ randomly chosen unitaries gives a local $ε$-randomizing map with non-negative probability. The idea comes from a small $ε$-net construction on the higher dimensional unit sphere or quantum pure states. By exploiting the net, we analyze the concentrative phenomenon of an output reduced density matrix of the channel, and this analysis imply that there exists a local random unitary channel, with relatively small unitaries, generically.
Many-body localization was proven under realistic assumptions by constructing a quasi-local unitary rotation that diagonalizes the Hamiltonian (Imbrie, 2016). A natural generalization is to consider all unitaries that have a similar structure. We bound entanglement for states generated by such unitaries, thus providing an independent proof of area law in eigenstates of many-body localized systems. An error of approximating the unitary by a finite-depth local circuit is obtained. We connect the defined family of unitaries to other results about many-body localization (Kim et al, 2014), in parti…
Efficient verification of the functioning of quantum devices is a key to the development of quantum technologies, but is a daunting task as the system size increases. Here we propose a simple and general framework for verifying unitary transformations that can be applied to both individual quantum gates and gate sets, including quantum circuits. This framework enables efficient verification of many important unitary transformations, including but not limited to all bipartite unitaries, Clifford unitaries, generalized controlled-$Z$ gates, generalized controlled-NOT gates, the controlled-SWAP g…
We analyze implementations of bipartite unitaries by means of local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in quantum Shannon theory to study an asymptotic scenario, in which two distant parties perform the same bipartite unitary on infinitely many pairs of inputs. We analyze minimum cost of entanglement and classical communication per copy. For two-round LOCC protocols, we derive a single-letter formula for the minimum cost of entanglement and classical communication, under an additional requirement that the e…
Efficient verification of quantum states and gates is crucial to the development of quantum technologies. Although the sample complexities of quantum state verification and quantum gate verification have been studied by many researchers, the number of experimental settings has received little attention and is poorly understood. In this work we study systematically quantum state verification and quantum gate verification with a focus on the number of experimental settings. We show that any bipartite pure state can be verified by only two measurement settings based on local projective measuremen…
How much does local and time-periodic dynamics resemble a random unitary? In the present work we address this question by using the Clifford formalism from quantum computation. We analyse a Floquet model with disorder, characterised by a family of local, time-periodic, random quantum circuits in one spatial dimension. We observe that the evolution operator enjoys an extra symmetry at times that are a half-integer multiple of the period. With this we prove that after the scrambling time, namely when any initial perturbation has propagated throughout the system, the evolution operator cannot be …
One way to diagnose chaos in bipartite unitary channels is via the tripartite information of the corresponding Choi state, which for certain choices of the subsystems reduces to the negative conditional mutual information (CMI). We study this quantity from a quantum information-theoretic perspective to clarify its role in diagnosing scrambling. When the CMI is zero, we find that the channel has a special normal form consisting of local channels between individual inputs and outputs. However, we find that arbitrarily low CMI does not imply arbitrary proximity to a channel of this form, although…
Classifying locally equivalent graph states, and stabilizer states more broadly, is a significant problem in the theories of quantum information and multipartite entanglement. A special focus is given to those graph states for which equivalence through local unitaries implies equivalence through local Clifford unitaries (LU $\Leftrightarrow$ LC). Identification of locally equivalent states in this class is facilitated by a convenient transformation rule on the underlying graphs and an efficient algorithm. Here we investigate the question of local equivalence of the graph states behind the all-…
Kruszynska and Kraus [Phys. Rev. A 79, 052304 (2009)] have recently introduced the so-called locally maximally entanglable (LME) states of n qubits which can be maximally entangled to local auxiliary qubits using controlled operations. We characterize the local entanglability of hypergraph states and W states using an approach in [Phys. Rev. A 79, 052304 (2009)]. We show that (i) all hypergraph states are LME; (ii) hypergraph states and LME states are not equivalent under local unitaries; (iii) a W state of n qubits is not LME; and (iv) no hypergraph state of n qubits can be converted into to …
Characterizing quantum channels from local-unitary invariants
Institute for Quantum Inspired and Quantum Optimization, Hamburg University of Technology（汉堡工业大学量子启发与量子优化研究所）；University of Tsukuba（筑波大学）；Center for Artificial Intelligence Research (C-AIR), University of Tsukuba（筑波大学人工智能研究中心）
Given a bipartite quantum state rho with subsystems A and B of arbitrary dimensions, we study the entanglement detecting capabilities of locally noneffective, or cyclic, unitary operations [L. B. Fu, Europhys. Lett., vol. 75, pp. 1-7, 2006]. Local cyclic unitaries have the special property that they leave their target subsystem invariant. We investigate the distance between rho and the global state after local application of such unitaries as a possible indicator of entanglement. To this end, we derive and discuss closed formulae for the maximal such distance achievable for three cases of inte…
Maximally entangled bipartite unitary operators or gates find various applications from quantum information to being building blocks of minimal models of many-body quantum chaos, and have been referred to as "dual unitaries". Dual unitary operators that can create the maximum average entanglement when acting on product states have to satisfy additional constraints. These have been called "2-unitaries" and are examples of perfect tensors that can be used to construct absolutely maximally entangled states of four parties. Hitherto, no systematic method exists, in any local dimension, which resul…
A discrete-time Quantum Walk (QW) is essentially an operator driving the evolution of a single particle on the lattice, through local unitaries. Some QWs admit a continuum limit, leading to familiar PDEs (e.g. the Dirac equation). Recently it was discovered that prior grouping and encoding allows for more general continuum limit equations (e.g. the Dirac equation in $(1+1)$ curved spacetime). In this paper, we extend these results to arbitrary space dimension and internal degree of freedom. We recover an entire class of PDEs encompassing the massive Dirac equation in $(3+1)$ curved spacetime. …
We study matrix product unitary operators (MPUs) for fermionic one-dimensional (1D) chains. In stark contrast with the case of 1D qudit systems, we show that (i) fermionic MPUs do not necessarily feature a strict causal cone and (ii) not all fermionic Quantum Cellular Automata (QCA) can be represented as fermionic MPUs. We then introduce a natural generalization of the latter, obtained by allowing for an additional operator acting on their auxiliary space. We characterize a family of such generalized MPUs that are locality-preserving, and show that, up to appending inert ancillary fermionic de…
The operator-Schmidt decomposition is useful in quantum information theory for quantifying the nonlocality of bipartite unitary operations. We construct a family of unitary operators on C^n tensor C^n whose operator-Schmidt decompositions are computed using the discrete Fourier transform. As a corollary, we produce unitaries on C^3 tensor C^3 with operator-Schmidt number S for every S in {1,...,9}. This corollary was unexpected, since it contradicted reasonable conjectures of Nielsen et al [Phys. Rev. A 67 (2003) 052301] based on intuition from a striking result in the two-qubit case. By the r…
Lower bounds on non-local computation from controllable correlation
Institute for Quantum Computing and School of Computer Science, University of Waterloo（量子计算研究所与滑铁卢大学计算机科学学院）；Institute for Quantum Computing and Perimeter Institute for Theoretical Physics（量子计算研究所与珀西瓦尔理论物理研究所）
We consider a random time evolution operator composed of a circuit of random unitaries coupling even and odd neighboring spins on a chain in turn. In spirit of Floquet evolution, the circuit is time-periodic; each timestep is repeated with the same random instances. We obtain analytical results for arbitrary local Hilbert space dimension d: On a single site, average time evolution acts as a depolarising channel. In the spin 1/2 (d=2) case, this is further quantified numerically. For that, we develop a new numerical method that reduces complexity by an exponential factor. Haar-distributed unita…
A discrete-time Quantum Walk (QW) is essentially an operator driving the evolution of a single particle on the lattice, through local unitaries. Some QWs admit a continuum limit, leading to well-known physics partial differential equations, such as the Dirac equation. We show that these simulation results need not rely on the grid: the Dirac equation in $(2+1)$--dimensions can also be simulated, through local unitaries, on the honeycomb or the triangular lattice. The former is of interest in the study of graphene-like materials. The latter, we argue, opens the door for a generalization of the …
We demonstrate a method of creating photonic two-dimensional cluster states that is considerably more efficient than previously proposed approaches. Our method uses only local unitaries and type-I fusion operations. The increased efficiency of our method compared to previously proposed constructions is obtained by identifying and exploiting local equivalence properties inherent in cluster states.
In this paper we investigate how common is the phenomenon of Finite Time Disentanglement (FTD) with respect to the set of quantum dynamics of bipartite quantum states with finite dimensional Hilbert spaces. Considering a quantum dynamics from a general sense, as just a continuous family of Completely Positive Trace Preserving maps (parametrized by the time variable) acting on the space of the bipartite systems, we conjecture that FTD happens for all dynamics but those when all maps of the family are induced by local unitary operations. We prove this conjecture valid for two important cases: i)…
It has been shown that local quantum measurements and no-signaling imply quantum correlations (Barnum et al. Phys. Rev. Lett., 104, 140401 (2010)). This entails that superquantum correlations will be superluminaly signaling if we admit the validity of local quantum mechanics. We present a specific, simple instance of this situation. Our result also has the interpretation that replacing the local (trivial) dynamics in a generalized non-signaling theory (GNST) by one that admits local unitaries, results in a probability distribution that may be positive and normalization-preserving but violates …
