Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: 089-01. Planar Graph Metrics Embed into L1 with Constant Distortion

Manuscript map · lines 4195–4204

OpenAI@2026-10-07#rem:oai-p-089-01

Back to manuscript

Authors: OpenAI. Family 089.

Title: Planar Graph Metrics Embed into L1 with Constant Distortion.

Abstract: We prove that every finite connected planar graph with arbitrary positive real edge lengths embeds into real L1 with a universal distortion bound. This resolves the planar embedding conjecture positively.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section