Linear optical systems acting on photon number states produce many interesting evolutions, but cannot give all the allowed quantum operations on the input state. Using Toponogov's theorem from differential geometry, we propose an iterative method that, for any arbitrary quantum operator $U$ acting on $n$ photons in $m$ modes, returns an operator $\widetilde{U}$ which can be implemented with linear optics. The approximation method is locally optimal and converges. The resulting operator $\widetilde{U}$ can be translated into an experimental optical setup using previous results.
Random unitary matrices find a number of applications in quantum information science, and are central to the recently defined boson sampling algorithm for photons in linear optics. We describe an operationally simple method to directly implement Haar random unitary matrices in optical circuits, with no requirement for prior or explicit matrix calculations. Our physically-motivated and compact representation directly maps independent probability density functions for parameters in Haar random unitary matrices, to optical circuit components. We go on to extend the results to the case of random u…
We give a new quantum circuit approximation of quantum multiplexors based on the idea of complexity theory oracles. As an added bonus, our multiplexor approximation immediately gives a quantum circuit approximation of diagonal unitary matrices.
Discrimination of unitary operations is a fundamental quantum information processing task. Assisted with linear optical elements, we experimentally demonstrate perfect discrimination between single-bit unitary operations using two methods--sequential scheme and parallel scheme. The complexity and resource consumed in these two schemes are analyzed and compared.
Cluster states are the essential resource used in the implementation of Fusion-based quantum computation (FBQC). We introduce a method to generate high-fidelity optical cluster states by utilising the concept of unitary averaging. This error averaging technique is entirely passive and can be readily incorporated into the proposed PsiQuantum's FBQC architecture. Using postselection and the redundant encoding of Fusion gates, we observe an enhancement in the average fidelity of the output cluster state. We also show an improvement in the linear optical Bell-state measurement (BSM) success probab…
Unitary operation is an essential step for quantum information processing. We first propose an iterative procedure for decomposing a general unitary operation without resorting to controlled-NOT gate and single-qubit rotation library. Based on the results of decomposition, we design two compact architectures to deterministically implement arbitrary two-qubit polarization-spatial and spatial-polarization collective unitary operations, respectively. The involved linear optical elements are reduced from 25 to 20 and 21 to 20, respectively. Moreover, the parameterized quantum computation can be fl…
We address the problem of quantum reading of optical memories, namely the retrieving of classical information stored in the optical properties of a media with minimum energy. We present optimal strategies for ambiguous and unambiguous quantum reading of unitary optical memories, namely when one's task is to minimize the probability of errors in the retrieved information and when perfect retrieving of information is achieved probabilistically, respectively. A comparison of the optimal strategy with coherent probes and homodyne detection shows that the former saves orders of magnitude of energy …
Linear optical elements are pivotal instruments in the manipulation of classical and quantum states of light. The vast progress in integrated quantum photonic technology enables the implementation of large numbers of such elements on chip while providing interferometric stability. As a trade-off these structures face the intrinsic challenge of characterizing their optical transformation as individual optical elements are not directly accessible. Thus the unitary transformation needs to be reconstructed from a dataset generated with having access to the input and output ports of the device only…
We present methods which allow orders of magnitude increase in the number of modes in linear optics experiments by moving from spatial encoding to temporal encoding and using dispersion. This enables significant practical advantages for linear quantum optics and Boson Sampling experiments. Passing consecutively heralded photons through time-independent dispersion and measuring the output time of the photons is equivalent to a Boson Sampling experiment for which no efficient classical algorithm is reported, to our knowledge. With time-dependent dispersion, it is possible to implement arbitrary …
The factorized form of the unitary coupled cluster ansatz is a popular state preparation ansatz for electronic structure calculations of molecules on quantum computers. It often is viewed as an approximation (based on the Trotter product formula) for the conventional unitary coupled cluster operator. In this work, we show that the factorized form is quite flexible, allowing one to range from conventional configuration interaction, to conventional unitary coupled cluster, to efficient approximations that lie in between these two. The variational minimization of the energy often allows simpler f…
For numerous applications of quantum theory it is desirable to be able to apply arbitrary unitary operations on a given quantum system. However, in particular situations only a subset of unitary operations is easily accessible. This raises the question of what additional unitary gates should be added to a given gate-set in order to attain physical universality, i.e., to be able to perform arbitrary unitary transformation on the relevant Hilbert space. In this work, we study this problem for three paradigmatic cases of naturally occurring restricted gate-sets: (A) particle-number preserving bos…
The optical beam splitter is a widely-used device in photonics-based quantum information processing. Specifically, linear optical networks demand large numbers of beam splitters for unitary matrix realization. This requirement comes from the beam splitter property that a photon cannot go back out of the input ports, which we call "directionally-biased". Because of this property, higher dimensional information processing tasks suffer from rapid device resource growth when beam splitters are used in a feed-forward manner. Directionally-unbiased linear-optical devices have been introduced recentl…
A random unitary channel is one that is given by a convex combination of unitary channels. It is shown that the conjectures on the additivity of the minimum output entropy and the multiplicativity of the maximum output $p$-norm can be equivalently restated in terms of random unitary channels. This is done by constructing a random unitary approximation to a general quantum channel. This approximation can be constructed efficiently, and so it is also applied to the computational problem of distinguishing quantum circuits. It is shown that the problem of distinguishing random unitary circuits is …
We show that it is possible to reduce the number of two-qubit gates needed for the construction of an arbitrary controlled-unitary transformation by up to two times using a tunable controlled-phase gate. On the platform of linear optics, where two-qubit gates can only be achieved probabilistically, our method significantly reduces the amount of components and increases success probability of a two-qubit gate. The experimental implementation of our technique presented in this paper for a controlled single-qubit unitary gate demonstrates that only one tunable controlled-phase gate is needed inst…
We consider the recently proposed "no-go" theorem of Lamata et al [Phys. Rev. Lett. 101, 180506 (2008)] on the impossibility of sequential implementation of global unitary operations with the aid of an itinerant ancillary system and view the claim within the language of Kraus representation. By virtue of an extremely useful tool for analyzing entanglement properties of quantum operations, namely, operator-Schmidt decomposition, we provide alternative proof to the "no-go" theorem and also study the role of initial correlations between the qubits and ancilla in sequential preparation of unitary …
We present two hybrid linear-optical architectures that simultaneously exploit spatial and temporal degrees of freedom of light to effect arbitrary discrete unitary transformations. Our architectures combine the benefits of spatial implementations of linear optics, namely low loss and parallel operation, with those of temporal implementations, namely modest resource requirements and access to transformations of potentially unbounded size. We arrive at our architectures by devising and employing decompositions of large discrete unitary transformations into smaller ones, decompositions we expect…
We show that a set of optical memories can act as a configurable linear optical network operating on frequency-multiplexed optical states. Our protocol is applicable to any quantum memories that employ off-resonant Raman transitions to store optical information in atomic spins. In addition to the configurability, the protocol also offers favourable scaling with an increasing number of modes where N memories can be configured to implement an arbitrary N-mode unitary operations during storage and readout. We demonstrate the versatility of this protocol by showing an example where cascaded memori…
Linear optical circuits of growing complexity are playing an increasing role in emerging photonic quantum technologies. Individual photonic devices are typically described by a unitary matrix containing amplitude and phase information, the characterisation of which is a key task. We present a constructive scheme to retrieve the unitary matrix describing an arbitrary linear optical device using data obtained from one-photon and two-photon ensembles. The scheme is stable on the arbitrarily increasable length scale of the photon packet and independent of photon loss at input and output ports of t…
Depth dependence of entanglement and circuit complexity in random linear optical networks
University of Maryland（马里兰大学）；Joint Quantum Institute, Department of Physics, University of Maryland（马里兰大学物理系联合量子研究所）；Joint Center for Quantum Information and Computer Science, NIST/University of Maryland（美国国家标准与技术研究院/马里兰大学联合量子信息与计算科学中心）
A quantum compiling algorithm is an algorithm for decomposing ("compiling") an arbitrary unitary matrix into a sequence of elementary operations (SEO). Suppose $U_{in}$ is an $\nb$-bit unstructured unitary matrix (a unitary matrix with no special symmetries) that we wish to compile. For $\nb>10$, expressing $U_{in}$ as a SEO requires more than a million CNOTs. This calls for a method for finding a unitary matrix that: (1)approximates $U_{in}$ well, and (2) is expressible with fewer CNOTs than $U_{in}$. The purpose of this paper is to propose one such approximation method. Various quantum compi…
The chemistry community has long sought the exact relationship between the conventional and the unitary coupled cluster ansatz for a single-reference system, especially given the interest in performing quantum chemistry on quantum computers. In this work, we show how one can use the operator manipulations given by the exponential disentangling identity and the Hadamard lemma to relate the factorized form of the unitary coupled-cluster approximation to a factorized form of the conventional coupled cluster approximation (the factorized form is required, because some amplitudes are operator-value…
Unitary Fourier transform lies at the core of the multitudinous computational and metrological algorithms. Here we show experimentally how the unitary Fourier transform-based phase estimation protocol, used namely in quantum metrology, can be translated into the classical linear optical framework. The developed setup made of beam splitters, mirrors and phase shifters demonstrates how the classical coherence, similarly to the quantum coherence, poses a resource for obtaining information about the measurable physical quantities. Our study opens route to the reliable implementation of the small-s…
The recently demonstrated possibility of entangling opposite values of the orbital angular momentum (OAM) of a photon with its spin enables the realization of nontrivial one-photon spinorbit four-dimensional states for quantum information purposes. Hitherto, however, an optical device able to perform arbitrary unitary transformations on such spinorbit photon states has not been proposed yet. In this work we show how to realize such a ``universal unitary gate'' device, based only on existing optical technology, and describe its operation. Besides the quantum information field, the proposed devi…
We provide a general approach for the analysis of optical state evolution under conditional measurement schemes, and identify the necessary and sufficient conditions for such schemes to simulate unitary evolution on the freely propagating modes. If such unitary evolution holds, an effective photon nonlinearity can be identified. Our analysis extends to conditional measurement schemes more general than those based solely on linear optics.
Over decades quantum cryptography has been intensively studied for unconditionally secured data transmission in a quantum regime. Due to the quantum loopholes caused by imperfect single photon detectors and/or lossy quantum channels, however, the quantum cryptography is practically inefficient and even vulnerable to eavesdropping. Here, a method of unconditionally secured key distribution potentially compatible with current fiber-optic communications networks is proposed in a classical regime for high-speed optical backbone networks. The unconditional security is due to the quantum superpositi…
We propose an expansion of the unitary evolution operator, associated to a given Schrödinger equation, in terms of a finite product of explicit unitary operators. In this manner, this unitary expansion can be truncated at the desired level of approximation, as shown in the given examples.
In this paper, I take a step toward answering the following question: for m different small circuits that compute m orthogonal n qubit states, is there a small circuit that will map m computational basis states to these m states without any input leaving any auxiliary bits changed. While this may seem simple, the constraint that auxiliary bits always be returned to 0 on any input (even ones besides the m we care about) led me to use sophisticated techniques. I give an approximation of such a unitary in the m = 2 case that has size polynomial in the approximation error, and the number of qubits…
We propose an easy implementable prepare-and-measure protocol for robust quantum key distribution with photon polarization. The protocol is fault tolerant against collective random unitary channel noise. The protocol does not need any collective quantum measurement or quantum memory. A security proof and a specific linear optical realization using spontaneous parametric down conversion are given.
We develop the learning algorithm to build the architecture agnostic model of the reconfigurable optical interferometer. Programming the unitary transformation on the optical modes of the interferometer either follows the analytical expression yielding the unitary matrix given the set of phaseshifts or requires the optimization routine if the analytic decomposition does not exist. Our algorithm adopts the supervised learning strategy which matches the model of the interferometer to the training set populated by the samples produced by the device under study. The simple optimization routine use…
A unitary 2-design can be viewed as a quantum analogue of a 2-universal hash function: it is indistinguishable from a truly random unitary by any procedure that queries it twice. We show that exact unitary 2-designs on n qubits can be implemented by quantum circuits consisting of ~O(n) elementary gates in logarithmic depth. This is essentially a quadratic improvement in size (and in width times depth) over all previous implementations that are exact or approximate (for sufficiently strong approximations).
Since a general Gaussian process is phase-sensitive, a stable phase reference is required to take advantage of this feature. When the reference is missing, either due to the volatile nature of the measured sample or the measurement's technical limitations, the resulting process appears as random in phase. Under this condition, we consider two single-mode Gaussian processes, displacement and squeezing. We show that these two can be efficiently estimated using photon number states and photon number resolving detectors. For separate estimation of displacement and squeezing, the practical estimati…
Many quantum algorithms can be written as a composition of unitaries, some of which can be exactly synthesized by a universal fault-tolerant gate set, while others can be approximately synthesized. A quantum compiler synthesizes each approximately synthesizable unitary up to some approximation error, such that the error of the overall unitary remains bounded by a certain amount. In this paper we consider the case when the errors are measured in the global phase invariant distance. Apart from deriving a relation between this distance and the Frobenius norm, we show that this distance composes. …
In quantum computation with continous-variable systems, quantum advantage can only be achieved if some non-Gaussian resource is available. Yet, non-Gaussian unitary evolutions and measurements suited for computation are challenging to realize in the lab. We propose and analyze two methods to apply a polynomial approximation of any unitary operator diagonal in the amplitude quadrature representation, including non-Gaussian operators, to an unknown input state. Our protocols use as a primary non-Gaussian resource a single-photon counter. We use the fidelity of the transformation with the target …
In this paper we introduce a projective invarinat measure on the special unitary group. It is directly related to transition probabilities. It has some interesting connection with convex geometry. Applications to approximation of quantum circuits and entanglement are given.
In the first 36 pages of this paper, we provide polynomial quantum algorithms for additive approximations of the Tutte polynomial, at any point in the Tutte plane, for any planar graph. This includes as special cases the AJL algorithm for the Jones polynomial, the partition function of the Potts model for any weighted planer graph at any temperature, and many other combinatorial graph properties. In the second part of the paper we prove the quantum universality of many of the problems for which we provide an algorithm, thus providing a large set of new quantum-complete problems. Unfortunately,…
We present a method to engineer the unitary charge conjugation operator, as given by quantum field theory, in the highly controlled context of quantum optics, thus allowing one to simulate the creation of charged particles with well-defined momenta simultaneously with their respective antiparticles. Our method relies on trapped ions driven by a laser field and interacting with a single mode of a light field in a high Q cavity.
Constructing Arbitrary Coherent Rearrangements in Optical Lattices
Max Planck Institute of Quantum Optics（马克斯·普朗克量子光学研究所）；Fakultät für Physik, Ludwig-Maximilians-Universität（慕尼黑大学物理学院）；Department of Physics and SUPA, University of Strathclyde（斯特拉斯克莱德大学物理与SUPA学院）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）
ICFO – Institut de Ciències Fotòniques, The Barcelona Institute of Science and Technology（光子科学研究所，巴塞罗那科技研究院）；Dahlem Center for Complex Quantum Systems, Department of Physics, Freie Universität Berlin（达勒姆复杂量子系统中心，柏林自由大学物理系）
The time-evolution operator for an explicitly time-dependent Hamiltonian is expressed as the product of a sequence of unitary operators. These are obtained by successive time-dependent unitary transformations of the Hilbert space followed by the adiabatic approximation at each step. The resulting adiabatic product expansion yields a generalization of the quantum adiabatic approximation. Furthermore, it leads to an infinite class of exactly solvable models.
We describe a protocol capable of preparing an arbitrary state of two photons in several spatial modes using pairs of photons generated by spontaneous parametric down-conversion, linear optical elements and single-photon detectors or post-selection. The protocol involves unitary and non-unitary transformations realizable by beam splitters and phase shifters. Non-unitary transformations are implemented by attenuation filters. The protocol contains several optimization capabilities with the goal of improving overall probability of its success. We also show how entangled two-photon states require…
Undoing a unitary operation, $i.e$. reversing its action, is the task of canceling the effects of a unitary evolution on a quantum system, and it may be easily achieved when the unitary is known. Given a unitary operation without any specific description, however, it is a hard and challenging task to realize the inverse operation. Recently, a universal quantum circuit has been proposed [Phys.Rev.Lett. 123, 210502 (2019)] to undo an arbitrary unknown $d$-dimensional unitary $U$ by implementing its inverse with a certain probability. In this letter, we report the experimental reversing of three …
We study three methods of obtaining an approximation of unitary evolution of a quantum system under decoherence. We use three methods of optimizing the control pulses: genetic optimization, approximate evolution method and approximate gradient method. To model the noise in the system we use the Lindblad equaiton. We obtain results showing that genetic optimization may give a better approximation of a unitary evolution in the case of high noise.
We show for the first time how deterministic unitary operations on time-bin qubits encoded in single photon pulses can be realized using fiber optics components that are available with current technology. We also generalize this result to operations on time-bin qudits, i.e. $d$-level systems, and show that this can be done efficiently using 2$\times$2 beamsplitters and phase modulators. Important benefits for experimental quantum communication are highlighted. This work shows how to bridge the gap between current proof-of-principle demonstrations and complete, deterministic experiments.
