{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:OLO6BYKAH6NIEAGA6KYZ547DEN","short_pith_number":"pith:OLO6BYKA","schema_version":"1.0","canonical_sha256":"72dde0e1403f9a8200c0f2b19ef3e323654785f32dbe8eee90137adc45911127","source":{"kind":"arxiv","id":"2311.06193","version":3},"attestation_state":"computed","paper":{"title":"The Density Formula: One Lemma to Bound Them All","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.CO","authors_text":"Boris Klemz, Felix Schr\\\"oder, Kristin Knorr, Meghana M. Reddy, Michael Kaufmann, Torsten Ueckerdt","submitted_at":"2023-11-10T17:18:12Z","abstract_excerpt":"We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called $k$-planar graphs with $k=1,2$, fan-crossing / fan-planar graphs, $k$-bend RAC-graphs with $k=0,1,2$, quasiplanar graphs, and $k^+$-real face graphs. In some cases ($1$-bend and $2$-bend RAC-graphs and fan-crossing / fan-planar graphs)"},"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":"2311.06193","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2023-11-10T17:18:12Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"607f0a1cdf6249cd0d91da2a752ae59859db899711800786ddbc4b98a1076e00","abstract_canon_sha256":"eb256216576272318ca13f14af582156464f6ad71083497286a092f20a68e740"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:08:21.648804Z","signature_b64":"/TThkrKKxZ4nyDVMuykzYSYILF01JccETAOsFsCmKRVeAn6Gtz8gnSJwHSCS/Tb3Esi+4Erd9HlWIKcltj/8Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72dde0e1403f9a8200c0f2b19ef3e323654785f32dbe8eee90137adc45911127","last_reissued_at":"2026-07-05T09:08:21.648233Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:08:21.648233Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Density Formula: One Lemma to Bound Them All","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.CO","authors_text":"Boris Klemz, Felix Schr\\\"oder, Kristin Knorr, Meghana M. Reddy, Michael Kaufmann, Torsten Ueckerdt","submitted_at":"2023-11-10T17:18:12Z","abstract_excerpt":"We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called $k$-planar graphs with $k=1,2$, fan-crossing / fan-planar graphs, $k$-bend RAC-graphs with $k=0,1,2$, quasiplanar graphs, and $k^+$-real face graphs. In some cases ($1$-bend and $2$-bend RAC-graphs and fan-crossing / fan-planar graphs)"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.06193","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2311.06193/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":"2311.06193","created_at":"2026-07-05T09:08:21.648306+00:00"},{"alias_kind":"arxiv_version","alias_value":"2311.06193v3","created_at":"2026-07-05T09:08:21.648306+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.06193","created_at":"2026-07-05T09:08:21.648306+00:00"},{"alias_kind":"pith_short_12","alias_value":"OLO6BYKAH6NI","created_at":"2026-07-05T09:08:21.648306+00:00"},{"alias_kind":"pith_short_16","alias_value":"OLO6BYKAH6NIEAGA","created_at":"2026-07-05T09:08:21.648306+00:00"},{"alias_kind":"pith_short_8","alias_value":"OLO6BYKA","created_at":"2026-07-05T09:08:21.648306+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.17565","citing_title":"Outer-(ap)RAC Graphs","ref_index":39,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN","json":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN.json","graph_json":"https://pith.science/api/pith-number/OLO6BYKAH6NIEAGA6KYZ547DEN/graph.json","events_json":"https://pith.science/api/pith-number/OLO6BYKAH6NIEAGA6KYZ547DEN/events.json","paper":"https://pith.science/paper/OLO6BYKA"},"agent_actions":{"view_html":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN","download_json":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN.json","view_paper":"https://pith.science/paper/OLO6BYKA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2311.06193&json=true","fetch_graph":"https://pith.science/api/pith-number/OLO6BYKAH6NIEAGA6KYZ547DEN/graph.json","fetch_events":"https://pith.science/api/pith-number/OLO6BYKAH6NIEAGA6KYZ547DEN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN/action/storage_attestation","attest_author":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN/action/author_attestation","sign_citation":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN/action/citation_signature","submit_replication":"https://pith.science/pith/OLO6BYKAH6NIEAGA6KYZ547DEN/action/replication_record"}},"created_at":"2026-07-05T09:08:21.648306+00:00","updated_at":"2026-07-05T09:08:21.648306+00:00"}