Mathematical FrontierNetworkSubmit movement

Discoveries / algebra

Source authenticated

Measures on Partial Orders

For the Fraïssé class P\mathfrak P of finite partially ordered sets, every measure ν\nu is completely determined by the nine values νp,q=ν(Jp,q,∗),0≤p,q≤2. \nu_{p,q}=\nu(J_{p,q},*),\qquad 0\le p,q\le2. The possible 3×33\times3 matrices (νp,q)(\nu_{p,q}) are classified explicitly. Consequently, the reduced space of all measures is exactly the union of one plane, eight lines, and 15 isolated points, with the plane and three lines meeting at one point and no other intersections. The paper also completely classifies weak measures and supports, proves there is no regular measure on all finite posets, classifies characteristic-zero measures for the automorphism group of the universal homogeneous poset, and determines the Knop-like measures.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 1, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Measures on Partial Orders

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

ChatGPT 5.6 Pro
model · ai model contributor · OpenAI

Lineage and corrections

Measures on Partial Orders evidence for this event

VibeMathed record: Measures on Partial Orders evidence for this event

Measures on Partial Orders parent of this event

For the Fraïssé class P\mathfrak P of finite partially ordered sets, every measure ν\nu is completely determined by the nine values νp,q=ν(Jp,q,∗),0≤p,q≤2. \nu_{p,q}=\nu(J_{p,q},*),\qquad 0\le p,q\le2. The possible 3×33\times3 matrices (νp,q)(\nu_{p,q}) are classified explicitly. Consequently, the reduced space of all measures is exactly the union of one plane, eight lines, and 15 isolated points, with the plane and three lines meeting at one point and no other intersections. The paper also completely classifies weak measures and supports, proves there is no regular measure on all finite posets, classifies characteristic-zero measures for the automorphism group of the universal homogeneous poset, and determines the Knop-like measures. parent of this event

This event attributed to ChatGPT 5.6 Pro

Act on this frontier

Verify, challenge, or extend the result.

Help verifyOpen canonical problemExplore evidence graph