Tuesday, December 2, 2025

Chapter X Dürer’s The Lute Designer: The Epistemology of Iconographic Accuracy


When an Artwork Teaches You How to Read Art:

Iconographic analysis of musical instruments walks a fine line between data and illusion.

Paintings may present convincing but geometrically impossible fretboards, stylized images that accidentally mimic equal temperament, or intentional, measured depictions reflecting real workshop practices.

Most artworks leave us guessing about intention, training, and technical fidelity.
But Albrecht Dürer’s The Lute Designer is unique: it is not merely a picture of an instrument, 
it is a picture about how instruments are pictured.


© GrandPalaisRmn (Musée du Louvre) / Tony Querrec
 

It is the only major Renaissance artwork that openly displays a projection grid, measurement instruments, a workshop-like setting, the translation of 3D form into 2D geometry.
 
This painting is meta-evidence, it depicts the very apparatus through which accuracy enters representation.

It’s the only known case where the act of scientific representation of a musical instrument is itself the subject of the artwork. 

Thus, Dürer’s work becomes a calibration point for the entire method of inferring historical tunings from visual materials.

 
The Epistemic Problem: Realism vs Accuracy

Historical tuning reconstruction from iconography suffers from a fundamental paradox:

-Some highly realistic paintings fail to produce any coherent tuning system under projection correction.
-Some crudely stylized medieval paintings unexpectedly snap cleanly to 12edo or meantone after geometric reconstruction.

This generates a central methodological challenge: Visual realism does not guarantee geometric or acoustic accuracy, stylization does not guarantee ignorance, and randomness can masquerade as intention.

Dürer shows exactly how precision is manufactured.
 

Dürer’s Demonstration: Representation as a Technical Act

In The Lute Designer, we see:

-a craftsman measuring a lute with a stick,
-an assistant drawing on a grid plane,
-a perspectival device mediating the translation between 3D and 2D,
-the lute represented twice: once physically, once as projection.

Dürer is visually documenting what his treatises openly discuss: the accuracy of representation is not a matter of eye, but of procedure.

Thus, the fretboard drawn here is not filtered through symbolism, idealization, or expressive distortion.
It is the output of a technical system.

This makes The Lute Designer the nearest thing to a “photograph” available in Renaissance visual culture but more importantly, it reveals how photographic accuracy was laboriously constructed.

 
A. Musical Iconography

A.1 The Tuning Reconstruction Problem

Reconstructing the tuning of a historical fretted instrument is non-trivial:

Mathematical treatises are often contradictory or incomplete.
Rational systems (Pythagorean, meantone) cannot explain aligned frets across multiple strings.
Surviving instruments were frequently modified, repaired, or mis-labeled.
Paintings range widely in accuracy and intent.

Yet many artworks even very early ones depict perfectly aligned frets.
 
A.2 The Equal Temperament Implication

Aligned frets across all strings on a multi-course lute require irrational divisions.
No rational tuning system (including Pythagorean or meantone) can produce identical fret positions across strings unless all strings are in unison (they are not), or the system is an equal division of the octave.
Thus, when an artwork displays consistent fret spacing, perspective-correctable parallelism, proportional alignment across strings, It strongly implies that the artist is referencing an actual physical instrument tuned with an empirical equal-step system, or a constructional practice that uses equal divisions intuitively, without theoretical formalization. Dürer’s painting proves artists could and did intentionally encode such geometry.


The Painting That Reveals the Method

Dürer is the only Renaissance artist for whom we have treatises on measurement, projection, and proportion, didactic illustrations of gridded drawing systems, explicit discussions of geometric accuracy, a workshop context of scientific instrument-making.
It provides not only an unusually accurate depiction of a historical instrument,
but a visual explanation of accuracy itself. His painting becomes the theoretical key to interpreting all earlier and later images. It lets us distinguish intention, error, and randomness.
It retroactively validates the plausibility that empirical equal-step fret systems existed long before theoretical equal temperament was formalized and it places iconographic reconstruction on firmer epistemological ground.


E.3. Music, Instruments And Tuning Iconographic Analysis:


