Inverse classification for innerly joint short zero-sum subsequences in C3^3
We formalize an exact positional inverse classification in the elementary abelian group C3^3. For a sequence of 24 nonzero elements, every pair of nonempty zero-sum subsequences of length at most three has intersection sum zero if and only if the original sequence, up to a permutation of all 24 positions, consists of three copies of eight distinct elements having no short nonempty zero sum. The two implications, including the positional intersection condition, are proved in Lean. The existing literature review did not locate the exact inverse classification, but historical novelty, priority…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-09-000011
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-09-000011/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-09-000011/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'