A structured proof of the Kolmogorov superposition theorem

05/02/2021
by   S. Dzhenzher, et al.
0

We present a well-structured detailed exposition of a well-known proof of the following celebrated result solving Hilbert's 13th problem on superpositions. For functions of 2 variables the statement is as follows. Kolmogorov Theorem. There are continuous functions φ_1,…,φ_5 : [ 0, 1 ]→ [ 0,1 ] such that for any continuous function f: [ 0,1 ]^2→ℝ there is a continuous function h: [ 0,3 ]→ℝ such that for any x,y∈ [ 0, 1 ] we have f(x,y)=∑_k=1^5 h(φ_k(x)+√(2) φ_k(y)). The proof is accessible to non-specialists, in particular, to students familiar with only basic properties of continuous functions.

READ FULL TEXT
research
01/28/2017

A proof of Hilbert's theorem on ternary quartic forms with the ladder technique

This paper proposes a totally constructive approach for the proof of Hil...
research
04/01/2019

Students' Proof Assistant (SPA)

The Students' Proof Assistant (SPA) aims to both teach how to use a proo...
research
09/03/2021

Continuous Tasks and the Chromatic Simplicial Approximation Theorem

The celebrated 1999 Asynchronous Computability Theorem (ACT) of Herlihy ...
research
03/06/2020

Quantum Adiabatic Theorem Revisited

In 2004 Ambainis and Regev formulated a certain form of quantum adiabati...
research
06/03/2019

Approximation capability of neural networks on spaces of probability measures and tree-structured domains

This paper extends the proof of density of neural networks in the space ...
research
12/18/2009

A Geometric Proof of Calibration

We provide yet another proof of the existence of calibrated forecasters;...
research
07/31/2019

Deduction Theorem: The Problematic Nature of Common Practice in Game Theory

We consider the Deduction Theorem that is used in the literature of game...

Please sign up or login with your details

Forgot password? Click here to reset