{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:HISMQGG5GYWFARPKHNHUNF66WW","short_pith_number":"pith:HISMQGG5","canonical_record":{"source":{"id":"1710.04441","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-10-12T10:53:14Z","cross_cats_sorted":["cond-mat.quant-gas","math.MP"],"title_canon_sha256":"bfb60bdece13576752d7ac04b53d2b9dce4e788bbbacae07958a0c844d51c9eb","abstract_canon_sha256":"52cb43ab1a60baad2ccef972885376a0eeff4df00197c0bde9e54027005a53f1"},"schema_version":"1.0"},"canonical_sha256":"3a24c818dd362c5045ea3b4f4697deb5bf8dab1ab762711defcd717b00132903","source":{"kind":"arxiv","id":"1710.04441","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.04441","created_at":"2026-05-18T00:28:52Z"},{"alias_kind":"arxiv_version","alias_value":"1710.04441v2","created_at":"2026-05-18T00:28:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.04441","created_at":"2026-05-18T00:28:52Z"},{"alias_kind":"pith_short_12","alias_value":"HISMQGG5GYWF","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HISMQGG5GYWFARPK","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HISMQGG5","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:HISMQGG5GYWFARPKHNHUNF66WW","target":"record","payload":{"canonical_record":{"source":{"id":"1710.04441","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-10-12T10:53:14Z","cross_cats_sorted":["cond-mat.quant-gas","math.MP"],"title_canon_sha256":"bfb60bdece13576752d7ac04b53d2b9dce4e788bbbacae07958a0c844d51c9eb","abstract_canon_sha256":"52cb43ab1a60baad2ccef972885376a0eeff4df00197c0bde9e54027005a53f1"},"schema_version":"1.0"},"canonical_sha256":"3a24c818dd362c5045ea3b4f4697deb5bf8dab1ab762711defcd717b00132903","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:28:52.263832Z","signature_b64":"SoYGtCqWTPSrdOows2Izh5wzdPdoNhL6mBeq7EtoETUh+fGS2crfgFal5GBtT7TZlMfcwcll7Y3jSadbaAXIDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a24c818dd362c5045ea3b4f4697deb5bf8dab1ab762711defcd717b00132903","last_reissued_at":"2026-05-18T00:28:52.263057Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:28:52.263057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.04441","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-18T00:28:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WXEdB2K6Q58FBs+GpJ1XZOvU7LParpWRok75mmqS3iHn74KObt7aKSB7hmjwy3y0ftbVREJqOeQFV9Tza5orDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T15:21:51.263888Z"},"content_sha256":"fbc9be828837c01497d7c80d86890361b53a8b8f261154d775146aaa74f4047a","schema_version":"1.0","event_id":"sha256:fbc9be828837c01497d7c80d86890361b53a8b8f261154d775146aaa74f4047a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:HISMQGG5GYWFARPKHNHUNF66WW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proof of phase transition in homogeneous systems of interacting bosons","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.quant-gas","math.MP"],"primary_cat":"math-ph","authors_text":"Andras Suto","submitted_at":"2017-10-12T10:53:14Z","abstract_excerpt":"Using the rigorous path integral formalism of Feynman and Kac we prove London's eighty years old conjecture that during the superfluid transition in liquid helium Bose-Einstein condensation (BEC) takes place. The result is obtained by proving first that at low enough temperatures macroscopic permutation cycles appear in the system, and then showing that this implies BEC. We find also that in the limit of zero temperature the infinite cycles cover the whole system, while BEC remains partial. For the Bose-condensed fluid at rest we define a macroscopic wave function. Via the equivalence of 1/2 s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.04441","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-18T00:28:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X2tLV1qZz9ZmRaGWvhn3Ip8PQul7UDDSCHNhe6lQ/y5doTWDAAc6G4DwYJ1HExtdNAKbrA8RJ3A+WtOb44V9Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T15:21:51.264611Z"},"content_sha256":"6fa71a19a7c7bc77362da01bc62ce11b7d262d4fc52dd15c29c4b5b7824019b6","schema_version":"1.0","event_id":"sha256:6fa71a19a7c7bc77362da01bc62ce11b7d262d4fc52dd15c29c4b5b7824019b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HISMQGG5GYWFARPKHNHUNF66WW/bundle.json","state_url":"https://pith.science/pith/HISMQGG5GYWFARPKHNHUNF66WW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HISMQGG5GYWFARPKHNHUNF66WW/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-25T15:21:51Z","links":{"resolver":"https://pith.science/pith/HISMQGG5GYWFARPKHNHUNF66WW","bundle":"https://pith.science/pith/HISMQGG5GYWFARPKHNHUNF66WW/bundle.json","state":"https://pith.science/pith/HISMQGG5GYWFARPKHNHUNF66WW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HISMQGG5GYWFARPKHNHUNF66WW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:HISMQGG5GYWFARPKHNHUNF66WW","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":"52cb43ab1a60baad2ccef972885376a0eeff4df00197c0bde9e54027005a53f1","cross_cats_sorted":["cond-mat.quant-gas","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-10-12T10:53:14Z","title_canon_sha256":"bfb60bdece13576752d7ac04b53d2b9dce4e788bbbacae07958a0c844d51c9eb"},"schema_version":"1.0","source":{"id":"1710.04441","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.04441","created_at":"2026-05-18T00:28:52Z"},{"alias_kind":"arxiv_version","alias_value":"1710.04441v2","created_at":"2026-05-18T00:28:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.04441","created_at":"2026-05-18T00:28:52Z"},{"alias_kind":"pith_short_12","alias_value":"HISMQGG5GYWF","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HISMQGG5GYWFARPK","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HISMQGG5","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:6fa71a19a7c7bc77362da01bc62ce11b7d262d4fc52dd15c29c4b5b7824019b6","target":"graph","created_at":"2026-05-18T00:28:52Z","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":"Using the rigorous path integral formalism of Feynman and Kac we prove London's eighty years old conjecture that during the superfluid transition in liquid helium Bose-Einstein condensation (BEC) takes place. The result is obtained by proving first that at low enough temperatures macroscopic permutation cycles appear in the system, and then showing that this implies BEC. We find also that in the limit of zero temperature the infinite cycles cover the whole system, while BEC remains partial. For the Bose-condensed fluid at rest we define a macroscopic wave function. Via the equivalence of 1/2 s","authors_text":"Andras Suto","cross_cats":["cond-mat.quant-gas","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-10-12T10:53:14Z","title":"Proof of phase transition in homogeneous systems of interacting bosons"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.04441","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:fbc9be828837c01497d7c80d86890361b53a8b8f261154d775146aaa74f4047a","target":"record","created_at":"2026-05-18T00:28:52Z","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":"52cb43ab1a60baad2ccef972885376a0eeff4df00197c0bde9e54027005a53f1","cross_cats_sorted":["cond-mat.quant-gas","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2017-10-12T10:53:14Z","title_canon_sha256":"bfb60bdece13576752d7ac04b53d2b9dce4e788bbbacae07958a0c844d51c9eb"},"schema_version":"1.0","source":{"id":"1710.04441","kind":"arxiv","version":2}},"canonical_sha256":"3a24c818dd362c5045ea3b4f4697deb5bf8dab1ab762711defcd717b00132903","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a24c818dd362c5045ea3b4f4697deb5bf8dab1ab762711defcd717b00132903","first_computed_at":"2026-05-18T00:28:52.263057Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:28:52.263057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SoYGtCqWTPSrdOows2Izh5wzdPdoNhL6mBeq7EtoETUh+fGS2crfgFal5GBtT7TZlMfcwcll7Y3jSadbaAXIDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:28:52.263832Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.04441","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fbc9be828837c01497d7c80d86890361b53a8b8f261154d775146aaa74f4047a","sha256:6fa71a19a7c7bc77362da01bc62ce11b7d262d4fc52dd15c29c4b5b7824019b6"],"state_sha256":"18b275e9e76e700bdfda99918573ee230cdab730fc67b0a7c25fbe15a4cf02cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HihWmlOXzW7KIS66CA0AfCTnwABI5TmLDDwHM5wHf40G5EIFa2AF3V/qEVZMkdqmxe7Z2Su8bnAXukS3Va/yAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T15:21:51.268540Z","bundle_sha256":"b05aa8545fc8f61addf4d75b2ea38163b043d6e60ed7fe6c897576794eb9e1c1"}}