{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:GPFF3MIBUEDC6VWZTNVOFAARMB","short_pith_number":"pith:GPFF3MIB","canonical_record":{"source":{"id":"1301.2418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-01-11T08:47:10Z","cross_cats_sorted":[],"title_canon_sha256":"c32d5c81f54f8ef8d1f1e412f13b2f79fb06ff8b4b72266ed85427909fa69dfc","abstract_canon_sha256":"a4156836e613e65d3662dfdf1dfd7eb3a1dc023e2922198ed0b8950e4754b553"},"schema_version":"1.0"},"canonical_sha256":"33ca5db101a1062f56d99b6ae28011607326054553a64bdfb0defe7a0b4cab38","source":{"kind":"arxiv","id":"1301.2418","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.2418","created_at":"2026-05-18T03:36:37Z"},{"alias_kind":"arxiv_version","alias_value":"1301.2418v1","created_at":"2026-05-18T03:36:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.2418","created_at":"2026-05-18T03:36:37Z"},{"alias_kind":"pith_short_12","alias_value":"GPFF3MIBUEDC","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GPFF3MIBUEDC6VWZ","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GPFF3MIB","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:GPFF3MIBUEDC6VWZTNVOFAARMB","target":"record","payload":{"canonical_record":{"source":{"id":"1301.2418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-01-11T08:47:10Z","cross_cats_sorted":[],"title_canon_sha256":"c32d5c81f54f8ef8d1f1e412f13b2f79fb06ff8b4b72266ed85427909fa69dfc","abstract_canon_sha256":"a4156836e613e65d3662dfdf1dfd7eb3a1dc023e2922198ed0b8950e4754b553"},"schema_version":"1.0"},"canonical_sha256":"33ca5db101a1062f56d99b6ae28011607326054553a64bdfb0defe7a0b4cab38","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:36:37.993053Z","signature_b64":"pkLyEOZo3QxpOfb3Uh283C0EHlcT+aFOtDAi4Y4B4Zxsa3ceqhCQ+3pZGr0m4IFGuPja3n8LHUwi1B/tb+SmDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33ca5db101a1062f56d99b6ae28011607326054553a64bdfb0defe7a0b4cab38","last_reissued_at":"2026-05-18T03:36:37.992604Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:36:37.992604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.2418","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:36:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/X9HiIEIJPlqmaGFQK9oZdJX/QUzOsMx9SbRhlMl6+QXj6XaoR7kbl/oF08sZwWKiWxFG/C/xkFNj5tJBOk1CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T00:14:54.069430Z"},"content_sha256":"9748ee2d809a582865cce95f15e6e58abfbece94dd013c4af93ce658674b6a70","schema_version":"1.0","event_id":"sha256:9748ee2d809a582865cce95f15e6e58abfbece94dd013c4af93ce658674b6a70"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:GPFF3MIBUEDC6VWZTNVOFAARMB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bornes effectives des fonctions d'approximation des solutions formelles d'\\'equations binomiales","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Guillaume Rond","submitted_at":"2013-01-11T08:47:10Z","abstract_excerpt":"The aim of this paper is to give an effective version of the Strong Artin Approximation Theorem for binomial equations. First we give an effective version of the Greenberg Approximation Theorem for polynomial equations, then using the Weierstrass Preparation Theorem, we apply this effective result to binomial equations. We prove that the Artin function of a system of binomial equations is bounded by a doubly exponential function in general and that it is bounded by an affine function if the order of the approximated solutions is bounded."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.2418","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:36:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b6UGzg4wHwoO6pLgbgAScQleA6Ls8EuFvdebqS8G6mrf7+6iI+xKSUrfUMMq+2EzNtzAMPEx1wGUTULtKndABw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T00:14:54.070070Z"},"content_sha256":"af2d3fc2d8bb9b6d64896e30dbd1c74a4e19567b0a49b0a0896c01fcd469d383","schema_version":"1.0","event_id":"sha256:af2d3fc2d8bb9b6d64896e30dbd1c74a4e19567b0a49b0a0896c01fcd469d383"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GPFF3MIBUEDC6VWZTNVOFAARMB/bundle.json","state_url":"https://pith.science/pith/GPFF3MIBUEDC6VWZTNVOFAARMB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GPFF3MIBUEDC6VWZTNVOFAARMB/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-08T00:14:54Z","links":{"resolver":"https://pith.science/pith/GPFF3MIBUEDC6VWZTNVOFAARMB","bundle":"https://pith.science/pith/GPFF3MIBUEDC6VWZTNVOFAARMB/bundle.json","state":"https://pith.science/pith/GPFF3MIBUEDC6VWZTNVOFAARMB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GPFF3MIBUEDC6VWZTNVOFAARMB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:GPFF3MIBUEDC6VWZTNVOFAARMB","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":"a4156836e613e65d3662dfdf1dfd7eb3a1dc023e2922198ed0b8950e4754b553","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-01-11T08:47:10Z","title_canon_sha256":"c32d5c81f54f8ef8d1f1e412f13b2f79fb06ff8b4b72266ed85427909fa69dfc"},"schema_version":"1.0","source":{"id":"1301.2418","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.2418","created_at":"2026-05-18T03:36:37Z"},{"alias_kind":"arxiv_version","alias_value":"1301.2418v1","created_at":"2026-05-18T03:36:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.2418","created_at":"2026-05-18T03:36:37Z"},{"alias_kind":"pith_short_12","alias_value":"GPFF3MIBUEDC","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GPFF3MIBUEDC6VWZ","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GPFF3MIB","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:af2d3fc2d8bb9b6d64896e30dbd1c74a4e19567b0a49b0a0896c01fcd469d383","target":"graph","created_at":"2026-05-18T03:36:37Z","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":"The aim of this paper is to give an effective version of the Strong Artin Approximation Theorem for binomial equations. First we give an effective version of the Greenberg Approximation Theorem for polynomial equations, then using the Weierstrass Preparation Theorem, we apply this effective result to binomial equations. We prove that the Artin function of a system of binomial equations is bounded by a doubly exponential function in general and that it is bounded by an affine function if the order of the approximated solutions is bounded.","authors_text":"Guillaume Rond","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-01-11T08:47:10Z","title":"Bornes effectives des fonctions d'approximation des solutions formelles d'\\'equations binomiales"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.2418","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:9748ee2d809a582865cce95f15e6e58abfbece94dd013c4af93ce658674b6a70","target":"record","created_at":"2026-05-18T03:36:37Z","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":"a4156836e613e65d3662dfdf1dfd7eb3a1dc023e2922198ed0b8950e4754b553","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-01-11T08:47:10Z","title_canon_sha256":"c32d5c81f54f8ef8d1f1e412f13b2f79fb06ff8b4b72266ed85427909fa69dfc"},"schema_version":"1.0","source":{"id":"1301.2418","kind":"arxiv","version":1}},"canonical_sha256":"33ca5db101a1062f56d99b6ae28011607326054553a64bdfb0defe7a0b4cab38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33ca5db101a1062f56d99b6ae28011607326054553a64bdfb0defe7a0b4cab38","first_computed_at":"2026-05-18T03:36:37.992604Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:36:37.992604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pkLyEOZo3QxpOfb3Uh283C0EHlcT+aFOtDAi4Y4B4Zxsa3ceqhCQ+3pZGr0m4IFGuPja3n8LHUwi1B/tb+SmDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:36:37.993053Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.2418","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9748ee2d809a582865cce95f15e6e58abfbece94dd013c4af93ce658674b6a70","sha256:af2d3fc2d8bb9b6d64896e30dbd1c74a4e19567b0a49b0a0896c01fcd469d383"],"state_sha256":"a6fb5e284b2ef0bed3ee010ea151168fdc41a134377e8db45cc33c668f65f3c4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KlVzxalPGBXbSbRMRQ9ywYx4qypPj7nEe3LogCTS11xnrozwpc/ZzXJNisGqAuK4whJXAgwUUEroOwADy5ByBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T00:14:54.073856Z","bundle_sha256":"a5b39e521fb40ef23e9ac132149152b6e7dea0a2597284753dc8fb581d68a05c"}}