The area inequality for four periodic curves

About 10 years old · traced to

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/LZ→CylL\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

∫σ1y dx−∫σ2y dx+∫σ3y dx−∫σ4y dx≠0.\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.

References

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.