Erdős Problem 1150
Is there some constant such that, for all large enough and all polynomials of degree with coefficients in ,
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Is there some constant such that, for all large enough and all polynomials of degree with coefficients in ,
If is a group, can there exist an exact covering of by more than one coset of different sizes? (i.e. each element is contained in exactly one of the cosets.)
The conjectured answer is no: in every such exact covering, two of the subgroups have the same cardinality.
Let . There exists such that if is sufficiently large the following holds.
For any there exist such that, if is a polynomial of degree with for at least many , then
What is the infimum of |{x ∈ ℝ : |f x| < 1}| over all nonconstant monic polynomials f such
that all of its roots are real and contained in [-1,1]?
Let be a graph with chromatic number . Is it true that there is a colouring of the edges with many colours such that, in any countable colouring of the vertices, there exists a vertex colour containing all edge colours?
A problem of Erdős, Galvin, and Hajnal. The consistency of this was proved by Hajnal and Komjáth.
Let be a monic non-constant polynomial. Can the set be covered by a set of closed discs the sum of whose radii is ?
Let with for all .
Conjecture: Must there always exist a path of length less than 2 in which connects two of the roots of ?
Let be a sequence of integers such that and .
Then, for all sufficiently large , .
Does there exists a positive constant C such that for all f ∈ L²[0,1] and all lacunary
sequences n, if ‖f - fₖ‖₂ = O(1 / log log log k ^ C), then for almost every x,
lim ∑ k ∈ Finset.range N, f (n k • x)) / N = ∫ t, f t ∂t?
Let be a set of points with no three on a line. Does determine at least distinct distances?
Is the diameter of at least for some constant ?
Is there a polynomial of degree at least and a set such that for any there is exactly one and such that ?
Let be a group, and let be a finite system of left cosets of subgroups of .
Herzog and Schönheim conjectured that if forms a partition of with , then the indices cannot be distinct.
Determine which countable ordinals have the property that, if , then in any red/blue colouring of the edges of there is either a red or a blue .
Let f be a transcendental entire function. What is the greatest possible value of
liminf (fun r : ℝ => ratio r f) atTop?
Is there some such that every measurable of measure contains the vertices of a triangle of area 1?
Stronger conjecture: diameter for sufficiently large .
Probably there is no such for the polynomial .
Erdős Problem 598:* Let be an infinite cardinal and be the successor cardinal of . Can one colour the countable subsets of using many colours so that every with contains subsets of all possible colours?
Is it true that for all entire functions f = ∑ aₖzⁿₖ such that ∑' 1 / nₖ < ∞,
limsup (fun r => ratio r f) atTop = 1?