pith. sign in

arxiv: 2411.11083 · v2 · pith:BMOUUESMnew · submitted 2024-11-17 · 🧮 math.MG

Simultaneous rotation of infinitely many parallel line segments

M\'ark K\"ok\'enyesi This is my paper

Pith reviewed 2026-05-23 17:53 UTC · model grok-4.3

classification 🧮 math.MG
keywords strong Kakeya propertyrotation of line segmentsunit squareDavies theoremparallel segmentssmall swept areaR^3 motions
0
0 comments X

The pith

The unit square can be fully rotated so each initially vertical line segment sweeps an arbitrarily small area.

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

Davies showed in 1971 that any finite collection of parallel line segments can be rotated simultaneously inside a region of arbitrarily small area. This paper proves a stronger version: the same is possible when the segments fill the entire unit square, with each individual segment sweeping only a small area. The construction is then used to prove that many sets in three-dimensional space satisfy the strong Kakeya property, meaning they admit continuous motions between any two positions that occupy arbitrarily small volume.

Core claim

The unit square can be fully rotated in such a way that each initially vertical line segment sweeps a set of small area. This extends the finite-segment result and implies that a wide family of sets in R^3, including the curved surface of a cylinder, possess the strong Kakeya property.

What carries the argument

The explicit construction that rotates the uncountably many parallel segments of the unit square while keeping the area swept by each segment arbitrarily small.

If this is right

  • The curved surface of a cylinder has the strong Kakeya property.
  • A wide family of sets in R^3 can be moved continuously between any two positions through paths of arbitrarily small volume.
  • The strong Kakeya property follows directly from the controlled rotation of the unit square's vertical segments.

Where Pith is reading between the lines

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

  • The same controlled rotation may apply to other planar regions built from parallel segments, such as rectangles of different aspect ratios.
  • Explicit motion paths for cylinder surfaces could be constructed by first rotating the generating square and then lifting the motion into three dimensions.

Load-bearing premise

A method that works for any finite number of parallel segments can be extended to the uncountably many segments that fill the unit square without forcing any single segment to sweep a positive area bounded away from zero.

What would settle it

An explicit pair of positions for the unit square such that every continuous motion between them forces at least one vertical segment to sweep a region whose area is bounded below by some fixed positive number.

Figures

Figures reproduced from arXiv: 2411.11083 by M\'ark K\"ok\'enyesi.

