1: \begin{abstract}

2: We study the implementation of one-, two-, and three-qubit quantum gates

3: for interacting qubits using optimal control.  Different Markovian and

4: non-Markovian environments are compared and efficient optimisation

5: algorithms utilising analytic gradient expressions and quasi-Newton

6: updates are given for both cases.  The performance of the algorithms is

7: analysed for a large set of problems in terms of the fidelities attained

8: and the observed convergence behaviour.  New notions of success rate and

9: success speed are introduced and density plots are utilised to study the

10: effect of key parameters, such as gate operation times, and random

11: variables, such as the initial fields required to start the iterative

12: algorithm.  Core characteristics of the optimal fields are statistically

13: analysed.  Substantial differences between Markovian and non-Markovian

14: environments in terms of the possibilities for control and the control

15: mechanisms are uncovered.  In particular, in the Markovian case it is

16: found that the optimal fields obtained without considering the

17: environment cannot be improved substantially by taking the environment

18: into account and the fidelities attained are determined mostly

19: by the gate operation time as well as the overall strength of the environmental

20: effects.  Computation time is saved if the fields are pre-optimised

21: neglecting decoherence.  In the non-Markovian case, on the other hand,

22: substantial improvements in the fidelities are observed when the details

23: of the system-bath coupling are taken into account.  In that case,

24: field leakage is shown to be a significant issue which can make high gate

25: fidelities impossible to obtain unless both the system and noise

26: qubits are fully controlled.

27: \end{abstract}

28: