arXiv research

Every infinitely edge-connected graph has a minor of Farey graph or $T_{\aleph_0}\ast t$.

We classify all order one invariants of immersions of a closed orientable surface F into R^3, with values in an arbitrary Abelian group G. We show that for any F and G and any regular homotopy class A of immersions of F into R^3, the group of all order one invariants on A is isomorphic to G^\aleph_0 \oplus B \oplus B w…

Enhances visual explanations with logical rules for complex concepts.

A* is a popular path-finding algorithm, but it can only be applied to those domains where a good heuristic function is known. Inspired by recent methods combining Deep Neural Networks (DNNs) and trees, this study demonstrates how to train a heuristic represented by a DNN and combine it with A*. This new algorithm which…

It is known that the long line supports $2^{\aleph_1}$ many non-diffeomorphic differential structures. We show that the long plane supports a similar number of exotic differential structures, ie structures which are not merely diffeomorphic to the product of two structures on the factor spaces.

We propose a new condition $\aleph$ which enables to get new results on integrable geodesic flows on closed surfaces. This paper has two parts. In the first, we strengthen Kozlov's theorem on non-integrability on surfaces of higher genus. In the second, we study integrable geodesic flows on 2-torus. Our main result for…

We present some explicit constructions of universal R-trees with applications to the asymptotic geometry of hyperbolic spaces. In particular, we show that any asymptotic cone of a complete simply connected manifold of negative curvature is a complete homogeneous R-tree with the valency $2^{\aleph_0}$ at every point. It…

We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem. In the HUIM problem, feature values and their importance are treated as transactions and util…

We present a heuristic based algorithm to induce \textit{nonmonotonic} logic programs that will explain the behavior of XGBoost trained classifiers. We use the technique based on the LIME approach to locally select the most important features contributing to the classification decision. Then, in order to explain the mo…

We investigate the fundamental group of Griffiths' space, and the first singular homology group of this space and of the Hawaiian Earring by using (countable) reduced tame words. We prove that two such words represent the same element in the corresponding group if and only if they can be carried to the same tame word b…

We investigate the dynamics of semigroups generated by a family of polynomial maps on the Riemann sphere such that the postcritical set in the complex plane is bounded. The Julia set of such a semigroup may not be connected in general. We show that for such a polynomial semigroup, if $A$ and $B$ are two connected compo…

IGGP learns game rules from varying quality game play, finding no overall trend.