pith. sign in

arxiv: 1907.04200 · v1 · pith:NCWXPPY2new · submitted 2019-07-08 · 🧮 math.CO

The admissibility theorem for the spatial X-ray transform over the two element field

Eric L. Grinberg This is my paper

Pith reviewed 2026-05-25 01:17 UTC · model grok-4.3

classification 🧮 math.CO
keywords Radon transformadmissibility problemfinite vector spacestwo-element fieldinjectivityX-ray transformGelfand problem
0
0 comments X

The pith

Minimal collections of lines are classified so the restricted Radon transform remains injective over the two-element field.

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

The paper classifies the smallest collections of lines in an n-dimensional vector space over the two-element field such that the Radon transform restricted to those lines is still injective. This solves an instance of Gelfand's admissibility problem for the spatial X-ray transform in the discrete setting. The full transform on all lines is known to be injective, and the minimal admissible subcollections exhibit a more varied structure than the uniform cases for affine hyperplane and projective line transforms. A sympathetic reader would care because the result identifies the precise boundary between redundant and minimal data sufficient for unique function recovery in this finite geometry.

Core claim

The central claim is a complete classification of the minimal collections of lines in the n-dimensional vector space over the two-element field for which the restricted Radon transform is injective. This provides the explicit solution to the admissibility problem in this case and highlights the contrast with the more uniform admissible families arising in the affine hyperplane transform and the projective line transform.

What carries the argument

The restricted Radon transform along a subcollection of lines, together with the combinatorial condition that determines when this restricted transform is injective.

If this is right

  • The classification gives the exact minimal number of lines needed to guarantee injectivity in each dimension.
  • Minimal admissible collections have irregular combinatorial structure unlike the uniform patterns in related geometric transforms.
  • The result applies uniformly across all dimensions n and supplies concrete examples of admissible families.
  • Any larger collection containing a minimal admissible one will also yield an injective transform.

Where Pith is reading between the lines

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

  • The classification may guide the search for minimal data sets in discrete tomography problems over other small fields.
  • It raises the question of whether similar explicit classifications exist when lines are replaced by higher-dimensional flats.
  • The contrast with affine and projective cases suggests that admissibility depends strongly on the underlying incidence geometry.

Load-bearing premise

The full Radon transform using every line in the space is injective.

What would settle it

An explicit nonzero function whose integrals vanish along every line in one of the classified minimal collections.

Figures

Figures reproduced from arXiv: 1907.04200 by Eric L. Grinberg.

