Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently

Logic programming languages, such asProlog, allow a declarative specification of Constraint Satisfaction Problems (CSPs), freeing the user from specifying more or less complex control directives. However, the price to pay for such flexibility is a loss of efficiency, which makes Logic Programming inadequate to solve CSPs of even moderate size and complexity. To extend the range of applicability of logic programming, several improvements have been proposed. The use of heuristics is one such improvement. Although this usually forces the user to specify some form of control (thus abandoning the pure declarative nature of a logic program), these specifications can be made declarative by making use of some appropriate meta-predicates. Another extension to logic programming that improves its efficiency, is the active use of constraints, as done in the various formulations of constraint logic programming languages. In particular, the use of finite domains is quite adequate to implement look-ahead schemes to efficiently solve several types of CSPs. In this paper, we discuss the complementary nature of heuristics and look-ahead schemes and present a constraint logic programming framework that integrates both these techniques. Results obtained with a time-tabling problem executed on a prototype that implements such a framework are presented, and show that significant efficiency improvements can be achieved when compared with the separate use of the two techniques.     

Exact and approximate solutions to the Schrödinger equation for the harmonic oscillator with a singular perturbation

I obtain exact solutions for the quantum-mechanical harmonic oscillator with a perturbation potential which belongs to a class of polynomial functions of 1/r. I show that some of the eigenfunctions enable the calculation of expectation values in closed form and are therefore suitable trial functions for the application of the variational method to related nonsolvable problems.     

A new technique for obtaining the activation energy distribution of a relaxing system

This paper describes a robust and fast fitting procedure applicable for relaxing processes that cannot be understood as a discrete sum of single processes but require an activation energy distribution. The method is based on a set of closed-form expressions that allow the computation of the relaxation parameters directly from the isochronal curves obtained experimentally. The usefulness of this method is checked by analyzing the isochronal curves given by a theoretical energy distribution and the magnetic disaccommodation spectra observed in yttrium iron garnet (YIG) samples. PACS 02.60.Ed; 75.60.Lr; 75.50.Gg     

Lie point symmetries of the Lane-Emden systems

It is shown that a Lie point symmetry of the Lane-Emden system is a Noether symmetry if and only if its parameters belong to the critical hyperbola.     

Chiral phase transition and Anderson localization in the instanton liquid model for QCD

We study the spectrum and eigenmodes of the QCD Dirac operator in a gauge background given by an instanton liquid model (ILM) at temperatures around the chiral phase transition. Generically we find the Dirac eigenvectors become more localized as the temperature is increased. At the chiral phase transition, both the low lying eigenmodes and the spectrum of the QCD Dirac operator undergo a transition to localization similar to the one observed in a disordered conductor. This suggests that Anderson localization is the fundamental mechanism driving the chiral phase transition. We also find an additional temperature dependent mobility edge (separating delocalized from localized eigenstates) in the bulk of the spectrum which moves toward lower eigenvalues as the temperature is increased. In both regions, the origin and the bulk, the transition to localization exhibits features of a 3D Anderson transition including multifractal eigenstates and spectral properties that are well described by critical statistics. Similar results are obtained in both the quenched and the unquenched case though the critical temperature in the unquenched case is lower. Finally we argue that our findings are not in principle restricted to the ILM approximation and may also be found in lattice simulations.     

The phase diagram of the lyotropic nematic mesophase in the TTAB/NaBr/water system

The phase diagram of the nematic mesophase present in the tetradecyltrimethylammonium bromide/sodium bromide/water ternary system was determined. A calamitic nematic mesophase (N_C) was observed which extends to very high concentrations of electrolyte. The order parameters of the surfactant head group in the mesophases were studied by the NMR quadrupolar splitting of the deuterated surfactant. On increasing the temperature of nematic mesophases with low electrolyte concentrations, a phase separation occurs with the formation of a more highly ordered hexagonal phase and an isotropic phase. Diffusion measurements of the isotropic micellar solution by the NMR PFG method were used to estimate hydrodynamic radii at low surfactant concentrations and to study micelle diffusion as the concentration of the surfactant was increased to the liquid crystalline region. At higher surfactant concentrations, the diffusion coefficient reached a limiting value. The calamitic nematic mesophase in this surfactant/electrolyte/water system appears to be formed by long wormlike micelles.     

On the Cartan–Jacobson Theorem

The well-known Cartan–Jacobson theorem claims that the Lie algebra of derivations of a Cayley algebra is central simple if the characteristic is not 2 or 3. In this paper we have studied these two cases, with the following results: if the characteristic is 2, the theorem is also true, but, if the characteristic is 3, the derivation algebra is not simple. We have also proved that in this last case, there is a unique nonzero proper seven-dimensional ideal, which is a central simple Lie algebra of type A₂, and the quotient of the derivation algebra modulo this ideal turns out to be isomorphic, as a Lie algebra, to the ideal itself. The original motivation of this work was a series of computer-aided calculations which proved the simplicity of derivation algebras of Cayley algebras in the case of characteristic not 3. These computations also proved the existence of a unique nonzero proper ideal (which turns out to be seven-dimensional) in the algebra of derivations of split Cayley algebras in characteristic 3.     

Electrochemistry nanometric patterning of MOF particles: Anisotropic metal electrodeposition in Cu/MOF

Electrodeposition of copper from Cu/MOF immersed into acetate buffer produces a quasi-periodic series of 10–20 nm sized laminae sandwiched within the pristine MOF lattice as monitored by voltammetry of microparticles/atomic force microscopy. This anisotropic patterning can be qualitatively described in terms of a highly orientation-dependent diffusion of electrons and charge-balancing electrolyte counterions in the MOF network.