929 resultados para scientific computation
Resumo:
This article offers a fresh consideration of Elizabeth Gaskell's unfinished Wives and Daughters (1864–6), in terms of what this metropolitan novelist knew about contemporary scientific debates and imperial exploration of Africa, and how her familiarity with these discourses was incorporated into her imaginative work. Her focus for these two related themes is the naturalist Roger Hamley, whose character and exploits are meant to parallel those of the young Charles Darwin. Roger's direct involvement in the historical Geoffroy–Cuvier debate allows Gaskell to offer a sophisticated examination of how discussions about evolutionary biology (about which she learned from personal acquaintances and printed sources) contributed to political and social change in the era of the first Reform Bill. Roger's subsequent journey to Abyssinia to gather specimens allows Gaskell to form a link between science and imperial exploration, which demonstrates how, when carried to its conclusion, the development of classificatory knowledge systems was never innocent; rather, it facilitated colonial exploitation and intervention, which allowed for the ‘opening up of Africa’. Gaskell's pronouncements about science in the novel are far more explicit than her brief references to empire; the article ponders why this should be so, and offers some suggestions about how her reliance on imaginative and discursive constructs concerning the ‘Dark Continent’ may be interpreted as tacit complicity with the imperial project, or at least an interest in its more imaginative aspects.
Resumo:
A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.
Resumo:
We study universal quantum computation using optical coherent states. A teleportation scheme for a coherent-state qubit is developed and applied to gate operations. This scheme is shown to be robust to detection inefficiency.
Resumo:
A long-lived coherent state and nonlinear interaction have been experimentally demonstrated for the vibrational mode of a trapped ion. We propose an implementation of quantum computation using coherent states of the vibrational modes of trapped ions. Differently from earlier experiments, we consider a far-off resonance for the interaction between external fields and the ion in a bidimensional trap. By appropriate choices of the detunings between the external fields, the adiabatic elimination of the ionic excited level from the Hamiltonian of the system allows for beam splitting between orthogonal vibrational modes, production of coherent states, and nonlinear interactions of various kinds. In particular, this model enables the generation of the four coherent Bell states. Furthermore, all the necessary operations for quantum computation, such as preparation of qubits and one-qubit and controlled two-qubit operations, are possible. The detection of the state of a vibrational mode in a Bell state is made possible by the combination of resonant and off-resonant interactions between the ion and some external fields. We show that our read-out scheme provides highly efficient discrimination between all the four Bell states. We extend this to a quantum register composed of many individually trapped ions. In this case, operations on two remote qubits are possible through a cavity mode. We emphasize that our remote-qubit operation scheme does not require a high-quality factor resonator: the cavity field acts as a catalyst for the gate operation.
Resumo:
We assess the effects of a realistic intrinsic model for imperfections in cluster states by introducing noisy cluster states and characterizing their role in the one-way computational model. A suitable strategy to counter-affect these non-idealities is represented by the use of small clusters, stripped of any redundancy, which leads to the search for compact schemes for one-way quantum computation. In light of this, we quantitatively address the behavior of a simple four-qubit cluster which simulates a controlled-NOT under the influences of our model for decoherence. Our scheme can be particularly useful in an all-optical setup and the strategy we address can be directly applied in those, experimental situations where small cluster states can be constucted.
Resumo:
As semiconductor electronic devices scale to the nanometer range and quantum structures (molecules, fullerenes, quantum dots, nanotubes) are investigated for use in information processing and storage, it, becomes useful to explore the limits imposed by quantum mechanics on classical computing. To formulate the problem of a quantum mechanical description of classical computing, electronic device and logic gates are described as quantum sub-systems with inputs treated as boundary conditions, outputs expressed.is operator expectation values, and transfer characteristics and logic operations expressed through the sub-system Hamiltonian. with constraints appropriate to the boundary conditions. This approach, naturally, leads to a description of the subsystem.,, in terms of density matrices. Application of the maximum entropy principle subject to the boundary conditions (inputs) allows for the determination of the density matrix (logic operation), and for calculation of expectation values of operators over a finite region (outputs). The method allows for in analysis of the static properties of quantum sub-systems.