Extends Fatou theorem to bounded harmonic maps.
problem Classical Fatou theorem for bounded harmonic functions.
method Extending theorem to bounded harmonic maps.
result Identifies bounded harmonic maps on unit disk with bounded measurable functions on boundary.
Proves theorem for Riemannian manifolds, extending previous work.
problem Proving Quantitative Fatou Theorem on Riemannian manifolds.
method Extending ε-approximation lemma to manifold setting.
result Proves Quantitative Fatou Theorem for Lipschitz domains on Riemannian manifolds.
We provide a characterization in terms of Fatou closedness for weakly closed monotone convex sets in the space of P-quasisure bounded random variables, where P is a (possibly non-dominated) class of probability measures. Applications of our results lie within robust versions the Fundamental Theo…
In this paper we study a class of functions that appear naturally in some equidistribution problems and that we call F-harmonic. These are functions of the universal cover of a closed and negatively curved which possess an integral representation analogous to the Poisson representation of harmonic functions, where th…
The paper explores properties of functions on Teichmüller space, proving theorems about limits and non-ergodicity.
problem Properties of bounded pluriharmonic and holomorphic functions on Teichmüller space.
method Analyzes the boundary behavior of functions and proves theorems about limits and non-ergodicity.
result Proves the existence of radial limits for bounded pluriharmonic functions and non-constant bounded holomorphic functions.
In this paper, we explore several Fatou-type properties of risk measures. The paper continues to reveal that the strong Fatou property, which was introduced in [17], seems to be most suitable to ensure nice dual representations of risk measures. Our main result asserts that every quasiconvex law-invariant functional on…
We provide a variety of results for (quasi)convex, law-invariant functionals defined on a general Orlicz space, which extend well-known results in the setting of bounded random variables. First, we show that Delbaen's representation of convex functionals with the Fatou property, which fails in a general Orlicz space, c…
The study extends classical results on harmonic functions to Riemannian manifolds with non-tangential boundary limits.
problem Extending classical results on harmonic functions to Riemannian manifolds with non-tangential boundary limits.
method Investigated the restricted mean-value property on Riemannian manifolds, focusing on non-tangential boundary behavior.
result Extended a classical result of Fenton to non-positively curved Harmonic manifolds of purely exponential volume growth.
Little is known about the global topology of the Fatou set U(f) for holomorphic endomorphisms f:CPk→CPk, when k>1. Classical theory describes U(f) as the complement in CPk of the support of a dynamically-defined closed positive (1,1) current. Given any closed positive $(…
The paper characterizes risk measures with the Fatou property in function spaces.
problem Investigating the Fatou property of law-invariant risk measures in function spaces.
method Characterization of the Fatou property using the AOCEA property and dual representations.
result Risk measures with the Fatou property exist under the AOCEA property in most classical model spaces.
In this paper we extend a recent result of Collin-Rosenberg ({\it a solution to the minimal surface equation in the Euclidean disc has radial limits almost everywhere}) to a large class of differential operators in Divergence form. Moreover, we construct an example (in the spirit of \cite{CR2}) of a minimal graph in $\…
New risk measures for incomplete markets without lattice structures.
problem Risk measures on incomplete markets without lattice structures.
method Study of risk measures without lattice structures, focusing on tractable dual representations and solid superspaces.
result Existence of a tractable dual representation equivalent to a Fatou-like property, and extension theorems under certain conditions.
New technique explains convergence in ML models with data modifications.
problem Understanding convergence of ML models under data changes.
method Analogue of Fatou's lemma and gamma-convergence.
result Relevance and applications in general ML tasks and domain adaptation.
We identify a large class of Orlicz spaces X for which the topology σ(X,Xn∼) fails the C-property introduced in [7]. We also establish a variant of the C-property and use it to prove a w∗-representation theorem for proper convex increasing functionals on dual Banach lattices that satisfy a suitable version …
Study dynamics of automorphisms on cubic surfaces and their connection to Painlevé 6.
problem Dynamics of holomorphic automorphisms on cubic surfaces and their relation to Painlevé 6.
method Defined Julia and Fatou sets, studied locally discrete and non-discrete dynamics, and proved existence of non-empty Fatou and Julia sets.
result Existence of non-empty Fatou and Julia sets for the group action.
Study of algebraic dynamics on Markov cubics in tropical geometry.
problem Understanding the dynamics of Markov cubics over non-archimedean fields.
method Tropicalization and (∞,∞,∞)-triangle reflection group on hyperbolic plane. result Existence of Fatou domain and finitude of orbits with rational points over prime power denominators.
Investigates the effects of nondominated sets of probability measures in robust models of finance.
problem Uncertainty in financial models due to multiple possible probability measures.
method Analyzes various results from mathematical finance literature under the assumption of nondominated sets of probability measures.
result Many classical results in robust models do not hold when the set of measures is nondominated.
An infinite family of generalized pseudo-Anosov homeomorphisms of the sphere S is constructed, and their invariant foliations and singular orbits are described explicitly by means of generalized train tracks. The complex strucure induced by the invariant foliations is described, and is shown to make S into a complex sp…
This paper presents relations between several types of closedness of a law-invariant convex set in a rearrangement invariant space X. In particular, we show that order closedness, σ(X,Xn∼)-closedness and σ(X,L∞)-closedness of a law-invariant convex set in $\mathc…
The study examines exceptional sets for radial limits of superharmonic functions on curved manifolds.
problem Understanding exceptional sets for radial limits of superharmonic functions on curved manifolds.
method Analysis of radial geodesic rays, Poisson integrals, Green potentials, and Riesz decomposition.
result Sharp bounds on Hausdorff dimensions of exceptional sets for superharmonic functions.
Dynamic risk measures follow law invariance principles over time.
problem Tackles dynamic risk measurement principles.
method Shows equivalence between adapted law invariance and recursive one-step conditional-law representation for time-consistent risk measures.
result Identifies adapted law invariance as the dynamic counterpart of ordinary law invariance.
We investigate a variety of stability properties of Haezendonck-Goovaerts premium principles on their natural domain, namely Orlicz spaces. We show that such principles always satisfy the Fatou property. This allows to establish a tractable dual representation without imposing any condition on the reference Orlicz func…
Let X be a subset of L1 that contains the space of simple random variables L and ρ:X→(−∞,∞] a dilatation monotone functional with the Fatou property. In this note, we show that ρ extends uniquely to a σ(L1,L) lower semicontinuous and dilatatio…
Let (Φ,Ψ) be a conjugate pair of Orlicz functions. A set in the Orlicz space LΦ is said to be order closed if it is closed with respect to dominated convergence of sequences of functions. A well known problem arising from the theory of risk measures in financial mathematics asks whether order closedness of a conve…
We construct a new type of locally homeomorphic quasiregular mappings in the 3-sphere and discuss their relation to the M.A.Lavrentiev problem, the Zorich map with an essential singularity at infinity, the Fatou's problem and a quasiregular analogue of domains of holomorphy in complex analysis. The construction of such…
Extends utility maximization theory for infinite horizons without strong no-arbitrage assumptions.
problem Maximizing lifetime utility from wealth over an infinite horizon.
method Develops a duality theory using deflators and supermartingale properties, extending previous work.
result Establishes a strong duality theorem for infinite horizon utility maximization under minimal no-arbitrage assumptions.
Study of dynamics on cubic surfaces and their connection to Painlevé 6 Equation.
problem Understanding the dynamics of automorphism groups on cubic surfaces.
method Analyzing holomorphic automorphisms and character varieties.
result Several open questions about the dynamics of automorphism groups.
We investigate the dynamics of semigroups generated by a family of polynomial maps on the Riemann sphere such that the postcritical set in the complex plane is bounded. The Julia set of such a semigroup may not be connected in general. We show that for such a polynomial semigroup, if A and B are two connected compo…
The paper resolves a problem about metric inequivalence and characterizes proper holomorphic maps.
problem Metric inequivalence and characterization of proper holomorphic maps.
method Explicit characterization of proper holomorphic maps from a finitely-connected planar domain onto the unit disk.
result Characterization of proper holomorphic maps from a finitely-connected planar domain onto the unit disk.
Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
A new comparison theorem for geometric spaces.
problem Geometric space comparison theorems.
method Relative form of Toponogov comparison theorem.
result New geometric space comparison theorem established.
Paper develops formulas and theorems in Hermitian geometry.
problem None explicitly stated in the abstract.
method Develops second variational formulas and index forms in Hermitian geometry.
result Establishes results analogous to classical theorems in Riemannian geometry.
The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.
problem Establishing theorems for subharmonic and holomorphic functions on specific geometric structures.
method Using subharmonic and holomorphic functions on Riemannian manifolds and gradient shrinking Ricci solitons.
result Proves Liouville type theorems as applications of the established theorems.
Revises a theorem by Thurston, finding a counter-example and a weaker version.
problem The bounded image theorem in Haken manifolds.
method Providing a counter-example and a weaker version of the second statement of Thurston's theorem.
result A counter-example and a weaker version of the second statement of Thurston's theorem are presented.
Proofs for Moon's theorem and its generalization.
problem Proving Moon's theorem and its generalization.
method Proofs based on key lemmas.
result Generalization of the four-vertex theorem.
We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and proofs available for supervised learning. To address this limitation, we propose to learn a neural generator that automatically synthesizes the…
Analyzes Saito vanishing theorem using L2 methods.
problem Proving the Saito vanishing theorem.
method Uses L2-methods to prove the theorem. result Analytic proof of the Saito vanishing theorem.
Investigates proving geometric theorems over complex and real numbers using tilings.
problem Proving incidence theorems over C and R using the master theorem.
method Formalizes tiling proofs and introduces a hierarchy of theorems based on topological spaces.
result Identifies which theorems can or cannot be proved over C and R.
Extends symplectic reduction and theorem to Lie algebroids.
problem Symplectic reduction and theorem for Lie algebroids.
method Extends Marsden-Weinstein reduction and Darboux-Moser-Weinstein theorems.
result Obtained coisotropic embedding theorem for symplectic Lie algebroids.
Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.
problem Complex Brunn-Minkowski theory and extension theorems.
method Hilbert bundle approach to complex Brunn-Minkowski theory.
result Generalizes Guan's sharp strong openness theorem and sharp Ohsawa-Takegoshi extension theorem.
Proves Thurston's bounded image theorem for Haken manifolds.
problem Proving Thurston's bounded image theorem for Haken manifolds.
method Using recent developments in Kleinian group theory.
result A proof of Thurston's original bounded image theorem.
Method upgrades limit theorems to mixing limit theorems for dynamical systems.
problem Improving limit theorems for dynamical systems.
method General method for upgrading limit theorems to mixing limit theorems.
result Mixing limit theorems for specific subbundles of the Kontsevich-Zorich cocycle.
Formulates Index III lemma and Rauch III theorem with applications.
problem Develops new mathematical theorems based on existing ones.
method Formulation of Index III lemma and Rauch III theorem based on Index I, II lemmas and Rauch I, II theorems.
result Presented Rauch's type theorem and volume comparison result as applications.
In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…
The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
Proves two theorems on odd-dimensional manifolds with boundary.
problem Proving theorems on manifolds with boundaries.
method Proof of theorems using mathematical techniques.
result Proved the general Kastler-Kalau-Walze and Dabrowski-Sitarz-Zalecki type theorems.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.
problem Evaluating theorem proving agents' ability to generalize to unseen theorems.
method INT benchmark based on a theorem generation and proof procedure with adjustable knobs for measuring 6 types of generalization.
result MCTS can help agents prove new theorems.