{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KVBRZIIB2TKXZRSMQ44FGPPPHJ","short_pith_number":"pith:KVBRZIIB","canonical_record":{"source":{"id":"1704.05782","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2017-04-19T15:42:23Z","cross_cats_sorted":[],"title_canon_sha256":"7a87bcb66c1eeb86ae5871133d15b7c6ffed19fa6a6bb01d319ba36daf352cf6","abstract_canon_sha256":"bb1c6614bd763a7e4d94ebdb7c1992eaf422c96c6f152069dd7bbfca89216384"},"schema_version":"1.0"},"canonical_sha256":"55431ca101d4d57cc64c8738533def3a462f4e9a976e83cf1ac765653b7075aa","source":{"kind":"arxiv","id":"1704.05782","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.05782","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"arxiv_version","alias_value":"1704.05782v2","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.05782","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"pith_short_12","alias_value":"KVBRZIIB2TKX","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KVBRZIIB2TKXZRSM","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KVBRZIIB","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KVBRZIIB2TKXZRSMQ44FGPPPHJ","target":"record","payload":{"canonical_record":{"source":{"id":"1704.05782","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2017-04-19T15:42:23Z","cross_cats_sorted":[],"title_canon_sha256":"7a87bcb66c1eeb86ae5871133d15b7c6ffed19fa6a6bb01d319ba36daf352cf6","abstract_canon_sha256":"bb1c6614bd763a7e4d94ebdb7c1992eaf422c96c6f152069dd7bbfca89216384"},"schema_version":"1.0"},"canonical_sha256":"55431ca101d4d57cc64c8738533def3a462f4e9a976e83cf1ac765653b7075aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:04.955113Z","signature_b64":"aLxYBdWM6T+P9q2D/BEXcE1NuC4KQEthZCJyX4/f9txqiiyV6n2sXUfA/xW2t+rxIs2yZKvnqguD+JZv6cutAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"55431ca101d4d57cc64c8738533def3a462f4e9a976e83cf1ac765653b7075aa","last_reissued_at":"2026-05-17T23:45:04.954505Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:04.954505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.05782","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-17T23:45:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w1IB8Ghz7dRWFNpjqkycrp932hmihVdytN4HEsHQlQkAyZg45aqzjQeoI8Twd2ysVCIn7q3qtWRDio7zEDPGDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T21:18:19.909049Z"},"content_sha256":"fc0039284c147b1714fc7c79c8b1f9bd080ed1df27d8afc324180b59bfaf5f14","schema_version":"1.0","event_id":"sha256:fc0039284c147b1714fc7c79c8b1f9bd080ed1df27d8afc324180b59bfaf5f14"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KVBRZIIB2TKXZRSMQ44FGPPPHJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Positive Semidefiniteness and Positive Definiteness of a Linear Parametric Interval Matrix","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NA","authors_text":"Milan Hlad\\'ik","submitted_at":"2017-04-19T15:42:23Z","abstract_excerpt":"We consider a symmetric matrix, the entries of which depend linearly on some parameters. The domains of the parameters are compact real intervals. We investigate the problem of checking whether for each (or some) setting of the parameters, the matrix is positive definite (or positive semidefinite). We state a characterization in the form of equivalent conditions, and also propose some computationally cheap sufficient\\,/\\,necessary conditions. Our results extend the classical results on positive (semi-)definiteness of interval matrices. They may be useful for checking convexity or non-convexity"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.05782","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-17T23:45:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ztQcG6STUoROaxkh/1r2VJhGrYwDhy/+71xbAH6/pp2XJsmtKRCNwkVukTT0mnGbY7dnKP9YIzLxeX3l7FDjAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T21:18:19.909660Z"},"content_sha256":"3c3ecac8178cc6fc3ea13b26affdbcb2285dae3c44f6f627768550b6c68140b0","schema_version":"1.0","event_id":"sha256:3c3ecac8178cc6fc3ea13b26affdbcb2285dae3c44f6f627768550b6c68140b0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KVBRZIIB2TKXZRSMQ44FGPPPHJ/bundle.json","state_url":"https://pith.science/pith/KVBRZIIB2TKXZRSMQ44FGPPPHJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KVBRZIIB2TKXZRSMQ44FGPPPHJ/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-06T21:18:19Z","links":{"resolver":"https://pith.science/pith/KVBRZIIB2TKXZRSMQ44FGPPPHJ","bundle":"https://pith.science/pith/KVBRZIIB2TKXZRSMQ44FGPPPHJ/bundle.json","state":"https://pith.science/pith/KVBRZIIB2TKXZRSMQ44FGPPPHJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KVBRZIIB2TKXZRSMQ44FGPPPHJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KVBRZIIB2TKXZRSMQ44FGPPPHJ","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":"bb1c6614bd763a7e4d94ebdb7c1992eaf422c96c6f152069dd7bbfca89216384","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2017-04-19T15:42:23Z","title_canon_sha256":"7a87bcb66c1eeb86ae5871133d15b7c6ffed19fa6a6bb01d319ba36daf352cf6"},"schema_version":"1.0","source":{"id":"1704.05782","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.05782","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"arxiv_version","alias_value":"1704.05782v2","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.05782","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"pith_short_12","alias_value":"KVBRZIIB2TKX","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KVBRZIIB2TKXZRSM","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KVBRZIIB","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:3c3ecac8178cc6fc3ea13b26affdbcb2285dae3c44f6f627768550b6c68140b0","target":"graph","created_at":"2026-05-17T23:45:04Z","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 consider a symmetric matrix, the entries of which depend linearly on some parameters. The domains of the parameters are compact real intervals. We investigate the problem of checking whether for each (or some) setting of the parameters, the matrix is positive definite (or positive semidefinite). We state a characterization in the form of equivalent conditions, and also propose some computationally cheap sufficient\\,/\\,necessary conditions. Our results extend the classical results on positive (semi-)definiteness of interval matrices. They may be useful for checking convexity or non-convexity","authors_text":"Milan Hlad\\'ik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2017-04-19T15:42:23Z","title":"Positive Semidefiniteness and Positive Definiteness of a Linear Parametric Interval Matrix"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.05782","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:fc0039284c147b1714fc7c79c8b1f9bd080ed1df27d8afc324180b59bfaf5f14","target":"record","created_at":"2026-05-17T23:45:04Z","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":"bb1c6614bd763a7e4d94ebdb7c1992eaf422c96c6f152069dd7bbfca89216384","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2017-04-19T15:42:23Z","title_canon_sha256":"7a87bcb66c1eeb86ae5871133d15b7c6ffed19fa6a6bb01d319ba36daf352cf6"},"schema_version":"1.0","source":{"id":"1704.05782","kind":"arxiv","version":2}},"canonical_sha256":"55431ca101d4d57cc64c8738533def3a462f4e9a976e83cf1ac765653b7075aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"55431ca101d4d57cc64c8738533def3a462f4e9a976e83cf1ac765653b7075aa","first_computed_at":"2026-05-17T23:45:04.954505Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:04.954505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aLxYBdWM6T+P9q2D/BEXcE1NuC4KQEthZCJyX4/f9txqiiyV6n2sXUfA/xW2t+rxIs2yZKvnqguD+JZv6cutAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:04.955113Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.05782","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc0039284c147b1714fc7c79c8b1f9bd080ed1df27d8afc324180b59bfaf5f14","sha256:3c3ecac8178cc6fc3ea13b26affdbcb2285dae3c44f6f627768550b6c68140b0"],"state_sha256":"9513f1926d20c636c1fcf6ff86ab95935373879f0e851e30281dad60585ec585"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YhjonhrChvkscLNHh25pfYkmyMYrd0gEO9e3UYyN7+rxRTdcna3rrrmg3YbVh0kiFxkMDCRO7E/lHt7/rd/zAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T21:18:19.912887Z","bundle_sha256":"49ddb27b222337b1022aa41300d72b5b72fe6156620be857fc0e93bc8750dd9d"}}