arXiv research

This paper presents a curvature-free version of the Log(2k-1) Theorem of Anderson, Canary, Culler & Shalen [ACCS96]. It generalizes a result by Hou [Hou01] and its proof is rather straightforward once we know the work by Lim [Lim08] on volume entropy for graphs. As a byproduct we obtain a curvature-free version of the …

We prove an inequality that must be satisfied by displacement of generators of free Fuchsian groups, which is the two-dimensional version of the $\log (2k-1)$ Theorem for Kleinian groups due to Anderson-Canary-Culler-Shalen. As applications, we obtain quantitative results on the geometry of hyperbolic surfaces such as …

Improved lower bounds on volumes of hyperbolic 3-manifolds with specific topologies.

We prove a rigidity theorem for the geometry of the unit ball in random subspaces of the scl norm in B_1^H of a free group. In a free group F of rank k, a random word w of length n (conditioned to lie in [F,F]) has scl(w)=log(2k-1)n/6log(n) + o(n/log(n)) with high probability, and the unit ball in a subspace spanned by…

We prove that if a link admits non-trivial (2k+1)-colorings, with prime 2k+1>7, it also admits non-trivial (2k+1)-colorings not involving colors 2k, 2k-1, nor k.

In this paper, we propose a compositional nonparametric method in which a model is expressed as a labeled binary tree of $2k+1$ nodes, where each node is either a summation, a multiplication, or the application of one of the $q$ basis functions to one of the $p$ covariates. We show that in order to recover a labeled bi…

