{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:4IWTCFETN7PW35RS7YOMZ6262J","short_pith_number":"pith:4IWTCFET","canonical_record":{"source":{"id":"2508.12135","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-08-16T18:55:05Z","cross_cats_sorted":[],"title_canon_sha256":"755bfe235778ef49b164ed754ddf057903a495ad7ed4718cf8c5f098f87ace6d","abstract_canon_sha256":"fe5d110de6acbc51579e1b49bb40785850a8c940d423cf53199dd3e6198718c0"},"schema_version":"1.0"},"canonical_sha256":"e22d3114936fdf6df632fe1cccfb5ed25760328e471096559be28a70e5831908","source":{"kind":"arxiv","id":"2508.12135","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.12135","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"arxiv_version","alias_value":"2508.12135v1","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.12135","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"pith_short_12","alias_value":"4IWTCFETN7PW","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"pith_short_16","alias_value":"4IWTCFETN7PW35RS","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"pith_short_8","alias_value":"4IWTCFET","created_at":"2026-07-05T11:55:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:4IWTCFETN7PW35RS7YOMZ6262J","target":"record","payload":{"canonical_record":{"source":{"id":"2508.12135","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-08-16T18:55:05Z","cross_cats_sorted":[],"title_canon_sha256":"755bfe235778ef49b164ed754ddf057903a495ad7ed4718cf8c5f098f87ace6d","abstract_canon_sha256":"fe5d110de6acbc51579e1b49bb40785850a8c940d423cf53199dd3e6198718c0"},"schema_version":"1.0"},"canonical_sha256":"e22d3114936fdf6df632fe1cccfb5ed25760328e471096559be28a70e5831908","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:55:00.676940Z","signature_b64":"4UYbPFfrcz5JtEBNbf5cblBqOm3O5HJ5fgq1rqTeC7md6dG8iWzQi7TA26Wnl9J4wIs9cW4Rz6YrTArSqdLJCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e22d3114936fdf6df632fe1cccfb5ed25760328e471096559be28a70e5831908","last_reissued_at":"2026-07-05T11:55:00.676535Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:55:00.676535Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.12135","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-05T11:55:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8R9zJScXvcNWCuLPDDYm2QeLg4hn9FcrMJf1CFbhiRAq8AePHMhKLPG444hzoofw7VSNAthLWSg2HjJde1pfDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T06:32:05.661873Z"},"content_sha256":"81210482d4ac5dc5129586ec02b301ad883243c4a270f9ea7a311bba439c51e1","schema_version":"1.0","event_id":"sha256:81210482d4ac5dc5129586ec02b301ad883243c4a270f9ea7a311bba439c51e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:4IWTCFETN7PW35RS7YOMZ6262J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A reflection principle for nonintersecting paths and lozenge tilings with free boundaries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Seok Hyun Byun","submitted_at":"2025-08-16T18:55:05Z","abstract_excerpt":"Okada and Stembridge's Pfaffian formula for the enumeration of families of nonintersecting paths with fixed starting points and unfixed ending points has been widely used to resolve many challenging problems in enumerative combinatorics. In this paper, we present a new formula that complements Okada and Stembridge's Pfaffian formula. The proof is based on a formula for the square of the sum of maximum minors of matrices obtained from Okada's formula. The combinatorial interpretation of the new formula gives a reflection principle for nonintersecting paths. It implies that the enumeration of fa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.12135","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/2508.12135/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-05T11:55:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p35Bx+nd+BMPR0TbFwOuBv95vz2gBlAQg0Rl6DoG7rfqyBueGKlW6RjIcFYIEb+CTh7+2z2aBrMSU+CXAA5UBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T06:32:05.662394Z"},"content_sha256":"cedd6ace9dbdc3c1ffc0cfe89f5c6100082d31e3c2eeea561e51116c232e5976","schema_version":"1.0","event_id":"sha256:cedd6ace9dbdc3c1ffc0cfe89f5c6100082d31e3c2eeea561e51116c232e5976"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4IWTCFETN7PW35RS7YOMZ6262J/bundle.json","state_url":"https://pith.science/pith/4IWTCFETN7PW35RS7YOMZ6262J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4IWTCFETN7PW35RS7YOMZ6262J/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-12T06:32:05Z","links":{"resolver":"https://pith.science/pith/4IWTCFETN7PW35RS7YOMZ6262J","bundle":"https://pith.science/pith/4IWTCFETN7PW35RS7YOMZ6262J/bundle.json","state":"https://pith.science/pith/4IWTCFETN7PW35RS7YOMZ6262J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4IWTCFETN7PW35RS7YOMZ6262J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:4IWTCFETN7PW35RS7YOMZ6262J","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":"fe5d110de6acbc51579e1b49bb40785850a8c940d423cf53199dd3e6198718c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-08-16T18:55:05Z","title_canon_sha256":"755bfe235778ef49b164ed754ddf057903a495ad7ed4718cf8c5f098f87ace6d"},"schema_version":"1.0","source":{"id":"2508.12135","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.12135","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"arxiv_version","alias_value":"2508.12135v1","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.12135","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"pith_short_12","alias_value":"4IWTCFETN7PW","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"pith_short_16","alias_value":"4IWTCFETN7PW35RS","created_at":"2026-07-05T11:55:00Z"},{"alias_kind":"pith_short_8","alias_value":"4IWTCFET","created_at":"2026-07-05T11:55:00Z"}],"graph_snapshots":[{"event_id":"sha256:cedd6ace9dbdc3c1ffc0cfe89f5c6100082d31e3c2eeea561e51116c232e5976","target":"graph","created_at":"2026-07-05T11:55:00Z","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/2508.12135/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Okada and Stembridge's Pfaffian formula for the enumeration of families of nonintersecting paths with fixed starting points and unfixed ending points has been widely used to resolve many challenging problems in enumerative combinatorics. In this paper, we present a new formula that complements Okada and Stembridge's Pfaffian formula. The proof is based on a formula for the square of the sum of maximum minors of matrices obtained from Okada's formula. The combinatorial interpretation of the new formula gives a reflection principle for nonintersecting paths. It implies that the enumeration of fa","authors_text":"Seok Hyun Byun","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-08-16T18:55:05Z","title":"A reflection principle for nonintersecting paths and lozenge tilings with free boundaries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.12135","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:81210482d4ac5dc5129586ec02b301ad883243c4a270f9ea7a311bba439c51e1","target":"record","created_at":"2026-07-05T11:55:00Z","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":"fe5d110de6acbc51579e1b49bb40785850a8c940d423cf53199dd3e6198718c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-08-16T18:55:05Z","title_canon_sha256":"755bfe235778ef49b164ed754ddf057903a495ad7ed4718cf8c5f098f87ace6d"},"schema_version":"1.0","source":{"id":"2508.12135","kind":"arxiv","version":1}},"canonical_sha256":"e22d3114936fdf6df632fe1cccfb5ed25760328e471096559be28a70e5831908","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e22d3114936fdf6df632fe1cccfb5ed25760328e471096559be28a70e5831908","first_computed_at":"2026-07-05T11:55:00.676535Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:55:00.676535Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4UYbPFfrcz5JtEBNbf5cblBqOm3O5HJ5fgq1rqTeC7md6dG8iWzQi7TA26Wnl9J4wIs9cW4Rz6YrTArSqdLJCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:55:00.676940Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.12135","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:81210482d4ac5dc5129586ec02b301ad883243c4a270f9ea7a311bba439c51e1","sha256:cedd6ace9dbdc3c1ffc0cfe89f5c6100082d31e3c2eeea561e51116c232e5976"],"state_sha256":"694cc320f7c50fe23bb0d6b444a9237cf692590ed63a96677dfba496f48cb522"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DnXASw4udCWIGNL0KvFqlZCybfHjYMRTIGzoisxxKn1sTlFo2tNn0nAfM6hgdrg6p/0SqZL1AzyHl8fq94paDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T06:32:05.666527Z","bundle_sha256":"cbb9d72e78544a5207f89de703fe97a2abd6b4125ce9febb6e922f6ed1cb5838"}}