Katsumasa–Roff–Yoshinaga conjecture on Hausdorff continuity of magnitude
Fix a finite-dimensional real normed space whose finite similarity matrices are positive definite. For a nonempty finite subset , define .
Must whenever are nonempty finite sets and , without any uniform bound on ? Equivalently, is magnitude continuous on the nonempty finite subsets of equipped with Hausdorff distance?
- Result
- Proved(see note)
- Status
- Candidate (review pending)
- AI contribution
- AI co-developed
- Method
- Argument
- Field
- Metric geometry; magnitude of metric spaces
- Posed by
- Hirokazu Katsumasa, Emily Roff and Masahiko Yoshinaga, Conjecture 1.3 of "Is magnitude generically continuous for finite metric spaces?", arXiv:2501.08745v2 (2025)
- Year posed
- 2025
- Years open
- 1y
- Solved
- 2026-09-20
- Model
- GPT-6 Astra Pro; Claude Fable 5.1
- Vendor
- OpenAI; Anthropic
- Collaborators
- Mingchang Liu
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 16 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
Yes, with a quantitative bound: magnitude is Hausdorff-continuous at every nonempty finite subset of a finite-dimensional positive definite normed space, with a local Lipschitz-type estimate in the Hausdorff distance whose constants depend on the number of points, the dimension and the least eigenvalue of the similarity matrix, and with compact approximants allowed. The paper also obtains convergence of aggregated weights and a continuity criterion in L_1 by local order oscillation, and, in the other direction, a compact convex subset of L_1[0,1] whose finite subsets approach a singleton with magnitudes tending to 3/2, which refutes an implication stated in Kalisnik and Lesnik's preprint from the one-point property to singleton continuity.
What the AI did
The author and the AI models collaborated in developing and refining the proofs. The manuscript’s disclosure identifies the cut-deletion argument, order-oscillation estimates and Euclidean compact-limit calculation as parts of that collaboration. The models also assisted with checking arguments, comparing sources, reviewing the manuscript, and drafting and refining the exposition.
Verification
Checked here on 22 September 2026. Conjecture 1.3 was read in arXiv:2501.08745v2: for a finite-dimensional positive definite normed space U, X maps to |X| is continuous in the Hausdorff topology on finite subsets of U. Liu's Theorem 1.1 (Zenodo record 22866753, 20 September, 18 pages, read here) states exactly that class and more: for a nonempty compact X within Hausdorff distance r of a finite F, with r below an explicit threshold, -2m^2 r/lambda^2 <= Mag X - Mag F <= 2nm^3 r/lambda^2, where lambda is the least eigenvalue of F's similarity matrix; the title's "finite-dimensional subspaces of L_1" is the conjecture's class by Meckes's Corollary 3.5, which the paper cites. The argument (cut deletion, pinching, signed cluster aggregation) was not checked step by step here and no specialist has read it: a two-day-old manuscript on Zenodo, not on arXiv. Prior work is partial and is cited correctly: Kalisnik and Lesnik at skew finite subsets of l_1^N, So on cluster types, Yoshinaga on fixed multiplicity strata.
Sources
Submitted by SilentIbis759 on