The implementation of a particular tuning system on a musical instrument, as well as the analytical reconstruction of the pitch sets it produces, are complex and demanding tasks even for experienced musicians, luthiers, and theorists. Consequently, historians and musicologists can hardly be faulted for drawing uncertain or even incorrect inferences about ancient musical practices from iconographic, literary, or theoretical sources. Such materials frequently rely on ambiguous or inconsistent mathematical formulations and on numerical systems fraught with their own internal debates and interpretive challenges.

What, then, substantiates the claim that forms of equal temperament may have been practiced long before they were formally theorized?
The most direct and abundant evidence derives from Ancient Egypt and Babylon, where numerous surviving artworks depict stringed instruments with visibly aligned frets, a feature that, in practice, presupposes some form of equal step system, potentially an octave division.


figurine -2004 / -1763 (Isin-Larsa [?])
© 1998 GrandPalaisRmn (musée du Louvre) / Hervé Lewandowski

Subtle ambiguities and inconsistencies in tuning practice persisted from the medieval period through the Renaissance and well into modernity. While many visual representations of instruments such as the lute portray perfectly aligned frets, contemporary theoretical treatises and even surviving design schematics consistently reflect a Pythagorean framework, grounded in rational-number ratios. Vincenzo Galilei’s well-known attempt to construct a rational twelve-tone division using a constant ratio of 18/17 is a revealing case: although conceptually elegant, it produced an imperfect octave ((18/17)¹² ≈ 1.9855), demonstrating the intrinsic limitations of a purely rational approach.

Most instruments of the lute family in the Renaissance were conceived according to either the Pythagorean scale or one of the various meantone temperaments, both of which relied on rational intervallic calculations. The critical methodological oversight lies in the assumption that these ratios could be uniformly applied across all strings: a single fret position extended orthogonally across the neck, as if the instrument functioned as a monochord. Once any inter-string tuning pattern is introduced, however, this rational model fails, as each string generates its own distinct scalar framework. The result is a proliferation of pitch positions, the pitch set gets multiplied in number with each string.
Yet, in practice, these instruments performed effectively. The discrepancy was either tacitly accepted or simply disregarded, as the resulting differences are perceptually negligible. On fretted instruments, this produces a structural contradiction fundamentally unlike that of keyboard instruments: whereas keyboards merely exhibit the chromatic inflation inherent in unequal divisions, fretted instruments multiply these discrepancies across their strings.

A single, rationally derived Pythagorean scale applied to a multi-stringed, fretted instrument could never yield aligned frets, regardless of the tuning relationships between strings. The only systems capable of resolving this geometric inconsistency are those based on irrational divisions, such as equal temperament.

This tension invites a reinterpretation of the Renaissance theorists’ position:

“The lute has existed for millennia; it possesses multiple strings and aligned frets and functions flawlessly in practice. Yet my theoretical framework cannot account for it without contradiction.”

Thus, when ancient or early artworks (sculptures, reliefs, or paintings) depict stringed instruments with proportionally consistent and geometrically aligned fret patterns, these representations may reasonably be read as evidence of empirical equal-division systems. Whether these systems were arrived at through intuitive craftsmanship or through procedural mathematics remains uncertain. Indeed, an approach would later be formalized by Pythagoras, who recognized the small but persistent discrepancy, the “comma”, that arises when one attempts to reconcile such divisions using only rational numbers.

Such observations underscore the potential of iconographic analysis not merely as a descriptive tool but as a methodological bridge between visual representation, material design, and theoretical acoustics. By assessing the geometric accuracy of depicted instruments, their fret alignments, proportional spacing, and constructional logic, one may begin to distinguish between idealized imagery and depictions that encode authentic technical knowledge.

DRAFT//

A Hierarchy of Epistemic Trust

Zone A Scientific Representation
(e.g., Dürer, workshop schematics, treatises)
→ High-confidence tuning inference

Zone B  Geometric Realism
(optical accuracy but not explicitly technical)
→ Medium-confidence inference

Zone C  Ordinary Realism
(good but inconsistent perspective)
→ Medium-to-low confidence

Zone D  Stylized Iconography
(medieval, Byzantine, Islamic manuscripts)
→ Low confidence, but occasional random 12edo matches

Zone E  Symbolic Depictions
(allegories, angels, genre scenes)
→ No reliable inference


