arXiv research

Shows uniqueness of irreducible generating tuples for Fuchsian groups.

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

The paper generalizes Nielsen equivalence to 2-orbifolds.

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.

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…

Study Gromov-Hausdorff convergence of metric pairs and tuples.

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.

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.

Optimal sample complexity for contrastive learning of distances.

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…

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,...,…

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

The paper analyzes orbits of integer tuples using braid diagrams.

A new approach to Morse theory using folded ribbon trees.

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{…

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

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…

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

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…

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.

Δ-UQ uses anchoring to estimate uncertainty in models.

We present a new general board game (GBG) playing and learning framework. GBG defines the common interfaces for board games, game states and their AI agents. It allows one to run competitions of different agents on different games. It standardizes those parts of board game playing and learning that otherwise would be t…

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

Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure of an infinitesimally affine space. This structure is comprised of two pieces o…

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…

We introduce the concept of a graded bundle which is a natural generalization of the concept of a vector bundle and whose standard examples are higher tangent bundles T^nQ playing a fundamental role in higher order Lagrangian formalisms. Graded bundles are graded manifolds in the sense that we can choose an atlas whose…

We consider two families of algebraic varieties $Y_n$ indexed by natural numbers $n$: the configuration space of unordered $n$-tuples of distinct points on $\mathbb{C}$, and the space of unordered $n$-tuples of linearly independent lines in $\mathbb{C}^n$. Let $W_n$ be any sequence of virtual $S_n$-representations give…

Quantum $6j$-symbols linked to tetrahedra angles and volumes.

Sz\H ucs proved in 2000 that the $r$-tuple-point manifold of a generic immersion is cobordant to the $Σ^{1_{r-1}}$-point manifold of its generic projection. Here we slightly extend this by showing that the natural mappings of these manifolds are bordant to each other. The main novelty of our approach is that we constru…

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…

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…

Classifies 3-manifolds from simplified (2,0)-trisections of 4-manifolds.

Let V be a finite dimensional complex vector space and V^* its dual and let X in P(V) be a smooth projective variety of dimension n and degree d at least two. For a generic n-tuple of hyperplanes H_1,...,H_n in P(V^*)^n, the intersection of X with H_1,...,H_n consists of d distinct points. We define the "discriminant o…

Detects synchronized behavior in streaming data.

Given any n-tuple of complex numbers, one can canonically define a polynomial of degree n+1 that has the entries of this n-tuple as its critical points. In 2002, Beardon, Carne, and Ng studied a map $θ\colon \mathbb{C}^n\to \mathbb{C}^n$ which outputs the critical values of the canonical polynomial constructed from the…

A mathematical isomorphism connects Floer homology to DAHA representations.

Extends geostatistical simulation method to handle multiple variables and large grids.

Study meromorphic k-differentials with prescribed singularities on Riemann surfaces.

We present a probabilistic method for linking multiple datafiles. This task is not trivial in the absence of unique identifiers for the individuals recorded. This is a common scenario when linking census data to coverage measurement surveys for census coverage evaluation, and in general when multiple record-systems nee…

The paper classifies symbols of differential operators on vector bundles.

We consider Lie groups ${\rm SU}(n,1)$ and ${\rm Sp}(n,1)$ that act as the isometries of the complex and quaternionic hyperbolic spaces respectively. We classify pairs of semisimple elements in ${\rm Sp}(n,1)$ and ${\rm SU}(n,1)$ up to conjugacy. This gives local parametrization of the representations $ρ$ in $Hom(F_2, …

We provide a formula for the Dubrovnik polynomial of a rational knot in terms of the entries of the tuple associated with a braid-form diagram of the knot. Our calculations can be easily carried out using a computer algebra system.