arXiv research

This paper classifies curves in genus two handlebodies.

This paper classifies knots with simple curves in genus 2 handlebodies.

For a virtual knot $K$ and an integer $r\geq 0$, the $r$-covering $K^{(r)}$ is defined by using the indices of chords on a Gauss diagram of $K$. In this paper, we prove that for any finite set of virtual knots $J_0,J_2,J_3,\dots,J_m$, there is a virtual knot $K$ such that $K^{(r)}=J_r$ $(r=0\mbox{ and }2\leq r\leq m)$,…

In this paper we give a description of the possible limit sets of finitely generated subgroups of irreducible lattices in $PSL(2,R)^r$.

Let (M,d) be a metric space. For 0<r<R, and p in M let G(p,r,R) be the group obtained by considering all loops based at p whose image is contained in the closed ball of radius r and identifying two loops if there is a homotopy betweeen them that is contained in the open ball of radius R. In this paper we study the asym…

A specific type of knot has a petal number of 2r+3.

We provide examples of finitely generated infinite covolume subgroups of $PSL(2,R)^r$ with a "big" limit set, e.g. that contains an open subset of the geometric boundary. They are given by the so called semi-arithmetic Fuchsian groups admitting modular embeddings.

We rewrite the recently proposed differential expansion formula for HOMFLY polynomials of the knot $4_1$ in arbitrary rectangular representation $R=[r^s]$ as a sum over all Young sub-diagrams $λ$ of $R$ with extraordinary simple coefficients $D_{λ^{tr}}(r)\cdot D_λ(s)$ in front of the $Z$-factors. Somewhat miraculously…

The difference tensor C.R - R.C of Einstein manifolds, some quasi-Einstein manifolds and Roter type manifolds, of dimension n > 3, satisfy the following curvature condition: (A) C.R - R.C = Q(S,C) - (k /(n-1)) Q(g,C). We investigate hypersurfaces M in space forms N satisfying (A). The main result states that if the ten…

We study the quasi-local energy (QLE) and the surface geometry for Kerr spacetime in the Boyer-Lindquist coordinates without taking the slow rotation approximation. We also consider in the region $r\leq2m$, which is inside the ergosphere. For a certain region, $r>r_{k}(a)$, the Gaussian curvature of the surface with co…

We solve the conjecture by R. Fenn, C. Rourke and B. Sanderson that the rack homology of dihedral quandles satisfies H_3^R(R_p) = Z \oplus Z_p for p odd prime. We also show that H_n^R(R_p) contains Z_p for n>2. Furthermore, we show that the torsion of H_n^R(R_3) is annihilated by 3. We also prove that the quandle homol…

We study the problem of "isotropically rounding" a polytope $K\subset\mathbb{R}^n$, that is, computing a linear transformation which makes the uniform distribution on the polytope have roughly identity covariance matrix. We assume $K$ is defined by $m$ linear inequalities, with guarantee that $rB\subset K\subset RB$, w…

We prove that the group D^r(R) of C^r diffeomorphisms of the real line, endowed with the compact-open and Whitney C^r topologies, is bihomeomorphic to the group H(R) of homeomorphisms of the real line endowed with the compact-open and Whitney topologies. This implies that the diffeomorphism group D^r(R) endowed with th…

While lattices in semi-simple Lie groups are studied very well, only little is known about discrete subgroups of infinite covolume. The main class of examples are Schottky groups. Here we investigate some new examples. We consider subgroups $Γ$ of arithmetic groups in $PSL(2,C)^q \times PSL(2,R)^r$ with $q+r>1$ and the…

For a convex domain $D$ bounded by the hypersurface $\partial D$ in a space of constant curvature we give sharp bounds on the width $R-r$ of a spherical shell with radii $R$ and $r$ that can enclose $\partial D$, provided that normal curvatures of $\partial D$ are pinched by two positive constants. Furthermore, in the …

Constructs surfaces with constant mean curvature in Schwarzschild spacetime near null infinity.

We will give a new proof of a recent result of P.~Daskalopoulos, G.Huisken and J.R.King ([DH] and reference [7] of [DH]) on the existence of self-similar solution of the inverse mean curvature flow which is the graph of a radially symmetric solution in $\mathbb{R}^n$, $n\ge 2$, of the form $u(x,t)=e^{λt}f(e^{-λt} x)$ f…

Study Lie bialgebra structures on flat metric Lie algebras, leading to explicit Poisson-Lie groups.

No 5D aspherical manifolds can have uniformly positive scalar curvature.

In a flat space, the global topology of comoving space can induce a weak acceleration effect similar to dark energy. Does a similar effect occur in the case of the Poincare dodecahedral space S^3/I^*? Does the effect distinguish the Poincare space from other well-proportioned spaces? The residual acceleration effect in…

PrecGD restores linear convergence in over-parameterized nonconvex matrix factorization.

In this paper, we investigate the sample size requirement for exact recovery of a high order tensor of low rank from a subset of its entries. We show that a gradient descent algorithm with initial value obtained from a spectral method can, in particular, reconstruct a ${d\times d\times d}$ tensor of multilinear ranks $…

Sharp Hölder regularity found for complex Frobenius theorem coordinates.

Our aim in this paper is to give some examples of $(a, 1)f$ Riemannian structures (a generalization of an $r$-paracontact structure) induced on product of spheres of codimension $r$ ($r \in \{1,2\}$) in an $m$-dimensional Euclidean space ($m>2$), endowed with an almost product structure.

