DeepAI AI Chat
Log In Sign Up

A structured proof of the Kolmogorov superposition theorem

by   S. Dzhenzher, et al.

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.


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...

Students' Proof Assistant (SPA)

The Students' Proof Assistant (SPA) aims to both teach how to use a proo...

Continuous Tasks and the Chromatic Simplicial Approximation Theorem

The celebrated 1999 Asynchronous Computability Theorem (ACT) of Herlihy ...

Quantum Adiabatic Theorem Revisited

In 2004 Ambainis and Regev formulated a certain form of quantum adiabati...

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 ...

A Geometric Proof of Calibration

We provide yet another proof of the existence of calibrated forecasters;...

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

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