{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:JTBRITYNC3KPUZKJ3GOGYWN3CR","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":"3c3681e02c3a8422e75154434fe373bd739ce52ca3f76ca0e71d17619b7c70f8","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.AG","submitted_at":"2025-07-21T02:03:53Z","title_canon_sha256":"cb0524b4cc891d41aa49975cfba73983614f1c0fb1ecc586e04939dfc76a9fe2"},"schema_version":"1.0","source":{"id":"2507.15183","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15183","created_at":"2026-05-20T14:03:19Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15183v2","created_at":"2026-05-20T14:03:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15183","created_at":"2026-05-20T14:03:19Z"},{"alias_kind":"pith_short_12","alias_value":"JTBRITYNC3KP","created_at":"2026-05-20T14:03:19Z"},{"alias_kind":"pith_short_16","alias_value":"JTBRITYNC3KPUZKJ","created_at":"2026-05-20T14:03:19Z"},{"alias_kind":"pith_short_8","alias_value":"JTBRITYN","created_at":"2026-05-20T14:03:19Z"}],"graph_snapshots":[{"event_id":"sha256:9e920207e24d499d4526ac007b5c36b94eb4e807c24370755b90a8aa8478dd99","target":"graph","created_at":"2026-05-20T14:03:19Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We prove that the ideal of relations in the (equivariant) quantum K ring of a homogeneous space is generated by quantizations of each of the generators of the ideal in the classical (equivariant) K ring."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The quantum K-ring is constructed so that its ideal of relations is generated precisely by the images of the quantized classical generators under the natural map from the classical ring (abstract, page 1)."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Proves that the ideal of relations in the equivariant quantum K-ring of homogeneous spaces is generated by quantizations of the classical K-ring generators, extending Siebert-Tian."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The ideal of relations in the quantum K ring of a homogeneous space is generated by quantizations of the classical generators."}],"snapshot_sha256":"227b3483f4bdab7bbbd2debc0e4c966b892cf5fdf24ce2fd49103ca320dd418c"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"4a46b7448146ae49aba13400b6e5270ab2748a4ee2b1b6fd952f7cb5412dcb9f"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.15183/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We prove that the ideal of relations in the (equivariant) quantum K ring of a homogeneous space is generated by quantizations of each of the generators of the ideal in the classical (equivariant) K ring. This extends to quantum K theory a result of Siebert and Tian in quantum cohomology. We illustrate this technique in the case of the quantum K ring of partial flag manifolds, using a set of quantum K Whitney relations conjectured by the authors, and recently proved by Huq-Kuruvilla.","authors_text":"Eric Sharpe, Hao Zhang, Hao Zou, Leonardo C. Mihalcea, Wei Gu, Weihong Xu","cross_cats":["math.CO"],"headline":"The ideal of relations in the quantum K ring of a homogeneous space is generated by quantizations of the classical generators.","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.AG","submitted_at":"2025-07-21T02:03:53Z","title":"A Nakayama result for the quantum K theory of homogeneous spaces"},"references":{"count":3,"internal_anchors":0,"resolved_work":3,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"[Eis95] David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol","work_id":"cb402a73-0331-4bbe-82d1-bca5f8e91a85","year":2009},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"MR1786492 (2001m:14078) [GK17] Vassily Gorbounov and Christian Korff, Quantum integrability and generalised quantum Schubert cal- culus, Adv","work_id":"6e2a62ea-9653-44d4-9322-771c092ce7f8","year":2017},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"MR4719974 14 WEI GU, LEONARDO C. MIHALCEA, ERIC SHARPE, WEIHONG XU, HAO ZHANG, AND HAO ZOU Zhejiang Institute of Modern Physics, School of Physics, Zhejiang University, Hangzhou, Zhejiang 310058, Chin","work_id":"89b06322-17ac-4342-a010-620b8d661937","year":null}],"snapshot_sha256":"f28d7d1a94564abfd5a68344b40ef645b867cfe39e7d72478ac2242cae9ad0bc"},"source":{"id":"2507.15183","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-19T04:45:33.333169Z","id":"3efd9ac3-ee29-4583-954e-7a10652575a2","model_set":{"reader":"grok-4.3"},"one_line_summary":"Proves that the ideal of relations in the equivariant quantum K-ring of homogeneous spaces is generated by quantizations of the classical K-ring generators, extending Siebert-Tian.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The ideal of relations in the quantum K ring of a homogeneous space is generated by quantizations of the classical generators.","strongest_claim":"We prove that the ideal of relations in the (equivariant) quantum K ring of a homogeneous space is generated by quantizations of each of the generators of the ideal in the classical (equivariant) K ring.","weakest_assumption":"The quantum K-ring is constructed so that its ideal of relations is generated precisely by the images of the quantized classical generators under the natural map from the classical ring (abstract, page 1)."}},"verdict_id":"3efd9ac3-ee29-4583-954e-7a10652575a2"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:dd8430dbbd3fc6eea820f8f9f154bdd549c7bc10c47b9009752b1170cf04e2ba","target":"record","created_at":"2026-05-20T14:03:19Z","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":"3c3681e02c3a8422e75154434fe373bd739ce52ca3f76ca0e71d17619b7c70f8","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.AG","submitted_at":"2025-07-21T02:03:53Z","title_canon_sha256":"cb0524b4cc891d41aa49975cfba73983614f1c0fb1ecc586e04939dfc76a9fe2"},"schema_version":"1.0","source":{"id":"2507.15183","kind":"arxiv","version":2}},"canonical_sha256":"4cc3144f0d16d4fa6549d99c6c59bb1465469ec8a4dbaa26b98158115c1f3545","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4cc3144f0d16d4fa6549d99c6c59bb1465469ec8a4dbaa26b98158115c1f3545","first_computed_at":"2026-05-20T14:03:19.735563Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T14:03:19.735563Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a3snoJhkkuHaDDwMTKgV4Ajbh63Oirci1TFLMc/XDIAlXY8IzTRs+x+mZyZ16rNKzd/rLnMGWGd4bYoxCRi4DQ==","signature_status":"signed_v1","signed_at":"2026-05-20T14:03:19.736097Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.15183","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd8430dbbd3fc6eea820f8f9f154bdd549c7bc10c47b9009752b1170cf04e2ba","sha256:9e920207e24d499d4526ac007b5c36b94eb4e807c24370755b90a8aa8478dd99"],"state_sha256":"33287bcb46638979ff681ceb7d9cd1843b1f984584996dc7ffaf5e0e4c8d4cb8"}