{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:IG6CVAIJKKBXU5OKIK7W4RPPQB","short_pith_number":"pith:IG6CVAIJ","canonical_record":{"source":{"id":"1005.2059","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2010-05-12T11:35:28Z","cross_cats_sorted":["math.AP"],"title_canon_sha256":"3b1221f7c72ec2460d7fde980d54a6ccf4ae9830a325e035a2fab0937898ea01","abstract_canon_sha256":"2136ba71e7c741e7c33bda26fc772925d4c54e4f8c0e06a9c93ec5f42e281843"},"schema_version":"1.0"},"canonical_sha256":"41bc2a810952837a75ca42bf6e45ef807ac56e83850167153d98dc80c82d0574","source":{"kind":"arxiv","id":"1005.2059","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1005.2059","created_at":"2026-05-18T03:20:20Z"},{"alias_kind":"arxiv_version","alias_value":"1005.2059v5","created_at":"2026-05-18T03:20:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.2059","created_at":"2026-05-18T03:20:20Z"},{"alias_kind":"pith_short_12","alias_value":"IG6CVAIJKKBX","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_16","alias_value":"IG6CVAIJKKBXU5OK","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_8","alias_value":"IG6CVAIJ","created_at":"2026-05-18T12:26:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:IG6CVAIJKKBXU5OKIK7W4RPPQB","target":"record","payload":{"canonical_record":{"source":{"id":"1005.2059","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2010-05-12T11:35:28Z","cross_cats_sorted":["math.AP"],"title_canon_sha256":"3b1221f7c72ec2460d7fde980d54a6ccf4ae9830a325e035a2fab0937898ea01","abstract_canon_sha256":"2136ba71e7c741e7c33bda26fc772925d4c54e4f8c0e06a9c93ec5f42e281843"},"schema_version":"1.0"},"canonical_sha256":"41bc2a810952837a75ca42bf6e45ef807ac56e83850167153d98dc80c82d0574","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:20:20.944746Z","signature_b64":"dvBjHfZhMDe4W2+yix0nFmzQt4z8nlNpvkJpLC8KZwD2wqsf1O/TLOLEhG/WZBxAG891OgEBOeQvVRdBMHQoBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"41bc2a810952837a75ca42bf6e45ef807ac56e83850167153d98dc80c82d0574","last_reissued_at":"2026-05-18T03:20:20.944081Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:20:20.944081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1005.2059","source_version":5,"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:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EmAEpawJhQdDqid/u4/zsBhm1zE/g84MY2EavDOrcEtJf78MH4puuh5OQr4yjZdDW1WM1i+AA6AZHtPOY1t0Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:30:39.409970Z"},"content_sha256":"f66fdb194706529c82eaeb6eee718a9d9f7dd5c394789e8e99ad63541dcbf5e1","schema_version":"1.0","event_id":"sha256:f66fdb194706529c82eaeb6eee718a9d9f7dd5c394789e8e99ad63541dcbf5e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:IG6CVAIJKKBXU5OKIK7W4RPPQB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On variational eigenvalue approximation of semidefinite operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AP"],"primary_cat":"math.NA","authors_text":"Ragnar Winther, Snorre Harald Christiansen","submitted_at":"2010-05-12T11:35:28Z","abstract_excerpt":"Eigenvalue problems for semidefinite operators with infinite dimensional kernels appear for instance in electromagnetics. Variational discretizations with edge elements have long been analyzed in terms of a discrete compactness property. As an alternative, we show here how the abstract theory can be developed in terms of a geometric property called the vanishing gap condition. This condition is shown to be equivalent to eigenvalue convergence and intermediate between two different discrete variants of Friedrichs estimates. Next we turn to a more practical means of checking these properties. We"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.2059","kind":"arxiv","version":5},"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:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2i49IFTvp6+VjlT9PmwaSQ7qcoIdQRVBR8dSAfRz+hm46vrdbcOhHSvbDtacaOZgBpDYwNwObdDoARBtHci/CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:30:39.410347Z"},"content_sha256":"239862ac363c028371214d830d624ea2778995586a745e0a1fb422e1484d7b9c","schema_version":"1.0","event_id":"sha256:239862ac363c028371214d830d624ea2778995586a745e0a1fb422e1484d7b9c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IG6CVAIJKKBXU5OKIK7W4RPPQB/bundle.json","state_url":"https://pith.science/pith/IG6CVAIJKKBXU5OKIK7W4RPPQB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IG6CVAIJKKBXU5OKIK7W4RPPQB/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-30T15:30:39Z","links":{"resolver":"https://pith.science/pith/IG6CVAIJKKBXU5OKIK7W4RPPQB","bundle":"https://pith.science/pith/IG6CVAIJKKBXU5OKIK7W4RPPQB/bundle.json","state":"https://pith.science/pith/IG6CVAIJKKBXU5OKIK7W4RPPQB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IG6CVAIJKKBXU5OKIK7W4RPPQB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:IG6CVAIJKKBXU5OKIK7W4RPPQB","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":"2136ba71e7c741e7c33bda26fc772925d4c54e4f8c0e06a9c93ec5f42e281843","cross_cats_sorted":["math.AP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2010-05-12T11:35:28Z","title_canon_sha256":"3b1221f7c72ec2460d7fde980d54a6ccf4ae9830a325e035a2fab0937898ea01"},"schema_version":"1.0","source":{"id":"1005.2059","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1005.2059","created_at":"2026-05-18T03:20:20Z"},{"alias_kind":"arxiv_version","alias_value":"1005.2059v5","created_at":"2026-05-18T03:20:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.2059","created_at":"2026-05-18T03:20:20Z"},{"alias_kind":"pith_short_12","alias_value":"IG6CVAIJKKBX","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_16","alias_value":"IG6CVAIJKKBXU5OK","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_8","alias_value":"IG6CVAIJ","created_at":"2026-05-18T12:26:09Z"}],"graph_snapshots":[{"event_id":"sha256:239862ac363c028371214d830d624ea2778995586a745e0a1fb422e1484d7b9c","target":"graph","created_at":"2026-05-18T03:20:20Z","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":"Eigenvalue problems for semidefinite operators with infinite dimensional kernels appear for instance in electromagnetics. Variational discretizations with edge elements have long been analyzed in terms of a discrete compactness property. As an alternative, we show here how the abstract theory can be developed in terms of a geometric property called the vanishing gap condition. This condition is shown to be equivalent to eigenvalue convergence and intermediate between two different discrete variants of Friedrichs estimates. Next we turn to a more practical means of checking these properties. We","authors_text":"Ragnar Winther, Snorre Harald Christiansen","cross_cats":["math.AP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2010-05-12T11:35:28Z","title":"On variational eigenvalue approximation of semidefinite operators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.2059","kind":"arxiv","version":5},"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:f66fdb194706529c82eaeb6eee718a9d9f7dd5c394789e8e99ad63541dcbf5e1","target":"record","created_at":"2026-05-18T03:20:20Z","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":"2136ba71e7c741e7c33bda26fc772925d4c54e4f8c0e06a9c93ec5f42e281843","cross_cats_sorted":["math.AP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2010-05-12T11:35:28Z","title_canon_sha256":"3b1221f7c72ec2460d7fde980d54a6ccf4ae9830a325e035a2fab0937898ea01"},"schema_version":"1.0","source":{"id":"1005.2059","kind":"arxiv","version":5}},"canonical_sha256":"41bc2a810952837a75ca42bf6e45ef807ac56e83850167153d98dc80c82d0574","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"41bc2a810952837a75ca42bf6e45ef807ac56e83850167153d98dc80c82d0574","first_computed_at":"2026-05-18T03:20:20.944081Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:20:20.944081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dvBjHfZhMDe4W2+yix0nFmzQt4z8nlNpvkJpLC8KZwD2wqsf1O/TLOLEhG/WZBxAG891OgEBOeQvVRdBMHQoBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:20:20.944746Z","signed_message":"canonical_sha256_bytes"},"source_id":"1005.2059","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f66fdb194706529c82eaeb6eee718a9d9f7dd5c394789e8e99ad63541dcbf5e1","sha256:239862ac363c028371214d830d624ea2778995586a745e0a1fb422e1484d7b9c"],"state_sha256":"15991f532ae65d8a4e2c0942ef706ea429aa2a1e9f67b2244828028dea9590fd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z5eIWOUaoPhiHMbuMPYK6Gk5DMviCxvcfM7+KXjhV4p0YZsR4OFijvYdn2dYazWrqn06+TLFQjrHDXjZ9w/DDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T15:30:39.412299Z","bundle_sha256":"54d99bf69d0c230e491448058550785a8eb5daa9685aa254ec4f2c225c7bf136"}}