QCSP on partially reflexive forests

We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over partially reflexive forests. We obtain a complexity-theoretic dichotomy: QCSP(H) is either in NL or is NP-hard. The separating condition is related firstly to connectivity, and thereafter to accessibility from all vertices of H to connected reflexive subgraphs. In the case of partially reflexive paths, we give a refinement of our dichotomy: QCSP(H) is either in NL or is Pspace-complete

Approximation by point potentials in a magnetic field

We discuss magnetic Schrodinger operators perturbed by measures from the generalized Kato class. Using an explicit Krein-like formula for their resolvent, we prove that these operators can be approximated in the strong resolvent sense by magnetic Schrodinger operators with point potentials. Since the spectral problem of the latter operators is solvable, one in fact gets an alternative way to calculate discrete spectra; we illustrate it by numerical calculations in the case when the potential is supported by a circle.Comment: 16 pages, 2 eps figures, submitted to J. Phys.

Atlas.txt : Exploring Lingusitic Grounding Techniques for Communicating Spatial Information to Blind Users

Peer reviewedPostprin