Source labels openOptimization Constants · Combinatorics
Tao's Optimization constant 1a / An autocorrelation constant related to Sidon sets
How can the upper bound be improved?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Questions, not proof records
Open-problem statements, with their sources attached.
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
“Open” is a dated source assertion. In these pinned sources,
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Source labels openOptimization Constants · Combinatorics
Tao's Optimization constant 1a / An autocorrelation constant related to Sidon sets
How can the lower bound be improved?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOptimization Constants · Combinatorics
Tao's Optimization constant 1a / An autocorrelation constant related to Sidon sets
What is the exact value of the constant?
Source checked Jul 26, 20261 pinned Lean statementInspect problem