{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:HGZDJYJKZVTTGDXJ4GRW33RN63","short_pith_number":"pith:HGZDJYJK","canonical_record":{"source":{"id":"1609.03431","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-09-12T14:58:53Z","cross_cats_sorted":[],"title_canon_sha256":"c06179748bcb554ecc18ed89b991f0fa0f28ecf3db117e555c099b72d2d08efe","abstract_canon_sha256":"2e004dce4bcefcba167804be138842dbe51ea1e46a77cbc5b38173a2b13bd557"},"schema_version":"1.0"},"canonical_sha256":"39b234e12acd67330ee9e1a36dee2df6c3eddf5b315e21e5ad66c84b903c8f9c","source":{"kind":"arxiv","id":"1609.03431","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.03431","created_at":"2026-05-18T00:57:26Z"},{"alias_kind":"arxiv_version","alias_value":"1609.03431v1","created_at":"2026-05-18T00:57:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.03431","created_at":"2026-05-18T00:57:26Z"},{"alias_kind":"pith_short_12","alias_value":"HGZDJYJKZVTT","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HGZDJYJKZVTTGDXJ","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HGZDJYJK","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:HGZDJYJKZVTTGDXJ4GRW33RN63","target":"record","payload":{"canonical_record":{"source":{"id":"1609.03431","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-09-12T14:58:53Z","cross_cats_sorted":[],"title_canon_sha256":"c06179748bcb554ecc18ed89b991f0fa0f28ecf3db117e555c099b72d2d08efe","abstract_canon_sha256":"2e004dce4bcefcba167804be138842dbe51ea1e46a77cbc5b38173a2b13bd557"},"schema_version":"1.0"},"canonical_sha256":"39b234e12acd67330ee9e1a36dee2df6c3eddf5b315e21e5ad66c84b903c8f9c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:26.047242Z","signature_b64":"KSwSUMFs999qSg6Qbf3RXqRHlNPj9BBPf3ZjlwB0Rn8g1oinMY+fJl2RFLbPwoUBYZUJuxf+pGN9K2qqawCTDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"39b234e12acd67330ee9e1a36dee2df6c3eddf5b315e21e5ad66c84b903c8f9c","last_reissued_at":"2026-05-18T00:57:26.046572Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:26.046572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.03431","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-18T00:57:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gEFIjGuET8NfUWCWKCZ/9JkumvCzFNUQOGMfrF7eTuo7TNCF5yCqYvxf8D4gCJHWjf4M4WxxrGIGxJN0uxnbCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:57:17.199645Z"},"content_sha256":"3481fc0c72f15e3858c252d43457bd40e8915919916d80a5fe0c5a0d74730653","schema_version":"1.0","event_id":"sha256:3481fc0c72f15e3858c252d43457bd40e8915919916d80a5fe0c5a0d74730653"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:HGZDJYJKZVTTGDXJ4GRW33RN63","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Galerkin least squares finite element method for the obstacle problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Erik Burman, Mats G. Larson, Peter Hansbo, Rolf Stenberg","submitted_at":"2016-09-12T14:58:53Z","abstract_excerpt":"We construct a consistent multiplier free method for the finite element solution of the obstacle problem. The method is based on an augmented Lagrangian formulation in which we eliminate the multiplier by use of its definition in a discrete setting. We prove existence and uniqueness of discrete solutions and optimal order a priori error estimates for smooth exact solutions. Using a saturation assumption we also prove an a posteriori error estimate. Numerical examples show the performance of the method and of an adaptive algorithm for the control of the discretization error."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.03431","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-18T00:57:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mQ/EOoEMxH6xm/Mwd0QmKK3SkSuZuvodT4IR2ytBDEfmmVyLOVqwjA+EU4v/WEiyEJTmOZSVrZIGILz5YFd9Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:57:17.200308Z"},"content_sha256":"5dc782d21e09aa563384a103134205cd524e91a542fd207e19b497c7506996da","schema_version":"1.0","event_id":"sha256:5dc782d21e09aa563384a103134205cd524e91a542fd207e19b497c7506996da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HGZDJYJKZVTTGDXJ4GRW33RN63/bundle.json","state_url":"https://pith.science/pith/HGZDJYJKZVTTGDXJ4GRW33RN63/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HGZDJYJKZVTTGDXJ4GRW33RN63/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-31T23:57:17Z","links":{"resolver":"https://pith.science/pith/HGZDJYJKZVTTGDXJ4GRW33RN63","bundle":"https://pith.science/pith/HGZDJYJKZVTTGDXJ4GRW33RN63/bundle.json","state":"https://pith.science/pith/HGZDJYJKZVTTGDXJ4GRW33RN63/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HGZDJYJKZVTTGDXJ4GRW33RN63/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HGZDJYJKZVTTGDXJ4GRW33RN63","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":"2e004dce4bcefcba167804be138842dbe51ea1e46a77cbc5b38173a2b13bd557","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-09-12T14:58:53Z","title_canon_sha256":"c06179748bcb554ecc18ed89b991f0fa0f28ecf3db117e555c099b72d2d08efe"},"schema_version":"1.0","source":{"id":"1609.03431","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.03431","created_at":"2026-05-18T00:57:26Z"},{"alias_kind":"arxiv_version","alias_value":"1609.03431v1","created_at":"2026-05-18T00:57:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.03431","created_at":"2026-05-18T00:57:26Z"},{"alias_kind":"pith_short_12","alias_value":"HGZDJYJKZVTT","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HGZDJYJKZVTTGDXJ","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HGZDJYJK","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:5dc782d21e09aa563384a103134205cd524e91a542fd207e19b497c7506996da","target":"graph","created_at":"2026-05-18T00:57:26Z","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 construct a consistent multiplier free method for the finite element solution of the obstacle problem. The method is based on an augmented Lagrangian formulation in which we eliminate the multiplier by use of its definition in a discrete setting. We prove existence and uniqueness of discrete solutions and optimal order a priori error estimates for smooth exact solutions. Using a saturation assumption we also prove an a posteriori error estimate. Numerical examples show the performance of the method and of an adaptive algorithm for the control of the discretization error.","authors_text":"Erik Burman, Mats G. Larson, Peter Hansbo, Rolf Stenberg","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-09-12T14:58:53Z","title":"Galerkin least squares finite element method for the obstacle problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.03431","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:3481fc0c72f15e3858c252d43457bd40e8915919916d80a5fe0c5a0d74730653","target":"record","created_at":"2026-05-18T00:57:26Z","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":"2e004dce4bcefcba167804be138842dbe51ea1e46a77cbc5b38173a2b13bd557","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-09-12T14:58:53Z","title_canon_sha256":"c06179748bcb554ecc18ed89b991f0fa0f28ecf3db117e555c099b72d2d08efe"},"schema_version":"1.0","source":{"id":"1609.03431","kind":"arxiv","version":1}},"canonical_sha256":"39b234e12acd67330ee9e1a36dee2df6c3eddf5b315e21e5ad66c84b903c8f9c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39b234e12acd67330ee9e1a36dee2df6c3eddf5b315e21e5ad66c84b903c8f9c","first_computed_at":"2026-05-18T00:57:26.046572Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:26.046572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KSwSUMFs999qSg6Qbf3RXqRHlNPj9BBPf3ZjlwB0Rn8g1oinMY+fJl2RFLbPwoUBYZUJuxf+pGN9K2qqawCTDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:26.047242Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.03431","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3481fc0c72f15e3858c252d43457bd40e8915919916d80a5fe0c5a0d74730653","sha256:5dc782d21e09aa563384a103134205cd524e91a542fd207e19b497c7506996da"],"state_sha256":"0578acd2201c00d2085e0c88f7d920eced2088fdef67e95a2b6971ae88a42f1b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ayOy5Ok+Mz4hBJDmQc3yHCZ3aqLXopUwURcY9TxuDTl9izAWE1oSIc6z//ifSd/foT4yEeaO6M8tnywG5JsvCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T23:57:17.204467Z","bundle_sha256":"d082ba5bd4deafd73810783d62f79ad46bf0760e60807293a59f3b2555a267fd"}}