Jump to content

Nonlocality: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
EPR make no mention of hidden variables, but do talk about completeness and "elements of physical reality"
 
(38 intermediate revisions by 23 users not shown)
Line 1: Line 1:
{{wiktionarypar|nonlocality}}
In [[classical physics]], '''nonlocality''' ([[action at a distance (physics)|action at a distance]]) is a direct influence of one object on another distant object, in violation of the [[principle of locality]]. In [[quantum physics]] and quantum [[Field theory (physics)|field theories]], the term nonlocal means that correlations cannot be described by any local hidden variable theory. Such a form of nonlocality does not allow [[superluminal communication]]. Many states which possess [[quantum entanglement|entanglement]] produce such correlations when measured, as demonstrated by [[Bell's theorem]]. This has been verified experimentally<ref name="aspect">{{cite journal | last = Aspect | first = Alain | coauthors = Dalibard, Jean and Roger, Gérard | title = Experimental Test of Bell's Inequalities Using Time- Varying Analyzers | month = December | year = 1982 | journal = [[Physical Review Letters]] | volume = 49 | issue = 25 | pages = 1804–1807 | doi = 10.1103/PhysRevLett.49.1804 }}</ref> implying the absence of [[local hidden variable theory|local hidden variables]] underlying quantum mechanics.


'''Nonlocality''' may refer to:
Entanglement is compatible with relativity, though it prompts some of the more fundamentally oriented discussions concerning quantum theory. A more general nonlocality beyond quantum entanglement — retaining compatibility with relativity — is an active field of theoretical investigation and has yet to be observed.
* [[Action at a distance]], the concept in physics of nonlocal interactions

** [[Principle of locality]], the opposite of action at a distance
== Different notions of nonlocality in physics ==
* [[Quantum nonlocality]], nonlocal phenomena in quantum mechanics
One needs to distinguish between different notions of nonlocality appearing in physics:<ref>http://droptower.org/2forschung/gravi/publications/papers/1993Laemmerzahl_PDO_JMP.pdf</ref>
* [[Nonlocal Lagrangian]], a type of Lagrangian (a mathematical function)
# [[Aharonov-Bohm]]-like interactions.
* [[Nonlocal operator]], which maps functions on a topological space to functions, in such a way that the value of the output function at a given point cannot be determined solely from the values of the input function in any neighbourhood of any point.
# Non-local correlations arising from [[quantum entanglement]]. For example Einstein-Podolsky-Rosen Paradox (EPR) correlations.
# The impossibility to localize a particle, that is, wavefunctions with finite spatial extent are not [[eigenfunctions]] of a position operator.
# The field equation contains an infinite order of derivatives. An example is the square root of the [[Klein–Gordon equation]]. See also [[nonlocal Lagrangian]].
# Coupling of a field to derivatives of potentials, e.g., Darwin-like terms.
# Locality conditions in quantized theories, that is, the commutator of fields vanishes for spacelike distances.

== Example ==

Imagine two experimentalists, [[Alice and Bob]], situated in their laboratories. Alice chooses and pushes one of two buttons, A0 and A1, on her apparatus. Bob observes on his apparatus one of two indicating lamps, b0 and b1, lighting. The four combinations are logically possible: (A0,b0), (A0,b1), (A1,b0) and (A1,b1).

It may happen that only two combinations, (A0,b0) and (A1,b1), occur in the experiment. Then one concludes that A has influence on b.

It may happen that all the four combinations occur with some (conditional) probabilities P(b0|A0), P(b1|A0) = 1 - P(b0|A0), P(b0|A1) and P(b1|A1) = 1 - P(b0|A1). If P(b0|A0) differs from P(b0|A1), one concludes that A has influence on b.

Here is a more complicated scenario: Alice pushes one of two buttons, A0 and A1; also Bob pushes one of two buttons, B0 and B1.
Alice observes one of two outcomes, a0 and a1; also Bob observes one of two outcomes, b0 and b1. Logically, 16 combinations are possible:
::<math>\textstyle (AX, BY, ax, by) </math>
where each of X,Y,x,y is 0 or 1.
Imagine that only 8 combinations occur, with the following (conditional) probabilities:
::<math> P( {ax,by}{|}{AX,BY} ) =
\begin{cases}
\frac{1}{2}, & \mbox{if } x \oplus y = XY \\
0, & \mbox{otherwise}
\end{cases} </math>
That is, the two outcomes are perfectly anticorrelated (either (a0,b1) or (a1,b0), equiprobably) when (A1,B1) is chosen. In the three other cases ((A0,B0), (A0,B1), (A1,B0)), the two outcomes are perfectly correlated (either (a0,b0) or (a1,b1), equiprobably).

