Quantum Ballistic Evolution in Quantum Mechanics: Application to Quantum Computers

Quantum computers are important examples of processes whose evolution can be described in terms of iterations of single step operators or their adjoints. Based on this, Hamiltonian evolution of processes with associated step operators $T$ is investigated here. The main limitation of this paper is to processes which evolve quantum ballistically, i.e. motion restricted to a collection of nonintersecting or distinct paths on an arbitrary basis. The main goal of this paper is proof of a theorem which gives necessary and sufficient conditions that T must satisfy so that there exists a Hamiltonian description of quantum ballistic evolution for the process, namely, that T is a partial isometry and is orthogonality preserving and stable on some basis. Simple examples of quantum ballistic evolution for quantum Turing machines with one and with more than one type of elementary step are discussed. It is seen that for nondeterministic machines the basis set can be quite complex with much entanglement present. It is also proved that, given a step operator T for an arbitrary deterministic quantum Turing machine, it is decidable if T is stable and orthogonality preserving, and if quantum ballistic evolution is possible. The proof fails if T is a step operator for a nondeterministic machine. It is an open question if such a decision procedure exists for nondeterministic machines. This problem does not occur in classical mechanics.Comment: 37 pages Latexwith 2 postscript figures tar+gzip+uuencoded, to be published in Phys. Rev.

Transmission and Spectral Aspects of Tight Binding Hamiltonians for the Counting Quantum Turing Machine

It was recently shown that a generalization of quantum Turing machines (QTMs), in which potentials are associated with elementary steps or transitions of the computation, generates potential distributions along computation paths of states in some basis B. The distributions are computable and are thus periodic or have deterministic disorder. These generalized machines (GQTMs) can be used to investigate the effect of potentials in causing reflections and reducing the completion probability of computations. This work is extended here by determination of the spectral and transmission properties of an example GQTM which enumerates the integers as binary strings. A potential is associated with just one type of step. For many computation paths the potential distributions are initial segments of a quasiperiodic distribution that corresponds to a substitution sequence. The energy band spectra and Landauer Resistance (LR) are calculated for energies below the barrier height by use of transfer matrices. The LR fluctuates rapidly with momentum with minima close to or at band-gap edges. For several values of the parameters, there is good transmission over some momentum regions.Comment: 22 pages Latex, 13 postscript figures, Submitted to Phys. Rev.

Molecular weight effects on chain pull-out fracture of reinforced polymeric interfaces

Using Brownian dynamics, we simulate the fracture of polymer interfaces reinforced by diblock connector chains. We find that for short chains the interface fracture toughness depends linearly on the degree of polymerization $N$ of the connector chains, while for longer chains the dependence becomes $N^{3/2}$. Based on the geometry of initial chain configuration, we propose a scaling argument that accounts for both short and long chain limits and crossover between them.Comment: 5 pages, 3 figure

Quantum Robots and Environments

Quantum robots and their interactions with environments of quantum systems are described and their study justified. A quantum robot is a mobile quantum system that includes a quantum computer and needed ancillary systems on board. Quantum robots carry out tasks whose goals include specified changes in the state of the environment or carrying out measurements on the environment. Each task is a sequence of alternating computation and action phases. Computation phase activities include determination of the action to be carried out in the next phase and possible recording of information on neighborhood environmental system states. Action phase activities include motion of the quantum robot and changes of neighborhood environment system states. Models of quantum robots and their interactions with environments are described using discrete space and time. To each task is associated a unitary step operator T that gives the single time step dynamics. T = T_{a}+T_{c} is a sum of action phase and computation phase step operators. Conditions that T_{a} and T_{c} should satisfy are given along with a description of the evolution as a sum over paths of completed phase input and output states. A simple example of a task carrying out a measurement on a very simple environment is analyzed. A decision tree for the task is presented and discussed in terms of sums over phase paths. One sees that no definite times or durations are associated with the phase steps in the tree and that the tree describes the successive phase steps in each path in the sum.Comment: 30 Latex pages, 3 Postscript figures, Minor mathematical corrections, accepted for publication, Phys Rev

Pickoff and spin-conversion quenchings of ortho-positronium in oxygen

