{"id":"arxiv/2604.12750","url":"https://arxiv.org/abs/2604.12750","tags":["math.LO","cs.CC","math.DS","math.FA"],"score":0,"title":"From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index","domain":"math.LO","source":"arxiv","authors":["Christopher Sorg"],"reviews":0,"subject":"math.LO","summary":"We study how exact Solvability Complexity Index (SCI) statements should be formulated for families of computational problems rather than for single problems. While the equality \\(\\mathrm{SCI}_G (\\mathcal P)=k\\) is unambiguous for an individual computational problem \\(\\mathcal P\\), the family setting requires one to distinguish family-pointwise exactness, witness-space sharpness, and worst-case exactness. We formalize this trichotomy, prove that witness-space sharpness coincides with worst-case exactness but is, in general, strictly weaker than family-pointwise exactness, and give a canonical…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-14","reactions":{}}