Vicinal Surfaces and the Calogero-Sutherland Model

A miscut (vicinal) crystal surface can be regarded as an array of meandering but non-crossing steps. Interactions between the steps are shown to induce a faceting transition of the surface between a homogeneous Luttinger liquid state and a low-temperature regime consisting of local step clusters in coexistence with ideal facets. This morphological transition is governed by a hitherto neglected critical line of the well-known Calogero-Sutherland model. Its exact solution yields expressions for measurable quantities that compare favorably with recent experiments on Si surfaces.Comment: 4 pages, revtex, 2 figures (.eps

Proving termination of programs automatically with AProVE

AProVE is a system for automatic termination and complexity proofs of Java, C, Haskell, Prolog, and term rewrite systems (TRSs). To analyze programs in high-level languages, AProVE automatically converts them to TRSs. Then, a wide range of techniques is employed to prove termination and to infer complexity bounds for the resulting TRSs. The generated proofs can be exported to check their correctness using automatic certifiers. For use in software construction, we present an AProVE plug-in for the popular Eclipse software development environment

Europe-wide air pollution modeling from 2000 to 2019 using geographically weighted regression

Previous European land-use regression (LUR) models assumed fixed linear relationships between air pollution concentrations and predictors such as traffic and land use. We evaluated whether including spatially-varying relationships could improve European LUR models by using geographically weighted regression (GWR) and random forest (RF). We built separate LUR models for each year from 2000 to 2019 for NO2, O3, PM2.5 and PM10 using annual average monitoring observations across Europe. Potential predictors included satellite retrievals, chemical transport model estimates and land-use variables. Supervised linear regression (SLR) was used to select predictors, and then GWR estimated the potentially spatially-varying coefficients. We developed multi-year models using geographically and temporally weighted regression (GTWR). Five-fold cross-validation per year showed that GWR and GTWR explained similar spatial variations in annual average concentrations (average R(2) = NO2: 0.66; O3: 0.58; PM10: 0.62; PM2.5: 0.77), which are better than SLR (average R(2) = NO2: 0.61; O3: 0.46; PM10: 0.51; PM2.5: 0.75) and RF (average R(2) = NO2: 0.64; O3: 0.53; PM10: 0.56; PM2.5: 0.67). The GTWR predictions and a previously-used method of back-extrapolating 2010 model predictions using CTM were overall highly correlated (R(2) > 0.8) for all pollutants. Including spatially-varying relationships using GWR modestly improved European air pollution annual LUR models, allowing time-varying exposure-health risk models

Anisotropic susceptibility of ferromagnetic ultrathin Co films on vicinal Cu

We measure the magnetic susceptibility of ultrathin Co films with an in-plane uniaxial magnetic anisotropy grown on a vicinal Cu substrate. Above the Curie temperature the influence of the magnetic anisotropy can be investigated by means of the parallel and transverse susceptibilities along the easy and hard axes. By comparison with a theoretical analysis of the susceptibilities we determine the isotropic exchange interaction and the magnetic anisotropy. These calculations are performed in the framework of a Heisenberg model by means of a many-body Green's function method, since collective magnetic excitations are very important in two-dimensional magnets.Comment: 7 pages, 3 figure

Spatial Dynamics and Ecosystem Functioning

Ecosystem functioning is dependent upon the way species become distributed across space

A combined first and second order variational approach for image reconstruction

In this paper we study a variational problem in the space of functions of bounded Hessian. Our model constitutes a straightforward higher-order extension of the well known ROF functional (total variation minimisation) to which we add a non-smooth second order regulariser. It combines convex functions of the total variation and the total variation of the first derivatives. In what follows, we prove existence and uniqueness of minimisers of the combined model and present the numerical solution of the corresponding discretised problem by employing the split Bregman method. The paper is furnished with applications of our model to image denoising, deblurring as well as image inpainting. The obtained numerical results are compared with results obtained from total generalised variation (TGV), infimal convolution and Euler's elastica, three other state of the art higher-order models. The numerical discussion confirms that the proposed higher-order model competes with models of its kind in avoiding the creation of undesirable artifacts and blocky-like structures in the reconstructed images -- a known disadvantage of the ROF model -- while being simple and efficiently numerically solvable.Comment: 34 pages, 89 figure

Gas Dynamic Virtual Nozzle for Generation of Microscopic Droplet Streams

As shown by Ganan-Calvo and co-workers, a free liquid jet can be compressed in iameter through gas-dynamic forces exerted by a co-flowing gas, obviating the need for a solid nozzle to form a microscopic liquid jet and thereby alleviating the clogging problems that plague conventional droplet sources of small diameter. We describe in this paper a novel form of droplet beam source based on this principle. The source is miniature, robust, dependable, easily fabricated, and eminently suitable for delivery of microscopic liquid droplets, including hydrated biological samples, into vacuum for analysis using vacuum instrumentation. Monodisperse, single file droplet streams are generated by triggering the device with a piezoelectric actuator. The device is essentially immune to clogging