{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:P7GPKBFVI6KCKN2PBPPCKR4N3X","short_pith_number":"pith:P7GPKBFV","schema_version":"1.0","canonical_sha256":"7fccf504b5479425374f0bde25478dddd4d1f788fe183bd0f39e391deca7a17e","source":{"kind":"arxiv","id":"2606.07321","version":1},"attestation_state":"computed","paper":{"title":"Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SC","math.IT"],"primary_cat":"cs.IT","authors_text":"AmirHosein Sadeghimanesh, Matthew England, Nayyar Zaidi, Uzma Shafiq","submitted_at":"2026-06-05T14:39:35Z","abstract_excerpt":"We present a novel S-pair selection strategy called Homogeneity Entropy, for deciding the sequence of S-polynomials to construct in Buchberger's algorithm to compute a Groebner basis. The strategy uses an information theoretic measure derived from the distribution of degrees among the monomials of the S-polynomial: a very different approach to the classical heuristics such as Degree, Normal and Sugar, or indeed the more recent machine learning approaches to the problem. We implement this strategy and evaluate it on two different datasets: (1) variations of randomly generated polynomial systems"},"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":"2606.07321","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IT","submitted_at":"2026-06-05T14:39:35Z","cross_cats_sorted":["cs.SC","math.IT"],"title_canon_sha256":"4aac5a704022912d3b9e53fa26a639e7c5028696b1522bff2e8aefea8d6860ce","abstract_canon_sha256":"5c05f728700f09a5cd848b5e556d162ad79657665ffa0038bb0f23509670c900"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T01:05:19.436139Z","signature_b64":"UNNUge8y2M52Gf0PylBXDF49lPGW4evtrjwoUZrXOUSxvzmQUhF6vtIzxC0kGrR1RlmHRQgZrVbgXd6lQ0+qCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7fccf504b5479425374f0bde25478dddd4d1f788fe183bd0f39e391deca7a17e","last_reissued_at":"2026-06-08T01:05:19.435467Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T01:05:19.435467Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SC","math.IT"],"primary_cat":"cs.IT","authors_text":"AmirHosein Sadeghimanesh, Matthew England, Nayyar Zaidi, Uzma Shafiq","submitted_at":"2026-06-05T14:39:35Z","abstract_excerpt":"We present a novel S-pair selection strategy called Homogeneity Entropy, for deciding the sequence of S-polynomials to construct in Buchberger's algorithm to compute a Groebner basis. The strategy uses an information theoretic measure derived from the distribution of degrees among the monomials of the S-polynomial: a very different approach to the classical heuristics such as Degree, Normal and Sugar, or indeed the more recent machine learning approaches to the problem. We implement this strategy and evaluate it on two different datasets: (1) variations of randomly generated polynomial systems"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07321","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/2606.07321/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":"2606.07321","created_at":"2026-06-08T01:05:19.435578+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.07321v1","created_at":"2026-06-08T01:05:19.435578+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07321","created_at":"2026-06-08T01:05:19.435578+00:00"},{"alias_kind":"pith_short_12","alias_value":"P7GPKBFVI6KC","created_at":"2026-06-08T01:05:19.435578+00:00"},{"alias_kind":"pith_short_16","alias_value":"P7GPKBFVI6KCKN2P","created_at":"2026-06-08T01:05:19.435578+00:00"},{"alias_kind":"pith_short_8","alias_value":"P7GPKBFV","created_at":"2026-06-08T01:05:19.435578+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/P7GPKBFVI6KCKN2PBPPCKR4N3X","json":"https://pith.science/pith/P7GPKBFVI6KCKN2PBPPCKR4N3X.json","graph_json":"https://pith.science/api/pith-number/P7GPKBFVI6KCKN2PBPPCKR4N3X/graph.json","events_json":"https://pith.science/api/pith-number/P7GPKBFVI6KCKN2PBPPCKR4N3X/events.json","paper":"https://pith.science/paper/P7GPKBFV"},"agent_actions":{"view_html":"https://pith.science/pith/P7GPKBFVI6KCKN2PBPPCKR4N3X","download_json":"https://pith.science/pith/P7GPKBFVI6KCKN2PBPPCKR4N3X.json","view_paper":"https://pith.science/paper/P7GPKBFV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.07321&json=true","fetch_graph":"https://pith.science/api/pith-number/P7GPKBFVI6KCKN2PBPPCKR4N3X/graph.json","fetch_events":"https://pith.science/api/pith-number/P7GPKBFVI6KCKN2PBPPCKR4N3X/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P7GPKBFVI6KCKN2PBPPCKR4N3X/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P7GPKBFVI6KCKN2PBPPCKR4N3X/action/storage_attestation","attest_author":"https://pith.science/pith/P7GPKBFVI6KCKN2PBPPCKR4N3X/action/author_attestation","sign_citation":"https://pith.science/pith/P7GPKBFVI6KCKN2PBPPCKR4N3X/action/citation_signature","submit_replication":"https://pith.science/pith/P7GPKBFVI6KCKN2PBPPCKR4N3X/action/replication_record"}},"created_at":"2026-06-08T01:05:19.435578+00:00","updated_at":"2026-06-08T01:05:19.435578+00:00"}