arXiv research

New model separates images into independent factors quickly and easily.

Method flattens complex surfaces with consistent density and shape.

The classical Fundamental Theorem of Affine Geometry states that for $n\geq 2$, any bijection of $n$-dimensional Euclidean space that maps lines to lines (as sets) is given by an affine map. We consider an analogous characterization of affine automorphisms for compact quotients, and establish it for tori: A bijection o…

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth and satisfy a "fusion" property with respect to triples of paths. Our bijections a…

Improved ANN-based Monte Carlo simulation for Higgs decay events.

Bi-geodesic mappings preserve distances on hyperbolic surfaces with boundaries.

Surface parameterizations and registrations are important in computer graphics and imaging, where 1-1 correspondences between meshes are computed. In practice, surface maps are usually represented and stored as 3D coordinates each vertex is mapped to, which often requires lots of storage memory. This causes inconvenien…

A bijection preserving horocycles/hypercycles is an isometry in hyperbolic plane.

We introduce an asymmetric distance function, which we call the `left Hausdorff distance function', on the space of geodesic laminations on a closed hyperbolic surface of genus at least 2. This distance is an asymmetric version of the Hausdorff distance between compact subsets of a metric space. We prove a rigidity res…

Affirmative answer to a question about a map extending normal invariants.

New framework for better mapping of surfaces onto ellipsoids.

We prove a Lipschitz-Volume rigidity theorem in Alexandrov geometry, that is, if a 1-Lipschitz map $f\colon X=\amalg X_\ell\to Y$ between Alexandrov spaces preserves volume, then it is a path isometry and an isometry when restricted to the interior of $X$. We furthermore characterize the metric structure on $Y$ with re…

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to $[n,n,n]$: the {\em reduced web} basis associated to Kuperberg's combinatorial description of the spider category; and the {\em left cell basis} for the left cell construction of Kazhdan and Lusztig. I…

Let $X$ be a topological space and $f:X\to X$ a bijection. Let ${\mathcal C}(X,f)$ be a set of integers such that an integer $n$ is an element of ${\mathcal C}(X,f)$ if and only if the bijection $f^n:X\to X$ is continuous. A subset $S$ of the set of integers ${\mathbb Z}$ is said to be realizable if there is a topologi…

Generalizes Pontryagin's construction for proper maps in stable dimensions.

Introduces $\mathbb{K}$-framings for surfaces, generalizing quadratic forms.

Normalising flows (NFS) map two density functions via a differentiable bijection whose Jacobian determinant can be computed efficiently. Recently, as an alternative to hand-crafted bijections, Huang et al. (2018) proposed neural autoregressive flow (NAF) which is a universal approximator for density functions. Their fl…

In this article we introduce conformal Riemannian morphisms. The idea of conformal Riemannian morphism generalizes the notions of an isometric immersion, a Riemannian submersion, an isometry, a Riemannian map and a conformal Riemannian map. We show that every injective conformal Riemannian morphism is an injective conf…

Classifies geodesic-preserving bijections in Thurston geometries.

Finite subgroups of good groups correspond to their profinite completions.

If we consider the moduli space of flat connections of a non trivial principal SO(3)-bundle over a surface, then we can define a map from the set of perturbed closed geodesics, below a given energy level, into families of perturbed Yang-Mills connections depending on a small parameter. In this paper we show that this m…

Classifies non-linear Fredholm maps linking to stable homotopy groups of spheres.

New constructions and examples from moduli spaces.

Surface parameterization is widely used in computer graphics and geometry processing. It simplifies challenging tasks such as surface registrations, morphing, remeshing and texture mapping. In this paper, we present an efficient algorithm for computing the disk conformal parameterization of simply-connected open surfac…

Paper extends tree bijection for hyperbolic surfaces without requiring cusps.

We will present proofs for two conjectures stated in arXiv:1808.08073. The first one is that for an arbitrary manifold $W$, the homotopy classes of proper maps $W\times\mathbb{R}^n\to\mathbb{R}^{k+n}$ stabilise as $n\to\infty$, and the second one is that in a stable range there is a Pontryagin--Thom type bijection for …

We prove that there exists a geometric bijection between the sets of adjoint and coadjoint orbits of a semidirect product, provided a similar bijection holds for particular subgroups. We also show that under certain conditions the homotopy types of any two orbits in bijection with each other are the same. We apply our …

Training model to generate data has increasingly attracted research attention and become important in modern world applications. We propose in this paper a new geometry-based optimization approach to address this problem. Orthogonal to current state-of-the-art density-based approaches, most notably VAE and GAN, we pres…

A concise discussion of the axiomatic approach to the concept of parallel transport is presented. Attention is drawn to a bijective map between the sets of connections and (axiomatically defined) parallel transports. The transports along paths are pointed as a generalization of the (axiomatically defined) parallel tran…

We study the topology of the space of smooth codimension one foliations on a closed 3-manifold. We regard this space as the space of integrable plane fields included in the space of all smooth plane fields. It has been known since the late 60's that every plane field can be deformed continuously to an integrable one, s…

We show that normalising flows become pathological when used to model targets whose supports have complicated topologies. In this scenario, we prove that a flow must become arbitrarily numerically noninvertible in order to approximate the target closely. This result has implications for all flow-based models, and espec…

Sprays on Frechet manifolds connect connections and tangent structures.

The study reveals simplicity bias in neural networks leading to better compositional mappings.

We investigate connections between pairs of (pseudo-)Riemannian metrics whose sum is a (tensor) product of a covector field with itself. A bijective mapping between the classes of Euclidean and Lorentzian metrics is constructed as a special result. The existence of such maps on a differentiable manifold is discussed. S…

A bijection proves a polynomial volume for genus-0 hyperbolic surfaces with boundaries.

A neural network method tackles high-dimensional diffeomorphic mapping problems.

Proves Poincaré duality for Hopf algebroids with bijective antipode.

New family of triangulated 3-spheres identified from trees.

The sl_3 spider is a diagrammatic category used to study the representation theory of the quantum group U_q(sl_3). The morphisms in this category are generated by a basis of non-elliptic webs. Khovanov- Kuperberg observed that non-elliptic webs are indexed by semistandard Young tableaux. They establish this bijection v…

We identify causal models with unobserved confounding using bijective generation mechanisms.

We recall and partially improve four versions of smooth, non-abelian gerbes: Cech cocycles, classifying maps, bundle gerbes, and principal 2-bundles. We prove that all these four versions are equivalent, and so establish new relations between interesting recent developments. Prominent partial results we prove are a bij…

We show that any multiplicative bijection between the algebras of differentiable functions, defined on differentiable manifolds of positive dimension, is an algebra isomorphism, given by composition with a unique diffeomorphism.

Continuity of earthquake flow map transfers Teichmüller dynamics results.

We show that simple coverings of B^4 branched over ribbon surfaces up to certain local ribbon moves bijectively represent orientable 4-dimensional 2-handlebodies up to handle sliding and addition/deletion of cancelling handles. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over…

Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally construct bijections between central simple algebras, maximal orders, various Galois co…

Homotopy equivalence shown between complex and thickened versions of manifolds.

New method models intensity functions on spheres using normalizing flows.

Let $X$ be a (real or complex) Banach space, and $\mathcal{I}(X)$ be the set of all (non-zero and non-identity) idempotents; i.e., bounded linear operators on $X$ whose squares equal themselves. We show that the Banach submanifold $\mathcal{I}(X)$ of $\mathcal{L}(X)$ is a locally trivial analytic affine-Banach bundle o…