I want to play with the following problem. Given a unitary $U$ with parameters $\theta$ I want to optimize these parameters to make $U$ match some target unitary $V$, i.e. to find $\operatorname{argmin}_{\theta}||U(\theta)-V||$. This is in spirit of the quantum compiling problem, but here I want to build the parametrized circuit on my own.

Ideally I want to

  1. Build unitary $U(\theta)$ as a parametrized quantum circuit. This means that I do not want to explicitly construct matrix representations of gates etc.
  2. Use some well-developed framework for machine learning to minimize the loss function.

I am most familiar with qiskit and I can do (1) there rather easily using parmetrized circuits. However, I do not know if it is possible to convert a parametrized circuit into a matrix form so that it could be fed to automatic differentiation software.

If the problem is not easily solvable in qiskit I am willing to consider any other software stack with the main requirement being the ease of use.


So this answer depends a bit on the size of the unitary, but if you're building a compiler chances are that they are only a few qubits large.

A simple approach would just be to define a function that evaluate the norm and then you can use any classical optimization routine to find the parameters. For instance, using Qiskit, you could do

import numpy as np
from scipy.optimize import minimize
from qiskit.circuit import QuantumCircuit, Parameter
from qiskit.quantum_info import Operator

a, b = Parameter('a'), Parameter('b')

# this is a very bad universal 2q gate, but just a toy example
u = QuantumCircuit(2)
u.rx(a, 0)
u.rx(b, 1)

# target circuit
v = QuantumCircuit(2)
V = Operator(v).data  # matrix representation of v

def loss(x):
    U = Operator(u.bind_parameters(x)).data
    # here use the norm of your choosing (L2 is generally not so good since it's phase dependent)
    diff = np.linalg.norm(U - V)
    return diff

initial_guess = np.array([1, 1])
result = minimize(loss, initial_guess, method='cobyla')
print('Final circuit')

Which returns

     fun: 9.170313512083841e-05
   maxcv: 0.0
 message: 'Optimization terminated successfully.'
    nfev: 39
  status: 1
 success: True
       x: array([ 6.22450966e-05, -6.73425047e-05])
Final circuit
q_0: ┤ Rx(6.22450965882598e-5) ├─
q_1: ┤ Rx(-6.73425047399226e-5) ├
  • $\begingroup$ Thanks a lot for the detailed answer! I might try to use it for prototyping. You are correct in that I do not expect to have many qubits, but I might have a lot of parameters. As far as I understand your method is essentially zero-order, i.e. it does not use analytic computation of gradients. Do you think there is a way to use higher order optimization methods in conjunction with qiskit? $\endgroup$ Aug 4 at 10:34
  • $\begingroup$ There are tools to compute the gradients. They mostly focus on the gradients of states not unitaries themselves, but you should be able to extract the unitaries (e.g. have a look at Gradient(method='param_shift'). However if you have many parameters, an SPSA-based optimization might be even more efficient. $\endgroup$
    – Cryoris
    Aug 5 at 7:51

If you're willing to modify the approach slightly, there are many options for you to approach this. Namely, by changing your optimization problem from $\text{argmin}_\theta ||U(\theta) - V||$ to $$ \text{argmax}_\theta \text{Tr}(V^\dagger U(\theta) ) $$

then you can implement the "Hadamard test" of Fig. 4 in (Khatri, 2018). This new cost is useful because it can be sampled directly from the output of a quantum computer (your current cost function probably can't be, at least not efficiently). Such a cost function can be optimized using a limited form of automatic differentiation in Tensorflow Quantum or Pennylane (I am not a qiskit user but I assume it is possible with that library as well).

The above libraries work by packaging a circuit that computes the cost function $C(\theta)$ and some subroutine to compute the derivatives $\partial_\theta C$ into a self-contained computational node. Those derivatives might be computed using a parameter shift rule, or finite difference. But the point is that since the node returns both $C$ and $\partial_\theta C$, it can be chained together with other computational nodes to support gradient (back)propagation via the chain rule.

However, it sounds like you might be asking how to perform automatic differentiation on the cost function by converting the circuit itself into a series of computational nodes, each capable of returning a function and its derivative. This kind of automatic differentiation could hypothetically be done in quantum circuit simulators, but it is fundamentally unphysical and any optimization of that kind could never be performed on hardware. The two libraries I mentioned above (again, not sure about qiskit) do not support this kind of task.

  • $\begingroup$ Hi, thanks for the answer! It is interesting how everyone has something different on their mind:) I appreciate that your answer addresses specifically a hybrid type of optimization (in the spirit of paper that you have linked), when you are only allowed to sample from the quantum circuit, not to access it states/unitaries. The problem that I want to solve is entirely classical, although quantum-inspired. I want to use quantum computing software to avoid constructing matrix representations of gates and reinventing the wheel in other ways. $\endgroup$ Aug 5 at 5:44
  • $\begingroup$ After my circuit with parameters is constructed and translated into a unitary, I guess we can forget about its circuit origin and just solve the classical optimization problem. However the "quantum" software may also be better at this classical optimization by using say parameter shift rules or something else specific to quantum circuits. $\endgroup$ Aug 5 at 5:47
  • $\begingroup$ Okay I see what your goal is. I think that's an interesting problem, and it does seem that using a differentiable circuit simulator would be ideal - that way the constraints/dependencies of $U(\theta)$ on $\theta$ are nicely built into the computational graph. However this might not be so easy to do on ones own, as it becomes kind of a mess constructing computational graphs with matrices whose entries are functionally dependent on scalar $\theta$ (at least in tensorflow) $\endgroup$
    – forky40
    Aug 5 at 18:43

It's more natural that in this context using Pennylane, here is an example for State Rotation using unitary gates:

Basic tutorial:

Qubit Rotation


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.