{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:I2BTJKOQWCKWTMVBLK5DV3PSNT","short_pith_number":"pith:I2BTJKOQ","canonical_record":{"source":{"id":"1306.3867","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-06-17T14:05:25Z","cross_cats_sorted":[],"title_canon_sha256":"863cf8103183d2fc42d3249c10ef5c2d2928a5721e6a712e3f51c99125275ae5","abstract_canon_sha256":"024af784cb6454f9bc96b51f6c143a7d2b1a2fbdedf76de13a442cc7fd5b3ac8"},"schema_version":"1.0"},"canonical_sha256":"468334a9d0b09569b2a15aba3aedf26ceeec078a4385351202c0c56ff7dba17b","source":{"kind":"arxiv","id":"1306.3867","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.3867","created_at":"2026-05-18T03:20:46Z"},{"alias_kind":"arxiv_version","alias_value":"1306.3867v1","created_at":"2026-05-18T03:20:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.3867","created_at":"2026-05-18T03:20:46Z"},{"alias_kind":"pith_short_12","alias_value":"I2BTJKOQWCKW","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"I2BTJKOQWCKWTMVB","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"I2BTJKOQ","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:I2BTJKOQWCKWTMVBLK5DV3PSNT","target":"record","payload":{"canonical_record":{"source":{"id":"1306.3867","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-06-17T14:05:25Z","cross_cats_sorted":[],"title_canon_sha256":"863cf8103183d2fc42d3249c10ef5c2d2928a5721e6a712e3f51c99125275ae5","abstract_canon_sha256":"024af784cb6454f9bc96b51f6c143a7d2b1a2fbdedf76de13a442cc7fd5b3ac8"},"schema_version":"1.0"},"canonical_sha256":"468334a9d0b09569b2a15aba3aedf26ceeec078a4385351202c0c56ff7dba17b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:20:46.144095Z","signature_b64":"TvHjUrdA9wIsJ+jCV9ngMscCvnA2LDPjQXqY5fpyYOBqRvGiXpdGqrGSUj+3SBR71glJ935wrw5rWoiPKAewAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"468334a9d0b09569b2a15aba3aedf26ceeec078a4385351202c0c56ff7dba17b","last_reissued_at":"2026-05-18T03:20:46.143252Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:20:46.143252Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1306.3867","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-18T03:20:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6f9FOKFj4K6KYqiNPpYahYr8QA07iE39k2Ljv6hPFTu5O259JP6sKnx4Ed9w2nUKmMPThS3ifwI2a+LGeMaTBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T11:47:24.866850Z"},"content_sha256":"8bc55708f7bee1e343ec92dbfee6f31f755f4e645897e90d6a5bd5919998efdc","schema_version":"1.0","event_id":"sha256:8bc55708f7bee1e343ec92dbfee6f31f755f4e645897e90d6a5bd5919998efdc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:I2BTJKOQWCKWTMVBLK5DV3PSNT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Integer matrices that are not copositive have certificates of less than quadratic complexity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Timo Hirscher","submitted_at":"2013-06-17T14:05:25Z","abstract_excerpt":"A real symmetric n times n matrix is called copositive if the corresponding quadratic form is non-negative on the closed first orthant. If the matrix fails to be copositive there exists some non-negative certificate for which the quadratic form is negative. Due to the scaling property, we can find such certificates in every neighborhood of the origin but their properties depend on the matrix of course and are hard to describe. If it is an integer matrix however, we are guaranteed certificates of a complexity that is at most a constant times the binary encoding length of the matrix raised to th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.3867","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-18T03:20:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5BksGBUkWTZZ81AT7mi/jke4tOcBHIqIY/0Uvzm8gdwQzS84t6YbhTHln19BwKCM32b59GdMXnTGvN2/640ICQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T11:47:24.867204Z"},"content_sha256":"9fb4abd655e4f2c9c065116640e34c745a48bbae3f9aadfb1de2f8db98a6720b","schema_version":"1.0","event_id":"sha256:9fb4abd655e4f2c9c065116640e34c745a48bbae3f9aadfb1de2f8db98a6720b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I2BTJKOQWCKWTMVBLK5DV3PSNT/bundle.json","state_url":"https://pith.science/pith/I2BTJKOQWCKWTMVBLK5DV3PSNT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I2BTJKOQWCKWTMVBLK5DV3PSNT/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-06-24T11:47:24Z","links":{"resolver":"https://pith.science/pith/I2BTJKOQWCKWTMVBLK5DV3PSNT","bundle":"https://pith.science/pith/I2BTJKOQWCKWTMVBLK5DV3PSNT/bundle.json","state":"https://pith.science/pith/I2BTJKOQWCKWTMVBLK5DV3PSNT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I2BTJKOQWCKWTMVBLK5DV3PSNT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:I2BTJKOQWCKWTMVBLK5DV3PSNT","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":"024af784cb6454f9bc96b51f6c143a7d2b1a2fbdedf76de13a442cc7fd5b3ac8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-06-17T14:05:25Z","title_canon_sha256":"863cf8103183d2fc42d3249c10ef5c2d2928a5721e6a712e3f51c99125275ae5"},"schema_version":"1.0","source":{"id":"1306.3867","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.3867","created_at":"2026-05-18T03:20:46Z"},{"alias_kind":"arxiv_version","alias_value":"1306.3867v1","created_at":"2026-05-18T03:20:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.3867","created_at":"2026-05-18T03:20:46Z"},{"alias_kind":"pith_short_12","alias_value":"I2BTJKOQWCKW","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"I2BTJKOQWCKWTMVB","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"I2BTJKOQ","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:9fb4abd655e4f2c9c065116640e34c745a48bbae3f9aadfb1de2f8db98a6720b","target":"graph","created_at":"2026-05-18T03:20:46Z","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":"A real symmetric n times n matrix is called copositive if the corresponding quadratic form is non-negative on the closed first orthant. If the matrix fails to be copositive there exists some non-negative certificate for which the quadratic form is negative. Due to the scaling property, we can find such certificates in every neighborhood of the origin but their properties depend on the matrix of course and are hard to describe. If it is an integer matrix however, we are guaranteed certificates of a complexity that is at most a constant times the binary encoding length of the matrix raised to th","authors_text":"Timo Hirscher","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-06-17T14:05:25Z","title":"Integer matrices that are not copositive have certificates of less than quadratic complexity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.3867","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:8bc55708f7bee1e343ec92dbfee6f31f755f4e645897e90d6a5bd5919998efdc","target":"record","created_at":"2026-05-18T03:20:46Z","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":"024af784cb6454f9bc96b51f6c143a7d2b1a2fbdedf76de13a442cc7fd5b3ac8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-06-17T14:05:25Z","title_canon_sha256":"863cf8103183d2fc42d3249c10ef5c2d2928a5721e6a712e3f51c99125275ae5"},"schema_version":"1.0","source":{"id":"1306.3867","kind":"arxiv","version":1}},"canonical_sha256":"468334a9d0b09569b2a15aba3aedf26ceeec078a4385351202c0c56ff7dba17b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"468334a9d0b09569b2a15aba3aedf26ceeec078a4385351202c0c56ff7dba17b","first_computed_at":"2026-05-18T03:20:46.143252Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:20:46.143252Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TvHjUrdA9wIsJ+jCV9ngMscCvnA2LDPjQXqY5fpyYOBqRvGiXpdGqrGSUj+3SBR71glJ935wrw5rWoiPKAewAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:20:46.144095Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.3867","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8bc55708f7bee1e343ec92dbfee6f31f755f4e645897e90d6a5bd5919998efdc","sha256:9fb4abd655e4f2c9c065116640e34c745a48bbae3f9aadfb1de2f8db98a6720b"],"state_sha256":"402266fa6ff63be0fdcb0449621c54d936e8ea14cee3b019e8a0aeb249d60452"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0bczRKNFuODgG8bGwKB7J+aJprzo+6dAM1ypX7efUW+3JkldPBLOcX4dLc4xdkqxahctt+UcZ1bHMjh8bseCBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T11:47:24.869225Z","bundle_sha256":"c5e4a0d32d8cfad847c63709ed60111c8a51d8284c4f8d5c639c740495ebf278"}}