Different methods have been recently put forward and implemented experimentally to inverse engineer the time-dependent Hamiltonian of a quantum system and accelerate slow adiabatic processes via nonadiabatic shortcuts. In the ``transitionless quantum driving'' proposed by Berry, shortcut Hamiltonians are designed so that the system follows exactly, in an arbitrarily short time, the approximate adiabatic path defined by a reference Hamiltonian. A different approach is based on first designing a Lewis-Riesenfeld invariant to carry the eigenstates of a Hamiltonian from specified initial to final configurations, again in an arbitrary time, and then constructing from the invariant the transient Hamiltonian that connects these boundary configurations. We show that the two approaches, apparently quite different in form and so far in results, are, in fact, strongly related and potentially equivalent, so that the inverse-engineering operations in one of them can be reinterpreted and understood in terms of the concepts and operations of the other one. We study, as explicit examples, expansions of time-dependent harmonic traps and the state preparation of two-level systems.

We use the dynamical invariants associated with the Hamiltonian of an atom in a one dimensional moving trap to inverse engineer the trap motion and perform fast atomic transport without final vibrational heating. The atom is driven nonadiabatically through a shortcut to the result of adiabatic, slow trap motion. For harmonic potentials this only requires designing appropriate trap trajectories, whereas perfect transport in anharmonic traps may be achieved by applying an extra field to compensate the forces in the rest frame of the trap. The results can be extended to atom stopping or launching. The limitations due to geometrical constraints, energies, and accelerations involved are analyzed along with the relation to previous approaches based on classical trajectories or ``fast-forward'' and ``bang-bang'' methods, which can be integrated in the invariant-based framework.

A Schr\"odinger equation may be unitarily transformed into dynamical equations in different interaction pictures which describe a common physical process, i.e., the same underlying interactions and dynamics. In contrast to this standard scenario, other relations are also possible, such as a common interaction-picture dynamical equation corresponding to several Schr\"odinger equations that represent different physical processes. This may enable us to design alternative and feasible experimental routes for operations that are a~priori difficult or impossible to perform. The power of this concept is exemplified by engineering Hamiltonians that improve the performance or make realizable several shortcuts to adiabaticity.

We propose to optimally control the harmonic potential of a levitated nanoparticle to quantum delocalize its center-of-mass motional state to a length scale orders of magnitude larger than the quantum zero-point motion. Using a bang-bang control of the harmonic potential, including the possibility of inverting it, the initial ground-state-cooled levitated nanoparticle coherently expands to large scales and then contracts to the initial state in a time-optimal way. We show that this fast loop protocol can be used to enhance force sensing as well as to dramatically boost the entangling rate of two weakly interacting nanoparticles. We parameterize the performance of the protocol, and therefore the macroscopic quantum regime that could be explored, as a function of displacement and frequency noise in the nanoparticle’s center-of-mass motion. This noise analysis accounts for the sources of decoherence relevant to current experiments.

We design optimal harmonic-trap trajectories to transport cold atoms without final excitation, combining an inverse engineering technique based on Lewis-Riesenfeld invariants with optimal control theory. Since actual traps are not really harmonic, we keep the relative displacement between the center of mass of the transport modes and the trap center bounded. Under this constraint, optimal protocols are found according to different physical criteria. The minimum time solution has a ``bang-bang'' form, and the minimum displacement solution is of ``bang-off-bang'' form. The optimal trajectories for minimizing the transient energy are also discussed.