arXiv research

Shows uniqueness of irreducible generating tuples for Fuchsian groups.

The paper analyzes orbits of integer tuples using braid diagrams.

First steps towards a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of Hilb^2(K3). We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of Type A or Type B. A 4-fold of Type A is a double cover of a (singular) sextic hype…

We obtain an explicit characterization of the stable points of the action of G=SL(2,C) on the cartesian product G^n by simultaneous conjugation on each factor, in terms of the corresponding invariant functions, and derive from it a simple criterion for irreducibility of representations of finitely generated groups into…

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

The study examines spaces of holomorphic sections vanishing along subvarieties in complex spaces.

Let $X$ be a compact normal complex space of dimension $n$, and $L$ be a holomorphic line bundle on $X$. Suppose $Σ=(Σ_1,\ldots,Σ_\ell)$ is an $\ell$-tuple of distinct irreducible proper analytic subsets of $X$, $τ=(τ_1,\ldots,τ_\ell)$ is an $\ell$-tuple of positive real numbers, and consider the space $H^0_0 (X, L^p)$…

Study the geometry of matrix multiplication in deep neural networks.

Study delta invariant of minimal generic curves on rational surfaces.

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.

We study tori which are cyclic covers of the standard torus, that is, the deck transformation group of the covering map is cyclic. These covering tori can be parametrized in a natural way and we show that being cyclic is equivalent to certain arithmetic condition on these parameters. There is a natural $\mathrm{SL}(2,\…

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.

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…

An irreducible open 3-manifold $W$ is {\bf R}$^2$-irreducible if every proper plane in $W$ splits off a halfspace. In this paper it is shown that if such a $W$ is the universal cover of a connected, {\bf P}$^2$-irreducible open 3-manifold $M$ with finitely generated fundamental group, then either $W$ is homeomorphic to…

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…

Paper proposes a new method for estimating mixture proportions without irreducibility assumption.

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…