adjacent_pair: ap-0827f8c53f

The adjacent possible as rows: pairs of things the graph holds that nobody has asked about yet (Possible-style). novelty is a text proxy for #177 pair-novelty.

Data license: Space charter; records cite primary sources · Data source: TeamScience Space repository

This data as json

id a_kind a_ref a_label b_kind b_ref b_label bridge distance novelty evidence status asked_by created_ts signal score why prompt reading
ap-0827f8c53f problem se-mo-51680 Amenability of groups in terms of a perturbation condition. Let $G$ be a countable group and $\lambda \colon G \to U(\ell^2 G)$ its left-regular representation. Suppose that there exists a constant $C>0$ such that for all $T \in B(\ell^2 G)$ $$\inf \lbrace\|T-S\| \mid S \in \lambda(G)' \rbrace \leq method m-sat-smt-solving SAT/SMT solving   adjacent-field novel 0 ingested paper titles mention both sides (text proxy for #177 pair-novelty) ยท withdrawn: v0.1 random draw superseded by combinability v0.2 (drawn only for a named signal) withdrawn   2026-09-02T18:02:06Z          

Links from other tables