{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2003:BJ65K3BSRHWLUYSFT75S5KYNP5","short_pith_number":"pith:BJ65K3BS","canonical_record":{"source":{"id":"math/0309135","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.CO","submitted_at":"2003-09-07T20:55:10Z","cross_cats_sorted":[],"title_canon_sha256":"7d8f2fc5b517c0d3e0e43428d597349aa56dab839272cea84cbf607d04d1ea0d","abstract_canon_sha256":"bdc0c50a4edf7b12f6c071826f135126ee362095050ec44d2274d9006dd9eff0"},"schema_version":"1.0"},"canonical_sha256":"0a7dd56c3289ecba62459ffb2eab0d7f640183c8840ebafca2822540a7d75164","source":{"kind":"arxiv","id":"math/0309135","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0309135","created_at":"2026-05-18T04:42:14Z"},{"alias_kind":"arxiv_version","alias_value":"math/0309135v2","created_at":"2026-05-18T04:42:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0309135","created_at":"2026-05-18T04:42:14Z"},{"alias_kind":"pith_short_12","alias_value":"BJ65K3BSRHWL","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_16","alias_value":"BJ65K3BSRHWLUYSF","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_8","alias_value":"BJ65K3BS","created_at":"2026-05-18T12:25:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2003:BJ65K3BSRHWLUYSFT75S5KYNP5","target":"record","payload":{"canonical_record":{"source":{"id":"math/0309135","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.CO","submitted_at":"2003-09-07T20:55:10Z","cross_cats_sorted":[],"title_canon_sha256":"7d8f2fc5b517c0d3e0e43428d597349aa56dab839272cea84cbf607d04d1ea0d","abstract_canon_sha256":"bdc0c50a4edf7b12f6c071826f135126ee362095050ec44d2274d9006dd9eff0"},"schema_version":"1.0"},"canonical_sha256":"0a7dd56c3289ecba62459ffb2eab0d7f640183c8840ebafca2822540a7d75164","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:42:14.078486Z","signature_b64":"AV2k7ZkI/uWyMImsh12THTiVcohvsy3OHjiHCD+FWUR2hjalhj1CxDn+0j7qtvOjfs/xijShs9myH0aLBh9NDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0a7dd56c3289ecba62459ffb2eab0d7f640183c8840ebafca2822540a7d75164","last_reissued_at":"2026-05-18T04:42:14.078090Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:42:14.078090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0309135","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-18T04:42:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MtxxRGJFtvGiDYPyksBP7Do9VOytF8R7v2HhPpIu1hUWG9FxAv9e6P4LGRBFZENqeIlovXrCMMzMMKHtHxl4Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T22:50:58.415575Z"},"content_sha256":"669054b44cf8c43c008a4e6197b1b5ef5e806a02f7d9e71d04b4c55b569dbf5a","schema_version":"1.0","event_id":"sha256:669054b44cf8c43c008a4e6197b1b5ef5e806a02f7d9e71d04b4c55b569dbf5a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2003:BJ65K3BSRHWLUYSFT75S5KYNP5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Aztec Diamonds and Baxter Permutations","license":"","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Hal Canary","submitted_at":"2003-09-07T20:55:10Z","abstract_excerpt":"We present a proof of a conjecture about the relationship between Baxter permutations and pairs of alternating sign matrices that are produced from domino tilings of Aztec diamonds. It is shown that if and only if a tiling corresponds to a pair of ASMs that are both permutation matrices, the larger permutation matrix corresponds to a Baxter permutation.\n  There has been a thriving literature on both pattern-avoiding permutations of various kinds and tilings of regions using dominos or rhombuses as tiles. However, there have not as of yet been many links between these two areas of enumerative c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0309135","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-18T04:42:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0l0XZ0HfGS/0fTA41Cr2tZhXYZRJinCBzBYnZSXDKCfifZQz8YMLnmOHvYks8GfmUwn7gnpEo9X9pZRDVTBDCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T22:50:58.415911Z"},"content_sha256":"f5835462100083038cc9ec4f5ec3fff295a6850aaea94ab819d297e8a9cff675","schema_version":"1.0","event_id":"sha256:f5835462100083038cc9ec4f5ec3fff295a6850aaea94ab819d297e8a9cff675"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BJ65K3BSRHWLUYSFT75S5KYNP5/bundle.json","state_url":"https://pith.science/pith/BJ65K3BSRHWLUYSFT75S5KYNP5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BJ65K3BSRHWLUYSFT75S5KYNP5/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-06-28T22:50:58Z","links":{"resolver":"https://pith.science/pith/BJ65K3BSRHWLUYSFT75S5KYNP5","bundle":"https://pith.science/pith/BJ65K3BSRHWLUYSFT75S5KYNP5/bundle.json","state":"https://pith.science/pith/BJ65K3BSRHWLUYSFT75S5KYNP5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BJ65K3BSRHWLUYSFT75S5KYNP5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2003:BJ65K3BSRHWLUYSFT75S5KYNP5","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":"bdc0c50a4edf7b12f6c071826f135126ee362095050ec44d2274d9006dd9eff0","cross_cats_sorted":[],"license":"","primary_cat":"math.CO","submitted_at":"2003-09-07T20:55:10Z","title_canon_sha256":"7d8f2fc5b517c0d3e0e43428d597349aa56dab839272cea84cbf607d04d1ea0d"},"schema_version":"1.0","source":{"id":"math/0309135","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0309135","created_at":"2026-05-18T04:42:14Z"},{"alias_kind":"arxiv_version","alias_value":"math/0309135v2","created_at":"2026-05-18T04:42:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0309135","created_at":"2026-05-18T04:42:14Z"},{"alias_kind":"pith_short_12","alias_value":"BJ65K3BSRHWL","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_16","alias_value":"BJ65K3BSRHWLUYSF","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_8","alias_value":"BJ65K3BS","created_at":"2026-05-18T12:25:51Z"}],"graph_snapshots":[{"event_id":"sha256:f5835462100083038cc9ec4f5ec3fff295a6850aaea94ab819d297e8a9cff675","target":"graph","created_at":"2026-05-18T04:42:14Z","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 present a proof of a conjecture about the relationship between Baxter permutations and pairs of alternating sign matrices that are produced from domino tilings of Aztec diamonds. It is shown that if and only if a tiling corresponds to a pair of ASMs that are both permutation matrices, the larger permutation matrix corresponds to a Baxter permutation.\n  There has been a thriving literature on both pattern-avoiding permutations of various kinds and tilings of regions using dominos or rhombuses as tiles. However, there have not as of yet been many links between these two areas of enumerative c","authors_text":"Hal Canary","cross_cats":[],"headline":"","license":"","primary_cat":"math.CO","submitted_at":"2003-09-07T20:55:10Z","title":"Aztec Diamonds and Baxter Permutations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0309135","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:669054b44cf8c43c008a4e6197b1b5ef5e806a02f7d9e71d04b4c55b569dbf5a","target":"record","created_at":"2026-05-18T04:42:14Z","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":"bdc0c50a4edf7b12f6c071826f135126ee362095050ec44d2274d9006dd9eff0","cross_cats_sorted":[],"license":"","primary_cat":"math.CO","submitted_at":"2003-09-07T20:55:10Z","title_canon_sha256":"7d8f2fc5b517c0d3e0e43428d597349aa56dab839272cea84cbf607d04d1ea0d"},"schema_version":"1.0","source":{"id":"math/0309135","kind":"arxiv","version":2}},"canonical_sha256":"0a7dd56c3289ecba62459ffb2eab0d7f640183c8840ebafca2822540a7d75164","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0a7dd56c3289ecba62459ffb2eab0d7f640183c8840ebafca2822540a7d75164","first_computed_at":"2026-05-18T04:42:14.078090Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:42:14.078090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AV2k7ZkI/uWyMImsh12THTiVcohvsy3OHjiHCD+FWUR2hjalhj1CxDn+0j7qtvOjfs/xijShs9myH0aLBh9NDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:42:14.078486Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0309135","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:669054b44cf8c43c008a4e6197b1b5ef5e806a02f7d9e71d04b4c55b569dbf5a","sha256:f5835462100083038cc9ec4f5ec3fff295a6850aaea94ab819d297e8a9cff675"],"state_sha256":"475b6d7eb279d258d6a0d046b21b341c3af74846003ba43969b2e6be3944b2a6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"woRf7lwJ8k3khRCtJJ9DdpyuT0WZiGVVo7e458RxFFcsXrc5W1T+u/foStxdvaaJtG2cUyYiQasxx7ldb5aDCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T22:50:58.417941Z","bundle_sha256":"ae3bb12c30850567b94914f1f942c10aafec5ffa08c61eb63e602185779ad0fd"}}