English
Related papers

Related papers: On the complexity of finite valued functions

200 papers

Expressions for the derivatives with respect to order of modified Bessel functions evaluated at integer orders and certain integral representations of associated Legendre functions with modulus argument greater than unity are used to…

Classical Analysis and ODEs · Mathematics 2009-11-30 Howard S. Cohl

The existence of one-way functions is arguably the most important problem in computer theory. The article discusses and refines a number of concepts relevant to this problem. For instance, it gives the first combinatorial complete owf,…

Cryptography and Security · Computer Science 2021-08-23 Leonid A. Levin

Finite hypergeometric functions are complex valued functions on finite fields which are the analogue of the classical analytic hypergeometric functions. From the work of N.M.Katz it follows that their values are traces of Frobenius on…

Number Theory · Mathematics 2018-04-12 Frits Beukers , Henri Cohen , Anton Mellit

We study functional clones, which are sets of non-negative pseudo-Boolean functions (functions $\{0,1\}^k\to\mathbb{R}_{\geq 0}$) closed under (essentially) multiplication, summation and limits. Functional clones naturally form a lattice…

Discrete Mathematics · Computer Science 2018-04-13 Andrei Bulatov , Leslie Ann Goldberg , Mark Jerrum , David Richerby , Stanislav Živný

The problem of reconstructing functions from their asymptotic expansions in powers of a small variable is addressed by deriving a novel type of approximants. The derivation is based on the self-similar approximation theory, which presents…

Statistical Mechanics · Physics 2009-11-07 S. Gluzman , V. I. Yukalov , D. Sornette

Given a continuous real-valued function on [0, 1], and a closed subset E \subset [0, 1] we denote by f E the restriction of f to E, that is, the function defined only on E that takes the same values as f at every point of E >. The…

Classical Analysis and ODEs · Mathematics 2007-11-29 Jean-Pierre Kahane , Yitzhak Katznelson

Functional dynamics, introduced in a previous paper, is analyzed, focusing on the formation of a hierarchical rule to determine the dynamics of the functional value. To study the periodic (or non-fixed) solution, the functional dynamics is…

adap-org · Physics 2007-05-23 N. Kataoka , K. Kaneko

This work makes explicit the degrees of freedom involved in modeling the dynamics of a network, or some other first-order property of a network, such as a measurement function. In previous work, an admissible function in a network was…

Optimization and Control · Mathematics 2022-11-15 Pedro Sequeira , João P. Hespanha , A. Pedro Aguiar

The present paper is intended to provide the basis for the study of weakly differentiable functions on rectifiable varifolds with locally bounded first variation. The concept proposed here is defined by means of integration by parts…

Differential Geometry · Mathematics 2016-07-19 Ulrich Menne

By exploring the relations among functional equations, harmonic analysis and representation theory, we give a unified and very accessible approach to solve three important functional equations -- the d'Alembert equation, the Wilson…

Functional Analysis · Mathematics 2019-08-15 Dilian Yang

Determining functionals are tools to describe the finite dimensional long-term dynamics of infinite dimensional dynamical systems. There also exist several applications to infinite dimensional {\em random} dynamical systems. In these…

Dynamical Systems · Mathematics 2016-08-16 Igor Chueshov , Jinqiao Duan , Björn Schmalfuß

Subdifferentials (in the sense of convex analysis) of matrix-valued functions defined on $\mathbb{R}^d$ that are convex with respect to the L\"{o}wner partial order can have a complicated structure and might be very difficult to compute…

Optimization and Control · Mathematics 2024-07-22 M. V. Dolgopolik

In this paper, we study classes of structures and individual structures for which programs implementing functions defined everywhere are equivalent to finite tree-programs. The programs under consideration may have cycles and at most…

Logic in Computer Science · Computer Science 2025-01-06 Mikhail Moshkov

The paper deals with partial and weak preference relations defined on infinite-dimensional vector spaces and compatible with algebraic operations. By a partial preference we mean an asymmetric and transitive binary relation, while a weak…

Optimization and Control · Mathematics 2024-01-17 V. V. Gorokhovik

Previous work has explored the computational complexity of deriving two fundamental types of explanations for ML model predictions: (1) *sufficient reasons*, which are subsets of input features that, when fixed, determine a prediction, and…

Machine Learning · Computer Science 2026-02-23 Shahaf Bassan , Xuanxiang Huang , Guy Katz

An $n$-valued map is a set-valued continuous function $f$ such that $f(x)$ has cardinality $n$ for every $x$. Some $n$-valued maps will "split" into a union of $n$ single-valued maps. Characterizations of splittings has been a major theme…

General Topology · Mathematics 2021-01-26 P. Christopher Staecker

The valence of a function $f$ at a point $w$ is the number of distinct, finite solutions to $f(z) = w$. Let $f$ be a complex-valued harmonic function in an open set $R \subseteq \mathbb{C}$. Let $S$ denote the critical set of $f$ and $C(f)$…

Complex Variables · Mathematics 2007-05-23 Genevra Neumann

A rational function $f(x)$ is rationally summable if there exists a rational function $g(x)$ such that $f(x)=g(x+1)-g(x)$. Detecting whether a given rational function is summable is an important and basic computational subproblem that…

Symbolic Computation · Computer Science 2025-03-21 Carlos E. Arreche , Hari P. Sitaula

We classify all finite groups $G$ which possesses an element $x\in G$ such that every irreducible character of $G$ takes a root of unity value at $x$.

Group Theory · Mathematics 2022-09-19 Mark L. Lewis , Lucia Morotti , Hung P. Tong-Viet

We show how the complexity of higher-order functional programs can be analysed automatically by applying program transformations to a defunctionalized versions of them, and feeding the result to existing tools for the complexity analysis of…

Logic in Computer Science · Computer Science 2015-06-17 Martin Avanzini , Ugo Dal Lago , Georg Moser