----

Museum Google Street View, rare fretboards and artifacts in the world!:

These images are special because user-uploaded photos on Google Maps exist in a completely different 'vault' than standard search results. Not every museum has a complete, high-resolution digital catalog; some of these artifacts would remain totally invisible to the world if it weren't for a random visitor taking a photo, geo-tagging it, and uploading it for the rest of us to find. 


museo musica barcelona








military rusia music



rome /national museum musical instruments



italy:


venezia

italy multiethnic



italy museo violino


españa museo etnico


museo guitarra almeria




interactive museum spain





italy degli strumenti



bolivia la paz
https://maps.app.goo.gl/JwSRyncXA1e2gz9WA penta charango Andean fret skipping!


belgium



palazzo della pilotta, parma, girolamo cittern



misc:

https://maps.app.goo.gl/pc1KkRuCuw56dWLN6
https://maps.app.goo.gl/drhhZJ5bBGX3apom7
https://maps.app.goo.gl/7Hbd5GYrDkYdqV4Z7
https://maps.app.goo.gl/reSPUacyqtn3X6M4A
https://maps.app.goo.gl/ZEZbMV7KYEzJrHeL7
https://maps.app.goo.gl/zzKBS2vR15dcgh9A8
https://maps.app.goo.gl/eMJx9k6CwGxrPEzB9
https://maps.app.goo.gl/BxuWXfv8PRMhmou98
https://maps.app.goo.gl/Y2vSZ5jaSh6BLEnd6

----

references text/images:
https://www.researchgate.net/publication/348809751_Numerus_surdus_y_armonia_musical_Sobre_el_temperamento_igual_y_el_fin_del_reinado_pitagorico_de_los_numeros
vicenzo galilei and 18:17 17/18 (string ratio) 
de musica libri septem - francisco de salinas 1577 - meantone /mesotonico
Sopplimenti musicali 1588- Gioseffo Zarlino- laud/lute 12 edo, mesolabio / euclidean theorem

Sunday, March 30, 2025

Dual Group Structures in Diophantine Approximations


This page describes a general algorithm that extracts continued-fraction convergents of an irrational parameter by observing return events in a dynamical system. Rather than computing the function value ( log, roots, or sin) and/or explicitly expanding its continued fraction, the method tracks a normalized orbit and an integer cocycle, detecting convergents via gap-structure collapse as described by the Three Gap Theorem. The approach applies uniformly to different functions, revealing a shared group-theoretic structure underlying these computations.

The idea is using the "gap restructuring" itself as a computational driver (specifically for transcendental functions) The algorithm consecutively jumps to the next convergent by only looking at the current gap state.

if the function has a diophantine target such that its "near-equality" condition can be linearized into a rotation on a torus, (or a group manifold). you dont need a different algorithm but knowing on which circle the points are rotating on.

a single dynamical template for different coordinate systems, implicitly, lattice / torus dynamics.

for example in logarithms, the return is multiplicative: \(a^q \times \b^-p \approx 1\).

(a rotation on the group (R _>0 ,×). taking the log linearizes it q log(a)- p log(b) \approx 0.)

in roots, the return is polynomial p^n -q^n a \approx 0, the rotation is in the space of n-th powers. p,q is the lattice point that sits closes to the curve y=x^n a (shifting from an exponential map to a power map, but keeping the same "return event" logic.)

since the the stepping of the algorithm only cares bout the tgt  ordering of the points on a 1-manifold. and, if the target can be reduced to a mapping  x↦x+α(mod 1), the geometry of the gaps must simplify when you hit a convergent. this topological event is the convergence


The core object is a rotation on a 1-torus, everything reduces to \(x \mapsto x+\alpha \pmod 1 \) for irrational \(\alpha\) : (Logs: \(\alpha = \log_b a\), angles: \(\alpha = \theta / 2\pi\),). (The MLA is rotation dynamics written multiplicatively.)
At a convergent \(p/q\): \(q\alpha \approx p\), the orbit nearly closes, the circle is partitioned into exactly two gap lengths. Thats the Three Gap Theorem at a convergent, this is why the ordering stabilizes, the gap structure simplifies, and discrete group actions suddenly appear. (The “dual cyclic groups”, at a convergent \(p/q\))

