English
Related papers

Related papers: A walk with Goodstein

200 papers

How much dependence is there in the prime factorization of a random integer distributed uniformly from 1 to n? How much dependence is there in the decomposition into cycles of a random permutation of n points? What is the relation between…

Number Theory · Mathematics 2013-05-07 Richard Arratia

In this paper we continue our research on the concept of liken. This notion has been defined as a sequence of non-negative real numbers, tending to infinity and closed with respect to addition in $\mathbb{R}$. The most important examples of…

Number Theory · Mathematics 2021-09-20 Edward Tutaj

We study first-order optimality conditions for constrained optimization in the Wasserstein space, whereby one seeks to minimize a real-valued function over the space of probability measures endowed with the Wasserstein distance. Our…

Optimization and Control · Mathematics 2025-03-03 Nicolas Lanzetti , Saverio Bolognani , Florian Dörfler

A notion of arithmetic similarity between number fields is defined by requiring equality of some arithmetic statistics over all but finitely many rational primes. The exceptional set is empty in all previously studied cases, but existing…

Number Theory · Mathematics 2025-05-05 Shaver Phagan

The usual product $m\cdot n$ on $\mathbb{Z}$ can be viewed as the sum of $n$ terms of an arithmetic progression whose first term is $a_{1}=m-n+1$ and whose difference is $d=2$. Generalizing this idea, we define new similar product mappings,…

Number Theory · Mathematics 2022-06-10 F. Javier de Vega

It is a well-known empirical phenomenon that natural axiomatic theories are pre-well-ordered by consistency strength. Without a precise mathematical definition of "natural," it is unclear how to study this phenomenon mathematically. We will…

Logic · Mathematics 2026-03-04 James Walsh

We study optimization problems whereby the optimization variable is a probability measure. Since the probability space is not a vector space, many classical and powerful methods for optimization (e.g., gradients) are of little help. Thus,…

Optimization and Control · Mathematics 2024-06-18 Nicolas Lanzetti , Antonio Terpin , Florian Dörfler

The big jump principle explains the emergence of extreme events for physical quantities modelled by a sum of independent and identically distributed random variables which are heavy-tailed. Extreme events are large values of the sum and…

Statistical Mechanics · Physics 2021-11-10 Marc Höll , Eli Barkai

Using the subdivision schemes theory, we develop a criterion to check if any natural number has at most one representation in the $n$-ary number system with a set of non-negative integer digits $A=\{a_1, a_2,\ldots, a_n\}$ that contains…

Number Theory · Mathematics 2025-11-25 Sergei V. Konyagin , Vladimir Yu. Protasov , Alexey L. Talambutsa

This article makes no claim to originality, other than, perhaps, the simple statement here called the {\it Abstract Maximum Principle}. Actually, the whole contents are strongly based on some H. Sussmann's and coauthors' papers, in which,…

Optimization and Control · Mathematics 2023-10-17 Monica Motta , Franco Rampazzo

In this paper the necessary conditions of optimality in the form of maximum principle are derived for a very general class of variational problems. This class includes problems with any optimization criteria and constraints that can be…

Optimization and Control · Mathematics 2009-11-30 Anatoly Tsirlin

Stochastic maximum principle of nonlinear controlled forward-backward systems, where the set of strict (classical) controls need not be convex and the diffusion coefficient depends explicitly on the variable control, is an open problem…

Probability · Mathematics 2008-12-20 Seid Bahlali

Gotzmann's Persistence states that the growth of an arbitrary ideal can be controlled by comparing it to the growth of the lexicographic ideal. This is used, for instance, in finding equations which cut out the Hilbert scheme (of subschemes…

Commutative Algebra · Mathematics 2007-10-02 Morgan Sherman

In these lectures I propose to push Einstein's principle of coordinate independence to the extreme in order to restrict the possible form of fundamental equations of motion in physics. I start from nearly tautological system theoretic…

General Relativity and Quantum Cosmology · Physics 2016-08-31 Gerhard Mack

The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution…

General Relativity and Quantum Cosmology · Physics 2011-04-21 Carles Bona , Joan Masso , Ed Seidel , Joan Stela

This paper presents a new perspective on unifying all fundamental interactions--gravitational, electromagnetic, weak and strong--based on stochastic processes rather than conventional quantum mechanics. Earlier work by Nelson, Kac and…

Quantum Physics · Physics 2025-09-01 Partha Ghose

Using post-Newtonian equations of motion for fluid bodies valid to the second post-Newtonian order, we derive the equations of motion for binary systems with finite-sized, non-spinning but arbitrarily shaped bodies. In particular we study…

General Relativity and Quantum Cosmology · Physics 2008-11-26 Thomas Mitchell , Clifford M. Will

This paper considers the problem of regression over distributions, which is becoming increasingly important in machine learning. Existing approaches often ignore the geometry of the probability space or are computationally expensive. To…

Machine Learning · Computer Science 2025-10-31 Maksim Maslov , Alexander Kugaevskikh , Matthew Ivanov

Building on Buchholz' assignment for ordinals below Bachmann-Howard ordinal, see Buchholz 2003, we introduce systems of fundamental sequences for two kinds of relativized $\vartheta$-function-based notation systems of strength…

Logic · Mathematics 2025-09-29 Gunnar Wilken

We generalize Goodstein's theorem (Goodstein 1944) and Cichon's independence proof (Cichon 1983) to $\Pi^1_1-\mathrm{CA}_0$ using results from (Wilken 2026). The method is generalizable to stronger notation systems that provide unique terms…

Logic · Mathematics 2026-05-06 Gunnar Wilken