Finite Controllability of Infinite-Dimensional Quantum Systems

Quantum phenomena of interest in connection with applications to computation and communication almost always involve generating specific transfers between eigenstates, and their linear superpositions. For some quantum systems, such as spin systems, the quantum evolution equation (the Schr\"{o}dinger equation) is finite-dimensional and old results on controllability of systems defined on on Lie groups and quotient spaces provide most of what is needed insofar as controllability of non-dissipative systems is concerned. However, in an infinite-dimensional setting, controlling the evolution of quantum systems often presents difficulties, both conceptual and technical. In this paper we present a systematic approach to a class of such problems for which it is possible to avoid some of the technical issues. In particular, we analyze controllability for infinite-dimensional bilinear systems under assumptions that make controllability possible using trajectories lying in a nested family of pre-defined subspaces. This result, which we call the Finite Controllability Theorem, provides a set of sufficient conditions for controllability in an infinite-dimensional setting. We consider specific physical systems that are of interest for quantum computing, and provide insights into the types of quantum operations (gates) that may be developed.Comment: This is a much improved version of the paper first submitted to the arxiv in 2006 that has been under review since 2005. A shortened version of this paper has been conditionally accepted for publication in IEEE Transactions in Automatic Control (2009

Double bracket dissipation in kinetic theory for particles with anisotropic interactions

We derive equations of motion for the dynamics of anisotropic particles directly from the dissipative Vlasov kinetic equations, with the dissipation given by the double bracket approach (Double Bracket Vlasov, or DBV). The moments of the DBV equation lead to a nonlocal form of Darcy's law for the mass density. Next, kinetic equations for particles with anisotropic interaction are considered and also cast into the DBV form. The moment dynamics for these double bracket kinetic equations is expressed as Lie-Darcy continuum equations for densities of mass and orientation. We also show how to obtain a Smoluchowski model from a cold plasma-like moment closure of DBV. Thus, the double bracket kinetic framework serves as a unifying method for deriving different types of dynamics, from density--orientation to Smoluchowski equations. Extensions for more general physical systems are also discussed.Comment: 19 pages; no figures. Submitted to Proc. Roy. Soc.

Control of trapped-ion quantum states with optical pulses

We present new results on the quantum control of systems with infinitely large Hilbert spaces. A control-theoretic analysis of the control of trapped ion quantum states via optical pulses is performed. We demonstrate how resonant bichromatic fields can be applied in two contrasting ways -- one that makes the system completely uncontrollable, and the other that makes the system controllable. In some interesting cases, the Hilbert space of the qubit-harmonic oscillator can be made finite, and the Schr\"{o}dinger equation controllable via bichromatic resonant pulses. Extending this analysis to the quantum states of two ions, a new scheme for producing entangled qubits is discovered.Comment: Submitted to Physical Review Letter

Development of a new machine system for the forming of micro-sheet-products

Most of the developed micro-forming machines were based on standalone concepts which do not support efficient integration to make them fully automated and integrated. At present, material feeding in micro-forming is not of sufficient precision and reliability for high throughput manufacturing applications. Precise feeding is necessary to ensure that micro-parts can be produced with sufficient accuracy, especially in multi-stage forming, while high-speed feeding is a must to meet the production-rate requirements. Therefore, design of a new high-precision and high-speed feeder for micro-forming is proposed. Several possible approaches are examined with a view to establishing feasible concepts. Based on the investigation, several concepts for thin sheet-metal feeding for micro-forming are generated, they being argued and assessed with applicable loads and forces analysis. These form a basis of designing a new feeder

Random Hamiltonian in thermal equilibrium

A framework for the investigation of disordered quantum systems in thermal equilibrium is proposed. The approach is based on a dynamical model--which consists of a combination of a double-bracket gradient flow and a uniform Brownian fluctuation--that `equilibrates' the Hamiltonian into a canonical distribution. The resulting equilibrium state is used to calculate quenched and annealed averages of quantum observables.Comment: 8 pages, 4 figures. To appear in DICE 2008 conference proceeding

Enhanced Operational Semantics in Systems Biology

We are faced with a great challenge: the cross-fertilization between the fields of formal methods for concurrency, in the computer science domain, and systems biology in the biological realm

Knee joint neuromuscular activation performance during muscle damage and superimposed fatigue

This study examined the concurrent effects of exercise-induced muscle damage and superimposed acute fatigue on the neuromuscular activation performance of the knee flexors of nine males (age: 26.7 ± 6.1yrs; height 1.81 ± 0.05m; body mass 81.2 ± 11.7kg [mean ± SD]). Measures were obtained during three experimental conditions: (i) FAT-EEVID, involving acute fatiguing exercise performed on each assessment occasion plus a single episode of eccentric exercise performed on the first occasion and after the fatigue trial; (ii) FAT, involving the fatiguing exercise only and; (iii) CON consisting of no exercise. Assessments were performed prior to (pre) and at lh, 24h, 48h, 72h, and 168h relative to the eccentric exercise. Repeated-measures ANOVAs showed that muscle damage within the FAT-EEVID condition elicited reductions of up to 38%, 24%) and 65%> in volitional peak force, electromechanical delay and rate of force development compared to baseline and controls, respectively (F[io, 80] = 2.3 to 4.6; p to 30.7%>) following acute fatigue (Fp; i6] = 4.3 to 9.1; p ; Fp, iq = 3.9; p <0.05). The safeguarding of evoked muscle activation capability despite compromised volitional performance might reveal aspects of capabilities for emergency and protective responses during episodes of fatigue and antecedent muscle damaging exercise

Relative CC"-Numerical Ranges for Applications in Quantum Control and Quantum Information

Motivated by applications in quantum information and quantum control, a new type of $C$"-numerical range, the relative $C$"-numerical range denoted $W_K(C,A)$, is introduced. It arises upon replacing the unitary group U(N) in the definition of the classical $C$"-numerical range by any of its compact and connected subgroups $K \subset U(N)$. The geometric properties of the relative $C$"-numerical range are analysed in detail. Counterexamples prove its geometry is more intricate than in the classical case: e.g. $W_K(C,A)$ is neither star-shaped nor simply-connected. Yet, a well-known result on the rotational symmetry of the classical $C$"-numerical range extends to $W_K(C,A)$, as shown by a new approach based on Lie theory. Furthermore, we concentrate on the subgroup $SU_{\rm loc}(2^n) := SU(2)\otimes ... \otimes SU(2)$, i.e. the $n$-fold tensor product of SU(2), which is of particular interest in applications. In this case, sufficient conditions are derived for $W_{K}(C,A)$ being a circular disc centered at origin of the complex plane. Finally, the previous results are illustrated in detail for $SU(2) \otimes SU(2)$.Comment: accompanying paper to math-ph/070103