Visualisation, navigation and mathematical perception: a visual notation for rational numbers mod1

There are three main results in this dissertation. The first result is the construction of an abstract visual space for rational numbers mod1, based on the visual primitives, colour, and rational radial direction. Mathematics is performed in this visual notation by defining increasingly refined visual objects from these primitives. In particular, the existence of the Farey tree enumeration of rational numbers mod1 is identified in the texture of a two-dimensional animation. ¶ The second result is a new enumeration of the rational numbers mod1, obtained, and expressed, in abstract visual space, as the visual object coset waves of coset fans on the torus. Its geometry is shown to encode a countably infinite tree structure, whose branches are cosets, nZ+m, where n, m (and k) are integers. These cosets are in geometrical 1-1 correspondence with sequences kn+m, (of denominators) of rational numbers, and with visual subobjects of the torus called coset fans. ¶ The third result is an enumeration in time of the visual hierarchy of the discrete buds of the Mandelbrot boundary by coset waves of coset fans. It is constructed by embedding the circular Farey tree geometrically into the empty internal region of the Mandelbrot set. In particular, coset fans attached to points of the (internal) binary tree index countably infinite sequences of buds on the (external) Mandelbrot boundary

An Inquiry into the Practice of Proving in Low-Dimensional Topology

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology

Some remarks on the visual angle metric

We show that the visual angle metric and the triangular ratio metric are comparable in convex domains. We also find the extremal points for the visual angle metric in the half space and in the ball by use of a construction based on hyperbolic geometry. Furthermore, we study distortion properties of quasiconformal maps with respect to the triangular ratio metric and the visual angle metric.Comment: 13 pages, 5 picture

On the Topological Characterization of Near Force-Free Magnetic Fields, and the work of late-onset visually-impaired Topologists

The Giroux correspondence and the notion of a near force-free magnetic field are used to topologically characterize near force-free magnetic fields which describe a variety of physical processes, including plasma equilibrium. As a byproduct, the topological characterization of force-free magnetic fields associated with current-carrying links, as conjectured by Crager and Kotiuga, is shown to be necessary and conditions for sufficiency are given. Along the way a paradox is exposed: The seemingly unintuitive mathematical tools, often associated to higher dimensional topology, have their origins in three dimensional contexts but in the hands of late-onset visually impaired topologists. This paradox was previously exposed in the context of algorithms for the visualization of three-dimensional magnetic fields. For this reason, the paper concludes by developing connections between mathematics and cognitive science in this specific context.Comment: 20 pages, no figures, a paper which was presented at a conference in honor of the 60th birthdays of Alberto Valli and Paolo Secci. The current preprint is from December 2014; it has been submitted to an AIMS journa