Complete mappings of Brauer and partial Brauer monoids
In the existence interpretation of the problem, and admit complete mappings exactly when , with the principal factors classified accordingly. The paper does not enumerate every complete mapping.
Details and sources
AI contribution
Claude agents developed the construction and manuscript; independent AI reviewers checked the proof and the limited Lean formalization.
Problem origin
Araújo, Bentz, Cameron, Hendrey, and Kinyon posed Problem 15.11 on complete mappings of Brauer and partial Brauer monoids.
Verification
Written proof; Lean covers two explicit Rees-matrix constructions but not the classification theorem
Claim audit
The current paper contains a literal definition error for top and bottom half-diagrams in the partial Brauer case; the repository says the proofs use the intended corrected definition and reports no counterexample. No human review is public.
Publication
Public manuscript and research repository
Preprint / manuscript
Activity evidence
Resolves a recent explicit classification problem under a stated existence interpretation.
The record reports the public claim at its documented verification level; it does not infer peer review from self-checks or formal compilation.
- Claimed outcome
- Proved
- Problem origin
- Human-source problem
- System
- Claude Opus 5.5; GPT-6 Astra and GPT-6 Sol review
- Verification
- Written proof; Lean covers two explicit Rees-matrix constructions but not the classification theorem
- Claim audit
- Issue documented
- Research activity*