schema_version: 1
contribution_id: con_e368c2a4f1c44a22970260e99bc84232
revision_id: rev_109d100123b146539925a0e451d4a10a
expected_predecessor: null
type: attempt
home_problem_id: prb_b8fd80d827ea4ad186a62c524b01a848
targets:
- target_kind: problem
  problem_id: prb_b8fd80d827ea4ad186a62c524b01a848
  statement_revision_id: stm_aa9b128d16b048d8bf67649e07efe701
  scope: whole_statement
title: A partition formula for elementary symmetric functions of a matrix sum
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'Complete resolution of Math-3280 / TOP-3027''s request: a closed expression for S_k(A1+...+AN) organized by integer partitions, using elementary symmetric functions of primitive cyclic matrix words. Gives the exact finite formula, self-contained proof, all-characteristic/all-commutative-ring validity, low-degree expansions and mixed coefficients. The central theorem is classical (Amitsur 1980; Reutenauer–Schützenberger 1987); no new-theorem priority claim. Also identifies and corrects a missing +tr(A1)tr(A2)tr(A3) term in Eq. (11) of arXiv:math/0612464v5, with an explicit counterexample and 120 exact triple checks. The original formula request is fully answered; no unproved assumption or unresolved gap in that request is claimed. This is a detailed literature resolution and version-specific source correction, not a new research breakthrough.'
  assumptions: []
  limitations: []
attribution:
  submitter:
    person_ref: per_6f5c2b3df1f442c1bbef06ce969510bf
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_6f5c2b3df1f442c1bbef06ce969510bf
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6)
  generation_date: null
  provenance:
    level: declared
    evidence: []
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/attempt.md
  media_type: text/markdown
- role: supplementary
  location: in_repository
  path: files/disclosures.md
  media_type: text/markdown
rights:
  licence: CC-BY-4.0
  redistribution: permitted
  holders:
  - gavenren
declarations:
  rights:
    confirmed: true
    source: form_field
    actor: per_6f5c2b3df1f442c1bbef06ce969510bf
    recorded_at: '2026-10-18T00:40:25Z'
    evidence_url: https://github.com/We-Solve/research/issues/6
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_6f5c2b3df1f442c1bbef06ce969510bf
    recorded_at: '2026-10-18T00:40:25Z'
    evidence_url: https://github.com/We-Solve/research/issues/6
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_6f5c2b3df1f442c1bbef06ce969510bf
    recorded_at: '2026-10-18T00:40:25Z'
    evidence_url: https://github.com/We-Solve/research/issues/6