google-deepmind / google-deepmind/formal-conjectures

Erdős Problem 114: maximize length of curve of modulus one curve.

Open
#358 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.