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.

Entanglement as a signature of quantum chaos

We explore the dynamics of entanglement in classically chaotic systems by considering a multiqubit system that behaves collectively as a spin system obeying the dynamics of the quantum kicked top. In the classical limit, the kicked top exhibits both regular and chaotic dynamics depending on the strength of the chaoticity parameter $\kappa$ in the Hamiltonian. We show that the entanglement of the multiqubit system, considered for both bipartite and pairwise entanglement, yields a signature of quantum chaos. Whereas bipartite entanglement is enhanced in the chaotic region, pairwise entanglement is suppressed. Furthermore, we define a time-averaged entangling power and show that this entangling power changes markedly as $\kappa$ moves the system from being predominantly regular to being predominantly chaotic, thus sharply identifying the edge of chaos. When this entangling power is averaged over initial states, it yields a signature of global chaos. The qualitative behavior of this global entangling power is similar to that of the classical Lyapunov exponent.Comment: 8 pages, 8 figure

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

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

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

Peierls Instabilities in Quasi-One-Dimensional Quantum Double-Well Chains

Peierls-type instabilities in quarter-filled ($\bar{n}=1/2$) and half-filled ($\bar{n}=1$) quantum double-well hydrogen-bonded chain are investigated analytically in the framework of two-stage orientational-tunnelling model with additional inclusion of the interactions of protons with two different optical phonon branches. It is shown that when the energy of proton-phonon coupling becomes large, the system undergoes a transition to a various types of insulator states. The influence of two different transport amplitudes on ground states properties is studied. The results are compared with the pressure effect experimental investigations in superprotonic systems and hydrogen halides at low temperatures.Comment: 7 pages, RevTeX, 9 eps figure

Spurious modes in extended RPA theories

Necessary conditions that the spurious state associated with the translational motion and its double-phonon state have zero excitation energy in extended RPA (ERPA) theories which include both one-body and two-body amplitudes are investigated using the small amplitude limit of the time-dependent density-matrix theory (STDDM). STDDM provides us with a quite general form of ERPA as compared with other similar theories in the sense that all components of one-body and two-body amplitudes are taken into account. Two conditions are found necessary to guarantee the above property of the single and double spurious states: The first is that no truncation in the single-particle space should be made. This condition is necessary for the closure relation to be used and is common for the single and double spurious states. The second depends on the mode. For the single spurious state all components of the one-body amplitudes must be included, and for the double spurious state all components of one-body and two-body amplitudes have to be included. It is also shown that the Kohn theorem and the continuity equations for transition densities and currents hold under the same conditions as the spurious states. ERPA theories formulated using the Hartree-Fock ground state have a non-hermiticity problem. A method for formulating ERPA with hermiticity is also proposed using the time-dependent density-matrix formalism.Comment: 15 page

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