Object              |   Group    |   Generator
sorted indices   |   \(\mathbb{Z}/q\mathbb{Z}\)    |   \(p^{-1} \bmod q\)
overflow terms |   \(\mathbb{Z}/p\mathbb{Z}\)   |   \(q^{-1} \bmod p\)

That symmetry is forced by \(p q' - q p' = \pm 1\) ,  the "engine" of  CFs. but also the source of two simultaneous group actions tied to each function parameters and convergents: horizontal (the spatial ordering of points on the circle) and vertical (the count of modular overflows). A lattice/tprus.

The “overflow” sequence is key, from the inequalities: \(\left|\alpha - \frac pq\right| < \frac{1}{q^2}\), MLA tracks modular advancement (floor terms, wrap counts) so that turns Diophantine approximation into explicit dynamics, group actions generated by irrational flow.


Horizontal action (Z/qZ) (p^−1 mod q): This is the permutation group it describes how the q points shuffle around the circle, what gives the "Three-Gap" structure.. When the gap structure collapses, it means the permutation has reached a state of maximal symmetry.

Vertical Action (Z/pZ) (q^−1 mod p): This is the Winding Number. the climbing speed at the cylinder (or the multiplicative lattice)., it tracks the "lifting" of the circle to its Universal Cover. every time it overflows, it moves to a new sheet of the cover.

When these two align at a convergent, the torus "locks" into a grid, detecting the geometric phase shift (rather than just measuring a distance).

so the same algorithm encodes a zero knowledge method to best approximations of different functions.

Trig case is the same object, replace multiplication with addition, \(\mathbb{R}^+/\langle b\rangle\) with \(S^1\) since \(a^q \approx b^p \quad \leftrightarrow \quad q\theta \approx 2\pi\). (different for each function see later)
All these computations are the same algorithm acting on different groups, with convergence limited by Diophantine structure.

simple flow:

1 Feeding a generator into a group action.
2 Tracking the orbit's failure to close (the cocycle).
3 Waiting for the moment of Topological Simplicity (the gap collapse).
4 Extracting the symmetry parameters (p,q) of the finite group that best mimics the infinite flow.


the algorithm is not necesarilly efficient as it is, but the optimizations actually make the logic more clear:

track only the active gaps rather than a full history( O(N) space to O(1) )!, so it only cares about the current state and the boundary conditions.

avoiding the BigInt explosion: by working with the reduced value (the "leftovers" in the group action) rather than ie a raw power 2^1000000 , it essentially perfors modular exponentiation in the continuous domain, tracking the phase of the rotation separate from the number of laps. (the order of the points dosnt change)

-Python implementation for the logarithm case, simple version dosnt handle arguments in the 0–1 range, provides the list of consecutive convergents found, excluding the first one if integer.


def mla(a, b, max_q):
    if b <= 1 or a < 1:
        return []
    if a == 1:
        return ["0/1"]  # log_b(1) = 0
    if a == b:
        return ["1/1"]  # log_b(b) = 1

 for p in results]
    results = []
    link, lower, upper = a, 1, b
    p, q = 1, 1
    while q < max_q:
        while link < 1:
            link *= b; p += 1
        while link > b:
            link /= b; p += 1
        if q == 1:
            H = b / link; p += p - 1
        q += 1
        if link == b:
            results.append(f"{p-1}/1"); break
        if lower < link < upper:
            commas = [link/lower, upper/link]
            if (max(commas) - 1) / (min(commas) - 1) <= 2:
                results.append(f"{p}/{q}")
            lower, upper = (link, upper) if link < H else (lower, link)
        link *= a
    return results


(Dual cyclic structure at convergents)

Let \(\alpha \in \mathbb{R}\setminus \mathbb{Q}\) with continued fraction convergent \(p/q\). Consider the rotation sequence \(r_x = \{x\alpha\}\in [0,1),\quad x=1,\dots,q\),

and let \(\sigma\) be the permutation that sorts \(r_x\) in increasing order: \(r_{\sigma(1)} < r_{\sigma(2)} < \cdots < r_{\sigma(q)}\).

Then:

