arXiv research

Investigates properties of a pseudometric on domains in Euclidean space, linking it to hyperbolic geometry.

Study of pseudometric properties on domains in Nagano spaces.

In this work we define a new pseudometric in $\mathcal K^n_*$, the hyperspace of all non-degenerated compact convex sets of $\mathbb R^n$, which is invariant under similarities. We will prove that the quotient space generated by this pseudometric (which is the orbit space generated by the natural action of the group of…

Proves non-hyperbolicity of symplectic varieties with specific properties.

We provide an example of a zero-dimensional compact metric space $X$ and its closed subspace $A$ such that there is no continuous linear extension operator for the Lipschitz pseudometrics on $A$ to the Lipschitz pseudometrics on $X$. The construction is based on results of A. Brudnyi and Yu. Brudnyi concerning linear e…

The Kobayashi pseudometric on a complex manifold is the maximal pseudometric such that any holomorphic map from the Poincaré disk to the manifold is distance-decreasing. Kobayashi has conjectured that this pseudometric vanishes on Calabi-Yau manifolds. Using ergodicity of complex structures, we prove this conjecture fo…

We compute an approximate Fréchet mean for sets of sparse graphs.

The paper computes an approximation to the sample Frechet mean of graph sets using spectral information.

Paper defines a new pseudometric for measuring consensus among subsets of relations.

The Fock-Bargmann-Hartogs domain $D_{n,m}$ in $\mathbb{C}^{n+m}$ is defined by the inequality $\|w\|^2<e^{-\|z\|^2},$ where $(z,w)\in \mathbb{C}^n\times \mathbb{C}^m$, which is an unbounded non-hyperbolic domain in $\mathbb{C}^{n+m}$. This paper mainly consists of three parts. Firstly, we give the explicit expression o…

New pseudometrics defined on knot spaces based on curve thickness and length.

We study the geometry of the (generalized) twistor triangles $\triangle J_1J_2J_3$ in the period domain of compact complex tori of complex dimension $2n$ by the means of the representation theory of the algebras (of real dimension 8) generated by the complex structures $J_1,J_2,J_3$. Considering the period domain as th…

Paper shows pseudometrics on braid groups are nondegenerate.

Geodesic currents in strongly hyperbolic spaces are dense.

Develops UKP for comparing feature representations in multitask learning.

CDOT optimizes transport between domains preserving both feature and geometric structure.

The orientable cover of the moduli space of real genus zero algebraic curves with marked points is a compact aspherical manifold tiled by associahedra, which resolves the singularities of the space of phylogenetic trees. The resolution maps planar metric trees to their underlying abstract representatives, collapsing an…

A Hilbert space embedding for probability measures has recently been proposed, with applications including dimensionality reduction, homogeneity testing, and independence testing. This embedding represents any probability measure as a mean element in a reproducing kernel Hilbert space (RKHS). A pseudometric on the spac…

Extends shapelet transform to irregular time series, improving interpretability and efficiency.

Let $S$ be a closed and oriented surface of genus $g$ at least $2$. In this (mostly expository) article, the object of study is the space $\mathcal{P}(S)$ of marked isomorphism classes of projective structures on $S$. We show that $\mathcal{P}(S)$, endowed with the canonical complex structure, carries exotic hermitian …

New algorithms recover clusters with minimal queries, connecting margins to recoverability.

For a finitely generated group $G$, we introduce an asymmetric pseudometric on projectivized deformation spaces of $G$-trees, using stretching factors of $G$-equivariant Lipschitz maps, that generalizes the Lipschitz metric on Outer space and is an analogue of the Thurston metric on Teichmüller space. We show that in t…

The Gromov-Hausdorff distance provides a metric on the set of isometry classes of compact metric spaces. Unfortunately, computing this metric directly is believed to be computationally intractable. Motivated by applications in shape matching and point-cloud comparison, we study a semidefinite programming relaxation of …

We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds. The proof is mainly based on a reflection principle for pseudoholomorphic discs, on precise estimates of the Kobayashi-Royden infinite…

A new landmark sampling method improves TDA performance on biomedical data.

Let $X$ be a compact Kähler manifold. Given a big cohomology class $\{θ\}$, there is a natural equivalence relation on the space of $θ$-psh functions giving rise to $\mathcal S(X,θ)$, the space of singularity types of potentials. We introduce a natural pseudometric $d_{\mathcal {S}}$ on $\mathcal S(X,θ)$ that is non-de…

We present a nonstandard hull construction for locally uniform groups in a spirit similar to Luxembourg's construction of the nonstandard hull of a uniform space. Our nonstandard hull is a local group rather than a global group. We investigate how this construction varies as one changes the family of pseudometrics used…

We generalize Demailly's construction of projective jet bundles and strictly negatively curved pseudometrics on them to the logarithmic case. We establish this logarithmic generalization explicitly via coordinates, just as Noguchi's generalization of the jets used by Green-Griffiths. As a first application, we give a m…

We establish a lower estimate for the Kobayashi-Royden infinitesimal pseudometric on an almost complex manifold $(M,J)$ admitting a bounded strictly plurisubharmonic function. We apply this result to study the boundary behaviour of the metric on a strictly pseudoconvex domain in $M$ and to give a sufficient condition f…

The paper constructs contact-hyperbolic manifolds with large automorphism groups.

The Square Root Normal Field (SRNF), introduced by Jermyn et al. in [3], provides a way of representing immersed surfaces in $\mathbb R^3$, and equipping the set of these immersions with a "distance function" (to be precise, a pseudometric) that is easy to compute. Importantly, this distance function is invariant under…

Let $(M,J)$ be a compact complex manifold of complex dimension $m$ and let $g_s$ be a one-parameter family of Hermitian forms on $M$ that are smooth and positive definite for each fixed $s\in (0,1]$ and that somehow degenerates to a Hermitian pseudometric $h$ for $s$ tending to $0$. In this paper under rather general a…

Study of degenerate contrast functions on Lie groupoids and their geometric structures.

Tree Mover's Distance measures graph attributes and improves GNN performance.

Given a time function $τ$ on a spacetime $M$, we define a `null distance function', $\hat{d}_τ$, built from and closely related to the causal structure of $M$. In basic models with timelike $\nabla τ$, we show that 1) $\hat{d}_τ$ is a definite distance function, which induces the manifold topology, 2) the causal struct…

Adapts category theory to manifold learning for better understanding and stability.

We define the Kobayashi quotient of a complex variety by identifying points with vanishing Kobayashi pseudodistance between them and show that if a compact complex manifold has an automorphism whose order is infinite, then the fibers of this quotient map are nontrivial. We prove that the Kobayashi quotients associated …

Reeb spaces, as well as their discretized versions called Mappers, are common descriptors used in Topological Data Analysis, with plenty of applications in various fields of science, such as computational biology and data visualization, among others. The stability and quantification of the rate of convergence of the Ma…

We propose a new nonlinear factorization model for graphs that are with topological structures, and optionally, node attributes. This model is based on a pseudometric called Gromov-Wasserstein (GW) discrepancy, which compares graphs in a relational way. It estimates observed graphs as GW barycenters constructed by a se…

New method addresses error bounds for PnP-ULA under mismatched models.

Action-bisimulation learns long-horizon controllability for reinforcement learning.

We propose a scalable Gromov-Wasserstein learning (S-GWL) method and establish a novel and theoretically-supported paradigm for large-scale graph analysis. The proposed method is based on the fact that Gromov-Wasserstein discrepancy is a pseudometric on graphs. Given two graphs, the optimal transport associated with th…

Proposes Mutual Regression Distance for better distribution comparison.

New method avoids IV limitations for flexible estimation.

New homology theory for graphs detects subdivisions and homology manifolds.

Study of tangent spaces in diffeological spaces under Lie group actions.

(1,1) non-L-space knots are foliar in 3D space.

Universal spaces for finite topological spaces simplify shape descriptions.