{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KUJHT3PMI2C325OXIQ4IY2QPFB","short_pith_number":"pith:KUJHT3PM","canonical_record":{"source":{"id":"1403.0666","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-03-04T02:45:45Z","cross_cats_sorted":[],"title_canon_sha256":"28fdc5117f30984cfb8d99c0ef17435f9f66b54d32ef10e872ad23cf7df5ec0d","abstract_canon_sha256":"5aabf48638b00928e1d37aa93683a0649d19eda82ffd6edf7dedbb0c1fe72ef7"},"schema_version":"1.0"},"canonical_sha256":"551279edec4685bd75d744388c6a0f2862f1eb3da2aeed08fa4478e2b77657f9","source":{"kind":"arxiv","id":"1403.0666","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.0666","created_at":"2026-05-18T01:39:55Z"},{"alias_kind":"arxiv_version","alias_value":"1403.0666v2","created_at":"2026-05-18T01:39:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0666","created_at":"2026-05-18T01:39:55Z"},{"alias_kind":"pith_short_12","alias_value":"KUJHT3PMI2C3","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KUJHT3PMI2C325OX","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KUJHT3PM","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KUJHT3PMI2C325OXIQ4IY2QPFB","target":"record","payload":{"canonical_record":{"source":{"id":"1403.0666","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-03-04T02:45:45Z","cross_cats_sorted":[],"title_canon_sha256":"28fdc5117f30984cfb8d99c0ef17435f9f66b54d32ef10e872ad23cf7df5ec0d","abstract_canon_sha256":"5aabf48638b00928e1d37aa93683a0649d19eda82ffd6edf7dedbb0c1fe72ef7"},"schema_version":"1.0"},"canonical_sha256":"551279edec4685bd75d744388c6a0f2862f1eb3da2aeed08fa4478e2b77657f9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:39:55.331968Z","signature_b64":"LK3M0hMbQT8tK2tS5YTh/5VC82c9bHpKGB0VuYa+SMSVX+HQLYtuuVJEG1JS9eNyflsVj0uzjpoJt6L33v9+Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"551279edec4685bd75d744388c6a0f2862f1eb3da2aeed08fa4478e2b77657f9","last_reissued_at":"2026-05-18T01:39:55.331428Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:39:55.331428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.0666","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:39:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qz7oJNlKjTnai/0S8r/4nuWJ3kcFuBoNS6eVbvzSfBAWME2umVpZMWenCvTB84iu+8Cf6gs3evY5KlXGq+oIAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:25:30.359575Z"},"content_sha256":"f026ffc6a357c376fadeb0a34c78583e2cc86b0f579f83dd20887e620cc6c642","schema_version":"1.0","event_id":"sha256:f026ffc6a357c376fadeb0a34c78583e2cc86b0f579f83dd20887e620cc6c642"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KUJHT3PMI2C325OXIQ4IY2QPFB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Factoring the characteristic polynomial of a lattice","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Bruce E. Sagan (Department of Mathematics, Joshua Hallam, Michigan State University)","submitted_at":"2014-03-04T02:45:45Z","abstract_excerpt":"We introduce a new method for showing that the roots of the characteristic polynomial of certain finite lattices are all nonnegative integers. This method is based on the notion of a quotient of a poset which will be developed to explain this factorization. Our main theorem will give two simple conditions under which the characteristic polynomial factors with nonnegative integer roots. We will see that Stanley's Supersolvability Theorem is a corollary of this result. Additionally, we will prove a theorem which gives three conditions equivalent to factorization. To our knowledge, all other theo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0666","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:39:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b7LsQy0Q9aho7DTs2AQCvb5xeliRrpfk2mmCHmWue1shZbA46dmrvvwI7bYKRUy911Nuw6inV5NpyF95wkxYAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:25:30.359952Z"},"content_sha256":"6c89505d0cc94eacd514ca04b74fb1266e4cb3d00e63614f2481543cec5c02f8","schema_version":"1.0","event_id":"sha256:6c89505d0cc94eacd514ca04b74fb1266e4cb3d00e63614f2481543cec5c02f8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KUJHT3PMI2C325OXIQ4IY2QPFB/bundle.json","state_url":"https://pith.science/pith/KUJHT3PMI2C325OXIQ4IY2QPFB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KUJHT3PMI2C325OXIQ4IY2QPFB/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T03:25:30Z","links":{"resolver":"https://pith.science/pith/KUJHT3PMI2C325OXIQ4IY2QPFB","bundle":"https://pith.science/pith/KUJHT3PMI2C325OXIQ4IY2QPFB/bundle.json","state":"https://pith.science/pith/KUJHT3PMI2C325OXIQ4IY2QPFB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KUJHT3PMI2C325OXIQ4IY2QPFB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KUJHT3PMI2C325OXIQ4IY2QPFB","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5aabf48638b00928e1d37aa93683a0649d19eda82ffd6edf7dedbb0c1fe72ef7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-03-04T02:45:45Z","title_canon_sha256":"28fdc5117f30984cfb8d99c0ef17435f9f66b54d32ef10e872ad23cf7df5ec0d"},"schema_version":"1.0","source":{"id":"1403.0666","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.0666","created_at":"2026-05-18T01:39:55Z"},{"alias_kind":"arxiv_version","alias_value":"1403.0666v2","created_at":"2026-05-18T01:39:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0666","created_at":"2026-05-18T01:39:55Z"},{"alias_kind":"pith_short_12","alias_value":"KUJHT3PMI2C3","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KUJHT3PMI2C325OX","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KUJHT3PM","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:6c89505d0cc94eacd514ca04b74fb1266e4cb3d00e63614f2481543cec5c02f8","target":"graph","created_at":"2026-05-18T01:39:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We introduce a new method for showing that the roots of the characteristic polynomial of certain finite lattices are all nonnegative integers. This method is based on the notion of a quotient of a poset which will be developed to explain this factorization. Our main theorem will give two simple conditions under which the characteristic polynomial factors with nonnegative integer roots. We will see that Stanley's Supersolvability Theorem is a corollary of this result. Additionally, we will prove a theorem which gives three conditions equivalent to factorization. To our knowledge, all other theo","authors_text":"Bruce E. Sagan (Department of Mathematics, Joshua Hallam, Michigan State University)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-03-04T02:45:45Z","title":"Factoring the characteristic polynomial of a lattice"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0666","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f026ffc6a357c376fadeb0a34c78583e2cc86b0f579f83dd20887e620cc6c642","target":"record","created_at":"2026-05-18T01:39:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5aabf48638b00928e1d37aa93683a0649d19eda82ffd6edf7dedbb0c1fe72ef7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-03-04T02:45:45Z","title_canon_sha256":"28fdc5117f30984cfb8d99c0ef17435f9f66b54d32ef10e872ad23cf7df5ec0d"},"schema_version":"1.0","source":{"id":"1403.0666","kind":"arxiv","version":2}},"canonical_sha256":"551279edec4685bd75d744388c6a0f2862f1eb3da2aeed08fa4478e2b77657f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"551279edec4685bd75d744388c6a0f2862f1eb3da2aeed08fa4478e2b77657f9","first_computed_at":"2026-05-18T01:39:55.331428Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:39:55.331428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LK3M0hMbQT8tK2tS5YTh/5VC82c9bHpKGB0VuYa+SMSVX+HQLYtuuVJEG1JS9eNyflsVj0uzjpoJt6L33v9+Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:39:55.331968Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.0666","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f026ffc6a357c376fadeb0a34c78583e2cc86b0f579f83dd20887e620cc6c642","sha256:6c89505d0cc94eacd514ca04b74fb1266e4cb3d00e63614f2481543cec5c02f8"],"state_sha256":"21df1bc26f58d4c13b580e4105d9d663ba9d1eed097dadd62ed9cb90aeb86549"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6ulJToTnjI+ZlrtYyxh1sbwQKiAgS+rZOpqZr6bmn2fPKSh5iCBmldGD4s5Qd5MkXVCZN3NifHODxib0//bhCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T03:25:30.362036Z","bundle_sha256":"77afbf91045fa8ae5f94c554befc380945c51352680e657d72e5230270567618"}}