Completeness and properness of refinement operators in inductive logic programming

AbstractWithin Inductive Logic Programming, refinement operators compute a set of specializations or generalizations of a clause. They are applied in model inference algorithms to search in a quasi-ordered set for clauses of a logical theory that consistently describes an unknown concept. Ideally, a refinement operator is locally finite, complete, and proper. In this article we show that if an element in a quasi-ordered set 〈S, ≥〉 has an infinite or incomplete cover set, then an ideal refinement operator for 〈S, ≥〉 does not exist. We translate the nonexistence conditions to a specific kind of infinite ascending and descending chains and show that these chains exist in unrestricted sets of clauses that are ordered by θ-subsumption. Next we discuss how the restriction to a finite ordered subset can enable the construction of ideal refinement operators. Finally, we define an ideal refinement operator for restricted θ-subsumption ordered sets of clauses

Nonexistence of marginally trapped surfaces and geons in 2+1 gravity

We use existence results for Jang's equation and marginally outer trapped surfaces (MOTSs) in 2+1 gravity to obtain nonexistence of geons in 2+1 gravity. In particular, our results show that any 2+1 initial data set, which obeys the dominant energy condition with cosmological constant \Lambda \geq 0 and which satisfies a mild asymptotic condition, must have trivial topology. Moreover, any data set obeying these conditions cannot contain a MOTS. The asymptotic condition involves a cutoff at a finite boundary at which a null mean convexity condition is assumed to hold; this null mean convexity condition is satisfied by all the standard asymptotic boundary conditions. The results presented here strengthen various aspects of previous related results in the literature. These results not only have implications for classical 2+1 gravity but also apply to quantum 2+1 gravity when formulated using Witten's solution space quantization.Comment: v3: Elements from the original two proofs of the main result have been combined to give a single proof, thereby circumventing an issue with the second proof associated with potential blow-ups of solutions to Jang's equation. To appear in Commun. Math. Phy

Quantum Ballistic Evolution in Quantum Mechanics: Application to Quantum Computers

Quantum computers are important examples of processes whose evolution can be described in terms of iterations of single step operators or their adjoints. Based on this, Hamiltonian evolution of processes with associated step operators $T$ is investigated here. The main limitation of this paper is to processes which evolve quantum ballistically, i.e. motion restricted to a collection of nonintersecting or distinct paths on an arbitrary basis. The main goal of this paper is proof of a theorem which gives necessary and sufficient conditions that T must satisfy so that there exists a Hamiltonian description of quantum ballistic evolution for the process, namely, that T is a partial isometry and is orthogonality preserving and stable on some basis. Simple examples of quantum ballistic evolution for quantum Turing machines with one and with more than one type of elementary step are discussed. It is seen that for nondeterministic machines the basis set can be quite complex with much entanglement present. It is also proved that, given a step operator T for an arbitrary deterministic quantum Turing machine, it is decidable if T is stable and orthogonality preserving, and if quantum ballistic evolution is possible. The proof fails if T is a step operator for a nondeterministic machine. It is an open question if such a decision procedure exists for nondeterministic machines. This problem does not occur in classical mechanics.Comment: 37 pages Latexwith 2 postscript figures tar+gzip+uuencoded, to be published in Phys. Rev.

General non-existence theorem for phase transitions in one-dimensional systems with short range interactions, and physical examples of such transitions

We examine critically the issue of phase transitions in one-dimensional systems with short range interactions. We begin by reviewing in detail the most famous non-existence result, namely van Hove's theorem, emphasizing its hypothesis and subsequently its limited range of applicability. To further underscore this point, we present several examples of one-dimensional short ranged models that exhibit true, thermodynamic phase transitions, with increasing level of complexity and closeness to reality. Thus having made clear the necessity for a result broader than van Hove's theorem, we set out to prove such a general non-existence theorem, widening largely the class of models known to be free of phase transitions. The theorem is presented from a rigorous mathematical point of view although examples of the framework corresponding to usual physical systems are given along the way. We close the paper with a discussion in more physical terms of the implications of this non-existence theorem.Comment: Short comment on possible generalization to wider classes of systems added; accepted for publication in Journal of Statistical Physic

非線形放物型問題の解の存在･非存在

要約のみTohoku University岡部真也課