pith. sign in

arxiv: 2409.11958 · v2 · submitted 2024-09-18 · 🧮 math.CA · cs.NA· math.FA· math.NA

Application of a Fourier-Type Series Approach based on Triangles of Constant Width to Letterforms

Micha Wasem , Florence Yerly This is my paper

Pith reviewed 2026-05-23 21:08 UTC · model grok-4.3

classification 🧮 math.CA cs.NAmath.FAmath.NA
keywords Fourier-type seriesconstant width trianglesletterformstype designisomorphismL2 functions on the circlecurve representation
0
0 comments X

The pith

A Fourier-type series using triangles of constant width instead of circles generates letterforms as an alternative to Bézier curves.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a Fourier-type series for functions in L²(S¹, ℂ) that relies on triangles of constant width to expand and represent the curves defining letter shapes. An isomorphism ℛ from L²(S¹, ℂ) to itself is built to obtain the series coefficients for any given outline. The resulting expansions are then applied directly to character forms, positioning the technique as a mathematical substitute for the piecewise polynomial curves now standard in type design. A reader would care because the construction supplies a single global series representation rather than local curve segments for each letter.

Core claim

We construct a Fourier-type series for functions in L²(S¹, ℂ) based on triangles of constant width instead of circles to model the curves and shapes that define individual characters. In order to compute the coefficients of the series, we construct an isomorphism ℛ:L²(S¹, ℂ)→L²(S¹, ℂ) and study its application to letterforms, thus presenting an alternative to the common use of Bézier curves.

What carries the argument

The isomorphism ℛ that maps L² functions on the circle so their Fourier-type coefficients with respect to constant-width triangles can be computed and then used to reconstruct letter outlines.

If this is right

  • Letter outlines become representable by a single global series rather than collections of local Bézier segments.
  • The same coefficient-extraction procedure applies uniformly across different characters.
  • Creative variation of letterforms can be performed by altering the series coefficients.
  • The method supplies an explicit alternative representation inside the space L²(S¹, ℂ).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Series truncation might produce families of simplified letter variants at different levels of detail.
  • The triangle basis could be tested for numerical stability when reconstructing closed curves that must remain simple.
  • Coefficient vectors might serve as a low-dimensional feature space for comparing or interpolating typefaces.

Load-bearing premise

The constructed isomorphism allows practical computation of series coefficients that produce usable letterforms.

What would settle it

A direct computation showing that the coefficients obtained via ℛ yield curves that fail to match standard letter outlines or cannot be evaluated at reasonable cost for typical character data.

Figures

Figures reproduced from arXiv: 2409.11958 by Florence Yerly, Micha Wasem.

