English
Related papers

Related papers: Splittings and disjunctions in Reverse Mathematics

200 papers

Random Reshuffling (RR) is an algorithm for minimizing finite-sum functions that utilizes iterative gradient descent steps in conjunction with data reshuffling. Often contrasted with its sibling Stochastic Gradient Descent (SGD), RR is…

Optimization and Control · Mathematics 2021-04-06 Konstantin Mishchenko , Ahmed Khaled , Peter Richtárik

We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The notion can be generally used to compare and classify various principles studied in…

Logic · Mathematics 2023-06-22 Andrej Bauer

The alternating direction method of multipliers (ADMM) is a powerful splitting algorithm for linearly constrained convex optimization problems. In view of its popularity and applicability, a growing attention is drawn towards the ADMM in…

Optimization and Control · Mathematics 2022-08-19 Sedi Bartz , Rubén Campoy , Hung M. Phan

J. Hadamard's ideas of correct formulation of problems of mathematical physics as well as related Banach's theorem on the inverse operator are analyzed. Modern techniques of numerical simulations are shown to be in drastic contradiction to…

Mathematical Physics · Physics 2007-05-23 Eugene Perchik

Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…

Classical Analysis and ODEs · Mathematics 2019-09-10 Oleksii Mostovyi , Pietro Siorpaes

The Rayleigh conjecture about convergence up to the boundary of the series representing the scattered field in the exterior of an obstacle $D$ is widely used by engineers in applications. However this conjecture is false for some obstacles.…

Numerical Analysis · Mathematics 2007-05-23 A. G. Ramm , S. Gutman

We explore partitions that lie in the intersection of several sets of classical interest: partitions with parts indivisible by $m$, appearing fewer than $m$ times, or differing by less than $m$. We find results on their behavior and…

Combinatorics · Mathematics 2019-11-13 William J. Keith

We propose a computationally efficient framework to treat nonlinear partial differential equations having bifurcating solutions as one or more physical control parameters are varied. Our focus is on steady bifurcations. Plotting a…

Numerical Analysis · Mathematics 2020-06-11 Federico Pichi , Annalisa Quaini , Gianluigi Rozza

The random feature method (RFM) has demonstrated great potential in bridging traditional numerical methods and machine learning techniques for solving partial differential equations (PDEs). It retains the advantages of mesh-free approaches…

Numerical Analysis · Mathematics 2025-05-02 Mikhail Kuvakin , Zijian Mei , Jingrun Chen

A splitting scheme for backward doubly stochastic differential equations is proposed. The main idea is to decompose a backward doubly stochastic differential equation into a backward stochastic differential equation and a stochastic…

Numerical Analysis · Mathematics 2021-03-17 Feng Bao , Yanzhao Cao , He Zhang

The notion of 'bifurcating continued fractions' is introduced. Two coupled sequences of non-negative integers are obtained from an ordered pair of positive real numbers in a manner that generalizes the notion of continued fractions. These…

General Mathematics · Mathematics 2007-05-23 Ashok Kumar Gupta , Ashok Kumar Mittal

In his book Topics in Analytic Number Theory, Rademacher considered the generating function of partitions into at most $N$ parts, and conjectured certain limits for the coefficients of its partial fraction decomposition. We carry out an…

Number Theory · Mathematics 2013-12-17 Michael Drmota , Stefan Gerhold

It is the purpose of this article to outline a course that can be given to engineers looking for an understandable mathematical description of the foundations of distribution theory and the necessary functional analytic methods. Arguably,…

Functional Analysis · Mathematics 2018-10-11 Hans G. Feichtinger , Mads S. Jakobsen

J.Ritt has investigated the structure of complex polynomials with respect to superposition. In particular, he listed all the polynomials admitting different double decompositions into indecomposable polynomials. The analogues of Ritt theory…

Complex Variables · Mathematics 2013-12-03 Andrei Bogatyrev

In this paper, we consider a class of nonconvex and nonsmooth fractional programming problems, that involve the sum of a convex, possibly nonsmooth function composed with a linear operator and a differentiable, possibly nonconvex function…

Optimization and Control · Mathematics 2025-03-18 Radu Ioan Boţ , Guoyin Li , Min Tao

In this paper, we give the explicit bounds for the data of objects involved in some basic theorems of Singularity theory: the Inverse, Implicit and Rank Theorems for Lipschitz mappings, Splitting Lemma and Morse Lemma, the density and…

Numerical Analysis · Mathematics 2012-08-28 Ta Le Loi , Phan Phien

We study an inverse scattering problem for a generic hyperbolic system of equations with an unknown coefficient called the reflectivity. The solution of the system models waves (sound, electromagnetic or elastic), and the reflectivity…

Numerical Analysis · Mathematics 2020-02-03 Liliana Borcea , Vladimir Druskin , Alexander V. Mamonov , Mikhail Zaslavsky , Jörn Zimmerling

We consider fractional differential equations of order $\alpha \in (0,1)$ for functions of one independent variable $t\in (0,\infty)$ with the Riemann-Liouville and Caputo-Dzhrbashyan fractional derivatives. A precise estimate for the order…

Classical Analysis and ODEs · Mathematics 2008-11-22 Anatoly N. Kochubei

The Riemann hierarchy is the simplest example of rank one, ($1$+$1$)-dimensional integrable system of nonlinear evolutionary PDEs. It corresponds to the dispersionless limit of the Korteweg-de Vries hierarchy. In the language of formal…

Mathematical Physics · Physics 2025-10-10 Alexandr Buryak , Paolo Rossi

It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of…

Logic · Mathematics 2018-07-27 Benedict Eastaugh