{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:QOHRV2MVGDTYGJG6F3G35RP7MW","short_pith_number":"pith:QOHRV2MV","schema_version":"1.0","canonical_sha256":"838f1ae99530e78324de2ecdbec5ff65baced84b909b2ab0eb1a854f7ee71265","source":{"kind":"arxiv","id":"2007.15362","version":2},"attestation_state":"computed","paper":{"title":"Synchronized Planarity with Applications to Constrained Planarity Problems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.DS","authors_text":"Ignaz Rutter, Simon D. Fink, Thomas Bl\\\"asius","submitted_at":"2020-07-30T10:26:55Z","abstract_excerpt":"We introduce the problem Synchronized Planarity. Roughly speaking, its input is a loop-free multi-graph together with synchronization constraints that, e.g., match pairs of vertices of equal degree by providing a bijection between their edges. Synchronized Planarity then asks whether the graph admits a crossing-free embedding into the plane such that the orders of edges around synchronized vertices are consistent. We show, on the one hand, that Synchronized Planarity can be solved in quadratic time, and, on the other hand, that it serves as a powerful modeling language that lets us easily form"},"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":"2007.15362","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2020-07-30T10:26:55Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"48fcc921f6d0d09f522e229db589368b4384e3d28b94bf41b42a5e5efc57d3a9","abstract_canon_sha256":"9592650e63992d7f729e914e0758bb81fd50ae11dbbe725aaa66c8e73c98a0bb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:59:53.552192Z","signature_b64":"gtB5asuSc9FaUj8ZXzNsh0064lCEZOYYkpwo3juldiHYM5u0QDNnIMfSIRHJfPPxen7O7g011tQfLpeFHqfpCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"838f1ae99530e78324de2ecdbec5ff65baced84b909b2ab0eb1a854f7ee71265","last_reissued_at":"2026-07-05T02:59:53.551796Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:59:53.551796Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Synchronized Planarity with Applications to Constrained Planarity Problems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.DS","authors_text":"Ignaz Rutter, Simon D. Fink, Thomas Bl\\\"asius","submitted_at":"2020-07-30T10:26:55Z","abstract_excerpt":"We introduce the problem Synchronized Planarity. Roughly speaking, its input is a loop-free multi-graph together with synchronization constraints that, e.g., match pairs of vertices of equal degree by providing a bijection between their edges. Synchronized Planarity then asks whether the graph admits a crossing-free embedding into the plane such that the orders of edges around synchronized vertices are consistent. We show, on the one hand, that Synchronized Planarity can be solved in quadratic time, and, on the other hand, that it serves as a powerful modeling language that lets us easily form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.15362","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/2007.15362/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":"2007.15362","created_at":"2026-07-05T02:59:53.551854+00:00"},{"alias_kind":"arxiv_version","alias_value":"2007.15362v2","created_at":"2026-07-05T02:59:53.551854+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.15362","created_at":"2026-07-05T02:59:53.551854+00:00"},{"alias_kind":"pith_short_12","alias_value":"QOHRV2MVGDTY","created_at":"2026-07-05T02:59:53.551854+00:00"},{"alias_kind":"pith_short_16","alias_value":"QOHRV2MVGDTYGJG6","created_at":"2026-07-05T02:59:53.551854+00:00"},{"alias_kind":"pith_short_8","alias_value":"QOHRV2MV","created_at":"2026-07-05T02:59:53.551854+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/QOHRV2MVGDTYGJG6F3G35RP7MW","json":"https://pith.science/pith/QOHRV2MVGDTYGJG6F3G35RP7MW.json","graph_json":"https://pith.science/api/pith-number/QOHRV2MVGDTYGJG6F3G35RP7MW/graph.json","events_json":"https://pith.science/api/pith-number/QOHRV2MVGDTYGJG6F3G35RP7MW/events.json","paper":"https://pith.science/paper/QOHRV2MV"},"agent_actions":{"view_html":"https://pith.science/pith/QOHRV2MVGDTYGJG6F3G35RP7MW","download_json":"https://pith.science/pith/QOHRV2MVGDTYGJG6F3G35RP7MW.json","view_paper":"https://pith.science/paper/QOHRV2MV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2007.15362&json=true","fetch_graph":"https://pith.science/api/pith-number/QOHRV2MVGDTYGJG6F3G35RP7MW/graph.json","fetch_events":"https://pith.science/api/pith-number/QOHRV2MVGDTYGJG6F3G35RP7MW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QOHRV2MVGDTYGJG6F3G35RP7MW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QOHRV2MVGDTYGJG6F3G35RP7MW/action/storage_attestation","attest_author":"https://pith.science/pith/QOHRV2MVGDTYGJG6F3G35RP7MW/action/author_attestation","sign_citation":"https://pith.science/pith/QOHRV2MVGDTYGJG6F3G35RP7MW/action/citation_signature","submit_replication":"https://pith.science/pith/QOHRV2MVGDTYGJG6F3G35RP7MW/action/replication_record"}},"created_at":"2026-07-05T02:59:53.551854+00:00","updated_at":"2026-07-05T02:59:53.551854+00:00"}