arXiv research

The paper analyzes orbits of integer tuples using braid diagrams.

As previously known, all 3-manifolds of genus two can be represented by edge-coloured graphs uniquely defined by 6-tuples of integers satisfying simple conditions. The present paper describes an ``elementary transformation'' on these 6-tuples which changes the associated graph but does not change the represented manifo…

Optimal sample complexity for contrastive learning of distances.

A mathematical isomorphism connects Floer homology to DAHA representations.

A semi-regular tiling of the hyperbolic plane is a tessellation by regular geodesic polygons with the property that each vertex has the same vertex-type, which is a cyclic tuple of integers that determine the number of sides of the polygons surrounding the vertex. We determine combinatorial criteria for the existence, …

The 3D index of Dimofte-Gaiotto-Gukov a partially defined function on the set of ideal triangulations of 3-manifolds with $r$ torii boundary components. For a fixed $2r$ tuple of integers, the index takes values in the set of $q$-series with integer coefficients. Our goal is to give an axiomatic definition of the tetra…

Shows uniqueness of irreducible generating tuples for Fuchsian groups.

We present two different representations of (1,1)-knots and study some connections between them. The first representation is algebraic: every (1,1)-knot is represented by an element of the pure mapping class group of the twice punctured torus. The second representation is parametric: every (1,1)-knot can be represented…

Study the geometry of matrix multiplication in deep neural networks.

In an earlier work, we constructed the almost strict Morse $n$-category $\mathcal X$ which extends Cohen $\&$ Jones $\&$ Segal's flow category. In this article, we define two other almost strict $n$-categories $\mathcal V$ and $\mathcal W$ where $\mathcal V$ is based on homomorphisms between real vector spaces and $\ma…

We show that every strongly-cyclic branched covering of a (1,1)-knot is a Dunwoody manifold. This result, together with the converse statement previously obtained by Grasselli and Mulazzani, proves that the class of Dunwoody manifolds coincides with the class of strongly-cyclic branched coverings of (1,1)-knots. As a c…

Let $L$ be a holomorphic line bundle over a compact Kähler manifold $X$ endowed with a singular Hermitian metric $h$ with curvature current $c_1(L,h)\geq0$. In certain cases when the wedge product $c_1(L,h)^k$ is a well defined current for some positive integer $k\leq\dim X$, we prove that $c_1(L,h)^k$ can be approxima…

The study counts critical points in knot cobordisms using abelian and metacyclic invariants.

Unified framework for N-tuples learning improves weakly supervised tasks.

We fix integers $k> 0$ and $n>0$. For a $k$-punctured Riemann surface $Σ\setminus \{ p_1,\ldots,p_k \}$ and a $k$-tuple $\boldsymbolμ=(μ^1,\ldots,μ^k)$ of partitions of $n$, we can define the character variety of type $\boldsymbolμ$. In this paper, we consider the case where $Σ=\mathbb{P}^1$ and $\boldsymbolμ$ is indiv…

Study Gromov-Hausdorff convergence of metric pairs and tuples.

A (1,1) knot K in a 3-manifold M is a knot that intersects each solid torus of a genus 1 Heegaard splitting of M in a single trivial arc. Choi and Ko developed a parameterization of this family of knots by a four-tuple of integers, which they call Schubert's normal form. This article presents an algorithm for construct…

Classifies links with finite N-quandles for some N.

This paper studies connectivity of cyclic-Schottky strata in Schottky space.

We develop the concept of a double (more generally n-tuple) principal bundle departing from a compatibility condition for a principal action of a Lie group on a groupoid.

We construct and analyze minimal disc stackings with bounds on their Morse index.

The paper generalizes Nielsen equivalence to 2-orbifolds.

We compute the A-polynomial 2-tuple of twisted Whitehead links. As applications, we determine canonical components of twisted Whitehead links and give a formula for the volume of twisted Whitehead link cone-manifolds.

Algorithm finds plat-equivalence words for genus 2 3-manifolds.

Symmetric function $L_{M,N}$ lifts torus link homology.

A new approach to Morse theory using folded ribbon trees.

A collection of $U \: (\in \mathbb{N})$ data vectors is called a $U$-tuple, and the association strength among the vectors of a tuple is termed as the \emph{hyperlink weight}, that is assumed to be symmetric with respect to permutation of the entries in the index. We herein propose Bregman hyperlink regression (BHLR), …

