{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:26O5HKYUHFEP4KYGDC7PPTPMMA","short_pith_number":"pith:26O5HKYU","schema_version":"1.0","canonical_sha256":"d79dd3ab143948fe2b0618bef7cdec6031a11f49b7aca59c17877ce4208fef53","source":{"kind":"arxiv","id":"2405.04358","version":1},"attestation_state":"computed","paper":{"title":"Evaluation of integrals for the emptiness formation probability in the square-ice model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.stat-mech","math.MP","math.PR"],"primary_cat":"math-ph","authors_text":"Andrei G. Pronko, Filippo Colomo","submitted_at":"2024-05-07T14:35:49Z","abstract_excerpt":"We study the emptiness formation probability (EFP) in the six-vertex model with domain wall boundary conditions. We present a conjecture according to which at the ice point, i.e., when all the Boltzmann weights are equal, the known multiple integral representation (MIR) for the EFP can be given as a finite-size matrix determinant of Fredholm type. Our conjecture is based on the explicit evaluation of the MIR for particular values of geometric parameters and on two kinds of identities for the boundary correlation function. The obtained representation can be further written as the Fredholm deter"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2405.04358","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2024-05-07T14:35:49Z","cross_cats_sorted":["cond-mat.stat-mech","math.MP","math.PR"],"title_canon_sha256":"acb6877f64cf5bb1b61348ac38309fd09ab849b463024c03c2e7512247e66369","abstract_canon_sha256":"3c8885cdecdd337feae22fa9f132527d48801b31bc8b436c540d9eaccc8f77a3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:30:12.132540Z","signature_b64":"L5lwYVvOSH8LwsyHfHqSbbJBFW7flpPp9U02bHzU66OEzBiD0k60zPfjyq5BQ9ZqZCoJ/HH2yjeQUQPMOTsHAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d79dd3ab143948fe2b0618bef7cdec6031a11f49b7aca59c17877ce4208fef53","last_reissued_at":"2026-07-05T08:30:12.132046Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:30:12.132046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Evaluation of integrals for the emptiness formation probability in the square-ice model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.stat-mech","math.MP","math.PR"],"primary_cat":"math-ph","authors_text":"Andrei G. Pronko, Filippo Colomo","submitted_at":"2024-05-07T14:35:49Z","abstract_excerpt":"We study the emptiness formation probability (EFP) in the six-vertex model with domain wall boundary conditions. We present a conjecture according to which at the ice point, i.e., when all the Boltzmann weights are equal, the known multiple integral representation (MIR) for the EFP can be given as a finite-size matrix determinant of Fredholm type. Our conjecture is based on the explicit evaluation of the MIR for particular values of geometric parameters and on two kinds of identities for the boundary correlation function. The obtained representation can be further written as the Fredholm deter"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.04358","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/2405.04358/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2405.04358","created_at":"2026-07-05T08:30:12.132102+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.04358v1","created_at":"2026-07-05T08:30:12.132102+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.04358","created_at":"2026-07-05T08:30:12.132102+00:00"},{"alias_kind":"pith_short_12","alias_value":"26O5HKYUHFEP","created_at":"2026-07-05T08:30:12.132102+00:00"},{"alias_kind":"pith_short_16","alias_value":"26O5HKYUHFEP4KYG","created_at":"2026-07-05T08:30:12.132102+00:00"},{"alias_kind":"pith_short_8","alias_value":"26O5HKYU","created_at":"2026-07-05T08:30:12.132102+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA","json":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA.json","graph_json":"https://pith.science/api/pith-number/26O5HKYUHFEP4KYGDC7PPTPMMA/graph.json","events_json":"https://pith.science/api/pith-number/26O5HKYUHFEP4KYGDC7PPTPMMA/events.json","paper":"https://pith.science/paper/26O5HKYU"},"agent_actions":{"view_html":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA","download_json":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA.json","view_paper":"https://pith.science/paper/26O5HKYU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.04358&json=true","fetch_graph":"https://pith.science/api/pith-number/26O5HKYUHFEP4KYGDC7PPTPMMA/graph.json","fetch_events":"https://pith.science/api/pith-number/26O5HKYUHFEP4KYGDC7PPTPMMA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA/action/storage_attestation","attest_author":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA/action/author_attestation","sign_citation":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA/action/citation_signature","submit_replication":"https://pith.science/pith/26O5HKYUHFEP4KYGDC7PPTPMMA/action/replication_record"}},"created_at":"2026-07-05T08:30:12.132102+00:00","updated_at":"2026-07-05T08:30:12.132102+00:00"}