Square roots in Dubickas’s even-floor power set

For α>1, does some nonzero real ξ make ⌊ξαⁿ⌋ even for every n≥1? Let Z be the set of α admitting such a witness; the square-root question asks which √m belong to Z for integers m≥2.

Why it matters and what counts as progress

Why it matters: The integer square-root case makes Dubickas’s floor-parity existence question an explicit arithmetic classification.

What counts as progress: Construct a witness for √3 and other square roots or prove an exact exceptional classification.

How the problem developed

  1. 2006 · Definition and open question [1]

    Artūras Dubickas Defined the set of bases α for which some nonzero ξ makes every floor ⌊ξαⁿ⌋ even, and reviewed Mahler’s related unresolved question about 3/2.

  2. August 2026 · Theorem claim [2]

    Ralf Stephan Reported that √m belongs to Dubickas’s even-floor set for every integer m≥2 except m=2, including an explicit witness for √3.

AI contribution

Sources

  1. Dubickas, Even and odd integral parts of powers of a real number
  2. Stephan, Even integral parts of powers of square roots
  3. Stephan’s square-root paper
  4. Pinned square-root formalization disclosure
  5. Pinned statement-comparison record
Website timeline

Publication dates and editorial changes.