On the illumination of centrally symmetric cap bodies in small dimensions

Cameron Strachan; Ilya Ivanov

arxiv: 2007.09765 · v1 · submitted 2020-07-19 · 🧮 math.MG

On the illumination of centrally symmetric cap bodies in small dimensions

Ilya Ivanov , Cameron Strachan This is my paper

Pith reviewed 2026-05-24 14:33 UTC · model grok-4.3

classification 🧮 math.MG

keywords illumination numbercap bodiesconvex bodiescentral symmetryunconditional symmetryEuclidean spaceillumination problem

0 comments

The pith

Centrally symmetric cap bodies of a ball in three dimensions require at most six illuminating directions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes sharp upper bounds on the illumination number of certain symmetric convex bodies built from a ball. For centrally symmetric cap bodies of a ball in three-dimensional space the bound is six, while for unconditionally symmetric cap bodies of a ball in four dimensions the bound is eight. These results concern the minimal number of external directions needed to light the entire boundary of the body. A reader would care because the illumination number quantifies a basic visibility property of convex sets that appears in covering and lighting problems.

Core claim

The illumination number I(K_c) of a centrally symmetric cap body of a ball satisfies I(K_c) ≤ 6 in three-dimensional Euclidean space, and the illumination number of an unconditionally symmetric cap body of a ball satisfies I(K_c) ≤ 8 in four-dimensional Euclidean space; both estimates are sharp.

What carries the argument

The cap body of a ball, the convex hull of the ball and a countable set of exterior points such that every segment between two such points intersects the ball, together with the added central symmetry in dimension three or unconditional symmetry in dimension four.

If this is right

Centrally symmetric cap bodies of balls in three dimensions are completely illuminated by at most six directions.
Unconditionally symmetric cap bodies of balls in four dimensions are completely illuminated by at most eight directions.
Both upper bounds are attained by some bodies in each class.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The symmetry restrictions appear essential; without them the illumination number for general cap bodies may be larger.
Similar constructions in higher dimensions with appropriate symmetry groups might admit comparable finite bounds.

Load-bearing premise

The bodies must be cap bodies of a ball that also satisfy central symmetry in three dimensions or unconditional symmetry in four dimensions.

What would settle it

An explicit centrally symmetric cap body of a ball in three dimensions whose boundary cannot be completely illuminated by any set of six directions.

read the original abstract

The illumination number $I(K)$ of a convex body $K$ in Euclidean space $\mathbb{E}^d$ is the smallest number of directions that completely illuminate the boundary of a convex body. A cap body $K_c$ of a ball is the convex hull of a Euclidean ball and a countable set of points outside the ball under the condition that each segment connecting two of these points intersects the ball. The main results of this paper are the sharp estimates $I(K_c)\leq6$ for centrally symmetric cap bodies of a ball in $\mathbb{E}^3$, and $I(K_c)\leq 8$ for unconditionally symmetric cap bodies of a ball in $\mathbb{E}^4$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The abstract claims new sharp bounds I(K_c)≤6 and ≤8 for symmetric cap bodies but supplies no proofs, so the results cannot be checked.

read the letter

This paper claims sharp upper bounds on the illumination number for two classes of symmetric cap bodies: at most 6 for centrally symmetric ones in three dimensions and at most 8 for unconditionally symmetric ones in four dimensions. Those specific numbers for these subclasses are what the abstract presents as new. It applies the standard cap body definition, where you take a ball and add countable exterior points such that segments between them intersect the ball, then imposes central symmetry in E^3 or unconditional symmetry in E^4. The idea is that these symmetries, combined with the intersection condition, let you control how many directions are needed to light up the entire boundary. The paper does well by focusing on low dimensions and giving concrete bounds rather than general existence results. That kind of explicit work can be useful for building intuition or checking against other constructions in the illumination literature. The main soft spot is the complete absence of any proof details. The abstract states the estimates but provides no lemmas, no constructions, and no verification steps. This means we cannot examine whether the symmetry hypotheses actually suffice to handle the boundary or if the countable exterior points leave some parts requiring extra directions. The concern about uncovered boundary arcs is reasonable given what's missing. This kind of paper is aimed at researchers already working on the illumination problem or related questions in convex geometry. A specialist might get value from the bounds if they turn out to be correct, but a general reader would find little to engage with. I would not bring this to a reading group or cite it based on the abstract alone. It does not seem ready for peer review because the central claims cannot be assessed without the arguments. Once the full paper is available, it could be worth considering if the proofs are there.

Referee Report

1 major / 0 minor

Summary. The manuscript claims sharp estimates for the illumination number I(K) of convex bodies: specifically, I(K_c) ≤ 6 for centrally symmetric cap bodies of a ball in E^3, and I(K_c) ≤ 8 for unconditionally symmetric cap bodies of a ball in E^4. These are presented as the main results, building on the definition of cap bodies as convex hulls of a ball and countable exterior points with the pairwise segment intersection condition.

Significance. If the claimed bounds hold and are indeed sharp, the results would establish concrete upper bounds on illumination numbers for these symmetric classes of cap bodies in low dimensions, adding to the literature on the illumination problem for convex bodies with restricted symmetry and structure.

major comments (1)

The provided text consists only of the abstract, which asserts the sharp estimates without any lemmas, constructions, case analyses, or derivations. This prevents verification of whether the central symmetry (in d=3) or unconditional symmetry (in d=4), combined with the cap-body intersection condition, actually controls the number of illuminating directions as claimed.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for their report. The manuscript establishes the stated bounds on illumination numbers using the given symmetry assumptions and cap-body definition. We respond to the major comment below.

read point-by-point responses

Referee: The provided text consists only of the abstract, which asserts the sharp estimates without any lemmas, constructions, case analyses, or derivations. This prevents verification of whether the central symmetry (in d=3) or unconditional symmetry (in d=4), combined with the cap-body intersection condition, actually controls the number of illuminating directions as claimed.

Authors: The referee is correct that only the abstract appears in the provided text. The complete manuscript on arXiv:2007.09765 contains the full proofs, including case analyses that exploit central symmetry in E^3 and unconditional symmetry in E^4 together with the pairwise segment intersection condition to limit the required illuminating directions. Because these details are absent from the text supplied for review, we are unable to reproduce or verify the specific lemmas and derivations in this response. revision: no

standing simulated objections not resolved

Verification of the claimed bounds, as only the abstract is available and the lemmas, constructions, and derivations cannot be accessed or reproduced.

Circularity Check

0 steps flagged

No derivation chain present; abstract states results without equations or citations

full rationale

Only the abstract is available, which asserts the illumination bounds I(K_c)≤6 and I(K_c)≤8 for the specified symmetric cap bodies but supplies no lemmas, equations, case analyses, or citations. No load-bearing steps exist that could reduce to self-definitions, fitted inputs, or self-citations. The derivation chain cannot be walked, so no circularity is identifiable. This is the expected non-finding when proofs are unavailable.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axiomatic framework of Euclidean convex geometry; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

standard math Standard definitions and properties of convex bodies, Euclidean distance, and boundary illumination in E^d
The illumination number and cap-body construction are defined using these background facts.

pith-pipeline@v0.9.0 · 5609 in / 1191 out tokens · 29331 ms · 2026-05-24T14:33:55.076405+00:00 · methodology

On the illumination of centrally symmetric cap bodies in small dimensions

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)