Weak asymptotic magnitude conjecture for compact Euclidean subsets

Let Cˉ\bar{\mathcal{C}} be a set of compact subsets of Euclidean spaces Rm\mathbb R^m that includes polyconvex sets, circles, and Cantor sets. For ACˉA\in\bar{\mathcal{C}}, let tA|tA| denote its magnitude when defined, and let μi(A)\mu_i(A) be the iith intrinsic volume; write ωi\omega_i for the volume of the unit ii-ball.

Weak magnitude conjecture. There is a unique function P ⁣:CˉRP\colon\bar{\mathcal{C}}\to\mathbb R such that:

  1. tA|tA| is well-defined for t0t\gg0 and
tAP(tA)0as t;|tA|-P(tA)\to0\qquad\text{as }t\to\infty;
  1. PP satisfies the inclusion-exclusion principle; and
  2. if AA is polyconvex, then
P(A)=i01i!ωiμi(A).P(A)=\sum_{i\geq0}\frac{1}{i!\,\omega_i}\mu_i(A).

This conjecture proposes a common asymptotic description of magnitude for polyconvex sets and fractal examples such as circles and Cantor sets, extending the intrinsic-volume formula beyond the polyconvex setting. The source does not state a resolution, so its status remains open.

Sources & referencesView supporting material

Primary source

Tom Leinster and Simon Willerton, “On the asymptotic magnitude of subsets of Euclidean space”, arXiv:0908.1582 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.