Showing 1–5 of 5 results for author: Taha, D

Immersive Visualization of Flat Surfaces Using Ray Marching

Authors: Fabian Lander, Diaaeldin Taha

Abstract: We present an effective method for visualizing flat surfaces using ray marching. Our approach provides an intuitive way to explore translation surfaces, mirror rooms, unfolded polyhedra, and translation prisms while maintaining computational efficiency. We demonstrate the utility of the method through various examples and provide implementation insights for programmers. Finally, we discuss the use… ▽ More We present an effective method for visualizing flat surfaces using ray marching. Our approach provides an intuitive way to explore translation surfaces, mirror rooms, unfolded polyhedra, and translation prisms while maintaining computational efficiency. We demonstrate the utility of the method through various examples and provide implementation insights for programmers. Finally, we discuss the use of our visualizations in outreach. We make our simulations and code available online. △ Less

Submitted 9 June, 2025; originally announced June 2025.

Comments: Presented at Bridges Math and Art Conference, Eindhoven 2025. Online demo and code available at https://fabianlander.github.io/apps/raymarchingflatsurfacesapp/ and https://github.com/FabianLander/RayMarchingFlatSurfaces

MSC Class: 68U05; 51M20 ACM Class: I.3.7; I.3.5

On The Limiting Distribution of Free Path Lengths for Flat Surfaces with Circular Obstacles

Authors: Diaaeldin Taha

Abstract: In this note, we prove the existence of a limiting distribution of the free path lengths on flat surfaces with circular obstacles as the radius of the obstacles goes to zero. Moreover, we relate this distribution to the distribution of the heights of zippered rectangle decompositions of flat surfaces. In this note, we prove the existence of a limiting distribution of the free path lengths on flat surfaces with circular obstacles as the radius of the obstacles goes to zero. Moreover, we relate this distribution to the distribution of the heights of zippered rectangle decompositions of flat surfaces. △ Less

Submitted 23 December, 2021; originally announced December 2021.

Comments: This is work in progress

On Cross Sections to the Geodesic and Horocycle Flows on Quotients of $\operatorname{SL}(2, \mathbb{R})$ by Hecke Triangle Groups $G_q$

Authors: Diaaeldin Taha

Abstract: In this paper, we provide a model for cross sections to the geodesic and horocycle flows on $\operatorname{SL}(2, \mathbb{R})/G_q$ using an extension of a heuristic of P. Arnoux and A. Nogueira. Our starting point is a continued fraction algorithm related to the group $G_q$, and a cross section to the horocycle flow on $\operatorname{SL}(2, \mathbb{R})/G_q$ from a previous paper. As an application… ▽ More In this paper, we provide a model for cross sections to the geodesic and horocycle flows on $\operatorname{SL}(2, \mathbb{R})/G_q$ using an extension of a heuristic of P. Arnoux and A. Nogueira. Our starting point is a continued fraction algorithm related to the group $G_q$, and a cross section to the horocycle flow on $\operatorname{SL}(2, \mathbb{R})/G_q$ from a previous paper. As an application, we get the natural extension and invariant measure for a symmetric $G_q$-Farey interval map resulting from projectivizing the aforementioned continued fraction algorithm. △ Less

Submitted 17 June, 2019; originally announced June 2019.

The Boca-Cobeli-Zaharescu Map Analogue for the Hecke Triangle Groups $G_q$

Authors: Diaaeldin Taha

Abstract: The Farey sequence $\mathcal{F}(Q)$ at level $Q$ is the sequence of irreducible fractions in $[0, 1]$ with denominators not exceeding $Q$, arranged in increasing order of magnitude. A simple ``next-term'' algorithm exists for generating the elements of $\mathcal{F}(Q)$ in increasing or decreasing order. That algorithm, along with a number of other properties of the Farey sequence, was encoded by F… ▽ More The Farey sequence $\mathcal{F}(Q)$ at level $Q$ is the sequence of irreducible fractions in $[0, 1]$ with denominators not exceeding $Q$, arranged in increasing order of magnitude. A simple ``next-term'' algorithm exists for generating the elements of $\mathcal{F}(Q)$ in increasing or decreasing order. That algorithm, along with a number of other properties of the Farey sequence, was encoded by F. Boca, C. Cobeli, and A. Zaharescu into what is now known as the Boca-Cobeli-Zaharescu (BCZ) map, and used to attack several problems that can be described using the statistics of subsets of the Farey sequence. In this paper, we derive the Boca-Cobeli-Zaharescu map analogue for the discrete orbits $Λ_q = G_q(1, 0)^T$ of the linear action of the Hecke triangle groups $G_q$ on the plane $\mathbb{R}^2$ starting with a Stern-Brocot tree analogue for the said orbits. We derive the next-term algorithm for generating the elements of $Λ_q$ in vertical strips in increasing order of slope, and present a number of applications to the statistics of $Λ_q$. △ Less

Submitted 30 March, 2019; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: Complete rewrite

The Three Gap Theorem, Interval Exchange Transformations, and Zippered Rectangles

Authors: Diaaeldin Taha

Abstract: The Three Gap Theorem states that for any $α\in (0,1)$ and any integer $N \geq 1$, the fractional parts of the sequence $0, α, 2α, \cdots, (N-1)α$ partition the unit interval into $N$ subintervals having at most \emph{three} distinct lengths. We here provide a new proof of this theorem using zippered rectangles, and present a new gaps theorem (along with two proofs) for sequences generated as orbi… ▽ More The Three Gap Theorem states that for any $α\in (0,1)$ and any integer $N \geq 1$, the fractional parts of the sequence $0, α, 2α, \cdots, (N-1)α$ partition the unit interval into $N$ subintervals having at most \emph{three} distinct lengths. We here provide a new proof of this theorem using zippered rectangles, and present a new gaps theorem (along with two proofs) for sequences generated as orbits of general interval exchange transformations. We also derive a number of results on primitive points in lattices mirroring several properties of Farey fractions. This makes it possible to derive a previously known, explicit distribution result related to the Three Gap Theorem using ergodic theory. △ Less

Submitted 1 September, 2018; v1 submitted 14 August, 2017; originally announced August 2017.

Comments: Reorganization, a new section on generating primitive lattice points, and a proof of the explicit continuous distribution result. This is work in progress