Paper discusses the Fisher metric and differentiability in statistical models.
problem Understanding the relationship between Fisher metric and differentiability in statistical models.
method Comparison of different concepts and models in Information Geometry, mathematical statistics, and measure theory.
result Discussion of various models and their differentiability properties.
The paper explains knowledge distillation by analyzing visual concepts in DNNs.
problem Understanding how knowledge distillation affects the learning of visual concepts in deep neural networks.
method The paper proposes three hypotheses and designs mathematical metrics to evaluate feature representations of DNNs.
result The hypotheses were verified through experiments on various DNNs.
Bayesian model predicts sequences better than LSTMs by identifying underlying rules.
problem Current RNNs struggle to generalize from limited training data and identify underlying rules in sequences.
method Bayesian model that learns underlying concepts from sequences and generalizes to new data.
result Bayesian model predicts sequences better than traditional LSTMs.
Explains how to combine Lie groups orthogonally.
problem Combining Lie groups orthogonally.
method Definitions and concepts in each section.
result Main idea explained.
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.
Prob2Vec embeds problems for adaptive tutoring, achieving high similarity accuracy.
problem Retrieve problems with similar mathematical concepts for adaptive tutoring.
method Hierarchical problem embedding algorithm (Prob2Vec) combining abstraction and embedding steps.
result 96.88% accuracy on problem similarity test, significantly outperforming state-of-the-art sentence embedding methods.
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.
In this paper, we briefly discuss a mathematical concept that can be used in economics.
Mathematical analysis of Prytz planimeter using sub-Riemannian geometry.
problem Historical use of Prytz planimeter to approximate areas.
method Sub-Riemannian geometry and connections/horizontal lifts.
result Mathematical description and analysis of Prytz planimeter.
The concept of closed trapped surface is of paramount importance in General Relativity and other gravitational theories. However, it is a purely geometrical object. With the aim of bringing this concept to closer attention by the mathematical community, I introduce the generalized idea of trapped submanifold by using t…
The concept of a symplectic structure first appeared in the works of Lagrange on the so-called "method of variation of the constants". These works are presented, together with those of Poisson, who first defined the composition law called today the "Poisson bracket". The method of variation of the constants is presente…
Introduces machine learning basics for engineers.
problem Understanding machine learning concepts for engineers.
method First principles, probabilistic models, algorithms, literature pointers.
result Unified framework for supervised and unsupervised learning.
We review origins and main properties of the most important bracket operations appearing canonically in differential geometry and mathematical physics in the classical, as well as the supergeometric setting. The review is supplemented by a few new concepts and examples.
Paper shows equivalence between MM and PH for n-D Morse functions.
problem Relationship between Mathematical Morphology and Persistent Homology.
method Examined pairing of extrema in Morse functions using dynamics and persistence.
result Equivalence proven between dynamics and persistence on n-D Morse functions.
Study uses crochet to visualize non-Euclidean geometry.
problem Understanding non-Euclidean surfaces through physical models.
method Parametrization of crochet models to represent Lobachevskian surface.
result Crochet models reflect non-Euclidean geometry characteristics.
We formalize financial concepts and prove Cox-Ross-Rubinstein model completeness.
problem Proving completeness of financial models.
method Formalization in Isabelle/HOL, proving completeness under no-arbitrage condition.
result Every derivative product in Cox-Ross-Rubinstein model has a unique fair price.
Equivalence shown between two mathematical concepts for hyperbolic surfaces.
problem None explicitly stated, but related to mathematical equivalence of concepts.
method Benjamini-Schramm convergence and zeta functions equivalence demonstration.
result Equivalence of Benjamini-Schramm convergence and zeta functions for compact hyperbolic surfaces.
Unified Growth Theory debunked: economic growth is insecure and unsustainable.
problem The mystery of the great divergence in income per capita.
method Analysis of economic data to show that growth trajectories are increasing vertically over time.
result Unified Growth Theory is incorrect and promotes misleading concepts.
Proposes a simple method to represent and manipulate concepts using polynomials and moment statistics.
problem Lack of a mathematical framework to define and operate on concepts.
method Characterizes concepts as zero sets of polynomials and uses moment statistics for representation; proposes a dictionary-based method to learn hierarchical structures.
result Signature of concepts can be used to discover common structures and recursively produce higher-level concepts.
Survey on advanced gauge theory concepts.
problem Understanding higher gauge theory structures.
method Introduction to higher structures and connections on higher principal bundles.
result Summarized applications and principles of higher gauge theories.
The paper models and prices cyber insurance risks, distinguishing idiosyncratic, systematic, and systemic risks.
problem Modeling and pricing cyber insurance policies, especially for systemic risks.
method Distinguishes three types of cyber risks and proposes methods for their valuation.
result Complex methods are needed for systemic cyber risks, including risk-neutral valuation and monetary risk measures.
This tutorial explains FCA and its applications in data analysis.
problem Data representation and analysis challenges.
method Formal Concept Analysis (FCA) as a mathematical tool for knowledge representation and data analysis.
result FCA is a powerful tool for knowledge representation and data analysis.
Paper defines and equates loop braid groups, a mathematical concept.
problem Defining and equating loop braid groups.
method Introducing distinct approaches and proving their equivalence.
result Unified definitions of loop braid groups and their equivalence.
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.
The paper applies math and physics to language models, introducing entropy and geometric concepts.
problem Understanding and improving language models to approximate intelligent language.
method Formal definitions, functional analysis, topology, thermodynamics, and set theory.
result Entropy function reveals key obstacles for LLMs and offers insights into language models.
Paper formalizes Simon's satisficing through FFSD, proving its equivalence to expected utility theory.
problem Formalizing Herbert Simon's bounded rationality concept in economic decision-making.
method Developed FFSD framework using Lean 4 theorem prover, proving equivalence to expected utility theory.
result Equivalence theorem linking FFSD to expected utility maximization for approximate indicator functions.
Active learning framework for strict partial orders from concept prerequisite relations.
problem Lack of large-scale labels for mining strict partial order relations.
method Active learning framework incorporating relational reasoning.
result Framework improves classification performance with same query budget.
Mathematical tools solve complex option pricing problems.
problem Complex option pricing models in finance.
method Distributional Mellin transform and inversion of multiple Mellin-Barnes integrals.
result Solves various option pricing models including American options.
Mathematical theory of super fiber bundles and connections developed.
problem Modeling anticommuting fermionic fields in mathematical physics.
method Detailed introduction to super fiber bundles, relative supermanifolds, and connections; construction of parallel transport map.
result Construction and comparison of parallel transport map with other methods in the literature.
Paper defines mathematical framework for neural network explainability.
problem Neural network explainability and equivariant operators.
method Mathematical framework based on Group Equivariant Non-Expansive Operators (GENEOs) and complexity measures.
result Formal properties and interpretability of Group Equivariant Operators (GEOs) defined.
The paper proves stability of the positive mass theorem using intrinsic flat convergence.
problem Stability of the positive mass theorem in mathematical relativity.
method Intrinsic flat convergence of points and applications to stability.
result Revisits and strengthens the stability results for graphical hypersurfaces of Euclidean space.
This paper introduces the concept of functional current as a mathematical framework to represent and treat functional shapes, i.e. sub-manifold supported signals. It is motivated by the growing occurrence, in medical imaging and computational anatomy, of what can be described as geometrico-functional data, that is a da…
Study Gram determinants in knot theory, focusing on a Möbius band determinant.
problem Closed formula for the Gram determinant of type (Mb)1. method Survey of Gram determinants, focusing on a Möbius band determinant.
result Speculation on closed formula for (Mb)1 Gram determinant. Log-concave densities characterized using peacock and zonoid concepts.
problem Characterizing log-concave densities.
method Characterization using peacock and zonoid concepts.
result Two characterizations of log-concave densities.
This paper studies how knots combine using Alexander Polynomials.
problem How knots combine and their determinants behave.
method Basic knot theory, Alexander Polynomials, and composition techniques.
result Generalized solution for knot determinants in compositions.
Paper models corruption in contract negotiations between agents and producers.
problem Formalizing corruption in contract negotiations between agents and producers.
method Mathematical model and economic analysis for three producers, one agent, and one intermediary.
result Optimal non-corruption schemes of financial resources distribution are proposed.
The abstract reviews financial concepts using physics.
problem Financial pricing and risk management.
method Discrete time formalism, path integral, Green's function formulas.
result Formulas for pricing and risk mitigation methods.
Brief introduction to deep learning for math students.
problem Understanding deep neural networks and training methods.
method Explains deep neural networks, training methods, and uses MATLAB and software.
result Illustrates the application of deep learning in image classification.
New characterisation of no-arbitrage condition in discrete time with multiple-priors.
problem Characterizing no-arbitrage in a multiple-priors setting.
method Proposed a new characterisation equivalent to existing no-arbitrage conditions.
result The new characterisation is equivalent to several no-arbitrage conditions and allows proof of important results.
Euler derived elastica equation using modern mathematical concepts.
problem Euler's original derivation of elastica equation has not been properly interpreted.
method Euler used Noether's theorem and the Goldstein-Petrich scheme.
result Euler's equation is the static modified KdV equation.
Defines tensor eigenvalues and singular values without basis, simplifying analysis.
problem Defines tensor eigenvalues and singular values without basis.
method Intrinsic definition of tensor eigenvalues and singular values using concepts from pure mathematics.
result Shows the relationship between tensor analysis and pure mathematics.
New concept of illiquidity linked to credit risk, using Jarrow & Turnbull's analogy.
problem Understanding illiquidity in financial markets, especially with credit risk.
method Introduces a constraint-based notion of illiquidity, using Jarrow & Turnbull's foreign exchange analogy.
result A new mathematical framework for understanding illiquidity in financial markets.
Study particle dynamics in non-differentiable fractal spaces.
problem Understanding motion in non-smooth, probabilistic geometries.
method Use fiber bundle theory to characterize multivalued geodesic trajectories.
result Developed a hybrid theory combining surface and stochastic process theories.
This paper explores historical and philosophical aspects of angles and solid angles, inspired by Euler's work.
problem Understanding the historical context and philosophical implications of angles and solid angles.
method Historical review and analysis of mathematical and philosophical works.
result Questions raised by Euler about angles and solid angles are timeless and relevant to modern mathematics.
Study clarifies Bayesian generalization error in CBM for 3-layered linear neural networks.
problem Understanding the generalization error in concept bottleneck models.
method Mathematical analysis of Bayesian generalization error and free energy in CBM for 3-layered linear neural networks.
result CBM significantly alters the parameter region and Bayesian generalization error compared to standard models.
Paper presents an analytical solution to Merton Garman model using symmetries.
problem Developing an analytical solution to the Merton Garman model.
method Perturbation theory around an exact solution with Galilean symmetry.
result Perturbative solution performs well compared to Monte Carlo simulations.
Extends V-IP framework to use LLMs for generating task-relevant concepts, improving interpretability and performance.
problem Limited applicability of V-IP to small-scale tasks due to manual data annotation.
method Integrates Foundational Models with Large Language and Multimodal Models to generate and annotate concepts.
result FM+V-IP achieves better test performance with fewer concepts/queries compared to other frameworks.
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.