{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:S7V3HEQACWVFWNSR3HMSQ2AZIU","short_pith_number":"pith:S7V3HEQA","canonical_record":{"source":{"id":"1907.05875","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2019-07-12T17:42:03Z","cross_cats_sorted":["math.CV","math.OA"],"title_canon_sha256":"5e6e3b69dd36e54236290bb896576efb3ea8e89032ef4754700a39ba715637a6","abstract_canon_sha256":"ebc97f98c6d7b04dbf904eec782ab78015a30cf64b5bc13cee90297efe7bc748"},"schema_version":"1.0"},"canonical_sha256":"97ebb3920015aa5b3651d9d92868194504af62deed9d5c09b0facc1aa8425083","source":{"kind":"arxiv","id":"1907.05875","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05875","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05875v1","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05875","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"pith_short_12","alias_value":"S7V3HEQACWVF","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"S7V3HEQACWVFWNSR","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"S7V3HEQA","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:S7V3HEQACWVFWNSR3HMSQ2AZIU","target":"record","payload":{"canonical_record":{"source":{"id":"1907.05875","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2019-07-12T17:42:03Z","cross_cats_sorted":["math.CV","math.OA"],"title_canon_sha256":"5e6e3b69dd36e54236290bb896576efb3ea8e89032ef4754700a39ba715637a6","abstract_canon_sha256":"ebc97f98c6d7b04dbf904eec782ab78015a30cf64b5bc13cee90297efe7bc748"},"schema_version":"1.0"},"canonical_sha256":"97ebb3920015aa5b3651d9d92868194504af62deed9d5c09b0facc1aa8425083","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:44.038917Z","signature_b64":"T2Uvix7VVuhnPdBjf0UIyfwvFASi+wpQBIwSYfqvjIJEZEKkbMqmHbwD3QNjp3QCWy6JHeWcM3oiT36aA/XgAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"97ebb3920015aa5b3651d9d92868194504af62deed9d5c09b0facc1aa8425083","last_reissued_at":"2026-05-17T23:40:44.038266Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:44.038266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.05875","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-17T23:40:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0dD45adZ/SENrTpNg0GwvxzbJIfOSvkC7v86ggPQquYFYiGF5xUZnaWDL/yFGVRSxz2ttlFgjvawaI9aFYY4Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:56:41.703220Z"},"content_sha256":"99912933436f9ab676a0700f24ee2036dbd2dab7f0876ed603277912bc260a30","schema_version":"1.0","event_id":"sha256:99912933436f9ab676a0700f24ee2036dbd2dab7f0876ed603277912bc260a30"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:S7V3HEQACWVFWNSR3HMSQ2AZIU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The royal road to automatic noncommutative real analyticity, monotonicity, and convexity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CV","math.OA"],"primary_cat":"math.FA","authors_text":"J. E. Pascoe, Ryan Tully-Doyle","submitted_at":"2019-07-12T17:42:03Z","abstract_excerpt":"It was shown classically that matrix monotone and matrix convex functions must be real analytic by L\\\"owner and Kraus respectively. Recently, various analogues have been found in several noncommuting variables. We develop a general framework for lifting automatic analyticity theorems in matrix analysis from one variable to several variables, the so-called \"royal road theorem.\" That is, we establish the principle that the hard part of proving any automatic analyticity theorem lies in proving the one variable theorem. We use our main result to prove the noncommutative L\\\"owner and Kraus theorems"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05875","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-17T23:40:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"49HawAHbY3QlPU2INS28vawGf9s2+xOaRn2PEpslWwVNsUWOFt4n9DmeH0bR4HCToqBVu1/vnsoJcDSZIAfwCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:56:41.704007Z"},"content_sha256":"eb00d13df6006808eff6e1e307812a734f82ce439dca19592fb3daf458c76aab","schema_version":"1.0","event_id":"sha256:eb00d13df6006808eff6e1e307812a734f82ce439dca19592fb3daf458c76aab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S7V3HEQACWVFWNSR3HMSQ2AZIU/bundle.json","state_url":"https://pith.science/pith/S7V3HEQACWVFWNSR3HMSQ2AZIU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S7V3HEQACWVFWNSR3HMSQ2AZIU/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-25T08:56:41Z","links":{"resolver":"https://pith.science/pith/S7V3HEQACWVFWNSR3HMSQ2AZIU","bundle":"https://pith.science/pith/S7V3HEQACWVFWNSR3HMSQ2AZIU/bundle.json","state":"https://pith.science/pith/S7V3HEQACWVFWNSR3HMSQ2AZIU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S7V3HEQACWVFWNSR3HMSQ2AZIU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:S7V3HEQACWVFWNSR3HMSQ2AZIU","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":"ebc97f98c6d7b04dbf904eec782ab78015a30cf64b5bc13cee90297efe7bc748","cross_cats_sorted":["math.CV","math.OA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2019-07-12T17:42:03Z","title_canon_sha256":"5e6e3b69dd36e54236290bb896576efb3ea8e89032ef4754700a39ba715637a6"},"schema_version":"1.0","source":{"id":"1907.05875","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05875","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05875v1","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05875","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"pith_short_12","alias_value":"S7V3HEQACWVF","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"S7V3HEQACWVFWNSR","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"S7V3HEQA","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:eb00d13df6006808eff6e1e307812a734f82ce439dca19592fb3daf458c76aab","target":"graph","created_at":"2026-05-17T23:40:44Z","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":"It was shown classically that matrix monotone and matrix convex functions must be real analytic by L\\\"owner and Kraus respectively. Recently, various analogues have been found in several noncommuting variables. We develop a general framework for lifting automatic analyticity theorems in matrix analysis from one variable to several variables, the so-called \"royal road theorem.\" That is, we establish the principle that the hard part of proving any automatic analyticity theorem lies in proving the one variable theorem. We use our main result to prove the noncommutative L\\\"owner and Kraus theorems","authors_text":"J. E. Pascoe, Ryan Tully-Doyle","cross_cats":["math.CV","math.OA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2019-07-12T17:42:03Z","title":"The royal road to automatic noncommutative real analyticity, monotonicity, and convexity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05875","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:99912933436f9ab676a0700f24ee2036dbd2dab7f0876ed603277912bc260a30","target":"record","created_at":"2026-05-17T23:40:44Z","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":"ebc97f98c6d7b04dbf904eec782ab78015a30cf64b5bc13cee90297efe7bc748","cross_cats_sorted":["math.CV","math.OA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2019-07-12T17:42:03Z","title_canon_sha256":"5e6e3b69dd36e54236290bb896576efb3ea8e89032ef4754700a39ba715637a6"},"schema_version":"1.0","source":{"id":"1907.05875","kind":"arxiv","version":1}},"canonical_sha256":"97ebb3920015aa5b3651d9d92868194504af62deed9d5c09b0facc1aa8425083","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"97ebb3920015aa5b3651d9d92868194504af62deed9d5c09b0facc1aa8425083","first_computed_at":"2026-05-17T23:40:44.038266Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:44.038266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T2Uvix7VVuhnPdBjf0UIyfwvFASi+wpQBIwSYfqvjIJEZEKkbMqmHbwD3QNjp3QCWy6JHeWcM3oiT36aA/XgAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:44.038917Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.05875","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99912933436f9ab676a0700f24ee2036dbd2dab7f0876ed603277912bc260a30","sha256:eb00d13df6006808eff6e1e307812a734f82ce439dca19592fb3daf458c76aab"],"state_sha256":"c3d831b77cbf5417bca4633a9717176132f0243758ffd39dcead5211465633c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xCVHGcC5BpUWatNxKIaNGE4lF+qZMLmrI/HTIyjecj7xXWenNfF9lU1EmNS38Ibg1HWFebgdzoBkAhGEpLk7Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T08:56:41.707952Z","bundle_sha256":"0054da4077abe55df39106d3e4b4141c7f6dc5df17450dddccae7220dceb0427"}}