Related papers: Hyperbolic Minesweeper is in P

We show that the Minesweeper game is PP-hard, when the object is to locate all mines with the highest probability. When the probability of locating all mines may be infinitesimal, the Minesweeper game is even PSPACE-complete. In our…

We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a…

We present a topological proof of the existence of invariant manifolds for maps with normally hyperbolic-like properties. The proof is conducted in the phase space of the system. In our approach we do not require that the map is a…

We study three problems related to the computational complexity of the popular game Minesweeper. The first is consistency: given a set of clues, is there any arrangement of mines that satisfies it? This problem has been known to be…

In this paper we show that the Mastermind Satisfiability Problem (MSP) is NP-complete. The Mastermind is a popular game which can be turned into a logical puzzle called Mastermind Satisfiability Problem in a similar spirit to the…

We show that if P is an embedded least area (area minimizing) plane in hyperbolic 3-space whose asymptotic boundary is a simple closed curve with at least one smooth point, then P is properly embedded.

We show that the base space of a homotopy cofibration is locally hyperbolic under various conditions. In particular, if these manifolds admit a rationally elliptic closure, then almost all punctured manifolds and almost all manifolds with…

We show that for any closed surface of genus greater than one and for any finite weighted graph filling the surface, there exists a hyperbolic metric which realizes the least Dirichlet energy harmonic embedding of the graph among a fixed…

We construct examples of complete Riemannian manifolds having the property that every geodesic lies in a totally geodesic hyperbolic plane. Despite the abundance of totally geodesic hyperbolic planes, these examples are not locally…

We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. But a…

Let $M$ be a hyperbolic 3-manifold with no rank two cusps admitting an embedding in $\mathbb S^3$. Then, if $M$ admits an exhaustion by $\pi_1$-injective sub-manifolds there exists cantor sets $C_n\subset \mathbb S^3$ such that $N_n=\mathbb…

In this survey paper, we outline the proofs of the rigidity results for simple, thick, hyperbolic P-manifolds found in our three earlier papers math.GR/0506518, math.GT/0410476, and math.GR/0409586. We discuss how the arguments change in…

We generalize the classical knapsack and subset sum problems to arbitrary groups and study the computational complexity of these new problems. We show that these problems, as well as the bounded submonoid membership problem, are P-time…

For $n \ge 2$, we prove that a finite volume complex hyperbolic $n$-manifold containing infinitely many maximal properly immersed totally geodesic submanifolds of dimension at least two is arithmetic, paralleling our previous work for real…

This paper shows that the complex projective plane $\mathbb{P}^2$ can be realized as the underlying space for a closed hyperbolic $4$-orbifold. This is the first example of a closed hyperbolic $4$-orbifold whose underlying space is…

Let $M_0$ be a compact and orientable 3-manifold. After capping off spherical boundaries with balls and removing any torus boundaries, we prove that the resulting manifold $M$ contains handlebodies of arbitrary genus such that the closure…

We provide a full classification of complete maximal $p$-dimensional spacelike submanifolds in the pseudo-hyperbolic space $\mathbf{H}^{p,q}$, and we study its applications to Teichm\"uller theory and to the theory of Anosov representations…

In this note we show that there are algebraic families of hyperbolic, Fermat-Waring type hypersurfaces in P^n of degree 4(n-1)^2, for all dimensions n>1. Moreover, there are hyperbolic Fermat-Waring hypersurfaces in P^n of degree 4n^2-2n+1…

In contrast with knots, whose properties depend only on their extrinsic topology in $S^3$, there is a rich interplay between the intrinsic structure of a graph and the extrinsic topology of all embeddings of the graph in $S^3$ . For…

We show that a relatively hyperbolic graph with uniformly hyperbolic peripheral subgraphs is hyperbolic. As an application, we show that the disc graph and the electrified disc graph of a handlebody H of genus g>1 are hyperbolic, and we…