Lecture notes on math methods for classical physics.
problem No specific problem stated; covers classical physics methods.
method Mathematical methods in Lagrangian, Hamiltonian, and field theories.
result Comprehensive coverage of classical physics theories.
Historical note on unsolved complex structure existence problem.
problem Does S6 have a complex structure? method Historical overview and conference discussion.
result No definitive answer to the existence of complex structures on S6. Paper proves existence of Lévy term structure models.
problem Existence proof for Lévy term structure models.
method Proof of existence and uniqueness for Heath-Jarrow-Morton type equation.
result Full proof of existence and uniqueness of Lévy term structure models.
TopicEq model generates equations and text from scientific papers.
problem Communicating ideas in scientific texts using both mathematics and text.
method Joint topic and equation generation model using correlated topic model and RNN.
result Joint model outperforms existing topic and equation models for scientific texts.
Math proves deep learning unstable, despite stable neural networks existing.
problem Unstable neural networks in deep learning despite stable ones existing.
method Mathematical proof showing instability of current training procedures.
result Proven existence of stable and accurate neural networks with variable dimensions, but current algorithms cannot compute them.
Explains Conway's tangle trick and its mathematical origins.
problem Understanding the relationship between braids and elliptic curves.
method Discusses the tangle trick, its mathematical underpinnings, and historical context.
result Establishes the connection between braids and elliptic curves.
We give a mathematical foundation for, and numerical demonstration of, the existence of mean curvature 1 surfaces of genus 1 with either two elliptic ends or two hyperbolic ends in de Sitter 3-space. An end of a mean curvature 1 surface is an ``elliptic end'' (resp. a ``hyperbolic end'') if the monodromy matrix at the …
This paper studies dynamic stochastic optimization problems parametrized by a random variable. Such problems arise in many applications in operations research and mathematical finance. We give sufficient conditions for the existence of solutions and the absence of a duality gap. Our proof uses extended dynamic programm…
This paper surveys and classifies attribute-aware CF models.
problem Rating prediction with user and item attributes.
method Mathematical classification of attribute-aware CF models into four categories.
result Comprehensive comparison of effectiveness among different categories.
Mathematical framework for transfer learning feasibility and transfer risk.
problem Theoretical analysis of transfer learning.
method Reformulated transfer learning as an optimization problem, introduced transfer risk concept.
result Demonstrated the potential and benefits of incorporating transfer risk in transfer learning evaluation.
Mathematical framework for differential machine learning in finance.
problem Theoretical assumptions in financial models and their impact on machine learning algorithms.
method Rigorous mathematical framework for differential machine learning in finance.
result Theoretical grounding enhances the predictive capabilities of neural networks in financial applications.
Mathematical conditions and practical computations for adversarial robustness measures are established.
problem Existence, uniqueness, and scalability of adversarial robustness measures for AI classifiers.
method Formulated and proven mathematical conditions for existence, uniqueness, and explicit analytical computation of minimal adversarial paths and distances. Practical computation demonstrated on various AI tools and synthetic benchmarks.
result Explicit mathematical conditions and practical computations for adversarial robustness measures are established.
The paper proves geometric properties of square tables and saddle surfaces.
problem The mathematical table problem from a geometric-topological perspective.
method Geometric-topological proofs on cylinder, saddle surfaces, and level sets of Fenn graphs.
result Zero-existence theorem on a cylinder, proving Fenn's square-table theorem under different boundary conditions.
The Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance, is a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this p…
A deep learning approach generates math word problems in multiple languages.
problem Template-based mechanisms for generating mathematical word problems lack customizability and creativity.
method Character Level Long Short Term Memory Network (LSTM) and POS tags are used to generate and resolve constraints in generated problems.
result The approach generates accurate math word problems in English and Sinhala with over 90% accuracy.
Study proves existence of global solutions for Standard Model on expanding spacetimes.
problem Existence of global solutions for the Standard Model on expanding spacetimes.
method Gauge-invariant energy estimate for the Euler-Lagrange equations.
result Existence of global solutions for the Standard Model under specific conditions.
No universal trading strategy exists due to mathematical impossibilities.
problem The impossibility of universally winning trading strategies in competitive markets.
method Three mathematical paradigms: measure-theoretic, No-Free-Lunch theorem, and adversarial Cantor diagonalization.
result No-arbitrage and free-lunch principles are mathematically precluded in competitive markets.
Develops a mathematical model for CLMM dynamics in DeFi.
problem Analyzing CLMMs in continuous time trading.
method Modeling CLMM dynamics as measure-valued processes, examining three arbitrage models.
result Trading fees limit admissible price processes, impacting CLMM design.
The paper discusses when spacetimes have constant mean curvature slices, an important but unknown condition.
problem The existence of constant mean curvature (CMC) Cauchy surfaces in spacetimes is crucial but not always guaranteed.
method Expository review of existing results and conjectures about CMC slices in spacetimes.
result It is not known whether spacetimes with CMC slices are generic, highlighting an important open problem.
Motivated by the desire to bridge the gap between the microscopic description of price formation (agent-based modeling) and the stochastic differential equations approach used classically to describe price evolution at macroscopic time scales, we present a mathematical study of the order book as a multidimensional cont…
The braneworld theory appear with the purpose of solving the problem of the hierarchy of the fundamental interactions. The perspectives of the theory emerge as a new physics, for example, deviation of the law of Newton's gravity. One of the principles of the theory is to suppose that the braneworld is local submanifold…
We start recalling with critical eyes the mathematical methods used in gauge theory and prove that they are not coherent with continuum mechanics, in particular the analytical mechanics of rigid bodies or hydrodynamics, though using the same group theoretical methods and despite the well known couplings existing betwee…
Machine learning needs stronger mathematical foundations for scientific applications.
problem Lack of rigorous mathematical foundations for machine learning in scientific and engineering contexts.
method Further mathematical developments and incorporation of prior knowledge and inductive biases.
result Stronger mathematical rigor is essential for reliable and interpretable machine learning results in scientific fields.
Mathematical model describes how red blood cells return to equilibrium.
problem How red blood cells regain equilibrium after deformation.
method Gradient flow of the Canham-Helfrich functional, proving global existence and convergence for spheres and axisymmetric tori.
result Global existence and convergence of smooth solutions for spheres and axisymmetric tori under specific energy conditions.
Francy enhances GAP for interactive discrete math with web technologies.
problem Lack of abstraction and portability in XGAP for GAP.
method Develops Francy, a graphical semantics package for GAP, integrating web technologies.
result Enhanced usability and accessibility of GAP with rich graphical environment.
Survey on modeling event sequences through temporal processes.
problem Modeling phenomena with sequences of events over continuous time.
method Probabilistic models based on point processes, categorized into simple, marked, and spatio-temporal.
result Analysis of existing approaches and their applicability to prediction and modeling.
In mathematical Finance calculating the Greeks by Malliavin weights has proved to be a numerically satisfactory procedure for finite-dimensional Itô-diffusions. The existence of Malliavin weights relies on absolute continuity of laws of the projected diffusion process and a sufficiently regular density. In this article…
Mathematical advances needed for Digital Twins, differing from traditional models.
problem Foundational mathematical advances required for Digital Twins.
method Multi-scale, multi-physics modeling and coupling, different reliability criteria and uncertainty assessments.
result AI/ML methods can perform well in biomedical problems but fail in simple engineering systems.
We consider an infinite dimensional optimization problem motivated by mathematical economics. Within the celebrated "Arbitrage Pricing Model", we use probabilistic and functional analytic techniques to show the existence of optimal strategies for investors who maximize their expected utility.
Paper defines XAI concepts using category theory.
problem Lack of precise mathematical definitions for XAI.
method Uses Category theory to define XAI concepts rigorously.
result Establishes a theoretical foundation for XAI.
Advanced mathematical relativity course for math and physics students.
problem Mathematical foundations of general relativity.
method Comprehensive lecture notes covering advanced topics.
result Comprehensive coverage of mathematical relativity for advanced students.
Non-unique option pricing in Heston model analyzed mathematically.
problem Non-uniqueness of call option prices in the Heston model.
method Analysis of degenerate parabolic equations in the context of option pricing.
result Construction of a new example demonstrating the accuracy of a uniqueness theorem.
The paper surveys mathematical results on filtration enlargement with financial examples.
problem Mathematical finance applications of filtration enlargement theory.
method Exhaustive survey and interpretation of key results from literature.
result Provides a compendium of known mathematical results for mathematical finance researchers.
Mathematical general relativity reviewed.
problem Challenges in mathematical modeling of general relativity.
method Selected topics reviewed.
result Insights into mathematical models of general relativity.
A new mathematical framework simplifies securitization structuring.
problem Challenges in structuring asset-backed securities.
method PEAL Method: a 10-step mathematical framework.
result Enhances risk characterization and market transparency.
Sequences of Nilsson type appear in abundance in Algebraic Geometry, Enumerative Combinatorics, Mathematical Physics and Quantum Topology. We give an elementary introduction on this subject, including the definition of sequences of Nilsson type and the uniqueness, existence, and effective computation of their asymptoti…
AI aids in mathematics research and problem-solving.
problem Complex mathematical problems and discoveries.
method Explains AI principles and diverse applications in math.
result AI assists in discovering patterns, proving theorems, and challenging conjectures.
A discrete time probabilistic model, for optimal equity allocation and portfolio selection, is formulated so as to apply to (at least) reinsurance. In the context of a company with several portfolios (or subsidiaries), representing both liabilities and assets, it is proved that the model has solutions respecting constr…
AI mirrors modern math's autonomous development, raising interpretive challenges.
problem AI's effectiveness in math mirrors historical autonomy of math.
method Analyzes historical evolution of modern mathematics and AI's role.
result AI's affinity with math's historical autonomy suggests interpretive limits.
Self-supervised skip-tree training improves mathematical reasoning in language models.
problem Improving logical reasoning in language models for formal mathematics.
method Self-supervised language modeling on mathematical formulas, skip-tree task.
result Models trained on skip-tree task outperform standard models in mathematical reasoning tasks.
Thurston's influence on French math traced and problems solved.
problem Major problems in French math traced back to Thurston.
method Overview and survey of Thurston's influence and results.
result French math problems rooted in Thurston's work.
Study proves solutions to nonlocal operator obstacle problems, including financial models.
problem Existence, uniqueness, and regularity of viscosity solutions to obstacle problems with nonlocal operators.
method Proved existence, uniqueness, and regularity using viscosity solutions; provided sufficient conditions for Hölder and Lipschitz continuity.
result Viscosity solutions for nonlocal operators in financial models match option prices.
Invites readers to a mathematical journey with historical and contemporary mathematicians.
problem None explicitly stated, focuses on mathematical exploration.
method Exploration through historical and contemporary mathematicians, various mathematical concepts.
result Illustrates the interconnectedness of mathematics through historical and contemporary perspectives.
This article focuses on the mathematical problem of existence and uniqueness of BSDE with a random terminal time which is a general random variable but not a stopping time, as it has been usually the case in the previous literature of BSDE with random terminal time. The main motivation of this work is a financial or ac…
Solves four problems related to sphere families in 3D space.
problem Four basic problems of sphere families in Euclidean 3-space.
method Solves all four basic problems of sphere families in Euclidean 3-space.
result All four basic problems are solved.
Paper analyzes inclusive KL inference using Wasserstein gradient flows.
problem Analyzing inclusive KL inference with mathematical tools.
method Gradient flows derived from PDE analysis.
result Unified view of existing sampling algorithms as inclusive-KL inference.
Minimal twin surfaces are found in material science, resembling crystal twins.
problem Finding mathematical and physical existence of twin surfaces.
method Employed Brakke's Surface Evolver to construct and analyze minimal twin surfaces.
result Strong evidence for the existence of D and G twins, and new cubic polyhedral models for G twins.
No de Sitter black rings with ring topology exist.
problem Existence of de Sitter black rings with ring topology.
method Used a mathematical theorem related to energy conditions and modified Ricci tensors.
result De Sitter black rings with vanishing surface gravity do not exist.