English
Related papers

Related papers: Representations and evaluation strategies for feas…

200 papers

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

This paper presents a novel method for generating a single polynomial approximation that produces correctly rounded results for all inputs of an elementary function for multiple representations. The generated polynomial approximation has…

Mathematical Software · Computer Science 2022-03-18 Mridul Aanjaneya , Jay P. Lim , Santosh Nagarakatte

By applying an integral representation for $q^{k^{2}}$ we systematically derive a large number of new Fourier and Mellin transform pairs and establish new integral representations for a variety of $q$-functions and polynomials that…

Classical Analysis and ODEs · Mathematics 2016-05-10 Mourad E. H. Ismail , Ruiming Zhang

The paper proves sum-of-square-of-rational-function based representations (shortly, sosrf-based representations) of polynomial matrices that are positive semidefinite on some special sets: $\mathbb{R}^n;$ $\mathbb{R}$ and its intervals…

Optimization and Control · Mathematics 2019-03-29 Thanh-Hieu Le , Nhat-Thien Pham

Many combinatorial optimization problems are often considered intractable to solve exactly or by approximation. An example of such problem is maximum clique which -- under standard assumptions in complexity theory -- cannot be solved in…

Data Structures and Algorithms · Computer Science 2021-07-27 Tapani Toivonen

One of the elegant achievements in the history of proof theory is the characterization of the provably total recursive functions of an arithmetical theory by its proof-theoretic ordinal as a way to measure the time complexity of the…

Logic · Mathematics 2024-11-27 Amirhossein Akbar Tabatabai

It is shown that a piecewise linear function can be represented as a Max-Min polynomial of its linear components.

Combinatorics · Mathematics 2007-05-23 Sergei Ovchinnikov

In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of feasible functions. We also improve the Kapron - Cook…

Logic in Computer Science · Computer Science 2007-05-23 Aleksandar Ignjatovic , Arun Sharma

This work aims to introduce the framework of polynomial optimization theory to solve fractional polynomial problems (FPPs). Unlike other widely used optimization frameworks, the proposed one applies to a larger class of FPPs, not…

Information Theory · Computer Science 2018-10-17 Andrea Pizzo , Alessio Zappone , Luca Sanguinetti

Given a single (differential-algebraic) input-output equation, we present a method for finding different representations of the associated system in the form of rational realizations; these are dynamical systems with rational right-hand…

Symbolic Computation · Computer Science 2025-03-12 Sebastian Falkensteiner , Dmitrii Pavlov , Rafael Sendra

We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge A, is the size of the shortest formula of F…

Artificial Intelligence · Computer Science 2011-06-02 M. Cadoli , F. M. Donini , P. Liberatore , M. Schaerf

A representation-theoretic approach to special functions was developed in the 40-s and 50-s in the works of I.M.Gelfand, M.A.Naimark, N.Ya.Vilenkin, and their collaborators. The essence of this approach is the fact that most classical…

High Energy Physics - Theory · Physics 2008-02-03 Pavel Etingof , Alexander Kirillov

We will find a lower bound on the recognition complexity of the theories that are nontrivial relative to some equivalence relation (this relation may be equality), namely, each of these theories is consistent with the formula, whose sense…

Logic · Mathematics 2023-10-16 Ivan V. Latkin

In this paper, exact rate of approximation of functions by linear means of Fourier series and Fourier integrals and corresponding $K$-functionals are expressed via special moduli of smoothness. . Introduction is given in $\S 1$. In $\S2$…

Classical Analysis and ODEs · Mathematics 2016-06-27 R. M. Trigub

Sparse polynomial approximation has become indispensable for approximating smooth, high- or infinite-dimensional functions from limited samples. This is a key task in computational science and engineering, e.g., surrogate modelling in…

Numerical Analysis · Mathematics 2023-11-08 Ben Adcock , Simone Brugiapaglia , Nick Dexter , Sebastian Moraga

We use symbolic expressions for traces of positive integer powers of a Hermitian operator (or, equivalently, coefficients of corresponding characteristic polynomial) to find solutions for the problems as follows: Factorization of…

Rings and Algebras · Mathematics 2017-08-16 Ilia Lomidze , Natela Chachava

Learning rich and compact representations is an open topic in many fields such as object recognition or image retrieval. Deep neural networks have made a major breakthrough during the last few years for these tasks but their representations…

Computer Vision and Pattern Recognition · Computer Science 2019-06-06 Pierre Jacob , David Picard , Aymeric Histace , Edouard Klein

According to the principle of polyrepresentation, retrieval accuracy may improve through the combination of multiple and diverse information object representations about e.g. the context of the user, the information sought, or the retrieval…

Information Retrieval · Computer Science 2017-04-07 Christina Lioma , Birger Larsen , Peter Ingwersen

Existing value function approximation methods have been successfully used in many applications, but they often lack useful a priori error bounds. We propose a new approximate bilinear programming formulation of value function approximation,…

Artificial Intelligence · Computer Science 2010-06-15 Marek Petrik , Shlomo Zilberstein

We give some connections between various functions defined on finitely presented groups (isoperimetric, isodiametric, Todd-Coxeter radius, filling length functions, etc.), and we study the relation between those functions and the…

Group Theory · Mathematics 2007-05-23 Jean-Camille Birget