arxiv: 2605.08090 · v1 · submitted 2026-03-30 · 🧮 math.RA · math.CO

Recognition: 2 theorem links

· Lean Theorem

Residue Constraints in the Rank-Three Lifting Problem for Projective-Plane Incidence Matrices

Jaehwan Kim

Authors on Pith no claims yet

Pith reviewed 2026-05-14 01:22 UTC · model grok-4.3

classification 🧮 math.RA math.CO

keywords rank liftingincidence matricesprojective planesresidue constraintscross-ratioderangement equationmatrix rankfinite geometry

0 comments

The pith

Any rank-≤3 lift of a projective-plane incidence matrix in residue characteristic ≠3 forces Ω(q^8) admissible 2×2 zero rectangles with nontrivial residue cross-ratio.

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

The paper shows that for any projective plane of order q at least 3, lifting its incidence matrix to a matrix of rank at most 3 over a local ring is heavily constrained once the residue field has characteristic not equal to 3. Local examination of 4×4 minors with identity patterns produces a leading derangement equation whose solutions require many 2×2 zero submatrices whose entries form a nontrivial cross-ratio in the residue field. The same local analysis rules out monomial lifts entirely when q is at least 6, forcing any candidate lift to carry nontrivial first-order corrections on entries that have valuation zero. These constraints are derived purely from the vanishing of determinants and therefore apply uniformly to every such plane.

Core claim

In residue characteristic ≠3, any rank-≤3 lift of the incidence matrix of a projective plane of order q≥3 forces Ω(q^8) distinct admissible 2×2 zero rectangles with nontrivial residue cross-ratio. We further prove that for q≥6 no monomial rank-≤3 lift exists; in particular, any putative low-rank lift must already involve nontrivial first-order corrections on valuation-0 entries. These results arise from a local analysis of 4×4 identity-pattern minors, where we derive the leading derangement equation together with its first-order companion and show that every vanished identity-pattern minor contains a cross-ratio-defective admissible rectangle. The unresolved part of the problem is therefore

What carries the argument

The leading derangement equation and its first-order companion obtained from the vanishing of 4×4 identity-pattern minors, each of which is shown to contain a cross-ratio-defective admissible rectangle.

If this is right

Every vanished 4×4 identity-pattern minor in the lift must contain at least one cross-ratio-defective admissible rectangle.
Monomial lifts are impossible for all projective planes of order q≥6.
Any candidate rank-3 lift must carry nontrivial first-order terms on valuation-zero entries.
The remaining obstruction to existence is global consistency of a rank-3 residue model with a compatible first-order deformation across all overlapping local constraints.

Where Pith is reading between the lines

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

Valuation-only or tropical methods cannot resolve the lifting problem, because the new obstructions live at the level of residue-field cross-ratios.
The quadratic density Ω(q^8) of forced rectangles suggests that the local conditions may become overdetermined once the global incidence structure is imposed.
One could test the claim by attempting to solve the residue-model equations explicitly for the smallest planes of order 3, 4 or 5 and checking whether a first-order deformation exists.

Load-bearing premise

The local analysis of 4×4 identity-pattern minors derives the leading derangement equation and first-order companion such that every vanished minor contains a cross-ratio-defective admissible rectangle, with the analysis holding in residue characteristic ≠3.

What would settle it

Exhibit a rank-≤3 lift over a ring with residue characteristic ≠3 that contains no admissible 2×2 zero rectangle with nontrivial residue cross-ratio, or produce a monomial rank-≤3 lift for some q≥6.

Figures

Figures reproduced from arXiv: 2605.08090 by Jaehwan Kim.

**Figure 1.** Figure 1: A valuation-minimal 2 × 2 zero rectangle and its associated residue cross-ratio. The flatness condition is u11u22 = u12u21, equivalently ρ = 1. Definition 3.80 (Alternating holonomy on an even cycle). Let C : p1 − ℓ1 − p2 − ℓ2 − · · · − pm − ℓm − p1 be an even cycle in a bipartite zero-graph, with indices read modulo m. Its alternating holonomy is Holu(C) := Ym i=1 upi,ℓi upi+1,ℓi ∈ k ∗ . Equivalently, Hol… view at source ↗

**Figure 2.** Figure 2: Alternating holonomy on the smallest even cycle of a bipartite zerograph. Lemma 3.82 (Connectivity and diameter of the nonincidence graph). Let Πq be a projective plane of order q ≥ 2. Then G0(I(Πq)) is connected. More precisely: (1) any two distinct point-vertices are at distance 2; (2) any two distinct line-vertices are at distance 2; (3) any incident point-line pair is at distance 3. In particular, dia… view at source ↗

