New concept of proper-calibeating extends classic calibrated forecasts to proper scoring rules.
problem Defining and extending calibrated forecasts to proper scoring rules.
method Extending the concepts of calibrated and calibeating forecasts to proper scoring rules and proving their properties.
result Proper-calibration always implies calibration, but proper-calibeating does not necessarily imply calibeating.
New method for simplifying knots with specific properties.
problem Understanding knots with a specific unknotting number.
method Derive and apply the Montesinos trick for proper rational tangle replacement.
result Prove that knots with proper rational unknotting number one are prime and classify certain types.
The paper explores proper actions and their relation to representation theory, with new quantitative methods.
problem Understanding proper actions and their connection to representation theory.
method Geometric criteria, sharpness measure, and dynamical volume estimates.
result New quantitative methods have established temperedness criteria for unitary representations.
Classifies π1-injective maps between non-compact surfaces.
problem Characterizing maps with injective fundamental groups.
method Proper homotopy classification of maps.
result All π1-injective proper maps are classified. We show that immersed minimal surfaces of R3 with bounded curvature and proper self intersections are proper. We also show that the restriction of the immersing map to a wide component is always proper. When the immersing map is injective the whole surface is a wide component. Prior to these results it wa…
In this paper we extend recent breakthrough of Chen-Cheng \cite{CC1, CC2, CC3} on existence of constant scalar Kähler metric on a compact Kähler manifold to Calabi's extremal metric. Our argument follows \cite{CC3} and there are no new a prior estimates needed, but rather there are necessary modifications adapted to th…
Paper develops proper, lower-bounded losses for weakly supervised classification.
problem Weakly supervised classification with corrupted labels.
method Representation theorem for proper losses, derived condition for lower-boundedness, generalized logit squeezing.
result Proper and lower-bounded losses for weak-label learning.
Non-proper surface group action on product of trees found.
problem Proper surface group action on product of trees proposed, but not proper.
method Demonstrated non-properness of the surface group action.
result Surface group action on product of trees is not proper.
Analytic linearization and holomorphic extensions for proper groupoids.
problem Analytic linearization and holomorphic extensions of proper groupoids.
method Establish analytic linearization around invariant submanifolds and apply to holomorphic extensions.
result Proper groupoids admit holomorphic extensions.
Classifies non-linear Fredholm maps linking to stable homotopy groups of spheres.
problem Classifying non-linear proper Fredholm maps between Hilbert spaces.
method Using stable homotopy groups of spheres to classify maps up to proper homotopy.
result Determines the non-trivial kernel of the map from stable homotopy groups to non-linear proper Fredholm maps.
A novel framework quantifies uncertainty using proper scores for various tasks.
problem Uncertainty quantification in machine learning for reliable applications.
method Proposes a general framework based on proper scores for epistemic, aleatoric uncertainty, and model calibration.
result Achieves state-of-the-art uncertainty estimation for large language models and generative models.
A study of proper affine vector fields in plane symmetric static space-times by using the rank of the Rieman matrix and holonomy. Studying proper affine vector fields in each case, It is shown that the special class of the above space-times admit proper affine vector fields.
First example of open manifold with positive Ricci curvature and non-proper Busemann function.
problem Counterexample to Busemann function properness in open manifolds with nonnegative Ricci curvature.
method Provided an open manifold with positive Ricci curvature and non-proper Busemann function.
result First example of open manifold with positive Ricci curvature and non-proper Busemann function.
First proper learning algorithm for Gaussian halfspaces with matching sample and computational complexity.
problem Agnostically learning halfspaces under Gaussian distribution.
method First proper learning algorithm with matching sample and computational complexity.
result First proper learning algorithm for agnostically learning halfspaces under Gaussian distribution with matching sample and computational complexity.
Paper analyzes proper losses and their performance in machine learning tasks.
problem Understanding the performance of estimators and forecasters in machine learning tasks.
method Analyzes surrogate regret and convergence rates for strictly proper losses.
result Strongly proper losses achieve the optimal convergence rate.
Authors create stable proper biharmonic maps from unit ball to spheres.
problem Constructing stable proper biharmonic maps from compact domains.
method Established second variation formula of bienergy, examined stability of previously constructed maps.
result Existence of an explicit family of stable proper biharmonic maps to Euclidean spheres.
Reduces constructing multiplicative connections to simpler tasks.
problem Constructing multiplicative connections on proper Lie groupoids.
method Reduction to simpler tasks involving proper and regular Lie groupoids.
result Simpler methods for constructing multiplicative connections.
Proper actions on bornological spaces are characterized with compatible coarse structures.
problem Characterizing proper actions on bornological spaces.
method Proving the existence of compatible coarse structures for proper actions.
result Bornological spaces admit compatible coarse structures for proper actions.
New method constructs proper affine actions of groups in higher dimensions.
problem Finding proper affine actions of discrete groups in higher-dimensional spaces.
method Higher strip deformations and Margulis invariant for properness.
result Affine actions of convex cocompact groups and virtually free groups are constructed properly.
Estimates proper calibration errors and refinement terms in probabilistic predictions.
problem Lack of a general estimator for proper calibration errors and refinement terms with known statistical properties.
method Proposes a method for consistent, asymptotically unbiased estimation of proper calibration errors and refinement terms.
result Proves the relation between refinement and f-divergences, implying information monotonicity in neural networks.
Proves existence of proper solutions for inverse mean curvature flow.
problem Existence of proper solutions for inverse mean curvature flow.
method Proves existence theorem assuming non-degeneracy conditions on isoperimetric profile.
result No curvature assumption in existence theorem.
In this paper we prove that every proper Lie groupoid admits a desingularization to a regular proper Lie groupoid. When equipped with a Riemannian metric, we show that it admits a desingularization to a regular Riemannian proper Lie groupoid, arbitrarily close to the original one in the Gromov-Hausdorff distance betwee…
Study proper actions of Lie groups on symmetric spaces, finding rigidity results and Hurwitz-Radon numbers.
problem Proper actions of non-compact semisimple Lie groups on pseudo-Riemannian symmetric spaces.
method Analysis of symmetric spaces and rigidity results.
result Any connected non-compact semisimple Lie group acting properly on these spaces must be globally isomorphic to Spin(n,1) up to compact factors. Study on proper learning under relaxed worst-case robust loss for VC classes.
problem Proper adversarially robust PAC learning under relaxed worst-case robust loss.
method Introduced a family of robust loss relaxations and showed their effectiveness for proper learnability.
result VC classes are properly PAC learnable with sample complexity close to standard PAC learning setup.
We prove that every bordered Riemann surface admits a complete proper holomorphic immersion into a ball of C^2, and a complete proper holomorphic embedding into a ball of C^3.
First we show that a curvature-adapted proper complex equifocal submanifold is a principal orbit of a Hermann type action under certain condition. Next we show that a proper complex equifocal submanifold is curvature-adapted under certain condition.
In this paper, using the framework of equivariant differential geometry, we study proper SO(p+1)×SO(q+1)-invariant biconservative hypersurfaces into the Euclidean space Rn (n=p+q+2) and proper SO(p+1)-invariant biconservative hypersurfaces into the Euclidean space Rn (n=p+2). Mo…
Proper proximality proved for various groups on non-positive curvature spaces.
problem Proper proximality of groups acting on non-positive curvature spaces.
method Established proper proximality for groups acting on CAT(0) spaces and hierarchically hyperbolic groups. result Proper proximality of many groups including mapping class groups and subgroups of curve graphs.
In [5] I solved the Thom's conjecture that a proper Thom map is triangulable. In this paper I drop the properness condition in the semialgebraic case and, moreover, in the definable case in an o-minimal structure.
In this paper, we study Mabuchi metrics on Fano manifolds. We prove that Mabuchi metrics exist if the modified Ding functional is proper modulo a reductive subgroup of its automorphism group. On the other hand, the inverse that Mabuchi metrics implies the properness is obtained by using Darvas-Rubinstein's properness p…
We study proper losses for discrete generative models without knowing the target distribution.
problem Evaluating generative models in the discrete setting without direct access to the target distribution.
method Define and construct black-box proper losses using statistical estimation theory.
result Black-box proper losses must be of polynomial form and involve more samples than the polynomial degree.
Study shows only one type of proper domain in certain spaces.
problem Classifying proper domains in Hermitian symmetric spaces.
method Analyzing Shilov boundaries and automorphism groups.
result Classification of closed proper manifolds locally modeled on Shilov boundaries.
New spaces found without certain actions, using special subgroups.
problem Existence of proper actions on homogeneous spaces.
method Using convex cocompact representations and nilpotent orbits theory.
result Found new homogeneous spaces without specific actions.
Improves model calibration for deep neural networks using proper scores.
problem Calibration errors in deep neural networks are often biased and inconsistent.
method Introduces proper calibration errors related to proper scores.
result Demonstrates the superiority of proper scores over common estimators.
New minimal surfaces grow area very quickly.
problem Understanding minimal surfaces with rapid area growth.
method Examples of minimal immersions in Euclidean space.
result Proper minimal surfaces with rapid area growth found.
In this paper, we study geometric properties of quotient spaces of proper Lie groupoids. First, we construct a natural stratification on such spaces using an extension of the slice theorem for proper Lie groupoids of Weinstein and Zung. Next, we show the existence of an appropriate metric on the groupoid which gives th…
Proves the bending map is proper for hyperbolic 3-manifolds.
problem Properness of the bending map in hyperbolic 3-manifolds.
method Analyzes geometric properties and isotopy classes of homeomorphisms.
result Proving the bending map is proper for hyperbolic 3-manifolds.
In this paper we classify the homotopy classes of proper maps E→Rk, where E is a vector bundle over a compact Hausdorff space. As a corollary we compute the homotopy classes of proper maps Rn→Rk. We find a stability range of such maps. We conclude with some remarks…
Reduces proper actions to simpler core actions for analysis.
problem Understanding properties of proper actions on manifolds.
method Extending Skjelbred and Straume's construction to non-compact groups, focusing on core of actions.
result Properties of proper actions are determined by simpler core actions.
We establish several characterizations of Anosov representations of word hyperbolic groups into real reductive Lie groups, in terms of a Cartan projection or Lyapunov projection of the Lie group. Using a properness criterion of Benoist and Kobayashi, we derive applications to proper actions on homogeneous spaces of red…
We first introduce an invariant index for G-equivariant elliptic differential operators on a locally compact manifold M admitting a proper cocompact action of a locally compact group G. It generalizes the Kawasaki index for orbifolds to the case of proper cocompact actions. Our invariant index is used to show that an a…
We show that any proper Lie groupoid admits a compatible (real) analytic structure.
The paper defines a new metric and studies proper biharmonic maps on tangent bundles.
problem Investigating proper biharmonic maps on tangent bundles.
method Defined Mus-Gradient metric on tangent bundle TM, characterized proper biharmonic maps.
result Characterized a new class of proper biharmonic maps.
No proper biharmonic CMC compact hypersurface in a specific warped product space.
problem Existence of proper biharmonic CMC hypersurfaces in a warped product space.
method Finding necessary and sufficient conditions for proper biharmonic CMC hypersurfaces in a special warped product space.
result No proper biharmonic CMC compact hypersurface exists in the specified space.
Solves a problem related to classifying spaces for proper actions and Nielsen Realization.
problem Whether a cocompact proper topological Γ-manifold is equivariantly homotopy equivalent to the classifying space for proper actions.
method Using Poincaré models and assuming a zero-dimensional singular set, the problem is solved in the Poincaré category.
result New results about Brown's problem are obtained under certain conditions on the underlying group.
Region crossing change for a knot or a proper link is an unknotting operation. In this paper, we provide a sharp upper bound on the region unknotting number for a large class of torus knots and proper links. Also, we discuss conditions on torus links to be proper.
Proper learning is possible with labeled data, but unlabeled data can improve performance.
problem Problems that can only be learned improperly, like multiclass classification.
method Distributional regularization and worst-case performance evaluation.
result Proper learnability is possible under certain conditions involving unlabeled data.
We study/construct (proper and non-proper) Morse functions on complete Riemannian manifolds, the level hypersurfaces of which have positive mean curvatures at all non-critical points. We show, for instance, that if a complete Rieannin manifold admits no such (not necessarily proper) function, then it contains a (possib…