Dynamics of Diblock Copolymers in Dilute Solutions

We consider the dynamics of freely translating and rotating diblock (A-B), Gaussian copolymers, in dilute solutions. Using the multiple scattering technique, we have computed the diffusion and the friction coefficients D_AB and Zeta_AB, and the change Eta_AB in the viscosity of the solution as functions of x = N_A/N and t = l_B/l_A, where N_A, N are the number of segments of the A block and of the whole copolymer, respectively, and l_A, l_B are the Kuhn lengths of the A and B blocks. Specific regimes that maximize the efficiency of separation of copolymers with distinct "t" values, have been identified.Comment: 20 pages Revtex, 7 eps figures, needs epsf.tex and amssymb.sty, submitted to Macromolecule

Novel Nonreciprocal Acoustic Effects in Antiferromagnets

The possible occurrence of nonreciprocal acoustic effects in antiferromagnets in the absence of an external magnetic field is investigated using both (i) a microscopic formulation of the magnetoelastic interaction between spins and phonons and (ii) symmetry arguments. We predict for certain antiferromagnets the existence of two new nonreciprocal (non-time invariant) effects: A boundary-condition induced nonreciprocal effect and the occurrence of transversal phonon modes propagating in opposite directions having different velocities. Estimates are given and possible materials for these effects to be observed are suggested.Comment: Euro. Phys. Lett. (in press

What drives the translocation of stiff chains?

We study the dynamics of the passage of a stiff chain through a pore into a cell containing particles that bind reversibly to it. Using Brownian Molecular Dynamics simulations we investigate the mean-first-passage time as a function of the length of the chain inside, for different concentrations of binding particles. As a consequence of the interactions with these particles, the chain experiences a net force along its length whose calculated value from the simulations accounts for the velocity at which it enters the cell. This force can in turn be obtained from the solution of a generalized diffusion equation incorporating an effective Langmuir adsorption free energy for the chain plus binding particles. These results suggest a role of binding particles in the translocation process which is in general quite different from that of a Brownian ratchet. Furthermore, non-equilibrium effects contribute significantly to the dynamics, \emph{e.g.}, the chain often enters the cell faster than particle binding can be saturated, resulting in a force several times smaller than the equilibrium value.Comment: 7 pages, 4 figure

Anomalous Dynamics of Forced Translocation

We consider the passage of long polymers of length N through a hole in a membrane. If the process is slow, it is in principle possible to focus on the dynamics of the number of monomers s on one side of the membrane, assuming that the two segments are in equilibrium. The dynamics of s(t) in such a limit would be diffusive, with a mean translocation time scaling as N^2 in the absence of a force, and proportional to N when a force is applied. We demonstrate that the assumption of equilibrium must break down for sufficiently long polymers (more easily when forced), and provide lower bounds for the translocation time by comparison to unimpeded motion of the polymer. These lower bounds exceed the time scales calculated on the basis of equilibrium, and point to anomalous (sub-diffusive) character of translocation dynamics. This is explicitly verified by numerical simulations of the unforced translocation of a self-avoiding polymer. Forced translocation times are shown to strongly depend on the method by which the force is applied. In particular, pulling the polymer by the end leads to much longer times than when a chemical potential difference is applied across the membrane. The bounds in these cases grow as N^2 and N^{1+\nu}, respectively, where \nu is the exponent that relates the scaling of the radius of gyration to N. Our simulations demonstrate that the actual translocation times scale in the same manner as the bounds, although influenced by strong finite size effects which persist even for the longest polymers that we considered (N=512).Comment: 13 pages, RevTeX4, 16 eps figure

Efficient negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved by us) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, we report on an implementation, using the Ciao Prolog system preprocessor, and provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques are shown to offer important improvements in this application

An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

Berry's phase in noncommutative spaces

We introduce the perturbative aspects of noncommutative quantum mechanics. Then we study the Berry's phase in the framework of noncommutative quantum mechanics. The results show deviations from the usual quantum mechanics which depend on the parameter of space/space noncommtativity.Comment: 7 pages, no figur

Theory of Non-Reciprocal Optical Effects in Antiferromagnets: The Case Cr_2O_3

A microscopic model of non-reciprocal optical effects in antiferromagnets is developed by considering the case of Cr_2O_3 where such effects have been observed. These effects are due to a direct coupling between light and the antiferromagnetic order parameter. This coupling is mediated by the spin-orbit interaction and involves an interplay between the breaking of inversion symmetry due to the antiferromagnetic order parameter and the trigonal field contribution to the ligand field at the magnetic ion. We evaluate the matrix elements relevant for the non-reciprocal second harmonic generation and gyrotropic birefringence.Comment: accepted for publication in Phys. Rev.