Extends Borel invariant to measurable cocycles of 3-manifold groups.
problem Defining and analyzing Borel invariant for measurable cocycles.
method Introducing pullback along measurable cocycles and extending Borel invariant.
result Maximal cocycles are trivializable to irreducible representations.
Develops measures for non-Borel Anosov groups on Furstenberg boundary.
problem Measuring non-Borel Anosov groups on the Furstenberg boundary.
method Theory of Patterson--Sullivan measures, strict convexity, entropy rigidity.
result Existence, uniqueness, and ergodicity of measures on Furstenberg boundary.
New findings on null measurability in symmetrization interface of VC learning.
problem Null measurability issues in symmetrization interface of VC learning.
method Formalized in Lean 4, using Choquet capacitability and patching properties.
result Null-measurable bad event not Borel measurable, separating regularity levels.
The paper discusses rigidity results for inequalities on weighted Riemannian manifolds.
problem Rigidity of inequalities on weighted Riemannian manifolds.
method Theorems of rigidity on curvature and measure for the Borell-Brascamp-Lieb inequality, generalizing a theorem by Balogh and Kristály.
result A generalization of the curvature rigidity theorem to the weighted setting.
Survey of recent measures of association, including a new coefficient.
problem Exploring new measures of association in statistics.
method Survey and introduction of a new correlation coefficient.
result Proposed a new extension of the correlation coefficient to standard Borel spaces.
A Hilbert space embedding for probability measures has recently been proposed, wherein any probability measure is represented as a mean element in a reproducing kernel Hilbert space (RKHS). Such an embedding has found applications in homogeneity testing, independence testing, dimensionality reduction, etc., with the re…
In this paper, we show that the Euler characteristic of an even dimensional closed projectively flat manifold is equal to the total measure which is induced from a probability Borel measure on RP^n invariant under the holonomy action, and then discuss its consequences and applications. As an application, we show that t…
Let S be a non-exceptional oriented surface of finite type. We discuss the action of subgroups of the mapping class group of S on the CAT(0)-boundary of the completion of Teichmueller space with respect to the Weil-Petersson metric. We show that the set of invariant Borel probability measures for the Weil-Petersson flo…
Study proves existence of robust classifiers in multiclass adversarial training.
problem Proves existence of robust classifiers in multiclass adversarial training.
method Three models of adversarial training in multiclass classification, proving existence of Borel measurable robust classifiers.
result Proves existence of Borel measurable robust classifiers in each model.
Study complex Monge-Ampère operator on weighted pluricomplex energy classes.
problem Characterize the range of the Complex Monge-Ampère Operator on weighted pluricomplex energy classes.
method Characterizations and a priori estimates on sub-level sets of solutions.
result A non-negative Borel measure is the Monge-Ampère of a unique function in \(\mathcal E_χ\) if and only if \(χ(\mathcal E_χ) \subset L^1(dμ)\).
The paper develops axioms for uniquely decomposing functions with real arguments.
problem Decomposing functions with real arguments while preserving their overall structure.
method Developing axioms to uniquely decompose Borel measurable functions.
result Unique decompositions for all Borel measurable functions are achieved.
It was proved in 1998 by Ben-David and Litman that a concept space has a sample compression scheme of size d if and only if every finite subspace has a sample compression scheme of size d. In the compactness theorem, measurability of the hypotheses of the created sample compression scheme is not guaranteed; at the same…
The paper shows how MMD metrizes weak convergence for certain kernels.
problem Characterizing MMD metrizing weak convergence for a wide class of kernels.
method Proving MMD metrizes weak convergence for specific kernels on a locally compact space.
result Corrected prior results and identified new kernels metrizing weak convergence.
Improved Cauchy-Schwarz inequality for L1 and L2 norms.
problem Refining the classical Cauchy-Schwarz inequality for different norms.
method Developed a new inequality for p and q with q>p>2. result Demonstrated a new bound for the L1 norm in terms of Lp and Lq norms. Classifies manifolds and discrete subgroups of Lie groups using descriptive set theory.
problem Classifying manifolds and discrete subgroups of Lie groups.
method Descriptive set theory and Borel complexity computations.
result Complexity of homeomorphism problems for manifolds and conjugacy relations for subgroups.
We establish orbit equivalence rigidity for any ergodic, essentially free and measure-preserving action on a standard Borel space with a finite positive measure of the mapping class group for a compact orientable surface with higher complexity. We prove similar rigidity results for a finite direct product of mapping cl…
The study shows how certain ODEs and integrals are regular under Borel summation.
problem Analyzing the regularity of solutions to ODEs and integration problems.
method Using geometric perspective on Laplace and Borel transforms, the study examines level 1 ODEs and exponential period integrals over Lefschetz thimbles.
result Solutions of certain ODEs and integration problems are Borel regular.
New findings on cusped Borel Anosov representations and their properties.
problem Characterizing and understanding cusped Borel Anosov representations.
method Analyzing representations of lattices in PGL2(R) to PGLd(R). result Cusped Borel Anosov representations with specific properties are Hitchin representations.
Study shows Roller compactification's median graph has limited asymptotic dimension.
problem Understanding the asymptotic dimension of Roller compactifications.
method Proved using finite dimensional CAT(0) cube complexes and Borel median graph.
result Borel asymptotic dimension is bounded by the complex's dimension.
Study finds Holder solutions for complex geometry equations.
problem Finding solutions to complex geometry equations on compact manifolds.
method Analyzes measures and functions on compact Hermitian manifolds.
result Positive measures on compact Hermitian manifolds admit Holder continuous solutions to the Monge-Ampere equation.
This work establishes properties on diffeological structures for set-valued maps and measures.
problem Establish rigorous properties on diffeological structures for set-valued maps and measures.
method Using diffeologies, the authors link various structures including set-valued maps, relations, gradients, measures, and shape analysis.
result Established rigorous properties on sample diffeologies.
Proves spectral gap for frame flows on hyperbolic manifolds.
problem Exponential mixing of frame flows on hyperbolic manifolds.
method Resolvent estimates and Borel-Weil calculus.
result Optimal essential spectral gap property for the generator.
In this project we further investigate the idea of reducing the dimensionality of datasets using a Borel isomorphism with the purpose of subsequently applying supervised learning algorithms, as originally suggested by my supervisor V. Pestov (in 2011 Dagstuhl preprint). Any consistent learning algorithm, for example kN…
Proves resurgent nature of a series solution to deformed Painlevé I equation.
problem Analyzing the resurgent nature of a series solution to the deformed Painlevé I equation.
method Proves resurgent nature through formal ℏ-power series solution and Borel summability. result Borel transform defines a global multivalued holomorphic function on a Fermat quintic surface.
Short proof shows Borel class stability under Cartan involution for 3-manifold groups.
problem Stability of Borel class under Cartan involution for 3-manifold representations.
method Direct proof for PGL(3,C) representations, leveraging a more general result for PGL(n,C).
result Borel class is preserved under Cartan involution up to sign for 3-manifold groups.
Geometrically proves WKB solutions of Schrödinger equations are resurgent.
problem Understanding resurgent behavior of WKB solutions on Riemann surfaces.
method Purely geometric approach using holomorphic Lie groupoids and spectral curves.
result Formal WKB solutions are Borel summable in almost all directions.
It is shown that bootstrap approximations of an estimator which is based on a continuous operator from the set of Borel probability measures defined on a compact metric space into a complete separable metric space is stable in the sense of qualitative robustness. Support vector machines based on shifted loss functions …
We describe an explicit semi-algebraic partition for the complement of a real hyperplane arrangement such that each piece is contractible and so that the pieces form a basis of Borel-Moore homology. We also give an explicit correspondence between the de Rham cohomology and the Borel-Moore homology.
Proves Borel Conjecture for certain 3D spaces.
problem Characterizing fundamental groups of 3D Alexandrov spaces.
method Analyzes properties of Alexandrov 3-spaces.
result Proves Borel Conjecture for specific types of spaces.
Let Q be a component of a stratum of abelian or quadratic differentials on an oriented surface of genus g≥0 with m≥0 punctures and 3g−3+m≥2. We construct a subshift of finite type (Ω,σ) and a Borel suspension of (Ω,σ) which admits a finite-to-one semi-conjugacy into the Teichmueller flow Φt on …
The paper proves inequalities for hyperbolic sets and curves.
problem Proving inequalities for sets and curves in hyperbolic geometry.
method Defining horocyclic Minkowski sums and proving inequalities for hyperbolic areas.
result Horocyclic Brunn-Minkowski inequality holds for hyperbolic sets.
We provide a general construction of time-consistent sublinear expectations on the space of continuous paths. It yields the existence of the conditional G-expectation of a Borel-measurable (rather than quasi-continuous) random variable, a generalization of the random G-expectation, and an optional sampling theorem that…
Study proves hyperbolic groups have specific subgroup properties.
problem Characterizing subgroups of word hyperbolic groups.
method Analyzes Anosov representations into PGL(4q+2,R). result Affirmative answer to Sambarino's question for Borel Anosov representations.
We prove the Borel Conjecture for a class of groups containing word-hyperbolic groups and groups acting properly, isometrically and cocompactly on a finite dimensional CAT(0)-space.
We introduce an universum of the Polish (=complete separable metric) space - the convex cone of distance matrices and study its geometry. It happened that the generic Polish spaces in this sense of this universum is so called Urysohn spaces defined by P.S.Urysohn in 20-th, and generic metric triple (= metric space with…
A theorem divides hyperplanes evenly with a line through the origin.
problem Dividing hyperplanes evenly with a line.
method Direct proof using measures on hyperplanes.
result A line through the origin divides hyperplanes evenly.
We consider the family of harmonic measures on a lamination L of a compact space X by locally symmetric spaces L of noncompact type, i.e. L≃ΓL\G/K. We establish a natural bijection between these measures and the measures on an associated lamination foliated by G-orbits, $\hat{\mathc…
Solves Christoffel problem for disk area measures on spheres.
problem Conditions for a measure to be a disk area measure of convex bodies.
method Integral representation and differential equation reformulation.
result Reconstructs support function from disk area measure.
Study parametrized Kähler class for cocycles on Hermitian symmetric spaces.
problem Understanding the cohomology of measurable cocycles on Hermitian symmetric spaces.
method Define and analyze parametrized Kähler class to determine cocycles up to cohomology.
result Parametrized Kähler class completely determines the cocycle up to cohomology.
Bayesian histograms achieve optimal distribution estimation with minimal memory usage.
problem Efficiently estimating distributions with minimal memory footprint.
method Bayesian histograms for distribution estimation under Wasserstein distance.
result Bayesian histograms require fewer bins to achieve minimax optimality, reducing memory usage by a polynomial factor.
We give a survey of the approaches to classifying foliations, starting with the Haefliger classifying spaces and the various results and examples about the secondary classes of foliations. Various dynamical properties of foliations are introduced and discussed, including expansion rate, local entropy, and orbit growth …
New weighted surface area measures for convex bodies with applications.
problem Generalizing surface area measures to weighted Borel measures.
method Formulating and analyzing weighted surface area measures, proving integral formula and Bézout-type inequality.
result New integral formula for mixed measure of three bodies, generalizing Bézout-type inequality.
Study on Borel Anosov subgroups in SL(d,R) for d≠5,8k±1.
problem Characterizing Borel Anosov subgroups in SL(d,R).
method Analysis of antipodal subsets and quasi-isometric embeddings.
result Borel Anosov subgroups are virtually free or hyperbolic surface groups.
Maximal and Borel Anosov representations in Sp(4,R) are proven to be Hitchin.
problem Characterizing representations of surface groups into Sp(4,R) that are Borel Anosov and maximal. method Proving representations are Hitchin if they have maximal Toledo invariant and are Borel Anosov.
result Maximal and Borel Anosov representations in Sp(4,R) are Hitchin. Proves summability of state integrals for specific hyperbolic knots.
problem Summability of perturbative series for hyperbolic knots.
method Algorithm to compute Borel-Laplace resummation as state integrals.
result Complete description of resurgent structure and explicit computations of Stokes constants.
An elementary proof shows submodular functions can be represented as measure suprema.
problem Representing submodular functions as supremum of measures.
method Elementary proof using standard extension theorem of measures.
result Submodular functions can be expressed as supremum of measures.
The framework of this paper is that of risk measuring under uncertainty, which is when no reference probability measure is given. To every regular convex risk measure on Cb(Ω), we associate a unique equivalence class of probability measures on Borel sets, characterizing the riskless non positive elements of $…
Defines magnitude for length spaces with measures, agreeing with finite spaces' magnitude.
problem Defining magnitude for non-finite metric spaces with measures.
method Integrals over geodesics, using counting and weight measures.
result Magnitude agrees with finite spaces' magnitude and volume under specific conditions.