A subset E of Euclidean space (or of the boundary of a domain) that fails a Wiener-type thickness condition at a point x, meaning E is 'thin at x' in potential-theoretic terms and thus permits exceptional (irregular) behavior of harmonic functions at x.

Principle

Wiener-type criteria characterize regularity of boundary points for the Dirichlet problem by measuring the aggregate capacity of set complements near the point; thinness indicates insufficient surrounding mass or capacity to control harmonic approach and so can generate irregular boundary behavior.

Demonstration

A narrow spike or a sequence of ever-smaller cavities accumulating to a boundary point can make the complement satisfy a thinness condition at that point; concrete planar examples show harmonic functions can fail to attain prescribed boundary values at thin points.

Misapplication

Confusing thinness with measure-theoretic smallness such as Lebesgue measure zero; a set can be measure-zero yet thick in potential-theoretic sense, or conversely have positive measure but be thin at a given point depending on capacity distribution.

Consequence

Thin sets at a point permit the existence of irregular boundary points for the Dirichlet problem: harmonic functions may not have the expected boundary limits there, and probabilistic interpretations show Brownian motion can avoid hitting certain thin configurations with positive probability.

Reversal

A thick set (or a point at which the set is not thin): one that satisfies the Wiener-type condition, ensuring regular boundary behavior and the validity of usual Dirichlet boundary value conclusions at that point.

Boundary

Applies in potential theory on Euclidean domains or Riemannian manifolds and is a local notion at a point; it is distinct from global fractal or measure properties and depends on capacity and the precise geometric arrangement near the point.

Semantic Tension

The tension is between analytic/potential-theoretic notions (capacity, Wiener criterion) and geometric or measure notions (length, area, Hausdorff dimension); thinness is a refined local potential-theoretic smallness that may not align with ordinary measure metrics.

Synthesis

A thin set is one that lacks sufficient potential-theoretic thickness at a point (fails a Wiener-type condition), allowing boundary irregularities for harmonic functions and reflecting a local deficiency in capacity rather than merely measure or topological size.