Effects of impurities on Tamm-like lanthanide-metal surface states

The effects of isolated residual-gas adsorbates on the local electronic structure of the Dy(0001) surface were spatially mapped by scanning tunneling microscopy and spectroscopy at 12 K. Less than 15 A away from an adsorbate, a strong reduction of the intensity and a significant increase of the width of the majority component of the surface state due to impurity scattering were observed, with essentially no change of the minority component; this reflects a high lateral localization of the Tamm-like surface state. Furthermore, an adsorbate-induced state was found that behaves metastable.Comment: 5 pages, 4 figures, accepted as Brief Report for Physical Review

Polynomial algorithms that prove an NP-hard hypothesis implies an NP-hard conclusion

A number of results in Hamiltonian graph theory are of the form $\mathcal{P}$$_{1}$ implies $\mathcal{P}$$_{2}$, where $\mathcal{P}$$_{1}$ is a property of graphs that is NP-hard and $\mathcal{P}$$_{2}$ is a cycle structure property of graphs that is also NP-hard. Such a theorem is the well-known Chv\'{a}tal-Erd\"{o}s Theorem, which states that every graph $G$ with $\alpha \leq \kappa$ is Hamiltonian. Here $\kappa$ is the vertex connectivity of $G$ and $\alpha$ is the cardinality of a largest set of independent vertices of $G$. In another paper Chv\'{a}tal points out that the proof of this result is in fact a polynomial time construction that either produces a Hamilton cycle or a set of more than $\kappa$ independent vertices. In this note we point out that other theorems in Hamiltonian graph theory have a similar character. In particular, we present a constructive proof of the well-known theorem of Jung for graphs on $16$ or more vertices.. \u

On the Existence of Dynamics of Wheeler-Feynman Electromagnetism

We study the equations of Wheeler-Feynman electrodynamics which is an action-at-a-distance theory about world-lines of charges that interact through their corresponding advanced and retarded Li\'enard-Wiechert field terms. The equations are non-linear, neutral, and involve time-like advanced as well as retarded arguments of unbounded delay. Using a reformulation in terms of Maxwell-Lorentz electrodynamics without self-interaction, which we have introduced in a preceding work, we are able to establish the existence of conditional solutions. These are solutions that solve the Wheeler-Feynman equations on any finite time interval with prescribed continuations outside of this interval. As a byproduct we also prove existence and uniqueness of solutions to the Synge equations on the time half-line for a given history of charge trajectories.Comment: 45 pages, introduction revised, typos corrected, explanations adde

Runtime Verification of Temporal Properties over Out-of-order Data Streams

We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost. In contrast to prior works, whose property specification languages are limited to propositional temporal logics, our approach handles an extension of the real-time logic MTL with freeze quantifiers for reasoning about data values. We present its underlying theory based on a new three-valued semantics that is well suited to soundly and completely reason online about event streams in the presence of message delay or loss. We also evaluate our approach experimentally. Our prototype implementation processes hundreds of events per second in settings where messages are received out of order.Comment: long version of the CAV 2017 pape

A Tale of Two Theories: Quantum Griffiths Effects in Metallic Systems

We show that two apparently contradictory theories on the existence of Griffiths-McCoy singularities in magnetic metallic systems [1,2] are in fact mathematically equivalent. We discuss the generic phase diagram of the problem and show that there is a non-universal crossover temperature range T* < T < W where power law behavior (Griffiths-McCoy behavior) is expect. For T<T* power law behavior ceases to exist due to the destruction of quantum effects generated by the dissipation in the metallic environment. We show that T* is an analogue of the Kondo temperature and is controlled by non-universal couplings.Comment: 4 pages, 2 figure

Maxwell-Lorentz Dynamics of Rigid Charges

We establish global existence and uniqueness of the dynamics of classical electromagnetism with extended, rigid charges and fields which need not to be square integrable. We consider also a modified theory of electromagnetism where no self-fields occur. That theory and our results are crucial for approaching the as yet unsolved problem of the general existence of dynamics of Wheeler Feynman electromagnetism, which we shall address in the follow up paper.Comment: 32 pages, revised Introduction, typos correcte

Harmonic Generation from Laser-Irradiated Clusters

The harmonic emission from cluster nanoplasmas subject to short, intense infrared laser pulses is analyzed by means of particle-in-cell simulations. A pronounced resonant enhancement of the low-order harmonic yields is found when the Mie plasma frequency of the ionizing and expanding cluster resonates with the respective harmonic frequency. We show that a strong, nonlinear resonant coupling of the cluster electrons with the laser field inhibits coherent electron motion, suppressing the emitted radiation and restricting the spectrum to only low-order harmonics. A pump-probe scheme is suggested to monitor the ionization dynamics of the expanding clusters.Comment: 4 pages, ReVTeX