A Decidable Confluence Test for Cognitive Models in ACT-R

Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied. In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior. The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of RuleML+RR 2017". Springer LNC

Canonical-basis solution of the Hartree-Fock-Bogoliubov equation on three-dimensional Cartesian mesh

A method is presented to obtain the canonical-form solutions of the HFB equation for atomic nuclei with zero-range interactions like the Skyrme force. It is appropriate to describe pairing correlations in the continuum in coordinate-space representations. An improved gradient method is used for faster convergences under constraint of orthogonality between orbitals. To prevent high-lying orbitals to shrink into a spatial point, a repulsive momentum dependent force is introduced, which turns out to unveil the nature of high-lying canonical-basis orbitals. The asymptotic properties at large radius and the relation with quasiparticle states are discussed for the obtained canonical basis.Comment: 23 pages including 17 figures, REVTeX4, revised version, scheduled to appear in Phys. Rev. C, Vol.69, No.

Evolution of shell structure in neutron-rich calcium isotopes

We employ interactions from chiral effective field theory and compute the binding energies and low-lying excitations of calcium isotopes with the coupled-cluster method. Effects of three-nucleon forces are included phenomenologically as in-medium two-nucleon interactions, and the coupling to the particle continuum is taken into account using a Berggren basis. The computed ground-state energies and the low-lying 2+ states for the isotopes 42,48,50,52Ca are in good agreement with data, and we predict the excitation energy of the first 2+ state in 54Ca at 1.9 MeV, displaying only a weak sub-shell closure. In the odd-mass nuclei 53,55,61Ca we find that the positive parity states deviate strongly from the naive shell model.Comment: 5 pages, 4 figures; small correction of effective 3NF and slight change of the corresponding parameters; updated figures and tables; main results and conclusions unchange

On the equivalence of pairing correlations and intrinsic vortical currents in rotating nuclei

The present paper establishes a link between pairing correlations in rotating nuclei and collective vortical modes in the intrinsic frame. We show that the latter can be embodied by a simple S-type coupling a la Chandrasekhar between rotational and intrinsic vortical collective modes. This results from a comparison between the solutions of microscopic calculations within the HFB and the HF Routhian formalisms. The HF Routhian solutions are constrained to have the same Kelvin circulation expectation value as the HFB ones. It is shown in several mass regions, pairing regimes, and for various spin values that this procedure yields moments of inertia, angular velocities, and current distributions which are very similar within both formalisms. We finally present perspectives for further studies.Comment: 8 pages, 4 figures, submitted to Phys. Rev.

Bare vs effective pairing forces. A microscopic finite-range interaction for HFB calculations in coordinate space

We propose a microscopic effective interaction to treat pairing correlations in the $^{1}S_0$ channel. It is introduced by recasting the gap equation written in terms of the bare force into a fully equivalent pairing problem. Within this approach, the proposed interaction reproduces the pairing properties provided by the realistic $AV18$ force very accurately. Written in the canonical basis of the actual Bogolyubov transformation, the force takes the form of an off-shell in-medium two-body matrix in the superfluid phase multiplied by a BCS occupation number $2 \rho_{m}$. This interaction is finite ranged, non local, total-momentum dependent and density dependent. The factor $2 \rho_{m}$ emerging from the recast of the gap equation provides a natural cut-off and makes zero-range approximations of the effective vertex meaningful. Performing such an approximation, the roles of the range and of the density dependence of the interaction can be disentangled. The isoscalar and isovector density-dependences derived ab-initio provide the pairing force with a strong predictive power when extrapolated toward the drip-lines. Although finite ranged and non local, the proposed interaction makes HFB calculations of finite nuclei in coordinate space tractable. Through the two-basis method, its computational cost is of the same order as for a zero-range force.Comment: 43 pages, 13 figures. Published versio

High-spin structures of 136Cs

Odd-odd 136Cs nuclei have been produced in the 18O + 208Pb and 12C + 238U fusion-fission reactions and their gamma rays studied with the Euroball array. The high-spin level scheme has been built up to ~ 4.7 MeV excitation energy and spin I ~ 16 hbar from the triple gamma-ray coincidence data. The configurations of the three structures observed above ~ 2 MeV excitation energy are first discussed by analogy with the proton excitations identified in the semi-magic 137Cs nucleus, which involve the three high-j orbits lying above the Z=50 gap, pi g_{7/2}, pi d_{5/2} and pi h_{11/2}. This is confirmed by the results of shell-model calculations performed in this work.Comment: 6 pages, 4 figures, 3 table

Maximum likelihood drift estimation for a threshold diffusion

We study the maximum likelihood estimator of the drift parameters of a stochastic differential equation, with both drift and diffusion coefficients constant on the positive and negative axis, yet discontinuous at zero. This threshold diffusion is called drifted Oscillating Brownian motion.For this continuously observed diffusion, the maximum likelihood estimator coincide with a quasi-likelihood estimator with constant diffusion term. We show that this estimator is the limit, as observations become dense in time, of the (quasi)-maximum likelihood estimator based on discrete observations. In long time, the asymptotic behaviors of the positive and negative occupation times rule the ones of the estimators. Differently from most known results in the literature, we do not restrict ourselves to the ergodic framework: indeed, depending on the signs of the drift, the process may be ergodic, transient or null recurrent. For each regime, we establish whether or not the estimators are consistent; if they are, we prove the convergence in long time of the properly rescaled difference of the estimators towards a normal or mixed normal distribution. These theoretical results are backed by numerical simulations