{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TPOL7X2D3KJLVLXM7KJF4ZR4RX","short_pith_number":"pith:TPOL7X2D","canonical_record":{"source":{"id":"1901.07847","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-01-23T12:24:39Z","cross_cats_sorted":[],"title_canon_sha256":"182a5141c9bf73dacba76df1bbe97a67b347b4501784d96d407d85426ec1f36a","abstract_canon_sha256":"519d53d6419588a1c5b72cead42c0e9ff35bf71edd5a867be9769bbf59d22b80"},"schema_version":"1.0"},"canonical_sha256":"9bdcbfdf43da92baaeecfa925e663c8dca98d1b2b38b06ac3972848e1ef11cdc","source":{"kind":"arxiv","id":"1901.07847","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.07847","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"arxiv_version","alias_value":"1901.07847v1","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.07847","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"pith_short_12","alias_value":"TPOL7X2D3KJL","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TPOL7X2D3KJLVLXM","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TPOL7X2D","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TPOL7X2D3KJLVLXM7KJF4ZR4RX","target":"record","payload":{"canonical_record":{"source":{"id":"1901.07847","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-01-23T12:24:39Z","cross_cats_sorted":[],"title_canon_sha256":"182a5141c9bf73dacba76df1bbe97a67b347b4501784d96d407d85426ec1f36a","abstract_canon_sha256":"519d53d6419588a1c5b72cead42c0e9ff35bf71edd5a867be9769bbf59d22b80"},"schema_version":"1.0"},"canonical_sha256":"9bdcbfdf43da92baaeecfa925e663c8dca98d1b2b38b06ac3972848e1ef11cdc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:39.618023Z","signature_b64":"K6xAaoTJHxevYOEq49GWAebAFR24Jumdv1wBkjgUVYxZyudIo4Ub1KYWboXgzRTwY0+FZysFyFIZiKxCehm1Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9bdcbfdf43da92baaeecfa925e663c8dca98d1b2b38b06ac3972848e1ef11cdc","last_reissued_at":"2026-05-17T23:55:39.617650Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:39.617650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.07847","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-17T23:55:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eW1676YBpkL3oS+vuE32u8bpsfc62dQ0n73KY2k7nHLLQ/rWub2q4+mPlsIcHKqNpicn89/Yu1rIrhNvJV3OBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T10:38:30.120877Z"},"content_sha256":"5cbdeb31c3634ae64b1236025243b5f098ed34a3277b87d3ba4f8d6cf6f78832","schema_version":"1.0","event_id":"sha256:5cbdeb31c3634ae64b1236025243b5f098ed34a3277b87d3ba4f8d6cf6f78832"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TPOL7X2D3KJLVLXM7KJF4ZR4RX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"State matrix recursion method and monomer--dimer problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Seungsang Oh","submitted_at":"2019-01-23T12:24:39Z","abstract_excerpt":"The exact enumeration of pure dimer coverings on the square lattice was obtained by Kasteleyn, Temperley and Fisher in 1961. In this paper, we consider the monomer-dimer covering problem (allowing multiple monomers) which is an outstanding unsolved problem in lattice statistics. We have developed the state matrix recursion method that allows us to compute the number of monomer--dimer coverings and to know the partition function with monomer and dimer activities. This method proceeds with a recurrence relation of so-called state matrices of large size. The enumeration problem of pure dimer cove"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.07847","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-17T23:55:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FOEKsJNQckdqhJ8SOCMAA6qfNy8YVzyj3zbpgEF4VqlHCA7y68tACV+jE5I/Iv3exWLJGlVes4kIY5eX2kMiBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T10:38:30.121364Z"},"content_sha256":"c44b84fa9c7dcd55f3cfd0177a53e793e149fbe360835316266798ef3c8a4a18","schema_version":"1.0","event_id":"sha256:c44b84fa9c7dcd55f3cfd0177a53e793e149fbe360835316266798ef3c8a4a18"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TPOL7X2D3KJLVLXM7KJF4ZR4RX/bundle.json","state_url":"https://pith.science/pith/TPOL7X2D3KJLVLXM7KJF4ZR4RX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TPOL7X2D3KJLVLXM7KJF4ZR4RX/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-21T10:38:30Z","links":{"resolver":"https://pith.science/pith/TPOL7X2D3KJLVLXM7KJF4ZR4RX","bundle":"https://pith.science/pith/TPOL7X2D3KJLVLXM7KJF4ZR4RX/bundle.json","state":"https://pith.science/pith/TPOL7X2D3KJLVLXM7KJF4ZR4RX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TPOL7X2D3KJLVLXM7KJF4ZR4RX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TPOL7X2D3KJLVLXM7KJF4ZR4RX","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":"519d53d6419588a1c5b72cead42c0e9ff35bf71edd5a867be9769bbf59d22b80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-01-23T12:24:39Z","title_canon_sha256":"182a5141c9bf73dacba76df1bbe97a67b347b4501784d96d407d85426ec1f36a"},"schema_version":"1.0","source":{"id":"1901.07847","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.07847","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"arxiv_version","alias_value":"1901.07847v1","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.07847","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"pith_short_12","alias_value":"TPOL7X2D3KJL","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TPOL7X2D3KJLVLXM","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TPOL7X2D","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:c44b84fa9c7dcd55f3cfd0177a53e793e149fbe360835316266798ef3c8a4a18","target":"graph","created_at":"2026-05-17T23:55:39Z","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":"The exact enumeration of pure dimer coverings on the square lattice was obtained by Kasteleyn, Temperley and Fisher in 1961. In this paper, we consider the monomer-dimer covering problem (allowing multiple monomers) which is an outstanding unsolved problem in lattice statistics. We have developed the state matrix recursion method that allows us to compute the number of monomer--dimer coverings and to know the partition function with monomer and dimer activities. This method proceeds with a recurrence relation of so-called state matrices of large size. The enumeration problem of pure dimer cove","authors_text":"Seungsang Oh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-01-23T12:24:39Z","title":"State matrix recursion method and monomer--dimer problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.07847","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:5cbdeb31c3634ae64b1236025243b5f098ed34a3277b87d3ba4f8d6cf6f78832","target":"record","created_at":"2026-05-17T23:55:39Z","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":"519d53d6419588a1c5b72cead42c0e9ff35bf71edd5a867be9769bbf59d22b80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-01-23T12:24:39Z","title_canon_sha256":"182a5141c9bf73dacba76df1bbe97a67b347b4501784d96d407d85426ec1f36a"},"schema_version":"1.0","source":{"id":"1901.07847","kind":"arxiv","version":1}},"canonical_sha256":"9bdcbfdf43da92baaeecfa925e663c8dca98d1b2b38b06ac3972848e1ef11cdc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9bdcbfdf43da92baaeecfa925e663c8dca98d1b2b38b06ac3972848e1ef11cdc","first_computed_at":"2026-05-17T23:55:39.617650Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:39.617650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"K6xAaoTJHxevYOEq49GWAebAFR24Jumdv1wBkjgUVYxZyudIo4Ub1KYWboXgzRTwY0+FZysFyFIZiKxCehm1Bw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:39.618023Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.07847","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5cbdeb31c3634ae64b1236025243b5f098ed34a3277b87d3ba4f8d6cf6f78832","sha256:c44b84fa9c7dcd55f3cfd0177a53e793e149fbe360835316266798ef3c8a4a18"],"state_sha256":"7d14f33463e5304844b9b90554da28e9306187fe3194e05f13ec693aaa767ef9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R7WZO29bjkIlK7OkAC+kUCIMr9u6VomozCEh0lo5KsX9QL1NCpB1GemSE5tk2InLAveOqyAw4yqPm/5a6yiwDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T10:38:30.123595Z","bundle_sha256":"794151c3bcec70c8b1e125491d15c8bdd7521a865d3e77423aaad395fb6d09b3"}}