Design of the software development and verification system (SWDVS) for shuttle NASA study task 35

An overview of the Software Development and Verification System (SWDVS) for the space shuttle is presented. The design considerations, goals, assumptions, and major features of the design are examined. A scenario that shows three persons involved in flight software development using the SWDVS in response to a program change request is developed. The SWDVS is described from the standpoint of different groups of people with different responsibilities in the shuttle program to show the functional requirements that influenced the SWDVS design. The software elements of the SWDVS that satisfy the requirements of the different groups are identified

Quantum dynamics of an Ising spin-chain in a random transverse field

We consider an Ising spin-chain in a random transverse magnetic field and compute the zero temperature wave vector and frequency dependent dynamic structure factor numerically by using Jordan-Wigner transformation. Two types of distributions of magnetic fields are introduced. For a rectangular distribution, a dispersing branch is observed, and disorder tends to broaden the dispersion peak and close the excitation gap. For a binary distribution, a non-dispersing branch at almost zero energy is recovered. We discuss the relationship of our work to the neutron scattering measurement in $\mathrm{LiHoF_4}$.Comment: 4 pages and 6 eps figures; minor clarifications were made; the text was shortened to add an additional figur

Boundary field induced first-order transition in the 2D Ising model: numerical study

In a recent paper, Clusel and Fortin [J. Phys. A.: Math. Gen. 39 (2006) 995] presented an analytical study of a first-order transition induced by an inhomogeneous boundary magnetic field in the two-dimensional Ising model. They identified the transition that separates the regime where the interface is localized near the boundary from the one where it is propagating inside the bulk. Inspired by these results, we measured the interface tension by using multimagnetic simulations combined with parallel tempering to determine the phase transition and the location of the interface. Our results are in very good agreement with the theoretical predictions. Furthermore, we studied the spin-spin correlation function for which no analytical results are available.Comment: 12 pages, 7 figures, 2 table

Spin Chains as Perfect Quantum State Mirrors

Quantum information transfer is an important part of quantum information processing. Several proposals for quantum information transfer along linear arrays of nearest-neighbor coupled qubits or spins were made recently. Perfect transfer was shown to exist in two models with specifically designed strongly inhomogeneous couplings. We show that perfect transfer occurs in an entire class of chains, including systems whose nearest-neighbor couplings vary only weakly along the chain. The key to these observations is the Jordan-Wigner mapping of spins to noninteracting lattice fermions which display perfectly periodic dynamics if the single-particle energy spectrum is appropriate. After a half-period of that dynamics any state is transformed into its mirror image with respect to the center of the chain. The absence of fermion interactions preserves these features at arbitrary temperature and allows for the transfer of nontrivially entangled states of several spins or qubits.Comment: Abstract extended, introduction shortened, some clarifications in the text, one new reference. Accepted by Phys. Rev. A (Rapid Communications

Analyticity and integrability in the chiral Potts model

We study the perturbation theory for the general non-integrable chiral Potts model depending on two chiral angles and a strength parameter and show how the analyticity of the ground state energy and correlation functions dramatically increases when the angles and the strength parameter satisfy the integrability condition. We further specialize to the superintegrable case and verify that a sum rule is obeyed

Vacancy localization in the square dimer model

We study the classical dimer model on a square lattice with a single vacancy by developing a graph-theoretic classification of the set of all configurations which extends the spanning tree formulation of close-packed dimers. With this formalism, we can address the question of the possible motion of the vacancy induced by dimer slidings. We find a probability 57/4-10Sqrt[2] for the vacancy to be strictly jammed in an infinite system. More generally, the size distribution of the domain accessible to the vacancy is characterized by a power law decay with exponent 9/8. On a finite system, the probability that a vacancy in the bulk can reach the boundary falls off as a power law of the system size with exponent 1/4. The resultant weak localization of vacancies still allows for unbounded diffusion, characterized by a diffusion exponent that we relate to that of diffusion on spanning trees. We also implement numerical simulations of the model with both free and periodic boundary conditions.Comment: 35 pages, 24 figures. Improved version with one added figure (figure 9), a shift s->s+1 in the definition of the tree size, and minor correction

The saga of the Ising susceptibility

We review developments made since 1959 in the search for a closed form for the susceptibility of the Ising model. The expressions for the form factors in terms of the nome $q$ and the modulus $k$ are compared and contrasted. The $\lambda$ generalized correlations $C(M,N;\lambda)$ are defined and explicitly computed in terms of theta functions for $M=N=0,1$.Comment: 19 pages, 1 figur

Droplets in the coexistence region of the two-dimensional Ising model

The two-dimensional Ising model with fixed magnetization is studied using Monte Carlo techniques. At the coexistence line, the macroscopic, extensive droplet of minority spins becomes thermally unstable by breaking up into microscopic clusters. Intriguing finite--size effects as well as singularities of thermal and cluster properties associated with the transition are discussed.Comment: 7 pages, 3 figures included, submitted to J. Phys. A: Math. Ge

Zero--Temperature Quantum Phase Transition of a Two--Dimensional Ising Spin--Glass

We study the quantum transition at $T=0$ in the spin-$\frac12$ Ising spin--glass in a transverse field in two dimensions. The world line path integral representation of this model corresponds to an effective classical system in (2+1) dimensions, which we study by Monte Carlo simulations. Values of the critical exponents are estimated by a finite-size scaling analysis. We find that the dynamical exponent, $z$, and the correlation length exponent, $\nu$, are given by $z = 1.5 \pm 0.05$ and $\nu = 1.0 \pm 0.1$. Both the linear and non-linear susceptibility are found to diverge at the critical point.Comment: RevTeX 10 pages + 4 figures (appended as uuencoded, compressed tar-file), THP21-9

Critical Behavior and Griffiths-McCoy Singularities in the Two-Dimensional Random Quantum Ising Ferromagnet

We study the quantum phase transition in the two-dimensional random Ising model in a transverse field by Monte Carlo simulations. We find results similar to those known analytically in one-dimension. At the critical point, the dynamical exponent is infinite and the typical correlation function decays with a stretched exponential dependence on distance. Away from the critical point there are Griffiths-McCoy singularities, characterized by a single, continuously varying exponent, z', which diverges at the critical point, as in one-dimension. Consequently, the zero temperature susceptibility diverges for a RANGE of parameters about the transition.Comment: 4 pages RevTeX, 3 eps-figures include