Bijection Between Point-Hyperplane Anti-Flags of $V(n, 2)$ and Non-Singular Points of $O^+(2n, 2)$

Antonio Pasini; Ferdinand Ihringer

arxiv: 2509.14798 · v2 · submitted 2025-09-18 · 🧮 math.CO

Bijection Between Point-Hyperplane Anti-Flags of V(n, 2) and Non-Singular Points of O^+(2n, 2)

Ferdinand Ihringer , Antonio Pasini This is my paper

Pith reviewed 2026-05-18 16:34 UTC · model grok-4.3

classification 🧮 math.CO

keywords bijectionantiflagshyperbolic quadricstrongly regular graphfinite geometryvector spaceorthogonal geometry

0 comments

The pith

A geometrically natural bijection maps point-hyperplane antiflags in V(n, 2) to nonsingular points of a hyperbolic quadric in V(2n, 2).

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

The paper constructs a bijection linking point-hyperplane antiflags of the n-dimensional vector space over the two-element field to the nonsingular points of a hyperbolic quadric in the corresponding 2n-dimensional space. This link is presented without reliance on specific bases or coordinates. The authors then apply the bijection to give descriptions of the strongly regular graph known as NO^+_{2n}(2) and of another graph introduced by Stanley and Takeda. They also establish an analogous bijection when the field has three elements instead.

Core claim

We give a bijection between the point-hyperplane antiflags of V(n, 2) and the nonsingular points of V(2n, 2) with respect to a hyperbolic quadric. With the help of this bijection, we give a description of the strongly regular graph NO^+_{2n}(2) in V(2n, 2). We also describe a graph with respect to a hyperbolic quadric in V(2n, 2) that was recently defined by Stanley and Takeda in V(n, 2). Similarly, we give a bijection between the point-hyperplane antiflags of V(n, 3) and the nonsingular points of one type in V(2n, 3) with respect to a hyperbolic quadric.

What carries the argument

The bijection from point-hyperplane antiflags to nonsingular points of the hyperbolic quadric, which establishes a direct correspondence between two different geometric configurations.

If this is right

The strongly regular graph NO^+_{2n}(2) admits a description inside the 2n-dimensional space equipped with the hyperbolic quadric.
The graph defined by Stanley and Takeda in V(n, 2) can be realized with respect to the hyperbolic quadric in V(2n, 2).
A parallel bijection holds for vector spaces over the three-element field.

Where Pith is reading between the lines

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

This bijection may simplify the study of incidence structures by transferring properties between antiflags and quadric points.
It opens the possibility of finding similar correspondences in other dimensions or for different types of quadrics.
Applications could include more efficient enumeration of certain combinatorial objects in finite geometries.

Load-bearing premise

The standard definitions of point-hyperplane antiflags in V(n, q) and nonsingular points on the hyperbolic quadric in V(2n, q) admit a geometrically natural one-to-one correspondence that is independent of any additional choices of bases or coordinates.

What would settle it

For n equals 2, count the point-hyperplane antiflags in the two-dimensional space over GF(2) and verify whether their number equals the number of nonsingular points on the hyperbolic quadric in the four-dimensional space; equality is necessary for the bijection to hold.

read the original abstract

We give a bijection between the point-hyperplane antiflags of $V(n, 2)$ and the nonsingular points of $V(2n, \allowbreak 2)$ with respect to a hyperbolic quadric. With the help of this bijection, we give a description of the strongly regular graph $NO^+_{2n}(2)$ in $V(2n, 2)$. We also describe a graph with respect to a hyperbolic quadric in $V(2n, 2)$ that was recently defined by Stanley and Takeda in $V(n, 2)$. Similarly, we give a bijection between the point-hyperplane antiflags of $V(n, 3)$ and the nonsingular points of one type in $V(2n, 3)$ with respect to a hyperbolic quadric.

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 paper gives a workable explicit bijection over GF(2) that rephrases two known graphs on hyperbolic quadrics, with a parallel claim for GF(3).

