English
Related papers

Related papers: Kolmogorov Complexity and Solovay Functions

200 papers

This paper presents generalizations of semidefinite programming formulations of 1-norm optimization problems over infinite dictionaries of vectors of complex exponentials, which were recently proposed for superresolution, gridless…

Optimization and Control · Mathematics 2016-04-12 Hsiao-Han Chao , Lieven Vandenberghe

For a large class of unitarily invariant reproducing kernel functions $K$ on the unit ball $\mathbb B_d$ in $\mathbb C^d$, we characterize the $K$-inner functions on $\mathbb B_d$ as functions admitting a suitable transfer function…

Functional Analysis · Mathematics 2019-12-20 Jörg Eschmeier , Sebastian Toth

We study the minimal complexity of tilings of a plane with a given tile set. We note that every tile set admits either no tiling or some tiling with O(n) Kolmogorov complexity of its n-by-n squares. We construct tile sets for which this…

Computational Complexity · Computer Science 2018-12-03 Bruno Durand , Leonid A. Levin , Alexander Shen

For every natural number k we prove a decomposition theorem for bounded measurable functions on compact abelian groups into a structured part, a quasi random part and a small error term. In this theorem quasi randomness is measured with the…

Combinatorics · Mathematics 2010-11-04 Balazs Szegedy

We continue the investigation of algorithmically random functions and closed sets, and in particular the connection with the notion of capacity. We study notions of random continuous functions given in terms of a family of computable…

Logic · Mathematics 2015-03-24 Douglas Cenzer , Christopher P. Porter

Orthogonal rational functions (ORF) on the unit circle generalize orthogonal polynomials (poles at infinity) and Laurent polynomials (poles at zero and infinity). In this paper we investigate the properties of and the relation between these…

Numerical Analysis · Mathematics 2017-12-05 Adhemar Bultheel , Ruyman Cruz-Barroso , Andreas Lasarow

We study the problem of maximizing a function that is approximately submodular under a cardinality constraint. Approximate submodularity implicitly appears in a wide range of applications as in many cases errors in evaluation of a…

Data Structures and Algorithms · Computer Science 2024-11-19 Thibaut Horel , Yaron Singer

Completely multiplicative functions whose sum is zero ($CMO$).The paper deals with $CMO$, meaning completely multiplicative ($CM$) functions $f$ such that $f(1)=1$ and $\sum\limits\_1^\infty f(n)=0$. $CM$ means $f(ab)=f(a)f(b)$ for all…

Number Theory · Mathematics 2015-07-20 Jean-Pierre Kahane , Eric Saias

We study the topological complexity of sets defined using Khovanskii's Pfaffian functions, in terms of an appropriate notion of format for those sets. We consider semi- and sub-Pfaffian sets, but more generally any definable set in the…

Algebraic Geometry · Mathematics 2007-05-23 Thierry Zell

We determine all entire functions $f$ such that for nonzero complex values $a\neq b$ the implications $f=a \Rightarrow f' =a$ and $f' =b \Rightarrow f=b$ hold. This solves an open problem in uniqueness theory. In this context we give a…

Complex Variables · Mathematics 2024-03-26 Andreas Sauer , Andreas Schweizer

Let $A$ and $B$ be non-constant rational functions over $\mathbb{C}$, and let $K \subset \mathbb{P}^1(\mathbb{C})$ be an infinite set. Using height functions, we prove that the inclusion $ A^{-1}(K) \subseteq B^{-1}(K) $ implies the…

Number Theory · Mathematics 2025-03-19 Fedor Pakovich

A certain class of matrix-valued Borel matrix functions is introduced and it is shown that all functions of that class naturally operate on any operator T in a finite type I von Neumann algebra M in a way such that uniformly bounded…

Operator Algebras · Mathematics 2017-05-26 Piotr Niemiec

Holomorphic functions are amazing because their values in an ever so small disk in the complex plane completely determine the function values at arbitrary points in their maximum possible domain. The process of extending such a function…

Complex Variables · Mathematics 2015-05-15 Stefan Kranich

A natural connection between rational functions of several real or complex variables, and subspace collections is explored. A new class of function, superfunctions, are introduced which are the counterpart to functions at the level of…

Algebraic Geometry · Mathematics 2016-02-23 Graeme W. Milton

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

We establish the higher differentiability of solutions to a class of obstacle problems for integral functionals where the convex integrand f satisfies p-growth conditions with respect to the gradient variable. We derive that the higher…

Analysis of PDEs · Mathematics 2023-05-25 Michele Caselli , Andrea Gentile , Raffaella Giova

We consider the problem of linearizing a pseudo-Boolean function $f : \{0,1\}^n \to \mathbb{R}$ by means of $k$ Boolean functions. Such a linearization yields an integer linear programming formulation with only $k$ auxiliary variables. This…

Discrete Mathematics · Computer Science 2024-08-14 Matthias Walter

The rate of randomness (or dimension) of a string $\sigma$ is the ratio $C(\sigma)/|\sigma|$ where $C(\sigma)$ is the Kolmogorov complexity of $\sigma$. While it is known that a single computable transformation cannot increase the rate of…

Logic · Mathematics 2019-11-26 Laurent Bienvenu , Barbara F. Csima , Matthew Harrison-Trainor

Submodular Functions are a special class of set functions, which generalize several information-theoretic quantities such as entropy and mutual information [1]. Submodular functions have subgradients and subdifferentials [2] and admit…

Discrete Mathematics · Computer Science 2020-07-01 Rishabh Iyer , Jeff Bilmes

Solomonoff induction is held as a gold standard for learning, but it is known to be incomputable. We quantify its incomputability by placing various flavors of Solomonoff's prior M in the arithmetical hierarchy. We also derive computability…

Artificial Intelligence · Computer Science 2015-10-20 Jan Leike , Marcus Hutter
‹ Prev 1 8 9 10 Next ›