Spectral changes in layered ff-electron systems induced by Kondo hole substitution in the boundary-layer

We investigate the effect of disorder on the dynamical spectrum of layered $f$-electron systems. With random dilution of $f$-sites in a single Kondo insulating layer, we explore the range and extent to which Kondo hole incoherence can penetrate into adjacent layers. We consider three cases of neighboring layers: band insulator, Kondo insulator and simple metal. The disorder-induced spectral weight transfer, used here for quantification of the proximity effect, decays algebraically with distance from the boundary layer. Further, we show that the spectral weight transfer is highly dependent on the frequency range considered as well as the presence of interactions in the clean adjacent layers. The changes in the low frequency spectrum are very similar when the adjacent layers are either metallic or Kondo insulating, and hence are independent of interactions. In stark contrast, a distinct picture emerges for the spectral weight transfers across large energy scales. The spectral weight transfer over all energy scales is much higher when the adjacent layers are non-interacting as compared to when they are strongly interacting Kondo insulators. Thus, over all scales, interactions screen the disorder effects significantly. We discuss the possibility of a crossover from non-Fermi liquid to Fermi liquid behavior upon increasing the ratio of clean to disordered layers in particle-hole asymmetric systems.Comment: 14 pages, 9 figure

Constructive Heuristics for the Minimum Labelling Spanning Tree Problem: a preliminary comparison

This report studies constructive heuristics for the minimum labelling spanning tree (MLST) problem. The purpose is to find a spanning tree that uses edges that are as similar as possible. Given an undirected labeled connected graph (i.e., with a label or color for each edge), the minimum labeling spanning tree problem seeks a spanning tree whose edges have the smallest possible number of distinct labels. The model can represent many real-world problems in telecommunication networks, electric networks, and multimodal transportation networks, among others, and the problem has been shown to be NP-complete even for complete graphs. A primary heuristic, named the maximum vertex covering algorithm has been proposed. Several versions of this constructive heuristic have been proposed to improve its efficiency. Here we describe the problem, review the literature and compare some variants of this algorithm

Solving the minimum labelling spanning tree problem using hybrid local search

Given a connected, undirected graph whose edges are labelled (or coloured), the minimum labelling spanning tree (MLST) problem seeks a spanning tree whose edges have the smallest number of distinct labels (or colours). In recent work, the MLST problem has been shown to be NP-hard and some effective heuristics (Modified Genetic Algorithm (MGA) and Pilot Method (PILOT)) have been proposed and analyzed. A hybrid local search method, that we call Group-Swap Variable Neighbourhood Search (GS-VNS), is proposed in this paper. It is obtained by combining two classic metaheuristics: Variable Neighbourhood Search (VNS) and Simulated Annealing (SA). Computational experiments show that GS-VNS outperforms MGA and PILOT. Furthermore, a comparison with the results provided by an exact approach shows that we may quickly obtain optimal or near-optimal solutions with the proposed heuristic

Mobile particles in an immobile environment: Molecular Dynamics simulation of a binary Yukawa mixture

Molecular dynamics computer simulations are used to investigate thedynamics of a binary mixture of charged (Yukawa) particles with a size-ratio of 1:5. We find that the system undergoes a phase transition where the large particles crystallize while the small particles remain in a fluid-like (delocalized) phase. Upon decreasing temperature below the transition, the small particles become increasingly localized on intermediate time scales. This is reflected in the incoherent intermediate scattering functions by the appearance of a plateau with a growing height. At long times, the small particles show a diffusive hopping motion. We find that these transport properties are related to structural correlations and the single-particle potential energy distribution of the small particles.Comment: 7 pages, 5 figure

Metal-Insulator-Transition in a Weakly interacting Disordered Electron System

The interplay of interactions and disorder is studied using the Anderson-Hubbard model within the typical medium dynamical cluster approximation. Treating the interacting, non-local cluster self-energy ($\Sigma_c[{\cal \tilde{G}}](i,j\neq i)$) up to second order in the perturbation expansion of interactions, $U^2$, with a systematic incorporation of non-local spatial correlations and diagonal disorder, we explore the initial effects of electron interactions ($U$) in three dimensions. We find that the critical disorder strength ($W_c^U$), required to localize all states, increases with increasing $U$; implying that the metallic phase is stabilized by interactions. Using our results, we predict a soft pseudogap at the intermediate $W$ close to $W_c^U$ and demonstrate that the mobility edge ($\omega_\epsilon$) is preserved as long as the chemical potential, $\mu$, is at or beyond the mobility edge energy.Comment: 10 Pages, 8 Figures with Supplementary materials include

Maude: specification and programming in rewriting logic

Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude

Finite Cluster Typical Medium Theory for Disordered Electronic Systems

We use the recently developed typical medium dynamical cluster (TMDCA) approach~[Ekuma \etal,~\textit{Phys. Rev. B \textbf{89}, 081107 (2014)}] to perform a detailed study of the Anderson localization transition in three dimensions for the Box, Gaussian, Lorentzian, and Binary disorder distributions, and benchmark them with exact numerical results. Utilizing the nonlocal hybridization function and the momentum resolved typical spectra to characterize the localization transition in three dimensions, we demonstrate the importance of both spatial correlations and a typical environment for the proper characterization of the localization transition in all the disorder distributions studied. As a function of increasing cluster size, the TMDCA systematically recovers the re-entrance behavior of the mobility edge for disorder distributions with finite variance, obtaining the correct critical disorder strengths, and shows that the order parameter critical exponent for the Anderson localization transition is universal. The TMDCA is computationally efficient, requiring only a small cluster to obtain qualitative and quantitative data in good agreement with numerical exact results at a fraction of the computational cost. Our results demonstrate that the TMDCA provides a consistent and systematic description of the Anderson localization transition.Comment: 20 Pages, 19 Figures, 3 Table

Electrospun Au/CeO2 nanofibers: A highly accessible low-pressure drop catalyst for preferential CO oxidation

Au/CeO2 catalysts shaped as nanofibers were obtained by supporting Au nanoparticles (ca. 3 nm) on CeO2 nanofibers of around 200 nm diameter. The CeO2 support was prepared by calcining electrospun polymer nanocomposite fibers with a high Ce content; then gold nanoparticles were either synthesized in situ or deposited from a suspension. The prepared catalysts were used in the preferential oxidation of CO in a hydrogen-rich stream. The catalysts prepared by deposition of preformed gold nanoparticles were less stable and underwent sintering due to a weaker nanoparticle–support interaction. In contrast, the catalysts with Au nanoparticles synthesized in situ were active (90% conversion and 46% selectivity) and stable. The fiber-shaped catalyst was able to give maximum reactant access at a much lower pressure drop than catalyst in powder form