read the letter

The main thing to know is that the authors construct a bijection between point-hyperplane antiflags in V(n,2) and the nonsingular points of a hyperbolic quadric in V(2n,2). They use the map to give alternative descriptions of the strongly regular graph NO^+_{2n}(2) and the graph Stanley and Takeda recently defined in the same setting. A shorter parallel statement appears for the GF(3) case. The construction is presented as direct and geometric rather than derived from parameters or prior results, which keeps the circularity burden low. This is the genuinely new piece: an explicit correspondence that lets them translate between the two families of objects without extra choices in the abstract. It does a clean job of organizing the points so that adjacency in the graphs becomes easier to state in the quadric language. For someone already working with these small-field orthogonal geometries, the re-descriptions could shorten some calculations of parameters or automorphism groups. The evidence for the bijection itself is the construction, and the paper ships the details needed to verify it step by step. The stress-test concern about basis dependence is worth checking in the main section. If the map is defined by fixing a standard hyperbolic basis and splitting coordinates, then different bases give different maps and the correspondence is not fully canonical. That would not kill the utility for explicit graph descriptions, but it would weaken the claim of a geometrically natural, choice-free bijection. The GF(3) extension is mentioned only briefly, so its strength is harder to judge from the given material. This is a paper for specialists in finite geometry and combinatorial graph theory who care about explicit models over GF(2) and GF(3). A reader who needs concrete point correspondences or alternative views on NO^+ graphs will find it useful; someone looking for broad impact or new parameters will not. The work shows clear, honest engagement with the objects and the literature, with no load-bearing fitting or internal contradictions visible. It deserves a serious referee because the central claim is concrete and checkable, even if the scope stays narrow.

Referee Report

1 major / 2 minor

Summary. The manuscript claims to construct an explicit bijection between the point-hyperplane anti-flags of the n-dimensional vector space V(n,2) over GF(2) and the non-singular points of the hyperbolic quadric O^+(2n,2) in V(2n,2). It applies the bijection to give combinatorial descriptions of the strongly regular graph NO^+_{2n}(2) and of a graph previously defined by Stanley and Takeda in V(n,2); a parallel bijection is stated for the case q=3.

Significance. If the correspondence is geometrically natural and structure-preserving, the bijection supplies a direct dictionary between two families of objects that appear in the literature on finite geometries and strongly regular graphs. This could streamline proofs of isomorphism or parameter calculations for the graphs NO^+_{2n}(2) and their relatives.

major comments (1)

[main construction (after §2)] The construction of the bijection (detailed after the preliminary definitions) proceeds by fixing a hyperbolic basis {e1,f1,…,en,fn} of V(2n,2) and mapping an anti-flag (p,H) to a vector whose coordinates are expressed relative to that basis. Different choices of hyperbolic basis therefore produce different maps, which contradicts the claim that the correspondence is a geometrically natural, choice-independent bijection arising from the standard definitions alone.

minor comments (2)

The notation for anti-flags and for the two types of non-singular points on the quadric should be introduced with a short self-contained paragraph before the main theorem.
A small table comparing the parameters of the two graphs described via the bijection would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful review and for highlighting this aspect of our construction. We address the major comment below and will revise the manuscript accordingly to improve clarity.

read point-by-point responses

Referee: The construction of the bijection (detailed after the preliminary definitions) proceeds by fixing a hyperbolic basis {e1,f1,…,en,fn} of V(2n,2) and mapping an anti-flag (p,H) to a vector whose coordinates are expressed relative to that basis. Different choices of hyperbolic basis therefore produce different maps, which contradicts the claim that the correspondence is a geometrically natural, choice-independent bijection arising from the standard definitions alone.

