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

Spectro-microscopy of single and multi-layer graphene supported by a weakly interacting substrate

We report measurements of the electronic structure and surface morphology of exfoliated graphene on an insulating substrate using angle-resolved photoemission and low energy electron diffraction. Our results show that although exfoliated graphene is microscopically corrugated, the valence band retains a massless fermionic dispersion, with a Fermi velocity of ~10^6 m/s. We observe a close relationship between the morphology and electronic structure, which suggests that controlling the interaction between graphene and the supporting substrate is essential for graphene device applications.Comment: 10 pages of text, 4 JPEG figure

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

Ghost Busting: PT-Symmetric Interpretation of the Lee Model

The Lee model was introduced in the 1950s as an elementary quantum field theory in which mass, wave function, and charge renormalization could be carried out exactly. In early studies of this model it was found that there is a critical value of g^2, the square of the renormalized coupling constant, above which g_0^2, the square of the unrenormalized coupling constant, is negative. Thus, for g^2 larger than this critical value, the Hamiltonian of the Lee model becomes non-Hermitian. It was also discovered that in this non-Hermitian regime a new state appears whose norm is negative. This state is called a ghost state. It has always been assumed that in this ghost regime the Lee model is an unacceptable quantum theory because unitarity appears to be violated. However, in this regime while the Hamiltonian is not Hermitian, it does possess PT symmetry. It has recently been discovered that a non-Hermitian Hamiltonian having PT symmetry may define a quantum theory that is unitary. The proof of unitarity requires the construction of a new time-independent operator called C. In terms of C one can define a new inner product with respect to which the norms of the states in the Hilbert space are positive. Furthermore, it has been shown that time evolution in such a theory is unitary. In this paper the C operator for the Lee model in the ghost regime is constructed exactly in the V/N-theta sector. It is then shown that the ghost state has a positive norm and that the Lee model is an acceptable unitary quantum field theory for all values of g^2.Comment: 20 pages, 9 figure

Relationship between spatial proximity and travel-to-work distance : the effect of the compact city

In this paper, an assessment is made of the relationship between selected aspects of spatial proximity (density, diversity, minimum commuting distance, jobs-housing balance and job accessibility) and reported commuting distances in Flanders (Belgium). Results show that correlations may depend on the considered trip end. For example, a high residential density, a high degree of spatial diversity and a high level of job accessibility are all associated with a short commute by residents, while a high job density is associated with a long commute by employees. A jobs-housing balance close to one is associated with a short commute, both by residents and by employees. In general, it appears that the alleged sustainability benefits of the compact city model are still valid in a context of continuously expanding commuting trip lengths

Dietary elimination of children with food protein induced gastrointestinal allergy – micronutrient adequacy with and without a hypoallergenic formula?

Background: The cornerstone for management of Food protein-induced gastrointestinal allergy (FPGIA) is dietary exclusion; however the micronutrient intake of this population has been poorly studied. We set out to determine the dietary intake of children on an elimination diet for this food allergy and hypothesised that the type of elimination diet and the presence of a hypoallergenic formula (HF) significantly impacts on micronutrient intake. Method: A prospective observational study was conducted on children diagnosed with FPIGA on an exclusion diet who completed a 3 day semi-quantitative food diary 4 weeks after commencing the diet. Nutritional intake where HF was used was compared to those without HF, with or without a vitamin and mineral supplement (VMS). Results: One-hundred-and-five food diaries were included in the data analysis: 70 boys (66.7%) with median age of 21.8 months [IQR: 10 - 67.7]. Fifty-three children (50.5%) consumed a HF and the volume of consumption was correlated to micronutrient intake. Significantly (p <0.05) more children reached their micronutrient requirements if a HF was consumed. In those without a HF, some continued not to achieve requirements in particular for vitamin D and zinc, in spite of VMS. Conclusion: This study points towards the important micronutrient contribution of a HF in children with FPIGA. Children, who are not on a HF and without a VMS, are at increased risk of low intakes in particular vitamin D and zinc. Further studies need to be performed, to assess whether dietary intake translates into actual biological deficiencies