Figure 1
Figure 1. Figure 1: Truncated S for the choices m = 4, 10, 25 and m = 100. 1https://www.fontlab.com/ 2https://glyphsapp.com/ 3Personal communication with Raphaela H¨afliger, Alice Savoie, Kai Bernau, Nicolas Bernklau, Matthieu Cortat, Roland Fr¨uh and Radim Peˇsko, October 2023 at ECAL/Ecole cantonale d’art de Lausanne 4https://www.205.tf/?search=Romain%2020 2 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The images of γ for the choices a = 1 24 and a = 1 8 as subsets of R 2 ∼= C We will use the identification S 1 ∼= R/2πZ throughout this article and the standard inner product of L 2 (S 1 , C) will be given by hf , gi = 1 2π Z 2π 0 f (t)g(t) dt so that {t 7→ e ikt}k∈Z is a Hilbert basis of L 2 (S 1 , C) with respect to h·,·i and the induced norm kf kL2 := p hf , f i. For z,w ∈ C, we will denote by [z,w] := … view at source ↗
Figure 3
Figure 3. Figure 3: The graphs of R(sin) and R(cos) as real-valued functions if a = 1 24 . 7 [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The graphs of R(sin) and R(cos) as real-valued functions if a = 1 8 . π 2 π -2 -1 1 2 π 2 π -1 1 [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The graphs of R(sin) and R(cos) as real-valued functions if a = 1 5 . Note that by construction, if a ∈ [0, 1 3 ), then R(γk ) = uk so that the we arrive at: Proposition 3.5 If a ∈ [0, 1 3 ), then set B = {γk }k∈Z is a Hilbert basis for the space L2 (S 1 , C) equipped with the inner product R∗ h·,·i = hh·,·ii. The inner product hh·,·ii is explicitly given by hhf , gii = 1 2π Z 2π 0 R(f )(t)R(g)(t) dt so th… view at source ↗
Figure 6
Figure 6. Figure 6: Image of γ if a = 1 5 4 Application to Letterforms As long as a ∈ [PITH_FULL_IMAGE:figures/full_fig_p009_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Application of Rn ◦ T to the letter S for the values n = 0, 1, 2, 3 if a = 1 24 Even though the curve γ for a = 1 24 is relatively close to being a circle (see the left image in [PITH_FULL_IMAGE:figures/full_fig_p010_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Application of Rn ◦ T to the letter S for the values n = 0, ... , 6 if a = 1 8 It is an artefact of the regularity that the curves have angular points which give the letter￾forms a certain roughness like a vibrating, fuzzy object – an effect which would barely be obtainable by the use of B´ezier curves. 4.3 Approximation with a = 1 5 Recall that if 1 8 < a < 1 3 , then the image of γ is no longer the bound… view at source ↗
Figure 9
Figure 9. Figure 9: Application of Rn ◦ T to the letter S for the values n = 3, 4, 5, 6 if a = 1 5 11 [PITH_FULL_IMAGE:figures/full_fig_p011_9.png] view at source ↗
read the original abstract

In this work, we present a novel approach to type design by using Fourier-type series to generate letterforms. We construct a Fourier-type series for functions in $L^2(S^1,\mathbb C)$ based on triangles of constant width instead of circles to model the curves and shapes that define individual characters. In order to compute the coefficients of the series, we construct an isomorphism $\mathcal R:L^2(S^1,\mathbb C)\to L^2(S^1,\mathbb C)$ and study its application to letterforms, thus presenting an alternative to the common use of B\'ezier curves. The proposed method demonstrates potential for creative experimentation in modern type design.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript claims to construct a Fourier-type series for functions in L²(S¹, ℂ) using triangles of constant width rather than circles, introduces an isomorphism ℛ: L²(S¹, ℂ) → L²(S¹, ℂ) to compute the series coefficients, and applies the construction to generate letterforms as an alternative to Bézier curves, asserting potential for creative experimentation in type design.

Significance. If the isomorphism were explicitly defined, its action on the standard Fourier basis derived, coefficient formulas provided, and the resulting partial sums verified to produce closed, recognizable letterform approximations, the work would supply a mathematically grounded parametric alternative to existing curve representations in typography.

major comments (2)
  1. [Abstract] Abstract: the central claim that the method 'demonstrates potential for creative experimentation in modern type design' rests on the isomorphism ℛ enabling practical computation of coefficients that yield usable letterforms, yet no explicit definition of ℛ, its mapping of basis functions, or any coefficient formulas are supplied.
  2. [Abstract] Abstract: no computed coefficients, partial sums, or closure checks are presented for even a single glyph, leaving the step from the abstract operator to closed, simple boundary curves for letterforms unsupported.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their detailed and thoughtful report on our manuscript. We address each of the major comments below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim that the method 'demonstrates potential for creative experimentation in modern type design' rests on the isomorphism ℛ enabling practical computation of coefficients that yield usable letterforms, yet no explicit definition of ℛ, its mapping of basis functions, or any coefficient formulas are supplied.

    Authors: The referee correctly notes that the manuscript does not supply an explicit definition of the isomorphism ℛ or the associated coefficient formulas. This is a significant omission that undermines the central claim. We will revise the manuscript to include the explicit construction of ℛ, its mapping on the standard Fourier basis, and the formulas for the coefficients. revision: yes

  2. Referee: [Abstract] Abstract: no computed coefficients, partial sums, or closure checks are presented for even a single glyph, leaving the step from the abstract operator to closed, simple boundary curves for letterforms unsupported.

    Authors: We agree that without concrete examples, including computed coefficients and verification that the partial sums produce closed curves approximating letterforms, the application to type design remains unsupported. We will incorporate such computations and checks for at least one glyph in the revised version of the manuscript. revision: yes

Circularity Check

0 steps flagged

No derivation chain present; no circularity detectable

full rationale

The abstract introduces a Fourier-type series via an isomorphism R: L²(S¹,ℂ)→L²(S¹,ℂ) but supplies no equations, explicit basis mapping, coefficient formulas, or computational steps. Without any load-bearing derivation, prediction, or self-referential reduction visible in the text, no circular steps exist. The proposal remains an unelaborated conceptual claim rather than a chain that collapses to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the existence of a useful isomorphism ℛ and the viability of a triangle-based basis for representing letter curves; both are introduced without independent evidence or explicit construction in the abstract.

axioms (1)
  • domain assumption Functions in L²(S¹, ℂ) admit a Fourier-type expansion using triangles of constant width
    Invoked when the series is constructed to model letterforms.
invented entities (1)
  • Isomorphism ℛ no independent evidence
    purpose: To compute the coefficients of the triangle-based series
    Introduced in the abstract as the tool for obtaining coefficients; no independent evidence or explicit definition is supplied.

pith-pipeline@v0.9.0 · 5649 in / 1271 out tokens · 22042 ms · 2026-05-23T21:08:53.512196+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Equilibria of Plane Convex Bodies

    Jonas Allemann, Norbert Hungerbühler, and Micha Wasem. Equilibria of Plane Convex Bodies . Journal of nonlinear science , 31(5), 2021. Place: New York Publisher: Springer US

    work page 2021

  2. [2]

    Proof of the theorem of Weierstrass based on the calculus of probabilities

    S Bernstein. Proof of the theorem of Weierstrass based on the calculus of probabilities

    work page

  3. [3]

    Pierre BEZIER. Essai de definition numerique des courbes et des surfaces experimentales: contribution a l'etude des proprietes des courbes et des surfaces parametriques polynomiales a coefficients vectoriels . s.n., S.l., 1977. OCLC: 490592464

    work page 1977

  4. [4]

    The Mathematical Basis of the UNISURF CAD System

    Pierre Bezier. The Mathematical Basis of the UNISURF CAD System . Butterworth-Heinemann, USA, 1986

    work page 1986

  5. [5]

    The Font Wars , Part 1

    Charles Bigelow. The Font Wars , Part 1. IEEE Annals of the History of Computing , 42(1):7--24, January 2020. Conference Name: IEEE Annals of the History of Computing

    work page 2020

  6. [6]

    E. T. C. The Theory of Approximation . By Dunham Jackson . ( American Mathematical Colloquium Publications , Volume XI .) Pp . viii + 178. Price not stated. 1930. ( American Mathematical Society , New York .). The Mathematical Gazette , 15(216):506--507, December 1931

    work page 1930

  7. [7]

    A study on the Jacobsthal and Jacobsthal - Lucas numbers

    Ahmet Dasdemir. A study on the Jacobsthal and Jacobsthal - Lucas numbers. Dicle Üniversitesi Fen Bilimleri Enstitüsü Dergisi , 3:13--18, June 2014

    work page 2014

  8. [8]

    Outillages methodes calcul

    P de Casteljau. Outillages methodes calcul. Technical report, 1959

    work page 1959

  9. [9]

    Djordjević

    Gospava B. Djordjević. Some Generalizations of the Jacobsthal Numbers . Filomat , 24(2):143--151, 2010. Publisher: University of Nis, Faculty of Sciences and Mathematics

    work page 2010

  10. [10]

    Piero Filipponi and Alwyn F. Horadam. Integration Sequences of Jacobsthal and Jacobsthal - Lucas Polynomials . In Fredric T. Howard, editor, Applications of Fibonacci Numbers : Volume 8 , pages 129--139. Springer Netherlands, Dordrecht, 1999

    work page 1999

  11. [11]

    Fitter, Akash B

    Hetal N. Fitter, Akash B. Pandey, Divyang D. Patel, and Jitendra M. Mistry. A Review on Approaches for Handling Bezier Curves in CAD for Manufacturing . Procedia Engineering , 97:1155--1166, January 2014

    work page 2014

  12. [12]

    Der Mensch und seine Zeichen

    Adrian Frutiger. Der Mensch und seine Zeichen . Marix Verlag, 2006. Google-Books-ID: g6pDPgAACAAJ

    work page 2006

  13. [13]

    JACOBSTHAL REPRESENTATION NUMBERS

    A F Horadam. JACOBSTHAL REPRESENTATION NUMBERS

    work page

  14. [14]

    Bézier Curves and Control Points

    Mamoru Hosaka. Bézier Curves and Control Points . In Mamoru Hosaka, editor, Modeling of Curves and Surfaces in CAD / CAM , pages 117--139. Springer, Berlin, Heidelberg, 1992

    work page 1992

  15. [15]

    Sidra Maqsood, Muhammad Abbas, Gang Hu, Ahmad Lutfi Amri Ramli, and Kenjiro T. Miura. A Novel Generalization of Trigonometric Bézier Curve and Surface with Shape Parameters and Its Applications . Mathematical Problems in Engineering , 2020:e4036434, May 2020. Publisher: Hindawi

    work page 2020

  16. [16]

    I. P. Natanson. Constructive function theory. Vol . I : Uniform approximation. Translated by Alexis N . Obolensky , 1964. Published: New York: Frederick Ungar Publishing Co. IX, 232 p. (1964)

    work page 1964

  17. [17]

    Development of Bézier -based curves

    Tang Van To and Huynh Ngoc Phien. Development of Bézier -based curves. Computers in Industry , 20(1):109--115, January 1992

    work page 1992