{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:QVYRTJA5YWIIUVHYEGSKX56RR3","short_pith_number":"pith:QVYRTJA5","canonical_record":{"source":{"id":"1907.12981","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-07-30T14:28:49Z","cross_cats_sorted":[],"title_canon_sha256":"ff0f44f38fc265ad49f988ab5c6d3ee5dcb40e785e83a31c0279f5713c983255","abstract_canon_sha256":"a56fa2668c3c34d6fe59d160ce29d7d02074b2df475adb49b41a4f2020a25b89"},"schema_version":"1.0"},"canonical_sha256":"857119a41dc5908a54f821a4abf7d18eedbf0dda2d966d14986ab1067e58a5a0","source":{"kind":"arxiv","id":"1907.12981","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.12981","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"arxiv_version","alias_value":"1907.12981v3","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.12981","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"pith_short_12","alias_value":"QVYRTJA5YWII","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"pith_short_16","alias_value":"QVYRTJA5YWIIUVHY","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"pith_short_8","alias_value":"QVYRTJA5","created_at":"2026-07-05T00:47:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:QVYRTJA5YWIIUVHYEGSKX56RR3","target":"record","payload":{"canonical_record":{"source":{"id":"1907.12981","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-07-30T14:28:49Z","cross_cats_sorted":[],"title_canon_sha256":"ff0f44f38fc265ad49f988ab5c6d3ee5dcb40e785e83a31c0279f5713c983255","abstract_canon_sha256":"a56fa2668c3c34d6fe59d160ce29d7d02074b2df475adb49b41a4f2020a25b89"},"schema_version":"1.0"},"canonical_sha256":"857119a41dc5908a54f821a4abf7d18eedbf0dda2d966d14986ab1067e58a5a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:47:27.143093Z","signature_b64":"s5a5cNmAn9/bwgdict+N5s28Q/pZ4sdWk4z6F8HL3+G2ci3bdClRyOOT8tH0OqSVThUx5btokrEHtS4pUmtzAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"857119a41dc5908a54f821a4abf7d18eedbf0dda2d966d14986ab1067e58a5a0","last_reissued_at":"2026-07-05T00:47:27.142704Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:47:27.142704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.12981","source_version":3,"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-07-05T00:47:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"leMan8YHQUWv/1Eu3vYg8rnx5e886u/dQBA11u7szlNl7vs9PS4Dj+UJFYY9Csk2IUl/zqGJxHIJyvZ95u5dAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T04:15:41.589713Z"},"content_sha256":"d8ffc9847fc6dc4a3b3244600d71840204ee7f9adb6d750396be02e8f68ed5da","schema_version":"1.0","event_id":"sha256:d8ffc9847fc6dc4a3b3244600d71840204ee7f9adb6d750396be02e8f68ed5da"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:QVYRTJA5YWIIUVHYEGSKX56RR3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proof of some conjectures involving quadratic residues","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Fedor Petrov, Zhi-Wei Sun","submitted_at":"2019-07-30T14:28:49Z","abstract_excerpt":"We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime $p\\equiv 1\\pmod 4$ and integer $a\\not\\equiv0\\pmod p$, we prove that \\begin{align*}&(-1)^{|\\{1\\le k<\\frac p4:\\ (\\frac kp)=-1\\}|}\\prod_{1\\le j<k\\le(p-1)/2}(e^{2\\pi iaj^2/p}+e^{2\\pi iak^2/p}) \\\\=&\\begin{cases}1&\\text{if}\\ p\\equiv1\\pmod 8,\\\\\\left(\\frac ap\\right)\\varepsilon_p^{-(\\frac ap)h(p)}&\\text{if}\\ p\\equiv5\\pmod8,\\end{cases} \\end{align*} and that \\begin{align*}&\\left|\\left\\{(j,k):\\ 1\\le j<k\\le\\frac{p-1}2\\ \\&\\ \\{aj^2\\}_p>\\{ak^2\\}_p\\right\\}\\right| \\\\&+\\left|\\left\\{(j,k):\\ 1\\le j<k\\le\\frac{p-1}2\\ "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.12981","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1907.12981/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T00:47:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hnQJguBzRA7gU4XFLj4VA9MkrJGJvk0POo8R9m/er8blWcYr1s+n9ncAesC+L7sJTJL+4x+jTW2EroZiyxiABQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T04:15:41.590251Z"},"content_sha256":"dc47f4c18d368d84b08a486201f153c0042421404bbe923404e6330d9d20b0d6","schema_version":"1.0","event_id":"sha256:dc47f4c18d368d84b08a486201f153c0042421404bbe923404e6330d9d20b0d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QVYRTJA5YWIIUVHYEGSKX56RR3/bundle.json","state_url":"https://pith.science/pith/QVYRTJA5YWIIUVHYEGSKX56RR3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QVYRTJA5YWIIUVHYEGSKX56RR3/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-08-15T04:15:41Z","links":{"resolver":"https://pith.science/pith/QVYRTJA5YWIIUVHYEGSKX56RR3","bundle":"https://pith.science/pith/QVYRTJA5YWIIUVHYEGSKX56RR3/bundle.json","state":"https://pith.science/pith/QVYRTJA5YWIIUVHYEGSKX56RR3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QVYRTJA5YWIIUVHYEGSKX56RR3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QVYRTJA5YWIIUVHYEGSKX56RR3","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":"a56fa2668c3c34d6fe59d160ce29d7d02074b2df475adb49b41a4f2020a25b89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-07-30T14:28:49Z","title_canon_sha256":"ff0f44f38fc265ad49f988ab5c6d3ee5dcb40e785e83a31c0279f5713c983255"},"schema_version":"1.0","source":{"id":"1907.12981","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.12981","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"arxiv_version","alias_value":"1907.12981v3","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.12981","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"pith_short_12","alias_value":"QVYRTJA5YWII","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"pith_short_16","alias_value":"QVYRTJA5YWIIUVHY","created_at":"2026-07-05T00:47:27Z"},{"alias_kind":"pith_short_8","alias_value":"QVYRTJA5","created_at":"2026-07-05T00:47:27Z"}],"graph_snapshots":[{"event_id":"sha256:dc47f4c18d368d84b08a486201f153c0042421404bbe923404e6330d9d20b0d6","target":"graph","created_at":"2026-07-05T00:47:27Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1907.12981/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime $p\\equiv 1\\pmod 4$ and integer $a\\not\\equiv0\\pmod p$, we prove that \\begin{align*}&(-1)^{|\\{1\\le k<\\frac p4:\\ (\\frac kp)=-1\\}|}\\prod_{1\\le j<k\\le(p-1)/2}(e^{2\\pi iaj^2/p}+e^{2\\pi iak^2/p}) \\\\=&\\begin{cases}1&\\text{if}\\ p\\equiv1\\pmod 8,\\\\\\left(\\frac ap\\right)\\varepsilon_p^{-(\\frac ap)h(p)}&\\text{if}\\ p\\equiv5\\pmod8,\\end{cases} \\end{align*} and that \\begin{align*}&\\left|\\left\\{(j,k):\\ 1\\le j<k\\le\\frac{p-1}2\\ \\&\\ \\{aj^2\\}_p>\\{ak^2\\}_p\\right\\}\\right| \\\\&+\\left|\\left\\{(j,k):\\ 1\\le j<k\\le\\frac{p-1}2\\ ","authors_text":"Fedor Petrov, Zhi-Wei Sun","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-07-30T14:28:49Z","title":"Proof of some conjectures involving quadratic residues"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.12981","kind":"arxiv","version":3},"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:d8ffc9847fc6dc4a3b3244600d71840204ee7f9adb6d750396be02e8f68ed5da","target":"record","created_at":"2026-07-05T00:47:27Z","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":"a56fa2668c3c34d6fe59d160ce29d7d02074b2df475adb49b41a4f2020a25b89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-07-30T14:28:49Z","title_canon_sha256":"ff0f44f38fc265ad49f988ab5c6d3ee5dcb40e785e83a31c0279f5713c983255"},"schema_version":"1.0","source":{"id":"1907.12981","kind":"arxiv","version":3}},"canonical_sha256":"857119a41dc5908a54f821a4abf7d18eedbf0dda2d966d14986ab1067e58a5a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"857119a41dc5908a54f821a4abf7d18eedbf0dda2d966d14986ab1067e58a5a0","first_computed_at":"2026-07-05T00:47:27.142704Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:47:27.142704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s5a5cNmAn9/bwgdict+N5s28Q/pZ4sdWk4z6F8HL3+G2ci3bdClRyOOT8tH0OqSVThUx5btokrEHtS4pUmtzAA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:47:27.143093Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.12981","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8ffc9847fc6dc4a3b3244600d71840204ee7f9adb6d750396be02e8f68ed5da","sha256:dc47f4c18d368d84b08a486201f153c0042421404bbe923404e6330d9d20b0d6"],"state_sha256":"bf840b607d967a0e7195bb6ae7ee9364cd9ad117bf18013072397d0256489272"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tMC3zXwIlb7LM7xgR/XllCBIxmVHorCTpbYB/W8gpF2lONZwRebSFneuPmRHU2kAT6CrKq8RwpoknApWhH8bAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T04:15:41.594968Z","bundle_sha256":"d6d02238ccf4147a738f1d73944c7c40eb6eb5aaa9ab02040801c90a31bac062"}}