(Index cycle) \(\sigma\) is an arithmetic progression modulo \(q\): \(\sigma(k) \equiv k\cdot p^{-1} \pmod q\),

where \(p^{-1}\) is the multiplicative inverse of \(p\) modulo \(q\).


(Overflow cycle / floor terms) Writing \(x\alpha = y_x + r_x\) with \(y_x=\lfloor x\alpha\rfloor\), the sequence \(y_{\sigma(k)}\) (as \(k=1,\dots,q\)) takes exactly two adjacent values that differ by 1 and forms \(q\) samples from a cycle in \(\mathbb{Z}/p\mathbb{Z}\) whose step is \(q^{-1}\pmod p\).


(Gap control) The consecutive differences \(r_{\sigma(k+1)}-r_{\sigma(k)}\) take two values (the “short” and “long” gaps) determined by \(p/q\); this is the Three Gap Theorem specialized at a convergent, where only two gaps appear across the first \(q\) points.

 
Proof sketch

Because \(p/q\) is a convergent, \(\|q\alpha-p\|\) is minimal in its range. The return map of the rotation by \(\alpha\) to the set of \(q\) points partitions the circle into two gap lengths. (TGT gives gap sizes.)


The order of the points is governed by the congruence \(x\alpha \approx x\frac{p}{q}\) modulo \(1\), so sorting by \(x\alpha\) matches sorting by \(xp/q\) modulo \(1\). The residues \(xp \bmod q\) run through \(\mathbb{Z}/q\mathbb{Z}\) in steps of \(p\), hence the sorting permutation is
\(\sigma(k)\equiv k\cdot p^{-1}\ (\bmod q)\). (This gives gap order.)


The floor/overflow terms satisfy \(y_{\sigma(k+1)}-y_{\sigma(k)} \in \{\lfloor p/q\rfloor, \lceil p/q\rceil\}\),

and, tracked modulo \(p\), they advance by \(q^{-1}\) because
\(q\alpha\approx p\) forces \(p\) steps in \(\alpha\)-space to coincide with \(q\) wraps. This yields the dual \(\mathbb{Z}/p\mathbb{Z}\) cycle.
 
(Logarithmic case via an isomorphism)

Let \(a,b>1\) and set \(\beta=\log_b{a}\). Define the multiplicative sequence \(R_x \;=\; a^x\, b^{-y_x} \in [1,b),\qquad y_x=\big\lfloor x\beta\big\rfloor\).

Then \(R_x = b^{\{x\beta\}}\). Hence ordering the \(R_x\) is the same as ordering \(\{x\beta\}\), and all claims of the Theorem transfer with \(\alpha=\beta\):

Sorting indices are \(\sigma(k)\equiv k\cdot p^{-1}\ (\bmod q)\) for any convergent \(p/q\) of \(\beta\).

The overflow exponents \(y_{\sigma(k)}\) form \(q\) samples from a \(\mathbb{Z}/p\mathbb{Z}\) cycle with step \(q^{-1}\ (\bmod p)\).

The MLA(mesopotamian logarithm algorithm) is just rotation on the circle in log-coordinates, so its consecutive outputs are convergents whenever you use windows aligned with denominators \(q\).


Every Diophantine approximation problem generates a dual pair of cyclic group structures, one indexed by the convergent’s denominator, one by its numerator. a lattice of relationships between \((p,q)\) and their inverses modulo each other. It's not just about inequalities, but about explicit dynamical group actions tied to each irrational. For irrational \(\alpha\), from the overflow sequence of its natural dynamical action produces exactly the convergents of its continued fraction.


----

The version for computing roots then just swaps the rotation template, the "shadow" equation.
Instead of \(a^q \approx b^p\) as in logs; for \(p/q \approx a^{1/n}\)  the orbit and cocycle become \( p^n  \approx q^n a\)

----

for trig functions theres no mapping needed, (its the reason of why the other ones work at all), working directly with points on the unit interval as the angle, then you extract the quadrant and thats it, the specific function sin, cos, is recovered

----draft


Logarithm Case Recap:

Irrational: \(\alpha = \log_b(a)\)

Convergent: \(p/q \approx \log_b(a) \Rightarrow q \times log_b(a) \approx p \Rightarrow a^q \approx b^p\)