Authors: We acknowledge that the explicit map is constructed relative to a fixed hyperbolic basis of V(2n,2). This is a standard device in finite geometry to obtain concrete coordinate descriptions of the correspondence. The resulting bijection is geometrically natural in the sense that it preserves incidence between points and hyperplanes and induces isomorphisms of the associated strongly regular graphs; these properties are independent of the particular basis chosen. Because the orthogonal group O^+(2n,2) acts transitively on hyperbolic bases, any two such constructions differ by an automorphism of the quadric. We will revise the relevant section to state explicitly that the bijection is defined with respect to a chosen hyperbolic basis and to note that the combinatorial conclusions (including the graph descriptions) remain valid and isomorphic for any such choice. revision: partial

Circularity Check

0 steps flagged

No circularity: direct geometric bijection from standard definitions

full rationale

The paper constructs an explicit bijection between point-hyperplane antiflags in V(n,2) and nonsingular points of the hyperbolic quadric O^+(2n,2) using the standard vector space and quadratic form definitions in finite geometry. No step reduces the claimed correspondence to a fitted parameter, self-citation chain, or ansatz imported from the authors' prior work; the abstract and construction are presented as a choice-independent geometric map. The additional descriptions of strongly regular graphs and the Stanley-Takeda graph are downstream applications rather than load-bearing premises. This is the expected non-finding for a self-contained combinatorial bijection paper.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background from finite geometry and introduces no new free parameters, invented entities, or ad-hoc axioms beyond the usual definitions of vector spaces and quadratic forms.

axioms (2)

standard math V(n,q) is an n-dimensional vector space over the finite field GF(q)
Invoked in the definitions of antiflags and the ambient space for the quadric.
domain assumption Hyperbolic quadrics and their nonsingular points are defined via the standard orthogonal geometry in even dimension
Used to identify the target set of the bijection.

pith-pipeline@v0.9.0 · 5689 in / 1434 out tokens · 65641 ms · 2026-05-18T16:34:39.115272+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Within Q, fix two disjoint maximal singular subspaces Π and Σ. … We define f by f(X)=(P,H). … identify the n-space Σ with V(n,2)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

A. E. Brouwer & H. Van Maldeghem,Strongly Regular Graphs, Cam- bridge University Press, Encyclopedia of Mathematics and Its Applica- tions 182, 2022

work page 2022
[2]

Klein, ¨Uber die Transformation der allgemeinen Gleichung des zweiten Grades zwischen Linien-Koordinaten auf eine kanonische Form,Dissertation (1868), Math

F. Klein, ¨Uber die Transformation der allgemeinen Gleichung des zweiten Grades zwischen Linien-Koordinaten auf eine kanonische Form,Dissertation (1868), Math. Ann.23(1884) 539–578

work page
[3]

Stanley & M

D. Stanley & M. Takeda,Graph colouring and Steenrod’s problem for Stanley-Reisner rings, arXiv:2501.09991v1 [math.AT] (2025)

work page arXiv 2025
[4]

D. E. Taylor,The Geometry of the Classical Groups, Heldermann, Berlin, 1992. 6

work page 1992

[1] [1]

A. E. Brouwer & H. Van Maldeghem,Strongly Regular Graphs, Cam- bridge University Press, Encyclopedia of Mathematics and Its Applica- tions 182, 2022

work page 2022

[2] [2]

Klein, ¨Uber die Transformation der allgemeinen Gleichung des zweiten Grades zwischen Linien-Koordinaten auf eine kanonische Form,Dissertation (1868), Math

F. Klein, ¨Uber die Transformation der allgemeinen Gleichung des zweiten Grades zwischen Linien-Koordinaten auf eine kanonische Form,Dissertation (1868), Math. Ann.23(1884) 539–578

work page

[3] [3]

Stanley & M

D. Stanley & M. Takeda,Graph colouring and Steenrod’s problem for Stanley-Reisner rings, arXiv:2501.09991v1 [math.AT] (2025)

work page arXiv 2025

[4] [4]

D. E. Taylor,The Geometry of the Classical Groups, Heldermann, Berlin, 1992. 6

work page 1992