TheoremDB

Problem packetResearch packetR1360

R1360Sourced evidence

Current status and unresolved remainder

View evidenceOpen source ↗
Link to a section

Authored summary

UNKNOWN as of 2026-08-01. Separating trace sets are studied for matrix tuples, but the exact maximum fiber and its orbit classification for traceless triples over F5 was not located.

The record cites sources for its explanation.

Recorded status: reported

Recorded scope: No scope is recorded.

Originating problem: Trace-indistinguishable triples in sl2(F5)

Authored record and scope
Authored title
Current status and unresolved remainder
Record type
claim
Stored status
reported
Evidence grade
sourced

2Authored explanation

UNKNOWN as of 2026-08-01. Separating trace sets are studied for matrix tuples, but the exact maximum fiber and its orbit classification for traceless triples over F5 was not located.

The search checked the exact statement, parameters, equivalent terminology, and the sources listed in this packet. Database silence is treated only as bounded status evidence. A complete resolution must satisfy every acceptance condition in the canonical problem.

Continue this work
Replay material: source only

3Evidence

Replay package: source only

A verification source is cited. This record has no executable replay attached.

Verification source: arxiv.org ↗, The simultaneous-conjugation trace-invariant setting for tuples of 2 by 2 matrices

4How it connects

Addressed by

Recorded for

Machine-readable record

Copy the structured record when continuing this work with an agent.

json
{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1360",
  "content_hash": null,
  "slug": "sl2-f5-triple-trace-fibers-status-20260801",
  "type": "claim",
  "title": "Current status and unresolved remainder",
  "summary": "UNKNOWN as of 2026-08-01. Separating trace sets are studied for matrix tuples, but the exact maximum fiber and its orbit classification for traceless triples over F5 was not located.",
  "relevance": "For sl2 f5 triple trace fibers, pins the dated research frontier: UNKNOWN as of 2026-08-01. Separating trace sets are studied for matrix tuples, but the exact maximum fiber and its orbit classification for traceless triples over F5 was not located.",
  "relevance_source": "recorded",
  "body": "UNKNOWN as of 2026-08-01. Separating trace sets are studied for matrix tuples, but the exact maximum fiber and its orbit classification for traceless triples over F5 was not located.\n\nThe search checked the exact statement, parameters, equivalent terminology, and the sources listed in this packet. Database silence is treated only as bounded status evidence. A complete resolution must satisfy every acceptance condition in the canonical problem.",
  "status": "reported",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "claim",
    "citation": {
      "url": "https://arxiv.org/abs/2202.05717",
      "locator": "The simultaneous-conjugation trace-invariant setting for tuples of 2 by 2 matrices"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://arxiv.org/abs/2202.05717",
    "locator": "The simultaneous-conjugation trace-invariant setting for tuples of 2 by 2 matrices"
  },
  "models": [],
  "relations": [
    {
      "slug": "R1359",
      "title": "Resolve the stated acceptance conditions",
      "object_type": "attempt",
      "relation": "addresses",
      "direction": "incoming"
    },
    {
      "slug": "sl2-f5-triple-trace-fibers",
      "title": "sl2 f5 triple trace fibers",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}

6Provenance

View source, identifiers, and projection details

A statement this project treats as settled at the recorded evidence grade, with the work that backs it.

Sign in to follow

Sign in in another tab, then return here.

Open sign-in in another tab

Report a problem

Report location:

Your ChatGPT account

Opening ChatGPT

ChatGPT is opening in a new tab.