Sequence: \(r_x = a^x \times b^{y_x}\) reduced to \([1, b)\). This is like looking at \(a^x\) "modulo \(b\)" multiplicatively. \(y_x\) tracks the 'overflow' exponent of \(b\). (This highlights the absence of a standard shorthand notation for multiplicative modulus; see link)

Sorted Sequence: Sorting \(r_x\) for \(x=1\ldots q\) gives indices \(x_k\).

Structure: \(x_k\) forms \(\mathbb{Z}/q\mathbb{Z}\) (gen \(p^{-1} \mod q\)), \(y_{x_k}\) forms \(q\) terms of \(\mathbb{Z}/p\mathbb{Z}\) (gen \(q^{-1} \mod p\)).






Trigonometric Case (Angle)

Irrational: We need an irrational quantity related to the angle. Let's use \(\alpha = \theta / (2\pi)\). (assuming \(\theta\) is not a rational multiple of \(2\pi\)).

Convergent: \(p/q \approx \theta / (2\pi) \Rightarrow q \times \theta / (2\pi) \approx p \Rightarrow q\theta ≈ 2\pi p\). This means \(q\) rotations by \(\theta\) is close to \(p\) full \(2\pi\) rotations.

Sequence: What's the equivalent of \(a^x \mod 1:b\)? The natural analogue for angles is \(x\theta \mod 2\pi\). Let \(r_x = (x\theta) \pmod{2\pi}\). This sequence lives in \([0, 2\pi)\).

What is \(y_x\) ? It's the number of full rotations removed: \(xθ = y_x \times 2\pi + r_x\). So, \(y_x = \lfloor x\theta / (2\pi)\rfloor\).

Sorted Sequence: Sort \(r_x\) for \(x=1\ldots q\) to get indices \(x_k\).

Structure: \(x_k\) forms \(\mathbb{Z}/q\mathbb{Z}\) (gen \(p^{-1} \mod q\)), \(y_{x_k}\) forms \(q\) terms of \(\mathbb{Z}/p\mathbb{Z}\) (gen \(q^{-1} \mod p\)).




This directly mimics the log case by replacing the multiplicative group \((\mathbb{R}^+, \cdot)\) modulo \(b\) with the additive group \(\mathbb{R} \mod 2\pi\) (the circle group \(S^1\)). The relationship \(q\theta \approx 2\pi p\) is the direct analogue of \(a^q \approx b^p\). The Three Gap Theorem describes the structure of the sorted \(r_x\) values (the points \(x\theta \mod 2\pi\) on the circle), and their ordering is intimately linked to the continued fraction convergents \(p/q\). The generators likely arise from the relationship \(q(p'/q') - p(q'/q') = \pm \)1 between consecutive convergents.


(Need to test which inverse/element works. The structure \(p_{n-1} q_n - p_n q_{n-1} = (-1)^n\) from continued fractions is key here, likely determining the specific generators.)


TGT Details:
The three gap theorem says that for any irrational number \(\alpha\) and any positive integer \(n\), the set of fractional parts \(\{k\alpha\}\) (that is, \(k\alpha \bmod 1\)) for \(k = 1, 2, ..., n\), when arranged on the unit interval \([0,1)\), divides it into at most three distinct gap sizes. It also connects \(\alpha\) and the k values where gap changes relates to its continued fraction expansion. This algorithm uses a logarithmic isomorphism instead of \(k\alpha \bmod 1\); for instance, with \(\log_b(a)\), it looks at the modular remainders of exponential sequences \(a^x \cdot b^{y_x} \in (1, b]\), effectively rotating the \(a^x\) sequence within a modular space of \(b^{y_x}\). It detects when gaps change, marking that a convergent of the continued fraction expansion has been found. As the location of the change narrows, it focuses on comparing only the most recent gaps in that area.

This live demo calculates a few example convergents and renders one of the earlier ones. By default, it’s set to log2(3), showing a list of 10 convergents up to 1054/665, with the graphic displaying the fractional part of 19/12. (7/12)




Spectral Congruence & Pitch Cyclicity

Pitch cyclicity (including octave equivalence) can be understood as an emergent property of spectral self‑similarity under frequency scaling...