
Quantum simulators, machines that can replicate the dynamics of quantum
systems, are being built as useful devices and are seen as a stepping stone to
universal quantum computers. A key difference between the two is that computers
have the ability to perform the logic gates that make up algorithms. We propose
a method for learning how to construct these gates efficiently by using the
simulator to perform optimal control on itself. This bypasses two major
problems of purely classical approaches to the control problem: the need to
have an accurate model of the system, and a classical computer more powerful
than the quantum one to carry out the required simulations. Strong evidence
that the scheme scales polynomially in the number of qubits, for systems of up
to 9 qubits with Ising interactions, is presented from numerical simulations
carried out in different topologies. This suggests that this in situ approach
is a practical way of upgrading quantum simulators to computers.

Randomness is an essential tool in many disciplines of modern sciences, such
as cryptography, black hole physics, random matrix theory and Monte Carlo
sampling. In quantum systems, random operations can be obtained via random
circuits thanks to socalled qdesigns, and play a central role in the fast
scrambling conjecture for black holes. Here we consider a more physically
motivated way of generating random evolutions by exploiting the manybody
dynamics of a quantum system driven with stochastic external pulses. We combine
techniques from quantum control, open quantum systems and exactly solvable
models (via the BetheAnsatz) to generate Haaruniform random operations in
driven manybody systems. We show that any fully controllable system converges
to a unitary qdesign in the longtime limit. Moreover, we study the
convergence time of a driven spin chain by mapping its random evolution into a
semigroup with an integrable Liouvillean and finding its gap. Remarkably, we
find via BetheAnsatz techniques that the gap is independent of q. We use
meanfield techniques to argue that this property may be typical for other
controllable systems, although we explicitly construct counterexamples via
symmetry breaking arguments to show that this is not always the case. Our
findings open up new physical methods to transform classical randomness into
quantum randomness, via a combination of quantum manybody dynamics and random
driving.

It is commonly claimed that only Hamiltonians with a spectrum unbounded both
above and below can give purely exponential decay. Because such Hamiltonians
have no ground state, they are considered unphysical. Here we show that
Hamiltonians which are bounded below can give purely exponential decay. This is
possible when, instead of looking at the global survival probability, one
considers a subsystem only. We conclude that purely exponential decay might not
be as unphysical as previously thought.

