{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:JVKCOBGP32EMC3J5MCKEYPKIID","short_pith_number":"pith:JVKCOBGP","canonical_record":{"source":{"id":"1411.7442","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-11-27T02:32:12Z","cross_cats_sorted":["cond-mat.stat-mech"],"title_canon_sha256":"d25b75e455f6173c9318580bc4b8d3a68403a91958080112a1c53d93201c5244","abstract_canon_sha256":"bb7fb07ef643fa4fa7288901f8c532f04f0911953bdb17ef3e5b6da01bd7f8dc"},"schema_version":"1.0"},"canonical_sha256":"4d542704cfde88c16d3d60944c3d4840c2b50eabf44f7b780985ef0b2639c10c","source":{"kind":"arxiv","id":"1411.7442","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.7442","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"arxiv_version","alias_value":"1411.7442v1","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.7442","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"pith_short_12","alias_value":"JVKCOBGP32EM","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JVKCOBGP32EMC3J5","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JVKCOBGP","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:JVKCOBGP32EMC3J5MCKEYPKIID","target":"record","payload":{"canonical_record":{"source":{"id":"1411.7442","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-11-27T02:32:12Z","cross_cats_sorted":["cond-mat.stat-mech"],"title_canon_sha256":"d25b75e455f6173c9318580bc4b8d3a68403a91958080112a1c53d93201c5244","abstract_canon_sha256":"bb7fb07ef643fa4fa7288901f8c532f04f0911953bdb17ef3e5b6da01bd7f8dc"},"schema_version":"1.0"},"canonical_sha256":"4d542704cfde88c16d3d60944c3d4840c2b50eabf44f7b780985ef0b2639c10c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:32:37.996689Z","signature_b64":"S8R6Ieq9U6Injj4tN64Bmozj5auE5/+Pbs5UBasgcdIhLhTzzBcgYjRNXowmsGPcMOlSpQA2vJfRA4Wd55U5DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d542704cfde88c16d3d60944c3d4840c2b50eabf44f7b780985ef0b2639c10c","last_reissued_at":"2026-05-18T02:32:37.996323Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:32:37.996323Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.7442","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-18T02:32:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ue6IUIc6+1hBA8MhFRLxXMOCxNdJjPGGHJ7f8kLr4ZHKsoztrLHpUQfqW3/7a1fX1pDY2un1iI8Bzrlw8tPHAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:52:23.761980Z"},"content_sha256":"80bc83251f6656aafbc17e1c302381239561fe1b1f62d0ffc920815ffc30d9a3","schema_version":"1.0","event_id":"sha256:80bc83251f6656aafbc17e1c302381239561fe1b1f62d0ffc920815ffc30d9a3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:JVKCOBGP32EMC3J5MCKEYPKIID","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Upper bounds on the growth rates of hard squares and related models via corner transfer matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.stat-mech"],"primary_cat":"math.CO","authors_text":"Andrew Rechnitzer, Yao-ban Chan","submitted_at":"2014-11-27T02:32:12Z","abstract_excerpt":"We study the growth rate of the hard squares lattice gas, equivalent to the number of independent sets on the square lattice, and two related models - non-attacking kings and read-write isolated memory. We use an assortment of techniques from combinatorics, statistical mechanics and linear algebra to prove upper bounds on these growth rates. We start from Calkin and Wilf's transfer matrix eigenvalue bound, then bound that with the Collatz-Wielandt formula from linear algebra. To obtain an approximate eigenvector, we use an ansatz from Baxter's corner transfer matrix formalism, optimised with N"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.7442","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-18T02:32:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DJrV+xk4f6bh+Sm+7CxtHmKq+FsDwq7ZrAgHLjfVCUwCm5SweD/o3uogz/7MWY98RXRt0YhgXHO8HFDAbtA4BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:52:23.762745Z"},"content_sha256":"88f7a41e084dfa7b4746057d323216623ee337679658a4659a8cc9ce222e51ff","schema_version":"1.0","event_id":"sha256:88f7a41e084dfa7b4746057d323216623ee337679658a4659a8cc9ce222e51ff"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JVKCOBGP32EMC3J5MCKEYPKIID/bundle.json","state_url":"https://pith.science/pith/JVKCOBGP32EMC3J5MCKEYPKIID/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JVKCOBGP32EMC3J5MCKEYPKIID/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-09T06:52:23Z","links":{"resolver":"https://pith.science/pith/JVKCOBGP32EMC3J5MCKEYPKIID","bundle":"https://pith.science/pith/JVKCOBGP32EMC3J5MCKEYPKIID/bundle.json","state":"https://pith.science/pith/JVKCOBGP32EMC3J5MCKEYPKIID/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JVKCOBGP32EMC3J5MCKEYPKIID/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JVKCOBGP32EMC3J5MCKEYPKIID","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":"bb7fb07ef643fa4fa7288901f8c532f04f0911953bdb17ef3e5b6da01bd7f8dc","cross_cats_sorted":["cond-mat.stat-mech"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-11-27T02:32:12Z","title_canon_sha256":"d25b75e455f6173c9318580bc4b8d3a68403a91958080112a1c53d93201c5244"},"schema_version":"1.0","source":{"id":"1411.7442","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.7442","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"arxiv_version","alias_value":"1411.7442v1","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.7442","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"pith_short_12","alias_value":"JVKCOBGP32EM","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JVKCOBGP32EMC3J5","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JVKCOBGP","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:88f7a41e084dfa7b4746057d323216623ee337679658a4659a8cc9ce222e51ff","target":"graph","created_at":"2026-05-18T02:32:37Z","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 study the growth rate of the hard squares lattice gas, equivalent to the number of independent sets on the square lattice, and two related models - non-attacking kings and read-write isolated memory. We use an assortment of techniques from combinatorics, statistical mechanics and linear algebra to prove upper bounds on these growth rates. We start from Calkin and Wilf's transfer matrix eigenvalue bound, then bound that with the Collatz-Wielandt formula from linear algebra. To obtain an approximate eigenvector, we use an ansatz from Baxter's corner transfer matrix formalism, optimised with N","authors_text":"Andrew Rechnitzer, Yao-ban Chan","cross_cats":["cond-mat.stat-mech"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-11-27T02:32:12Z","title":"Upper bounds on the growth rates of hard squares and related models via corner transfer matrices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.7442","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:80bc83251f6656aafbc17e1c302381239561fe1b1f62d0ffc920815ffc30d9a3","target":"record","created_at":"2026-05-18T02:32:37Z","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":"bb7fb07ef643fa4fa7288901f8c532f04f0911953bdb17ef3e5b6da01bd7f8dc","cross_cats_sorted":["cond-mat.stat-mech"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-11-27T02:32:12Z","title_canon_sha256":"d25b75e455f6173c9318580bc4b8d3a68403a91958080112a1c53d93201c5244"},"schema_version":"1.0","source":{"id":"1411.7442","kind":"arxiv","version":1}},"canonical_sha256":"4d542704cfde88c16d3d60944c3d4840c2b50eabf44f7b780985ef0b2639c10c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d542704cfde88c16d3d60944c3d4840c2b50eabf44f7b780985ef0b2639c10c","first_computed_at":"2026-05-18T02:32:37.996323Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:32:37.996323Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S8R6Ieq9U6Injj4tN64Bmozj5auE5/+Pbs5UBasgcdIhLhTzzBcgYjRNXowmsGPcMOlSpQA2vJfRA4Wd55U5DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:32:37.996689Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.7442","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:80bc83251f6656aafbc17e1c302381239561fe1b1f62d0ffc920815ffc30d9a3","sha256:88f7a41e084dfa7b4746057d323216623ee337679658a4659a8cc9ce222e51ff"],"state_sha256":"a0b31a1f587342cc81f9441edc66aabc54cacb7b81a48aff89c62e9ae8749df0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kKOUiT5GTNGkVls0NGYfoJAugm9q/ll/gZIjawS8HBJ+xp54KgV7jUkOu0ZfYBfob5BS3uVeQEEk1BI8fqzFAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T06:52:23.766989Z","bundle_sha256":"a422c8b04b5ac656caf69c4b876e9e6e72d63146a289a48fbea0651265240271"}}