It is known that the $(2k-1)$-sphere has at most $2^{O(n^k \log n)}$ combinatorially distinct triangulations with $n$ vertices, for every $k\ge 2$. Here we construct at least $2^{Ω(n^k)}$ such triangulations, improving on the previous constructions which gave $2^{Ω(n^{k-1})}$ in the general case (Kalai) and $2^{Ω(n^{5/…

A simplified proof for embedding higher-dimensional complexes into manifolds.

We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In parallel, any $k$-stacked polytopal sphere of dimension $d\geq 2k$ bounds a unique and c…

We determine all Ricci flat left invariant Lorentzian metrics on simply connected 2-step nilpotent Lie groups. We show that the $2k+1$-dimensional Heisenberg Lie group $H_{2k+1}$ carries a Ricci flat left invariant Lorentzian metric if and only if $k=1$. We show also that for any $2\leq q\leq k$, $H_{2k+1}$ carries a R…

New examples of 3-manifolds not obtained by surgery on knots.

For every integer $k\geq 2$, we construct infinite families of mutually nondiffeomorphic irreducible smooth structures on the topological $4$-manifolds $(2k-1)(S^2\times S^2)$ and $(2k-1)(\CP#\CPb)$, the connected sums of $2k-1$ copies of $S^2\times S^2$ and $\CP#\CPb$.

Method shows existence of conformal metrics with constant $Q$-curvature on manifolds.

In this paper we show that for a generalized Berger metric $\hat{g}$ on $S^3$ close to the round metric, the conformally compact Einstein (CCE) manifold $(M, g)$ with $(S^3, [\hat{g}])$ as its conformal infinity is unique up to isometries. For the high-dimensional case, we show that if $\hat{g}$ is an $\text{SU}(k+1)$-…

We consider a sparse linear regression model Y=Xβ^{*}+W where X has a Gaussian entries, W is the noise vector with mean zero Gaussian entries, and β^{*} is a binary vector with support size (sparsity) k. Using a novel conditional second moment method we obtain a tight up to a multiplicative constant approximation of th…

Improved sample and time complexity for identifying mixtures of product distributions.

Generalizing a result (the case $k = 1$) due to M. A. Perles, we show that any polytopal upper bound sphere of odd dimension $2k + 1$ belongs to the generalized Walkup class ${\cal K}_k(2k + 1)$, i.e., all its vertex links are $k$-stacked spheres. This is surprising since the $k$-stacked spheres minimize the face-vecto…

In this paper, we study the Khovanov homology of cable links. We first estimate the maximal homological degree term of the Khovanov homology of the ($2k+1$, $(2k+1)n$)-torus link and give a lower bound of its homological thickness. Specifically, we show that the homological thickness of the ($2k+1$, $(2k+1)n$)-torus li…

In this paper, we study rigidity problems for hypersurfaces with constant curvature quotients $\frac{\mathcal{H}_{2k+1}}{\mathcal{H}_{2k}}$ in the warped product manifolds. Here $\mathcal{H}_{2k}$ is the $k$-th Gauss-Bonnet curvature and $\mathcal{H}_{2k+1}$ arises from the first variation of the total integration of $…

The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the follow…

We show that every Sasakian manifold in dimension $2k+1$ is locally generated by a free real function of $2k$ variables. This function is a Sasakian analogue of the Kähler potential for Kähler geometry. It is also shown that every locally Sasakian-Einstein manifold in $2k+1$ dimensions is generated by a locally Kähler-…

New minimal hypersurfaces in 4D sphere found.

We compute the mapping class group of the manifolds $\sharp^g(S^{2k+1}\times S^{2k+1})$ for $k>0$ in terms of the automorphism group of the middle homology and the group of homotopy $(4k+3)$-spheres. We furthermore identify its Torelli subgroup, determine the abelianisations, and relate our results to the group of homo…

For bounded pseudoconvex domains with finite type we give a precise description of the automorphism group: if an orbit of the automorphism group accumulates on at least two different points of the boundary, then the automorphism group has finitely many components and is the almost direct product of a compact group and …

Study Euler characteristics and loop lengths in hyperbolic 3-manifolds.

Given a clover link, we construct a bottom tangle by using a disk/band surface of the clover link. Since the Milnor number is already defined for a bottom tangle, we define the Milnor number for the clover link to be the Milnor number for the bottom tangle and show that for a clover link, if Milnor numbers of length k …

Study proves non-left-orderability of 3-manifolds derived from specific knots.

The decomposition of the spinor bundle of the spin Grassmann manifolds $G_{m,n}=SO(m+n)/SO(m)\times SO(n)$ into irreducible representations of $\mathfrak{so}(m)\oplus\mathfrak{so}(n)$ is presented. A universal construction is developed and the general statement is proven for $G_{2k+1,3}$, $G_{2k,4}$, and $G_{2k+1,5}$ f…

Paper proves integrability and entropy compactness for Kähler potentials with uniform log-log threshold.

Motivated by the works of Krasner [arXiv:0801.4018] and Lobb [arXiv:1103.1412], we simplify the Khovanov-Rozansky chain complexes of open 2-braids. As an application, we show that, for a knot containing a "long" 2-braid, the sl(N) Rasmussen invariant of this knot depends linearly on the length of this 2-braid. We refin…

GC Stein manifolds characterized with embeddings and functions.

The helicity of a vector field is a measure of the average linking of pairs of integral curves of the field. Computed by a six-dimensional integral, it is widely useful in the physics of fluids. For a divergence-free field tangent to the boundary of a domain in 3-space, helicity is known to be invariant under volume-pr…

We investigate the geometry of closed, orientable, hyperbolic $3$-manifolds whose fundamental groups are $k$-free for a given integer $k\ge 3$. We show that any such manifold $M$ contains a point $P$ of $M$ with the following property: If $S$ is the set of elements of $π_1(M,P)$ represented by loops of length $<\log(2k…

Using the Wodzicki residue, we build Wodzicki-Chern-Simons (WCS) classes in $H^{2k-1}(LM)$ associated to the residue Chern character on the loop space $LM$ of a Riemannian manifold $M^{2k-1}$. These WCS classes are associated to the $L^2$ connection and the Sobolev $s=1$ connections on $LM.$ The WCS classes detect seve…

We introduce a new geometric structure on differentiable manifolds. A \textit{Contact} \textit{Pair}on a manifold $M$ is a pair $(α,η)$ of Pfaffian forms of constant classes $2k+1$ and $2h+1$ respectively such that $α\wedge dα^{k}\wedgeη\wedge dη^{h}$ is a volume form. Both forms have a characteristic foliation whose …

In this paper we develop new methods of study of generalized normal homogeneous Riemannian manifolds. In particular, we obtain a complete classification of generalized normal homogeneous Riemannian metrics on spheres. We prove that for any connected (almost effective) transitive on $S^n$ compact Lie group $G$, the fami…

The paper finds Riemannian metric representatives for Stiefel-Whitney classes.

New bounds on odd multicrossing numbers of knots and links are established.

Smooth resolutions found for quotient of R^2 by infinite discrete groups.

We compute the non-orientable 4-ball genus for a new family of torus knots.

New bases constructed for KBSM of lens spaces.

In this paper, we study transcendental aspects of the cohomology groups of adjoint bundles of log canonical pairs, aiming to establish an analytic theory for log canonical singularities. As a result, in the case of purely log terminal pairs, we give an analytic proof of the injectivity theorem originally proved by the …

New algorithm for computing Gaussian mixtures with guaranteed accuracy and efficiency.

We introduce the $k$-stellated spheres and consider the class ${\cal W}_k(d)$ of triangulated $d$-manifolds all whose vertex links are $k$-stellated, and its subclass ${\cal W}^{\ast}_k(d)$ consisting of the $(k+1)$-neighbourly members of ${\cal W}_k(d)$. We introduce the mu-vector of any simplicial complex and show th…

Extends involutivity to non-Lipschitz subbundles and proves the Frobenius Theorem.

The study proves a theorem about subword complexity for free group automorphisms.

Given a topological space X denote by exp_k(X) the space of non-empty subsets of X of size at most k, topologised as a quotient of X^k. This space may be regarded as a union over 0 < l < k+1 of configuration spaces of l distinct unordered points in X. In the special case X=S^1 we show that: (1) exp_k(S^1) has the homot…

We determine the ${\rm SL}(2,\mathbb{C})$-character variety for each odd classical pretzel knot $P(2k_1+1,2k_2+1,2k_3+1)$, and present a method for computing its A-polynomial.