We provide a protocol for Hamiltonian parameter estimation which relies only
on the Zeeman effect. No timedependent quantities need to be measured, it
fully suffices to observe spectral shifts induced by fields applied to local
`markers'. We demonstrate the idea with a simple tightbinding Hamiltonian and
numerically show stability with respect to Gaussian noise on the spectral
measurements. Then we generalize the result to show applicability to a wide
range of systems, including quantum spin chains, networks of qubits, and
coupled harmonic oscillators, and suggest potential experimental
implementations.

No.

We investigate the possibility to suppress interactions between a finite
dimensional system and an infinite dimensional environment through a fast
sequence of unitary kicks on the finite dimensional system. This method, called
dynamical decoupling, is known to work for bounded interactions, but physical
environments such as bosonic heat baths are usually modelled with unbounded
interactions, whence here we initiate a systematic study of dynamical
decoupling for unbounded operators. We develop a sufficient decoupling
criterion for arbitrary Hamiltonians and a necessary decoupling criterion for
semibounded Hamiltonians. We give examples for unbounded Hamiltonians where
decoupling works and the limiting evolution as well as the convergence speed
can be explicitly computed. We show that decoupling does not always work for
unbounded interactions and provide both physically and mathematically motivated
examples.

In this work we derive a lower bound for the minimum time required to
implement a target unitary transformation through a classical timedependent
field in a closed quantum system. The bound depends on the target gate, the
strength of the internal Hamiltonian and the highest permitted control field
amplitude. These findings reveal some properties of the reachable set of
operations, explicitly analyzed for a single qubit. Moreover, for fully
controllable systems, we identify a lower bound for the time at which all
unitary gates become reachable. We use numerical gate optimization in order to
study the tightness of the obtained bounds. It is shown that in the single
qubit case our analytical findings describe the relationship between the
highest control field amplitude and the minimum evolution time remarkably well.
Finally, we discuss both challenges and ways forward for obtaining tighter
bounds for higher dimensional systems, offering a discussion about the
mathematical form and the physical meaning of the bound.

For finitedimensional quantum systems, such as qubits, a well established
strategy to protect such systems from decoherence is dynamical decoupling.
However many promising quantum devices, such as oscillators, are infinite
dimensional, for which the question if dynamical decoupling could be applied
remained open. Here we first show that not every infinitedimensional system
can be protected from decoherence through dynamical decoupling. Then we develop
dynamical decoupling for continuous variable systems which are described by
quadratic Hamiltonians. We identify a condition and a set of operations that
allow us to map a set of interacting harmonic oscillators onto a set of
noninteracting oscillators rotating with an averaged frequency, a procedure we
call homogenization. Furthermore we show that every quadratic
systemenvironment interaction can be suppressed with two simple operations
acting only on the system. Using a random dynamical decoupling or
homogenization scheme, we develop bounds that characterize how fast we have to
work in order to achieve the desired uncoupled dynamics. This allows us to
identify how well homogenization can be achieved and decoherence can be
suppressed in continuous variable systems.

We study the interplay of control and parameter estimation on a quantum spin
chain. A single qubit probe is attached to one end of the chain, while we wish
to estimate a parameter on the other end. We find that control on the probe
qubit can substantially improve the estimation performance and discover some
interesting connections to quantum state transfer.

In a recent work [D. K. Burgarth et al., Nat. Commun. 5, 5173 (2014)] it was
shown that a series of frequent measurements can project the dynamics of a
quantum system onto a subspace in which the dynamics can be more complex. In
this subspace even full controllability can be achieved, although the
controllability over the system before the projection is very poor since the
control Hamiltonians commute with each other. We can also think of the
opposite: any Hamiltonians of a quantum system, which are in general
noncommutative with each other, can be made commutative by embedding them in an
extended Hilbert space, and thus the dynamics in the extended space becomes
trivial and simple. This idea of making noncommutative Hamiltonians commutative
is called "Hamiltonian purification." The original noncommutative Hamiltonians
are recovered by projecting the system back onto the original Hilbert space
through frequent measurements. Here we generalize this idea to opensystem
dynamics by presenting a simple construction to make Lindbladians, as well as
Hamiltonians, commutative on a larger space with an auxiliary system. We show
that the original dynamics can be recovered through frequently measuring the
auxiliary system in a nonselective way. Moreover, we provide a universal pair
of Lindbladians which describes an "accessible" open quantum system for generic
system sizes. This allows us to conclude that through a series of frequent
nonselective measurements a nonaccessible open quantum system generally
becomes accessible. This sheds further light on the role of measurement
backaction on the control of quantum systems.

Towards the fullfledged quantum computing, what do we need? Obviously, the
first thing we need is a (manybody) quantum system, which is reasonably
isolated from its environment in order to reduce the unwanted effect of noise,
and the second might be a good technique to fully control it. Although we would
also need a welldesigned quantum code for information processing for
faulttolerant computation, from a physical point of view, the primary
requisites are a system and a full control for it. Designing and fabricating a
controllable quantum system is a hard work in the first place, however, we
shall focus on the subsequent steps that cannot be skipped and are highly
nontrivial.

We investigate the problem of what evolutions an open quantum system
described by a timelocal Master equation can undergo with universal coherent
controls. A series of conditions are given which exclude channels from being
reachable by any unitary controls, assuming that the coupling to the
environment is not being modified. These conditions primarily arise by defining
decay rates for the generator of the dynamics of the open system, and then
showing that controlling the system can only make these rates more isotropic.
This forms a series of constraints on the shape and nonunitality of allowed
evolutions, as well as an expression for the time required to reach a given
goal. We give numerical examples of the usefulness of these criteria, and
explore some similarities they have with quantum thermodynamics.

On the basis of the quantum Zeno effect it has been recently shown [D. K.
Burgarth et al., Nat. Commun. 5, 5173 (2014)] that a strong amplitude damping
process applied locally on a part of a quantum system can have a beneficial
effect on the dynamics of the remaining part of the system. Quantum operations
that cannot be implemented without the dissipation become achievable by the
action of the strong dissipative process. Here we generalize this idea by
identifying decoherencefree subspaces (DFS's) as the subspaces in which the
dynamics becomes more complex. Applying methods from quantum control theory we
characterize the set of reachable operations within the DFS's. We provide three
examples which become fully controllable within the DFS's while the control
over the original Hilbert space in the absence of dissipation is trivial. In
particular, we show that the (classical) Ising Hamiltonian is turned into a
Heisenberg Hamiltonian by strong collective decoherence, which provides
universal quantum computation within the DFS's. Moreover we perform numerical
gate optimization to study how the process fidelity scales with the noise
strength. As a byproduct a subsystem fidelity which can be applied in other
optimization problems for open quantum systems is developed.

The problem of estimating a parameter of a quantum system through a series of
measurements performed sequentially on a quantum probe is analyzed in the
general setting where the underlying statistics is explicitly noni.i.d. We
present a generalization of the central limit theorem in the present context,
which under fairly general assumptions shows that as the number $N$ of
measurement data increases the probability distribution of functionals of the
data (e.g., the average of the data) through which the target parameter is
estimated becomes asymptotically normal and independent of the initial state of
the probe. At variance with the previous studies [M. Gu\c{t}\u{a}, Phys. Rev. A
83, 062324 (2011); M. van Horssen and M. Gu\c{t}\u{a}, J. Math. Phys. 56,
022109 (2015)] we take a diagrammatic approach, which allows one to compute not
only the leading orders in $N$ of the moments of the average of the data but
also those of the correlations among subsequent measurement outcomes. In
particular our analysis points out that the latter, which are not available in
usual i.i.d. data, can be exploited in order to improve the accuracy of the
parameter estimation. An explicit application of our scheme is discussed by
studying how the temperature of a thermal reservoir can be estimated via
sequential measurements on a quantum probe in contact with the reservoir.

We demonstrate how quantum optimal control can be used to enhance quantum
resources for bipartite oneway protocols, specifically EPRsteering with qubit
measurements. Steering is relevant for onesided deviceindependent key
distribution, the realistic implementations of which necessitate the study of
noisy scenarios. So far mainly the case of imperfect detection efficiency has
been considered; here we look at the effect of dynamical noise responsible for
decoherence and dissipation. In order to set up the optimisation, we map the
steering problem into the equivalent joint measurability problem, and employ
quantum resourcetheoretic robustness monotones from that context. The
advantage is that incompatibility (hence steerability) with arbitrary pairs of
noisy qubit measurements has been completely characterised through an
analytical expression, which can be turned into a computable cost function with
exact gradient. Furthermore, dynamical loss of incompatibility has recently
been illustrated using these monotones. We demonstrate resource control
numerically using a special gradientbased software, showing, in particular,
the advantage over naive control with cost function chosen as a fidelity in
relation to a specific target. We subsequently illustrate the complexity of the
control landscapes with a simplified twovariable scheme. The results
contribute to the theoretical understanding of the limitations in realistic
implementations of quantum information protocols, also paving way to practical
use of the rather abstract quantum resource theories.

What can one do with a given tunable quantum device? We provide complete
symmetry criteria deciding whether some effective target interaction(s) can be
simulated by a set of given interactions. Symmetries lead to a better
understanding of simulation and permit a reasoning beyond the limitations of
the usual explicit Lie closure. Conserved quantities induced by symmetries pave
the way to a resource theory for simulability. On a general level, one can now
decide equality for any pair of compact Lie algebras just given by their
generators without determining the algebras explicitly. Several physical
examples are illustrated, including entanglement invariants, the relation to
unitary gate membership problems, as well as the centralspin model.

The simulation of quantum systems has been a key aim of quantum technologies
for decades, and the generalisation to open systems is necessary to include
physically realistic systems. We introduce an approach for quantum simulations
of open system dynamics in terms of an environment of minimal size and a
timedependent Hamiltonian. This enables the implementation of a
continuoustime simulation with a finite environment, whereas state of the art
methods require an infinite environment or only match the simulation at
discrete times. We find necessary and sufficient conditions for this
Hamiltonian to be well behaved and, when these are not met, we show that there
exists an approximate Hamiltonian that is, and look into its applications.

A longstanding challenge in the foundations of quantum mechanics is the
verification of alternative collapse theories despite their mathematical
similarity to decoherence. To this end, we suggest a novel method based on
dynamical decoupling. Experimental observation of nonzero saturation of the
decoupling error in the limit of fast decoupling operations can provide
evidence for alternative quantum theories. As part of the analysis we prove
that unbounded Hamiltonians can always be decoupled, and provide novel
dilations of Lindbladians.

We discuss a few mathematical aspects of random dynamical decoupling, a key
tool procedure in quantum information theory. In particular, we place it in the
context of discrete stochastic processes, limit theorems and CPT semigroups on
matrix algebras. We obtain precise analytical expressions for expectation and
variance of the density matrix and fidelity over time in the continuumtime
limit depending on the system Lindbladian, which then lead to rough shorttime
estimates depending only on certain coupling strengths. We prove that dynamical
decoupling does not work in the case of intrinsic (i.e., not
environmentinduced) decoherence, and together with the abovementioned
estimates this yields a novel method of partially identifying intrinsic
decoherence.

The problem of Hamiltonian purification introduced by Burgarth et al. [D. K.
Burgarth et al., Nat. Commun. 5, 5173 (2014)] is formalized and discussed.
Specifically, given a set of noncommuting Hamiltonians {h1, . . ., hm}
operating on a ddimensional quantum system Hd, the problem consists in
identifying a set of commuting Hamiltonians {H1,...,Hm} operating on a larger
dEdimensional system H_{dE} which embeds H_d as a proper subspace, such that
hj = PHjP with P being the projection which allows one to recover Hd from HdE .
The notions of spanningset purification and generator purification of an
algebra are also introduced and optimal solutions for u(d) are provided.

Universal quantum computation requires the implementation of arbitrary
control operations on the quantum register. In most cases, this is achieved by
external control fields acting selectively on each qubit to drive singlequbit
operations. In combination with a drift Hamiltonian containing interactions
between the qubits, this allows the implementation of any required gate
operation. Here, we demonstrate an alternative scheme that does not require
local control for all qubits: we implement one and twoqubit gate operations
on a set of target qubits indirectly, through a combination of gates on
directly controlled actuator qubits with a drift Hamiltonian that couples
actuator and target qubits. Experiments are performed on nuclear spins, using
radiofrequency pulses as gate operations and magneticdipole couplings for the
drift Hamiltonian.

We show that mere observation of a quantum system can turn its dynamics from
a very simple one into a universal quantum computation. This effect, which
occurs if the system is regularly observed at short time intervals, can be
rephrased as a modern version of Plato's Cave allegory. More precisely, while
in the original version of the myth, the reality perceived within the Cave is
described by the projected shadows of some more fundamental dynamics which is
intrinsically more complex, we found that in the quantum world the situation
changes drastically as the "projected" reality perceived through sequences of
measurements can be more complex than the one that originated it. After
discussing examples we go on to show that this effect is generally to be
expected: almost any quantum dynamics will become universal once "observed" as
outlined above. Conversely, we show that any complex quantum dynamics can be
"purified" into a simpler one in larger dimensions.

We provide a general framework for the identification of open quantum
systems. By looking at the inputoutput behavior, we try to identify the system
inside a black box in which some Markovian timeevolution takes place. Due to
the generally irreversible nature of the dynamics, it is difficult to assure
full controllability over the system. Still, we show that the system is
identifiable up to similarity under a certain rank condition. The framework
also covers situations relevant to standard quantum process tomography, where
we do not have enough control over the system but have a tomographically
complete set of initial states and observables. Remarkably, the similarity
cannot in general be reduced to unitarity even for unitary systems, and the
spectra of Hamiltonians are not identifiable without additional knowledge.

We study the controllability of a central spin guided by a classical field
and interacting with a spin bath, showing that the central spin is fully
controllable independently of the number of bath spins. Additionally we find
that for unequal systembath couplings even the bath becomes controllable by
acting on the central spin alone. We then analyze numerically how the time to
implement gates on the central spin scales with the number of bath spins and
conjecture that for equal systembath couplings it reaches a saturation value.
We provide evidence that sometimes noise can be effectively suppressed through
control.

A connection is estabilished between the nonAbelian phases obtained via
adiabatic driving and those acquired via a quantum Zeno dynamics induced by
repeated projective measurements. In comparison to the adiabatic case, the Zeno
dynamics is shown to be more flexible in tuning the system evolution, which
paves the way to the implementation of unitary quantum gates and applications
in quantum control.