We determine the centralizers of certain isomorphic copies of spin subalgebras $\mathfrak{spin}(r)$ in $\mathfrak{so}(d_rm)$, where $d_r$ is the dimension of a real irreducible representation of $Cl_r^0$, the even Clifford algebra determined by the positive definite inner product on $\mathbb{R}^r$, where $r, m\in\mathb…

Let $π:\mathbb{P}(\mathcal{O}(0)\oplus \mathcal{O}(k))\to \mathbb{P}^{n-1}$ be a projective bundle over $\mathbb{P}^{n-1}$ with $1\leq k \leq n-1$. In this paper, we show that lens space $L(k\, ;1)(r)$ with radius $r$ embedded in $\mathbb{P}(\mathcal{O}(0)\oplus \mathcal{O}(k))$ is a self-similar solution, where $\math…

The tori $T_r = r S^1 \times s S^1 \subset S^3$, where $r^2 + s^2 = 1$, are constrained Willmore surfaces, i.e. critical points of the Willmore functional among tori of the same conformal type. We compute which of the $T_r$ are stable critical points.

Using Kirby Calculus, we explicitly pass from Berge's R-R descriptions of ten families of knots with lens space surgeries to surgery descriptions on the minimally twisted five chain link (MT5C). Since the MT5C admits a strong involution, we also give the corresponding tangle descriptions.

As part of his celebrated Complex Frobenius Theorem, Nirenberg showed that given a smooth elliptic structure (on a smooth manifold), the manifold is locally diffeomorphic to an open subset of $\mathbb{R}^r\times \mathbb{C}^n$ (for some $r$ and $n$) in such a way that the structure is locally the span of $\frac{\partial…

As a new step in the study of rectangularly-colored knot polynomials, we reformulate the prescription of arXiv:1606.06015 for twist knots in the double-column representations $R=[rr]$ in terms of skew Schur polynomials. These, however, are mysteriously shifted from the standard topological locus, what makes further gen…

Let $(M,Ω)$ be a closed $8$-dimensional manifold equipped with a generically non-integrable $\mathrm{Spin}(7)$-structure $Ω$. We prove that if $\mathrm{Hom}(H^{3}(M,\mathbb{Z}), \mathbb{Z}_{2}) = 0$ then the moduli space of irreducible $\mathrm{Spin}(7)$-instantons on $(M,Ω)$ with gauge group $\mathrm{SU}(r)$, $r\geq 2…

We study the AJ conjecture that relates the A-polynomial and the colored Jones polynomial of a knot in $S^3$. We confirm the AJ conjecture for $(r,2)$-cables of the $m$-twist knot, for all odd integers $r$ satisfying $\begin{cases} (r+8)(r-8m)>0 &{if~} m> 0, \\ r(r+8m-4)>0 &{if~} m<0.\end{cases}$

For M_r = #_r(S^p \times S^p), p=3, 7, we calculate the group of isotopy classes of orientation preserving diffeomorphisms of $M_r$ modulo isotopy classes with representatives which are the identity outside a 2p-disc and also the group of homotopy classes of orientation preserving homotopy equivalences of M_r.

In this work, we show how to obtain for non-compact manifolds the results that have already been done for Monge Transport Problem for costs coming from Tonelli Lagrangians on compact manifolds. In particular, the already known results for a cost of the type $d^r,r>1$, where $d$ is the Riemannian distance of a complete …

Using the virtual fibering theorem of Agol we show that a sutured 3-manifold $(M, R_+,R_-,γ)$ is taut if and only if the $\ell^2$-Betti numbers of the pair $(M,R_-)$ are zero. As an application we can characterize Thurston norm minimizing surfaces in a 3-manifold $N$ with empty or toroidal boundary by the vanishing of …

The paper refines transformations of lattice diagrams and introduces dotted diagrams.

Gradient descent with preconditioning finds global optima in overparameterized nonconvex factorization.

Typical existence result on Ricci-flat metrics is in manifolds of finite geometry, that is, on $F=\bar F-D$ where $\bar F$ is a compact Kähler manifold and $D$ is a smooth divisor. We view this existence problem from a different perspective. For a given complex manifold $X$, we take a suitable exhaustion $\{X_r\}_{r>0}…

This note explains how to transform Heegaard diagrams into framed link diagrams.

Existence of singular gradient Ricci solitons proved in higher dimensions.

For Hitchin's generalised geometries we introduce and analyse the concept of a structured submanifold which encapsulates the classical notion of a calibrated submanifold. Under a suitable integrability condition on the ambient geometry, these generalised calibrated cycles minimise a functional occurring as D-brane ener…

New minimal link diagrams found, including torus links and homogeneous ones.

Lomonaco and Kauffman introduced knot mosaic system to give a definition of quantum knot system. This definition is intended to represent an actual physical quantum system. A knot $(m,n)$-mosaic is an $m \times n$ matrix of mosaic tiles which are $T_0$ through $T_{10}$ depicted as below, representing a knot or a link b…

Algorithm converts Kirby diagrams to trisection diagrams for 4-manifolds.

Kernelized Taylor diagram visualizes data populations with fewer assumptions.

A virtual link diagram is called normal if the associated abstract link diagram is checkerboard colorable, and a virtual link is normal if it has a normal diagram as a representative.In this paper, we introduce a method of converting a virtual link diagram to a normal virtual link diagram by use of the double covering …

Study categorizes knots and links as rigid or shaky based on Reidemeister moves.

Twisted graph diagrams are virtual graph diagrams with bars on edges. A bijection between abstract graph diagrams and twisted graph diagrams is constructed. Then a polynomial invariant of Yamada-type is developed which provides a lower bound for the virtual crossing number of virtual graph diagrams.