{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:Y7GJC7YUGNTL5NPEBI25Z26LYB","short_pith_number":"pith:Y7GJC7YU","canonical_record":{"source":{"id":"1805.02594","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2018-05-07T16:11:59Z","cross_cats_sorted":[],"title_canon_sha256":"eb441ddc58003ac278d02518169896ffc47a398840d4dfd1fd8c8f385680661f","abstract_canon_sha256":"1fa205d0e5ed51f62d03e51720af2a5d9e925d2c79f2207a408eb9ad8164b024"},"schema_version":"1.0"},"canonical_sha256":"c7cc917f143366beb5e40a35dcebcbc0642badd2383ea616ddf025cee4d6ce3a","source":{"kind":"arxiv","id":"1805.02594","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.02594","created_at":"2026-05-18T00:16:39Z"},{"alias_kind":"arxiv_version","alias_value":"1805.02594v1","created_at":"2026-05-18T00:16:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02594","created_at":"2026-05-18T00:16:39Z"},{"alias_kind":"pith_short_12","alias_value":"Y7GJC7YUGNTL","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Y7GJC7YUGNTL5NPE","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Y7GJC7YU","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:Y7GJC7YUGNTL5NPEBI25Z26LYB","target":"record","payload":{"canonical_record":{"source":{"id":"1805.02594","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2018-05-07T16:11:59Z","cross_cats_sorted":[],"title_canon_sha256":"eb441ddc58003ac278d02518169896ffc47a398840d4dfd1fd8c8f385680661f","abstract_canon_sha256":"1fa205d0e5ed51f62d03e51720af2a5d9e925d2c79f2207a408eb9ad8164b024"},"schema_version":"1.0"},"canonical_sha256":"c7cc917f143366beb5e40a35dcebcbc0642badd2383ea616ddf025cee4d6ce3a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:39.556664Z","signature_b64":"Vc+gN8OitSEO0NpDWyIWrlgwNADOqfEEsTNJ3x9cYezv5n3X9uSrXqNO0AV3H/Uhgrf6RVOMV6QYZCiU1b/xDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c7cc917f143366beb5e40a35dcebcbc0642badd2383ea616ddf025cee4d6ce3a","last_reissued_at":"2026-05-18T00:16:39.555969Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:39.555969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.02594","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-18T00:16:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mI4wroqCckL8JpLvMYw6REtPg01im1Mt7UB1EJWdgIZd6xIbhEqfG094mNMdUE3nlepOSKCx/5y3VuSq8tvzDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T15:04:56.526235Z"},"content_sha256":"c8666138736be1b3ce991e8e4514964af98b511b813b712b030f7c9d37c6a350","schema_version":"1.0","event_id":"sha256:c8666138736be1b3ce991e8e4514964af98b511b813b712b030f7c9d37c6a350"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:Y7GJC7YUGNTL5NPEBI25Z26LYB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A fixed point theorem for commuting families of relational homomorphisms. Application to metric spaces, oriented graphs and ordered sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.FA","authors_text":"Amine Khamsi, Maurice Pouzet","submitted_at":"2018-05-07T16:11:59Z","abstract_excerpt":"We extend to binary relational systems the notion of compact and normal structure, introduced by J.P.Penot for metric spaces, and we prove that for the involutive and reflexive ones, every commuting family of relational homomorphisms has a common fixed point. The proof is based upon the clever argument that J.B.Baillon discovered in order to show that a similar conclusion holds for bounded hyperconvex metric spaces and then refined by the first author to metric spaces with a compact and normal structure. Since the non-expansive mappings are relational homomorphisms, our result includes those o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02594","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-18T00:16:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"deTGNuSGgHrA+90dsqHFHCU8aZSNV7uHDeK3kxliHSj+QkcDRLLaR8hQ6ahMMdAOs0ks7mj8IaXnsj8jOLr4Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T15:04:56.526899Z"},"content_sha256":"76dee8570408b8034f1f77c683627c444fad930a03a772e27b9fc2912176a84d","schema_version":"1.0","event_id":"sha256:76dee8570408b8034f1f77c683627c444fad930a03a772e27b9fc2912176a84d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y7GJC7YUGNTL5NPEBI25Z26LYB/bundle.json","state_url":"https://pith.science/pith/Y7GJC7YUGNTL5NPEBI25Z26LYB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y7GJC7YUGNTL5NPEBI25Z26LYB/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-26T15:04:56Z","links":{"resolver":"https://pith.science/pith/Y7GJC7YUGNTL5NPEBI25Z26LYB","bundle":"https://pith.science/pith/Y7GJC7YUGNTL5NPEBI25Z26LYB/bundle.json","state":"https://pith.science/pith/Y7GJC7YUGNTL5NPEBI25Z26LYB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y7GJC7YUGNTL5NPEBI25Z26LYB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Y7GJC7YUGNTL5NPEBI25Z26LYB","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":"1fa205d0e5ed51f62d03e51720af2a5d9e925d2c79f2207a408eb9ad8164b024","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2018-05-07T16:11:59Z","title_canon_sha256":"eb441ddc58003ac278d02518169896ffc47a398840d4dfd1fd8c8f385680661f"},"schema_version":"1.0","source":{"id":"1805.02594","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.02594","created_at":"2026-05-18T00:16:39Z"},{"alias_kind":"arxiv_version","alias_value":"1805.02594v1","created_at":"2026-05-18T00:16:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02594","created_at":"2026-05-18T00:16:39Z"},{"alias_kind":"pith_short_12","alias_value":"Y7GJC7YUGNTL","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Y7GJC7YUGNTL5NPE","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Y7GJC7YU","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:76dee8570408b8034f1f77c683627c444fad930a03a772e27b9fc2912176a84d","target":"graph","created_at":"2026-05-18T00:16: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":"We extend to binary relational systems the notion of compact and normal structure, introduced by J.P.Penot for metric spaces, and we prove that for the involutive and reflexive ones, every commuting family of relational homomorphisms has a common fixed point. The proof is based upon the clever argument that J.B.Baillon discovered in order to show that a similar conclusion holds for bounded hyperconvex metric spaces and then refined by the first author to metric spaces with a compact and normal structure. Since the non-expansive mappings are relational homomorphisms, our result includes those o","authors_text":"Amine Khamsi, Maurice Pouzet","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2018-05-07T16:11:59Z","title":"A fixed point theorem for commuting families of relational homomorphisms. Application to metric spaces, oriented graphs and ordered sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02594","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:c8666138736be1b3ce991e8e4514964af98b511b813b712b030f7c9d37c6a350","target":"record","created_at":"2026-05-18T00:16: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":"1fa205d0e5ed51f62d03e51720af2a5d9e925d2c79f2207a408eb9ad8164b024","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2018-05-07T16:11:59Z","title_canon_sha256":"eb441ddc58003ac278d02518169896ffc47a398840d4dfd1fd8c8f385680661f"},"schema_version":"1.0","source":{"id":"1805.02594","kind":"arxiv","version":1}},"canonical_sha256":"c7cc917f143366beb5e40a35dcebcbc0642badd2383ea616ddf025cee4d6ce3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c7cc917f143366beb5e40a35dcebcbc0642badd2383ea616ddf025cee4d6ce3a","first_computed_at":"2026-05-18T00:16:39.555969Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:39.555969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Vc+gN8OitSEO0NpDWyIWrlgwNADOqfEEsTNJ3x9cYezv5n3X9uSrXqNO0AV3H/Uhgrf6RVOMV6QYZCiU1b/xDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:39.556664Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.02594","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c8666138736be1b3ce991e8e4514964af98b511b813b712b030f7c9d37c6a350","sha256:76dee8570408b8034f1f77c683627c444fad930a03a772e27b9fc2912176a84d"],"state_sha256":"3bfad8e54d715a01c9a967fdbaa49e236f6191ebcdfc791307812a8a17f6bbd7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NNW7sPNvwMtCVNeqiyd9x/iy107A8mwWoIu4oZdA0paTMssfcqOGrpO+3uCE3jT2gdiWlw65jkafs8hmoP4GBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T15:04:56.529686Z","bundle_sha256":"8211faff173dbd9fa4088718a633686b8c14c19ffeb2f4ecbb56fefb062a0deb"}}