On the completeness of quantum computation models

The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite "tensorial dimension". Such vector spaces with a finite tensorial dimension permit to define an absolute notion of completeness for quantum computation models and give a precise meaning to the Church-Turing thesis in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.)Comment: 15 pages, LaTe

Chiral molecule adsorption on helical polymers

We present a lattice model for helicity induction on an optically inactive polymer due to the adsorption of exogenous chiral amine molecules. The system is mapped onto a one-dimensional Ising model characterized by an on-site polymer helicity variable and an amine occupancy one. The equilibrium properties are analyzed at the limit of strong coupling between helicity induction and amine adsorption and that of non-interacting adsorbant molecules. We discuss our results in view of recent experimental results

Public Philosophy of Technology

Philosophers of technology are not playing the public role which our own theoretical perspectives motivate us to take. A great variety of theories and perspectives within philosophy of technology, including those of Marcuse, Feenberg, Borgmann, Ihde, Michelfelder, Bush, Winner, Latour, and Verbeek, either support or directly call for various sorts of intervention—a call that we have failed to adequately heed. Barriers to such intervention are discussed, and three proposals for reform are advanced: (1) post-publication peer-reviewed reprinting of public philosophy, (2) increased emphasis on true open access publication, and (3) increased efforts to publicize and adapt traditional academic research

The Measurement Calculus

Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where the notion of measurement is the main driving force of computation. This is in contrast with the more traditional circuit model which is based on unitary operations. Among measurement-based quantum computation methods, the recently introduced one-way quantum computer stands out as fundamental. We develop a rigorous mathematical model underlying the one-way quantum computer and present a concrete syntax and operational semantics for programs, which we call patterns, and an algebra of these patterns derived from a denotational semantics. More importantly, we present a calculus for reasoning locally and compositionally about these patterns. We present a rewrite theory and prove a general standardization theorem which allows all patterns to be put in a semantically equivalent standard form. Standardization has far-reaching consequences: a new physical architecture based on performing all the entanglement in the beginning, parallelization by exposing the dependency structure of measurements and expressiveness theorems. Furthermore we formalize several other measurement-based models: Teleportation, Phase and Pauli models and present compositional embeddings of them into and from the one-way model. This allows us to transfer all the theory we develop for the one-way model to these models. This shows that the framework we have developed has a general impact on measurement-based computation and is not just particular to the one-way quantum computer.Comment: 46 pages, 2 figures, Replacement of quant-ph/0412135v1, the new version also include formalization of several other measurement-based models: Teleportation, Phase and Pauli models and present compositional embeddings of them into and from the one-way model. To appear in Journal of AC

Order and Frustration in Chiral Liquid Crystals

This paper reviews the complex ordered structures induced by chirality in liquid crystals. In general, chirality favors a twist in the orientation of liquid-crystal molecules. In some cases, as in the cholesteric phase, this favored twist can be achieved without any defects. More often, the favored twist competes with applied electric or magnetic fields or with geometric constraints, leading to frustration. In response to this frustration, the system develops ordered structures with periodic arrays of defects. The simplest example of such a structure is the lattice of domains and domain walls in a cholesteric phase under a magnetic field. More complex examples include defect structures formed in two-dimensional films of chiral liquid crystals. The same considerations of chirality and defects apply to three-dimensional structures, such as the twist-grain-boundary and moire phases.Comment: 39 pages, RevTeX, 14 included eps figure

MEASUREMENT OF KINEMATIC PARAMETERS OF RUNNING

The contribution gives information about the device for kinematic parameters of running (contact and flight time, stride length and time of measured distance). The principle of measurement is based on time measurement of connected and nonconnected electric circuit and at the same time the length of run distances is measured. The final time of measured distance is gained by measurement of stated number of impulses from the length scanner. The device can be used as the means of speed abilities testing in sport training. It is used for search of talents in athletic sprints and jumps and for measurement of time-and- space parameters of running of population with the aim to determine their developing characteristics

The Role of Bilayer Tilt Difference in Equilibrium Membrane Shapes

Lipid bilayer membranes below their main transition have two tilt order parameters, corresponding to the two monolayers. These two tilts may be strongly coupled to membrane shape but only weakly coupled to each other. We discuss some implications of this observation for rippled and saddle phases, bilayer tubules, and bicontinuous phases. Tilt difference introduces a length scale into the elastic theory of tilted fluid membranes. It can drive an instability of the flat phase; it also provides a simple mechanism for the spontaneous breaking of inversion symmetry seen in some recent experiments.Comment: Latex file; .ps available at http://dept.physics.upenn.edu/~nelson/saddle.p

Isotropic-Nematic Transition in Liquid-Crystalline Elastomers

In liquid-crystalline elastomers, the nematic order parameter and the induced strain vary smoothly across the isotropic-nematic transition, without the expected first-order discontinuity. To investigate this smooth variation, we measure the strain as a function of temperature over a range of applied stress, for elastomers crosslinked in the nematic and isotropic phases, and analyze the results using a variation on Landau theory. This analysis shows that the smooth variation arises from quenched disorder in the elastomer, combined with the effects of applied stress and internal stress.Comment: 4 pages, including 4 postscript figures, uses REVTeX