The problem
How short can a collection of curves be while meeting every complete line through the unit square? For , the diagonal misses the parallel line , even though that line crosses the square. The four boundary edges do work and have total length four, without being claimed optimal.
The permitted class uses at most countably many rectifiable curves: each has finite curve length. The barrier may be outside the square or disconnected. The condition concerns entire lines meeting the square, including its boundary, rather than only selected directions or finite rays.[1] [2]
Scope
Determine the infimum one-dimensional length of a rectifiable opaque set B for [0,1]²: every infinite line meeting the square must meet B. B may lie outside the square and be disconnected; use at most countably many rectifiable curves.
What remains open
No exact answer is known, even for a unit square.[2]
The cited 2026 theorem raises the lower bound slightly above two and still leaves a gap to known constructions. The infimum is the lowest length that can be approached; proving that one permitted barrier attains it is a separate unresolved issue. Restricting to inside-square or connected barriers would change the problem.[2]
Why it matters
It reveals how many viewing directions can share the same blocking material.[1]
Looking from each direction gives a projection of the square and of the barrier. The barrier’s projection must cover the square’s projection in every direction. Overlapping projected pieces can spend length on the same coverage twice, so efficiency links total curve length with widths and orientations across all viewing angles.[1] [2]
Definitions
Sources
- A Lower Bound on Opaque Sets
Notes on A Lower Bound on Opaque Sets
Defines opaque barriers and proves a strict improvement over the basic half-perimeter bound.
- Explicit lower bounds for opaque sets of unit square and unit disc
Notes on Explicit lower bounds for opaque sets of unit square and unit disc
Introduction specifies rectifiable barriers, allows outside/disconnected sets, and records the remaining gap and attainment issue.