Related papers: Hyperbolic Minesweeper is in P

A hyperbolic problem wich combines a classical(Dirichlet) and a non-local contraint is considered.The existence and uniqueness of strong solutions are proved,we use a functionnal analysis method based on a priori estimate and on the density…

A graph G is a (Euclidean) unit disk graph if it is the intersection graph of unit disks in the Euclidean plane $\mathbb{R}^2$. Recognizing them is known to be $\exists\mathbb{R}$-complete, i.e., as hard as solving a system of polynomial…

We wish to draw attention to an interesting and promising interaction of two theories. On the one hand, it is the theory of \textbf{pseudo-triangulations} which was useful for implicit solution of thecarpenter's rule problem and proved…

This paper considers hyperbolic wave equations with non-local in time conditions involving integrals with respect to time. It is shown that regularity of the solution can be achieved for complexified problem with integral conditions…

We establish necessary and sufficient conditions for determining when a flat manifold can occur as a cusp cross-section within a given commensurability class of cusped arithmetic hyperbolic manifolds. This reduces the problem of identifying…

Let $\Gamma$ be a finitely generated group which is hyperbolic relative to a finite family $\{H_1,...,H_n\}$ of subgroups. We prove that $\Gamma$ is uniformly embeddable in a Hilbert space if and only if each subgroup $H_i$ is uniformly…

Let $f: [0, +\infty) \to (0, +\infty)$ be a sufficiently smooth convex function, vanishing at infinity. Consider the planar domain $Q$ delimited by the positive $x$-semiaxis, the positive $y$-semiaxis, and the graph of $f$. Under certain…

For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is…

We classify the complete hyperbolic 3-manifolds admitting a maximal cusp of volume at most 2.62. We use this to show that the figure-8 knot complement is the unique 1-cusped hyperbolic 3-manifold with nine or more non-hyperbolic fillings;…

Hyperbolic spaces, which have the capacity to embed tree structures without distortion owing to their exponential volume growth, have recently been applied to machine learning to better capture the hierarchical nature of data. In this…

In this paper we propose a new approach for developing a proof that P=NP. We propose to use a polynomial-time reduction of a NP-complete problem to Linear Programming. Earlier such attempts used polynomial-time transformation which is a…

Let f be a dominant rational map of P^k such that there exists s <k, with lambda_s(f)>lambda_l(f) for all l. Under mild hypotheses, we show that, for A outside a pluripolar set of the group of automorphisms of P^k, the map f o A admits a…

An important problem in quaternionic hyperbolic geometry is to classify ordered $m$-tuples of pairwise distinct points in the closure of quaternionic hyperbolic n-space, $\overline{{\bf H}_\bh^n}$, up to congruence in the holomorphic…

Let $S$ be a surface of genus $g$ at least $2$. A representation $\rho:\pi_1S\longrightarrow \text{PSL}_2\Bbb R$ is said to be purely hyperbolic if its image consists only of hyperbolic elements other than the identity. We may wonder under…

The hyperinvariant subspace problem is solved in the setting of Hilbert and right Hamilton space, motivated by my earlier works in the invariant subspace problem.

Given a compact orientable 3-manifold M whose boundary is a hyperbolic surface and a simple closed curve C in its boundary, every knot in M is homotopic to one whose complement admits a complete hyperbolic structure with totally geodesic…

In this article, existence results concerning temporal functions with additional properties on a globally hyperbolic manifold are obtained. These properties are certain bounds on geometric quantities as lapse and shift. The results are…

We show that if a nonscalar operator on a separable Hilbert space has a nontrivial invariant subspace, then it has also a nontrivial hyperinvariant subspace. Thus the hyperinvariant subspace problem is equivalent to the invariant subspace…

We prove the well posedness of a class of non linear and non local mixed hyperbolic-parabolic systems in bounded domains, with Dirichlet boundary conditions. In view of control problems, stability estimates on the dependence of solutions on…

We prove that for a certain class of closed monotone symplectic manifolds any Hamiltonian diffeomorphism with a hyperbolic fixed point must necessarily have infinitely many periodic orbits. Among the manifolds in this class are complex…