English
Related papers

Related papers: A superposition theorem of Kolmogorov type for bou…

200 papers

Let E_n={x_i=1, x_i+x_j=x_k, x_i*x_j=x_k: i,j,k \in {1,...,n}}. We prove: (1) there is an algorithm that for every computable function f:N-->N returns a positive integer m(f), for which a second algorithm accepts on the input f and any…

Logic · Mathematics 2013-12-03 Apoloniusz Tyszka

Let $p$ be a prime, let $S$ be a non-empty subset of $\mathbb{F}_p$ and let $0<\epsilon\leq 1$. We show that there exists a constant $C=C(p, \epsilon)$ such that for every positive integer $k$, whenever $\phi_1, \dots, \phi_k:…

Combinatorics · Mathematics 2023-06-02 W. T. Gowers , Thomas Karam

Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=\lambda \mathbf{x}…

Dynamical Systems · Mathematics 2018-10-17 Simon Baker , Derong Kong

We show that for any locally compact second countable group $G$ and any continuous positive definite function $\phi:G\rightarrow\mathbb{C}$, there exists an ergodic measure preserving system $(X,\mathscr{B},\mu,\{T_g\}_{g \in G})$ and a…

Group Theory · Mathematics 2024-10-22 Sohail Farhangi

We consider the algebras $M_p$ of Fourier multipliers and show that every bounded continuous function $f$ on $\mathbb R^d$ can be transformed by an appropriate homeomorphic change of variable into a function that belongs to $M_p(\mathbb…

Classical Analysis and ODEs · Mathematics 2020-08-14 Vladimir Lebedev , Alexander Olevskii

For $\alpha >0$, let $$\mathscr{A}=\{ a_1<a_2<a_3<\cdots\}$$ and $$\mathscr{L}=\{ \ell_1, \ell_2, \ell_3,\cdots\} \quad \text{(not~necessarily~different)}$$ be two sequences of positive integers with $\mathscr{A}(m)>(\log m)^\alpha $ for…

Number Theory · Mathematics 2023-04-14 Yong-Gao Chen , Yuchen Ding

For a class $F$ of complex-valued functions on a set $D$, we denote by $g_n(F)$ its sampling numbers, i.e., the minimal worst-case error on $F$, measured in $L_2$, that can be achieved with a recovery algorithm based on $n$ function…

Numerical Analysis · Mathematics 2023-05-15 Matthieu Dolbeault , David Krieg , Mario Ullrich

Let $(T,{\cal F},\mu)$ be a $\sigma$-finite measure space, $E$ a separable real Banach space and $p\geq 1$. Given a sequence of functions $f, f_1, f_2,...$ from $T\times E$ to ${\bf R}$, under general assumptions, we prove that, for each…

Functional Analysis · Mathematics 2025-12-10 Biagio Ricceri

Obtained a new property of superposition of the generating functions ln(1/(1-F(x))), where F(x) - generating function with integer coefficients, which allows the construction a primality tests. The theorem which is based on compositions of…

Combinatorics · Mathematics 2011-12-06 Dmitry Kruchinin

Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming $\omega$-string transducers as well as deterministic two-way transducers with look-ahead. In their one-way restriction, the…

Formal Languages and Automata Theory · Computer Science 2024-09-19 V. Dave , E. Filiot , S. Krishna , N. Lhote

We study the distribution of partial sums of Rademacher random multiplicative functions $(f(n))_n$ evaluated at polynomial arguments. We show that for a polynomial $P\in \mathbb Z[x]$ that is a product of at least two distinct linear…

Number Theory · Mathematics 2026-03-09 Jake Chinis , Besfort Shala

In this paper, we broaden Shiu's Brun-Titchmarsh theorem to allow for functions that are larger and/or smooth-supported. In particular, let $f$ be a nonnegative multiplicative function. We prove that if there exists a $\beta<1$ such that…

Number Theory · Mathematics 2025-09-26 Thomas Wright

The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only…

General Topology · Mathematics 2020-04-09 Taras Banakh , Oleksandr Maslyuchenko

Building upon previous works of Andr{\'e} and Chudnovsky, we prove a general result concerning the approximations of values at rational points a/b of any G-function F with rational Taylor coefficients by fractions of the form n/(B…

Number Theory · Mathematics 2017-10-13 S Fischler , Tanguy Rivoal

Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…

Classical Analysis and ODEs · Mathematics 2016-10-11 Daniel Azagra , Carlos Mudarra

Consider the discrete maximal function acting on finitely supported functions on the integers, \[ \mathcal{C}_\Lambda f(n) := \sup_{\lambda \in \Lambda} | \sum_{p \in \pm \mathbb{P}} f(n-p) \log |p| \frac{e^{2\pi i \lambda p}}{p} |,\] where…

Classical Analysis and ODEs · Mathematics 2016-05-02 Laura Cladek , Kevin Henriot , Ben Krause , Izabella Laba , Malabika Pramanik

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

Algebraic Geometry · Mathematics 2015-09-16 Jose F. Fernando

We study reduction schemes for functions of "many" variables into system of functions in one variable. Our setting includes infinite-dimensions. Following Cybenko-Kolmogorov, the outline for our results is as follows: We present explicit…

Functional Analysis · Mathematics 2019-03-08 Palle Jorgensen , Feng Tian

We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…

Logic · Mathematics 2024-12-12 Emmanuel Rauzy

In [7], Kwapie\'{n} announced that every mean zero function $f\in L_\infty[0,1]$ can be written as a coboundary $f = g\circ T -g$ for some $g\in L_\infty[0,1]$ and some measure preserving transformation $T$ of $[0,1]$. Whereas the original…

Dynamical Systems · Mathematics 2019-12-02 Aleksei F. Ber , Matthijs J. Borst , Fedor A. Sukochev