REVIEW 3 major objections 3 minor 15 references
Affine Equivalence of Subsets of $\mathbb{F}_2^n$ via Venn Diagrams and Applications to Sidon Sets
T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read Two subsets of F_2^n are affinely equivalent exactly when their even zero-sum spaces yield cardinality-preserving linearly isomorphic Venn region structures.
desk verdict Main affine-equivalence criterion is sound and useful, but there is a false change-of-basis theorem and Section 7 leans on an unproven external enumeration. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The even zero-sum space E(S): the F_2-linear subspace of P(S) (with symmetric difference as addition) containing all even subsets of S that sum to zero in F_2^n. Since affine combinations in characteristic 2 are exactly odd sums, E(S) captures affine dependence, and affine maps are precisely bijections preserving it. The Venn diagram of E(S) is made into an F_2-vector space whose regions are indexed by coordinate vectors; a change of basis in E(S) transforms the region coordinates by the transpose-inverse matrix, so the vector-space structure of the regions is basis-independent. The proof then equates (V,W)-isomorphisms of sets with cardinality-preserving linear bijections of the correspondi
What would settle it
An exhaustive computer enumeration over all subsets of F_2^n for n up to 6 (or over all 7-dimensional caps) checking whether every pair of sets is affinely equivalent if and only if a cardinality-preserving linear bijection exists between their Venn region spaces; a single pair with a matching cardinality-preserving linear bijection but no affine equivalence, or vice versa, would disprove Theorem 5.7, and a 7-dimensional cap matching no template from [2] would falsify the application's completeness assumption.
Extended reading notes
Core claim
The central claim is Theorem 5.7: for subsets S,T of F_2^n, there is an affine automorphism taking S to T if and only if there is a cardinality-preserving linear bijection from the Venn diagram of E(S) to the Venn diagram of E(T), where E(S) is the subspace of the power set P(S) consisting of even-cardinality subsets whose elements sum to zero. The discovery is that affine structure is completely encoded by which even subsets sum to zero, and that this algebraic data can be reorganized into a Venn diagram that is independent of the chosen basis. The proof shows that any bijection preserving E(S) extends to an affine map, and that such bijections are exactly the cardinality-preserving linear
Load-bearing premise
The Section 7 classification assumes that the extended cap basis type templates listed in the companion paper [2] include every possible 10-, 11-, and 12-cap of dimension 7; if some cap fits none of those templates, the conclusions that all 11-caps are equivalent (or that the 10-cap classes split as described) could be wrong.
Editorial extensions
If this is right
- Affine equivalence of any pair of subsets of F_2^n can be decided by comparing the linear structure of Venn region cardinalities, without constructing an explicit affine map.
- When the Venn region cardinality multisets differ, the two sets are certainly not affinely equivalent, giving a cheap negative test (Corollary 4.4).
- Caps with size minu dimension equal to 3 are classified by two data: the multiset of Venn region cardinalities and the number of isolated points, leading to an explicit parameterization and machine count of equivalence classes up to k=27.
- For the 7-dimensional caps carried over from the companion template list, the method reproduces the known classes: 10-caps split into two equivalence classes, while all 11-caps and all 12-caps in the templates are equivalent.
- The main theorem is fully general, applying to all subsets—not only caps—so the Venn criterion is a candidate tool for classifying Sidon sets in higher dimensions where complete classification remains open.
- The approach yields a canonical linear invariant, E(S), of dimension |S| minus (dim(S)+1), computed directly from any affine basis of S, so no search over automorphisms is needed to state the invariant.
Reading between the lines
- A natural next step is to test the criterion computationally for n between 8 and 10, where maximum Sidon set sizes are still open, by comparing the Venn cardinality linear structures as an equivalence invariant against known constructions.
- The method may be recast as classifying subsets by the isomorphism type of a weighted linear code—the even zero-sum space together with region weights—which could connect the classification to coding-theoretic invariants such as hulls or weight enumerators.
- The central mechanism depends essentially on characteristic 2, since affine combinations reduce to parity; an open question is whether an analogous 'weight-restricted zero-sum subspace' invariant characterizes affine equivalence over F_q for odd q.
- The Section 7 conclusions inherit an external completeness assumption about the template list; an independent exhaustive enumeration of 7-dimensional caps up to affine equivalence would either confirm or refute the 'all 11-caps equivalent' and 'all 12-caps equivalent' statements.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a Venn-diagram invariant for subsets S of F2^n relative to a linear subspace V of the power set P(S). For a basis of V it partitions S into Venn regions and introduces a vector-space structure on the collection of regions. It proves that this partition and the vector-space structure are independent of the basis of V (Theorem 3.16, Corollary 3.17), and that a bijection S -> T is an affine equivalence exactly when it induces an isomorphism of the even-zero-sum subspaces E(S), E(T) (Theorems 2.6 and 5.6). The main criterion (Theorem 5.7) states that S and T are affinely equivalent iff there is a cardinality-preserving linear bijection between Venn(S,E(S)) and Venn(T,E(T)). The paper applies this to caps (Sidon sets): Section 6 gives a complete classification for caps with size-dimension difference 3, and Section 7 uses templates from [2] to classify 10-, 11-, and 12-caps in dimension 7.
Significance. If the proofs are repaired, the main theorem is a valuable and elegant reduction: affine equivalence of arbitrary subsets of F2^n becomes a finite, parameter-free linear-algebra problem on the even-zero-sum subspace. The paper is explicit and the constructions are concrete, with worked examples and tables. The Section 6 characterization of caps with size-dimension difference 3 is complete and constructive, and the Venn-diagram method demonstrably recovers the known 7-dimensional cap classifications. However, the Section 7 application relies on an external enumeration from the companion paper [2], and the proof of Theorem 3.16 contains a false nonemptiness assertion; both issues need attention before the paper is accepted.
major comments (3)
- [Section 7, Tables 4, 5, 7] The application to 7-dimensional caps depends on the assertion that the templates reproduced from [2, Sections 5–7] 'cover all possibilities' for 10-, 11-, and 12-caps. No proof of this exhaustiveness is given here. Consequently the conclusions that all 11-caps and all 12-caps of dimension 7 are affinely equivalent, and that the 10-caps split into exactly two classes, are conditional on the completeness of the external enumeration. This does not affect Theorem 5.7, but it is load-bearing for the stated Sidon-set application. Please either supply a proof of exhaustiveness or explicitly state the reliance on [2] with precise pointers to the relevant theorems.
- [Theorem 3.16] The proof asserts 'every basis vector e_i is nonzero and has v_X(e_i) nonempty'. This is false in general: for S={1,2,3} and V=span({1},{1,2}) with basis X1={1}, X2={1,2}, one has v_X(10)=X1∩X2^c=∅. Thus Lemma 3.13 cannot be applied to these e_i. Since Corollary 3.17 and Theorem 5.7 rely on the coordinate-change formula, the proof needs repair. The statement may be salvageable by choosing a basis of F2^r consisting of vectors whose Venn regions are nonempty (such a basis exists because the distinct incidence columns span F2^r), but the manuscript must supply a correct argument.
- [Lemma 6.2 / Theorem 6.3] In Lemma 6.2 proof, 'each of a + b ≤ 6' should be '≥ 6'; the same typo appears in Theorem 6.3 proof. Also, 'a, b, and c must have the same cardinality' should be 'same parity'. These are presentation typos in a proof, but they obscure an otherwise correct argument and should be fixed.
minor comments (3)
- [Example 3.18] In the list of Venn regions, 'v_X(001) = v_Y(111) = {a4}' should likely read 'v_X(111) = v_Y(111) = {a4}', since v_X(001) was already listed as {w3}.
- [Section 7.2] The sentence 'Figure 5 shows the Venn cardinality diagrams for the three templates in Table 4' should refer to Table 5, not Table 4.
- [Throughout Section 7] The matrices A and B in Sections 7.2 and 7.3 are asserted to permute cardinalities 'appropriately' without a calculation. A short verification, or a reference to an appendix or supplementary file, would make the application easier to check.
Circularity Check
Theorem 5.7 is self-contained; only caveat is §7 reliance on template exhaustiveness from [2], an external completeness assumption rather than a circular derivation.
full rationale
The main derivation chain is not circular. E(S) is defined independently in Definition 2.2 from the affine-geometric notion of even zero-sum sets, and Proposition 5.1 plus Corollary 5.4 prove it is a linear subspace with an explicit basis derived from an affine basis of S. Theorem 2.6 proves affine equivalence iff there is a bijection S→T inducing a bijection E(S)→E(T), using only the standard characterization of affine maps in F2^n and a direct construction of the affine automorphism. Theorem 4.5 proves that a (V,W)-isomorphism exists iff there is a cardinality-preserving linear bijection of Venn regions; this is established by explicit map constructions (Proposition 4.3 and the converse in Theorem 4.5) using Lemma 3.13 and Proposition 3.15, with no fitted parameters or data-driven assumptions. The final criterion Theorem 5.7 therefore follows from Definition 2.2, Proposition 5.1, Corollary 5.4, Theorem 2.6, and Theorem 4.5 without importing any prior classification. The only external dependency is in Section 7, where the author-provided templates from [2] are imported as exhaustive for 10-, 11-, and 12-caps of dimension 7. That exhaustiveness is not proved in this paper and is load-bearing for the cap-classification conclusions stated there. However, this is a normal citation to prior work by overlapping authors, and it does not feed back into Theorem 5.7 or the earlier theory. It is an external completeness premise, not a circular reduction or a fitted prediction. Hence the central claim has independent content, and the paper receives a low non-circularity score.
Assumptions & free parameters
assumptions (4)
- standard math P(S) is a vector space over F2 under symmetric difference, with singleton subsets as basis
- standard math Every affinely independent set in F_2^n extends to an affine basis of F_2^n
- standard math Affine combinations in F_2^n are exactly sums of an odd number of points
- domain assumption The template lists of [2] exhaustively cover 7-dimensional 10-, 11-, and 12-caps
Cite this review
Pith. "Pith review of Affine Equivalence of Subsets of $\mathbb{F}_2^n$ via Venn Diagrams and Applications to Sidon Sets." pith.science (2026). https://pith.science/paper/5NS2CLEU
@misc{pith2026250900556,
author = {Pith},
title = {Pith review of: Affine Equivalence of Subsets of $\mathbbF_2^n$ via Venn Diagrams and Applications to Sidon Sets},
year = {2026},
howpublished = {\url{https://pith.science/paper/5NS2CLEU}},
note = {Machine review of arXiv:2509.00556}
}
abstract
Two subsets $S$ and $T$ of $\mathbb{F}_2^n$ are \textit{affinely equivalent} if there is an affine automorphism of $\mathbb{F}_2^n$ taking $S$ to $T$. Given a basis of the affine span of $S$, we can construct a Venn diagram whose regions partition $S$. We prove that any two bases of $\operatorname{aff}(S)$ will have the same Venn diagram up to a linear permutation of the Venn regions. Moreover, we prove that two sets are affinely equivalent if and only if there is a cardinality-preserving linear permutation from the Venn regions of $S$ to the Venn regions of $T$. We use these results to classify certain Sidon sets up to affine equivalence.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[2]
How Many Cards Should You Lay Out in Quad-128: A Classification of Caps in AG(7,2)
Kariane Calta, Timothy E. Goldberg, and Lauren L. Rose. How Many Cards Should You Lay Out in Quad-128: A Classification of Caps in AG(7, 2). submitted. 2025. arXiv: 2501 . 11173 [math.CO]. url: https://arxiv.org/abs/2501.11173. 32 REFERENCES
work page Pith review arXiv 2025
-
[1]
Bounds on sizes of generalized caps in AG(n, q) via the Croot-Lev-Pach polynomial method
Michael Bennett. “Bounds on sizes of generalized caps in AG(n, q) via the Croot-Lev-Pach polynomial method”. In: J. Combin. Theory Ser. A 168 (2019), pp. 255–271. issn: 0097-3165. doi: 10.1016/j.jcta. 2019.06.001 . url: https://doi.org/10.1016/j.jcta.2019.06. 001
doi:10.1016/j.jcta 2019
-
[3]
On APN Functions Whose Graphs are Maximal Sidon Sets
C. Carlet. “On APN Functions Whose Graphs are Maximal Sidon Sets”. In: Latin 2022: Theoretical Informatics . Vol. 13568. Springer, Cham., 2022. doi: https://doi.org/10.1007/978-3-031-20624- 5_15
-
[4]
How many cards should you lay out in a game of EvenQuads: a detailed study of caps in AG( n, 2)
Julia Crager et al. “How many cards should you lay out in a game of EvenQuads: a detailed study of caps in AG( n, 2)”. In: Matematica 2.2 (2023), pp. 382–419. issn: 2730-9657. doi: 10.1007/s44007-023- 00047-0. url: https://doi.org/10.1007/s44007-023-00047-0
-
[5]
Sidon sets, sum-free sets and linear codes
Ingo Czerwinski and Alexander Pott. “Sidon sets, sum-free sets and linear codes”. In: Advances in Mathematics of Communications 18.2 (2024), pp. 549–566. issn: 1930-5346. doi: 10 . 3934 / amc . 2023054. url: https://www.aimsciences.org/article/id/65644c12eca2737fc4ef4e2f
work page 2024
-
[6]
New constructions of large cyclic subspace codes via Sidon spaces
You Gao Minyao Niu Jinghua Xiao. “New constructions of large cyclic subspace codes via Sidon spaces”. In: Advances in Mathematics of Communications, 18(4): 1123-1137 (2024). doi: 10.3934/amc.2022074
-
[7]
Sidon sets, thin sets, and the nonlinearity of vectorial Boolean functions
G´ abor P. Nagy. “Sidon sets, thin sets, and the nonlinearity of vectorial Boolean functions”. In: Journal of Combinatorial Theory, Series A 212 (2025), p. 106001. issn: 0097-3165. doi: https://doi.org/10.1016/ j . jcta . 2024 . 106001. url: https : / / www . sciencedirect . com / science/article/pii/S0097316524001407
work page 2025
-
[8]
Construction of a cryptographic function based on Bose-type Sidon sets
J. Osorio, C. Trujillo, and D. Ruiz. “Construction of a cryptographic function based on Bose-type Sidon sets”. In: AIMS Mathematics 9(7) (2024), pp. 1123–1137. doi: 10.3934/math.2024855
Show all 15 references
-
[9]
SuperSET
Jeffrey Pereira. SuperSET. Undergraduate thesis. Available through https://digitalcommons.bard.edu/undergrad/. 2013
2013
-
[10]
A Small Maxi- mal Sidon Set inZn 2
Maximus Redman, Lauren Rose, and Raphael Walker. “A Small Maxi- mal Sidon Set inZn 2 ”. In: SIAM J. Discrete Math. 36.3 (2022), pp. 1861–
2022
-
[11]
Results on k-Covers in the Game Quads
Daniel Rose-Levine. “Results on k-Covers in the Game Quads”. Avail- able through https://digitalcommons.bard.edu/undergrad/ . Un- dergraduate thesis. Annandale-on-Hudson, NY: Bard College, 2024
2024
-
[12]
Improved bounds on sizes of gen- eralized caps in AG(n, q)
Michael Tait and Robert Won. “Improved bounds on sizes of gen- eralized caps in AG(n, q)”. In: SIAM J. Discrete Math. 35.1 (2021), pp. 521–531. issn: 0895-4801. doi: 10.1137/20M1369439. url: https: //doi.org/10.1137/20M1369439
2021 doi
-
[13]
Applications of Sidon Sets to Telecommunications
Cristhian Urbano Leon, Rigo Osorio, and Diego Ruiz. “Applications of Sidon Sets to Telecommunications”. In: International Conference on Applied Mathematics and Informatics . Nov. 2013. doi: 10.13140/2. 1.4271.3280
2013
-
[14]
EvenQuads Website: https://awm- math.org/publications/playing-cards/
Association for Women in Math. EvenQuads Website: https://awm- math.org/publications/playing-cards/. 2020. url: https://awm-math. org/publications/playing-cards/evenquads/. REFERENCES 33 Department of Mathematics & Statistics, V assar College, Poughkeepsie, New York 12604 Emai...
2020
-
[1867]
doi: 10.1137/21M1454663
issn: 0895-4801. doi: 10.1137/21M1454663. url: https://doi. org/10.1137/21M1454663
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.