arXiv research

Criterion found for Teichmüller extremal maps on infinite Riemann surfaces.

Criterion for nilpotent Lie groups to have nilsolitons.

Tian's criterion for K-stability states that a Fano variety of dimension $n$ whose alpha invariant is greater than $\frac{n}{n+1}$ is K-stable. We show that this criterion is sharp by constructing singular Fano varieties with alpha invariants $\frac{n}{n+1}$ that are not K-polystable for sufficiently large $n$. We also…

We show that a classical result of Gromov in symplectic geometry extends to the context of symplectic foliations, which we regard as a $h$-principle for (regular) Poisson geometry. Namely, we formulate a sufficient cohomological criterion for a regular bivector to be homotopic to a regular Poisson structure, in the spi…

Criterion for lifting smooth contact maps between Carnot groups to central extensions.

Paper proves March's criterion for transience on symmetric manifolds.

Solves the invariant linearization problem for Lie groupoids.

We give a necessary and sufficient criterion for a sutured manifold to be taut in terms of the twisted homology of the sutured manifold.

Previous work of the authors establishes a criterion on the fundamental group of a knot complement that determines when Dehn surgery on the knot will have a fundamental group that is not left-orderable. We provide a refinement of this criterion by introducing the notion of a decayed knot; it is shown that Dehn surgery …

In this paper, we provide the necessary and sufficient conditions for the connected sum of knots in $S^3$ to be Legendrian simple.

Existence of a conjugate point in the incompressible Euler flow on a sphere and an ellipsoid is considered. Misiolek (1996) formulated a differential-geometric criterion (we call M-criterion) for the existence of a conjugate point in a fluid flow. In this paper, it is shown that no zonal flow (stationary Euler flow) sa…

We prove relative versions of the symplectic capping theorem and sufficiency of Giroux's criterion for Stein fillability and use these to study the 4-genus of knots.

Calibrating classifiers reduces grouping loss using sufficiency criteria.

Criterion for Lie algebroid connections on compact Riemann surfaces.

Criterion found for Lie algebroid connections on parabolic bundles.

In this paper, we investigate the geometry of a general class of gradient flows with multiple local maxima. we decompose the underlying space into disjoint regions of attraction and establish the adjacency criterion. The criterion states a necessary and sufficient condition for two regions of attraction of stable equil…

We give a necessary and sufficient condition for the existence of a local solution of the inverse problem of calculus of variations in terms of the identical vanishing of the variation of a functional on an extended space (with the number of independent variables increased by one), and explain its relation with the cla…

A new criterion for deep active learning selects minimal labeled data points.

Paper introduces a nonparametric functional graphical model for random functions.

Four geometries govern sequential and distribution-free inference.

We provide a diagrammatic criterion for semi-adequate links to be hyperbolic. We also give a conjectural description of the satellite structures of semi-adequate links. One application of our result is that the closures of sufficiently complicated positive braids are hyperbolic links.

