arXiv research

Study Gromov-Hausdorff convergence of metric pairs and tuples.

Shows uniqueness of irreducible generating tuples for Fuchsian groups.

We show that normalized currents of integration along the common zeros of random $m$-tuples of sections of powers of $m$ singular Hermitian big line bundles on a compact Kähler manifold distribute asymptotically to the wedge product of the curvature currents of the metrics. If the Hermitian metrics are Hölder with sing…

Optimal sample complexity for contrastive learning of distances.

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

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…

The study connects polygon areas and projective structures in 3D 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.

The paper generalizes Nielsen equivalence to 2-orbifolds.

Develops a new framework for large-scale geometry.

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.

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…

Study on harmonic metrics for rank 3 Higgs bundles in Hitchin section.

The paper analyzes orbits of integer tuples using braid diagrams.

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

We introduce an invariant of tuples of commutative diffeomorphisms on a 4-manifold using families of Seiberg-Witten equations. This is a generalization of Ruberman's invariant of diffeomorphisms defined using 1-parameter families of Seiberg-Witten equations. Our invariant yields an application to the homotopy groups of…

Develops slope detection for 3-manifolds with torus boundaries.

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

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…

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…

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…

Harmonic metrics on Higgs bundles over non-compact hyperbolic surfaces are studied.

Given a closed symplectic manifold $(M,ω)$ we introduce a certain quantity associated to a tuple of conjugacy classes in the universal cover of the group ${\hbox{\it Ham}} (M,ω)$ by means of the Hofer metric on ${\hbox{\it Ham}} (M,ω)$. We use pseudo-holomorphic curves involved in the definition of the multiplicative s…

The paper introduces toric separable geometries and finds new extremal metrics.

We introduce and study the operation, called dense amalgam, which to any tuple X_1,...,X_k of non-empty compact metric spaces associates some disconnected perfect compact metric space, denoted $\widetilde\sqcup(X_1,...,X_k)$, in which there are many appropriately distributed copies of the spaces X_1,...,X_k. We then sh…

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.

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

Detects synchronized behavior in streaming data.

A mathematical isomorphism connects Floer homology to DAHA representations.

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

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…

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

Develops noncommutative Cowen-Douglas theory for noncommuting operators.