combinatorics / Discrete and computational geometry; k-sets

A power saving over Dey's bound for planar halving lines

Theorem 1.1: there are absolute ε>0\varepsilon>0, CC, n0n_0 with h(P)≤Cn4/3−εh(P)\le Cn^{4/3-\varepsilon} for every even n≥n0n\ge n_0 and every nn-point planar set with no three collinear. Theorem 1.2 bounds the switches at every rank uniformly by CN4/3−εCN^{4/3-\varepsilon}, and Corollary 1.3 gives O(n(k+1)1/3−ε0)O(n(k+1)^{1/3-\varepsilon_0}) kk-sets for 1≤k≤n/21\le k\le n/2 (also for levels in line arrangements). The constants and exponent are ineffective; no numerical value of ε\varepsilon is given. It does not determine the order of h(n)h(n), which could still lie anywhere between neΩ(log⁡n)n e^{\Omega(\sqrt{\log n})} and n4/3−εn^{4/3-\varepsilon}.

42Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 25, 2026Significance 42/100Registry: lean checked

A power saving over Dey's bound for planar halving lines

Prior state unknown→proved

Theorem 1.1: there are absolute ε>0\varepsilon>0, CC, n0n_0 with h(P)≤Cn4/3−εh(P)\le Cn^{4/3-\varepsilon} for every even n≥n0n\ge n_0 and every nn-point planar set with no three collinear. Theorem 1.2 bounds the switches at every rank uniformly by CN4/3−εCN^{4/3-\varepsilon}, and Corollary 1.3 gives O(n(k+1)1/3−ε0)O(n(k+1)^{1/3-\varepsilon_0}) kk-sets for 1≤k≤n/21\le k\le n/2 (also for levels in line arrangements). The constants and exponent are in…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: there are absolute ε>0\varepsilon>0, CC, n0n_0 with h(P)≤Cn4/3−εh(P)\le Cn^{4/3-\varepsilon} for every even n≥n0n\ge n_0 and every nn-point planar set with no three collinear. Theorem 1.2 bounds the switches at every rank uniformly by CN4/3−εCN^{4/3-\varepsilon}, and Corollary 1.3 gives O(n(k+1)1/3−ε0)O(n(k+1)^{1/3-\varepsilon_0}) kk-sets for 1≤k≤n/21\le k\le n/2 (also for levels in line arrangements). The constants and exponent are ineffective; no numerical value of ε\varepsilon is given. It does not determine the order of h(n)h(n), which could still lie anywhere between neΩ(log⁡n)n e^{\Omega(\sqrt{\log n})} and n4/3−εn^{4/3-\varepsilon}.

Theorem 1.1: there are absolute ε>0\varepsilon>0, CC, n0n_0 with h(P)≤Cn4/3−εh(P)\le Cn^{4/3-\varepsilon} for every even n≥n0n\ge n_0 and every nn-point planar set with no three collinear. Theorem 1.2 bounds the switches at every rank uniformly by CN4/3−εCN^{4/3-\varepsilon}, and Corollary 1.3 gives O(n(k+1)1/3−ε0)O(n(k+1)^{1/3-\varepsilon_0}) kk-sets for 1≤k≤n/21\le k\le n/2 (also for levels in line arrangements). The constants and exponent are ineffective; no numerical value of ε\varepsilon is given. It does not determine the order of h(n)h(n), which could still lie anywhere between neΩ(log⁡n)n e^{\Omega(\sqrt{\log n})} and n4/3−εn^{4/3-\varepsilon}.

Recorded attempts

Evidence graph

Connected research record

A power saving over Dey's bound for planar halving lines — Mathematical Frontier Network