The Lab / Alien Math

Alien Math · Kac 1966 · Gordon, Webb and Wolpert 1992

Two drums, one set of notes

In 1966 Mark Kac asked whether you can hear the shape of a drum. In 1992 the answer came back no: these two shapes ring at exactly the same frequencies. We solved both with two independent solvers, struck them in a simulation, worked out which real builds keep the theorem, and turned the winner into cut files.

This is a reproduction of a known result, not a new one. The new parts are the build analysis (an air cavity keeps isospectrality; a clamped plate does not) and a pre-registered tap test that nobody has run yet. If you build it, the pass and fail lines are already written down.

Drum 1mode 1
Drum 2mode 1

Click anywhere on a drum to strike it there. You'll hear the same 30 pitches from both, but each mode's loudness depends on where you hit and on the shape, so a struck drum 1 and a struck drum 2 sound different. "All modes" plays every mode at the same loudness, and those two sounds are identical. Colour shows displacement: blue is down, brass is up. Pitches are scaled so mode 1 is G3 (196 Hz).

Result

The spectra match, to rounding error

Each drum is 7 right-angled half-squares with legs of length 1, so both have area 3.5 and perimeter 6 + 3√2. Solver A is a finite-element method on a mesh. Solver B is a finite-difference grid with no shared code. Each was run at four resolutions and extrapolated.

exact match

Drum 1 vs drum 2

Largest relative difference over 50 modes: about 1e-13 at every resolution, in both solvers. The discrete problems are isospectral too, which is the Sunada/transplantation structure surviving discretisation.

agree

Solver A vs solver B

Continuum eigenvalues agree to 6e-05 (worst of 50), median about 1e-5. Corner singularities set that limit.

closed form

Two exact checkpoints

Mode 9 should be exactly 5π² = 49.348022; we get 49.348021. The 6th air-cavity mode should be π² = 9.8696; we get 9.8696.

control

A different shape

An L-shaped polygon with the same area differs by 0.4–12 % in the first 10 modes, so the test can fail.

modeλ solver A (FEM)λ solver B (FD)drum 1 − drum 2pitch ratio f/f₁
110.1527910.153391e-121.0000
214.6230414.623639e-131.2001
320.7042220.705391e-121.4280
426.1506326.150884e-131.6049
528.9941928.995302e-121.6899
636.8380536.838571e-121.9048
742.3890942.389785e-132.0433
846.1659046.166099e-132.1324
949.3480249.348026e-132.2046
1052.2175952.219381e-122.2678
1157.2564557.257045e-132.3747
1263.4895863.492204e-132.5007

Tap test, simulated

Hit both drums and listen

A time-domain wave simulation: one mallet strike, 400 time units of ringing, Fourier transform of the net displacement (what an ear far away hears). Every peak on both drums lands on a predicted frequency. The peak heights don't match.

drum 1drum 2predicted ω = √λ

What a real build actually hears

Only some physics keeps the theorem

The argument cuts each drum into triangles and reassembles a vibration of one from reflected pieces of the other. That works when reflection preserves the boundary condition. It decides which builds can work.

isospectral

Membrane, fixed edge

The Dirichlet problem above. In practice, uneven tension and air loading break it slightly.

isospectral, computed

Air cavity, rigid walls

A thin sealed cavity in the drum's shape. The Neumann spectra match to 1e-12. No tension to get wrong, which makes this the cleanest physical test.

not isospectral, computed

Clamped plate

Matched modes differ by 1–15 %, stable under grid refinement.

predicted, not computed

Free plate (tapped wood)

Tapping the cut-out wooden pieces should give different spectra. That is the control in the build below.

Build sheet

Cut it, seal it, sweep it

Leg L = 70 mm, so each drum fits a 270 × 270 mm plate (210 mm across). The files are SVG and DXF in millimetres.

  • D1_frame, D2_frame: plate with the drum-shaped hole and 8 M5 bolt holes. Cut 2 per drum.
  • D1_lid, D2_lid: cavity lid with a 4 mm speaker port and a 4 mm mic port. The ports sit where all of the first 12 modes couple.
  • base: plain plate, cut 1 per drum.

Cavity (primary): base, then two 3 mm acrylic frames (6 mm deep), then the lid. Make it airtight. Play a 300–4000 Hz sweep into one port and record at the other.

Membrane (for fun): stretch drumhead film between two frames. Only the pitch ratios are predicted.

Control: tap the two pieces that drop out of the frame cut. They should not match.

cavity modepredicted Hz (20 °C)membrane ratio
17171.000
214031.200
316041.428
421271.605
524501.690
625761.905
728722.043
832742.132
934652.205
1037132.268

Pass: the first 8 cavity peaks agree between drums within 0.5 %, and each is within 3 % of the prediction after correcting for temperature. The full criteria are in PREREG.md, written before any measurement.

PREREG.md sha256 923eeef6ff9eb2fd8801e4d333642df870eff4a764b53cb33939a6b9c8d14295

Downloads: D1_frame.svg / .dxf, D2_frame.svg / .dxf, D1_lid.svg / .dxf, D2_lid.svg / .dxf, base.svg / .dxf. Pre-registration: PREREG.md. Solver code: fem.py, fd.py, geom.py, tap.py, cut.py.

Live literature check · October 2026

Done already, and still open

Already done

Open or fresh

  • Strictly convex, analytic planar domains with the same Steklov spectrum: Hu, Shi & Tang, arXiv 2608.10557 (2026).
  • Do isospectral drums stay isospectral when rotating? arXiv 2510.02397 calls it unanswered.
  • Isospectral open acoustic cavities through transformation acoustics, simulated only: Cominelli et al. 2024. They call for experiments.
  • Still open, as far as we found: convex isospectral planar drums, and smooth-boundary isospectral planar drums, for Dirichlet or Neumann.
  • We didn't find a quantitative air-cavity acoustic measurement. That's from a quick search, so it doesn't prove there isn't one.

Next click down

Compute the free-plate spectra (Morley elements) so the wooden-tile control becomes a number. Then look through the Buser–Conway–Doyle–Semmler catalogue of planar isospectral pairs for one that is easier to build: fewer re-entrant corners and well-separated low modes, so a home measurement can resolve them.

Back to the Alien Math wing.