The area inequality for four periodic curves

Let L>0L>0, and let CylL\mathtt{Cyl}_L and Graph0,L\mathtt{Graph}_{0,L} be as above. Let σ1,σ2,σ3,σ4 ⁣:R/LZCylL\sigma_1,\sigma_2,\sigma_3,\sigma_4\colon\mathbb{R}/L\mathbb{Z}\to\mathtt{Cyl}_L be simple closed polygonal paths homologous to Graph0,L\mathtt{Graph}_{0,L}. Assume that the ordered quadruplet of their images does not jointly inscribe a square.

Area inequality conjecture. Then

σ1ydxσ2ydx+σ3ydxσ4ydx0.\int_{\sigma_1}y\,dx-\int_{\sigma_2}y\,dx+\int_{\sigma_3}y\,dx-\int_{\sigma_4}y\,dx\ne0.

The claim is a stronger statement related to the quadripartite periodic square peg problem. The paper presents it as conjectural for polygonal curves.

Sources & referencesView supporting material

Primary source

Terence Tao, “An integration approach to the Toeplitz square peg problem”, arXiv:1611.07441 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.