{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:N5X6MTCHEZMNOM6A3Q5NAUKFZA","short_pith_number":"pith:N5X6MTCH","schema_version":"1.0","canonical_sha256":"6f6fe64c472658d733c0dc3ad05145c82607800b8781a68b8847cc457ace887d","source":{"kind":"arxiv","id":"1511.03675","version":2},"attestation_state":"computed","paper":{"title":"Membership in moment polytopes is in NP and coNP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP","math.RT","math.SG","quant-ph"],"primary_cat":"cs.CC","authors_text":"Ketan D. Mulmuley, Matthias Christandl, Michael Walter, Peter B\\\"urgisser","submitted_at":"2015-11-11T21:00:56Z","abstract_excerpt":"We show that the problem of deciding membership in the moment polytope associated with a finite-dimensional unitary representation of a compact, connected Lie group is in NP and coNP. This is the first non-trivial result on the computational complexity of this problem, which naively amounts to a quadratically-constrained program. Our result applies in particular to the Kronecker polytopes, and therefore to the problem of deciding positivity of the stretched Kronecker coefficients. In contrast, it has recently been shown that deciding positivity of a single Kronecker coefficient is NP-hard in g"},"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":"1511.03675","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-11-11T21:00:56Z","cross_cats_sorted":["math-ph","math.MP","math.RT","math.SG","quant-ph"],"title_canon_sha256":"0e238fafb77d06581973280a6f5ae3c3f1a63e8ea8d7d43e6797878b8ad1be56","abstract_canon_sha256":"4cc7d177651b97d8e99b2dc750a09b70a608df4406be5db3c1fa370f61ee34d2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:41:48.044921Z","signature_b64":"KIg7KWBetb1IrcjlMw3AiFcPVupvVtTeFNDa7cgjfK8oCc+4VkMnOo6oDKPe8NoMIbFMCesu8GoOGILIE0jnDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f6fe64c472658d733c0dc3ad05145c82607800b8781a68b8847cc457ace887d","last_reissued_at":"2026-05-18T00:41:48.044290Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:41:48.044290Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Membership in moment polytopes is in NP and coNP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP","math.RT","math.SG","quant-ph"],"primary_cat":"cs.CC","authors_text":"Ketan D. Mulmuley, Matthias Christandl, Michael Walter, Peter B\\\"urgisser","submitted_at":"2015-11-11T21:00:56Z","abstract_excerpt":"We show that the problem of deciding membership in the moment polytope associated with a finite-dimensional unitary representation of a compact, connected Lie group is in NP and coNP. This is the first non-trivial result on the computational complexity of this problem, which naively amounts to a quadratically-constrained program. Our result applies in particular to the Kronecker polytopes, and therefore to the problem of deciding positivity of the stretched Kronecker coefficients. In contrast, it has recently been shown that deciding positivity of a single Kronecker coefficient is NP-hard in g"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.03675","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1511.03675","created_at":"2026-05-18T00:41:48.044385+00:00"},{"alias_kind":"arxiv_version","alias_value":"1511.03675v2","created_at":"2026-05-18T00:41:48.044385+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.03675","created_at":"2026-05-18T00:41:48.044385+00:00"},{"alias_kind":"pith_short_12","alias_value":"N5X6MTCHEZMN","created_at":"2026-05-18T12:29:32.376354+00:00"},{"alias_kind":"pith_short_16","alias_value":"N5X6MTCHEZMNOM6A","created_at":"2026-05-18T12:29:32.376354+00:00"},{"alias_kind":"pith_short_8","alias_value":"N5X6MTCH","created_at":"2026-05-18T12:29:32.376354+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/N5X6MTCHEZMNOM6A3Q5NAUKFZA","json":"https://pith.science/pith/N5X6MTCHEZMNOM6A3Q5NAUKFZA.json","graph_json":"https://pith.science/api/pith-number/N5X6MTCHEZMNOM6A3Q5NAUKFZA/graph.json","events_json":"https://pith.science/api/pith-number/N5X6MTCHEZMNOM6A3Q5NAUKFZA/events.json","paper":"https://pith.science/paper/N5X6MTCH"},"agent_actions":{"view_html":"https://pith.science/pith/N5X6MTCHEZMNOM6A3Q5NAUKFZA","download_json":"https://pith.science/pith/N5X6MTCHEZMNOM6A3Q5NAUKFZA.json","view_paper":"https://pith.science/paper/N5X6MTCH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1511.03675&json=true","fetch_graph":"https://pith.science/api/pith-number/N5X6MTCHEZMNOM6A3Q5NAUKFZA/graph.json","fetch_events":"https://pith.science/api/pith-number/N5X6MTCHEZMNOM6A3Q5NAUKFZA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N5X6MTCHEZMNOM6A3Q5NAUKFZA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N5X6MTCHEZMNOM6A3Q5NAUKFZA/action/storage_attestation","attest_author":"https://pith.science/pith/N5X6MTCHEZMNOM6A3Q5NAUKFZA/action/author_attestation","sign_citation":"https://pith.science/pith/N5X6MTCHEZMNOM6A3Q5NAUKFZA/action/citation_signature","submit_replication":"https://pith.science/pith/N5X6MTCHEZMNOM6A3Q5NAUKFZA/action/replication_record"}},"created_at":"2026-05-18T00:41:48.044385+00:00","updated_at":"2026-05-18T00:41:48.044385+00:00"}