English
Related papers

Related papers: Intermediate Goodstein principles

200 papers

We prove new lower bounds for the upper tail probabilities of suprema of Gaussian processes. Unlike many existing bounds, our results are not asymptotic, but supply strong information when one is only a little into the upper tail. We…

Probability · Mathematics 2013-02-25 Adam J. Harper

We estimate Gowers uniformity norms for some classical automatic sequences, such as the Thue-Morse and Rudin-Shapiro sequences. The methods can also be extended to other automatic sequences. As an application, we asymptotically count…

Number Theory · Mathematics 2017-03-27 Jakub Konieczny

Natural numbers from 0 to 11111 are written in terms of 1 to 9 in two different ways. The first one in increasing order of 1 to 9, and the second one in decreasing order. This is done by using the operations of addition, multiplication,…

History and Overview · Mathematics 2014-01-09 Inder J. Taneja

We describe a "slow" version of the hierarchy of uniform reflection principles over Peano Arithmetic ($\mathbf{PA}$). These principles are unprovable in Peano Arithmetic (even when extended by usual reflection principles of lower…

Logic · Mathematics 2020-08-06 Anton Freund

Accurate reconstruction of piecewise-smooth functions from a finite number of Fourier coefficients is an important problem in various applications. The inherent inaccuracy, in particular the Gibbs phenomenon, is being intensively…

Classical Analysis and ODEs · Mathematics 2012-11-12 Dmitry Batenkov , Yosef Yomdin

Researchers from different areas have independently defined extensions of the usual weak convergence of laws of stochastic processes with the goal of adequately accounting for the flow of information. Natural approaches are convergence of…

Probability · Mathematics 2025-01-27 Daniel Bartl , Mathias Beiglböck , Gudmund Pammer , Stefan Schrott , Xin Zhang

A new $\theta$ function primitive is proposed that almost achieves the combined efficiency of the addition, multiplication and successor growth operations. This $\theta$ function symbol enables the constructing of an "IQFS(PA+)" axiom…

Logic · Mathematics 2017-10-16 Dan E. Willard

A graph $G$ is defined encapsulating the number theoretic notion of the Fundamental Theorem of Arithmetic. We then provide a graph theoretic approach to the fundamental results on the coprimality of two natural numbers, through the use of…

Combinatorics · Mathematics 2018-11-20 Xandru Mifsud

We set forth a new method for generating model-agnostic, nonparametric priors for neutron star equation-of-state inference that are stable, causal and thermodynamically consistent by construction. This generalizes Gaussian processes to…

High Energy Astrophysical Phenomena · Physics 2026-05-12 Tyler Gorda , Oleg Komoltsev , Aleksi Kurkela , Eirik Sunde

Neither the classical nor intuitionistic logic traditions are perfectly-aligned with the purpose of reasoning about computation, in that neither tradition can permit unconstrained recursive definitions without inconsistency: recursive…

Programming Languages · Computer Science 2026-01-27 Elliot Bobrow , Bryan Ford , Stefan Milenkovic

In this paper, we propose a first second-order scheme based on arbitrary non-Euclidean norms, incorporated by Bregman distances. They are introduced directly in the Newton iterate with regularization parameter proportional to the square…

Optimization and Control · Mathematics 2021-12-07 Nikita Doikov , Yurii Nesterov

In this paper for the first time, we construct quantum analogs starting from classical stochastic processes, by replacing random which path decisions with superpositions of all paths. This procedure typically leads to non-unitary quantum…

Statistical Mechanics · Physics 2022-07-13 Gustavo Montes , Soham Biswas , Thomas Gorin

New numbers, called Guinness numbers, are introduced using certain function of natural argument. Few problems related to these numbers are formulated.

General Mathematics · Mathematics 2013-09-06 Roman Zatorsky

We give a general Gaussian bound for the first chaos (or innovation) of point processes with stochastic intensity constructed by embedding in a bivariate Poisson process. We apply the general result to nonlinear Hawkes processes, providing…

Probability · Mathematics 2016-09-29 Giovanni Luca Torrisi

The natural gradient method has been used effectively in conjugate Gaussian process models, but the non-conjugate case has been largely unexplored. We examine how natural gradients can be used in non-conjugate stochastic settings, together…

Machine Learning · Statistics 2018-03-28 Hugh Salimbeni , Stefanos Eleftheriadis , James Hensman

This paper presents some general formulas for random partitions of a finite set derived by Kingman's model of random sampling from an interval partition generated by subintervals whose lengths are the points of a Poisson point process.…

Probability · Mathematics 2007-05-23 Jim Pitman

For two odd primes $p$ and $q$ such that $p<q$, let $A(p,q):=(a_k)_{k=1}^{\infty}$ be the arithmetic progression whose $k$th term is given by $a_k=(k-1)(q-p)+p$ (i.e., with $a_1=p$ and $a_2=q$). Here we conjecture that for every positive…

Number Theory · Mathematics 2019-01-24 Romeo Meštrović

We establish a central limit theorem for counting large continued fraction digits $(a_n)$, i.e. we count occurrences $\{a_n>b_n\}$, where $(b_n)$ is a sequence of positive integers. Our result improves a similar result by Philipp which…

Probability · Mathematics 2021-12-02 Marc Kesseböhmer , Tanja Schindler

We propose a general framework to study last passage times, suprema and drawdowns of a large class of stochastic processes. A central role in our approach is played by processes of class Sigma. After investigating convergence properties and…

Probability · Mathematics 2009-10-30 Patrick Cheridito , Ashkan Nikeghbali , Eckhard Platen

The authors present a method of indicator random processes, applicable to constructing models of jump processes associated with diffusion process. Indicator random processes are processes that take only two values: 1 and 0, in accordance…

Dynamical Systems · Mathematics 2024-02-06 Valery Doobko , Elena Karachanskaya