You say B is not a random set, but for arbitrary space and function, set of local maxima will behave essentially like a random set. It can as easily have average less or more than average of the whole space.
Here’s a really really simple example:
Space: [-1/2..+1/2], f(x) = cos(2.02 pi x).
There are 3 local maxima, x=-1/2, x=0, x=1/2
E f(x) = −0.009899
E(f(x) | x is local maximum) = −0.333 - so lower than space average
f(avg of local maxima) = f(0) = 1.
Another one:
Space: [-1/2..+1/2], f(x) = cos(3.03 pi x).
There are 3 local maxima, x=-1/2, x=0, x=1/2
E f(x) = −0.20987
E(f(x) | x is local maximum) = +0.3647 - so higher than space average
f(avg of local maxima) = f(0) = 1.
It is as trivial to construct sets with any relationship between E f(x), f(avg of local maxima), and E(f(x) | x is local maximum).
for arbitrary space and function, set of local maxima will behave essentially like a random set. It can as easily have average less or more than average of the whole space.
Not “easily”. Only if the space is constructed to have more local maxima when f(x) is small, or the whole space has areas where f(x) goes off to infinity with no local maximum, or has some other perversity of construction that I haven’t thought of.
Space: [-1/2..+1/2], f(x) = cos(2.02 pi x).
There are 3 local maxima, x=-1/2, x=0, x=1/2
You’re exploiting the boundaries, which you’ve chosen specially for this purpose. I admit that when I said this outcome was impossible, I was ignoring that kind of a space.
If, however, you consider the set of spaces where the lower and upper bounds can take on any two real values (with the upper bound > lower bound), you’ll find the average of the average of the local maxima is greater than the average of the average.
I concede that you can define spaces where the set of local maxima can be below average. But you are wrong to say that they are therefore like a random set.
Note that the fact that you can define spaces where the set of local maxima can be below the average in the space does not impact my proof, which never talked about the average in the space.
You keep trying to guess proper caveats, I can giving you trivial counterexamples.
This one has: range over entire R, values in [-11,+10], average value 0, global maximum 10, average of local maxima −2.6524 ?
Any function which is more bumpy when it’s low, and more smooth when it’s high will be like that. This particular one chosen for prettiness of visualization.
Any function which is more bumpy when it’s low, and more smooth when it’s high will be like that.
That’s what I just said:
Only if the space is constructed to have more local maxima when f(x) is small,
You are hyper-focusing on this as if it made a difference to my proofs. Please note my previous comment: It does not matter; I never talked about the average IC over all possible agents. I only spoke of IC over various recombinations of existing agents, all of which I assumed to have IC that are local minima. The “random agent” is not an agent taken from the whole space; it’s an agent gotten by recombining values from the existing agents.
You say B is not a random set, but for arbitrary space and function, set of local maxima will behave essentially like a random set. It can as easily have average less or more than average of the whole space.
Here’s a really really simple example:
Space: [-1/2..+1/2], f(x) = cos(2.02 pi x).
There are 3 local maxima, x=-1/2, x=0, x=1/2
E f(x) = −0.009899
E(f(x) | x is local maximum) = −0.333 - so lower than space average
f(avg of local maxima) = f(0) = 1.
Another one:
Space: [-1/2..+1/2], f(x) = cos(3.03 pi x).
There are 3 local maxima, x=-1/2, x=0, x=1/2
E f(x) = −0.20987
E(f(x) | x is local maximum) = +0.3647 - so higher than space average
f(avg of local maxima) = f(0) = 1.
It is as trivial to construct sets with any relationship between E f(x), f(avg of local maxima), and E(f(x) | x is local maximum).
Not “easily”. Only if the space is constructed to have more local maxima when f(x) is small, or the whole space has areas where f(x) goes off to infinity with no local maximum, or has some other perversity of construction that I haven’t thought of.
You’re exploiting the boundaries, which you’ve chosen specially for this purpose. I admit that when I said this outcome was impossible, I was ignoring that kind of a space.
If, however, you consider the set of spaces where the lower and upper bounds can take on any two real values (with the upper bound > lower bound), you’ll find the average of the average of the local maxima is greater than the average of the average.
I concede that you can define spaces where the set of local maxima can be below average. But you are wrong to say that they are therefore like a random set.
Note that the fact that you can define spaces where the set of local maxima can be below the average in the space does not impact my proof, which never talked about the average in the space.
How about this function?
You keep trying to guess proper caveats, I can giving you trivial counterexamples.
This one has: range over entire R, values in [-11,+10], average value 0, global maximum 10, average of local maxima −2.6524 ?
Any function which is more bumpy when it’s low, and more smooth when it’s high will be like that. This particular one chosen for prettiness of visualization.
That’s what I just said:
You are hyper-focusing on this as if it made a difference to my proofs. Please note my previous comment: It does not matter; I never talked about the average IC over all possible agents. I only spoke of IC over various recombinations of existing agents, all of which I assumed to have IC that are local minima. The “random agent” is not an agent taken from the whole space; it’s an agent gotten by recombining values from the existing agents.