26,102 research outputs found
Spectral changes in layered -electron systems induced by Kondo hole substitution in the boundary-layer
We investigate the effect of disorder on the dynamical spectrum of layered
-electron systems. With random dilution of -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
Recommended from our members
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
() up to second order in the
perturbation expansion of interactions, , with a systematic incorporation
of non-local spatial correlations and diagonal disorder, we explore the initial
effects of electron interactions () in three dimensions. We find that the
critical disorder strength (), required to localize all states,
increases with increasing ; implying that the metallic phase is stabilized
by interactions. Using our results, we predict a soft pseudogap at the
intermediate close to and demonstrate that the mobility edge
() is preserved as long as the chemical potential, , 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
- …