Dagger Closure of Trace-Positive Noncommutative Polynomials

Definitions and mathematical statement

Let $V$ denote the ambient space of noncommutative polynomials intended by the source, and let $K\subseteq V$ denote its intended cone. The supplied record does not unambiguously specify this space or define this cone; the coefficient field, generators, involution, and any restriction to hermitian polynomials require confirmation. For such a specified pair $(V,K)$, define its dagger closure by \[ K^\dagger:=\left\{f\in V:\ \exists g\in V\ \forall\varepsilon\in{\mathbb{R}}_{>0},\quad f+\varepsilon g\in K\right\}. \] Here a single polynomial $g$, which may depend on $f$, must work for every positive real $\varepsilon$.

The proposed question is whether \[ K=K^\dagger. \] Equivalently, the substantive inclusion asks whether \[ \forall f\in V,\qquad \left(\exists g\in V\ \forall\varepsilon\in{\mathbb{R}}_{>0},\quad f+\varepsilon g\in K\right) \Longrightarrow f\in K. \]

Unresolved source qualification. The clean statement calls $K$ the cone of trace-positive noncommutative polynomials. However, the extracted theorem distinguishes membership in the closure of $K$, for the finest locally convex topology on the free algebra, from membership in $K$, and identifies that closure with a trace-positivity condition. The supplied dated assessment also says that $K$ is not closed. These descriptions do not provide a consistent, complete definition of the intended $K$, and they must not be silently identified.

Specifically, the extracted theorem attributes a closure characterization to the condition \[ \tau(f(X))\geq 0 \quad\text{for every finite von Neumann algebra }(F,\tau) \text{ and every self-adjoint tuple }X\text{ in }F. \] The exact trace conventions, polynomial conventions, and qualifications attached to the excerpt's missing footnote are not supplied. The adjacent discussion mentions sums of commutators and hermitian squares with denominators, but its corrupted example and truncated theorem condition do not define $K$. Thus the displayed dagger-closure question is a conditional formulation in terms of the intended cone; a fully specified mathematical statement requires recovery of that cone's definition.

Short English statement

The question asks whether every polynomial that can be moved into the intended cone $K$ by every positive multiple of one fixed polynomial already belongs to $K$. The supplied record leaves the definition of $K$ unresolved and uses trace positivity inconsistently with its closure discussion. Its open-problem label is supplied curation, not an independently verified status.

Sources

• Local UnsolvedMath registry: data/unsolvedmath/problems.json, permanent ID $30005463$, source problem code catalogue entry, title "Dagger Closure of Trace-Positive Noncommutative Polynomials." The supplied record gives proposed year 2023 and names no individual proposer.
• Supplied primary-source citation: Real Algebraic Geometry with a View toward Koopman Operator Methods (2023), Oberwolfach Reports, pp. 741--811, DOI 10.4171/owr/2023/14. https://doi.org/10.4171/owr/2023/14. The extracted passage includes a page marker for p. 787.
• Supplied literature source: "Klep--Scheiderer--Volcic, tracial moment problem." https://arxiv.org/abs/2205.05959.
• Supplied literature source: "OWR report." https://doi.org/10.4171/owr/2023/14.
• Literature assessment dated exactly 2026-08-22: the record labels the problem open and reports closure characterizations, nonclosedness of $K$, and an explicitly open dagger-closure equality. This is supplied dated curation derived from the OWR material, not independently verified here; its status and cited claims require independent checking.
• The registry assigns statement_status: corrected_verified and reports that the official Oberwolfach report was checked directly. This is a supplied verification claim, not verification performed for this draft, and it does not resolve the missing definition in the supplied evidence.