**Figure 3.** Figure 3: The 4×4 identity valuation pattern. Diagonal entries carry valuation 1, while every off-diagonal entry has valuation 0. Lemma 4.5 (Cross-ratio flatness implies rank-1 factorization off the diagonal). Let n ≥ 4, and let (uij ) be nonzero scalars in a field k, defined for all ordered pairs i ̸= j in {1, . . . , n}. Assume that for every distinct rows i ̸= j and distinct columns a ̸= b with {i, j} ∩ {a, b} = … view at source ↗

read the original abstract

We study the rank-three lifting problem for incidence matrices of finite projective planes through residue-level determinant constraints invisible to tropical valuations alone. In residue characteristic $\neq 3$, any rank-$\le 3$ lift of the incidence matrix of a projective plane of order $q \ge 3$ forces $\Omega(q^8)$ distinct admissible $2 \times 2$ zero rectangles with nontrivial residue cross-ratio. We further prove that for $q \ge 6$ no monomial rank-$\le 3$ lift exists; in particular, any putative low-rank lift must already involve nontrivial first-order corrections on valuation-0 entries. These results arise from a local analysis of $4 \times 4$ identity-pattern minors, where we derive the leading derangement equation together with its first-order companion and show that every vanished identity-pattern minor contains a cross-ratio-defective admissible rectangle. The unresolved part of the problem is therefore genuinely global: one must decide whether a rank-3 residue model, together with a compatible first-order deformation, can satisfy the full overlapping system of local residue constraints.

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 cleanly derives local residue cross-ratio constraints from 4x4 minors that block monomial rank-3 lifts for q>=6, but the global Omega(q^8) distinct rectangles claim needs an explicit overlap bound.

read the letter

The punchline is that in residue characteristic not 3, any rank-at-most-3 lift of a projective plane incidence matrix of order q at least 3 must contain Omega(q^8) distinct 2x2 zero rectangles with nontrivial residue cross-ratio, and monomial lifts are impossible for q at least 6. The work gets there by examining 4x4 identity-pattern minors, extracting the leading derangement equation plus its first-order companion, and showing each vanished minor forces a cross-ratio-defective admissible rectangle. That local step extends earlier tropical valuation work with a concrete non-existence result for the monomial case, which is useful because it forces any candidate lift to carry nontrivial first-order corrections on the valuation-zero entries. The argument stays grounded in the external incidence structure rather than fitting parameters, so the local claims look internally consistent. The soft spot is the jump to the global count. Each minor produces at least one such rectangle, but projective planes have heavy overlap among their 4x4 subconfigurations; without an injection from a subset of minors to distinct rectangles or a multiplicity bound on how many minors can share one rectangle, the union could fall below Omega(q^8). The abstract flags the global overlapping system as the remaining open part, which is honest, but the quantitative bound still needs that control to be fully convincing. This is specialized reading for people already working on rank-lifting problems or residue constraints in finite geometries and combinatorial designs. A reader comfortable with minor conditions and valuations will extract the new local obstructions and the monomial non-existence result. It is worth sending to a serious referee because the local analysis is new and the non-existence claim is concrete, even if the global multiplicity step requires checking.

Referee Report

2 major / 2 minor

Summary. The paper studies residue-level constraints on rank-≤3 lifts of the incidence matrix of a projective plane of order q. In residue characteristic ≠3, any such lift of a plane of order q≥3 is shown to force Ω(q^8) distinct admissible 2×2 zero rectangles carrying a nontrivial residue cross-ratio. For q≥6 the paper further proves that no monomial rank-≤3 lift exists, so any candidate lift must already carry nontrivial first-order corrections on valuation-zero entries. Both statements are obtained from a local analysis of 4×4 identity-pattern minors: the leading derangement equation together with its first-order companion is derived, and it is shown that every vanished minor contains at least one cross-ratio-defective admissible rectangle. The global consistency of the resulting system of local constraints is left open.

Significance. If the local-to-global counting argument can be completed, the results supply concrete, quantitative obstructions to low-rank lifts and rule out the simplest (monomial) candidates for q≥6. The work therefore narrows the search space for possible rank-3 models and isolates the genuinely global part of the lifting problem. The explicit identification of the derangement equation and the first-order companion equation are technically useful even if the global count requires further work.

major comments (2)

