English
Related papers

Related papers: Solovay functions and their applications in algori…

200 papers

It is known since the work of [AA14] that for any permutation symmetric function $f$, the quantum query complexity is at most polynomially smaller than the classical randomized query complexity, more precisely that $R(f) =…

Quantum Physics · Physics 2018-10-04 André Chailloux

Aaronson and Ambainis (SICOMP `18) showed that any partial function on $N$ bits that can be computed with an advantage $\delta$ over a random guess by making $q$ quantum queries, can also be computed classically with an advantage $\delta/2$…

Quantum Physics · Physics 2020-11-18 Nikhil Bansal , Makrand Sinha

Kolmogorov suggested to measure quality of a statistical hypothesis $P$ for a data $x$ by two parameters: Kolmogorov complexity $C(P)$ of the hypothesis and the probability $P(x)$ of $x$ with respect to $P$. P. G\'acs, J. Tromp, P.M.B.…

Information Theory · Computer Science 2015-12-15 Alexey Milovanov

Motivated by their role for integrality and integrability in topological string theory, we introduce the general mathematical notion of "s-functions" as integral linear combinations of poly-logarithms. 2-functions arise as disk amplitudes…

High Energy Physics - Theory · Physics 2013-06-19 Albert Schwarz , Vadim Vologodsky , Johannes Walcher

We investigate the dividing line between classical and quantum computational power in estimating properties of matrix functions. More precisely, we study the computational complexity of two primitive problems: given a function $f$ and a…

Quantum Physics · Physics 2025-04-24 Santiago Cifuentes , Samson Wang , Thais L. Silva , Mario Berta , Leandro Aolita

The notion of monogenic (or regular) functions, which is a correspondence of holomorphic functions, has been studied extensively in hypercomplex analysis, including quaternionic, octonionic, and Clifford analysis. Recently, the concept of…

Complex Variables · Mathematics 2026-05-19 Zhenghua Xu , Chao Ding , Haiyan Wang

Diverse applications of Kolmogorov complexity to learning [CIKK16], circuit complexity [OPS19], cryptography [LP20], average-case complexity [Hir21], and proof search [Kra22] have been discovered in recent years. Since the running time of…

Computational Complexity · Computer Science 2022-05-31 Zhenjian Lu , Igor C. Oliveira

Every K-trivial set is computable from an incomplete Martin-L\"of random set, i.e., a Martin-L\"of random set that does not compute 0'.

Partial functions are common abstractions in formal specification notations such as Z, B and Alloy. Conversely, executable programming languages usually provide little or no support for them. In this paper we propose to add partial…

Programming Languages · Computer Science 2020-02-19 Maximiliano Cristia , Gianfranco Rossi , Claudia Frydman

Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…

Symbolic Computation · Computer Science 2020-05-11 Simon Abelard

The main subject of the paper is everywhere complex sequences. An everywhere complex sequence is a sequence that does not contain substrings of Kolmogorov complexity less than $\alpha n-O(1)$ where $n$ is the length of substring and…

Combinatorics · Mathematics 2010-09-21 Andrey Rumyantsev

Given a hereditary class $\mathcal{F}$ of finite relational structures, the rank function $\mathsf{rk}:\sigma\mathcal{F}\to\omega_1\cup\{\infty\}$, introduced by Kubi\'{s} and Shelah, measures how far a countable structure is from being…

Logic · Mathematics 2026-05-13 Carlos López-Callejas , Jareb Navarro-Castillo

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

Regular functions of infinite words are (partial) functions realized by deterministic two-way transducers with infinite look-ahead. Equivalently, Alur et. al. have shown that they correspond to functions realized by deterministic Muller…

Formal Languages and Automata Theory · Computer Science 2023-02-15 Olivier Carton , Gaëtan Douéneau-Tabot , Emmanuel Filiot , Sarah Winter

This note is purely expository. We show how in the course of the Kolmogorov-Arnold solution of Hilbert's 13-th problem on superpositions there appeared the notion of a basic embedding. A subset K of R^2 is {\it basic} if for each continuous…

Functional Analysis · Mathematics 2010-08-20 A. Skopenkov

The backward uniqueness of the Kolmogorov operator $L=\sum_{i,k=1}^n\partial_{x_i}(a_{i,k}(x,t)\partial_{x_k})+\sum_{l=1}^m x_l\partial_{y_l}-\partial_t$, was proved in this paper. We obtained a weak Carleman inequality via Littlewood-Paley…

Analysis of PDEs · Mathematics 2012-10-30 Wendong Wang , Liqun Zhang

Under a certain condition, we find the explicit formulas for the trace functions of certain intertwining operators among gl(n)-modules, introduced by Etingof in connection with the solutions of the Calogero-Sutherland model. If n=2, the…

Quantum Algebra · Mathematics 2007-05-23 Xiaoping Xu

In this paper we study subsequences of random numbers. In Kamae (1973), selection functions that depend only on coordinates are studied, and their necessary and sufficient condition for the selected sequences to be normal numbers is given.…

Information Theory · Computer Science 2012-02-15 Hayato Takahashi

Classical parking functions are a generalization of permutations that appear in many combinatorial structures. Prime parking functions are indecomposable components such that any classical parking function can be uniquely described as a…

In this paper we present results on asymptotic characteristics of multivariate function classes in the uniform norm. Our main interest is the approximation of functions with mixed smoothness parameter not larger than $1/2$. Our focus will…

Functional Analysis · Mathematics 2021-11-01 Vladimir Temlyakov , Tino Ullrich