{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:1991:LBKKSD57LV6FVLFQSMQLX2NANM","short_pith_number":"pith:LBKKSD57","canonical_record":{"source":{"id":"math/9201305","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.CO","submitted_at":"1991-06-01T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"cb986e102cbe88395865c727c6cd0a087ecfb905abeeccae9ca2ce2e828f5d6b","abstract_canon_sha256":"e9f95f6f0e605dcb7db62fea3211b4485d19cc5014cdce21fe438df10a96c1c2"},"schema_version":"1.0"},"canonical_sha256":"5854a90fbf5d7c5aacb09320bbe9a06b258441e5b4f1774705c7929e78593924","source":{"kind":"arxiv","id":"math/9201305","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/9201305","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"arxiv_version","alias_value":"math/9201305v1","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/9201305","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"pith_short_12","alias_value":"LBKKSD57LV6F","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"pith_short_16","alias_value":"LBKKSD57LV6FVLFQ","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"pith_short_8","alias_value":"LBKKSD57","created_at":"2026-07-04T15:08:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:1991:LBKKSD57LV6FVLFQSMQLX2NANM","target":"record","payload":{"canonical_record":{"source":{"id":"math/9201305","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.CO","submitted_at":"1991-06-01T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"cb986e102cbe88395865c727c6cd0a087ecfb905abeeccae9ca2ce2e828f5d6b","abstract_canon_sha256":"e9f95f6f0e605dcb7db62fea3211b4485d19cc5014cdce21fe438df10a96c1c2"},"schema_version":"1.0"},"canonical_sha256":"5854a90fbf5d7c5aacb09320bbe9a06b258441e5b4f1774705c7929e78593924","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T15:08:55.244465Z","signature_b64":"PikBMeYT39yBQ4zURc5AfaIRq49f3lZIm6n68Gxth5fxt8/O4CuYS/jzwouha5JAlbKXGIPPnBf+faHxpWVUBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5854a90fbf5d7c5aacb09320bbe9a06b258441e5b4f1774705c7929e78593924","last_reissued_at":"2026-07-04T15:08:55.244086Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T15:08:55.244086Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/9201305","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-07-04T15:08:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aCAYAO54epBtjCVwAi3jB9HesWyI+eaoRqiLf6fEEAa7eOg0ncLWcDqx831vbqmY83Gn1SiHFsQWTNmIZH9iDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T15:39:13.371288Z"},"content_sha256":"db3e48da0cbdaeb68391c52f79a222a0745322a232b74b457b91f7f528c298c8","schema_version":"1.0","event_id":"sha256:db3e48da0cbdaeb68391c52f79a222a0745322a232b74b457b91f7f528c298c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:1991:LBKKSD57LV6FVLFQSMQLX2NANM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Alternating sign matrices and domino tilings","license":"","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Greg Kuperberg (UC Berkeley), James Propp (MIT), Michael Larsen (U Penn), Noam Elkies (Harvard)","submitted_at":"1991-06-01T00:00:00Z","abstract_excerpt":"We introduce a family of planar regions, called Aztec diamonds, and study the ways in which these regions can be tiled by dominoes. Our main result is a generating function that not only gives the number of domino tilings of the Aztec diamond of order $n$ but also provides information about the orientation of the dominoes (vertical versus horizontal) and the accessibility of one tiling from another by means of local modifications. Several proofs of the formula are given. The problem turns out to have connections with the alternating sign matrices of Mills, Robbins, and Rumsey, as well as the s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/9201305","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/math/9201305/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T15:08:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S2c8HY59HpV9N491+NWhUhQBx97+rBB4UMGoqttqYKDjBsoNIhIMSaftbBTdHko7CCc8sj9605qf+/BkOGkzAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T15:39:13.372223Z"},"content_sha256":"9774d68b21bfef097f7de31e687e5a18a0401a8d807cf45be1cf281dc0f9d265","schema_version":"1.0","event_id":"sha256:9774d68b21bfef097f7de31e687e5a18a0401a8d807cf45be1cf281dc0f9d265"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LBKKSD57LV6FVLFQSMQLX2NANM/bundle.json","state_url":"https://pith.science/pith/LBKKSD57LV6FVLFQSMQLX2NANM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LBKKSD57LV6FVLFQSMQLX2NANM/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-08-09T15:39:13Z","links":{"resolver":"https://pith.science/pith/LBKKSD57LV6FVLFQSMQLX2NANM","bundle":"https://pith.science/pith/LBKKSD57LV6FVLFQSMQLX2NANM/bundle.json","state":"https://pith.science/pith/LBKKSD57LV6FVLFQSMQLX2NANM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LBKKSD57LV6FVLFQSMQLX2NANM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1991:LBKKSD57LV6FVLFQSMQLX2NANM","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":"e9f95f6f0e605dcb7db62fea3211b4485d19cc5014cdce21fe438df10a96c1c2","cross_cats_sorted":[],"license":"","primary_cat":"math.CO","submitted_at":"1991-06-01T00:00:00Z","title_canon_sha256":"cb986e102cbe88395865c727c6cd0a087ecfb905abeeccae9ca2ce2e828f5d6b"},"schema_version":"1.0","source":{"id":"math/9201305","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/9201305","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"arxiv_version","alias_value":"math/9201305v1","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/9201305","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"pith_short_12","alias_value":"LBKKSD57LV6F","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"pith_short_16","alias_value":"LBKKSD57LV6FVLFQ","created_at":"2026-07-04T15:08:55Z"},{"alias_kind":"pith_short_8","alias_value":"LBKKSD57","created_at":"2026-07-04T15:08:55Z"}],"graph_snapshots":[{"event_id":"sha256:9774d68b21bfef097f7de31e687e5a18a0401a8d807cf45be1cf281dc0f9d265","target":"graph","created_at":"2026-07-04T15:08: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/math/9201305/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce a family of planar regions, called Aztec diamonds, and study the ways in which these regions can be tiled by dominoes. Our main result is a generating function that not only gives the number of domino tilings of the Aztec diamond of order $n$ but also provides information about the orientation of the dominoes (vertical versus horizontal) and the accessibility of one tiling from another by means of local modifications. Several proofs of the formula are given. The problem turns out to have connections with the alternating sign matrices of Mills, Robbins, and Rumsey, as well as the s","authors_text":"Greg Kuperberg (UC Berkeley), James Propp (MIT), Michael Larsen (U Penn), Noam Elkies (Harvard)","cross_cats":[],"headline":"","license":"","primary_cat":"math.CO","submitted_at":"1991-06-01T00:00:00Z","title":"Alternating sign matrices and domino tilings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/9201305","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:db3e48da0cbdaeb68391c52f79a222a0745322a232b74b457b91f7f528c298c8","target":"record","created_at":"2026-07-04T15:08: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":"e9f95f6f0e605dcb7db62fea3211b4485d19cc5014cdce21fe438df10a96c1c2","cross_cats_sorted":[],"license":"","primary_cat":"math.CO","submitted_at":"1991-06-01T00:00:00Z","title_canon_sha256":"cb986e102cbe88395865c727c6cd0a087ecfb905abeeccae9ca2ce2e828f5d6b"},"schema_version":"1.0","source":{"id":"math/9201305","kind":"arxiv","version":1}},"canonical_sha256":"5854a90fbf5d7c5aacb09320bbe9a06b258441e5b4f1774705c7929e78593924","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5854a90fbf5d7c5aacb09320bbe9a06b258441e5b4f1774705c7929e78593924","first_computed_at":"2026-07-04T15:08:55.244086Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T15:08:55.244086Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PikBMeYT39yBQ4zURc5AfaIRq49f3lZIm6n68Gxth5fxt8/O4CuYS/jzwouha5JAlbKXGIPPnBf+faHxpWVUBA==","signature_status":"signed_v1","signed_at":"2026-07-04T15:08:55.244465Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/9201305","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:db3e48da0cbdaeb68391c52f79a222a0745322a232b74b457b91f7f528c298c8","sha256:9774d68b21bfef097f7de31e687e5a18a0401a8d807cf45be1cf281dc0f9d265"],"state_sha256":"ded94eb022a67075ced72b0a7b66231adfd43064a4918c4be9d184e8ff4d22cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"12fUITaIKdNywPFB5DGmKW4szOOECXgf9RYkaPnNQ7Xzew0cE+IxualCX5w8Lf4p6hNujnrbtFsLtT0PKMCeBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T15:39:13.377801Z","bundle_sha256":"707e838d34f50e904130d7b0d2f81914900543eb2d6e3d20fa1be4b7a3b880ad"}}