arXiv research

IoU is not submodular, impacting machine learning applications.

Deep learning improves microscale object segmentation.

YOLOv3 detects ships in real-time with high accuracy.

The following problem was proposed in 2010 by S. Lando. Let $M$ and $N$ be two unions of the same number of disjoint circles in a sphere. Do there always exist two spheres in 3-space such that their intersection is transversal and is a union of disjoint circles that is situated as $M$ in one sphere and as $N$ in the ot…

The increasing size and complexity of scientific data could dramatically enhance discovery and prediction for basic scientific applications. Realizing this potential, however, requires novel statistical analysis methods that are both interpretable and predictive. We introduce Union of Intersections (UoI), a flexible, m…

Formula for volumes of odd strata of quadratic differentials using graph intersection numbers.

Injectivity of fundamental group map proves contractibility of intersection in CAT(0) complexes.

The paper defines and proves stabilization for 3-manifold decompositions with multibranched surface intersections.

We study the way a strongly irreducible Heegaard surface $Σ$ intersects a knot exterior $X$ embedded in a 3-manifold, and show that if $Σ\cap \partial X$ consists of simple closed curves which are essential in both $Σ$ and $\partial X$, then the intersection $X \cap Σ$ consists of meridional annuli only. As an applicat…

Ancient solutions and translators identified for Lagrangian flow.

We prove a relative isoperimetric inequalities for Lagrangian half disks in $\mathbb{C}^2$ with respect to a Lagrangian plane, or a complex plane, or a union of any two of Lagrangian or complex planes that intersect transversally at the origin.

In medicine, visualizing chromosomes is important for medical diagnostics, drug development, and biomedical research. Unfortunately, chromosomes often overlap and it is necessary to identify and distinguish between the overlapping chromosomes. A segmentation solution that is fast and automated will enable scaling of co…

Study on geodesics proving index and intersection bounds, with examples of multiplicity.

This research connects 4-manifold trisections to their underlying surfaces and their intersection forms.

Joyce's criterion for sLag smoothings extended to non-compact, non-transverse intersections.

We are interested in contractible n-manifolds M which "split" as M = A union B where A,B, and A intersect B are all homeomorphic to Euclidean n-space (such M are called open n-splitters) or A,B, and A intersect B are all homeomorphic to the n-dimensional unit ball (such M are called closed n-splitters). We introduce a …

Graph Laplacians adapt to different manifold dimensions, while Dirichlet energies converge to a tensorized Dirichlet energy.

The SO(3)-monopole program, initiated by Pidstrigatch and Tyurin [arXiv:dg-ga/9507004], yields a relationship between the Donaldson and Seiberg-Witten invariants through a cobordism between the moduli spaces defining these invariants. The main technical difficulty in this program lies in describing the links of singula…

CITE algorithm provides anytime-valid certification of model outputs.

In this thesis, we consider semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials. Semi-algebraic sets of $R^k$ are defined as the smallest family of sets in $R^k$ that contains the algebraic sets as well as the sets defined by polynomial inequalities, and which is also closed under the bool…

Study intersection homotopy groups in coarsenings of CS sets.

Maps sets to probability distributions to minimize information loss.

Same travelling times imply identical obstacles in Riemannian manifolds.

Counting meanders on surfaces of arbitrary genus, with precise asymptotics.

Uniformly Euclidean metrics with isolated singularities on certain manifolds are Ricci flat and have nonnegative synthetic Ricci curvature.

This paper introduces a very challenging dataset of historic German documents and evaluates Fully Convolutional Neural Network (FCNN) based methods to locate handwritten annotations of any kind in these documents. The handwritten annotations can appear in form of underlines and text by using various writing instruments…

The study explores convex unions and completions in simplicial pseudomanifolds, revealing unexpected behavior.

A knot K in 1-bridge position with respect to a genus-g Heegaard surface in a 3-manifold can be moved by isotopy through knots in 1-bridge position until it lies in a union of n parallel genus-g surfaces tubed together by n-1 straight tubes, with K intersecting each tube in two arcs connecting the ends. We prove that t…

Let G be a (real or complex) linear reductive algebraic group acting on an affine variety V. Let W be a subvariety. In this work we study how the G-orbits intersect W. We develop a criterion to determine when the intersection can be described as a finite union of orbits of a reductive subgroup. The conditions of the cr…

Study shows non-spectrality of certain curves and line segments.

Optimizes UoI_LASSO and UoI_VAR for scalable statistical estimation of large datasets.

Bayesian variational inference improves medical image segmentation confidence.

New characterization of geodesic currents via curve functionals.

The procedure to remove double intersections called the Whitney trick is one of the main tools in the topology of manifolds. The analogues of Whitney trick for $r$-tuple intersections were `in the air' since 1960s. However, only recently they were stated, proved and applied to obtain interesting results. Here we prove …

Gabai showed that the Whitehead manifold is the union of two submanifolds each of which is homeomorphic to $\mathbb R^3$ and whose intersection is again homeomorphic to $\mathbb R^3$. Using a family of generalizations of the Whitehead Link, we show that there are uncountably many contractible 3-manifolds with this doub…

Framework calibrates ML models for risk control in various tasks.

Graph dynamics link combinatorics to geometry, revealing manifold intersections and stability.

In an independence model, the triplets that represent conditional independences between singletons are called elementary. It is known that the elementary triplets represent the independence model unambiguously under some conditions. In this paper, we show how this representation helps performing some operations with in…

We consider the problem of clustering noisy high-dimensional data points into a union of low-dimensional subspaces and a set of outliers. The number of subspaces, their dimensions, and their orientations are unknown. A probabilistic performance analysis of the thresholding-based subspace clustering (TSC) algorithm intr…

This paper classifies and determines the length of the shortest filling pairs on a specific type of surface.

The hexabasic book is the cone of the 1-dimensional skeleton of the union of two tetrahedra glued along a common face. The universal 3-dimensional polyhedron UP is the product of a segment and the hexabasic book. We show that any 2-dimensional link in 4-space is isotopic to a surface in UP. The proof is based on a repr…

In this paper, we investigate a multivariate multi-response (MVMR) linear regression problem, which contains multiple linear regression models with differently distributed design matrices, and different regression and output vectors. The goal is to recover the support union of all regression vectors using $l_1/l_2$-reg…

Proposes a new framework for decomposing information in multivariate settings.

The paper extends Stone duality to topological convexity spaces.

Let $P$ be a (non necessarily convex) embedded polyhedron in $\R^3$, with its vertices on an ellipsoid. Suppose that the interior of $P$ can be decomposed into convex polytopes without adding any vertex. Then $P$ is infinitesimally rigid. More generally, let $P$ be a polyhedron bounding a domain which is the union of p…

Study of elementary planes in Apollonian orbifold with unusual equidistribution.

The n-th hull of a union of curves in R^3 is the set of points with the property: Any plane passing through the point intersects the curves at least 2n times. The hull number u(L) of a link L is defined as the minimum number of non-empty hulls a representative of L can have. We show that the hull numbers of torus links…

Study of homeomorphisms on infinite type surfaces with a classification theorem.