google-deepmind / google-deepmind/formal-conjectures
Erdős Problem 114: maximize length of curve of modulus one curve.
Open
ams-51: Geometry
erdos-problems
new conjecture
- Dominant language
- Lean
- Stars
- 1.3k
- Forks
- 485
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 328
Description
### What is the conjecture
https://www.erdosproblems.com/114
If $p(z)\in\mathbb{C}[z]$ is a monic polynomial of degree $n$ then is the length of the curve $\\{ z\in \mathbb{C} : \lvert p(z)\rvert=1\\}$ maximised when $p(z)=z^n-1$?
Status: open
### Prerequisites needed
Not so clear how to get the length of the curve here.
### Choose either option
- [ ] I plan on working on this conjecture
- [x] This issue is up for grabs: I would like to see this conjecture added by somebody else
Contributor guide
Assessment
This issue has not been assessed yet.