{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:XALUCEJRLPAMZZ6B76S74GGA5L","short_pith_number":"pith:XALUCEJR","schema_version":"1.0","canonical_sha256":"b8174111315bc0cce7c1ffa5fe18c0eafd7a54f32cba64cce4c4d9dd7c603955","source":{"kind":"arxiv","id":"2011.09641","version":2},"attestation_state":"computed","paper":{"title":"On the geometry of symmetry breaking inequalities","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.DM","authors_text":"Jos\\'e Verschae, L\\'eonard von Niederh\\\"ausern, Mat\\'ias Villagra","submitted_at":"2020-11-19T04:15:48Z","abstract_excerpt":"Breaking symmetries is a popular way of speeding up the branch-and-bound method for symmetric integer programs. We study fundamental domains, which are minimal and closed symmetry breaking polyhedra. Our long-term goal is to understand the relationship between the complexity of such polyhedra and their symmetry breaking capability.\n  Borrowing ideas from geometric group theory, we provide structural properties that relate the action of the group with the geometry of the facets of fundamental domains. Inspired by these insights, we provide a new generalized construction for fundamental domains,"},"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":"2011.09641","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DM","submitted_at":"2020-11-19T04:15:48Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"ff32b5465da06cdb532c604325c3a1d04a3230c69579844e7bf7678eb3861a00","abstract_canon_sha256":"9f5ad551abad0360494cbacf385ebc0b9f67d04810267f980fd41d78c7e012b8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:46:01.559180Z","signature_b64":"ENNjENgj6Jj+cylPlFMI0+MevezHGi0uVT4Acj0Gj7H33xaMHwXqNdVkX0vW3aQfnsufiqM6RhizlTiqP4EODw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8174111315bc0cce7c1ffa5fe18c0eafd7a54f32cba64cce4c4d9dd7c603955","last_reissued_at":"2026-07-05T02:46:01.558709Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:46:01.558709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the geometry of symmetry breaking inequalities","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.DM","authors_text":"Jos\\'e Verschae, L\\'eonard von Niederh\\\"ausern, Mat\\'ias Villagra","submitted_at":"2020-11-19T04:15:48Z","abstract_excerpt":"Breaking symmetries is a popular way of speeding up the branch-and-bound method for symmetric integer programs. We study fundamental domains, which are minimal and closed symmetry breaking polyhedra. Our long-term goal is to understand the relationship between the complexity of such polyhedra and their symmetry breaking capability.\n  Borrowing ideas from geometric group theory, we provide structural properties that relate the action of the group with the geometry of the facets of fundamental domains. Inspired by these insights, we provide a new generalized construction for fundamental domains,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.09641","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2011.09641/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":"2011.09641","created_at":"2026-07-05T02:46:01.558764+00:00"},{"alias_kind":"arxiv_version","alias_value":"2011.09641v2","created_at":"2026-07-05T02:46:01.558764+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.09641","created_at":"2026-07-05T02:46:01.558764+00:00"},{"alias_kind":"pith_short_12","alias_value":"XALUCEJRLPAM","created_at":"2026-07-05T02:46:01.558764+00:00"},{"alias_kind":"pith_short_16","alias_value":"XALUCEJRLPAMZZ6B","created_at":"2026-07-05T02:46:01.558764+00:00"},{"alias_kind":"pith_short_8","alias_value":"XALUCEJR","created_at":"2026-07-05T02:46:01.558764+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/XALUCEJRLPAMZZ6B76S74GGA5L","json":"https://pith.science/pith/XALUCEJRLPAMZZ6B76S74GGA5L.json","graph_json":"https://pith.science/api/pith-number/XALUCEJRLPAMZZ6B76S74GGA5L/graph.json","events_json":"https://pith.science/api/pith-number/XALUCEJRLPAMZZ6B76S74GGA5L/events.json","paper":"https://pith.science/paper/XALUCEJR"},"agent_actions":{"view_html":"https://pith.science/pith/XALUCEJRLPAMZZ6B76S74GGA5L","download_json":"https://pith.science/pith/XALUCEJRLPAMZZ6B76S74GGA5L.json","view_paper":"https://pith.science/paper/XALUCEJR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2011.09641&json=true","fetch_graph":"https://pith.science/api/pith-number/XALUCEJRLPAMZZ6B76S74GGA5L/graph.json","fetch_events":"https://pith.science/api/pith-number/XALUCEJRLPAMZZ6B76S74GGA5L/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XALUCEJRLPAMZZ6B76S74GGA5L/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XALUCEJRLPAMZZ6B76S74GGA5L/action/storage_attestation","attest_author":"https://pith.science/pith/XALUCEJRLPAMZZ6B76S74GGA5L/action/author_attestation","sign_citation":"https://pith.science/pith/XALUCEJRLPAMZZ6B76S74GGA5L/action/citation_signature","submit_replication":"https://pith.science/pith/XALUCEJRLPAMZZ6B76S74GGA5L/action/replication_record"}},"created_at":"2026-07-05T02:46:01.558764+00:00","updated_at":"2026-07-05T02:46:01.558764+00:00"}