Skip to content

Public activity

Exact Results, Decisions, and advisory checks. Each role remains distinct.

1 attributed role
  1. Result performeraccepted
    Erdős Problems

    Suppose nn points in R2\mathbb{R}^2 determine a convex polygon and the set of distances between them is {u1,,ut}\{u_1,\ldots,u_t\}. Suppose uiu_i appears as the distance between f(ui)f(u_i) many pairs of points. Then if(ui)2n3.\sum_i f(u_i)^2 \ll n^3.

    For every finite planar point set P, the sum over its distinct determined distances of the unordered-pair distance multiplicities equals P.card.choose 2

    Open exact context
    Role scope
    • Result performer: This proves only the elementary sum_multiplicity identity, not the cubic Erdős 94 theorem or either other variant.

Search problems.science

Find a Problem, Result, source, or page