{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:747G2FIQDUGDD5UQXR2MQC7PV5","short_pith_number":"pith:747G2FIQ","canonical_record":{"source":{"id":"1307.2791","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-10T13:38:58Z","cross_cats_sorted":[],"title_canon_sha256":"e801a9e431cced1861a74fc735c4646709341c191e2aa527ee483125d0bef252","abstract_canon_sha256":"adfc9333daf09d37b30d2a0477f85a1941b30ffb8277cfb075cbe323f946addf"},"schema_version":"1.0"},"canonical_sha256":"ff3e6d15101d0c31f690bc74c80befaf4cbaff201f5cf96908941d39866f1982","source":{"kind":"arxiv","id":"1307.2791","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.2791","created_at":"2026-05-17T23:45:15Z"},{"alias_kind":"arxiv_version","alias_value":"1307.2791v1","created_at":"2026-05-17T23:45:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.2791","created_at":"2026-05-17T23:45:15Z"},{"alias_kind":"pith_short_12","alias_value":"747G2FIQDUGD","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"747G2FIQDUGDD5UQ","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"747G2FIQ","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:747G2FIQDUGDD5UQXR2MQC7PV5","target":"record","payload":{"canonical_record":{"source":{"id":"1307.2791","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-10T13:38:58Z","cross_cats_sorted":[],"title_canon_sha256":"e801a9e431cced1861a74fc735c4646709341c191e2aa527ee483125d0bef252","abstract_canon_sha256":"adfc9333daf09d37b30d2a0477f85a1941b30ffb8277cfb075cbe323f946addf"},"schema_version":"1.0"},"canonical_sha256":"ff3e6d15101d0c31f690bc74c80befaf4cbaff201f5cf96908941d39866f1982","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:15.954453Z","signature_b64":"tSPO0e9exGeQpee/XMI6zZy2vT3oESq/v7EU+9TS/sNJs7RXD4gTab7ssECMszuDjEgW1N06Db1Qpbfii23QDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ff3e6d15101d0c31f690bc74c80befaf4cbaff201f5cf96908941d39866f1982","last_reissued_at":"2026-05-17T23:45:15.953715Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:15.953715Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.2791","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:45:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tGEngF90Jt+D58PSug0iLDc7UIGnsfEwyRQEnyZpSCvVtfAvV57Qd5WwPF6B8enZ4fLt0293NTiUAKjXWqcrBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T19:36:28.277757Z"},"content_sha256":"15f0cbb0772b368c375d73ee2900078944404621c95f5995b7d7329c90789f8f","schema_version":"1.0","event_id":"sha256:15f0cbb0772b368c375d73ee2900078944404621c95f5995b7d7329c90789f8f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:747G2FIQDUGDD5UQXR2MQC7PV5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Effect of Hessian Evaluations in the Global Optimization {\\alpha}BB Method","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Milan Hlad\\'ik","submitted_at":"2013-07-10T13:38:58Z","abstract_excerpt":"We consider convex underestimators that are used in the global optimization {\\alpha}BB method and its variants. The method is based by augmenting the original nonconvex function by a relaxation term that is derived from an interval enclosure of the Hessian matrix. In this paper, we discuss the advantages of symbolic computation of the Hessian matrix. Symbolic computation often allows simplifications of the resulting expressions, which in turn means less conservative underestimators. We show by examples that even a small manipulation with the symbolic expressions, which can be processed automat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.2791","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:45:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eR6NGhCvq8u7eN6dFjYw5EjzrJVr7YqzNgruEjigKGboHMJEuVKnJo8U0i4ZANZUyzDRB3IipIOHq70+FuhpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T19:36:28.278096Z"},"content_sha256":"c6280893663f6685f91c18d1746c80fb069965c5a0011bdba3a188bce92e02c2","schema_version":"1.0","event_id":"sha256:c6280893663f6685f91c18d1746c80fb069965c5a0011bdba3a188bce92e02c2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/747G2FIQDUGDD5UQXR2MQC7PV5/bundle.json","state_url":"https://pith.science/pith/747G2FIQDUGDD5UQXR2MQC7PV5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/747G2FIQDUGDD5UQXR2MQC7PV5/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-20T19:36:28Z","links":{"resolver":"https://pith.science/pith/747G2FIQDUGDD5UQXR2MQC7PV5","bundle":"https://pith.science/pith/747G2FIQDUGDD5UQXR2MQC7PV5/bundle.json","state":"https://pith.science/pith/747G2FIQDUGDD5UQXR2MQC7PV5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/747G2FIQDUGDD5UQXR2MQC7PV5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:747G2FIQDUGDD5UQXR2MQC7PV5","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":"adfc9333daf09d37b30d2a0477f85a1941b30ffb8277cfb075cbe323f946addf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-10T13:38:58Z","title_canon_sha256":"e801a9e431cced1861a74fc735c4646709341c191e2aa527ee483125d0bef252"},"schema_version":"1.0","source":{"id":"1307.2791","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.2791","created_at":"2026-05-17T23:45:15Z"},{"alias_kind":"arxiv_version","alias_value":"1307.2791v1","created_at":"2026-05-17T23:45:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.2791","created_at":"2026-05-17T23:45:15Z"},{"alias_kind":"pith_short_12","alias_value":"747G2FIQDUGD","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"747G2FIQDUGDD5UQ","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"747G2FIQ","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:c6280893663f6685f91c18d1746c80fb069965c5a0011bdba3a188bce92e02c2","target":"graph","created_at":"2026-05-17T23:45:15Z","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 convex underestimators that are used in the global optimization {\\alpha}BB method and its variants. The method is based by augmenting the original nonconvex function by a relaxation term that is derived from an interval enclosure of the Hessian matrix. In this paper, we discuss the advantages of symbolic computation of the Hessian matrix. Symbolic computation often allows simplifications of the resulting expressions, which in turn means less conservative underestimators. We show by examples that even a small manipulation with the symbolic expressions, which can be processed automat","authors_text":"Milan Hlad\\'ik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-10T13:38:58Z","title":"The Effect of Hessian Evaluations in the Global Optimization {\\alpha}BB Method"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.2791","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:15f0cbb0772b368c375d73ee2900078944404621c95f5995b7d7329c90789f8f","target":"record","created_at":"2026-05-17T23:45:15Z","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":"adfc9333daf09d37b30d2a0477f85a1941b30ffb8277cfb075cbe323f946addf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-10T13:38:58Z","title_canon_sha256":"e801a9e431cced1861a74fc735c4646709341c191e2aa527ee483125d0bef252"},"schema_version":"1.0","source":{"id":"1307.2791","kind":"arxiv","version":1}},"canonical_sha256":"ff3e6d15101d0c31f690bc74c80befaf4cbaff201f5cf96908941d39866f1982","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ff3e6d15101d0c31f690bc74c80befaf4cbaff201f5cf96908941d39866f1982","first_computed_at":"2026-05-17T23:45:15.953715Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:15.953715Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tSPO0e9exGeQpee/XMI6zZy2vT3oESq/v7EU+9TS/sNJs7RXD4gTab7ssECMszuDjEgW1N06Db1Qpbfii23QDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:15.954453Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.2791","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:15f0cbb0772b368c375d73ee2900078944404621c95f5995b7d7329c90789f8f","sha256:c6280893663f6685f91c18d1746c80fb069965c5a0011bdba3a188bce92e02c2"],"state_sha256":"690b20e901f2805f5956662549452f4bc403c7085d386b667a6ae11c07702469"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NYMDDaEjJUpILs57OlIwmswzRBGPaaYP6oTdAQKHMsTb5dAZOpQzYIgNINgzzy9bEgj9kSvdmzlQ0ZCwJp44Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T19:36:28.280070Z","bundle_sha256":"bb084c5c24d5bfef446bc833393efa3a92826f30b4d79725ede17ceabacfcfc7"}}