The Mittag-Leffler theorem is extended to meromorphic curves and minimal surfaces.
problem Extending the Mittag-Leffler theorem to meromorphic curves and minimal surfaces.
method Established a Mittag-Leffler-type theorem for meromorphic curves and minimal immersions, including interpolation and approximation.
result Complete minimal ends in R^5 are generically embedded, and open Riemann surfaces are characterized for minimal surfaces.
In this paper, we prove a uniform approximation theorem with interpolation for complete conformal minimal surfaces with finite total curvature in the Euclidean space Rn (n≥3). As application, we obtain a Mittag-Leffler type theorem for complete conformal minimal immersions M→Rn on any ope…
The paper defines a new condition for Fano manifolds and shows its implications on their asymptotic behavior.
problem Understanding the asymptotic behavior of Fano manifolds.
method Introducing the asymptotically Mittag-Leffler condition and proving its implications on the J-function. result The J-function of a Fano manifold exhibits exponential growth if it is asymptotically Mittag-Leffler. Extends rough Heston model solution to general λ.
problem Improving the rough Heston model for various λ values.
method Generalized rational approximation for Mittag-Leffler kernel.
result Convergence of the solution for general λ.
The paper develops theory for holomorphic null curves in SL2(C).
problem Developing theory for holomorphic null curves in SL2(C).
method Establish Runge, Mergelyan, Mittag-Leffler, and Carleman type theorems for holomorphic null immersions.
result Proves every open Riemann surface admits a proper holomorphic null embedding into SL2(C).
Possible distributions are discussed for intertrade durations and first-passage processes in financial markets. The view-point of renewal theory is assumed. In order to represent market data with relatively long durations, two types of distributions are used, namely, a distribution derived from the so-called Mittag-Lef…
We analyse the dynamics of the Warsaw Stock Exchange index WIG at a daily time horizon before and after its well defined local maxima of the cusp-like shape decorated with oscillations. The rising and falling paths of the index peaks can be described by the Mittag-Leffler function superposed with various types of oscil…
This paper focuses on the development of harmonic and Clifford analysis techniques in the context of some conformally flat manifolds that arise from factoring out a simply-connected domain from Rn by special arithmetic subgroups of the conformal group. Our discussion encompasses in particular the Hopf manifold $S^1 …
The paper proves a Whitehead theorem for fine shape spaces.
problem Proving a Whitehead theorem for fine shape spaces.
method Using Steenrod-Sitnikov homotopy groups and ind-groups.
result Fine shape morphisms are equivalences if they induce isomorphisms on π_i.
The fractional Poisson process (FPP) is a counting process with independent and identically distributed inter-event times following the Mittag-Leffler distribution. This process is very useful in several fields of applied and theoretical physics including models for anomalous diffusion. Contrary to the well-known Poiss…
In this paper we prove that if we consider the standard real metric on simplicial rooted trees then the category Tower-Set of inverse sequences can be described by means of the bounded coarse geometry of the naturally associated trees. Using this we give a geometrical characterization of Mittag-Leffler property in inve…
Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This paper is primarily concerned with the case of compacta, in which Steenrod homot…
This chapter is an attempt to present a mathematical theory of compound fractional Poisson processes. The chapter begins with the characterization of a well-known Lévy process: The compound Poisson process. The semi-Markov extension of the compound Poisson process naturally leads to the compound fractional Poisson proc…
For oriented manifolds of dimension at least 4 that are simply connected at infinity, it is known that end summing is a uniquely defined operation. Calcut and Haggerty showed that more complicated fundamental group behavior at infinity can lead to nonuniqueness. The present paper examines how and when uniqueness fails.…
The continuous-time random walk (CTRW) is a pure-jump stochastic process with several applications in physics, but also in insurance, finance and economics. A definition is given for a class of stochastic integrals driven by a CTRW, that includes the Ito and Stratonovich cases. An uncoupled CTRW with zero-mean jumps is…
We address two shortcomings in online travel time estimation methods for congested urban traffic. The first shortcoming is related to the determination of the number of mixture modes, which can change dynamically, within day and from day to day. The second shortcoming is the wide-spread use of Gaussian probability dens…
Study of coupled Hawkes processes with rough-volatility limits.
problem Understanding coupled Hawkes processes with rough-volatility limits.
method Proving weak convergence of rescaled intensity vector to stochastic Volterra equations.
result Limiting components exhibit different degrees of roughness and cross-decorrelation law.
NeuroMem-FHP framework estimates FHP parameters efficiently.
problem Estimating parameters of fractional Hawkes process (FHP) with long-range dependence.
method Developed LSTM and Transformer neural architectures to estimate FHP parameters directly from inter-arrival times.
result Transformer achieves highest estimation accuracy (MSE = 0.1634) compared to classical MLE (MSE = 2.8032).
AI generates theorems and proofs for training theorem provers.
problem Limited human-written theorems and proofs for supervised learning.
method Proposes a neural generator to automatically synthesize theorems and proofs.
result Synthetic data improves automated theorem proving in Metamath.
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.
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.
A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.
Abstracts a theorem for non-smooth maps in infinite dimensions.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Atiyah-Singer theorem links math fields, predicts topological insights.
problem Understanding the interplay between analysis, geometry, and topology.
method Analyzes and generalizes topological invariants in differential geometry.
result Predicts the index of elliptic operators based on topology.
Paper generalizes a theorem for real analytic singularities.
problem No specific problem stated; focuses on generalization.
method Generalization of a theorem for complex singularities.
result Generalized Join theorem for real analytic singularities.
The paper proves injectivity and vanishing theorems on compact Kahler manifolds.
problem Injectivity and vanishing theorems on compact Kahler manifolds.
method Hodge theory, Bochner-Kodaira-Nakano identity, analytic method, transcendental method, Demailly-Peternell-Schneider equisingular approximation theorem, Hormander L2 estimates.
result The main injectivity theorem implies several Nadel type vanishing theorems.
Several proofs of Fáry--Milnor theorem are presented.
problem Fáry--Milnor theorem
method Sketches several proofs
result Proofs of Fáry--Milnor theorem
Reidemeister's theorem proved using smooth functions and transversality.
problem Proving Reidemeister's theorem
method Using smooth functions and transversality
result Reidemeister's theorem proved
Proves an analytic Bertini theorem, generalizing previous work.
problem Generalizing previous results in algebraic geometry.
method Analytic Bertini theorem proof.
result Generalizes previous results in algebraic geometry.
This note explores comparison geometry concepts and theorems.
problem Exploring various comparison theorems in geometry.
method Analyzes Rauch and Toponogov theorems and their applications.
result Introduction of Gromov-Hausdorff convergence and Alexandrov Spaces.
Proof of Tait-Kneser theorem and related variations using Lorentzian geometry.
problem Proving variations of the Tait-Kneser theorem for different conics.
method Using Lorentzian geometry to prove the theorem and its variations.
result Proof of the theorem and its variations concerning different conics.
Proves Skoda's Division Theorem using degeneration and positivity of direct image bundles.
problem Division Theorem in Skoda's context
method Degeneration approach inspired by B. Berndtsson and L. Lempert's L2 extension theorem result Simplified and extended proof of L2 extension theorem