The quenching processes of the thermalized ortho-positronium(o-Ps) on an oxygen molecule have been studied by the positron annihilation age-momentum correlation techinique(AMOC). The Doppler broadening spectrum of the 511 keV gamma-rays from the 2gamma annihilation of o-Ps in O_2 has been measured as a function of the o-Ps age. The rate of the quenching, consisting of the pickoff and the spin-conversion, is estimated from the positron lifetime spectrum. The ratio of the pickoff quenching rate to the spin-conversion rate is deduced from the Doppler broadening of the 511 keV gamma-rays from the annihilation of the o-Ps. The pickoff parameter ^1Z_eff, the effective number of the electrons per molecule which contribute to the pickoff quenching, for O_2 is determined to be 0.6 +- 0.4. The cross-section for the elastic spin-conversion quenching is determined to be (1.16 +- 0.01) * 10^{-19} cm^2.Comment: 4 pages with 5 eps figures, LaTeX2e(revtex4

The Representation of Natural Numbers in Quantum Mechanics

This paper represents one approach to making explicit some of the assumptions and conditions implied in the widespread representation of numbers by composite quantum systems. Any nonempty set and associated operations is a set of natural numbers or a model of arithmetic if the set and operations satisfy the axioms of number theory or arithmetic. This work is limited to k-ary representations of length L and to the axioms for arithmetic modulo k^{L}. A model of the axioms is described based on states in and operators on an abstract L fold tensor product Hilbert space H^{arith}. Unitary maps of this space onto a physical parameter based product space H^{phy} are then described. Each of these maps makes states in H^{phy}, and the induced operators, a model of the axioms. Consequences of the existence of many of these maps are discussed along with the dependence of Grover's and Shor's Algorithms on these maps. The importance of the main physical requirement, that the basic arithmetic operations are efficiently implementable, is discussed. This conditions states that there exist physically realizable Hamiltonians that can implement the basic arithmetic operations and that the space-time and thermodynamic resources required are polynomial in L.Comment: Much rewrite, including response to comments. To Appear in Phys. Rev.

Topological effects in ring polymers: A computer simulation study

Unconcatenated, unknotted polymer rings in the melt are subject to strong interactions with neighboring chains due to the presence of topological constraints. We study this by computer simulation using the bond-fluctuation algorithm for chains with up to N=512 statistical segments at a volume fraction \Phi=0.5 and show that rings in the melt are more compact than gaussian chains. A careful finite size analysis of the average ring size R \propto N^{\nu} yields an exponent \nu \approx 0.39 \pm 0.03 in agreement with a Flory-like argument for the topologica interactions. We show (using the same algorithm) that the dynamics of molten rings is similar to that of linear chains of the same mass, confirming recent experimental findings. The diffusion constant varies effectively as D_{N} \propto N^{-1.22(3) and is slightly higher than that of corresponding linear chains. For the ring sizes considered (up to 256 statistical segments) we find only one characteristic time scale \tau_{ee} \propto N^{2.0(2); this is shown by the collapse of several mean-square displacements and correlation functions onto corresponding master curves. Because of the shrunken state of the chain, this scaling is not compatible with simple Rouse motion. It applies for all sizes of ring studied and no sign of a crossover to any entangled regime is found.Comment: 20 Pages,11 eps figures, Late

The Haroche-Ramsey experiment as a generalized measurement

A number of atomic beam experiments, related to the Ramsey experiment and a recent experiment by Brune et al., are studied with respect to the question of complementarity. Three different procedures for obtaining information on the state of the incoming atom are compared. Positive operator-valued measures are explicitly calculated. It is demonstrated that, in principle, it is possible to choose the experimental arrangement so as to admit an interpretation as a joint non-ideal measurement yielding interference and ``which-way'' information. Comparison of the different measurements gives insight into the question of which information is provided by a (generalized) quantum mechanical measurement. For this purpose the subspaces of Hilbert-Schmidt space, spanned by the operators of the POVM, are determined for different measurement arrangements and different values of the parameters.Comment: REVTeX, 22 pages, 5 figure

Spinodal Decomposition in a Binary Polymer Mixture: Dynamic Self Consistent Field Theory and Monte Carlo Simulations

We investigate how the dynamics of a single chain influences the kinetics of early stage phase separation in a symmetric binary polymer mixture. We consider quenches from the disordered phase into the region of spinodal instability. On a mean field level we approach this problem with two methods: a dynamical extension of the self consistent field theory for Gaussian chains, with the density variables evolving in time, and the method of the external potential dynamics where the effective external fields are propagated in time. Different wave vector dependencies of the kinetic coefficient are taken into account. These early stages of spinodal decomposition are also studied through Monte Carlo simulations employing the bond fluctuation model that maps the chains -- in our case with 64 effective segments -- on a coarse grained lattice. The results obtained through self consistent field calculations and Monte Carlo simulations can be compared because the time, length, and temperature scales are mapped onto each other through the diffusion constant, the chain extension, and the energy of mixing. The quantitative comparison of the relaxation rate of the global structure factor shows that a kinetic coefficient according to the Rouse model gives a much better agreement than a local, i.e. wave vector independent, kinetic factor. Including fluctuations in the self consistent field calculations leads to a shorter time span of spinodal behaviour and a reduction of the relaxation rate for smaller wave vectors and prevents the relaxation rate from becoming negative for larger values of the wave vector. This is also in agreement with the simulation results.Comment: Phys.Rev.E in prin

Scale-free static and dynamical correlations in melts of monodisperse and Flory-distributed homopolymers: A review of recent bond-fluctuation model studies

It has been assumed until very recently that all long-range correlations are screened in three-dimensional melts of linear homopolymers on distances beyond the correlation length $\xi$ characterizing the decay of the density fluctuations. Summarizing simulation results obtained by means of a variant of the bond-fluctuation model with finite monomer excluded volume interactions and topology violating local and global Monte Carlo moves, we show that due to an interplay of the chain connectivity and the incompressibility constraint, both static and dynamical correlations arise on distances $r \gg \xi$. These correlations are scale-free and, surprisingly, do not depend explicitly on the compressibility of the solution. Both monodisperse and (essentially) Flory-distributed equilibrium polymers are considered.Comment: 60 pages, 49 figure