Figure 1
Figure 1. Figure 1: Some finite geometries with and without the Bolker con￾dition, and corresponding matrices   1 1 0 0 1 1 1 0 1     1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1     1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1   It is easy to verify the properties in the table below for the Radon transform on these geometries. # sides Bolker C. Satisfied? R injective? 3 Yes Yes 4 No No 5 No Yes The k-plane tr… view at source ↗
Figure 2
Figure 2. Figure 2: Two spreads leading to a Cavalieri condition Theorem (Bolker). The Cavalieri conditions characterize the range of the hy￾perplane Radon transform over a finite field. The proof is based on a counting argument. This range condition yields an admissibility theorem. 3. Admissible Complexes Definition. Recall that a complex of hyperplanes C is a collection of hyper￾planes {H|H ∈ C} so that #C = #F n q = q n (t… view at source ↗
Figure 3
Figure 3. Figure 3: lines in Z 3 2 [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Some ways to construct admissible complexes [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Some inadmissible configurations It turns out that these are the only obstructions to admissibility. Theorem (Admissibility for Z n 2 ). Let C be a line complex in Z n 2 . Assume that C omits no point, has no isolated trees, and does not contain an even cycle. Then C is admissible. Proof. Take a point p ∈ Z n 2 . There’s a line ℓ ∈ C containing P. Expand ℓ to a maximal connected set of lines, M. Then M can… view at source ↗
read the original abstract

We consider the Radon transform along lines in an $n$ dimensional vector space over the two element field. It is well known that this transform is injective and highly overdetermined. We classify the minimal collections of lines for which the restricted Radon transform is also injective. This is an instance of I.M.~Gelfand's {\it admissibility problem}. The solution is in stark contrast to the more uniform cases of the affine hyperplane transform and the projective line transform, which are addressed in other papers, \cite{Feld-G,Gr1}. The presentation here is intended to be widely accessible, requiring minimum background.

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

1 major / 0 minor

Summary. The manuscript classifies the minimal collections of lines in the n-dimensional vector space over the two-element field F_2 such that the restricted Radon (X-ray) transform along those lines remains injective. This is framed as a solution to I.M. Gelfand's admissibility problem in the discrete setting, and is contrasted with the more uniform behavior observed for the affine hyperplane transform and the projective line transform in related works.

Significance. If correct, the classification supplies an explicit and complete answer to the admissibility question over F_2^n, highlighting a combinatorial structure that differs sharply from the continuous or projective cases. The paper's stated goal of accessibility with minimal background is a constructive feature for readers outside integral geometry.

major comments (1)
  1. [Abstract] Abstract: the injectivity of the unrestricted Radon transform (sum of f over every affine line) is asserted as 'well known' with no proof, citation, or verification. This fact is load-bearing for the central claim, because the classification of minimal admissible subcollections is meaningful only if the full collection has trivial kernel; any deviation in the definitions of 'line' or the transform could render the kernel nontrivial and invalidate the minimality results.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for explicit support of a foundational claim in the abstract. We address the comment point by point below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the injectivity of the unrestricted Radon transform (sum of f over every affine line) is asserted as 'well known' with no proof, citation, or verification. This fact is load-bearing for the central claim, because the classification of minimal admissible subcollections is meaningful only if the full collection has trivial kernel; any deviation in the definitions of 'line' or the transform could render the kernel nontrivial and invalidate the minimality results.

    Authors: We agree that the manuscript would be strengthened by providing a reference or brief justification for the injectivity of the unrestricted Radon transform. This is a standard result for the discrete Radon transform on affine lines over GF(2)^n (the incidence matrix between points and lines has full column rank equal to the dimension of the function space), but the current text offers no citation. We will add a short remark together with an appropriate reference in the revised abstract and introduction. revision: yes

Circularity Check

0 steps flagged

No circularity; background injectivity is elementary and independent of the minimality classification

full rationale

The paper asserts that the unrestricted Radon transform over F_2^n is injective as 'well known' (abstract) without proof or citation. This fact follows directly from the definitions (sums over 2-point affine lines) and is externally verifiable by elementary linear algebra independent of the paper's main result. The classification of minimal admissible line collections is a separate combinatorial argument that presupposes but does not redefine or fit this background fact. No self-definitional equations, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain. The result is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the domain assumption of known injectivity for the full transform and standard definitions in finite vector spaces; no free parameters, invented entities, or additional axioms are indicated in the abstract.

axioms (1)
  • domain assumption The Radon transform along lines in an n-dimensional vector space over the two-element field is injective when using the full collection of lines.
    Explicitly stated as 'well known' in the abstract; this underpins the entire admissibility classification for restricted collections.

pith-pipeline@v0.9.0 · 5624 in / 1359 out tokens · 33340 ms · 2026-05-25T01:17:36.761768+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

16 extracted references · 16 canonical work pages

  1. [1]

    Berenstein, review of The universality of the Radon transform by Leon Ehrenpreis, Math

    C.A. Berenstein, review of The universality of the Radon transform by Leon Ehrenpreis, Math. Reviews., MR2019604 (2007)

    work page 2007

  2. [2]

    Bolker, The finite Radon transform

    E.D. Bolker, The finite Radon transform. Integral geometry (Brunswick, Maine, 1984), Contemp. Math., 63 , Amer. Math. Soc., Providence, RI, (1987), 27-?50

    work page 1984

  3. [3]

    Bolker, E.L

    E.D. Bolker, E.L. Grinberg and J.P. Kung, Admissible complexes for the combinatorial Radon transform. A progress report. , Integral geometry and tomography (Arcata, CA, 1989), Contemp. Math., 113, Amer. Math. Soc., Providence, RI, (1990), 1?-3

    work page 1989

  4. [4]

    Chern, Integral geometry in Klein Spaces , Ann

    S.S. Chern, Integral geometry in Klein Spaces , Ann. of Math. (2) 43, (1942), 403–422

    work page 1942

  5. [5]

    Ehrenpreis, Leon The universality of the Radon transform , wi

    L. Ehrenpreis, Leon The universality of the Radon transform , wi. appendix by P. Kuch- ment and E. T. Quinto, Oxford Mathematical Monographs, The Clar endon Press, Ox- ford University Press, New Yorkf (2003)

    work page 2003

  6. [6]

    Feldman and E.L.Grinberg, Admissible Complexes for the Projective X-Ray Trans- form over a Finite FIeld , preprint (2012)

    D.V. Feldman and E.L.Grinberg, Admissible Complexes for the Projective X-Ray Trans- form over a Finite FIeld , preprint (2012)

    work page 2012

  7. [7]

    Gelfand and M.I

    I.M. Gelfand and M.I. Graev, Integral Transformations Connected with Straight Line Complexes in Complex Affine Space , Dokl. Acad. Nauk SSSR 2 (1961), 809–812

    work page 1961

  8. [8]

    Gelfand, M.I

    I.M. Gelfand, M.I. Graev and N. Vilenkin, Generalized Functions , Vol. 5, Academic Press, New York, 1966

    work page 1966

  9. [9]

    Grinberg, The Admissibiity Theorem for the Hyperplane Transform over a Finite Field, J

    E.L. Grinberg, The Admissibiity Theorem for the Hyperplane Transform over a Finite Field, J. Comb. Theory, Series A 53, (1990), 316–320

    work page 1990

  10. [10]

    Grinberg and E.T

    E.L. Grinberg and E.T. Quinto, Ed., Integral Geometry and Tomography Proce. AMS- IMS-SIAM Joint Summer Research Conf.,t Humboldt State U., Arcata , CA, 1989.Con- temp. Math., 113. American Mathematical Society, Providence, RI, 1990

    work page 1989

  11. [11]

    Guillemin & S

    V. Guillemin & S. Sternberg Geometric Asymptotics Chp. VI and Appendix, Mathe- matical Surveys, No. 14. American Mathematical Society, Provide nce, R.I., (1977)

    work page 1977

  12. [12]

    Kirillov, A. A. On A Problem of I. M. Gelfand , Dokl. Akad. Nauk SSSR 137 276–277 (Russian); translated as Soviet Math. Dokl. 2 1961 268?-269

    work page 1961

  13. [13]

    Kung, The Radon Transforms of a Combinatorial Geometry I

    J.P. Kung, The Radon Transforms of a Combinatorial Geometry I. J. Combin. Theory Ser. A 26 (1979), no. 2, 97?-102

    work page 1979

  14. [14]

    Sternberg, Group Theory and Physics , Appendix C, Cambridge University Press, Cambridge, (1994)

    S. Sternberg, Group Theory and Physics , Appendix C, Cambridge University Press, Cambridge, (1994)

    work page 1994

  15. [15]

    Strichartz, Radon Inversion–Variations on a Theme , Amer

    R.S. Strichartz, Radon Inversion–Variations on a Theme , Amer. Math. Monthly 89 (1982), 6 , 377?384, 420?423

    work page 1982

  16. [16]

    Zelevinskii, Generalized Radon Transforms in Spaces of Functions on Gras smann Manifolds over a Finite field (Russian) Uspehi Mat

    A.V. Zelevinskii, Generalized Radon Transforms in Spaces of Functions on Gras smann Manifolds over a Finite field (Russian) Uspehi Mat. Nauk 28 (1973), no. 5(173), 243- ?244. University of Massachusetts Boston E-mail address : eric.grinberg@umb.edu

    work page 1973