Related papers: Formalizing dimensional analysis using the Lean th…
This article is an introductory work to a larger research project devoted to pure, applied and philosophical aspects of dimension theory. It concerns a novel approach toward an alternate dimension theory foundation: the point-dimension…
Imaging is a form of probabilistic belief change which could be employed for both revision and update. In this paper, we propose a new framework for probabilistic belief change based on imaging, called Expected Distance Imaging (EDI). EDI…
We apply the wavelet formalism of quantum field theory to investigate nonperturbative dynamics within the Hamiltonian framework. In particular, we employ Daubechies wavelets in momentum space, whose basis functions are labeled by resolution…
A central aim of theoretical physics is to account for the structure of matter at the most elementary level as underlying the Standard Model of particle physics, and ideally also as a basis for a substantial dark sector, as distributed in…
The problem of estimating, from a random sample of points, the dimension of a compact subset $S$ of the Euclidean space is considered. The emphasis is put on consistency results in the statistical sense. That is, statements of convergence…
We develop a unified theory of augmented Lagrangians for nonconvex optimization problems that encompasses both duality theory and convergence analysis of primal-dual augmented Lagrangian methods in the infinite dimensional setting. Our goal…
A Hamiltonian analysis of models given by a three-form field with a generic potential coupled to general relativity in four dimensions is performed. This kind of fields are naturally present in string theory and cosmological scenarios. In…
Let $A$ be an associative algebra over a field $F$ of characteristic zero and let $L$ be a Lie algebra over $F$. If $L$ acts on $A$ by derivations, then such an action determines an action of its universal enveloping algebra $U(L)$ and in…
Sums of powers $S_p(n)=\sum_{k=1}^n k^p$ can be described by Faulhaber's formula in terms of the Bernoulli numbers. The first cases of this formula admit visual proofs of various kinds, which lead to factorized Faulhaber polynomials. In…
Modern physics describes elementary particles by a formalism known as Quantum Field Theory. However, straight calculations with this formalism lead to numerous divergences, hence one needs a suitable regularization scheme. 40 years ago a…
We extend previous calculations of the non-local form factors of semiclassical gravity in $4D$ to include the Einstein-Hilbert term. The quantized fields are massive scalar, fermion and vector fields. The non-local form factor in this case…
The real numbers are important in both mathematics and computation theory. Computationally, real numbers can be represented in several ways; most commonly using inexact floating-point data-types, but also using exact arbitrary-precision…
I propound a non-linear generalization of the Poisson equation describing a "medium" in D dimensions with a "dielectric constant" proportional to the field strength to the power D-2. It is the only conformally invariant scalar theory that…
We develop a real-analytic framework, called perplex analysis, in which the complex, split-complex, and dual numbers arise as members of a single four-parameter family of two-dimensional commutative real algebras. Within this unified…
Tokens are discrete representations that allow modern deep learning to scale by transforming high-dimensional data into sequences that can be efficiently learned, generated, and generalized to new tasks. These have become foundational for…
The finite volume Laplacian can be defined in all dimensions and is a natural way to approximate the operator on a simplicial mesh. In the most general setting, its definition with orthogonal duals may require that not all volumes are…
Mathematics formalisation is the task of writing mathematics (i.e., definitions, theorem statements, proofs) in natural language, as found in books and papers, into a formal language that can then be checked for correctness by a program. It…
The nonrelativistic hydrogen atom in $D=3-2\epsilon$ dimensions is the reference system for perturbative schemes used in dimensionally regularized nonrelativistic effective field theories to describe hydrogen-like atoms. Solutions to the…
The classical Blasius--Chaplygin formula provides an elegant method for calculating the lift force on a two-dimensional body in steady, irrotational flow. The key ingredient is the definition of a complex-valued potential function…
We prove $m$-dimensional symmetry results, that we call $m$-Liouville theorems, for stable and monotone solutions of the following nonuniformly elliptic equation \begin{eqnarray*}\label{mainequ} - div(\gamma(\mathbf x') \nabla u(\mathbf x))…