{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:YK3F775C3N6YVCRBEH7QY4NHWJ","short_pith_number":"pith:YK3F775C","canonical_record":{"source":{"id":"math-ph/0503056","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math-ph","submitted_at":"2005-03-23T17:32:33Z","cross_cats_sorted":["math.MP"],"title_canon_sha256":"cbb737f36fae1da5a6a37cb98ce24785d31cb5f28c5cf8b866e980355d6e8f73","abstract_canon_sha256":"22faa5fb172aa5380699fecca768afb4719f8d9066ff9a34cc65c0bb07757a7f"},"schema_version":"1.0"},"canonical_sha256":"c2b65fffa2db7d8a8a2121ff0c71a7b260fa7ee017c3cfa54ee7739d7b73888c","source":{"kind":"arxiv","id":"math-ph/0503056","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math-ph/0503056","created_at":"2026-05-18T01:38:33Z"},{"alias_kind":"arxiv_version","alias_value":"math-ph/0503056v1","created_at":"2026-05-18T01:38:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math-ph/0503056","created_at":"2026-05-18T01:38:33Z"},{"alias_kind":"pith_short_12","alias_value":"YK3F775C3N6Y","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"YK3F775C3N6YVCRB","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"YK3F775C","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:YK3F775C3N6YVCRBEH7QY4NHWJ","target":"record","payload":{"canonical_record":{"source":{"id":"math-ph/0503056","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math-ph","submitted_at":"2005-03-23T17:32:33Z","cross_cats_sorted":["math.MP"],"title_canon_sha256":"cbb737f36fae1da5a6a37cb98ce24785d31cb5f28c5cf8b866e980355d6e8f73","abstract_canon_sha256":"22faa5fb172aa5380699fecca768afb4719f8d9066ff9a34cc65c0bb07757a7f"},"schema_version":"1.0"},"canonical_sha256":"c2b65fffa2db7d8a8a2121ff0c71a7b260fa7ee017c3cfa54ee7739d7b73888c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:38:33.223654Z","signature_b64":"7dSFnHdk1Um0rv8B0MNuVRbpN48R64lp7FUNT42a+byELsIy4Mr9gNjPWnRkYF8zW7tJlz+9BJZ32o+6hvHjCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c2b65fffa2db7d8a8a2121ff0c71a7b260fa7ee017c3cfa54ee7739d7b73888c","last_reissued_at":"2026-05-18T01:38:33.223002Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:38:33.223002Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math-ph/0503056","source_version":1,"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:38:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"34ct7Kcpvmvl+NKT0tGLsYkz/5KtJ/V+QUGB0Y3Ef//o2vu2FIEvaXbwrWU2TgQy2mUZAiYs+0xI3pM1jSLzCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:13:18.759572Z"},"content_sha256":"c81c589f673295be5be19cac8fda9631d25ba32da01574a0e1d174d8c1311190","schema_version":"1.0","event_id":"sha256:c81c589f673295be5be19cac8fda9631d25ba32da01574a0e1d174d8c1311190"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:YK3F775C3N6YVCRBEH7QY4NHWJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Ordering of Energy Levels in Heisenberg Models and Applications","license":"","headline":"","cross_cats":["math.MP"],"primary_cat":"math-ph","authors_text":"Bruno Nachtergaele, Shannon Starr","submitted_at":"2005-03-23T17:32:33Z","abstract_excerpt":"In a recent paper we conjectured that for ferromagnetic Heisenberg models the smallest eigenvalues in the invariant subspaces of fixed total spin are monotone decreasing as a function of the total spin and called this property ferromagnetic ordering of energy levels (FOEL). We have proved this conjecture for the Heisenberg model with arbitrary spins and coupling constants on a chain. In this paper we give a pedagogical introduction to this result and also discuss some extensions and implications. The latter include the property that the relaxation time of symmetric simple exclusion processes o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math-ph/0503056","kind":"arxiv","version":1},"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:38:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SM4rjW7xzXZd5fXBX5Z0YiaCsCh0aOwj6o6aV6x/4UF8NApsRpOR+4KrYm67nBpYBUTnb6/G7PEM4OkcDDdvCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:13:18.759999Z"},"content_sha256":"2ffadda41465a5b18a98e4fe9bfe1b39631ae719f5aa66b913c02f348343662e","schema_version":"1.0","event_id":"sha256:2ffadda41465a5b18a98e4fe9bfe1b39631ae719f5aa66b913c02f348343662e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YK3F775C3N6YVCRBEH7QY4NHWJ/bundle.json","state_url":"https://pith.science/pith/YK3F775C3N6YVCRBEH7QY4NHWJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YK3F775C3N6YVCRBEH7QY4NHWJ/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:13:18Z","links":{"resolver":"https://pith.science/pith/YK3F775C3N6YVCRBEH7QY4NHWJ","bundle":"https://pith.science/pith/YK3F775C3N6YVCRBEH7QY4NHWJ/bundle.json","state":"https://pith.science/pith/YK3F775C3N6YVCRBEH7QY4NHWJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YK3F775C3N6YVCRBEH7QY4NHWJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:YK3F775C3N6YVCRBEH7QY4NHWJ","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":"22faa5fb172aa5380699fecca768afb4719f8d9066ff9a34cc65c0bb07757a7f","cross_cats_sorted":["math.MP"],"license":"","primary_cat":"math-ph","submitted_at":"2005-03-23T17:32:33Z","title_canon_sha256":"cbb737f36fae1da5a6a37cb98ce24785d31cb5f28c5cf8b866e980355d6e8f73"},"schema_version":"1.0","source":{"id":"math-ph/0503056","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math-ph/0503056","created_at":"2026-05-18T01:38:33Z"},{"alias_kind":"arxiv_version","alias_value":"math-ph/0503056v1","created_at":"2026-05-18T01:38:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math-ph/0503056","created_at":"2026-05-18T01:38:33Z"},{"alias_kind":"pith_short_12","alias_value":"YK3F775C3N6Y","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"YK3F775C3N6YVCRB","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"YK3F775C","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:2ffadda41465a5b18a98e4fe9bfe1b39631ae719f5aa66b913c02f348343662e","target":"graph","created_at":"2026-05-18T01:38:33Z","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":"In a recent paper we conjectured that for ferromagnetic Heisenberg models the smallest eigenvalues in the invariant subspaces of fixed total spin are monotone decreasing as a function of the total spin and called this property ferromagnetic ordering of energy levels (FOEL). We have proved this conjecture for the Heisenberg model with arbitrary spins and coupling constants on a chain. In this paper we give a pedagogical introduction to this result and also discuss some extensions and implications. The latter include the property that the relaxation time of symmetric simple exclusion processes o","authors_text":"Bruno Nachtergaele, Shannon Starr","cross_cats":["math.MP"],"headline":"","license":"","primary_cat":"math-ph","submitted_at":"2005-03-23T17:32:33Z","title":"Ordering of Energy Levels in Heisenberg Models and Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math-ph/0503056","kind":"arxiv","version":1},"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:c81c589f673295be5be19cac8fda9631d25ba32da01574a0e1d174d8c1311190","target":"record","created_at":"2026-05-18T01:38:33Z","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":"22faa5fb172aa5380699fecca768afb4719f8d9066ff9a34cc65c0bb07757a7f","cross_cats_sorted":["math.MP"],"license":"","primary_cat":"math-ph","submitted_at":"2005-03-23T17:32:33Z","title_canon_sha256":"cbb737f36fae1da5a6a37cb98ce24785d31cb5f28c5cf8b866e980355d6e8f73"},"schema_version":"1.0","source":{"id":"math-ph/0503056","kind":"arxiv","version":1}},"canonical_sha256":"c2b65fffa2db7d8a8a2121ff0c71a7b260fa7ee017c3cfa54ee7739d7b73888c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c2b65fffa2db7d8a8a2121ff0c71a7b260fa7ee017c3cfa54ee7739d7b73888c","first_computed_at":"2026-05-18T01:38:33.223002Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:38:33.223002Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7dSFnHdk1Um0rv8B0MNuVRbpN48R64lp7FUNT42a+byELsIy4Mr9gNjPWnRkYF8zW7tJlz+9BJZ32o+6hvHjCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:38:33.223654Z","signed_message":"canonical_sha256_bytes"},"source_id":"math-ph/0503056","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c81c589f673295be5be19cac8fda9631d25ba32da01574a0e1d174d8c1311190","sha256:2ffadda41465a5b18a98e4fe9bfe1b39631ae719f5aa66b913c02f348343662e"],"state_sha256":"b65546f1da7cc8b435247ab4338d60ee465ee02b7d9790676a1f7f3c5c951aee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bK/hB/N1ktxg12l5YmzA1lSzsosPZxMNBeCD3AY1uAQynlBHN/xrlyydSCUMPmEDLkKU0d39pWzBYhpsEgG6Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T03:13:18.762238Z","bundle_sha256":"e3473c1b365eb32fc98f2f54889495a7af0eca51ed65a656d74fb7a6dfb888f5"}}