Does it imply that some influence exists (A on B, or B on A), or not?

The question is important, since the answer depends on our fundamental assumptions about nature.

On one hand, Alice cannot send a message to Bob, using her buttons A0, A1 and his indicators b0, b1 (nor Bob to Alice). In this sense there is no influence of A on B, or of B on A, since it is easily checked that P(bx|A0) = P(bx|A1) for both x = 0 and x = 1 in the above example. That is to say, this particular set of probabilities is non-signalling.

On the other hand, no one is able to design apparata that behave as specified, without using a kind of influence (A on B, or B on A). In this sense the answer is affirmative (some influence must exist).

Thorough logical analysis reveals that the affirmative answer follows from the assumptions of [[local realism]] and [[counterfactual definiteness]]. These fundamental assumptions, deeply rooted in our physical intuition, are incompatible with quantum theory. Different interpretations of quantum mechanics reject different parts of local realism and/or counterfactual definiteness (for detail, see [[Principle of locality]]). Thus, the definition of nonlocality, given in the beginning of this article, is tentative. Here is an elaborate definition.

A phenomenon is nonlocal if it implies a direct influence of one object on another, distant object, provided that local realism and counterfactual definiteness are taken for granted.

This subtlety explains why a nonlocal phenomenon is not necessarily a channel for direct signaling.

== Nonlocality in quantum mechanics ==
===Einstein, Podolsky and Rosen===
{{Main|EPR Paradox}}

