Steering effects on growth instability during step-flow growth of Cu on Cu(1,1,17)

Kinetic Monte Carlo simulation in conjunction with molecular dynamics simulation is utilized to study the effect of the steered deposition on the growth of Cu on Cu(1,1,17). It is found that the deposition flux becomes inhomogeneous in step train direction and the inhomogeneity depends on the deposition angle, when the deposition is made along that direction. Steering effect is found to always increase the growth instability, with respect to the case of homogeneous deposition. Further, the growth instability depends on the deposition angle and direction, showing minimum at a certain deposition angle off-normal to (001) terrace, and shows a strong correlation with the inhomogeneous deposition flux. The increase of the growth instability is ascribed to the strengthened step Erlich Schwoebel barrier effects that is caused by the enhanced deposition flux near descending step edge due to the steering effect.Comment: 5 page

Effect of Inter-Site Repulsions on Magnetic Susceptibility of One-Dimensional Electron Systems at Quarter-Filling

The temperature dependence of the magnetic susceptibility, \chi (T), is investigated for one-dimensional interacting electron systems at quarter-filling within the Kadanoff-Wilson renormalization-group method. The forward scattering on the same branch (the g_4-process) is examined together with the backward (g_1) and forward (g_2) scattering amplitudes on opposite branches. In connection with lattice models, we show that \chi (T) is strongly enhanced by the nearest-neighbor interaction, an enhancement that surpasses one of the next-nearest-neighbor interaction. A connection between our predictions for \chi (T) and experimental results for \chi (T) in quasi-one-dimensional organic conductors is presented.Comment: 4 pages, 4 figures, to be published in Journal of the Physical Society of Japan, vol. 74, No. 1

Estimating CDM Particle Trajectories in the Mildly Non-Linear Regime of Structure Formation. Implications for the Density Field in Real and Redshift Space

We obtain approximations for the CDM particle trajectories starting from Lagrangian Perturbation Theory. These estimates for the CDM trajectories result in approximations for the density in real and redshift space, as well as for the momentum density that are better than what standard Eulerian and Lagrangian perturbation theory give. For the real space density, we find that our proposed approximation gives a good cross-correlation (>95%) with the non-linear density down to scales almost twice smaller than the non-linear scale, and six times smaller than the corresponding scale obtained using linear theory. This allows for a speed-up of an order of magnitude or more in the scanning of the cosmological parameter space with N-body simulations for the scales relevant for the baryon acoustic oscillations. Possible future applications of our method include baryon acoustic peak reconstruction, building mock galaxy catalogs, momentum field reconstruction.Comment: 25 pages, 11 figures; reference adde

Signatures of Electronic Correlations in Optical Properties of LaFeAsO1−x_{1-x}Fx_x

Spectroscopic ellipsometry is used to determine the dielectric function of the superconducting LaFeAsO$_{0.9}$F$_{0.1}$ ($T_c$ = 27 K) and undoped LaFeAsO polycrystalline samples in the wide range 0.01-6.5 eV at temperatures 10 $\leq T \leq$ 350 K. The free charge carrier response in both samples is heavily damped with the effective carrier density as low as 0.040$\pm$0.005 electrons per unit cell. The spectral weight transfer in the undoped LaFeAsO associated with opening of the pseudogap at about 0.65 eV is restricted at energies below 2 eV. The spectra of superconducting LaFeAsO$_{0.9}$F$_{0.1}$ reveal a significant transfer of the spectral weight to a broad optical band above 4 eV with increasing temperature. Our data may imply that the electronic states near the Fermi surface are strongly renormalized due to electron-phonon and/or electron-electron interactions.Comment: 4 pages, 4 figures, units in Fig.2 adde

Charge Fluctuations in Geometrically Frustrated Charge Ordering System

Effects of geometrical frustration in low-dimensional charge ordering systems are theoretically studied, mainly focusing on dynamical properties. We treat extended Hubbard models at quarter-filling, where the frustration arises from competing charge ordered patterns favored by different intersite Coulomb interactions, which are effective models for various charge transfer-type molecular conductors and transition metal oxides. Two different lattice structures are considered: (a) one-dimensional chain with intersite Coulomb interaction of nearest neighbor V_1 and that of next-nearest neighbor V_2, and (b) two-dimensional square lattice with V_1 along the squares and V_2 along one of the diagonals. From previous studies, charge ordered insulating states are known to be unstable in the frustrated region, i.e., V_1 \simeq 2V_2 for case (a) and V_1 \simeq V_2 for case (b), resulting in a robust metallic phase even when the interaction strenghs are strong. By applying the Lanczos exact diagonalization to finite-size clusters, we have found that fluctuations of different charge order patterns exist in the frustration-induced metallic phase, showing up as characteristic low energy modes in dynamical correlation functions. Comparison of such features between the two models are discussed, whose difference will be ascribed to the dimensionality effect. We also point out incommensurate correlation in the charge sector due to the frustration, found in one-dimensional clusters.Comment: 8 pages, 9 figure

Automated verification of shape, size and bag properties.

In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that are mostly based on fixed sets of predicates. To improve expressivity, we have proposed a prover that can automatically handle user-defined predicates. These shape predicates allow programmers to describe a wide range of data structures with their associated size properties. In the current work, we shall enhance this prover by providing support for a new type of constraints, namely bag (multi-set) constraints. With this extension, we can capture the reachable nodes (or values) inside a heap predicate as a bag constraint. Consequently, we are able to prove properties about the actual values stored inside a data structure

Open-independent, Open-locating-dominating Sets

A distinguishing set for a graph G = (V, E) is a dominating set D, each vertex $v \in D$ being the location of some form of a locating device, from which one can detect and precisely identify any given "intruder" vertex in V(G). As with many applications of dominating sets, the set $D$ might be required to have a certain property for <D>, the subgraph induced by D (such as independence, paired, or connected). Recently the study of independent locating-dominating sets and independent identifying codes was initiated. Here we introduce the property of open-independence for open-locating-dominating sets

The ferroelectric Mott-Hubbard phase of organic (TMTTF)2X conductors

We present experimental evidences for a ferro-electric transition in the family of quasi one- dimensional conductors (TMTTF)2X. We interpret this new transition in the frame of the combined Mott-Hubbard state taking into account the double action of the spontaneous charge disproportionation on the TMTTF molecular stacks and of the X anionic potentials