Analyticity and Causality in Relativity A few weeks ago at a conference a speaker I was listening to made a comment to the effect that a function (let's say scalar) cannot be analytic because otherwise it would violate causality. He didn't make this precise as it was a side comment, and although it intrigued me (I had never heard that said before) I didn't give it much thought until this morning.
Now that I think about it, it actually seems quite obvious. Just look in $1+1$ Minkowski space: suppose $f$ is analytic around some point $(t_0, x_0)$, then I can find some ball about this point such that at another point $(t,x)$ in the ball but outside the light cone of $(t_0,x_0)$ we have that $f(t,x)$ is completely determined by the value of the function and its derivatives at $(t_0,x_0)$. This seems to be against the spirit of causality. 
If the above is correct, does anyone know when this was first discussed? I imagine that it would have been quite a long time ago. It's interesting because until this conference I had never heard it said before. Perhaps it is deemed to be uninteresting/obvious?    
 A: Not really, if you take the point of view that causality is about whether a "signal" can be sent faster than the speed of light. 
Recall that whether a function is real analytic depends locally on whether there is a small neighborhood in which the Taylor series of a function converges to the actual function. So one may argue that by postulating a scalar field is real analytic, you are already postulating a fact that cannot be causally derived. The fact that you are using acausal knowledge to derive more acausal knowledge should not be viewed as contradicting causality. 
To put it another way: real analyticity is also causally propagated: if you are given the scalar field (linear wave) equation and data that is real analytic in a space-time region, then the most you can say is that the solution is real analytic inside the domain of dependence. Outside the domain of dependence there is no guarantee that the solution will actually be real analytic. 
Now, suppose that the universe conspires so that only real analytic functions exist as solutions to the scalar field equations. I claim that you still don't have violation of causality: the main problem being that there does not exist compactly supported real analytic functions. That precludes you from sending any signals! The domain of dependence theorem will still be true for real-analytic solutions: if two fields agree on a space-time region, they agree on the domain of dependence of the region. The problem is not that signals can be sent faster than the speed of light: the problem is that for real-analytic functions, the domain of dependence theorem is completely trivial: if two real analytic scalar fields agree completely on an non-empty, open, space-time region, the two scalar fields must agree everywhere. 
A: Analytic functions are functions which are locally given by a convergent power series.
Analyticity of a function does not does not imply that by knowing values of all derivatives one can determine value of the function in other point. 
In particular, for any values of $y_0$ and $y_1$ one can construct such analytic function that $y_0=f(x_0,t_0)$ and $y_1=f(x_1,t_1)$. 
Consequently, the argument that analyticity would break causality is not valid.
A: There are some comments I'd like to make about this, and I'll collect them in an answer, although I don' know the required reference.

I remember (it's a long time) reading this in a University textbook on Partial Differential Equations of Prof. V. Iftimie, written in Romanian, and published probably before 1990. I don't have the book, so I can't if there were any references cited to support that point.

Someone who met Feynman told me that once, Feynman asked a mathematical physicist, in relation to his new book on calculus, what does he mean by function which is derivable only twice. The author of the book gave Feynman as example a function which was defined piece-wisely by two analytic functions, so that the function is continuous at $0$, but only the first two derivatives exist there. Feynman replied "that's not a function!". My guess is that Feynman considered analytic functions to be more "real", from physical viewpoint, than the artificial construction which was given as an example.


"a function (let's say scalar) cannot be analytic because otherwise it would violate causality"

Since we can define analytic functions on any differentiable manifold, nothing can stop us to define as many analytic functions as we want on the Minkowski spacetime. That's why I think that the question is about analytic physical fields.
Physical fields are supposed to be solutions of PDE. The PDE can have non-analytic solutions (provided that the initial conditions are not given by analytic functions), which are weak or generalized solutions (for example distributions). It would be interesting if there are examples of natural solutions to the PDE in physics, which are that wild, that they would not be analytic at least when restricted to some open set. My guess is that for any such field there is an open set on which its restriction is analytic. And the problem you raised will affect them too, because one can find in any open set two points which are separated by a spacelike interval.

Even if the physical fields in the universe are analytic, I think that we cannot actually use an analytic function in practice to send messages violating causality, because we don't have the possibility to control its value and the values of all its partial derivatives at $(t_0,x_0)$ within an approximation to predict what happens at $(t,x)$. (If the function is a quantum field we can't know the value and the derivatives in principle.)
OK, we don't need to control everything in detail. It is enough to establish the convention that if we make the function to have values in an interval or not, that's a binary digit, so that we send binary signals. The thing is that we can't even do this, because there are always two analytic functions which respects the constraints we impose to send the message, and one is positive and the other negative at the destination point.
What a non-analytic function can do, an analytic function can do too, in what precision we want. So we can't distinguish them by experiment, even if the experiment involves signals violating relativistic causality.
