English
Related papers

Related papers: An Arithmetic Theory for the Poly-Time Random Func…

200 papers

We present RSLR, an implicit higher-order characterization of the class PP of those problems which can be decided in probabilistic polynomial time with error probability smaller than 1/2. Analogously, a (less implicit) characterization of…

Logic in Computer Science · Computer Science 2012-02-16 Ugo Dal Lago , Paolo Parisen Toldin

A randomised trapezoidal quadrature rule is proposed for continuous functions which enjoys less regularity than commonly required. Indeed, we consider functions in some fractional Sobolev space. Various error bounds for this randomised rule…

Numerical Analysis · Mathematics 2020-12-03 Yue Wu

The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the input-output behavior of an experiment? How many of the…

Optimization and Control · Mathematics 2025-10-20 Alexandre Sedoglavic

Leivant's ramified recurrence is one of the earliest examples of an implicit characterization of the polytime functions as a subalgebra of the primitive recursive functions. Leivant's result, however, is originally stated and proved only…

Logic in Computer Science · Computer Science 2010-05-05 Ugo Dal Lago , Simone Martini , Margherita Zorzi

Polynomial--time constant--space quantum Turing machines (QTMs) and logarithmic--space probabilistic Turing machines (PTMs) recognize uncountably many languages with bounded error (Say and Yakary\i lmaz 2014, arXiv:1411.7647). In this…

Computational Complexity · Computer Science 2016-08-02 Maksims Dimitrijevs , Abuzer Yakaryılmaz

We survey aspects of prediction theory in infinitely many dimensions, with a view to the theory and applications of functional time series.

Probability · Mathematics 2021-11-24 Nicholas Hugh Bingham

The Macdonald symmetric functions are used to define measures on the set of all partitions of all integers. Probabilistic algorithms are given for growing partitions according to these measures. The case of Hall-Littlewood polynomials is…

Combinatorics · Mathematics 2007-05-23 Jason Fulman

This paper is motivated by a conjecture that BPP can be characterized in terms of polynomial-time nonadaptive reductions to the set of Kolmogorov-random strings. In this paper we show that an approach laid out in [Allender et al] to settle…

Computational Complexity · Computer Science 2015-07-01 Eric Allender , Harry Buhrman , Luke Friedman , Bruno Loff

We study the complexity classes P and NP through a semigroup fP ("polynomial-time functions"), consisting of all polynomially balanced polynomial-time computable partial functions. Then P is not equal to NP iff fP is a non-regular…

Group Theory · Mathematics 2015-03-09 J. C. Birget

Polynomial functions on the group of units Q_n of the ring Z_{2^n} are considered. A finite set of reduced polynomials RP_n in Z[x] that induces the polynomial functions on Q_n is determined. Each polynomial function on Q_n is induced by a…

Commutative Algebra · Mathematics 2010-08-06 Smile Markovski , Danilo Gligoroski , Zoran Sunic

We obtain asymptotic results for well known summatory arithmetic functions, such as $\psi(x),$ and establish connections to new summatory functions. A new Volterra integral equation is offered, which is solved by summatory arithmetic…

Number Theory · Mathematics 2020-06-09 Alexander E Patkowski

A general theory of resource-bounded measurability and measure is developed. Starting from any feasible probability measure $\nu$ on the Cantor space $\C$ and any suitable complexity class $C \subseteq \C$, the theory identifies the subsets…

Computational Complexity · Computer Science 2012-02-01 Jack Lutz

The class of Basic Feasible Functionals BFF$_2$ is the type-2 counterpart of the class FP of type-1 functions computable in polynomial time. Several characterizations have been suggested in the literature, but none of these present a…

Logic in Computer Science · Computer Science 2023-06-22 Emmanuel Hainry , Bruce M. Kapron , Jean-Yves Marion , Romain Péchoux

The concept of polynomials in the sense of algebraic analysis, for a single right invertible linear operator, was introduced and studied originally by D. Przeworska-Rolewicz \cite{DPR}. One of the elegant results corresponding with that…

Quantum Algebra · Mathematics 2012-01-06 Piotr Multarzyński

In this note we propose a version of the classical Stone-Weierstrass theorem in the context of quantum operations, by introducing a particular class of quantum operations, dubbed polynomial quantum operations. This result permits to…

Quantum Physics · Physics 2016-02-26 Hector Freytes , Antonio Ledda , Giuseppe Sergioli

We describe a method to perform functional operations on probability distributions of random variables. The method uses reproducing kernel Hilbert space representations of probability distributions, and it is applicable to all operations…

Machine Learning · Statistics 2016-09-14 Bernhard Schölkopf , Krikamol Muandet , Kenji Fukumizu , Jonas Peters

Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of…

Programming Languages · Computer Science 2020-12-03 Chris Heunen , Ohad Kammar , Sam Staton , Hongseok Yang

The Wright function, which arises in the theory of the space-time fractional diffusion equation, is an interesting mathematical object which has diverse connections with other special and elementary functions. The Wright function provides a…

Classical Analysis and ODEs · Mathematics 2023-07-07 Dimiter Prodanov

We design new polynomials for representing threshold functions in three different regimes: probabilistic polynomials of low degree, which need far less randomness than previous constructions, polynomial threshold functions (PTFs) with…

Data Structures and Algorithms · Computer Science 2016-08-16 Josh Alman , Timothy M. Chan , Ryan Williams

We study function-valued solutions of a class of stochastic partial differential equations, involving operators with polynomially bounded coefficients. We consider semilinear equations under suitable parabolicity hypotheses. We provide…

Probability · Mathematics 2022-06-16 Alessia Ascanelli , Sandro Coriasco , André Suß