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

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

Anomalous Dynamics of Translocation

We study the dynamics of the passage of a polymer through a membrane pore (translocation), focusing on the scaling properties with the number of monomers $N$. The natural coordinate for translocation is the number of monomers on one side of the hole at a given time. Commonly used models which assume Brownian dynamics for this variable predict a mean (unforced) passage time $\tau$ that scales as $N^2$, even in the presence of an entropic barrier. However, the time it takes for a free polymer to diffuse a distance of the order of its radius by Rouse dynamics scales with an exponent larger than 2, and this should provide a lower bound to the translocation time. To resolve this discrepancy, we perform numerical simulations with Rouse dynamics for both phantom (in space dimensions $d=1$ and 2), and self-avoiding (in $d=2$) chains. The results indicate that for large $N$, translocation times scale in the same manner as diffusion times, but with a larger prefactor that depends on the size of the hole. Such scaling implies anomalous dynamics for the translocation process. In particular, the fluctuations in the monomer number at the hole are predicted to be non-diffusive at short times, while the average pulling velocity of the polymer in the presence of a chemical potential difference is predicted to depend on $N$.Comment: 9 pages, 9 figures. Submitted to Physical Review

Entanglement of a qubit with a single oscillator mode

We solve a model of a qubit strongly coupled to a massive environmental oscillator mode where the qubit backaction is treated exactly. Using a Ginzburg-Landau formalism, we derive an effective action for this well known localization transition. An entangled state emerges as an instanton in the collective qubit-environment degree of freedom and the resulting model is shown to be formally equivalent to a Fluctuating Gap Model (FGM) of a disordered Peierls chain. Below the transition, spectral weight is transferred to an exponentially small energy scale leaving the qubit coherent but damped. Unlike the spin-boson model, coherent and effectively localized behaviors may coexist.Comment: 4 pages, 1 figure; added calculation of entanglement entrop

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.

Single Stranded DNA Translocation Through A Nanopore: A Master Equation Approach

We study voltage driven translocation of a single stranded (ss) DNA through a membrane channel. Our model, based on a master equation (ME) approach, investigates the probability density function (pdf) of the translocation times, and shows that it can be either double or mono-peaked, depending on the system parameters. We show that the most probable translocation time is proportional to the polymer length, and inversely proportional to the first or second power of the voltage, depending on the initial conditions. The model recovers experimental observations on hetro-polymers when using their properties inside the pore, such as stiffness and polymer-pore interaction.Comment: 7 pages submitted to PR

Remarks on the Formulation of Quantum Mechanics on Noncommutative Phase Spaces

We consider the probabilistic description of nonrelativistic, spinless one-particle classical mechanics, and immerse the particle in a deformed noncommutative phase space in which position coordinates do not commute among themselves and also with canonically conjugate momenta. With a postulated normalized distribution function in the quantum domain, the square of the Dirac delta density distribution in the classical case is properly realised in noncommutative phase space and it serves as the quantum condition. With only these inputs, we pull out the entire formalisms of noncommutative quantum mechanics in phase space and in Hilbert space, and elegantly establish the link between classical and quantum formalisms and between Hilbert space and phase space formalisms of noncommutative quantum mechanics. Also, we show that the distribution function in this case possesses 'twisted' Galilean symmetry.Comment: 25 pages, JHEP3 style; minor changes; Published in JHE

An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

Molecular-field approach to the spin-Peierls transition in CuGeO_3

We present a theory for the spin-Peierls transition in CuGeO_3. We map the elementary excitations of the dimerized chain (solitons) on an effective Ising model. Inter-chain coupling (or phonons) then introduce a linear binding potential between a pair of soliton and anti-soliton, leading to a finite transition temperature. We evaluate, as a function of temperature, the order parameter, the singlet-triplet gap, the specific heat, and the susceptibility and compare with experimental data on CuGeO_3. We find that CuGeO_3 is close to a first-order phase transition. We point out, that the famous scaling law \sim\delta^{2/3} of the triplet gap is a simple consequence of the linear binding potential between pairs of solitons and anti-solitons in dimerized spin chains.Comment: 7.1 pages, figures include