No Arabic abstract
Consider the universal gate set for quantum computing consisting of the gates X, CX, CCX, omega^dagger H, and S. All of these gates have matrix entries in the ring Z[1/2,i], the smallest subring of the complex numbers containing 1/2 and i. Amy, Glaudell, and Ross proved the converse, i.e., any unitary matrix with entries in Z[1/2,i] can be realized by a quantum circuit over the above gate set using at most one ancilla. In this paper, we give a finite presentation by generators and relations of U_n(Z[1/2,i]), the group of unitary nxn-matrices with entries in Z[1/2,i].
Real stabilizer operators, which are also known as real Clifford operators, are generated, through composition and tensor product, by the Hadamard gate, the Pauli Z gate, and the controlled-Z gate. We introduce a normal form for real stabilizer circuits and show that every real stabilizer operator admits a unique normal form. Moreover, we give a finite set of relations that suffice to rewrite any real stabilizer circuit to its normal form.
Quantum simulators and processors are rapidly improving nowadays, but they are still not able to solve complex and multidimensional tasks of practical value. However, certain numerical algorithms inspired by the physics of real quantum devices prove to be efficient in application to specific problems, related, for example, to combinatorial optimization. Here we implement a numerical annealer based on simulating the coherent Ising machine as a tool to sample from a high-dimensional Boltzmann probability distribution with the energy functional defined by the classical Ising Hamiltonian. Samples provided by such a generator are then utilized for the partition function estimation of this distribution and for the training of a general Boltzmann machine. Our study opens up a door to practical application of numerical quantum-inspired annealers.
We formulate entropic measurements uncertainty relations (MURs) for a spin-1/2 system. When incompatible observables are approximatively jointly measured, we use relative entropy to quantify the information lost in approximation and we prove positive lower bounds for such a loss: there is an unavoidable information loss. Firstly we allow only for covariant approximate joint measurements and we find state-dependent MURs for two or three orthogonal spin-1/2 components. Secondly we consider any possible approximate joint measurement and we find state-independent MURs for two or three spin-1/2 components. In particular we study how MURs depend on the angle between two spin directions. Finally, we extend our approach to infinitely many incompatible observables, namely to the spin components in all possible directions. In every scenario, we always consider also the characterization of the optimal approximate joint measurements.
We investigate whether a trade-off relation between the diagonal elements of the mean square error matrix exists for the two-parameter unitary models with mutually commuting generators. We show that the error trade-off relation which exists in our models of a finite dimension system is a generic phenomenon in the sense that it occurs with a finite volume in the spate space. We analyze a qutrit system to show that there can be an error trade-off relation given by the SLD and RLD Cramer-Rao bounds that intersect each other. First, we analyze an example of the reference state showing the non-trivial trade-off relation numerically, and find that its eigenvalues must be in a certain range to exhibit the trade-off relation. For another example, one-parameter family of reference states, we analytically show that the non-trivial relation always exists and that the range where the trade-off relation exists is up to about a half of the possible range.
In this work we demonstrate new BCH-like relations involving the generators of the su(1, 1), su(2) and so(2, 1) Lie algebras. We use our results to obtain in a straightforward way the composition of an arbitrary number of elements of the corresponding Lie groups. In order to make a self-consistent check of our results, as a first application we recover the non-trivial composition law of two arbitrary squeezing operators. As a second application, we show how our results can be used to compute the time evolution operator of physical systems described by time-dependent hamiltonians given by linear combinations of the generators of the aforementioned Lie algebras.