{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:EEV4Y4Z2JG6RXPEEQPPG4Q2M5F","short_pith_number":"pith:EEV4Y4Z2","schema_version":"1.0","canonical_sha256":"212bcc733a49bd1bbc8483de6e434ce94dccb29c142ce9dc3c80c1414aaa3c5a","source":{"kind":"arxiv","id":"2505.22625","version":1},"attestation_state":"computed","paper":{"title":"A Proof of the Biquadratic Linear AFL for GL(4)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Qirui Li","submitted_at":"2025-05-28T17:45:02Z","abstract_excerpt":"We prove both the biquadratic Guo--Jacquet Fundamental Lemma (FL) and the biquadratic linear Arithmetic Fundamental Lemma (AFL) for GL(4) with the unit test function. Our approach relies on a detailed study of pairs of quadratic embeddings, which ultimately enables a reduction from the biquadratic case of GL(4) to the coquadratic case of GL(2). We further identify conditions under which the biquadratic case can be derived from the coquadratic case, and show that this reduction allows us to establish the conjectures for all orbits in GL(4). As an additional consequence, we also prove the biquad"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2505.22625","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NT","submitted_at":"2025-05-28T17:45:02Z","cross_cats_sorted":[],"title_canon_sha256":"c26712732162875cefa799633016d25f0fbeb267aca8fa24ea622f945ab967f6","abstract_canon_sha256":"6548c73eb7aebb1fe57b83ae1a49b37dda7a469d0b35228e1203628f6ca1e41b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:28.040391Z","signature_b64":"leXZf/lDE2jdQM6UecHlllhqHV2MH5xzz4NFJMybo1T0Z9OtsdBoZqDbgD+IuCmg+mZ5Tb2HroUM52OJv//CDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"212bcc733a49bd1bbc8483de6e434ce94dccb29c142ce9dc3c80c1414aaa3c5a","last_reissued_at":"2026-07-05T11:11:28.039894Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:28.039894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Proof of the Biquadratic Linear AFL for GL(4)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Qirui Li","submitted_at":"2025-05-28T17:45:02Z","abstract_excerpt":"We prove both the biquadratic Guo--Jacquet Fundamental Lemma (FL) and the biquadratic linear Arithmetic Fundamental Lemma (AFL) for GL(4) with the unit test function. Our approach relies on a detailed study of pairs of quadratic embeddings, which ultimately enables a reduction from the biquadratic case of GL(4) to the coquadratic case of GL(2). We further identify conditions under which the biquadratic case can be derived from the coquadratic case, and show that this reduction allows us to establish the conjectures for all orbits in GL(4). As an additional consequence, we also prove the biquad"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22625","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.22625/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.22625","created_at":"2026-07-05T11:11:28.039965+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.22625v1","created_at":"2026-07-05T11:11:28.039965+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22625","created_at":"2026-07-05T11:11:28.039965+00:00"},{"alias_kind":"pith_short_12","alias_value":"EEV4Y4Z2JG6R","created_at":"2026-07-05T11:11:28.039965+00:00"},{"alias_kind":"pith_short_16","alias_value":"EEV4Y4Z2JG6RXPEE","created_at":"2026-07-05T11:11:28.039965+00:00"},{"alias_kind":"pith_short_8","alias_value":"EEV4Y4Z2","created_at":"2026-07-05T11:11:28.039965+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F","json":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F.json","graph_json":"https://pith.science/api/pith-number/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/graph.json","events_json":"https://pith.science/api/pith-number/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/events.json","paper":"https://pith.science/paper/EEV4Y4Z2"},"agent_actions":{"view_html":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F","download_json":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F.json","view_paper":"https://pith.science/paper/EEV4Y4Z2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.22625&json=true","fetch_graph":"https://pith.science/api/pith-number/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/graph.json","fetch_events":"https://pith.science/api/pith-number/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/action/storage_attestation","attest_author":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/action/author_attestation","sign_citation":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/action/citation_signature","submit_replication":"https://pith.science/pith/EEV4Y4Z2JG6RXPEEQPPG4Q2M5F/action/replication_record"}},"created_at":"2026-07-05T11:11:28.039965+00:00","updated_at":"2026-07-05T11:11:28.039965+00:00"}