Modal Logics of Topological Relations

Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity

Current conservation in two-dimensional AC-transport

The electric current conservation in a two-dimensional quantum wire under a time dependent field is investigated. Such a conservation is obtained as the global density of states contribution to the emittance is balanced by the contribution due to the internal charge response inside the sample. However when the global partial density of states is approximately calculated using scattering matrix only, correction terms are needed to obtain precise current conservation. We have derived these corrections analytically using a specific two-dimensional system. We found that when the incident energy $E$ is near the first subband, our result reduces to the one-dimensional result. As $E$ approaches to the $n$-th subband with $n>1$, the correction term diverges. This explains the systematic deviation to precise current conservation observed in a previous numerical calculation.Comment: 12 pages Latex, submitted to Phys. Rev.

Search for WW and WZ production in lepton plus jets final state at CDF

We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in sqrt(s) = 1.96 TeV ppbar collisions at the Fermilab Tevatron, using data corresponding to 1.2 fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of sigma_{WW}* BR(W->lnu,W->jets)+ sigma_{WZ}*BR(W->lnu,Z->jets)We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in √s=1.96  TeV pp̅ collisions at the Fermilab Tevatron, using data corresponding to 1.2  fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of σWW×BR(W→ℓνℓ,W→jets)+σWZ×BR(W→ℓνℓ,Z→jets)<2.88  pb, which is consistent with the standard model next-to-leading-order cross section calculation for this decay channel of 2.09±0.12  pb.Peer reviewe

Photometric redshifts for the Kilo-Degree Survey. Machine-learning analysis with artificial neural networks

We present a machine-learning photometric redshift analysis of the Kilo-Degree Survey Data Release 3, using two neural-network based techniques: ANNz2 and MLPQNA. Despite limited coverage of spectroscopic training sets, these ML codes provide photo-zs of quality comparable to, if not better than, those from the BPZ code, at least up to zphot<0.9 and r<23.5. At the bright end of r<20, where very complete spectroscopic data overlapping with KiDS are available, the performance of the ML photo-zs clearly surpasses that of BPZ, currently the primary photo-z method for KiDS. Using the Galaxy And Mass Assembly (GAMA) spectroscopic survey as calibration, we furthermore study how photo-zs improve for bright sources when photometric parameters additional to magnitudes are included in the photo-z derivation, as well as when VIKING and WISE infrared bands are added. While the fiducial four-band ugri setup gives a photo-z bias $\delta z=-2e-4$ and scatter $\sigma_z<0.022$ at mean z = 0.23, combining magnitudes, colours, and galaxy sizes reduces the scatter by ~7% and the bias by an order of magnitude. Once the ugri and IR magnitudes are joined into 12-band photometry spanning up to 12 $\mu$, the scatter decreases by more than 10% over the fiducial case. Finally, using the 12 bands together with optical colours and linear sizes gives $\delta z<4e-5$ and $\sigma_z<0.019$. This paper also serves as a reference for two public photo-z catalogues accompanying KiDS DR3, both obtained using the ANNz2 code. The first one, of general purpose, includes all the 39 million KiDS sources with four-band ugri measurements in DR3. The second dataset, optimized for low-redshift studies such as galaxy-galaxy lensing, is limited to r<20, and provides photo-zs of much better quality than in the full-depth case thanks to incorporating optical magnitudes, colours, and sizes in the GAMA-calibrated photo-z derivation.Comment: A&A, in press. Data available from the KiDS website http://kids.strw.leidenuniv.nl/DR3/ml-photoz.php#annz

Magnetic Properties of Ab initio Model for Iron-Based Superconductors LaFeAsO

By using variational Monte Carlo method, we examine an effective low-energy model for LaFeAsO derived from an ab initio downfolding scheme. We show that quantum and many-body fluctuations near a quantum critical point largely reduce the antiferromagnetic (AF) ordered moment and the model not only quantitatively reproduces the small ordered moment in LaFeAsO, but also explains the diverse dependence on LaFePO, BaFe2As2 and FeTe. We also find that LaFeAsO is under large orbital fluctuations, sandwiched by the AF Mott insulator and weakly correlated metals. The orbital fluctuations and Dirac-cone dispersion hold keys for the diverse magnetic properties.Comment: 4 pages, 4 figure

Sorption and fractionation of dissolved organic matter and associated phosphorus in agricultural soil

