johncarlosbaez, (edited )
@johncarlosbaez@mathstodon.xyz avatar

A grasshopper lands at a random point on a planar lawn of area one. It then jumps once, a fixed distance 𝑑, in a random direction. What shape should the lawn be to maximize the chance that the grasshopper lands on the lawn again?

Surprisingly, the lawn should never be shaped like a disk! Here's what it should look like for various choices of 𝑑. For larger values of 𝑑 it gets even weirder.

• Olga Goulko and Adrian Kent, The grasshopper problem, https://arxiv.org/abs/1705.07621.

Follow @esoterica to learn more surprising results in mathematics!

drmorr,
@drmorr@hachyderm.io avatar

@johncarlosbaez @esoterica this is wild! What is the intuition behind why a disk is bad?

johncarlosbaez,
@johncarlosbaez@mathstodon.xyz avatar

@drmorr - I don't know if anyone has that intuition for small 𝑑, which is the case my the pictures in my post showed. But for large 𝑑 it's obvious that a jump of length 𝑑 will completely throw you out of a disk of area 1, so the best shape can't be a disk.

4raylee,
@4raylee@mathstodon.xyz avatar

@johncarlosbaez @drmorr As for intuition I can be kinda handwavy for small 𝑑 < 1/√π ~ 0.56.

Say the grasshopper's first leap lands exactly in the middle of the disk. As @johncarlosbaez points out when 𝑑 is minutely above the radius of a disk of area 1 (say, .57), you can see how you might want to modulate the boundary in a periodic way to cover greater distance jumps, sometimes. Hence the cogs.

As the grasshopper lands randomly rather than exactly in the center, that handwavy intuition extends to distances less than 0.56.

I have no feel for the bladed or striped regimes, though. Neat paper.

Roundtrip,
@Roundtrip@federate.social avatar

@johncarlosbaez 🧵The Grasshopper Problem

“FIG. 12. Diagram of the different regimes and the corresponding maximal values found for P{s}(d) as a function of d.”

I like the three-bladed fan regime!

hallasurvivor,

@johncarlosbaez @esoterica

For large enough d, is your region ever disconnected?

johncarlosbaez, (edited )
@johncarlosbaez@mathstodon.xyz avatar

@hallasurvivor- yes, it gets disconnected!

@Roundtrip attached in his comment to my post this picture I should probably have used:

vlk,
@vlk@mastodon.social avatar

@johncarlosbaez @esoterica Wow. I am going to try this the next time I have to devise a 2D proposal distribution in MCMC.

rich,
@rich@mastodon.gamedev.place avatar

@johncarlosbaez @esoterica is this really a "problem" though?🤔 😜

sprout,
@sprout@mathstodon.xyz avatar

@johncarlosbaez @esoterica The original post was about Bell's inequalities. Someone with more math genes than me should comment on my comment once, or just steal the idea outright. Do you care to comment Mr. Baez?

"I suspect that the only thing Bell's inequalities say is that you cannot fix an indeterminate value. Like when a coin is spinning during a toss, you cannot fix the outcome to either heads or tails, only measure after it lands."

johncarlosbaez,
@johncarlosbaez@mathstodon.xyz avatar

@sprout - I saw your remark and didn't understand it. Anyway, that's not what Bell's inequalities say. @esoterica

sprout,
@sprout@mathstodon.xyz avatar

@johncarlosbaez @esoterica Oh right, thanks for looking at it.

I suggest that a correlation between indefinite states, measurements described by sampling probability distributions, is different from a correlation between definite states, or plain measurements on a shared state described by a hidden variable.

But let's leave it. Thanks for you attention.

sprout,
@sprout@mathstodon.xyz avatar

@johncarlosbaez @esoterica One last remark since this didn't let me go the last days and I think my last comment made it worse.

I think what Bell did is that he tried to give a QM system (of particles) a definite value by chosing a hidden variable. And it shouldn't surprise anyone, especially those working with QM, that that doesn't work out.

That's just a hunch but it leaves a nagging suspicion that QM is local.

johncarlosbaez,
@johncarlosbaez@mathstodon.xyz avatar

@sprout - what Bell proved is explained on Wikipedia; it seems strange to discuss it without first agreeing on exactly what the result is.

sprout,
@sprout@mathstodon.xyz avatar

@johncarlosbaez I agree with Bell, I challenge an assumption. I think he oversimplified.

But okay, extraordinary claims and all that.

MaloTarpin,

@johncarlosbaez @esoterica
It seems like the optimal shape has really small deformations until a jump in the number of cogs. What happens at the transition? Is there a continuum of optimal shapes deforming from (n+1)-cogs to n-cogs or does it jump discontinuously? From glancing at the paper, it seems discontinuous bet I am also unsure if they really tried to pin down the (d_\text{transition}) precisely

johncarlosbaez,
@johncarlosbaez@mathstodon.xyz avatar

@MaloTarpin - I believe there are discontinuous jumps. When 𝑑 increases further there is an even more dramatic discontinuous transition which they study in detail.

joachim_kreativ,
@joachim_kreativ@literatur.social avatar

@johncarlosbaez

Wow, I had never thought about that. (thanks!)

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • everett
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • GTA5RPClips
  • khanakhh
  • Youngstown
  • Durango
  • slotface
  • rosin
  • ethstaker
  • kavyap
  • thenastyranch
  • mdbf
  • JUstTest
  • osvaldo12
  • tacticalgear
  • modclub
  • cisconetworking
  • ngwrru68w68
  • Leos
  • cubers
  • tester
  • normalnudes
  • megavids
  • anitta
  • provamag3
  • lostlight
  • All magazines