In this letter, we propose a new identification criterion that guarantees the recovery of the low-rank latent factors in the nonnegative matrix factorization (NMF) model, under mild conditions. Specifically, using the proposed criterion, it suffices to identify the latent factors if the rows of one factor are \emph{suf…

Polyhedral semantics for intermediate logics; Nerve Criterion ensures completeness.

In this paper, we propose an information-theoretic exploration strategy for stochastic, discrete multi-armed bandits that achieves optimal regret. Our strategy is based on the value of information criterion. This criterion measures the trade-off between policy information and obtainable rewards. High amounts of policy …

This paper extends Kelly Criterion to include rebalancing frequency for optimal portfolio selection.

Given a regular curve in Minkowski spacetime, we describe necessary and sufficient conditions for this curve to admit a family of pairwise-disjoint crooked planes. Using this criterion, we describe crooked foliations along orbit curves of one-parameter groups of Lorentzian isometries.

We show how the existing proof of the Farrell-Jones Conjecture for virtually poly-$\mathbb{Z}$-groups can be improved to rely only on the usual inheritance properties in combination with transfer reducibility as a sufficient criterion for the validity of the conjecture.

If an augmented algebra K over Q is filtered by powers of its augmentation ideal I, the associated graded algebra grK need not in general be quadratic: although it is generated in degree 1, its relations may not be generated by homogeneous relations of degree 2. In this paper we give a sufficient criterion (called the …

The paper studies the modified J-equation on Kähler manifolds.

Establishes necessary and sufficient conditions for smooth triviality of Lie subalgebras and Lie ideals, and proves Moser's trick for foliations.

We conjecture that satellite operations are either constant or have infinite rank in the concordance group. We reduce this to the difficult case of winding number zero satellites, and use $SO(3)$ gauge theory to provide a general criterion sufficient for the image of a satellite operation to generate an infinite rank s…

One of the basic problems in studying topological structures of deformation spaces for Kleinian groups is to find a criterion to distinguish convergent sequences from divergent sequences. In this paper, we shall give a sufficient condition for sequences of Kleinian groups isomorphic to surface groups to diverge in the …

In this paper, we propose a novel sufficient decrease technique for stochastic variance reduced gradient descent methods such as SVRG and SAGA. In order to make sufficient decrease for stochastic optimization, we design a new sufficient decrease criterion, which yields sufficient decrease versions of stochastic varianc…

In this paper, we propose a novel sufficient decrease technique for variance reduced stochastic gradient descent methods such as SAG, SVRG and SAGA. In order to make sufficient decrease for stochastic optimization, we design a new sufficient decrease criterion, which yields sufficient decrease versions of variance redu…

Develops a method to identify causal effects in linear models with latent variables.

The aim of this article is to proof a necessary and sufficient condition for the existence of a Cartan connection on a principal bundle. After collecting the essentially well known facts to fix the terminology, soldering forms and geometrizable principal bundles are defined to finally prove the existence criterion.

Paper finds new criteria for conjugate points in fluid flows.

Solves open problems for fully nonlinear elliptic equations on manifolds.

The paper broadens the class of manifolds where Dirac operator spectra are maximal.

Paper introduces a flow-based framework for representation learning.

Boyer, Gordon, and Watson have conjectured that an irreducible rational homology 3-sphere is an L-space if and only if its fundamental group is not left-orderable. Since large classes of L-spaces can be produced from Dehn surgery on knots in the 3-sphere, it is natural to ask what conditions on the knot group are suffi…

Given a sequence of oriented links L^1,L^2,L^3,... each of which has a distinguished, unknotted component, there is a decomposition of the 3-sphere naturally associated to it, which is constructed as the components of the intersection of an infinite sequence of nested solid tori. The Bing and Whitehead continua are sim…

We consider the problem of high-dimensional Ising (graphical) model selection. We propose a simple algorithm for structure estimation based on the thresholding of the empirical conditional variation distances. We introduce a novel criterion for tractable graph families, where this method is efficient, based on the pres…

An $n$ dimensional minimal submanifold $Σ$ of $\R^{n+m}$ is called non-parametric if $Σ$ can be represented as the graph of a vector-valued function $f:D\subset \R^n \mapsto \R^m$. This note provides a sufficient condition for the stability of such $Σ$ in terms of the norm of the differential $df$.

We study mapping class groups of infinite type surfaces with isolated punctures and their actions on the loop graphs introduced by Bavard-Walker. We classify all of the mapping classes in these actions which are loxodromic with a WWPD action on the corresponding loop graph. The WWPD property is a weakening of Bestvina-…

Traditional Kalman filter (KF) is derived under the well-known minimum mean square error (MMSE) criterion, which is optimal under Gaussian assumption. However, when the signals are non-Gaussian, especially when the system is disturbed by some heavy-tailed impulsive noises, the performance of KF will deteriorate serious…

A new BO termination criterion for HPO reduces optimization time without sacrificing test performance.

In this paper, we provide new complexity results for algorithms that learn discrete-variable Bayesian networks from data. Our results apply whenever the learning algorithm uses a scoring criterion that favors the simplest model able to represent the generative distribution exactly. Our results therefore hold whenever t…