We introduce a simple yet versatile protocol to inverse engineer the time-dependent Hamiltonian in two- and three level systems. In the protocol, by utilizing a universal SU(2) transformation, a given speedup goal can be obtained with large freedom to select the control parameters. As an illustration example, the protocol is applied to perform population transfer between nitrogen-vacancy (NV) centers in diamond. Numerical simulation shows that the speed of the present protocol is fast compared with that of the adiabatic process. Moreover, the protocol is also tolerant to decoherence and experimental parameter fluctuations. Therefore, the protocol may be useful for designing an experimental feasible Hamiltonian to engineer a quantum system.
Any unitary transformation can be decomposed into a product of a group of near-trivial transformations. We investigate in details the construction of universal quantum circuit of near trivial transformations. We first construct two universal quantum circuits which can implement any single-qubit rotation $R_y(θ)$ and $R_z(θ)$ within any given precision, and then we construct universal quantum circuit implementing any single-qubit transformation within any given precision. Finally, a universal quantum circuit implementing any $n$-qubit near-trivial transformation is constructed using the univers…
We investigate which non-Gaussian resources are needed, in addition to Gaussian operations and measurements, for implementation of arbitrary quantum gates on multimode quantum states of light. We show that an arbitrary set of states with finite expansion in Fock basis is sufficient for this task. As an illustration we present an explicit scheme for probabilistic implementation of the nonlinear sign gate using resource non-Gaussian states and Gaussian operations.
We show that all pure entangled states of two $d$-dimensional quantum systems (i.e., two qudits) can be generated from an initial separable state via a universal Yang--Baxter matrix if one is assisted by local unitary transformations.
Engineering Perfect State Transfer Graphs via Givens Transformations
Facultad de Matemática, Astronomía, Física y Computación, Universidad Nacional de Córdoba（科尔多瓦国立大学数学、天文学、物理与计算学院）；Instituto de Física Enrique Gaviola (CONICET-UNC)（恩里克·加维亚拉物理研究所）；Facultad de Ciencias Exactas y Naturales y Agrimensura, Universidad Nacional del Nordeste（东北国立大学精确科学与自然科学及测量学院）
A theory of non-unitary-invertible as well as unitary canonical transformations is formulated in the context of Weyl's phase space representations. That all quantum canonical transformations without an explicit $\hbar$ dependence are also classical mechanical and vice versa is demonstrated in the phase space. Contrary to some earlier results, it is also shown that the quantum generators and their classical counterparts are identical and $\hbar$-independent. The latter is a powerful result bringing the theory of classical canonical transformations and the $\hbar$-independent quantum ones on an …
We consider the implementation of two-qubit unitary transformations by means of CNOT gates and single-qubit unitary gates. We show, by means of an explicit quantum circuit, that together with local gates three CNOT gates are necessary and sufficient in order to implement an arbitrary unitary transformation of two qubits. We also identify the subset of two-qubit gates that can be performed with only two CNOT gates.
We propose a simple physical implementation of the quantum Householder reflection (QHR) M(v)=I-2|v><v| in a quantum system of N degenerate states (forming a qunit) coupled simultaneously to an ancillary (excited) state by N resonant or nearly resonant pulsed external fields. We also introduce the generalized QHR M(v;k)=I+(exp{ik}-1)|v><v|, which can be produced in the same N-pod system when the fields are appropriately detuned from resonance with the excited state. We use these two operators as building blocks in constructing arbitrary preselected unitary transformations. We show that the most…
We construct a Hamiltonian for the generation of arbitrary pure states of the quantized electromagnetic field. The proposition is based upon the fact that a unitary transformation for the generation of number states has been already found. The general unitary transformation here obtained, would allow the use of nonlinear interactions for the production of pure states. We discuss the applicability of this method by giving examples of generation of simple superposition states. We also compare our Hamiltonian with the one resulting from the interaction of trapped ions with two laser fields.
The U(1,1) and U(2) transformations realized by three-mode interaction in the respective parametric approximations are studied in conditional measurement, and the corresponding non-unitary transformation operators are derived. As an application, the preparation of single-mode quantum states using an optical feedback loop is discussed, with special emphasis of Fock state preparation. For that example, the influence of non-perfect detection and feedback is also considered.
The quest to explore new techniques for the manipulation of topological states simultaneously promotes a deeper understanding of topological physics, and is essential in identifying new ways to harness their unique features. Here, we examine the potential of supersymmetric (SUSY) transformations to systematically address, alter and reconfigure the topological properties of a system. To this end, we theoretically and experimentally study the changes that topologically protected states in photonic lattices undergo as SUSY transformations are applied to their host system. In particular, we show h…
The general transformation of the product of coherent states $\prod_{i=1}^N|α_i>$ to the output state $\prod_{i=1}^M|β_i>$ ($N=M$ or $N\neq M$), which is realizable with linear optical circuit, is characterized with a linear map from the vector $(α^{\ast}_1,...,α^{\ast}_N)$ to $(β^{\ast}_1,...,β^{\ast}_M)$. A correspondence between the transformations of a product of coherent states and those of a single photon state is established with such linear maps. It is convenient to apply this linear transformation method to design any linear optical scheme working with coherent states. The examples in…
We show explicitly how to realize an arbitrary linear unitary Bogoliubov transformation (LUBO) on a multi-mode quantum state through homodyne-based one-way quantum computation. Any LUBO can be approximated by means of a fixed, finite-sized, sufficiently squeezed Gaussian cluster state that allows for the implementation of beam splitters (in form of three-mode connection gates) and general one-mode LUBOs. In particular, we demonstrate that a linear four-mode cluster state is a sufficient resource for an arbitrary one-mode LUBO. Arbitrary input quantum states including non-Gaussian states could …
An arbitrary lossless transformation in high-dimensional quantum space can be decomposed into elementary operations which are easy to implement, and an effective decomposition algorithm is important for constructing high-dimensional systems. Here, we present two optimized architectures to effectively realize an arbitrary unitary transformation by using the photonic path and polarization based on the existing decomposition algorithm. In the first architecture, the number of required interferometers is reduced by half compared with previous works. In the second architecture, by using the high-di…
In this paper we provide an explicit parameterization of arbitrary unitary transformation acting on n qubits, in terms of one and two qubit quantum gates. The construction is based on successive Cartan decompositions of the semi-simple Lie group, SU(2^n). The decomposition highlights the geometric aspects of building an arbitrary unitary transformation out of quantum gates and makes explicit the choice of pulse sequences for the implementation of arbitrary unitary transformation on $n coupled spins. Finally we make observations on the optimality of the design procedure.
The development of practical methods for synthesis and verification of complex photonic circuits presents a grand challenge for the nascent field of quantum engineering. Of course, classical electrical engineering provides essential foundations and serves to illustrate the degree of sophistication that can be achieved in automated circuit design. In this paper we explore the utility of term rewriting approaches to the transformation of quantum circuit models, specifically applying rewrite rules for both reduction/verification and robustness analysis of photonic circuits for autonomous quantum …
Any unitary transformation of quantum computational networks is explicitly decomposed, in an exact and unified form, into a sequence of a limited number of one-qubit quantum gates and the two-qubit diagonal gates that have diagonal unitary representation in usual computational basis. This decomposition may be simplified greatly with the help of the properties of the finite-dimensional multiple-quantum operator algebra spaces of a quantum system and the specific properties of a given quantum algorithm. As elementary building blocks of quantum computation, the two-qubit diagonal gates and one-qu…
In this paper, we study how a displacement of a quantum system appears under a change of relativistic reference frame. We introduce a generic method in which a displacement operator in one reference frame can be transformed into another reference frame. It is found that, when moving between non-inertial reference frames there can be distortions of phase information, modal structure and amplitude. We analyse how these effects affect traditional homodyne detection techniques. We then develop an in principle homodyne detection scheme which is robust to these effect, called the ideal homodyne dete…
It is shown that the potential perturbation that shifts a chosen standing wave in space is a block of potential barrier and well for every wave bump between neighbouring knots. The algorithms shifting the range of the primary localization of a chosen bound state in a potential well of finite width are as well applicable to the scattering functions if states of the continuous spectrum are considered as bound states normalized to unity but distributed on an infinite interval with vanishing density. The potential perturbations of the same type on the half-axis concentrate the scattering wave at t…
The generation of arbitrary single-mode quantum states from the vacuum by alternate coherent displacement and photon adding as well as the measurement of the overlap of a signal with an arbitrarily chosen quantum state are studied. With regard to implementations, the transformation of the quantum state of a traveling optical field at an array of beam splitters is considered, using conditional measurement. Allowing for arbitrary quantum states of both the input reference modes and the output reference modes on which the measurements are performed, the setup is described within the concept of tw…
We study the implementation of arbitrary excitation-conserving linear transformations between two sets of $N$ stationary bosonic modes, which are connected through a photonic quantum channel. By controlling the individual couplings between the modes and the channel, an initial $N$-partite quantum state in register $A$ can be released as a multiphoton wave packet and, successively, be reabsorbed in register $B$. Here we prove that there exists a set of control pulses that implement this transfer with arbitrarily high fidelity and, simultaneously, realize a prespecified $N\times N$ unitary trans…
We provide an explicit construction of a universal gate set for continuous-variable quantum computation with microwave circuits. Such a universal set has been first proposed in quantum-optical setups, but its experimental implementation has remained elusive in that domain due to the difficulties in engineering strong nonlinearities. Here, we show that a realistic three-wave mixing microwave architecture based on the SNAIL [Frattini et al., Appl. Phys. Lett. 110, 222603 (2017)] allows us to overcome this difficulty. As an application, we show that this architecture allows for the generation of …
Using the concept of spectral engineering we explore the possibilities of building potentials with prescribed spectra offered by a modified intertwining technique involving operators which are the product of a standard first-order intertwiner and a unitary scaling. In the same context we study the iterations of such transformations finding that the scaling intertwining provides a different and richer mechanism in designing quantum spectra with respect to that given by the standard intertwining
Universal quantum computation may be realized based on quantum walk, by formulating it as a scattering problem on a graph. In this paper, we simulate quantum gates through electric circuits, following a recent report that a one-dimensional $LC$ electric circuit can simulate a Schrödinger equation and hence a quantum walk. Especially, we propose a physical realization of a set of universal quantum gates consisting of the CNOT, Hadamard and $π/4$ phase-shift gates with the use of telegrapher wires and mixing bridges. Furthermore, we construct the $π/2^{n}$ phase-shift gate for an arbitrary integ…
In this paper, we investigate the error correction of universal Gaussian transformations obtained in the process of continuous-variable quantum computations. We have tried to bring our theoretical studies closer to the actual picture in the experiment. When investigating the error correction procedure, we have considered that both the resource GKP state itself and the entanglement transformation are imperfect. In reality, the GKP state has a finite width associated with the finite degree of squeezing, and the entanglement transformation is performed with error. We have considered a hybrid sche…
Implementing a qubit quantum computer in continuous-variable systems conventionally requires the engineering of specific interactions according to the encoding basis states. In this work, we present a unified formalism to conduct universal quantum computation with a fixed set of operations but arbitrary encoding. By storing a qubit in the parity of two or four qumodes, all computing processes can be implemented by basis state preparations, continuous-variable exponential-swap operations, and swap-tests. Our formalism inherits the advantages that the quantum information is decoupled from collec…
We review our recent work on the universal (i.e. input state independent) optimal quantum copying (cloning) of qubits. We present unitary transformations which describe the optimal cloning of a qubit and we present the corresponding quantum logical network. We also present network for an optimal quantum copying ``machine'' (transformation) which produces N+1 identical copies from the original qubit. Here again the quality (fidelity) of the copies does not depend on the state of the original and is only a function of the number of copies, N. In addition, we present the machine which universaly …
We generalise our previous results of universal linear manipulations [Phys. Rev. A63, 032304 (2001)] to investigate three types of nonlinear qubit transformations using measurement and quantum based schemes. Firstly, nonlinear rotations are studied. We rotate different parts of a Bloch sphere in opposite directions about the z-axis. The second transformation is a map which sends a qubit to its orthogonal state (which we define as ORTHOG). We consider the case when the ORTHOG is applied to only a partial area of a Bloch sphere. We also study nonlinear general transformation, i.e. (theta,phi)->(…
Two-dimensional systems with time-dependent controls admit a quadratic Hamiltonian modelling near potential minima. Independent, dynamical normal modes facilitate inverse Hamiltonian engineering to control the system dynamics, but some systems are not separable into independent modes by a point transformation. For these "coupled systems" 2D invariants may still guide the Hamiltonian design. The theory to perform the inversion and two application examples are provided: (i) We control the deflection of wave packets in transversally harmonic waveguides; and (ii) we design the state transfer from …
One-dimensional quantum systems admit duality relations that put hard core spinless bosons and fermions in one-to-one correspondence via Girardeau's mapping theorem. The simplest models of soft bosons interacting via zero-range potentials can also be mapped onto dual interacting fermions. However, a systematic approach to one-dimensional statistical transmutation for arbitrary low-energy interactions in the spinless and spinful or multicomponent cases has remained elusive. I develop a general theory of local unitary transformations between one-dimensional quantum systems of bosons and fermions…
Quantum catalysis is a fascinating concept which demonstrates that certain transformations can only become possible when given access to a specific resource that has to be returned unaffected. It was first discovered in the context of entanglement theory and since then applied in a number of resource-theoretic frameworks, including quantum thermodynamics. Although in that case the necessary (and sometimes also sufficient) conditions on the existence of a catalyst are known, almost nothing is known about the precise form of the catalyst state required by the transformation. In particular, it is…
Given a quantum gate implementing a $d$-dimensional unitary operation $U_d$, without any specific description but $d$, and permitted to use $k$ times, we present a universal probabilistic heralded quantum circuit that implements the exact inverse $U_d^{-1}$, whose failure probability decays, exponentially in $k$. The protocol employs an adaptive strategy, proven necessary for the exponential performance. It requires $k\geq d-1$, proven necessary for exact implementation of $U_d^{-1}$ with quantum circuits. Moreover, even when quantum circuits with indefinite causal order are allowed, $k\geq d-…
Auxiliary matrix exponential method is used to derive simple and numerically efficient general expressions for the following, historically rather cumbersome and hard to compute, theoretical methods: (1) average Hamiltonian theory following interaction representation transformations; (2) Bloch-Redfield-Wangsness theory of nuclear and electron relaxation; (3) gradient ascent pulse engineering version of quantum optimal control theory. In the context of spin dynamics, the auxiliary matrix exponential method is more efficient than methods based on matrix factorizations and also exhibits more favou…
Global control strategies for arrays of qubits are a promising pathway to scalable quantum computing. A continuous-wave global field provides decoupling of the qubits from background noise. However, this approach is limited by variability in the parameters of individual qubits in the array. Here we show that by modulating a global field simultaneously applied to the entire array, we are able to encode qubits that are less sensitive to the statistical scatter in qubit resonance frequency and microwave amplitude fluctuations, which are problems expected in a large scale system. We name this appr…
We present modular and optimal architectures for implementing arbitrary discrete unitary transformations on light. These architectures are based on systematically combining smaller M-mode linear optical interferometers together to implement a larger N-mode transformation. Thus this work enables the implementation of large linear optical transformations using smaller modules that act on the spatial or the internal degrees of freedom of light such as polarization, time or orbital angular momentum. The architectures lead to a rectangular gate structure, which is optimal in the sense that realizin…
Hardware-Efficient Universal Linear Transformations for Optical Modes in the Synthetic Time Dimension
Department of Electrical and Computer Engineering, University of Maryland（马里兰大学电气与计算机工程系）；Institute for Research in Electronics and Applied Physics, and Joint Quantum Institute, University of Maryland（马里兰大学电子与应用物理研究所及联合量子研究所）；James C. Wyant College of Optical Sciences, University of Arizona（亚利桑那大学詹姆斯·C·怀安特光学科学学院）
QuTech and Kavli Institute of Nanoscience, Delft University of Technology（代尔夫特理工大学量子技术和卡弗里纳米科学研究所）；Rudolf Peierls Centre for Theoretical Physics, University of Oxford（牛津大学鲁道夫·皮尔斯理论物理中心）
In 1994, Reck et al. showed how to realize any unitary transformation on a single photon using a product of beamsplitters and phaseshifters. Here we show that any single beamsplitter that nontrivially mixes two modes, also densely generates the set of unitary transformations (or orthogonal transformations, in the real case) on the single-photon subspace with m>=3 modes. (We prove the same result for any two-mode real optical gate, and for any two-mode optical gate combined with a generic phaseshifter.) Experimentally, this means that one does not need tunable beamsplitters or phaseshifters for…
Two gapped quantum ground states in the same phase are connected by an adiabatic evolution which gives rise to a local unitary transformation that maps between the states. On the other hand, gapped ground states remain within the same phase under local unitary transformations. Therefore, local unitary transformations define an equivalence relation and the equivalence classes are the universality classes that define the different phases for gapped quantum systems. Since local unitary transformations can remove local entanglement, the above equivalence/universality classes correspond to pattern …
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…
A problem of universality in simulation of evolution of quantum system and in theory of quantum computations is related with the possibility of expression or approximation of arbitrary unitary transformation by composition of specific unitary transformations (quantum gates) from given set. In an earlier paper (quant-ph/0010071) application of Clifford algebras to constructions of universal sets of binary quantum gates $U_k \in U(2^n)$ was shown. For application of a similar approach to non-binary quantum gates $U_k \in U(l^n)$ in present work is used rational noncommutative torus ${\Bbb T}^{2n…
