Published October 23, 2026 | Version v1

Title Convex quotients of covering-process orders

Authors/Creators

Description

Description A covering process grows a finite poset from a unique minimum by adding a new maximum of Hasse in-degree 1 or 2. Companion 32 characterises those posets by Hasse degrees, independently of a stored birth word. The present note asks what happens if, instead of adding a vertex, one identifies a nonempty subset to a point. The identification yields a leftover poset if and only if the subset is order-convex. Leftover Hasse degrees do not increase. The quotient remains covering if and only if the merged point still satisfies the covering bound. Two-element antichains and closed intervals are convex specializations; both overflow kinds inhabit on those specializations and on mixed convex sets. Adding a comparability between an incomparable pair keeps the ground set. Every covering poset of size at most 4 has only covering quotients and only covering added comparabilities. Overflow of merged out-degree, and of added-comparability out-degree, first occur at size 5; overflow of an already-born in-degree under added comparability first occurs at size 6; overflow of merged in-degree first occurs at size 7: all four bounds are sharp. Across the 170 unlabelled covering posets of size at most 7 there are 7,558 nonempty order-convex subsets, of which 6,285 are nontrivial, and 1,508 ordered incomparable pairs. None of these operations is a covering birth. No generation rule is constructed. Covering histories are finite posets of the mathematical type of finite causal sets. They are not identified with physical spacetime. Covering birth is not Rideout–Sorkin sequential growth. This note does not derive spacetime, a unique sequential growth law, or an interpolating continuum. It does not replace the parent programme manuscript, and it is not a new version of Companions 13–34.

Files

Convex quotients of covering-process orders.pdf

Files (216.5 kB)

Name Size
md5:2894cac0bb29e2b1467c54aafd667582
185.6 kB Preview Download
md5:9b9f3510eb10cf80d2aecd7c5d439183
30.9 kB Preview Download

Additional details