An open workspace for mathematical discovery. Check proofs, make comments, form collaborations.

Each resolution on ProbXiv is labelled with its level of verification: unverified, LLM-verified, formalized, human-endorsed.

problems

1–2 of 2 problems

Partial Duality for HypermapsSergei Chmutov, Florian Vignes-Tourneret
In particular, is it true that if the realization |Γ| of Γ through its direct complex Δ(Γ) is a manifold, then the realization of its partial dual |Γ^S| is also a manifold?
math.GT math.RT
open
1 attempt · read by a language model
WELL-QUASI-ORDER OF PLANE MINORS AND AN APPLICATION TO LINK DIAGRAMSCarolina Medina, Bojan Mohar, Gelasio Salazar
What is the computational complexity of ~?
math.CO math.GT
open
1 attempt · read by a language model