Develops slope detection for 3-manifolds with torus boundaries.

This work extends GNNs to handle multiple graphs with non-commuting operators, proving transferability.

Many machine learning tasks such as clustering, classification, and dataset search benefit from embedding data points in a space where distances reflect notions of relative similarity as perceived by humans. A common way to construct such an embedding is to request triplet similarity queries to an oracle, comparing two…

Researchers solve the realization of Jordan-Kronecker invariants in Lie algebras.

We study the local invariants that a meromorphic $k$-differential on a Riemann surface of genus $g\geq0$ can have. These local invariants are the orders of zeros and poles, and the $k$-residues at the poles. We show that for a given pattern of orders of zeroes, there exists, up to a few exceptions, a primitive $k$-diff…

The paper provides an algorithm to create curves touching a smooth cubic at specific intersection points.

We show that for every $n\ge 2$ there exists a torsion-free one-ended word-hyperbolic group $G$ of rank $n$ admitting generating $n$-tuples $(a_1,\ldots ,a_n)$ and $(b_1,\ldots ,b_n)$ such that the $(2n-1)$-tuples $$(a_1,\ldots ,a_n, \underbrace{1,\ldots ,1}_{n-1 \text{times}})\hbox{ and }(b_1,\ldots, b_n, \underbrace{…

Let $G$ be a group given by the presentation [<a_1,...,a_k,b_1,... b_k\,| a_i=u_i(\bar b), b_i=v_i(\bar a) \hbox{for} 1\le i\le k>,] where $k\ge 2$ and where the $u_i\in F(b_1,..., b_k)$ and $w_i\in F(a_1,..., a_k)$ are random words. Generically such a group is a small cancellation group and it is clear that $(a_1,...,…

Improved analysis for extreme multi-class CRL with better sample complexity.

The paper introduces Absolute Shapley Value to handle negative contributions in machine learning model training.

Curves in Lagrange Grassmannians naturally appear when one studies intrinsically "the Jacobi equations for extremals", associated with control systems and geometric structures. In this way one reduces the problem of construction of the curvature-type invariants for these objects to the much more concrete problem of fin…

Data compression is a popular technique for improving the efficiency of data processing workloads such as SQL queries and more recently, machine learning (ML) with classical batch gradient methods. But the efficacy of such ideas for mini-batch stochastic gradient descent (MGD), arguably the workhorse algorithm of moder…

The study connects polygon areas and projective structures in 3D space.

Consider a connected manifold of dimension at least two and the group of compactly supported diffeomorphisms that are compactly supported isotopic to the identity. This group acts $n$-transitive: Any tuple of $n$ points can be moved to any other tuple of $n$ points by a compactly supported diffeomorphism that is compac…

In this paper we present short algebraic proofs of the Linear Conway--Gordon--Sachs and the Linear van Kampen--Flores theorems in the spirit of the Radon theorem on convex hulls. {\bf Theorem.} {\it Take any $n+3$ general position points in $\mathbb{R}^n$. If $n$ is odd, then there are two linked $(n+1)/2$-simplices wi…

Let $V_i$ be a finite dimensional Hermitian vector space of holomorphic sections of a line bundle $L_i$ on a complex $n$-dimensional manifold $X$. We associate to $V_i$ the non-negative Hermitian quadratic form $g_i$ on $X,$ define a Hermitian mixed volume of $X$ for a "mixing tuple" of $n$ non-negative Hermitian forms…

Let (G) be a connected compact non-abelian Lie-group and (T) a maximal torus of (G). A torus manifold with (G)-action is defined to be a smooth connected closed oriented manifold of dimension (2\dim T) with an almost effective action of (G) such that (M^T\neq \emptyset). We show that if there is a torus manifold (M) wi…

Δ-UQ uses anchoring to estimate uncertainty in models.

We focus on explicitly learning disentangled representation for natural image generation, where the underlying spatial structure and the rendering on the structure can be independently controlled respectively, yet using no tuple supervision. The setting is significant since tuple supervision is costly and sometimes eve…

Paper analyzes CRL generalization under non-i.i.d. settings, providing bounds for practical data reuse.

We apply the method of Arzhantseva-Ol'shanskii to prove that for an exponentially generic (in the sense of Ol'shanskii) class of one-relator groups the isomorphism problem is solvable in at most exponential time. This is obtained as a corollary of our more general result that for any fixed integers $m>1, n>0$ there is …