The optimal binning is the optimal discretization of a variable into bins given a discrete or continuous numeric target. We present a rigorous and extensible mathematical programming formulation for solving the optimal binning problem for a binary, continuous and multi-class target type, incorporating constraints not p…
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,695 papers · 148 categories
Trend · papers per month
48 results for “mathematical formulation”
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.
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".
This paper deals with the explicit design of strategy formulations to make the best strategic choices from a conventional matrix form of representing strategic choices. The explicit strategy formulation is an analytical model which is targeted to provide a mathematical strategy framework to find the best moment for str…
This is an introductory review of topological field theories (TFTs) called AKSZ sigma models. The AKSZ construction is a mathematical formulation for the construction and analyses of a large class of TFTs, inspired by the Batalin-Vilkovisky formalism of gauge theories. We begin by considering a simple two-dimensional t…
These notes grew out of a lecture course on mathematical methods of classical physics for students of mathematics and mathematical physics at the master's level. Also, physicists with a strong interest in mathematics may find this text useful as a resource complementary to existing textbooks on classical physics. Topic…
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.
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…
Learning directed acyclic graphs (DAGs) from data is a challenging task both in theory and in practice, because the number of possible DAGs scales superexponentially with the number of nodes. In this paper, we study the problem of learning an optimal DAG from continuous observational data. We cast this problem in the f…
We refurbish our axiomatics of differential geometry introduced in [Mathematics for Applications,, 1 (2012), 171-182]. Then the notion of Euclideaness can naturally be formulated. The principal objective in this paper is to present an adaptation of our theory of differential forms developed in [International Journal of…
We propose a simple mathematical model for unemployment. Despite its simpleness, we claim that the model is more realistic and useful than recent models available in the literature. A case study with real data from Portugal supports our claim. An optimal control problem is formulated and solved, which provides some non…
Lectures on knot homologymath-ph
We provide various formulations of knot homology that are predicted by string dualities. In addition, we also explain the rich algebraic structure of knot homology which can be understood in terms of geometric representation theory in these formulations. These notes are based on lectures in the workshop "Physics and Ma…
Abstract: Geometrically reformulates estimation theory for finite-dimensional C*-algebras.
problem Estimation theory for finite-dimensional C*-algebras.
method Geometrical formulation of estimation theory.
result Derivation of Cramer-Rao and Helstrom bounds.
Wasserstein proximal operators describe score-based generative models and resolve memorizationstat.ML
Mathematical analysis improves SGMs, resolving memorization issues.
problem Improving performance and avoiding memorization in SGMs.
method Formulated SGMs using Wasserstein proximal operators and mean-field games.
result Improved SGM performance in terms of training samples and time.
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.
New metric for probability measures connects physics and geometry.
problem Developing a new metric for probability measures.
method Transport Hessian metric, formulated dynamical systems.
result Connections to physics equations and mathematical models.
Mathematical formulas for elliptic curve integrals solve anomaly equations.
problem Mathematical formulation of contact term singularities on elliptic curves.
method Residue formulas and holomorphic anomaly equations.
result Regularized integrals on elliptic curves satisfy holomorphic anomaly equations.
Exact Matrix Seriation through Mathematical Optimization: Stress and Effectiveness-Based Modelsmath.OC
Unified optimization framework for matrix seriation.
problem Discovering latent structure in relational data.
method Mathematical optimization models for seriation.
result Optimization models enhance solution quality and interpretability.
Shapley values for feature importance lead to mathematical and practical issues.
problem Mathematical and practical issues with Shapley values for feature importance.
method Game-theoretic formulations of feature importance using Shapley values.
result Mathematical problems arise when using Shapley values for feature importance.
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.
Unified view of SOMs and SNE from a common framework.
problem Comparing and understanding SOMs and SNE.
method Unified mathematical framework, quantitative comparison on datasets.
result SOMs and SNE can be derived from a common framework.
Complex abelian varieties and quantum error correction: a mathematical framework for GKP codesmath.AG
Quantum codes linked to abelian varieties, providing mathematical rigor.
problem Quantum error correction through complex abelian varieties.
method Mathematical formulation of Gottesman-Kitaev-Preskill codes using abelian varieties.
result Asymptotic isometry of encoding, precise gate realizations, and failure probability optimization.
On Experimentsstat.ML
Paper outlines a new mathematical language for experiments.
problem Formalizing the scientific process for automation.
method Formulates the scientific process in precise mathematical language.
result Novel contributions in data processing, bias variance, and deficiency.
Novel tests for genetic independence in high-dimensional data.
problem Testing independence in genetics studies with many variables.
method Defining premetric structures on genetic data support spaces.
result Solid theoretical framework and computationally-efficient implementations.
The goal of the paper is to give an optimal transport formulation of the full Einstein equations of general relativity, linking the (Ricci) curvature of a space-time with the cosmological constant and the energy-momentum tensor. Such an optimal transport formulation is in terms of convexity/concavity properties of the …
SoftAdapt: Techniques for Adaptive Loss Weighting of Neural Networks with Multi-Part Loss Functionscs.LG
Adaptive loss function formulation is an active area of research and has gained a great deal of popularity in recent years, following the success of deep learning. However, existing frameworks of adaptive loss functions often suffer from slow convergence and poor choice of weights for the loss components. Traditionally…
Graph clustering improved using Boltzmann machine heuristics.
problem Graph clustering to form densely connected clusters.
method Two mathematical programming formulations, two variations of Boltzmann machine heuristic.
result Boltzmann machine provides superior solutions and faster computation times.
MFGs explain and enhance generative models, revealing new model types.
problem Understanding and improving generative models.
method Mean-field games (MFGs) as a framework to explain and enhance generative models.
result Established connections between MFGs and generative flows, diffusions, and gradient flows.
We study an optimal execution problem with uncertain market impact to derive a more realistic market model. We construct a discrete-time model as a value function for optimal execution. Market impact is formulated as the product of a deterministic part increasing with execution volume and a positive stochastic noise pa…
The main purpose of this paper is to formalize the modelling process, analysis and mathematical definition of corruption when entering into a contract between principal agent and producers. The formulation of the problem and the definition of concepts for the general case are considered. For definiteness, all calculati…
We formulate the laws governing the dynamics of a crystalline solid in which a continuous distribution of dislocations is present. Our formulation is based on new differential geometric concepts, which in particular relate to Lie groups. We then consider the static case, which describes crystalline bodies in equilibriu…
We suggest several mathematical counterparts to the idea of "effective degrees of freedom" and formulate specific questions, much of which are inspired by Larry Guth's results and ideas on the Hermann Weyl kind of asymptotics of the Morse (co)homology spectra of the volume energy function on the spaces of cycles in bal…
Logifold improves ensemble machine learning by identifying fuzzy domains.
problem Improving ensemble machine learning accuracy.
method Formulating logifold structure and interpreting local charts of datasets.
result Logifold improves accuracy compared to averaging model outputs.
Richard Bellman's Principle of Optimality, formulated in 1957, is the heart of dynamic programming, the mathematical discipline which studies the optimal solution of multi-period decision problems. In this paper, we look at the main trading principles of Jesse Livermore, the legendary stock operator whose method was pu…
Determining when two knots are equivalent (more precisely isotopic) is a fundamental problem in topology. Here we formulate this problem in terms of Predicate Calculus, using the formulation of knots in terms of braids and some basic topological results. Concretely, Knot theory is formulated in terms of a language with…
New lattice Dirac operator index method for curved boundaries.
problem Defining Dirac operator indices for curved boundaries and gravitational backgrounds.
method Employing K-theory and spectral flow to classify Wilson Dirac operator.
result Mod-2 index defined in both even and odd dimensions.
In this paper we introduce and study some mathematical structures on top of transitive Lie algebroids in order to formulate gauge theories in terms of generalized connections and their curvature: metrics, Hodge star operator and integration along the algebraic part of the transitive Lie algebroid (its kernel). Explicit…
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…
This paper introduces a new mathematical formulation and numerical approach for the computation of distances and geodesics between immersed planar curves. Our approach combines the general simplifying transform for first-order elastic metrics that was recently introduced by Kurtek and Needham, together with a relaxatio…
In this study we introduce a new technique for symbolic regression that guarantees global optimality. This is achieved by formulating a mixed integer non-linear program (MINLP) whose solution is a symbolic mathematical expression of minimum complexity that explains the observations. We demonstrate our approach by redis…
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 presents a new port-Hamiltonian model for vehicle manipulators.
problem Complex mechanical systems' energy flow and conservation.
method Derives port-Hamiltonian dynamics from Hamiltonian reduction theory.
result Establishes mathematical equivalence with existing formulations.
On existence, uniqueness and scalability of adversarial robustness measures for AI classifiersstat.ML
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.
A longstanding question in superstring/ theory is does it predict supersymmetry below the string scale? We formulate and discuss a necessary condition for this to be true; this is the mathematical conjecture that all stable, compact Ricci flat manifolds have special holonomy in dimensions below eleven. Almost equiva…
This work has the purpose of applying the concept of Geometric Calculus (Clifford Algebras) to the Fibre Bundle description of Quantum Mechanics. Thus, it is intended to generalize that formulation to curved spacetimes [the base space of the fibre bundle in question] in a more natural way. It starts off with a review o…
These lecture notes are a systematic and self-contained exposition of the cohomological theories naturally related to partial differential equations: the Vinogradov C-spectral sequence and the C-cohomology, including the formulation in terms of the horizontal (characteristic) cohomology. Applications to computing invar…
Unified approach for learning state representations from streaming data.
problem Learning reusable state representations from high-dimensional, non-stationary data.
method Unified mathematical formulation for learning latent relations, enabling flexible and principled shaping of latent space.
result Improved understanding and evaluation of existing unsupervised learning approaches.
Graphon game model simplifies stochastic interactions among agents.
problem Complex interactions among heterogeneous agents in stochastic games.
method Introduced a discrete-time graphon game formulation with a representative player.
result Existence and uniqueness of graphon equilibrium proven with mild assumptions.