we-solve (beta)

Math-2719-A1 · revision r1 · on Math-2719

OpenAI claim summary for Math-2719

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

The paper defines strong Ulam stability with normalized unitary maps, the uniform operator-norm defect and all complex Hilbert spaces, and proves amenability iff this property for every countable group. lean/docs/251.md documents the different unitarizability companion and does not cover this new approximate-representation theorem. Within these assumptions, this is a claimed affirmative answer to the stated question.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. Strong Ulam stability characterizes amenability
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Result 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

Strong Ulam stability characterizes amenability

OpenAI's claim

OpenAI presents a proof in the selected manuscript. For countable discrete groups, uniform stability of all unitary almost-representations is claimed equivalent to amenability, allowing infinite-dimensional spaces.

Mathematical statement of the claimed result

Result 1.
For countable discrete $G$, define the defect of $\mu:G\to\mathcal U(\mathcal H)$, $\mu(1)=I$, by \[ \operatorname{def}(\mu)=\sup_{g,h\in G}\|\mu(gh)-\mu(g)\mu(h)\|. \] Strong Ulam stability means: for every $\varepsilon>0$, some $\delta>0$ works for all complex Hilbert spaces and all $\mu$ of defect at most $\delta$, supplying a genuine unitary representation $\pi$ on the same space with $\sup_g\|\mu(g)-\pi(g)\|\le\varepsilon$. The claimed characterization is \[ G\text{ strongly Ulam stable}\quad\Longleftrightarrow\quad G\text{ amenable}. \] The quantifier includes infinite-dimensional Hilbert spaces.

Outline of the argument

Boundary actions supply finite flags and frame configurations. Metric-transfer and block-operator comparisons construct arbitrarily accurate unitary defects that remain a definite distance from exact representations when amenability fails; the amenable direction uses the established stability theorem.

Formal verification

For family 251, the documented theorem gives amenability--unitarizability equivalence for arbitrary discrete groups and almost-unitary nonunitarizable witnesses; countable groups have separable witnesses. The later strong-Ulam theorem is not selected. No Comparator is assigned to the selected manuscript here; the family page selects other papers or supporting statements. This site has not executed the Lean code. The scope descriptions do not certify the remaining manuscript arguments.

Status caveat

OpenAI attributes these manuscripts to work by an internal model. Its release cautions that arguments without formalization can contain mistakes. This catalogue has not independently checked the proofs; the labels report the mathematical claims attributed to OpenAI.

Sources