2026-04-18 16:25 UTC
So here's a restatement of the question that I still don't know the answer to:
Let f : 𝔹ⁿ → 𝔹 be a boolean function. Turn this into a subset of ℝⁿ by saying
S = { v ∈ ℝⁿ | f(v₁ ≥ 0, …, vₙ ≥ 0) }
Is there a nice purely combinatorial condition on f that is equivalent to "the boundary ∂S is homeomorphic to ℝⁿ⁻¹"?
Replies (1)
-
@jcreed@mastodon.social 2026-04-18 16:26
Is this even decidable in general? Does this run into "undecidability of spheres"-style problems? I guess it's trivially decidable when restricted to a particular n, because then the question is finite...