{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:2CRPQRBMBQW7NZADQY4J6X7BLI","short_pith_number":"pith:2CRPQRBM","canonical_record":{"source":{"id":"1909.01705","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2019-09-04T11:46:26Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"d32194983924747274a59530281e4a39f43922518c96b73b0fd4b892fb21f273","abstract_canon_sha256":"1bf5768ce9397fe41c70eb4b75ddee2094254498db5ffcb40ee238126d853ce7"},"schema_version":"1.0"},"canonical_sha256":"d0a2f8442c0c2df6e40386389f5fe15a02188415d659a7eb17a34b552798c4bc","source":{"kind":"arxiv","id":"1909.01705","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.01705","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"arxiv_version","alias_value":"1909.01705v4","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.01705","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"pith_short_12","alias_value":"2CRPQRBMBQW7","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"pith_short_16","alias_value":"2CRPQRBMBQW7NZAD","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"pith_short_8","alias_value":"2CRPQRBM","created_at":"2026-07-05T06:16:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:2CRPQRBMBQW7NZADQY4J6X7BLI","target":"record","payload":{"canonical_record":{"source":{"id":"1909.01705","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2019-09-04T11:46:26Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"d32194983924747274a59530281e4a39f43922518c96b73b0fd4b892fb21f273","abstract_canon_sha256":"1bf5768ce9397fe41c70eb4b75ddee2094254498db5ffcb40ee238126d853ce7"},"schema_version":"1.0"},"canonical_sha256":"d0a2f8442c0c2df6e40386389f5fe15a02188415d659a7eb17a34b552798c4bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:16:57.786024Z","signature_b64":"wTRtcQZEKgDrQIZx7lTy3I0puNAlP/SKrYYYeYIwco8rsCZ2ZAvr10cW3VO9ySLIvT9KlAuQL7y4pNrcvu0cAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0a2f8442c0c2df6e40386389f5fe15a02188415d659a7eb17a34b552798c4bc","last_reissued_at":"2026-07-05T06:16:57.785616Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:16:57.785616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1909.01705","source_version":4,"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-05T06:16:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lBpzlhyC3vOrq4c2h7zD3DMrqlv/ht+92h68eGv1NazQ1aDge3rGBoBhKZKd1nukhw/vZpp9sjRuPcPRTH3KAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T18:22:46.507877Z"},"content_sha256":"d57baef2a54813fd5c42b876645aef2ec1efd613538c305d82893d77ddd06c7c","schema_version":"1.0","event_id":"sha256:d57baef2a54813fd5c42b876645aef2ec1efd613538c305d82893d77ddd06c7c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:2CRPQRBMBQW7NZADQY4J6X7BLI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A refinement of Reznick's Positivstellensatz with applications to quantum information theory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"quant-ph","authors_text":"Alexander M\\\"uller-Hermes, David Reeb, Ion Nechita","submitted_at":"2019-09-04T11:46:26Z","abstract_excerpt":"In his solution of Hilbert's 17th problem Artin showed that any positive definite polynomial in several variables can be written as the quotient of two sums of squares. Later Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables and gave explicit bounds on $N$. By using concepts from quantum information theory (such as partial traces, optimal cloning maps, and an identity due to Chiribella) we give simpler proofs and minor improvements of both real and complex versions of this result. Moreover, we discuss construction"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.01705","kind":"arxiv","version":4},"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/1909.01705/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-05T06:16:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WX+nIB4qyNwrs+Wlgv8FEbjUPyUG9L1t1yw1F/7+tXauIAmHg7f93Ki9pNOwaWw0Mg+I8fcktYP4GOmwTUvZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T18:22:46.508825Z"},"content_sha256":"5074a9c9ede6c63b94f29ea9a0386775d34b8a5de7af8a23720777b63a8263cb","schema_version":"1.0","event_id":"sha256:5074a9c9ede6c63b94f29ea9a0386775d34b8a5de7af8a23720777b63a8263cb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2CRPQRBMBQW7NZADQY4J6X7BLI/bundle.json","state_url":"https://pith.science/pith/2CRPQRBMBQW7NZADQY4J6X7BLI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2CRPQRBMBQW7NZADQY4J6X7BLI/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-10T18:22:46Z","links":{"resolver":"https://pith.science/pith/2CRPQRBMBQW7NZADQY4J6X7BLI","bundle":"https://pith.science/pith/2CRPQRBMBQW7NZADQY4J6X7BLI/bundle.json","state":"https://pith.science/pith/2CRPQRBMBQW7NZADQY4J6X7BLI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2CRPQRBMBQW7NZADQY4J6X7BLI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:2CRPQRBMBQW7NZADQY4J6X7BLI","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":"1bf5768ce9397fe41c70eb4b75ddee2094254498db5ffcb40ee238126d853ce7","cross_cats_sorted":["math-ph","math.MP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2019-09-04T11:46:26Z","title_canon_sha256":"d32194983924747274a59530281e4a39f43922518c96b73b0fd4b892fb21f273"},"schema_version":"1.0","source":{"id":"1909.01705","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.01705","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"arxiv_version","alias_value":"1909.01705v4","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.01705","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"pith_short_12","alias_value":"2CRPQRBMBQW7","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"pith_short_16","alias_value":"2CRPQRBMBQW7NZAD","created_at":"2026-07-05T06:16:57Z"},{"alias_kind":"pith_short_8","alias_value":"2CRPQRBM","created_at":"2026-07-05T06:16:57Z"}],"graph_snapshots":[{"event_id":"sha256:5074a9c9ede6c63b94f29ea9a0386775d34b8a5de7af8a23720777b63a8263cb","target":"graph","created_at":"2026-07-05T06:16:57Z","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/1909.01705/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In his solution of Hilbert's 17th problem Artin showed that any positive definite polynomial in several variables can be written as the quotient of two sums of squares. Later Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables and gave explicit bounds on $N$. By using concepts from quantum information theory (such as partial traces, optimal cloning maps, and an identity due to Chiribella) we give simpler proofs and minor improvements of both real and complex versions of this result. Moreover, we discuss construction","authors_text":"Alexander M\\\"uller-Hermes, David Reeb, Ion Nechita","cross_cats":["math-ph","math.MP"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2019-09-04T11:46:26Z","title":"A refinement of Reznick's Positivstellensatz with applications to quantum information theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.01705","kind":"arxiv","version":4},"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:d57baef2a54813fd5c42b876645aef2ec1efd613538c305d82893d77ddd06c7c","target":"record","created_at":"2026-07-05T06:16:57Z","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":"1bf5768ce9397fe41c70eb4b75ddee2094254498db5ffcb40ee238126d853ce7","cross_cats_sorted":["math-ph","math.MP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2019-09-04T11:46:26Z","title_canon_sha256":"d32194983924747274a59530281e4a39f43922518c96b73b0fd4b892fb21f273"},"schema_version":"1.0","source":{"id":"1909.01705","kind":"arxiv","version":4}},"canonical_sha256":"d0a2f8442c0c2df6e40386389f5fe15a02188415d659a7eb17a34b552798c4bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d0a2f8442c0c2df6e40386389f5fe15a02188415d659a7eb17a34b552798c4bc","first_computed_at":"2026-07-05T06:16:57.785616Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:16:57.785616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wTRtcQZEKgDrQIZx7lTy3I0puNAlP/SKrYYYeYIwco8rsCZ2ZAvr10cW3VO9ySLIvT9KlAuQL7y4pNrcvu0cAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:16:57.786024Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.01705","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d57baef2a54813fd5c42b876645aef2ec1efd613538c305d82893d77ddd06c7c","sha256:5074a9c9ede6c63b94f29ea9a0386775d34b8a5de7af8a23720777b63a8263cb"],"state_sha256":"e803b6c60e93bdc0ef3cbb98b3bc10a6bc2b352bb5cdc4413459179c1543950d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dPBrBRVGvxwZay/34yjZ0Dg222JfEpagB4t/vODL1sl6gZvSNqUk9CwUNXWoVXTzFDOvop5V0W9ROnpBLdZgAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T18:22:46.516011Z","bundle_sha256":"5add8a120e0985f1d5766eeeb542e27a252ac6e494285f2de46b7b651bed9327"}}