{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:CPTVC637JOAUORWBSUI3CLQ2HV","short_pith_number":"pith:CPTVC637","schema_version":"1.0","canonical_sha256":"13e7517b7f4b814746c19511b12e1a3d595d79fcd75f552f04cfde5a3cd33944","source":{"kind":"arxiv","id":"2210.07924","version":1},"attestation_state":"computed","paper":{"title":"A Note on Fourier-Motzkin Elimination with Three Eliminating Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.IT"],"primary_cat":"cs.IT","authors_text":"Giuseppe Caire, Hao Xu, Kai-Kit Wong","submitted_at":"2022-07-19T22:32:27Z","abstract_excerpt":"In this note, we show how difficult the brute-force Fourier-Motzkin elimination is, even in a simple case with three eliminating variables. Specifically, we first give a theorem, which plays quite an important role in the study of information-theoretic security for a multiple access wiretap (MAC-WT) channel, and then prove it for the case with three users by directly using the Fourier-Motzkin procedure. It is shown that large amounts of inequalities are generated in the elimination procedure while most of them are redundant. Actually, the number of generated inequalities grows doubly exponenti"},"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":"2210.07924","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2022-07-19T22:32:27Z","cross_cats_sorted":["math.IT"],"title_canon_sha256":"83eef036851d34d5930620d0d6c528219b73535bbf8f46c0c7dc2c5601f78e4e","abstract_canon_sha256":"283c77306ff707258e5b68f9b7d4e1e83c4a0d79f9b57cc9df6927ee501364e6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:06:42.374512Z","signature_b64":"KOmg2rl6By2M74mN5Z8hTMVOVCfNL5BwKlufmO8+xUgzvijIo4HJ+f0WAWB91sxWHxPvlMjpJT/UF99Avzs5Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13e7517b7f4b814746c19511b12e1a3d595d79fcd75f552f04cfde5a3cd33944","last_reissued_at":"2026-07-05T05:06:42.374012Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:06:42.374012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Note on Fourier-Motzkin Elimination with Three Eliminating Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.IT"],"primary_cat":"cs.IT","authors_text":"Giuseppe Caire, Hao Xu, Kai-Kit Wong","submitted_at":"2022-07-19T22:32:27Z","abstract_excerpt":"In this note, we show how difficult the brute-force Fourier-Motzkin elimination is, even in a simple case with three eliminating variables. Specifically, we first give a theorem, which plays quite an important role in the study of information-theoretic security for a multiple access wiretap (MAC-WT) channel, and then prove it for the case with three users by directly using the Fourier-Motzkin procedure. It is shown that large amounts of inequalities are generated in the elimination procedure while most of them are redundant. Actually, the number of generated inequalities grows doubly exponenti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.07924","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/2210.07924/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":"2210.07924","created_at":"2026-07-05T05:06:42.374086+00:00"},{"alias_kind":"arxiv_version","alias_value":"2210.07924v1","created_at":"2026-07-05T05:06:42.374086+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.07924","created_at":"2026-07-05T05:06:42.374086+00:00"},{"alias_kind":"pith_short_12","alias_value":"CPTVC637JOAU","created_at":"2026-07-05T05:06:42.374086+00:00"},{"alias_kind":"pith_short_16","alias_value":"CPTVC637JOAUORWB","created_at":"2026-07-05T05:06:42.374086+00:00"},{"alias_kind":"pith_short_8","alias_value":"CPTVC637","created_at":"2026-07-05T05:06:42.374086+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/CPTVC637JOAUORWBSUI3CLQ2HV","json":"https://pith.science/pith/CPTVC637JOAUORWBSUI3CLQ2HV.json","graph_json":"https://pith.science/api/pith-number/CPTVC637JOAUORWBSUI3CLQ2HV/graph.json","events_json":"https://pith.science/api/pith-number/CPTVC637JOAUORWBSUI3CLQ2HV/events.json","paper":"https://pith.science/paper/CPTVC637"},"agent_actions":{"view_html":"https://pith.science/pith/CPTVC637JOAUORWBSUI3CLQ2HV","download_json":"https://pith.science/pith/CPTVC637JOAUORWBSUI3CLQ2HV.json","view_paper":"https://pith.science/paper/CPTVC637","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2210.07924&json=true","fetch_graph":"https://pith.science/api/pith-number/CPTVC637JOAUORWBSUI3CLQ2HV/graph.json","fetch_events":"https://pith.science/api/pith-number/CPTVC637JOAUORWBSUI3CLQ2HV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CPTVC637JOAUORWBSUI3CLQ2HV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CPTVC637JOAUORWBSUI3CLQ2HV/action/storage_attestation","attest_author":"https://pith.science/pith/CPTVC637JOAUORWBSUI3CLQ2HV/action/author_attestation","sign_citation":"https://pith.science/pith/CPTVC637JOAUORWBSUI3CLQ2HV/action/citation_signature","submit_replication":"https://pith.science/pith/CPTVC637JOAUORWBSUI3CLQ2HV/action/replication_record"}},"created_at":"2026-07-05T05:06:42.374086+00:00","updated_at":"2026-07-05T05:06:42.374086+00:00"}