Non-holonomic Quantum Devices

We analyze the possibility and efficiency of non-holonomic control over quantum devices with exponentially large number of Hilbert space dimensions. We show that completely controllable devices of this type can be assembled from elementary units of arbitrary physical nature, and can be employed efficiently for universal quantum computations and simulation of quantum field dynamics.Comment: 8 revtex pages, 4 postscript figure

Synthesizing Finite-state Protocols from Scenarios and Requirements

Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite-state protocols using scenarios: we show that it is possible to automatically derive a distributed implementation from a set of scenarios augmented with a set of safety and liveness requirements, provided the given scenarios adequately \emph{cover} all the states of the desired implementation. We first derive incomplete state machines from the given scenarios, and then synthesis corresponds to completing the transition relation of individual processes so that the global product meets the specified requirements. This completion problem, in general, has the same complexity, PSPACE, as the verification problem, but unlike the verification problem, is NP-complete for a constant number of processes. We present two algorithms for solving the completion problem, one based on a heuristic search in the space of possible completions and one based on OBDD-based symbolic fixpoint computation. We evaluate the proposed methodology for protocol specification and the effectiveness of the synthesis algorithms using the classical alternating-bit protocol.Comment: This is the working draft of a paper currently in submission. (February 10, 2014

Non-Holonomic Control IV : Coherence Protection in a Rubidium isotope

In this paper, we present a realistic application of the coherence protection method proposed in the previous article. A qubit of information encoded on the two spin states of a Rubidium isotope is protected from the action of electric and magnetic fields

Non-Holonomic Control I

In this paper, we present a universal control technique, the non-holonomic control, which allows us to impose any arbitrarily prescribed unitary evolution to any quantum system through the alternate application of two well-chosen perturbations

Student perspectives on the relationship between a curve and its tangent in the transition from Euclidean Geometry to Analysis

The tangent line is a central concept in many mathematics and science courses. In this paper we describe a model of students’ thinking – concept images as well as ability in symbolic manipulation – about the tangent line of a curve as it has developed through students’ experiences in Euclidean Geometry and Analysis courses. Data was collected through a questionnaire administered to 196 Year 12 students. Through Latent Class Analysis, the participants were classified in three hierarchical groups representing the transition from a Geometrical Global perspective on the tangent line to an Analytical Local perspective. In the light of this classification, and through qualitative explanations of the students’ responses, we describe students’ thinking about tangents in terms of seven factors. We confirm the model constituted by these seven factors through Confirmatory Factor Analysis

Biocharts: a visual formalism for complex biological systems

We address one of the central issues in devising languages, methods and tools for the modelling and analysis of complex biological systems, that of linking high-level (e.g. intercellular) information with lower-level (e.g. intracellular) information. Adequate ways of dealing with this issue are crucial for understanding biological networks and pathways, which typically contain huge amounts of data that continue to grow as our knowledge and understanding of a system increases. Trying to comprehend such data using the standard methods currently in use is often virtually impossible. We propose a two-tier compound visual language, which we call Biocharts, that is geared towards building fully executable models of biological systems. One of the main goals of our approach is to enable biologists to actively participate in the computational modelling effort, in a natural way. The high-level part of our language is a version of statecharts, which have been shown to be extremely successful in software and systems engineering. The statecharts can be combined with any appropriately well-defined language (preferably a diagrammatic one) for specifying the low-level dynamics of the pathways and networks. We illustrate the language and our general modelling approach using the well-studied process of bacterial chemotaxis