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.
I have chosen, in this presentation of Deformation Quantization, to focus on 3 points: the uniqueness --up to equivalence-- of a universal star product (universal in the sense of Kontsevich) on the dual of a Lie algebra, the cohomology classes introduced by Deligne for equivalence classes of differential star products …
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.
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.
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.
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.
This paper offers a mathematical introduction to GANs.
problem Understanding GANs from a mathematical perspective.
method Mathematical analysis of GANs.
result Provides clarity for math-oriented students.
Computer-generated proofs led to a mathematical result.
problem Discovering a mathematical result through computer-generated proofs.
method Combining computer-generated, human-readable proofs with mathematical abstraction.
result Abstracted lemma leading to an interesting mathematical result.
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.
Defines mathematical Coulomb branches for 3D gauge theories.
problem Mathematical definition of Coulomb branches in 3D gauge theories.
method Provisional mathematical definition based on existing work.
result Provides a new framework for understanding gauge theories.
Explains isometric immersions and their applications.
problem Isometric immersions and their applications in math and physics.
method Historical overview and applications.
result Explains the importance and applications of isometric immersions.
Mathematical model predicts international trade and global economy dynamics.
problem Understanding complex international trade and economy interactions.
method Developed a mathematical model for non-equilibrium processes in open systems.
result Predicted model accurately reflects international trade and economy.
Quantum cohomology connects quantum physics with classical math.
problem Quantum cohomology's relevance in modern mathematics.
method Informal review and discussion of connections.
result Quantum cohomology still has significant relevance in mathematics.
Higher topos theory applied to physics.
problem No specific problem stated.
method Exposition of higher topos theory.
result No specific key result mentioned.
Improves recommender systems using mathematical principles.
problem Accuracy and speed of recommender systems.
method Explains and analyzes mathematical principles and algorithms.
result Describes the strengths and weaknesses of mathematical distance methods.
Abstracts Higgs bundles without diving into geometry.
problem Understanding Higgs bundles without geometry.
method Informal linear algebra approach.
result Anticipates deeper structure in Higgs bundles moduli space.
This paper evaluates neural models' mathematical reasoning abilities.
problem Evaluating neural models' capability in solving mathematical problems.
method Developed a task suite of mathematics problems, analyzed two sequence-to-sequence architecture classes.
result Notable differences in models' ability to solve and generalize mathematical problems.
Lean 4 library formalizes mathematical finance, verifying over 200 theorems.
problem Formal verification of complex financial mathematics.
method Lean 4 proof assistant, Mathlib, BrownianMotion package, formal verification of over 200 theorems.
result Formal verification yields certified unification of known financial results.
These lecture notes review the topological string theory and its applications to mathematics and physics. They expand on material presented at the Takagi Lectures of the Mathematical Society of Japan on 21 June 2008 at Department of Mathematics, Kyoto University.
Defines mathematical Coulomb branches for 3D gauge theories.
problem No specific problem stated; defines mathematical concept.
method Mathematical definition of Coulomb branches for 3D gauge theories.
result Provisional mathematical definition of Coulomb branches.
A tribute to Norbert A'Campo's life and mathematics.
problem None explicitly stated in the abstract.
method None explicitly stated in the abstract.
result No specific key result mentioned.
Mathematical framework for language models processes text and predicts next tokens.
problem Understanding and optimizing the performance of large language models.
method Describes encoding, prediction models, learning from data, and deployment of LLMs.
result Demonstrates remarkable empirical successes and provides a platform for further research.
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.
Jones Polynomial shows unity in math.
problem No specific problem stated.
method Discussion of Jones Polynomial.
result Illustrates unity between different mathematical fields.
Survey article on Kahler-Einstein metrics and algebraic geometry.
problem Understanding Kahler-Einstein metrics in algebraic geometry.
method Not specified in the abstract, likely involves mathematical analysis and algebraic geometry techniques.
result Discussion of recent developments and challenges in the field.
Optimal binning method for numeric targets using mathematical programming.
problem Optimizing the discretization of numeric variables for classification.
method Mathematical programming formulation for binary, continuous, and multi-class targets with constraints.
result Convex mixed-integer programming formulations for all target types.
Recent years have seen noteworthy progress in the mathematical formulation of quantum field theory and perturbative string theory. We give a brief survey of these developments. It serves as an introduction to the more detailed collection "Mathematical Foundations of Quantum Field Theory and Perturbative String Theory".
Paper proves mathematically that poisoning datasets can be detected.
problem Detecting data poisoning attacks in datasets.
method Mathematical definition and Conformal Separability Test.
result Dataset poisoning can be effectively detected.
Lean 4 library formalizes mathematical finance, verifying over 200 theorems.
problem Formal verification of complex financial mathematics.
method Lean 4 proof assistant, Mathlib, and BrownianMotion package.
result Formal verification yields certified unification of known results.
Salzmann's legacy in mathematics documented.
problem Mathematical challenges faced by Salzmann.
method Comprehensive review of Salzmann's work and bibliography.
result Salzmann's far-reaching influence in mathematics.
Sullivan discusses his contributions to math and physics.
problem None explicitly stated in the abstract.
method Personal overview of Dennis Sullivan's work.
result Sullivan's work spans mathematics and physics.
Study of influenza A virus spread using mathematical equations.
problem Understanding the spread of influenza A virus infection.
method Mathematical model and analysis of dynamical system.
result Surface trajectories and asymptotic behavior of the system.
Extended a mathematical inequality by Andrews.
problem Mathematical inequality by Andrews.
method Proved extensions of Andrews inequality.
result Extended mathematical inequality by Andrews.
We provide an introduction to selected recent advances in the mathematical understanding of Einstein's theory of gravitation.
1. Translated by Thomas E. Cecil, Department of Mathematics and Computer Science, College of the Holy Cross, Worcester, MA 01610, USA; E-mail address: cecil@mathcs.holycross.edu 2. Typed by Wenjiao Yan, School of Mathematical Sciences, Laboratory of Mathematics and Complex Systems, Beijing Normal University, Beijing 10…
Ray-Singer torsion is a mathematical concept with applications in physics.
problem No specific problem stated in the abstract.
method No specific method stated in the abstract.
result No specific key result stated in the abstract.
Transformer models can solve complex math problems with less data.
problem Solving complex symbolic mathematics problems with limited data.
method Pretrain transformer models on language translation tasks and fine-tune for symbolic math.
result Pretrained transformer models achieve comparable accuracy to state-of-the-art models with less data.
Golden age of mathematical finance in the late 20th century.
problem Foundations of mathematical finance during the late 20th century.
method Collaboration between economists and probabilists.
result Established two fundamental theorems of arbitrage theory and close formulas for options.
Review of mathematical representations for biomolecular data.
problem Complexity and high dimensionality of biomolecular datasets hinder ML applications.
method Developed low-dimensional and scalable mathematical representations using algebraic topology, differential geometry, and graph theory.
result Mathematical representations improve protein-ligand binding predictions and other biomolecular applications.
Explores polyfold and Fredholm theory for complex mathematical structures.
problem None explicitly stated; focuses on theory.
method Theoretical development and reference.
result Theoretical advancements in polyfold and Fredholm theory.
This article reviews mathematical insights into neural networks and machine learning.
problem Understanding the success and subtleties of neural network-based machine learning.
method Rigorous mathematical analysis, numerical experiments, and simplified models.
result Identification of open problems in the field.
Mathematicians link candy pulling devices to complex maps.
problem Understanding the mechanics of taffy pullers.
method Examining patent literature and introducing a new model.
result A new mathematical model of taffy pullers discovered.
The aim of this paper is to discuss some applications of general topology in computer algorithms including modeling and simulation, and also in computer graphics and image processing. While the progress in these areas heavily depends on advances in computing hardware, the major intellectual achievements are the algorit…
Benchmark for math reasoning models from human proofs.
problem Measuring and accelerating machine learning models in high-level mathematical reasoning.
method Built a non-synthetic dataset from theorem prover proofs, defined a task for model to fill in missing propositions, used hierarchical transformer to improve performance.
result Neural models can capture non-trivial mathematical reasoning, hierarchical transformer outperforms baseline.
This paper presents relevant modern mathematical formulations for (classical) gauge field theories, namely, ordinary differential geometry, noncommutative geometry, and transitive Lie algebroids. They provide rigorous frameworks to describe Yang-Mills-Higgs theories or gravitation theories, and each of them improves th…