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.
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.
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.
The paper studies volume classes and Borel classes for dense group representations.
problem Understanding volume and Borel classes for dense representations of discrete groups.
method Utilizes tools from Kleinian groups and properties of hyperbolic manifolds.
result Volume classes are linearly independent and have additional properties.
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.
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.
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…
Complex equivalence classes found in graph homotopy.
problem Complexity of proper homotopy equivalence in graphs.
method Demonstrated Borel completeness and comeager equivalence classes.
result Complex equivalence classes exist in infinite graphs.
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.
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 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μ)\).
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.
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.
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.
If Γ<PSL(2,C) is a lattice, we define an invariant of a representation Γ→PSL(n,C) using the Borel class β(n)∈Hc3(PSL(n,C),R). We show that the invariant is bounded and its maximal value is attained by conjugation of t…
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…
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.
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.
Let G be a connected complex semi-simple group, B a Borel subgroup of G, and T a maximal torus in B. We construct a class of smooth T-stable subvarieties inside the flag variety G/B, each of which is an embedding of a product of projective lines.
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.
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.
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.
I construct the real counterparts (which I call Borel-Bott classes) of the R/Z classes constructed in "Characteristic classes in symplectic topology", to appear, in the cohomology of volume-preserving and symplectomorhisms of a compact (symplectic) manifold.I show that, for the symplectic action of the mapping class gr…
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 …
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.
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.
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…
Researchers prove a conjecture about a specific type of 3D space.
problem Guilloux's conjecture about the Borel function on a hyperbolic 3-manifold.
method Proved Guilloux's conjecture for a particular reflection group.
result The Borel function is rigid at infinity for the tetrahedral reflection lattice.
Study shows how nonstandard hulls can contain metric completions.
problem Characterizing the Heine-Borel property in metric spaces.
method Using nonstandard analysis and metric completions.
result Characterization of the Heine-Borel property in terms of inapproachable finite points.
Extends equivariant contact structure results to mod p L-spaces.
problem Equivariant contact structures on minimal L-spaces.
method Uses Serre spectral sequence of Borel Floer cohomology.
result Introduces two new numerical invariants.
New rigidity results for complex and quaternionic moment-angle manifolds.
problem Equivariant topological rigidity of complex and quaternionic moment-angle manifolds.
method Reduction to equivariant rigidity of quasitoric (or quoric) quotients and principal bundles.
result Full equivariant rigidity for manifolds with four-dimensional quoric quotients and primary rigidity for higher dimensions.
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.
This research analyzes the error convergence rate of GAN models.
problem Understanding the error convergence rate of GAN models.
method Applying Talagrand inequality and Borel-Cantelli lemma to establish a tight convergence rate.
result Established a tight convergence rate for the error of GAN models.
Study of ω-Borel invariant for representations into SL(n,Cω).
problem Characterizing representations into SL(n,Cω) using ω-Borel invariant. method Defined ω-Borel invariant βnω(ρω) for representations ρω:ΓightarrowSL(n,Cω), studied sequences of ω-bounded representations and their limits. result If a sequence of representations ρl into SL(2,C) determines a reducible action on the asymptotic cone Cω(H3,d/λl,O), then β2ω(ρω)=0. Proves algebraicity of maps to hyperbolic varieties using specialization techniques.
problem Analytic maps to hyperbolic varieties over complex numbers.
method Transcendental specialization technique.
result Proves equivalence of algebraicity and Borel hyperbolicity for certain maps.
New representations of surface groups into higher-dimensional PSL generalize pleated surfaces.
problem Generalizing pleated surfaces to higher-dimensional PSL groups.
method λ-Borel Anosov representations of surface groups into PSL_d(C).
result Holomorphic parametrization of space of (λ,d)-pleated surfaces.
Quantum dilogarithm function proven from a linear difference equation.
problem Proving Faddeev's quantum dilogarithm from a linear difference equation.
method Proved Faddeev's quantum dilogarithm using Borel summation of a formal power series solution of a linear difference equation.
result Borel summation of a formal power series solution produces Faddeev's quantum dilogarithm.
Geometrically connects Laplace eigenfunctions to Borel-Weil theory on symmetric spaces.
problem Understanding the spectral properties of Laplace-Beltrami operators on Riemannian symmetric spaces.
method Using symplectic geometry and geometric quantization, associating flag manifolds to symmetric spaces and relating their Satake diagrams.
result Harmonic polynomials on flag manifolds induce all eigenfunctions on symmetric spaces.
Study K3 manifold bundles proving Miller--Morita--Mumford classes non-zero.
problem Proving non-zero characteristic classes for K3 manifold bundles.
method Two methods: Franke's stable cohomology result and Miller--Morita--Mumford classes.
result Proves non-zero characteristic classes for certain bundles.
For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We sh…
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.
New 4D shapes found that defy smoothness rules.
problem Smoothness rules in 4D shapes don't always hold.
method Applied reflection group trick to exotic 4-manifolds.
result Found counterexamples to smooth Borel conjecture.
Paper solves quantum differential equations for projective bundles using Borel multitransforms.
problem Integration of quantum differential equations for P1-bundles. method Introduced Borel (α,β)-multitransforms to reconstruct solutions. result Quantum analog of Leray-Hirsch theorem for quantum cohomology of P1-bundles. Study shows fast rates for inverse reinforcement learning with linear rewards.
problem Entropy-regularized min-max inverse reinforcement learning in finite-horizon MDPs.
method Structural and statistical analysis of Min-Max-IRL with pseudo-self-concordance.
result Both trajectory-level KL divergence and parameter error decay at O(n−1). Mathematical structures link Gromov-Witten to Donaldson-Thomas invariants.
problem Understanding non-perturbative topological string theory.
method Borel summation of Gromov-Witten potential and analysis of Stokes phenomena.
result Stokes phenomena encode Donaldson-Thomas invariants of the resolved conifold.