Soft Constraint Logic Programming and Generalized Shortest Path Problems

In this paper we study the relationship between Constraint Programming (CP) and Shortest Path (SP) problems. In particular, we show that classical, multicriteria, partially ordered, and modality-based SP problems can be naturally modeled and solved within the Soft Constraint Logic Programming (SCLP) framework, where logic programming is coupled with soft constraints. In this way we provide this large class of SP problems with a high-level and declarative linguistic support whose semantics takes care of both finding the cost of the shortest path(s) and also of actually finding the path(s). On the other hand, some efficient algorithms for certain classes of SP problems can be exploited to provide some classes of SCLP programs with an efficient way to compute their semantics.     

Derivative-free methods for mixed-integer nonsmooth constrained optimization

Computational Optimization and Applications - In this paper, mixed-integer nonsmooth constrained optimization problems are considered, where objective/constraint functions are available only as the...     

Nonequilibrium invariant measure under heat flow

We provide an explicit representation of the nonequilibrium invariant measure for a chain of harmonic oscillators with conservative noise in the presence of stationary heat flow. By first determining the covariance matrix, we are able to express the measure as the product of Gaussian distributions aligned along some collective modes that are spatially localized with power-law tails. Numerical studies show that such a representation applies also to a purely deterministic model, the quartic Fermi-Pasta-Ulam chain.     

Surface morphology and composition of c-, a- and m-sapphire surfaces in O2 and H2 environments

This paper reports that monitoring the composition of the c(0 0 0 1), a(11–20) and m(10–10) sapphire surfaces is essential for a proper interpretation of the surface morphologies obtained after annealing at 1253 and 1473 K in ArH₂ or ArO₂ atmospheres. Our experimental investigations, which have used Auger electron spectroscopy (AES) and atomic force microscopy (AFM) on the surfaces of 99.99% pure sapphire wafers, have led to the following original conclusions: (i) Calcium segregates at the c-surface of sapphire both under ArO₂ and ArH₂. (ii) Potassium adsorption enhances the kinetics of step-bunching on the c-surface under ArO₂. (iii) The step edges on the a-surface may develop a comb-like morphology made of parallel strips along the [10–10] direction. (iv) At 1253 K, clean m-surfaces may be stable. (v) Under ArH₂, alumina surface diffusion is much slower than under ArO₂ for all surface orientations, the surface concentration of impurities is low, and the Al–O ratio of the AES signals at the surface is significantly larger.     

Perturbative chiral violations for domain-wall QCD with improved gauge actions

We investigate, in the framework of perturbation theory at finite Ns$N_s$, the effectiveness of improved gauge actions in suppressing the chiral violations of domain-wall fermions. Our calculations show substantial reductions of the residual mass when it is compared at the same value of the gauge coupling, the largest suppression being obtained when the DBW2 action is used. Similar effects can also be observed for a power-divergent mixing coefficient which is chirally suppressed. No significant reduction instead can be seen in the case of the difference between the vector and axial-vector renormalization constants when improved gauge actions are used in place of the plaquette action. We also find that one-loop perturbation theory is not an adequate tool to carry out comparisons at the same energy scale (of about 2 GeV), and in fact in this case even an enhancement of the chiral violations is frequently obtained.     

Comment on quarks and gluons at small x and the SDIS factorization scheme

I present some comments on the partonic interpretation of the HERA data on the proton structure function. The effects of the resummation of the leading and next-to-leading ln x-contributions are discussed. A new factorization scheme, in which these resummation effects are absorbed into a steep redefinition of the gluon density, is introduced and its (possible) interpretation and phenomenological relevance are suggested.     

Coherent transfer by adiabatic passage in two-dimensional lattices

Coherent tunneling by adiabatic passage (CTAP) is a well-established technique for robust spatial transport of quantum particles in linear chains. Here we introduce two exactly-solvable models where the CTAP protocol can be extended to two-dimensional lattice geometries. Such bi-dimensional lattice models are synthesized from time-dependent second-quantization Hamiltonians, in which the bosonic field operators evolve adiabatically like in an ordinary three-level CTAP scheme thus ensuring adiabatic passage in Fock space.     

Coarsening Dynamics in a Simplified DNLS Model

We investigate the coarsening evolution occurring in a simplified stochastic model of the Discrete NonLinear Schrödinger (DNLS) equation in the so-called negative-temperature region. We provide an explanation of the coarsening exponent n=1/3, by invoking an analogy with a suitable exclusion process. In spite of the equivalence with the exponent observed in other known universality classes, this model is certainly different, in that it refers to a dynamics with two conservation laws.