Negligible function

In mathematics, a negligible function is a function ${\displaystyle \mu :\mathbb {N} \to \mathbb {R} }$ such that for every positive integer c there exists an integer N_c such that for all x > N_c,

${\displaystyle |\mu (x)|<{\frac {1}{x^{c}}}.}$

Equivalently, we may also use the following definition. A function ${\displaystyle \mu :\mathbb {N} \to \mathbb {R} }$ is negligible, if for every positive polynomial poly(·) there exists an integer N_poly > 0 such that for all x > N_poly

${\displaystyle |\mu (x)|<{\frac {1}{\operatorname {poly} (x)}}.}$

History[]

The concept of negligibility can find its trace back to sound models of analysis. Though the concepts of "continuity" and "infinitesimal" became important in mathematics during Newton and Leibniz's time (1680s), they were not well-defined until the late 1810s. The first reasonably rigorous definition of continuity in mathematical analysis was due to Bernard Bolzano, who wrote in 1817 the modern definition of continuity. Later Cauchy, Weierstrass and Heine also defined as follows (with all numbers in the real number domain ${\displaystyle \mathbb {R} }$):

(Continuous function) A function ${\displaystyle f:\mathbb {R} {\rightarrow }\mathbb {R} }$ is continuous at ${\displaystyle x=x_{0}}$ if for every ${\displaystyle \varepsilon >0}$, there exists a positive number ${\displaystyle \delta >0}$ such that ${\displaystyle |x-x_{0}|<\delta }$ implies ${\displaystyle |f(x)-f(x_{0})|<\varepsilon .}$

This classic definition of continuity can be transformed into the definition of negligibility in a few steps by changing parameters used in the definition. First, in the case ${\displaystyle x_{0}=\infty }$ with ${\displaystyle f(x_{0})=0}$, we must define the concept of "infinitesimal function":

(Infinitesimal) A continuous function ${\displaystyle \mu :\mathbb {R} \to \mathbb {R} }$ is infinitesimal (as ${\displaystyle x}$ goes to infinity) if for every ${\displaystyle \varepsilon >0}$ there exists ${\displaystyle N_{\varepsilon }}$ such that for all ${\displaystyle x>N_{\varepsilon }}$

${\displaystyle |\mu (x)|<\varepsilon \,.}$^{[citation needed]}

Next, we replace ${\displaystyle \varepsilon >0}$ by the functions ${\displaystyle 1/x^{c}}$ where ${\displaystyle c>0}$ or by ${\displaystyle 1/\operatorname {poly} (x)}$ where ${\displaystyle \operatorname {poly} (x)}$ is a positive polynomial. This leads to the definitions of negligible functions given at the top of this article. Since the constants ${\displaystyle \varepsilon >0}$ can be expressed as ${\displaystyle 1/\operatorname {poly} (x)}$ with a constant polynomial this shows that negligible functions are a subset of the infinitesimal functions.

Use in cryptography[]

In complexity-based modern cryptography, a security scheme is provably secure if the probability of security failure (e.g., inverting a one-way function, distinguishing cryptographically strong pseudorandom bits from truly random bits) is negligible in terms of the input ${\displaystyle x}$ = cryptographic key length ${\displaystyle n}$. Hence comes the definition at the top of the page because key length ${\displaystyle n}$ must be a natural number.

Nevertheless, the general notion of negligibility doesn't require that the input parameter ${\displaystyle x}$ is the key length ${\displaystyle n}$. Indeed, ${\displaystyle x}$ can be any predetermined system metric and corresponding mathematical analysis would illustrate some hidden analytical behaviors of the system.

The reciprocal-of-polynomial formulation is used for the same reason that computational boundedness is defined as polynomial running time: it has mathematical closure properties that make it tractable in the asymptotic setting (see #Closure properties). For example, if an attack succeeds in violating a security condition only with negligible probability, and the attack is repeated a polynomial number of times, the success probability of the overall attack still remains negligible.

In practice one might want to have more concrete functions bounding the adversary's success probability and to choose the security parameter large enough that this probability is smaller than some threshold, say 2⁻¹²⁸.

Closure properties[]

One of the reasons that negligible functions are used in foundations of complexity-theoretic cryptography is that they obey closure properties.^[1] Specifically,

1. If ${\displaystyle f,g:\mathbb {N} \to \mathbb {R} }$ are negligible, then the function ${\displaystyle x\mapsto f(x)+g(x)}$ is negligible.
2. If ${\displaystyle f:\mathbb {N} \to \mathbb {R} }$ is negligible and ${\displaystyle p}$ is any real polynomial, then the function ${\displaystyle x\mapsto p(x)\cdot f(x)}$ is negligible.

Conversely, if ${\displaystyle f:\mathbb {N} \to \mathbb {R} }$ is not negligible, then neither is ${\displaystyle x\mapsto f(x)/p(x)}$ for any real polynomial ${\displaystyle p}$.

Examples[]

This section needs expansion. You can help by . (March 2018)

• ${\displaystyle n\mapsto x^{-n}}$ is negligible for any ${\displaystyle x\geq 2}$.
• ${\displaystyle f(n)=3^{-{\sqrt {n}}}}$ is negligible.
• ${\displaystyle f(n)=n^{-\log n}}$ is negligible.
• ${\displaystyle f(n)=(\log n)^{-\log n}}$ is negligible.
• ${\displaystyle f(n)=2^{-c\log n}}$ is not negligible, for positive ${\displaystyle c}$.

See also[]

• Negligible set
• Colombeau algebra
• Nonstandard numbers
• Gromov's theorem on groups of polynomial growth
• Non-standard calculus

References[]

• Goldreich, Oded (2001). Foundations of Cryptography: Volume 1, Basic Tools. Cambridge University Press. ISBN 0-521-79172-3.
• Sipser, Michael (1997). "Section 10.6.3: One-way functions". Introduction to the Theory of Computation. PWS Publishing. pp. 374–376. ISBN 0-534-94728-X.
• Papadimitriou, Christos (1993). "Section 12.1: One-way functions". Computational Complexity (1st ed.). Addison Wesley. pp. 279–298. ISBN 0-201-53082-1.
• (1984). New Generalized Functions and Multiplication of Distributions. Mathematics Studies 84, North Holland. ISBN 0-444-86830-5.
• Bellare, Mihir (1997). "A Note on Negligible Functions". Dept. of Computer Science & Engineering University of California at San Diego. CiteSeerX 10.1.1.43.7900. Cite journal requires |journal= (help)