In 1935, [[Albert Einstein|Einstein]], Podolsky and Rosen published a thought experiment<ref name="epr">{{cite journal | last = Einstein| first = Albert | coauthors = Podolsky, Boris and Rosen, Nathan | title = Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? | month = May | year = 1935 | journal = [[Physical Review]] | volume = 47 | issue = 10 | pages = 777–780 | doi = 10.1103/PhysRev.47.777}}</ref> with which they hoped to expose the incompleteness of the [[Copenhagen interpretation]] of quantum mechanics in relation to the violation of realism and [[Principle of locality|local causality]] at the microscopic scale that it described. This was later formalised by the idea that the results of measurements on particles could be described through the means of some ‘hidden’ variables that locally determine the statistics measurement results, but to which an observer does not have access.<ref>von Neumann, J. (1932/1955). In ''Mathematische Grundlagen der Quantenmechanik'', Springer, Berlin, translated into English by Beyer, R.T., Princeton University Press, Princeton, cited by Baggott, J. (2004) ''Beyond Measure: Modern physics, philosophy, and the meaning of quantum theory'', Oxford University Press, Oxford, ISBN 0-19-852927-9, pages 144-145.</ref><ref>Bohm, D. (1951). [http://books.google.com.au/books?id=9DWim3RhymsC&printsec=frontcover&dq=david+bohm+quantum+theory&source=bl&ots=6G-2u1wtav&sig=Q1GcoVDLFRmKOmDYFAJte6LzrZU&hl=en&ei=Pv45TNSnLYffcfnS6foO&sa=X&oi=book_result&ct=result&resnum=7&ved=0CEEQ6AEwBg#v=onepage&q&f=false ''Quantum Theory''], Prentice-Hall, Englewood Cliffs, page 29, and Chapter 5 section 3, and Chapter 22 Section 19.</ref>

In physical terms, this experiment can be represented as a spin-zero particle decaying into two spin-half particles such that there is no interaction between the two particles after decay. Since spin is a conserved quantity, measurements of spin on the two particles must anti-correlate. The quantum state of the two particles prior to measurement can be written as<ref name=nielchuang>
{{cite book
| last = Nielsen | first = Michael A.
| coauthors = Chuang, Isaac L.
| year = 2000
| title = Quantum Computation and Quantum Information
| publisher = [[Cambridge University Press]]
| pages = 112–113
| isbn = 0-521-63503-9
}}</ref>

::<math>\left|\psi_{AB}\right\rang =\frac{1}{\sqrt{2}} \bigg(\left|\uparrow\right\rang_A \left|\downarrow\right\rang_B -
\left|\downarrow\right\rang_A \left|\uparrow\right\rang_B \bigg) </math>

Here, subscripts ''A'' and ''B'' distinguish the two particles, though it is more convenient and usual to refer to these particles as being in the possession of two experimentalists called Alice and Bob.

The rules of Quantum Theory give predictions for the outcomes of measurements performed on each particle. Alice, for example, will measure her particle to be spin-up in an average of fifty percent of measurements. However, according to the Copenhagen interpretation, Alice's measurement causes the state of the two particles to collapse, so that if Alice measures spin-up in some direction '''n''', the quantum state after measurement is the corresponding eigenstate

::<math>\left|\psi_{AB}\right\rang = \left|\uparrow_{\mathbf{n}}\right\rang_A \left|\downarrow_{\mathbf{n}}\right\rang_B </math>

implying that if Bob also measures spin in direction '''n''', he ''must'' get a spin-down result. Hence, spin measurements in the same direction are always anti-correlated, regardless of spatial separation. The orthodox quantum description of such behaviour is ''non-local'' because the measurement of one particle instantaneously influences the physical state of another, independent of the distance between them.

Einstein, Podolsky and Rosen saw this as evidence of a causal effect propagating at [[superluminal]] speeds, which is in violation of the laws of [[special relativity]], and proposed that it was evidence of the incompleteness of the Copenhagen interpretation of Quantum Theory.<ref name="epr" /> They further pointed out that such an unwanted result could be avoided by admitting the presence of [[hidden variables]] that determine the results of measurements for each of the entangled particles, which would restore locality to physics.

=== Demonstration ===
{{See also|Bell test experiments}}
In 1964, John Bell showed that such local hidden variables could never reproduce the statistical outcomes of individual measurements, as predicted by Quantum Theory.<ref name="bell64">{{cite journal | last = Bell| first = John | title = On the Einstein Podolsky Rosen paradox | journal = [[Physics (journal)|Physics]] | volume = 1 | pages = 195 | year = 1964 }}</ref> Starting from the presumption of hidden variables, Bell [[Bell's theorem|derived inequalities]] based on expected correlations between measurements that would have to be true if hidden variable models were correct. If the Bell inequalities are violated, then reality cannot be described by such local hidden variables and the mystery of quantum non-local causation remains. According to Bell<ref name="bell64"/>:

:This [grossly nonlocal structure] is characteristic... of any such theory which reproduces exactly the quantum mechanical predictions.

Clauser, Horne, Shimony and Holt (CHSH) [[CHSH inequality|reformulated these inequalities]] for a scenario closest to the one given above.<ref>{{cite journal | last = Clauser| first = John F. | coauthors = Horne, Michael A.; Shimony, Abner and Holt, Richard A. | title = Proposed Experiment to Test Local Hidden-Variable Theories | month = October | year = 1969 | journal = [[Physical Review Letters]] | volume = 23 | issue = 15 | pages = 880–884 | doi = 10.1103/PhysRevLett.23.880}}</ref> They proposed a scheme whereby Alice and Bob can make measurements of particle spin along two arbitrary axes. The statistical correlation of the results of these measurements was assumed to result from non-quantum mechanical information carried locally by the two particles as part of a collection of hidden variables denoted by ''λ''.

The variable ''λ'' here is commonly referred to as a hidden variable, but it is equivalent (and more intuitive) to think of them as local "strategies" that each occur with some probability ''p(<math>\lambda</math>)'' when an entangled pair of states is created. EPR's criteria for local causation then stipulates that each local strategy defines independent distributions for the outcome probabilities if Alice inputs measurement ''A'' and Bob inputs measurement ''B'':

::<math> P \left ( {a, b}{|}{A, B, \lambda } \right ) = P \left ( {a}{|}{A, \lambda } \right ) P \left ( {b}{|}{B, \lambda } \right )</math>

where, for instance, <math>P \left ( {a}{|}{A, \lambda } \right )</math> denotes the probability of Alice getting the outcome ''a'' given that she input the measurement ''A''.

If each strategy ''<math>\lambda_i , 1 \leq i \leq k</math>'' has an associated probability ''ρ(<math>\lambda_i</math>)'' of being selected (such that the probabilities sum to unity) we can average these probabilities over the distribution on the ''<math>\lambda_i</math>'':

::<math> P \left ( {a, b}{|}{A, B} \right ) = \sum_{i=1}^k P \left ( {a}{|}{A, \lambda_i} \right ) P \left ( {b}{|}{B, \lambda_i} \right ) \rho \left (\lambda_i \right )</math>

For each measurement A and B, the correlator E(A, B) is then defined as:

::<math> E \left ( {A, B} \right ) = \sum_{a,b} {ab} P\left ( {a, b}{|}{A, B} \right ) </math>

In the case that Alice and Bob are measuring spin-1/2 particles, ''a'' and ''b'' only take on values 1 or -1. Hence the product ''ab'' is equal to 1 if Alice and Bob get the same outcome, and -1 if they get different outcomes. E(A,B) can therefore be seen as the expectation that Alice's and Bob's outcomes are ''correlated''.

In the case that Alice chooses from one of two measurements <math>A_1</math> or <math>A_2</math>, and Bob chooses from <math>B_1</math> or <math>B_2</math>, the CHSH inequality uses a correlation function defined as

::<math> S_{CHSH} = E \left ( {A_1, B_1} \right ) + E \left ( {A_1, B_2} \right ) + E \left ( {A_2, B_1} \right ) - E \left ( {A_2, B_2} \right ) </math>

Using ''only'' local strategies, it can be shown that the correlation function always obeys the following CHSH inequality<ref name =nielchuang />:

::<math> -2 \le S_{CHSH} \le 2</math>

However, if instead of local hidden variables we adopt the rules of Quantum Theory, it is possible to construct an entangled pair of particles (one each for Alice and Bob) and a set of measurements <math>A_1, A_2, B_1, B_2</math> such that <math>S_{CHSH} = 2\sqrt{2}</math>. Experimentalists such as Aspect have verified the quantum violation of the CHSH inequality,<ref name = "aspect" /> as well as other formulations of Bell's inequality, to invalidate the local hidden variables hypothesis and confirm that reality is indeed non-local in the EPR sense.

===Non-locality and entanglement===
{{See also|Quantum entanglement}}

In the media and popular science, quantum non-locality is often portrayed as being equivalent to entanglement. While it is true that a bipartite quantum state must be entangled in order for it to produce non-local correlations, there exist entangled states which do not produce such correlations. A well-known example of this is the [[Werner state]] that is entangled for certain values of <math>p_{sym}</math>, but can always be described using local hidden variables.<ref name=werner1989/> On the other hand, reasonably simple examples of Bell inequalities have been found for which the quantum state giving the largest violation is ''never'' a maximally entangled state, showing that entanglement is, in some sense, not even proportional to non-locality.<ref>{{cite arxiv | author1 = Thomas Vidick | author2 = Stephanie Wehner |title = More Non-locality with less Entanglement |eprint=1011.5206v2 | class = quant-ph | year = 2010}}</ref>

In short, entanglement of a two-party state is necessary but not sufficient for that state to be non-local. It is important to recognise that entanglement is more commonly viewed as an algebraic concept, noted for being a precedent to non-locality as well as [[quantum teleportation]] and [[superdense coding]], whereas nonlocality is interpreted according to experimental statistics and is much more involved with the foundations and [[Interpretations of quantum mechanics|interpretations]] of Quantum Mechanics.

== Generalising nonlocality ==

Whilst the CHSH inequality gives restrictions on the CHSH value attainable by local hidden variable theories, the rules of Quantum Theory do not allow us to violate [[Tsirelson's bound]] of <math> 2 \sqrt{2}</math>, even if we exploit measurements of entangled particles<ref>{{cite journal | last = Cirel'son| first = B. S. | title = Quantum generalizations of Bell's inequality | journal = [[Letters in Mathematical Physics]] | volume = 4| issue = 2| pages = 93–100 | year = 1980 | doi = 10.1007/BF00417500 }}</ref>. The question remained whether this was the maximum CHSH value one can attain without explicitly allowing instantaneous signaling. In 1994 two physicists, Sandu Popescu and Daniel Rohrlich, postulated a particular set of non-signalling correlated measurements that give <math>S_{CHSH} = 4</math>: the algebraic maximum.<ref>{{cite journal | last = Popescu | first = Sandu |coauthors = Rohrlich, Daniel | title = Nonlocality as an axiom | journal = [[Foundations of Physics]] | volume = 24| pages = 379–385 | year = 1994 | doi = 10.1007/BF02058098 | issue = 3 }}</ref> This demonstrated that there were apparently reasonable theories of parts of Nature that drastically violated the predictions of Quantum Theory. The attempt to understand what uniquely identified Quantum Theory from such general theories motivated an abstraction from physical measurements of non-locality, to the study of ''non-local boxes''.<ref name=nonlocalbox>{{cite journal | last = Barrett| first = J. |coauthors = Linden, N.; Massar, S.; Pironio, S.; Popescu, S. and Roberts, D. | title = Non-local correlations as an information theoretic resource | journal = [[Physical Review A]] | volume = 71| pages = 022101 | year = 2005 | doi = 10.1103/PhysRevA.71.022101 | issue = 2 }}</ref>

In the case of measurements by Alice and Bob, such a box would take an input ''A'' from Alice and an input ''B'' from Bob, and output two values ''a'' and ''b'' for Alice and Bob respectively and separately, where ''a, b, A'' and ''B'' could only take the values zero or one. The box itself determines the joint probability for an output pair given the particular pair of inputs received. This probability is denoted <math>P \left ( { {a, b}{|}{A, B} } \right )</math> and has the properties

::<math>P \left ( { {a, b}{|}{A, B} } \right ) \ge 0 \quad \forall {a,b,A,B}</math>

and

::<math>\sum_{a,b} P \left ( { {a, b}{|}{A, B} } \right ) = 1 \quad \forall {A,B}</math>

These arise from the normal [[Probability|probabilistic]] conditions of positivity and normalisation.

A box is ''local'', or ''admits a local hidden variable model'', if its output probabilities can be characterized in the following way:<ref name=werner1989>{{cite journal | last = Werner| first = R.F. | title = Quantum States with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model | journal = [[Physical Review A]] | volume = 40| pages = 4277 | year = 1989 |doi=10.1103/PhysRevA.40/4277}}</ref>

::<math>P \left ( { {a,b}{|}{A,B} } \right ) = \sum_{\lambda} p(\lambda) \; P \left ( { {a}{|}{A,\lambda} } \right ) \; P \left ( { {b}{|}{B,\lambda} } \right )</math>

where <math>P \left ( { {a}{|}{A,\lambda} } \right )</math> and <math>P \left ( { {b}{|}{B,\lambda} } \right )</math> describe single input/output probabilities at Alice's or Bob's system alone, and the value of <math>\lambda</math> is chosen at random according to some fixed probability distribution given by <math>p(\lambda)</math>. Intuitively, <math>\lambda</math> corresponds to a hidden variable, or to a shared randomness between Alice and Bob. If a box violates this condition, it is explicitly ''non-local''. However, the study of non-local boxes often also encapsulates local boxes.

The set of non-local boxes most commonly studied are the so-called ''non-signalling boxes'',<ref name=nonlocalbox /> for which neither Alice nor Bob can signal their choice of input to the other. Physically, this is a reasonable restriction: setting the input is physically analogous to making a measurement, which should effectively provide a result immediately. Since there may be a large spatial separation between the parties, signalling to Bob would potentially require considerable time to elapse between measurement and result, which is a physically unrealistic scenario.

The non-signalling requirement imposes further conditions on the joint probability, in that the probability of a particular output ''a'' or ''b'' should depend only on its associated input. This allows for the notion of a reduced or [[marginal probability|marginal]] probability on both Alice and Bob's measurements, and is formalised by the conditions:

::<math>\sum_{b} P \left ( {a,b}{|}{A,B} \right ) = \sum_{b} P \left ( {a,b}{|}{A,B'} \right ) \equiv P \left ( {a}{|}{A} \right ) \quad \forall {a,X,B,B'}</math>

and

::<math>\sum_{a} P \left ( {a,b}{|}{A,B} \right ) = \sum_{a} P \left ( {a,b}{|}{A'B} \right ) \equiv P \left ( {b}{|}{B} \right ) \quad \forall {b,B,A,A'}</math>

The constraints above are all linear, and so define a polytope representing the set of all non-signalling boxes with a given number of inputs and outputs. Moreover, the polytope is convex because any two boxes that exist in the polytope can be mixed (as above, according to some variable <math>\lambda</math> with probabilities <math>p(\lambda)</math>) to produce another box that also exists within the polytope.

Local boxes are clearly non-signalling, however non-local boxes may or may not be non-signalling. Since this polytope contains all possible non-signalling boxes of a given number of inputs and outputs, it has as subsets both local boxes and those boxes which can achieve Tsirelson’s bound in accord with quantum mechanical correlations. Indeed, the set of local boxes form a convex sub-polytope of the non-signalling polytope.

Popescu and Rohrlich’s maximum algebraic violation of the CHSH inequality can be reached by a non-signalling box, referred to as a standard PR box after these authors, with joint probability given by:

::<math> P \left ( {a,b}{|}{A,B} \right ) =
\begin{cases}
\frac{1}{2}, & \mbox{if } a \oplus b = AB \\
0, & \mbox{otherwise}
\end{cases} </math>

where <math>\oplus</math> denotes addition modulo two.<ref>{{cite journal | last = Barrett| first = Jonathan |coauthors = Pironio, Stefano | title = Popescu-Rohrlich Correlations as a Unit of Nonlocality | journal = [[Physical Review Letters]] | volume = 95 | issue = 14 | pages = 140401 | month = September | year = 2005 | doi = 10.1103/PhysRevLett.95.140401 | pmid = 16241631 }}</ref>

Various attempts have been made to explain why Nature does not allow for stronger nonlocality than Quantum Theory permits. For example, in a recent publication it was found that quantum mechanics cannot be more non-local without violating the Heisenberg [[uncertainty principle]].<ref>{{cite journal |author1=Jonathan Oppenheim |author2=Stephanie Wehner |title=The uncertainty principle determines the non-locality of quantum mechanics |journal=[[Science (journal)|Science]] |doi=10.1126/science.1192065 |year=2010 |volume=330 |issue=6007 |pages=1072–1074 |arxiv=1004.2507}} </ref> Strikingly, it has been discovered that if PR boxes did exist, any [[distributed computation]] could be performed with only one [[bit]] of communication<ref>{{cite arxiv | last = van Dam| first = Wim |title = Implausible Consequences of Superstrong Nonlocality |eprint=quant-ph/0501159 | class = quant-ph | year = 2005}}</ref>. An even stronger result is that for any non-local box theory which violates Tsirelson's bound, there cannot be a sensible measure of [[mutual information]] between pairs of systems.<ref>{{cite journal | last = Pawlowski| first = M. |coauthors = Paterek, Kaszlikowski, Scarani, Winter, Zukowski | title = Information Causality as a Physical Principle | journal = [[Nature (journal)|Nature]] | volume = 461 | pages = 1101–1104 | month = October | year = 2009 | doi = 10.1038/nature08400 | issue = 7267 }}</ref> This suggests a deep link between nonlocality and the information-theoretic properties of Quantum Mechanics.


==See also==
==See also==
* [[Locality (disambiguation)]]
*[[Quantum pseudo-telepathy]]
* [[Nonlocal (disambiguation)]]
*[[Wheeler-Feynman absorber theory]]

==References==
{{reflist}}

==External links==
*[http://en.citizendium.org/wiki/Entanglement_(physics) Citizendium: Entanglement]


{{disambig}}
[[Category:Quantum measurement]]
[[Category:Quantum field theory]]
[[Category:Theoretical physics]]


[[ru:Нелокальность]]
[[nl:Non-lokaal]]
[[ja:非局所性]]
[[pt:Não localidade]]
[[scn:Nonlucalitati]]
[[fi:Nonlocality]]

Latest revision as of 14:12, 26 September 2024

Nonlocality may refer to:

  • Action at a distance, the concept in physics of nonlocal interactions
  • Quantum nonlocality, nonlocal phenomena in quantum mechanics
  • Nonlocal Lagrangian, a type of Lagrangian (a mathematical function)
  • Nonlocal operator, which maps functions on a topological space to functions, in such a way that the value of the output function at a given point cannot be determined solely from the values of the input function in any neighbourhood of any point.

See also

[edit]