[§4 (Global counting argument)] The Ω(q^8) lower bound on the number of distinct admissible rectangles (stated after the local analysis) requires a multiplicity or overlap estimate. While each vanished 4×4 identity-pattern minor forces at least one defective rectangle, the manuscript does not supply an injection from a positive-density subset of minors into distinct rectangles or an upper bound on the number of minors that can share the same rectangle. Without such a bound, overlaps in the incidence structure could reduce the total below the claimed order.
[§3.2 (Derangement equation and first-order companion)] The passage from the leading derangement equation plus first-order companion to the existence of a cross-ratio-defective admissible rectangle is asserted for every vanished minor, but the explicit algebraic verification that the solution set of the pair of equations forces a nontrivial cross-ratio (rather than a degenerate or trivial one) is not written out. A short calculation showing that the only solutions in residue characteristic ≠3 are those with cross-ratio ≠0,1,∞ would strengthen the local claim.

minor comments (2)

[§2] The definition of an 'admissible 2×2 zero rectangle' and the precise meaning of 'nontrivial residue cross-ratio' should be collected in a single preliminary subsection with a small-q example (e.g., q=3 or q=4) to fix notation before the minor analysis begins.
[§3] Several displayed equations in the local analysis would benefit from an explicit statement of the ring in which they are solved (e.g., the residue field k or the ring of integers modulo the maximal ideal).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the two major comments point by point below and will revise the manuscript to incorporate the requested clarifications and explicit arguments.

read point-by-point responses

Referee: [§4 (Global counting argument)] The Ω(q^8) lower bound on the number of distinct admissible rectangles (stated after the local analysis) requires a multiplicity or overlap estimate. While each vanished 4×4 identity-pattern minor forces at least one defective rectangle, the manuscript does not supply an injection from a positive-density subset of minors into distinct rectangles or an upper bound on the number of minors that can share the same rectangle. Without such a bound, overlaps in the incidence structure could reduce the total below the claimed order.

Authors: We appreciate the referee highlighting the need for an explicit multiplicity bound. Each vanished 4×4 identity-pattern minor forces at least one cross-ratio-defective admissible rectangle. To obtain the Ω(q^8) lower bound on distinct rectangles, we select a positive-density subset of minors whose supporting 4-tuples of points and lines are in general position (possible by the axioms of a projective plane of order q). For any fixed admissible rectangle, the number of such generic minors that can share it is at most O(q^4), because the remaining two rows and columns are determined by at most four additional incidences. The total number of relevant 4×4 minors is Ω(q^8), so after dividing by the per-rectangle multiplicity the number of distinct defective rectangles remains Ω(q^8). We will add this injection argument together with the multiplicity estimate to the revised §4. revision: yes
Referee: [§3.2 (Derangement equation and first-order companion)] The passage from the leading derangement equation plus first-order companion to the existence of a cross-ratio-defective admissible rectangle is asserted for every vanished minor, but the explicit algebraic verification that the solution set of the pair of equations forces a nontrivial cross-ratio (rather than a degenerate or trivial one) is not written out. A short calculation showing that the only solutions in residue characteristic ≠3 are those with cross-ratio ≠0,1,∞ would strengthen the local claim.

Authors: We agree that an explicit verification strengthens the local claim. In the revised manuscript we will insert the following short calculation in §3.2. Let the leading derangement equation be a + b + c + d = 0 with a,b,c,d the leading coefficients of the four entries, and let the first-order companion be a linear equation in the first-order corrections whose coefficients involve the same a,b,c,d. Suppose for contradiction that the cross-ratio is 0. Then one of the entries vanishes to first order, forcing the companion equation to reduce to a relation a + b = 0 (or cyclic). Substituting into the leading equation yields a contradiction with the non-vanishing of the remaining two coefficients in characteristic ≠3. The cases cross-ratio = 1 and cross-ratio = ∞ are handled analogously by direct substitution: each produces a linear dependence among the leading coefficients that violates the derangement equation. Hence every solution in residue characteristic ≠3 yields a nontrivial cross-ratio. This calculation will be written out in full. revision: yes

Circularity Check

0 steps flagged

No circularity: local minor analysis derives constraints independently

full rationale

The paper derives the leading derangement equation and first-order companion directly from the vanishing of 4x4 identity-pattern minors, then shows each such minor contains a cross-ratio-defective admissible rectangle. The Ω(q^8) count is asserted as a global consequence of the incidence structure of the projective plane once the local condition holds for every minor. No equation reduces to a fitted parameter renamed as prediction, no self-citation supplies a uniqueness theorem, and no ansatz is smuggled in. The derivation chain remains self-contained against the combinatorial input of the incidence matrix and the residue-field determinant conditions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of finite projective planes and local algebraic analysis of matrix minors in residue characteristic ≠3, without introducing new free parameters or invented entities.