Molibility of dissolved organic matter (DOM) strongly affects the export of nitrogen (N) and phosphorus (P) from oils to surface waters. To study the sorption an mobility of dissolved organic C and P (DOC, DOP) in soil, the pH-dependent sorption of DOM to samples from Ap, EB, and Bt horizons from a Danish agircultural Humic Hapludult was investigated and a kinetic model applicable in field-scale model tested. Sorption experiments of 1 to 72 h duration were conducted at two pH levels (pH 5.0 and 7.0) and six initial DOC concentrtions (0-4.7 mmol L-1). Most sorption/desorption occurred during the first few hours. Dissolved organic carbon and DOP sorption decreased strongly with increased pH and desorption dominated at pH 7, especially for DOC. Due to fractionation during DOM sorption/desorption at DOC concentrations up to 2 mmol L-1, the solution fraction of DOM was enriched in P indicating preferred leaching of DOP. The kinetics of sorption was expressed as a function of how far the solution DOC or DOP concentrations deviate from "equilibrium". The model was able to simulate the kinetics of DOC and DOP sorption/desorption at all concentrations investigated and at both pH levels making it useful for incorporation in field-scale models for quantifying DOC and DOP dynamics

Facilitating the analysis of a UK national blood service supply chain using distributed simulation

In an attempt to investigate blood unit ordering policies, researchers have created a discrete-event model of the UK National Blood Service (NBS) supply chain in the Southampton area of the UK. The model has been created using Simul8, a commercial-off-the-shelf discrete-event simulation package (CSP). However, as more hospitals were added to the model, it was discovered that the length of time needed to perform a single simulation severely increased. It has been claimed that distributed simulation, a technique that uses the resources of many computers to execute a simulation model, can reduce simulation runtime. Further, an emerging standardized approach exists that supports distributed simulation with CSPs. These CSP Interoperability (CSPI) standards are compatible with the IEEE 1516 standard The High Level Architecture, the defacto interoperability standard for distributed simulation. To investigate if distributed simulation can reduce the execution time of NBS supply chain simulation, this paper presents experiences of creating a distributed version of the CSP Simul8 according to the CSPI/HLA standards. It shows that the distributed version of the simulation does indeed run faster when the model reaches a certain size. Further, we argue that understanding the relationship of model features is key to performance. This is illustrated by experimentation with two different protocols implementations (using Time Advance Request (TAR) and Next Event Request (NER)). Our contribution is therefore the demonstration that distributed simulation is a useful technique in the timely execution of supply chains of this type and that careful analysis of model features can further increase performance

Mean Interplanetary Magnetic Field Measurement Using the ARGO-YBJ Experiment

The sun blocks cosmic ray particles from outside the solar system, forming a detectable shadow in the sky map of cosmic rays detected by the ARGO-YBJ experiment in Tibet. Because the cosmic ray particles are positive charged, the magnetic field between the sun and the earth deflects them from straight trajectories and results in a shift of the shadow from the true location of the sun. Here we show that the shift measures the intensity of the field which is transported by the solar wind from the sun to the earth.Comment: 6 papges,3 figure

Effects of boundary conditions on magnetization switching in kinetic Ising models of nanoscale ferromagnets

Magnetization switching in highly anisotropic single-domain ferromagnets has been previously shown to be qualitatively described by the droplet theory of metastable decay and simulations of two-dimensional kinetic Ising systems with periodic boundary conditions. In this article we consider the effects of boundary conditions on the switching phenomena. A rich range of behaviors is predicted by droplet theory: the specific mechanism by which switching occurs depends on the structure of the boundary, the particle size, the temperature, and the strength of the applied field. The theory predicts the existence of a peak in the switching field as a function of system size in both systems with periodic boundary conditions and in systems with boundaries. The size of the peak is strongly dependent on the boundary effects. It is generally reduced by open boundary conditions, and in some cases it disappears if the boundaries are too favorable towards nucleation. However, we also demonstrate conditions under which the peak remains discernible. This peak arises as a purely dynamic effect and is not related to the possible existence of multiple domains. We illustrate the predictions of droplet theory by Monte Carlo simulations of two-dimensional Ising systems with various system shapes and boundary conditions.Comment: RevTex, 48 pages, 13 figure

Precision Measurement of The Most Distant Spectroscopically Confirmed Supernova Ia with the Hubble Space Telescope

We report the discovery of a redshift 1.71 supernova in the GOODS North field. The Hubble Space Telescope (HST) ACS spectrum has almost negligible contamination from the host or neighboring galaxies. Although the rest frame sampled range is too blue to include any Si ii line, a principal component analysis allows us to confirm it as a Type Ia supernova with 92% confidence. A recent serendipitous archival HST WFC3 grism spectrum contributed a key element of the confirmation by giving a host-galaxy redshift of 1.713 +/- 0.007. In addition to being the most distant SN Ia with spectroscopic confirmation, this is the most distant Ia with a precision color measurement. We present the ACS WFC and NICMOS 2 photometry and ACS and WFC3 spectroscopy. Our derived supernova distance is in agreement with the prediction of LambdaCDM.Comment: 13 pages, 6 figures, published in ApJ with updated analysi