{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2005:EJFWRJE2LKUOOEAJ6MGHYCQ63I","short_pith_number":"pith:EJFWRJE2","schema_version":"1.0","canonical_sha256":"224b68a49a5aa8e71009f30c7c0a1eda04c6c7e58c73fee696f47e59b812d6e3","source":{"kind":"arxiv","id":"math/0505458","version":3},"attestation_state":"computed","paper":{"title":"Tropical Arithmetic and Tropical Matrix Algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.AG","authors_text":"Zur Izhakian","submitted_at":"2005-05-22T17:09:28Z","abstract_excerpt":"This paper introduces a new structure of commutative semiring, generalizing the tropical semiring, and having an arithmetic that modifies the standard tropical operations, i.e. summation and maximum. Although our framework is combinatorial, notions of regularity and invertibility arise naturally for matrices over this semiring; we show that a tropical matrix is invertible if and only if it is regular."},"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":"math/0505458","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2005-05-22T17:09:28Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"9c75e11a860b47269c7b359d50406df09a0b53b42b855e3ba5bc10f4f85e141e","abstract_canon_sha256":"7dcf1bf9d09ed24a4240f9ba63195becca05ec5ede0c222e3cfb27f9813e326f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:42:44.933606Z","signature_b64":"B7cUioRo8Qs4W8W15PRxigmBi8yps8SIxAcsnNsZUZTXYqc+9Ry8ozIYBoYx5IGkJHaknR2gNmGZs1ZxzEyhAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"224b68a49a5aa8e71009f30c7c0a1eda04c6c7e58c73fee696f47e59b812d6e3","last_reissued_at":"2026-05-18T04:42:44.933030Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:42:44.933030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tropical Arithmetic and Tropical Matrix Algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.AG","authors_text":"Zur Izhakian","submitted_at":"2005-05-22T17:09:28Z","abstract_excerpt":"This paper introduces a new structure of commutative semiring, generalizing the tropical semiring, and having an arithmetic that modifies the standard tropical operations, i.e. summation and maximum. Although our framework is combinatorial, notions of regularity and invertibility arise naturally for matrices over this semiring; we show that a tropical matrix is invertible if and only if it is regular."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0505458","kind":"arxiv","version":3},"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":"math/0505458","created_at":"2026-05-18T04:42:44.933133+00:00"},{"alias_kind":"arxiv_version","alias_value":"math/0505458v3","created_at":"2026-05-18T04:42:44.933133+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0505458","created_at":"2026-05-18T04:42:44.933133+00:00"},{"alias_kind":"pith_short_12","alias_value":"EJFWRJE2LKUO","created_at":"2026-05-18T12:25:53.335082+00:00"},{"alias_kind":"pith_short_16","alias_value":"EJFWRJE2LKUOOEAJ","created_at":"2026-05-18T12:25:53.335082+00:00"},{"alias_kind":"pith_short_8","alias_value":"EJFWRJE2","created_at":"2026-05-18T12:25:53.335082+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/EJFWRJE2LKUOOEAJ6MGHYCQ63I","json":"https://pith.science/pith/EJFWRJE2LKUOOEAJ6MGHYCQ63I.json","graph_json":"https://pith.science/api/pith-number/EJFWRJE2LKUOOEAJ6MGHYCQ63I/graph.json","events_json":"https://pith.science/api/pith-number/EJFWRJE2LKUOOEAJ6MGHYCQ63I/events.json","paper":"https://pith.science/paper/EJFWRJE2"},"agent_actions":{"view_html":"https://pith.science/pith/EJFWRJE2LKUOOEAJ6MGHYCQ63I","download_json":"https://pith.science/pith/EJFWRJE2LKUOOEAJ6MGHYCQ63I.json","view_paper":"https://pith.science/paper/EJFWRJE2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=math/0505458&json=true","fetch_graph":"https://pith.science/api/pith-number/EJFWRJE2LKUOOEAJ6MGHYCQ63I/graph.json","fetch_events":"https://pith.science/api/pith-number/EJFWRJE2LKUOOEAJ6MGHYCQ63I/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EJFWRJE2LKUOOEAJ6MGHYCQ63I/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EJFWRJE2LKUOOEAJ6MGHYCQ63I/action/storage_attestation","attest_author":"https://pith.science/pith/EJFWRJE2LKUOOEAJ6MGHYCQ63I/action/author_attestation","sign_citation":"https://pith.science/pith/EJFWRJE2LKUOOEAJ6MGHYCQ63I/action/citation_signature","submit_replication":"https://pith.science/pith/EJFWRJE2LKUOOEAJ6MGHYCQ63I/action/replication_record"}},"created_at":"2026-05-18T04:42:44.933133+00:00","updated_at":"2026-05-18T04:42:44.933133+00:00"}