axioms (2)

domain assumption Incidence matrix defined by points and lines of a finite projective plane of order q
The matrix entries follow the standard incidence relation of the projective plane.
domain assumption Residue characteristic not equal to 3
The analysis of cross-ratios and derangement equations is stated to hold only when residue characteristic ≠3.

pith-pipeline@v0.9.0 · 5490 in / 1427 out tokens · 54635 ms · 2026-05-14T01:22:32.655461+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.

every vanished identity-pattern minor contains a cross-ratio-defective admissible rectangle... Ω(q^8) distinct admissible 2×2 zero rectangles with nontrivial residue cross-ratio
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

leading derangement equation together with its first-order companion

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

18 extracted references · 18 canonical work pages

[1]

Ziegler,Oriented matroids, 2 ed., Encyclopedia of Mathematics and its Applications, vol

Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, and Günter M. Ziegler,Oriented matroids, 2 ed., Encyclopedia of Mathematics and its Applications, vol. 46, Cambridge University Press, 1999

work page 1999
[2]

Peter Dembowski,Finite geometries, Springer, 1968

work page 1968
[3]

52, Cambridge University Press, 2005, pp

Mike Develin, Francisco Santos, and Bernd Sturmfels,On the rank of a tropical matrix, Combinatorial and Computational Geometry, MSRI Publications, vol. 52, Cambridge University Press, 2005, pp. 213–242

work page 2005
[4]

Manfred Einsiedler, Mikhail Kapranov, and Douglas Lind,Non-archimedean amoebas and tropical varieties, Journal für die Reine und Angewandte Mathematik601(2006), 139–157

work page 2006
[5]

Alexander Guterman and Yaroslav Shitov,Rank functions of tropical matrices, Linear Algebra and its Applications498(2016), 326–348

work page 2016
[6]

J. W. P. Hirschfeld,Projective geometries over finite fields, Oxford Mathematical Monographs, Oxford University Press, 1998

work page 1998
[7]

219, American Mathematical Society, 2021

Michael Joswig,Essentials of tropical combinatorics, Graduate Studies in Mathematics, vol. 219, American Mathematical Society, 2021

work page 2021
[8]

Jaehwan Kim,Three-sign cancellation hypernumber systems and associator curvature, 2026

work page 2026
[9]

K. H. Kim and F. W. Roush,Kapranov rank vs. tropical rank, Proceedings of the American Mathematical Society134(2006), no. 9, 2487–2494

work page 2006
[10]

161, American Mathematical Society, 2015

Diane Maclagan and Bernd Sturmfels,Introduction to tropical geometry, Graduate Studies in Mathematics, vol. 161, American Mathematical Society, 2015

work page 2015
[11]

Grigory Mikhalkin,Tropical geometry and its applications, International Congress of Mathematicians. Vol. II, European Mathematical Society, 2007, pp. 827–852

work page 2007
[12]

21, Oxford University Press, 2011

James Oxley,Matroid theory, 2 ed., Oxford Graduate Texts in Mathematics, vol. 21, Oxford University Press, 2011

work page 2011
[13]

377, American Mathematical Society, 2005, pp

Jürgen Richter-Gebert, Bernd Sturmfels, and Thorsten Theobald,First steps in tropical geometry, Idempotent Mathematics and Mathematical Physics, Contemporary Mathematics, vol. 377, American Mathematical Society, 2005, pp. 289–317

work page 2005
[14]

5, 227–229

Yaroslav Shitov,An example of a(6×6)-matrix with different tropical and kapranov ranks, Moscow University Mathematics Bulletin66(2011), no. 5, 227–229

work page 2011
[15]

9, 3247–3253

,On the kapranov ranks of tropical matrices, Linear Algebra and its Applications436(2012), no. 9, 3247–3253

work page 2012
[16]

1, 15–19

,Mixed subdivisions and ranks of tropical matrices, Proceedings of the American Mathematical Society 142(2014), no. 1, 15–19

work page 2014
[17]

2, 489–499

,A separation between tropical matrix ranks, Proceedings of the American Mathematical Society151 (2023), no. 2, 489–499

work page 2023
[18]

Speyer,Tropical linear spaces, SIAM Journal on Discrete Mathematics22(2008), no

David E. Speyer,Tropical linear spaces, SIAM Journal on Discrete Mathematics22(2008), no. 4, 1527–1558. Hankuk Academy of Foreign Studies, Yongin-si, Gyeonggi-do 17035, Republic of Korea Email address:020080@hafs.hs.kr

work page 2008