Quantum computation by communication

We present here a new approach to scalable quantum computing - a 'qubus computer' - which realizes qubit measurement and quantum gates through interacting qubits with a quantum communication bus mode. The qubits could be 'static' matter qubits or 'flying' optical qubits, but the scheme we focus on here is particularly suited to matter qubits. There is no requirement for direct interaction between the qubits. Universal two-qubit quantum gates may be effected by schemes which involve measurement of the bus mode, or by schemes where the bus disentangles automatically and no measurement is needed. In effect, the approach integrates together qubit degrees of freedom for computation with quantum continuous variables for communication and interaction.

Universal quantum computation with continuous-variable cluster states

We describe a generalization of the cluster-state model of quantum computation to continuous-variable systems, along with a proposal for an optical implementation using squeezed-light sources, linear optics, and homodyne detection. For universal quantum computation, a nonlinear element is required. This can be satisfied by adding to the toolbox any single-mode non-Gaussian measurement, while the initial cluster state itself remains Gaussian. Homodyne detection alone suffices to perform an arbitrary multimode Gaussian transformation via the cluster state. We also propose an experiment to demonstrate cluster-based error reduction when implementing Gaussian operations.

Quantum computation using weak nonlinearities: Robustness against decoherence

We investigate decoherence effects in the recently suggested quantum-computation scheme using weak nonlinearities, strong probe coherent fields, detection, and feedforward methods. It is shown that in the weak-nonlinearity-based quantum gates, decoherence in nonlinear media can be made arbitrarily small simply by using arbitrarily strong probe fields, if photon-number-resolving detection is used. On the contrary, we find that homodyne detection with feedforward is not appropriate for this scheme because in this case decoherence rapidly increases as the probe field gets larger.

Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.

Movement and figurality: The circulation diagram and the history of the architectural plan

Knowledge of the plan competes with self-consciousness of experience. The less we are able to understand our spatio-visual experience by the abstract coordinates of the plan, the more we are thrust back into a lived experience of the building in duration. This formula, frequently unacknowledged, has been one of the main precepts of the experientialist modernism which arises out of the picturesque and which stands in critique of classical idealism. One of the paths to critique this formula is by showing that the attention to the experience of the spaces in duration is predicated on obscuring, complicating and weakening the apprehension of the plan as a figure. Another development in the practice of modern planning has been architects using a kind of over-drawing where human circulation diagrams or 'movement lines' are drawn expressively across the orthographic plane; thus representing the lived experience of buildings. We will show that these two issues are linked; the plan's weak figure and the privilege this supposes for durational experience has a corollary - experience itself demands to be visible in the plan, and this is one origin of the present fascination with 'diagramming'. In this paper we explore the practice of architectural planning and its theoretical underpinnings in an attempt to show the viability of a history of architectural planning methods.