The Ciao clp(FD) library. A modular CLP extension for Prolog

We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component. The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; highefficiency, being competitive with other TT> implementations; a glass-box approach, so the user can specify new constraints at different levels; and a Prolog implementation, in order to ease the integration with Ciao's code analysis components. The core is built upon two small libraries which implement integer ranges and closures. On top of that, a finite domain variable datatype is defined, taking care of constraint reexecution depending on range changes. These three libraries form what we call the TT> kernel of the library. This TT> kernel is used in turn to implement several higher-level finite domain constraints, specified using indexicals. Together with a labeling module this layer forms what we name the TT> solver. A final level integrates the CLP (J7©) paradigm with our TT> solver. This is achieved using attributed variables and a compiler from the CLP (J7©) language to the set of constraints provided by the solver. It should be noted that the user of the library is encouraged to work in any of those levels as seen convenient: from writing a new range module to enriching the set of TT> constraints by writing new indexicals

Two-level interacting boson models beyond the mean field

The phase diagram of two-level boson Hamiltonians, including the Interacting Boson Model (IBM), is studied beyond the standard mean field approximation using the Holstein-Primakoff mapping. The limitations of the usual intrinsic state (mean field) formalism concerning finite-size effects are pointed out. The analytic results are compared to numerics obtained from exact diagonalizations. Excitation energies and occupation numbers are studied in different model space regions (Casten triangle for IBM) and especially at the critical points.Comment: 14 pages, 13 figure

Core excitation effects in the breakup of halo nuclei

The role of core excitation in the structure and dynamics of two-body halo nuclei is investigated. We present calculations for the resonant breakup of 11Be on protons at an incident energy of 63.7 MeV/nucleon, where core excitation effects were shown to be important. To describe the reaction, we use a recently developed extension of the DWBA formalism which incorporates these core excitation effects within the no-recoil approximation. The validity of the no-recoil approximation is also examined by comparing with DWBA calculations which take into account core recoil. In addition, calculations with two different continuum representations are presented and compared.Ministerio de Ciencia e Innovación FIS2011-28738-c02-01, FPA2009- 07653, FPA2009-08848, CSD2007-00042Junta de Andalucía FQM160, P07-FQM-0289

Relationship between X(5)-models and the interacting boson model

The connections between the X(5)-models (the original X(5) using an infinite square well, X(5)-$\beta^8$, X(5)-$\beta^6$, X(5)-$\beta^4$, and X(5)-$\beta^2$), based on particular solutions of the geometrical Bohr Hamiltonian with harmonic potential in the $\gamma$ degree of freedom, and the interacting boson model (IBM) are explored. This work is the natural extension of the work presented in [1] for the E(5)-models. For that purpose, a quite general one- and two-body IBM Hamiltonian is used and a numerical fit to the different X(5)-models energies is performed, later on the obtained wave functions are used to calculate B(E2) transition rates. It is shown that within the IBM one can reproduce well the results for energies and B(E2) transition rates obtained with all these X(5)-models, although the agreement is not so impressive as for the E(5)-models. From the fitted IBM parameters the corresponding energy surface can be extracted and it is obtained that, surprisingly, only the X(5) case corresponds in the moderate large N limit to an energy surface very close to the one expected for a critical point, while the rest of models seat a little farther.Comment: Accepted in Physical Review

On the relation between E(5)−E(5)-models and the interacting boson model

The connections between the $E(5)-$models (the original E(5) using an infinite square well, $E(5)-\beta^4$, $E(5)-\beta^6$ and $E(5)-\beta^8$), based on particular solutions of the geometrical Bohr Hamiltonian with $\gamma$-unstable potentials, and the interacting boson model (IBM) are explored. For that purpose, the general IBM Hamiltonian for the $U(5)-O(6)$ transition line is used and a numerical fit to the different $E(5)-$models energies is performed, later on the obtained wavefunctions are used to calculate B(E2) transition rates. It is shown that within the IBM one can reproduce very well all these $E(5)-$models. The agreement is the best for $E(5)-\beta^4$ and reduces when passing through $E(5)-\beta^6$, $E(5)-\beta^8$ and E(5), where the worst agreement is obtained (although still very good for a restricted set of lowest lying states). The fitted IBM Hamiltonians correspond to energy surfaces close to those expected for the critical point. A phenomenon similar to the quasidynamical symmetry is observed

On the relation between algebraic and configuration space calculations of molecular vibrations

The relation between algebraic and traditional calculations of molecular vibrations is investigated. An explicit connection between interactions in configuration space and the corresponding algebraic interactions is established.European Community IN105194Dirección General de Investigación Científica y Técnica (DGCYT) PB92-066

A calculation of low-lying collective states in odd-even nuclei

We present results of a calculation of properties of low-lying collective quadrupole states in odd-even nuclei within the framework of the proton-neutron interacting boson-fermion model

Reaction-diffusion processes in zero transverse dimensions as toy models for high-energy QCD

We examine numerically different zero-dimensional reaction-diffusion processes as candidate toy models for high-energy QCD evolution. Of the models examined -- Reggeon Field Theory, Directed Percolation and Reversible Processes -- only the latter shows the behaviour commonly expected, namely an increase of the scattering amplitude with increasing rapidity. Further, we find that increasing recombination terms, quantum loops and the heuristic inclusion of a running of the couplings, generically slow down the evolution.Comment: 17 pages, 7 figure