Related papers: Formalizing dimensional analysis using the Lean th…
The goal of this paper is to present an ongoing formalization, in the framework provided by the Lean/Mathlib mathematical library, of the construction by Roby (1965) of the universal divided power algebra. This is an analogue, in the theory…
Large language models (LLMs) often struggle with complex logical reasoning due to logical inconsistencies and the inherent difficulty of such reasoning. We use Lean, a theorem proving framework, to address these challenges. By formalizing…
We provide and discuss complex analytic methods for overcoming the formal character of formal deformation quantization. This is a necessity for returning to physically meaningful statements, and accounts for the fact that the formal…
The theory of physical dimensions and units in physics is outlined. This includes a discussion of the universal applicability and superiority of quantity equations. The International System of Units (SI) is one example thereof. By analyzing…
LLM-generated explanations can make technical content more accessible, but there is a ceiling on what they can support interactively. Because LLM outputs are static text, they cannot be executed or stepped through. We argue that grounding…
The intrinsic dimensionality refers to the ``true'' dimensionality of the data, as opposed to the dimensionality of the data representation. For example, when attributes are highly correlated, the intrinsic dimensionality can be much lower…
We apply dimensional analysis with Buckinghams "Pi" theorem to estimate the volume of wood in a tree stem, given the tree's height and diameter. We use Meyer's (1953) data on 31 cherry trees from the Allegheny National forest as the main…
The Lorentzian metric structure used in any field theory allows one to implement the relativistic notion of causality and to define a notion of time dimension. This article investigates the possibility that at the microscopic level the…
A mathematical model for the poroelastic materials (PEM) with the variable volume is developed in multidimensional case. Governing equations of the model are constructed using the continuity equations, which reflect the well-known physical…
This work concerns some issues about the interplay of standard and geometric (Hamiltonian) approaches to finite-dimensional quantum mechanics, formulated in the projective space. Our analysis relies upon the notion and the properties of…
In this article, we present what we believe to be a simple way to motivate the use of Hilbert spaces in quantum mechanics. To achieve this, we study the way the notion of dimension can, at a very primitive level, be defined as the…
We carry out the canonical analysis of the coupling of a $4$-dimensional effective action that arises from a dimensional reduction of a $7$-dimensional BF theory to the Palatini action in $4$-dimensions with cosmological constant, focusing…
I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as…
Dimensionality of parameters and variables is a fundamental issue in physics but mostly ignored from a mathematical point of view. Diffculties arising from dimensional inconsistence are overcome by scaling analysis and, often, both…
The standard Hamiltonian machinery, being applied to field theory, leads to infinite-dimensional phase spaces. It is not covariant. In this article, we present covariant finite-dimensional multimomentum Hamiltonian formalism for field…
We introduce MerLean, a fully automated agentic framework for autoformalization in quantum computation. MerLean extracts mathematical statements from \LaTeX{} source files, formalizes them into verified Lean~4 code built on Mathlib, and…
We construct several towers of scalar quantum field theories with an $O(N)$ symmetry which have higher derivative kinetic terms. The Lagrangians in each tower are connected by lying in the same universality class at the $d$-dimensional…
Verifying mathematical proofs is difficult, but can be automated with the assistance of a computer. Autoformalization is the task of automatically translating natural language mathematics into a formal language that can be verified by a…
Bayesian probability theory is used as a framework to develop a formalism for the scientific method based on principles of inductive reasoning. The formalism allows for precise definitions of the key concepts in theories of physics and also…
This work presents a detailed analytical and geometrical investigation of the (2+1)-dimensional Boiti-Leon-Pempinelli system, a nonlinear dispersive model arising in the context of fluid and plasma dynamics. By employing a projective…