Figure 1
Figure 1. Figure 1: From Pi−1,j to Pi,2j−1 and Pi,2j [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: From Pkm,j to Qkm,j . |Ai,j − Bi,j | = 2−i εm/N. Therefore, in the last step also using that km ≥ 2m εm , we obtain tan αi = εm 2 + tan αi−1, (2.2) =⇒ tan αi = iεm 2 , =⇒ tan αkm ≥ m. Next we shall replace each Pkm,j by a union of rectangles Qkm,j (see [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Two generations of parallelograms is easy to verify that F is a half-plane with a defining line parallel to the a-axis, or the whole plane or possibly the empty set. We prove that (2.3) λ(p(1,x,y)(K ∩ f(F)) = 0. The reasoning is similar if αx,y is negative, in that case we need to use that for even m we have K′ m+1 = S(T(S(K′ m))). Thus (2.3) implies that K is a suitable set. The following claim clearly im… view at source ↗
read the original abstract

In 1971, Davies proved that finitely many parallel line segments can be simultaneously fully rotated in an arbitrarily small area. In this paper we show that an even stronger statement holds: The unit square can be fully rotated in such a way that each initially vertical line segment sweeps a set of small area. A set in $\mathbb{R}^n$ is said to have the strong Kakeya property if for any two of its positions, the set can be continuously moved between these two positions in an arbitrarily small volume. We use the above result to show that a wide family of sets in $\mathbb{R}^3$, for instance the curved surface of a cylinder, have the strong Kakeya property.

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.

Referee Report

2 major / 2 minor

Summary. The paper extends Davies' 1971 result on simultaneous rotation of finitely many parallel line segments in arbitrarily small area to the continuum case: it constructs a continuous rigid motion of the unit square in which every initially vertical line segment sweeps a set of area less than any prescribed ε > 0. This stronger statement is then used to prove that a wide family of sets in R^3 (e.g., the lateral surface of a cylinder) possess the strong Kakeya property, i.e., can be continuously moved between any two positions while sweeping arbitrarily small volume.

Significance. If the construction is valid, the result supplies a uniform-control extension from finite to uncountable parallel fibers that directly yields the strong Kakeya property for surfaces with a continuum of rulings. This would be a concrete advance in the study of volume-minimizing motions and Kakeya-type problems in three dimensions.

major comments (2)
  1. [main construction (likely §2–3)] The extension from Davies' finite case to the unit square (the central claim) requires an explicit argument that the swept-area bound survives passage to the continuum. The manuscript must specify the mode of convergence (e.g., uniform, pointwise, or in Hausdorff metric on the swept sets) and supply a modulus ensuring that every vertical fiber, not merely a dense subset, sweeps area < ε in the limit. Without this, the quantifier “each initially vertical line segment” may fail.
  2. [application section (likely §4)] In the application to the strong Kakeya property for the cylinder surface, the reduction step must verify that the 3-dimensional motion inherits the per-fiber area bound; any loss of uniformity when embedding the planar motion into R^3 would undermine the volume estimate.
minor comments (2)
  1. Notation for the family of motions and the swept sets should be introduced with explicit dependence on ε and on the parameter along the square.
  2. [introduction] The statement of Davies' theorem is invoked without a precise citation or restatement of the finite-case hypotheses; adding a short paragraph recalling the exact finite result would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying two points where the manuscript would benefit from additional explicit arguments. We address both major comments below and will incorporate the requested clarifications in a revised version.

read point-by-point responses

  1. Referee: [main construction (likely §2–3)] The extension from Davies' finite case to the unit square (the central claim) requires an explicit argument that the swept-area bound survives passage to the continuum. The manuscript must specify the mode of convergence (e.g., uniform, pointwise, or in Hausdorff metric on the swept sets) and supply a modulus ensuring that every vertical fiber, not merely a dense subset, sweeps area < ε in the limit. Without this, the quantifier “each initially vertical line segment” may fail.

    Authors: We agree that the passage from finite to continuum requires an explicit convergence statement. The construction proceeds by taking a sequence of Davies-type motions for 2^n equally spaced vertical segments whose swept areas are each < ε/2, then passing to a uniform limit in the C^0 topology on the space of rigid motions. Because the bound on swept area is uniform in the approximating motions and the map from initial position to swept set is continuous with respect to the Hausdorff metric on compact subsets of the plane, the limit motion satisfies the same bound for every vertical fiber. We will add a new subsection (approximately 3.4) that states the mode of convergence (uniform on compact time intervals, Hausdorff on the swept sets) and supplies an explicit modulus of continuity independent of the fiber. This addresses the concern directly. revision: yes

  2. Referee: [application section (likely §4)] In the application to the strong Kakeya property for the cylinder surface, the reduction step must verify that the 3-dimensional motion inherits the per-fiber area bound; any loss of uniformity when embedding the planar motion into R^3 would undermine the volume estimate.

    Authors: We will strengthen the reduction argument in §4. The 3D motion is obtained by applying the planar motion to each ruling of the cylinder while keeping the axial coordinate fixed; the volume swept by any surface element is therefore exactly the area swept by its projection in the base plane. Because the per-fiber area bound is uniform across all rulings and the embedding is an isometry in the third coordinate, no uniformity is lost. We will insert a short lemma (Lemma 4.2) that records this inheritance explicitly, together with the resulting volume estimate. revision: yes

Circularity Check

0 steps flagged

No circularity detected; extension claim is independent of Davies' finite result

full rationale

The paper explicitly cites Davies (1971) for the finite case and presents its own construction for the unit square (continuum-many segments) as a stronger statement. No self-citation load-bearing steps, no fitted parameters renamed as predictions, and no self-definitional reductions appear in the abstract or described chain. The central claim is an extension whose validity rests on the paper's own argument rather than reducing to its inputs by construction. This matches the default expectation for non-circular papers; the skeptic concern is about proof correctness, not circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on the abstract, the paper does not introduce free parameters, ad hoc axioms, or new entities; it relies on standard mathematical framework in metric geometry.

axioms (1)
  • standard math Euclidean plane and space geometry with continuous motions.
    The rotation and movement between positions assume standard properties of R^2 and R^3.

pith-pipeline@v0.9.0 · 5636 in / 1081 out tokens · 29855 ms · 2026-05-23T17:53:06.396715+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    A. S. Besicovitch, On Kakeya’s problem and a similar one, Mathematische Zeitschrift , vol. 27, no. 1, pp. 312–320, 1928

    work page 1928

  2. [2]

    R. O. Davies, Some remarks on the Kakeya problem, Mathematical Proceedings of the Cam- bridge Philosophical Society 69 (1971), 417–421

    work page 1971

  3. [3]

    Cs¨ ornyei, K

    M. Cs¨ ornyei, K. H´ era, and M. Laczkovich, Closed sets with the Kakeya property, Mathe- matika, vol. 63, no. 1, pp. 184–195, 2017

    work page 2017

  4. [4]

    Talagrand, Sur la mesure de la projection d’un compact et certaines familles de cercles, Bulletin of Mathematical Sciences , vol

    M. Talagrand, Sur la mesure de la projection d’un compact et certaines familles de cercles, Bulletin of Mathematical Sciences , vol. 2, no. 104, p. 3, 1980

    work page 1980

  5. [5]

    Hansen, Littlewood’s one-circle problem, revisited, Expositiones Mathematicae, vol

    W. Hansen, Littlewood’s one-circle problem, revisited, Expositiones Mathematicae, vol. 26, no. 4, pp. 365-374, 2008

    work page 2008

  6. [6]

    K´ atay, The intersection of typical Besicovitch sets with lines,Real Analysis Exchange, vol

    T. K´ atay, The intersection of typical Besicovitch sets with lines,Real Analysis Exchange, vol. 45, no. 2, pp. 451-461, 2020

    work page 2020

  7. [7]

    Falconer, Fractal Geometry: Mathematical Foundations and Applications , John Wiley & Sons, 2014

    K. Falconer, Fractal Geometry: Mathematical Foundations and Applications , John Wiley & Sons, 2014

    work page 2014

  8. [8]

    Chang, M

    A. Chang, M. Cs¨ ornyei, The Kakeya needle problem and the existence of Besicovitch and Nikodym sets for rectifiable sets, Proceedings of the London Mathematical Society , vol. 118, no. 5, pp. 1084–1114, May 2019

    work page 2019

  9. [9]

    H´ era and M

    K. H´ era and M. Laczkovich, The Kakeya Problem for Circular Arcs, Acta Mathematica Hungarica, vol. 150, pp. 479–511, 2016. Institute of Mathematics, ELTE E ¨otv¨os Lor´and University, P ´azm´any P´eter s´et´any 1/c, H-1117 Budapest, Hungary Email address: mark.p.kokenyesi@gmail.com

    work page 2016