Extended Ville's inequality for nonintegrable supermartingales.
problem Nonintegrable nonnegative supermartingales.
method Derivation of extended Ville's inequality and extension of the method of mixtures.
result Strengthened classical Ville's inequality for nonintegrable settings.
Sequential tests for nonparametric hypotheses using supermartingales.
problem Designing valid sequential tests for nonparametric null hypotheses.
method Using elicitable and identifiable functionals, nonnegative supermartingales, and Online Convex Optimization.
result Rigorous guarantees on asymptotic power for a wide range of alternative hypotheses.
Extends PPI to sequential setting, improving inference over time.
problem Sequential data growth with unlabelled data.
method Prediction-powered confidence sequence procedures using Ville's inequality and the method of mixtures.
result Asymptotically valid uniformly over time, accommodating prior knowledge.
Develops new e-processes and confidence sequences for Gaussian means with unknown variance.
problem Constructing valid t-tests and confidence sequences for Gaussian means with unknown variance.
method Explores generalized nonintegrable martingales and extended Ville's inequality, developing two new e-processes and confidence sequences.
result Analyzes the width of resulting confidence sequences with a polynomial dependence on error probability, proving it to be unavoidable and even better than classical fixed-sample t-tests.
Improved online confidence bounds for multinomial logistic models in bandits.
problem Achieving optimal regret in multinomial logistic bandits with bounded parameters and outcomes.
method Deriving an improved online confidence bound and proposing OFU-MNL++ and OFU-MN2L algorithms. result Achieved variance-dependent optimal regret for MNL bandits.
The manipulation of LIBOR by a group of banks became one of the major blows to the remaining confidence in financial industry. Yet, despite an enormous amount of popular literature on the subject, rigorous time-series studies are few. In my paper, I discuss the following hypothesis. Namely, if we should assume for a st…
M-FISHER detects and adapts to streaming data shifts with statistical validity and stability.
problem Detecting and adapting to distributional shifts in streaming data.
method Constructs an exponential martingale from non-conformity scores and applies Ville's inequality for detection. Fisher-preconditioned updates for adaptation.
result Establishes M-FISHER as a principled approach for robust, anytime-valid detection and geometrically stable adaptation.
We study the volume of compact Riemannian manifolds which are Einstein with respect to a metric connection with (parallel) skew-torsion. We provide a result for the sign of the first variation of the volume in terms of the corresponding scalar curvature. This generalizes a result of M. Ville, related with the first var…
Anytime-valid confirmation of label-shift corrections
problem Small-batch scientific deployments with scarce labeled outcomes
method Conditional e-value and martingale-based rule
result Nonnegative martingale and anytime-valid confirmation rule
Optimal ability estimation in adaptive testing with binary responses.
problem Estimating a continuous ability parameter from sequential binary responses.
method Adaptive selection of questions to maximize Fisher information, updating estimate using method-of-moments, and deciding accuracy with a test statistic.
result Fisher-tracking strategy achieves optimal performance in fixed-confidence and fixed-budget regimes.
The paper proves a regret bound for a sub-Gaussian mixture on unbounded data.
problem Tackles the challenge of achieving regret bounds for sub-Gaussian mixtures on unbounded data.
method Uses path-wise (deterministic) regret bounds and a cumulative variance process to derive the bound.
result Shows that on a specific event, the regret is eventually bounded by ln(ln V_T).
Unified framework for anytime-valid PAC-Bayes bounds.
problem Deriving time-uniform PAC-Bayes bounds for stochastic processes.
method Combines four tools: nonnegative supermartingales, method of mixtures, Donsker-Varadhan formula, and Ville's inequality.
result Unified PAC-Bayes theorem for a wide class of discrete stochastic processes.
Extends FC-RAG to anytime-valid sequential coverage for language model swarms.
problem Maintain distribution-free coverage for a swarm of weak language models over time.
method Introduces Anytime-FC-RAG, a sequential extension with a summable calibration-deviation budget.
result Achieves time-uniform alarm validity and safety under predictable adaptive control.
The isoperimetric inequality and related inequalities are explored.
problem Proving the isoperimetric inequality and related inequalities.
method Discussing classical and recent proofs.
result Various proofs of the isoperimetric inequality and Sobolev inequality.
New proof of Willmore inequality using geometric divergence inequality.
problem Proving the Willmore inequality for bounded domains.
method Using a parametric geometric inequality derived from a divergence form geometric differential inequality.
result New proofs of quantitative Willmore-type and weighted Minkowski inequalities.
Lorentz-Finsler geometry reveals new and old inequalities.
problem Finding new inequalities using Lorentz-Finsler geometry.
method Applying reverse Cauchy-Schwarz and reverse triangle inequalities in Lorentz-Finsler geometry.
result Proved new and refined inequalities, including refinements of Aczél's inequality.
The paper derives new inequalities on manifolds and applies them to convex hypersurfaces.
problem Deriving new inequalities on manifolds and convex hypersurfaces.
method Using Fourier theory and geometric implications of Poincare-type inequalities.
result Sharp Minkowski-type inequalities, including stability and Alexandrov-Fenchel inequalities.
The paper proves inequalities on Finsler manifolds under Ricci curvature bounds.
problem Proving (p,q)-Sobolev and Nash inequalities on Finsler metric measure manifolds. method Global p-Poincaré inequality, (p,q)-Sobolev inequality, Nash inequality derivation. result Established global optimal (p,q)-Sobolev inequality with a sharp constant. New inequality on sphere generalizes circle inequality.
problem Generalizing circle inequality to sphere.
method Develops a new inequality on the sphere that incorporates mass center deviation.
result Improves Aubin's inequality and Onofri's inequality.
Paper proves anisotropic Minkowski inequality and related inequalities.
problem Proving anisotropic Minkowski inequality and related inequalities.
method Utilizes a nonlinear potential theoretic approach.
result Sharp anisotropic Minkowski inequality and related inequalities proved.
Explains geometric inequalities for minimal hypersurfaces.
problem Geometric inequalities for minimal hypersurfaces.
method Expository discussion of known inequalities.
result Discussion of classical inequalities for minimal hypersurfaces.
The paper finds new inequalities for convex polygons.
problem Finding precise inequalities for convex polygons.
method Analytic isoperimetric inequalities based on Schur convex functions, followed by Bonnesen-style and inverse Bonnesen-style inequalities.
result Sharp discrete isoperimetric inequalities for planar convex polygons.
The study improves Bochner inequality on Finsler manifolds to derive important inequalities.
problem Improving Bochner inequality on Finsler manifolds to derive new inequalities.
method Using improved Bochner inequality and its integrated form, the study derives a sharp Poincaré-Lichnerowicz inequality, a new proof for logarithmic Sobolev inequality, and an estimate of geodesic ball volumes.
result Derivation of new inequalities and estimates on Finsler manifolds.
The paper proves various inequalities on gradient shrinking Ricci solitons.
problem Understanding geometric inequalities on gradient shrinking Ricci solitons.
method Proving multiple inequalities equivalent on complete gradient shrinking Ricci solitons.
result Various inequalities (Sobolev, logarithmic Sobolev, Schrödinger, etc.) are equivalent on gradient shrinking Ricci solitons.
Sharp inequality found on three-balls for fourth order Sobolev traces.
problem Fourth order Sobolev trace inequality on three-balls.
method Established through equivalence to a third order Sobolev inequality on two-spheres.
result Sharp fourth order Sobolev trace inequality on three-balls.
Sharp inequalities for star bodies in 2D space.
problem Understanding star bodies in 2D space.
method Sharp inequalities for star bodies in R2. result New inequalities and proofs for star bodies.
The paper develops inequalities for log-concave functions and related surface areas.
problem Understanding log-concave functions and their inequalities.
method Establishing new inequalities through f-divergences and functional affine surface areas.
result New inequalities on functional affine surface area and bounds for Kullback-Leibler divergence.
Study on functional inequalities on simple edge spaces.
problem Whether classical functional inequalities hold in simple edge spaces.
method Analyzing Sobolev and Poincaré inequalities, proving optimality of Sobolev constant.
result Optimality result concerning the B-constant of the Sobolev inequality.
Proves inequalities on curved spaces with positive curvature.
problem Proving inequalities on manifolds with nonnegative Ricci curvature.
method Analyzes manifolds with nonnegative Ricci curvature and Euclidean volume growth.
result Proves Heisenberg-Pauli-Weyl, Hardy-Sobolev, and Caffarelli-Kohn-Nirenberg inequalities.
The paper derives inequalities on Finsler manifolds, influenced by their curvatures.
problem Deriving inequalities on Finsler manifolds.
method Local and global geometric inequalities on Riemannian and Finsler manifolds.
result Generalized Caffarelli-Kohn-Nirenberg and Hardy type inequalities on Finsler manifolds.
Paper refines Talagrand inequality on Euclidean spaces.
problem Improving Talagrand inequality for Euclidean spaces.
method Symmetrization and alternative proof methods.
result Several refined functional inequalities derived.
New inequalities for convex curves with multiple geometric factors.
problem Establishing inequalities for convex curves with multiple geometric factors.
method Parametric isoperimetric-type inequalities for closed convex curves with parameter conditions and equality conditions.
result Derived new inequalities and improved versions of existing inequalities.
Alternative proofs for various inequalities on Riemannian manifolds.
problem Various functional inequalities on Riemannian manifolds.
method Generic functional inequality, Riccati pairs, solving Riccati-type ODE.
result Alternative proofs for multiple inequalities, including Hardy-type and Caccioppoli inequalities.
The paper establishes inequalities and gradient estimates for harmonic functions on Finsler measure spaces.
problem Functional and geometric inequalities on Finsler measure spaces.
method Local uniform Poincaré and Sobolev inequalities, mean value inequality, Harnack inequalities, and gradient estimates.
result Global gradient estimates for positive harmonic functions on Finsler measure spaces.
The paper proves a Harnack inequality for heat equations on Finsler metric measure manifolds.
problem Proving a Harnack inequality for positive solutions to heat equations on Finsler metric measure manifolds.
method Volume comparison theorem, weighted Poincaré inequality, local uniform Sobolev inequality, mean value inequalities.
result Derives a Harnack inequality for positive solutions to heat equations.
Extends Riemannian geometry inequalities with sharper estimates.
problem Deriving new inequalities on Riemannian manifolds.
method Investigates advanced Hardy and Rellich-type inequalities on complete noncompact manifolds with weight functions.
result Provides sharper estimates conforming to the geometry and structure of the manifold.
The paper explores how information geometry impacts classical CR inequalities.
problem Deriving and generalizing CR inequalities using information geometry.
method Examining Eguchi's theory and applying Amari-Nagoaka's theory to KL-divergence, and then extending to other divergences.
result Generalized CR inequalities derived from various divergences.
The paper proves inequalities for hypersurfaces in weighted manifolds.
problem Willmore-type inequalities for closed hypersurfaces in weighted manifolds.
method Analyzes weighted manifolds with nonnegative Bakry-Émery Ricci curvature, proving sharp inequalities and characterizing equality cases.
result Derives sharp Willmore-type and Willmore-like inequalities in steady and shrinking gradient Ricci solitons.
The study establishes inequalities on path space for sub-Riemannian manifolds.
problem Understanding functional inequalities on path space for sub-Riemannian manifolds.
method Derivative and integration by parts formulae on path space with respect to a natural gradient operator, showing bounds of horizontal Ricci curvature.
result Established functional inequalities on path space analogous to Riemannian geometry.
Extends Gromov's optimal systolic inequality to manifolds with specific cohomology properties.
problem Finding optimal systolic inequalities for manifolds with complex cohomology structures.
method Extends Gromov's inequality to manifolds with fundamental cohomology classes as cup products of 2-dimensional classes.
result Provides an optimal systolic inequality for a new class of manifolds.
Study inequalities on hyperbolic spaces and Riemannian manifolds using symmetrization and heat semigroup.
problem Investigate functional and geometric inequalities on hyperbolic spaces and Riemannian manifolds.
method Employ symmetrization and semigroup approach based on sharp estimates for heat semigroup.
result Developed robust inequalities and methods relying on geometric and isoperimetric properties.
Paper connects Fenchel-Willmore and Sobolev inequalities for submanifolds in curved spaces.
problem Developing inequalities for submanifolds in curved spaces.
method Connecting Fenchel-Willmore and logarithmic Sobolev inequalities for mean-convex submanifolds.
result Established extensions of Fenchel-Willmore inequality and derived new Sobolev-type inequalities.
Sharp inequalities on curved spaces with bounded curvature.
problem Establishing inequalities on curved spaces with curvature constraints.
method Using Sobolev and Moser-Trudinger inequalities on noncompact Riemannian manifolds with Ricci curvature bounded below.
result Best constants for inequalities on curved spaces with curvature constraints.
Derives Weyl law for volume spectrum using parametric inequalities.
problem Deriving the Weyl law for the volume spectrum in compact Riemannian manifolds.
method Proves parametric generalizations of isoperimetric and coarea inequalities to derive the Weyl law.
result Derives the Weyl law for 1-cycles in 3-manifolds.
Extended a mathematical inequality by Andrews.
problem Mathematical inequality by Andrews.
method Proved extensions of Andrews inequality.
result Extended mathematical inequality by Andrews.
Study Hardy identities and inequalities on Cartan-Hadamard manifolds.
problem Existence and nonexistence of extremal functions in Hardy inequalities.
method Using the notion of a Bessel pair, we derive Hardy identities and inequalities.
result Established several Hardy type inequalities with improvements and understandings.
Survey on DDVV-type inequalities, their history, and recent developments.
problem None explicitly stated; focuses on surveying existing work.
method None explicitly stated; focuses on surveying existing work.
result Survey of DDVV-type inequalities and their history and recent developments.
In this paper, we prove the equivalent of ultracontractive bound of heat semigroup or the uniform upper bound of the heat kernel with the Nash inequality, Log-Sobolev inequalities on graphs. We also show that under the assumption of volume growth and nonnegative curvature CDE′(n,0) the Sobolev inequality, Nash inequa…