text: Introduction. A pseudoline is formed from a line by stretching the plane without tearing: it is the image of a line under a homeomorphism of the plane [13]. In arrangements of pseudolines, pairs of pseudolines intersect at most once and cross at their intersections. Pseudoline arrangements can be used to model sorting networks [1], tilings of convex polygons by rhombi [4], and graphs that have distance-preserving embeddings into hypercubes [6]. They are also closely related to oriented matroids [11]. We consider here the visualization of arrangements using well-shaped curves. Primarily, we study weak outerplanar pseudoline arrangements. An arrangement is weak if it does not necessarily have a crossing for every pair of pseudolines [12], and outerplanar if every crossing is part of an unbounded face of the arrangement. We show that these arrangements can be drawn with all curves convex, either as polygonal chains with at most two bends per pseudoline or as semicircles above a line. Arbitrary pseudolines can also be drawn as convex curves, but may require linearly many bends. Related Work. Several results related to the visualization of pseudoline arrangements are known. In wiring diagrams, pseudolines are drawn on parallel horizontal lines, with crossings on short line segments that connect pairs of horizontal lines [10]. The graphs of arrangements have drawings in small grids [8] and the dual graphs of weak arrangements have drawings in which each bounded face is centrally symmetric [5]. The pseudoline arrangements in which each pseudoline is a translated quadrant can be used to visualize learning spaces representing the states of a human learner [7]. Researchers in graph drawing have also studied force-directed methods for schematizing systems of curves representing metro maps by replacing each curve by a spline; these curves are not necessarily pseudolines, but they typically have few crossings [9]. Results. Below we state our results for outerplanar and arbitrary arrangements. Theorem 1. Every weak outerplanar pseudoline arrangement may be represented by
  @cite_14: We establish a duality principle for arrangements of pseudolines in the projective plane, and thereby prove the conjecture of Burr, Grunbaum, and Sloane that the solution of the ''orchard problem'' for pseudoline arrangements and the solution [email protected]?(p) of the dual problem are equal.
  @cite_8: A signal-seeking tuning system for a television receiver scans the VHF and UHF signal bands until a present TV channel signal is detected. Tuning voltage is developed by a digital-to-analog converter in response to a binary word stored in an up down counter. The value of the binary word increases when a scan-up signal is applied and decreases when a scan-down signal is applied. Band signals are automatically sequenced to the next higher frequency band when the binary word "rolls-over" from a maximum to a minimum value, or to the next lower frequency band when the binary word rolls-over from its minimum to its maximum value. Scanning is stopped by inhibiting changing of the binary word when a valid sequence of AFT signals is detected. Thereafter, the tuning voltage is compensated for drifts by incrementing or decrementing the binary word whenever the AFT signal departs from a predetermined condition. This correction is inhibited, however, when the binary word is at its minimum or maximum value so that unwanted bandswitching is avoided.
  @cite_9: We describe algorithms for drawing media, systems of states, tokens and actions that have state transition graphs in the form of partial cubes. Our algorithms are based on two principles: embedding the state transition graph in a low-dimensional integer lattice and projecting the lattice onto the plane, or drawing the medium as a planar graph with centrally symmetric faces.
  @cite_3: The automatic layout of metro maps has been investigated quite intensely over the last few years. Previous work has focused on the octilinear drawing style where edges are drawn horizontally, vertically, or diagonally at 45°. Inspired by manually created curvy metro maps, we advocate the use of the curvilinear drawing style; we draw edges as Bezier curves. Since we forbid metro lines to bend (even in stations), the user of such a map can trace the metro lines easily. In order to create such drawings, we use the force-directed framework. Our method is the first that directly represents and operates on edges as curves.
  @cite_0: We describe a linear-time algorithm that finds a planar drawing of every graph of a simple line or pseudoline arrangement within a grid of area On 7 6. No known input causes our algorithm to use area Ωn 1+e for any e>0; finding such an input would represent significant progress on the famous k-set problem from discrete geometry. Drawing line arrangement graphs is the main task in the Planarity puzzle.
summary: Several results related to the visualization of pseudoline arrangements are known. In , pseudolines are drawn on parallel horizontal lines, with crossings on short line segments that connect pairs of horizontal lines @cite_14 . Using a method based on compaction of wiring diagrams, the graphs of pseudoline arrangements may be given straight line drawings in small grids @cite_0 . The planar dual graph of a weak pseudoline arrangement may be characterized as having drawings in which each bounded face is a centrally symmetric polygon @cite_9 . The pseudoline arrangements in which each pseudoline is a translated quadrant can be used to visualize , representing the possible states of knowledge of a human learner @cite_8 . Researchers in graph drawing have also studied force-directed methods for schematizing systems of curves representing metro maps by replacing each curve by a spline; these curves are not necessarily pseudolines, but they typically have few crossings @cite_3 .