Related papers: Hyperbolic Minesweeper is in P
We prove that if a closed hyperbolic 3-manifold M contains infinitely many totally geodesic surfaces, then M is arithmetic.
The goal of this paper is to prove that several variants of deciding whether a poset can be (weakly) embedded into a small Boolean lattice, or to a few consecutive levels of a Boolean lattice, are NP-complete, answering a question of Griggs…
We show that every plumbing of disc bundles over surfaces whose genera satisfy a simple inequality may be embedded as a convex submanifold in some closed hyperbolic four-manifold. In particular its interior has a geometrically finite…
We show that $S^n \vee S^m$ is $\mathbb{Z}/p^r$-hyperbolic for all primes $p$ and all $r \in \mathbb{Z}^+$, provided $n,m \geq 2$, and consequently that various spaces containing $S^n \vee S^m$ as a $p$-local retract are…
Deciding the existence of an $l\times m\times n$ integer threeway table with given line-sums is NP-complete already for fixed $l=3$, but is in P with both $l,m$ fixed. Here we consider {\em huge} tables, where the variable dimension $n$ is…
A hyperbolic conjugacy class in the modular group PSL(2,Z) corresponds to a closed geodesic in the modular orbifold. Some of these geodesics virtually bound immersed surfaces, and some do not; the distinction is related to the polyhedral…
${ NP}$-complete problem "Hamiltonian cycle"\ for graph $G=(V,E)$ is extended to the "Hamiltonian Complement of the Graph"\ problem of finding the minimal cardinality set $H$ containing additional edges so that graph $G=(V,E\cup H)$ is…
We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally…
Recently, there has been a rising surge of momentum for deep representation learning in hyperbolic spaces due to theirhigh capacity of modeling data like knowledge graphs or synonym hierarchies, possessing hierarchical structure. We refer…
In the last section of \cite{CompHyp} it is proved that the map $\mathcal{I}$ is a finite-sheeted covering map between $\mathcal{P}$ and $\mathcal{M}$. As $\mathcal{M}$ is simply connected it is deduced that $\mathcal{I}$ is a…
In this paper we prove that under a lower bound on the Ricci curvature and an asymptotic assumption on the scalar curvature, a complete conformally compact manifold $(M^{n+1},g)$, with a pole $p$ and with the conformal infinity in the…
This paper is an introduction to the hyperbolic geometry of noncommutative polyballs B_n of bounded linear operators on Hilbert spaces. We use the theory of free pluriharmonic functions on polyballs and noncommutative Poisson kernels on…
We prove the topological entropy remains constant inside the class of partially hyperbolic diffeomorphisms of $\mathbb{T}^d$ with simple central bundle (that is, when it decomposes into one dimensional sub-bundles with controlled geometry)…
We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally…
The problem of finding the maximum-weight, planar subgraph of a finite, simple graph with nonnegative real edge weights is well known in industrial and electrical engineering, systems biology, sociology and finance. As the problem is known…
We investigate what supersymmetry says about the geometry of the moduli space of hyperbolic monopoles. We construct a three-dimensional supersymmetric Yang-Mills-Higgs theory on hyperbolic space whose half-BPS configurations coincide with…
We discuss asymptotically hyperbolic manifold with a noncompact boundary which is close to a horosphere in a certain sense. The model case is a horoball or the complement of a horoball in standard hyperbolic space. We show some geometric…
Let $G$ be a group and $H \le K \le G$. We say that $H$ is $c$-embedded in $G$ with respect to $K$ if there is a subgroup $B$ of $G$ such that $G = HB$ and $H \cap B \le Z(K)$. Given a finite group $G$, a prime number $p$ and a Sylow…
In this paper we prove the conjecture of Alexander and Currier that states, except for covering maps of equidistant surfaces in hyperbolic 3-space, a complete, nonnegatively curved immersed hypersurface in hyperbolic space is necessarily…
We show NP-completeness for several planar variants of the monotone satisfiability problem with bounded variable appearances. With one exception the presented variants have an associated bipartite graph where the vertex degree is bounded by…