{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:5X7JYKALW6A4N6IEOT44N5FQWQ","short_pith_number":"pith:5X7JYKAL","schema_version":"1.0","canonical_sha256":"edfe9c280bb781c6f90474f9c6f4b0b43756f9c4d6875971f5a38c4e6991259f","source":{"kind":"arxiv","id":"1711.04692","version":2},"attestation_state":"computed","paper":{"title":"Local linear dependence of linear partial differential operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"Jaka Cimpric","submitted_at":"2017-11-13T16:39:22Z","abstract_excerpt":"We show that any finite set of linear partial differential operators with continuous coefficients is linearly dependent if and only if it is locally linearly dependent. It follows that the reflexive closure of any finite set of such operators is equal to its linear span. The last statement can be rephrased as a weak nullstellensatz for linear partial differential operators."},"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":"1711.04692","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2017-11-13T16:39:22Z","cross_cats_sorted":[],"title_canon_sha256":"30b544854b8ec225a8a60ec5958ce70b823de8ab3c7a5dddc28c0e3128cfc09f","abstract_canon_sha256":"1d57dc7e74e677d10eee10390e542c6f7ddf795781d5716330f49b98604c37d4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:54.121171Z","signature_b64":"8fbzIhmH4egnZKS4g50LOBoa+Prrc4Ppbq3jr8Hh48m9mwPeBG/4fGvsPY/snkbSvsJ0knHNT3AvctZfOdLICw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"edfe9c280bb781c6f90474f9c6f4b0b43756f9c4d6875971f5a38c4e6991259f","last_reissued_at":"2026-05-18T00:17:54.120627Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:54.120627Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Local linear dependence of linear partial differential operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"Jaka Cimpric","submitted_at":"2017-11-13T16:39:22Z","abstract_excerpt":"We show that any finite set of linear partial differential operators with continuous coefficients is linearly dependent if and only if it is locally linearly dependent. It follows that the reflexive closure of any finite set of such operators is equal to its linear span. The last statement can be rephrased as a weak nullstellensatz for linear partial differential operators."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.04692","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":"1711.04692","created_at":"2026-05-18T00:17:54.120722+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.04692v2","created_at":"2026-05-18T00:17:54.120722+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.04692","created_at":"2026-05-18T00:17:54.120722+00:00"},{"alias_kind":"pith_short_12","alias_value":"5X7JYKALW6A4","created_at":"2026-05-18T12:31:03.183658+00:00"},{"alias_kind":"pith_short_16","alias_value":"5X7JYKALW6A4N6IE","created_at":"2026-05-18T12:31:03.183658+00:00"},{"alias_kind":"pith_short_8","alias_value":"5X7JYKAL","created_at":"2026-05-18T12:31:03.183658+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/5X7JYKALW6A4N6IEOT44N5FQWQ","json":"https://pith.science/pith/5X7JYKALW6A4N6IEOT44N5FQWQ.json","graph_json":"https://pith.science/api/pith-number/5X7JYKALW6A4N6IEOT44N5FQWQ/graph.json","events_json":"https://pith.science/api/pith-number/5X7JYKALW6A4N6IEOT44N5FQWQ/events.json","paper":"https://pith.science/paper/5X7JYKAL"},"agent_actions":{"view_html":"https://pith.science/pith/5X7JYKALW6A4N6IEOT44N5FQWQ","download_json":"https://pith.science/pith/5X7JYKALW6A4N6IEOT44N5FQWQ.json","view_paper":"https://pith.science/paper/5X7JYKAL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.04692&json=true","fetch_graph":"https://pith.science/api/pith-number/5X7JYKALW6A4N6IEOT44N5FQWQ/graph.json","fetch_events":"https://pith.science/api/pith-number/5X7JYKALW6A4N6IEOT44N5FQWQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5X7JYKALW6A4N6IEOT44N5FQWQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5X7JYKALW6A4N6IEOT44N5FQWQ/action/storage_attestation","attest_author":"https://pith.science/pith/5X7JYKALW6A4N6IEOT44N5FQWQ/action/author_attestation","sign_citation":"https://pith.science/pith/5X7JYKALW6A4N6IEOT44N5FQWQ/action/citation_signature","submit_replication":"https://pith.science/pith/5X7JYKALW6A4N6IEOT44N5FQWQ/action/replication_record"}},"created_at":"2026-05-18T00:17:54.120722+00:00","updated_at":"2026-05-18T00:17:54.120722+00:00"}