We propose a setup that transforms a photon pair in arbitrary rank-four mixed state, which could also be unknown, to a Bell state. The setup involves two linear optical circuits processing the individual photons and a parity gate working with weak cross-Kerr nonlinearity. By the photon number resolving detection on one of the output quantum bus or communication beams, the setup will realize a near deterministic transformation to a Bell state for every entangling attempt. With the simple threshold detectors, on the other hand, the system can still reach a considerable success probability of 0.5 per try. The decoherence effect caused by photon absorption losses in the operation is also discussed.
A gate is called entangler if it transforms some (pure) product states to entangled states. A universal entangler is a gate which transforms all product states to entangled states. In practice, a universal entangler is a very powerful device for generating entanglements, and thus provides important physical resources for accomplishing many tasks in quantum computing and quantum information. This Letter demonstrates that a universal entangler always exists except for a degenerated case. Nevertheless, the problem how to find a universal entangler remains open.
We present the first experimental demonstration of the ''optimal'' and ''universal'' quantum entangling process involving qubits encoded in the polarization of single photons. The structure of the ''quantum entangling machine'' consists of the quantum injected optical parametric amplifier by which the contextual realization of the 1->2 universal quantum cloning and of the universal NOT (U-NOT) gate has also been achieved.
The difficulty of an optimization task in quantum information science depends on the proper mathematical expression of the physical target. Here we demonstrate the power of optimization functionals targeting an arbitrary perfect two-qubit entangler, creating a maximally-entangled state out of some initial product state. For two quantum information platforms of current interest, nitrogen vacancy centers in diamond and superconducting Josephson junctions, we show that an arbitrary perfect entangler can be reached faster and with higher fidelity than specific two-qubit gates or local equivalence …
Optimal control theory is a powerful tool for improving figures of merit in quantum information tasks. Finding the solution to any optimal control problem via numerical optimization depends crucially on the choice of the optimization functional. Here, we derive a functional that targets the full set of two-qubit perfect entanglers, gates capable of creating a maximally-entangled state out of some initial product state. The functional depends on easily-computable local invariants and uniquely determines when a gate evolves into a perfect entangler. Optimization with our functional is most usefu…
We analyze various scenarios for entangling two initially unentangled qubits. In particular, we propose an optimal universal entangler which entangles a qubit in unknown state $|Ψ>$ with a qubit in a reference (known) state $|0>$. That is, our entangler generates the output state which is as close as possible to the pure (symmetrized) state $(|Ψ>|0> +|0>|Ψ>)$. The most attractive feature of this entangling machine, is that the fidelity of its performance (i.e. the distance between the output and the ideally entangled -- symmetrized state) does not depend on the input and takes the constant val…
We construct a quantum gate entangler based on selective phase rotation transform. In particular, we established a relation between quantum integral transform and quantum gates entangler in terms of universal controlled gates for multi-qubit states. Our construction is also related to the geometrical structure of multipartite quantum systems.
Entangled pure-states, Werner-states and generalized mixed-states of any structure, spanning a 2x2 Hilbert space are created by a novel high-brilliance universal source of polarization-entangled photon pairs. The violation of a Bell inequality has been tested for the first time with a pure-state, indeed a conceptually relevant ideal condition, and with Werner-states. The generalized ''maximally entangled mixed states'' (MEMS) were also synthetized for the first time and their exotic properties investigated by means of a quantum tomographic technique.
A universal entangler (UE) is a unitary operation which maps all pure product states to entangled states. It is known that for a bipartite system of particles $1,2$ with a Hilbert space $\mathbb{C}^{d_1}\otimes\mathbb{C}^{d_2}$, a UE exists when $\min{(d_1,d_2)}\geq 3$ and $(d_1,d_2)\neq (3,3)$. It is also known that whenever a UE exists, almost all unitaries are UEs; however to verify whether a given unitary is a UE is very difficult since solving a quadratic system of equations is NP-hard in general. This work examines the existence and construction of UEs of bipartite bosonic/fermionic syst…
Here is discussed the Hamiltonian approach to construction of deterministic universal (in approximate sense) programmable quantum circuits with qubits or any other quantum systems with dimension of Hilbert space is $n \ge 2$.
A generalized universal quantum cloning machine is proposed which allows the input to be arbitrary states in symmetric subspace. And it reduces to the universal quantum cloning machine (UQCM) if the input are identical pure states. The generalized cloner is optimal in the sense we compare the input and output reduced density operators at a single qubit. The result for qubits is extended to arbitrary-dimensional states.
We introduce a scheme to perform universal quantum computation in quantum cellular automata (QCA) fashion in arbitrary subsystem dimension (not necessarily finite). The scheme is developed over a one spatial dimension $N$-element array, requiring only mirror symmetric logical encoding and global pulses. A mechanism using ancillary degrees of freedom for subsystem specific measurement is also presented.
It is known that no quantum process can produce a predetermined superposition of unknown arbitrary states. It has already been shown that with some partial information about the states, one can produce with some probability such superpositions. Here we show that there are universal machines which can produce superpositions of unknown orthogonal states with unit probability. Our construction unravels the relation between the no-cloning theorem and the no-superposition theorem, that is we show that if a perfect cloning machine exists, then a universal superposition machine can also exist.
Universal two-particle entanglement processes are analyzed in arbitrary dimensional Hilbert spaces. On the basis of this analysis the class of possible optimal universal entanglement processes is determined whose resulting output states do not contain any separable states. It is shown that these processes form a one-parameter family. For all Hilbert space dimensions larger than two the resulting optimally entangled output states are mixtures of anti-symmetric states which are freely entangled and which also preserve information about input states. Within this one-parameter family there is only…
Wootters [Phys. Rev. Lett. 80, 2245 (1998)] has given an explicit formula for the entanglement of formation of two qubits in terms of what he calls the concurrence of the joint density operator. Wootters's concurrence is defined with the help of the superoperator that flips the spin of a qubit. We generalize the spin-flip superoperator to a "universal inverter," which acts on quantum systems of arbitrary dimension, and we introduce the corresponding concurrence for joint pure states of (D1 X D2) bipartite quantum systems. The universal inverter, which is a positive, but not completely positive…
We introduce universal broadband composite pulse sequences for robust high-fidelity population inversion in two-state quantum systems, which compensate deviations in any experimental parameter (e.g. pulse amplitude, pulse duration, detuning from resonance, Stark shifts, unwanted frequency chirp, etc.) and are applicable with any pulse shape. We demonstrate the efficiency and universality of these composite pulses by experimental data on rephasing of atomic coherences in a $\text{Pr}^{3+}\text{:}\text{Y}_2\text{SiO}_5$ crystal.
We show that for any Hilbert-space dimension, the optimal universal quantum cloner can be constructed from essentially the same quantum circuit, i.e., we find a universal design for universal cloners. In the case of infinite dimensions (which includes continuous variable quantum systems) the universal cloner reduces to an essentially classical device. More generally, we construct a universal quantum circuit for distributing qudits in any dimension which acts covariantly under generalized displacements and momentum kicks. The behavior of this covariant distributor is controlled by its initial s…
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 give a universal recipe for constructing nonlinear entanglement witnesses able to detect non-classical correlations in arbitrary systems of distinguishable and/or identical particles for an arbitrary number of constituents. The constructed witnesses are expressed in terms of expectation values of observables. As such they are, at least in principle, measurable in experiments
Arbitrary quantum states cannot be copied. In fact, to make a copy we must provide complete information about the system. However, can a quantum system self-replicate? This is not answered by the no-cloning theorem. In the classical context, Von Neumann showed that a `universal constructor' can exist which can self-replicate an arbitrary system, provided that it had access to instructions for making copy of the system. We question the existence of a universal constructor that may allow for the self-replication of an arbitrary quantum system. We prove that there is no deterministic universal qu…
We introduce a method to rotate arbitrarily the excitation profile of universal broadband composite pulse sequences for robust high-fidelity population inversion. These pulses compensate deviations in any experimental parameter (e.g. pulse amplitude, pulse duration, detuning from resonance, Stark shifts, unwanted frequency chirp, etc.) and are applicable with any pulse shape. The rotation allows to achieve higher order robustness to any combination of pulse area and detuning errors at no additional cost. The latter can be particularly useful, e.g., when detuning errors are due to Stark shifts …
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.
We extend the model of Ancilla Driven Quantum Computation (ADQC) by considering gates with arbitrary entangling power. By giving up stepwise determinism, universal QC can still be achieved through a variable length sequence of single qubit gates and probabilistic "repeat-until-success" entangling operations. This opens up a new range of possible physical implementations as well as shedding light on the sets of resources sufficient for universal QC.
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.
A universal and optimal method for the polarimetry of light with arbitrary photon statistics is presented. The method is based on the continuous maximum-likelihood positive operator-valued measure (ML-POVM) for pure polarization states over the surface of the Bloch sphere. The success probability and the mean fidelity are used as the figures of merit to show its performance. The POVM is found to attain the collective bound of polarization estimation with respect to the mean fidelity. As demonstrations, explicit results for the N photon Fock state, the phase-randomized coherent state (Poisson d…
We analyze a binary classification problem by using a support vector machine based on variational quantum-circuit model. We propose to solve a linear equation of the support vector machine by using a $Γ$ matrix expansion. In addition, it is shown that an arbitrary quantum state is prepared by optimizing a universal quantum circuit representing an arbitrary $U(2^N)$ based on the steepest descent method. It may be a quantum generalization of Field-Programmable-Gate Array (FPGA).
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 …
We consider the problem of certification of arbitrary ensembles of pure states and projective measurements solely from the experimental statistics in the prepare-and-measure scenario assuming the upper bound on the dimension of the Hilbert space. To this aim, we propose a universal and intuitive scheme based on establishing perfect correlations between target states and suitably-chosen projective measurements. The method works in all finite dimensions and allows for robust certification of the overlaps between arbitrary preparation states and between the corresponding measurement operators. Fi…
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 implement a compressive quantum state tomography capable of reconstructing any arbitrary low-rank spectral-temporal optical signal with extremely few measurement settings and without any \emph{ad hoc} assumptions about the initially unknown signal. This is carried out with a quantum pulse gate, a device that flexibly implements projections onto arbitrary user-specified optical modes. We present conclusive experimental results for both temporal pulsed modes and frequency bins, which showcase the versatility of our randomized compressive method and thereby introduce a universal optical recons…
We propose a universal quantum circuit design that can estimate any arbitrary one-dimensional periodic functions based on the corresponding Fourier expansion. The quantum circuit contains N-qubits to store the information on the different N-Fourier components and $M+2$ auxiliary qubits with $M = \lceil{\log_2{N}}\rceil$ for control operations. The desired output will be measured in the last qubit $q_N$ with a time complexity of the computation of $O(N^2\lceil \log_2N\rceil^2)$. We illustrate the approach by constructing the quantum circuit for the square wave function with accurate results obt…
The superposition principle is at the heart of quantum mechanics and at the root of many paradoxes arising when trying to extend its predictions to our everyday world. Schroedinger's cat is the prototype of such paradoxes and here, in contrast to many others, we choose to investigate it from the operational point of view. We experimentally demonstrate a universal strategy for producing an unambiguously distinguishable type of superposition, that of an arbitrary pure state and its orthogonal. It relies on only a limited amount of information about the input state to first generate its orthogona…
We provide an analytic way to implement any arbitrary two-qubit unitary operation, given an entangling two-qubit gate together with local gates. This is shown to provide explicit construction of a universal quantum circuit that exactly simulates arbitrary two-qubit operations in SU(4). Each block in this circuit is given in a closed form solution. We also provide a uniform upper bound of the applications of the given entangling gates, and find that exactly half of all the Controlled-Unitary gates satisfy the same upper bound as the CNOT gate. These results allow for the efficient implementatio…
We demonstrate storage and manipulation of one qubit encoded into a decoherence-free subspace (DFS) of two nuclear spins using liquid state nuclear magnetic resonance (NMR) techniques. The DFS is spanned by states that are unaffected by arbitrary collective phase noise. Encoding and decoding procedures reversibly map an arbitrary qubit state from a single data spin to the DFS and back. The implementation demonstrates the robustness of the DFS memory against engineered dephasing with arbitrary strength as well as a substantial increase in the amount of quantum information retained, relative to …
Experimental detection of entanglement of an arbitrary state of a given bipartite system is crucial for exploring many areas of quantum information. But such a detection should be made in a device independent way if the preparation process of the state is considered to be faithful, in order to avoid detection of a separable state as entangled one. The recently developed scheme of detecting bipartite entanglement in a measurement device independent way [Phys. Rev. Lett {\bf 110}, 060405 (2013)] does require information about the state. Here by using Auguisiak et al.'s universal entanglement wit…
We show that an n-th root of the Walsh-Hadamard transform (obtained from the Hadamard gate and a cyclic permutation of the qubits), together with two diagonal matrices, namely a local qubit-flip (for a fixed but arbitrary qubit) and a non-local phase-flip (for a fixed but arbitrary coefficient), can do universal quantum computation on n qubits. A quantum computation, making use of n qubits and based on these operations, is then a word of variable length, but whose letters are always taken from an alphabet of cardinality three. Therefore, in contrast with other universal sets, no choice of qubi…
We derive and investigate an expression for the dynamically modified decay of states coupled to an arbitrary continuum. This expression is universally valid for weak temporal perturbations. The resulting insights can serve as useful recipes for optimized control of decay and decoherence.
We show that the recently discovered universal upper bound on the thermal conductance of a single channel comprising particles obeying arbitrary fractional statistics is in fact a consequence of a more general universal upper bound, involving the averaged entropy and energy currents of a single channel connecting heat reservoirs with arbitrary temperatures and chemical potentials. The latter upper bound in turn leads, via Holevo's theorem, to a universal (i.e., statistics independent) upper bound on the optimum capacity for classical information transmission down a single, wideband quantum cha…
Photons are natural carriers of high-dimensional quantum information, and, in principle, can benefit from higher quantum information capacity and noise-resilience. However, schemes to generate the resources required for high-dimensional quantum computing have so far been lacking in linear optics. Here, we show how to generate GHZ states in arbitrary dimensions and numbers of photons using linear optical circuits described by Fourier transform matrices. Combining our results with recent schemes for qudit Bell measurements, we show that universal linear optical quantum computing can be performed…
In this manuscript we address the problem of deriving \emph{analytic} expressions for calculating universal decoherence-induced errors in qubits undergoing arbitrary, unitary, time-dependent quantum-control protocols. For a qubit undergoing unitary decoherence the evolution of a qubit state in the presence of time-varying semiclassical fields may be treated geometrically. We show that the fidelity of an arbitrary control operation may then be expressed to arbitrary order in terms of experimentally relevant spectral characteristics of the noise and the control over all Cartesian directions and …
Fully homomorphic encryption enables arbitrary computation on encrypted data without decrypting the data. Here it is studied in the context of quantum information processing. Based on universal quantum circuit, we present a quantum fully homomorphic encryption (QFHE) scheme, which permits arbitrary quantum transformation on an encrypted data. The QFHE scheme is proved to be perfectly secure. In the scheme, the decryption key is different from the encryption key, however, the encryption key cannot be public. Moreover, the evaluate algorithm of the scheme is independent of the encryption key, so…
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…
I consider general interacting systems of quantum particles in one spatial dimension. These consist of bosons or fermions, which can have any number of components, arbitrary spin or a combination thereof, featuring low-energy two- and multiparticle interactions. The single-particle dispersion can be Galilean (non-relativistic), relativistic, or have any other form that may be relevant for the continuum limit of lattice theories. Using an algebra of generalized functions, statistical transmutation operators that are genuinely unitary are obtained, putting bosons and fermions in a one-to-one cor…
General physical background of Peres-Horodecki positive partial transpose (ppt-) separability criterion is revealed. Especially, the physical sense of partial transpose operation is shown to be equivalent to the "local causality reversal" (LCR-) procedure for all separable quantum systems or to the uncertainty in a global time arrow direction in all entangled cases. Using these universal causal considerations the heuristic causal separability criterion has been proposed for arbitrary $ D^{N} \times D^{N}$ density matrices acting in $ \mathcal{H}_{D}^{\otimes N} $ Hilbert spaces which describe …
