Besides the 'continuous' which I don't fully understand the term. It's all the time said that arbitrary gates can only be estimated but not necessarily be accurate. I don't understand the claim. So what if it's continuous? So do I have, uncountable many points on the Bloch sphere and I could certainly get from one to any other point using just two rotation gates.

So my question is basically, simply why aren't two rotation matrices enough not just to approximate but even to accurately calculate any arbitrary transformation so they could be described as a 'universal set' (If you need control you can add CNOT but that's it!). I mean, all you gotta do is playing around with the rotations so you switch a vector state on the surface sphere from one to another. That's enough, why not?

(I know there you may be required to use CNOT for some control qubits, but we usually define the universal set to be a bigger one, why? And why we just approximate and don't get exact or arbitrarily close to the answer?)

  • $\begingroup$ "It's all the time said that arbitrary gates can only be estimated but not necessarily be accurate." it would help if you could add where you saw this stated, to better understand the context of the sentence. Are you asking why should one consider a continuous set of gates instead of just a finite, universal set of gates? $\endgroup$ – glS Feb 25 '19 at 10:05
  • $\begingroup$ I am not sure. But in the book of Chuang and Nielsen they say that since the set of quantum gates is continuous then using a universal discrete set can only approximate it. I don't understand it. $\endgroup$ – bilanush Feb 25 '19 at 10:10
  • $\begingroup$ In chapter 4 they wrote it $\endgroup$ – bilanush Feb 25 '19 at 10:20

It's not clear what the exact question is, but here is how I interpret it

States can be represented on the Bloch sphere, and unitary gates correspond to rotations in the Bloch sphere. Two rotations are enough to move from any point of a sphere to another point. So why is it not enough to consider two fixed gates instead of the whole continuous set of gates?

First of all, while it is true that "two rotations" with appropriate angles are enough to send a point to any other point on the sphere, even in this case you are still using a continuous set of rotation matrices to do it. Given a pair of initial and final points on the sphere, you can find two specific rotation matrices that send one into the other. Given an initial state, you will then need a continuum of rotation matrices to send that point to all other possible points on the sphere, as every output point will correspond to different rotation angles (even though the rotation axes might be fixed).

So more precisely, given an initial state, you need a (continuous) family of rotations of the form $\{R_{\boldsymbol v}(\alpha)R_{\boldsymbol w}(\beta)\}_{\alpha,\beta\in\mathbb R}$ to describe all possibilities.

This said, you don't want to describe how a specific initial state evolves, but rather how an operation acts on each possible input. In other words, a gate is characterised by the way it transforms the whole Bloch sphere, not just one point on it. As it turns out, in this case you need three consecutive rotations to describe arbitrary rotations.

  • $\begingroup$ Is there an intuitive way to understand why 3 matrices are able to transform the whole sphere while 2 matrices aren't? Because if you look at two matrices acting on the longitude and latitude why don't they move the whole sphere in that direction? $\endgroup$ – bilanush Feb 26 '19 at 22:49
  • $\begingroup$ @bilanush mostly just looking at a sphere I guess. Imagine carrying a point from some place to another with two rotations. Can you also at the same time control where all the points in a circular neighbourhood of that point go? Not with only two rotations $\endgroup$ – glS Feb 27 '19 at 9:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.