Skip to main content
1 of 2
domotorp
  • 18.8k
  • 3
  • 57
  • 126

Does every big polyomino contain a big arithmetic progression?

Define a $k$-AP (arithmetic progression) as $k$ vertices whose $x$- and $y$-coordinates both from an arithmetic progression, for example, (1,0), (2,2), (3,4) is a 3-AP.

Is it true that for every $k$ every long enough path in the grid graph (which is a 4-regular infinite graph) contains a $k$-AP?

The statement holds for $k=4$: https://arxiv.org/abs/2004.12801
and it feels that it should have an easy proof for all $k$, but I don't see it.

domotorp
  • 18.8k
  • 3
  • 57
  • 126