You know that trick where you balance a marble in a salad bowl, and if the bowl is perfectly round the marble sits still, but if there's a flat spot or a ridge, the marble wobbles and drifts? That's the core problem this paper attacks. A Penning trap confines a single electron using electric and magnetic fields — the electron is the marble, and the trap's electric potential is the bowl. If the bowl isn't perfectly parabolic (harmonic), the electron's motion picks up extra frequencies — anharmonicities — that corrupt its quantum state. For single-electron qubits, you need the bowl to be absurdly smooth. The committed claim: we can now analytically solve the optimal geometry and voltages for planar Penning traps at millimetre scale and below, including realistic finite electrode gaps that prior work treated as negligible. This extends the 2010 Goldmann and Gabrielse treatment (Phys. Rev. A 81, 052335) which assumed infinitesimal gaps — an approximation that breaks down precisely at the scales where you'd actually fabricate these traps on a chip. The architecture here is classical electrostatics, not quantum computing per se. The authors derive the full trap potential analytically using different models of finite-gap potentials — the gap between ring electrodes isn't zero, and at mm scale and below, it's a non-negligible fraction of the trap radius. They then optimize trap geometry (electrode widths, ring radii) and applied voltages to null out the leading anharmonic terms (C4, C6 coefficients in the multipole expansion). The key structural choice is treating this as a constrained optimization over a continuous geometry space rather than a brute-force finite-element sweep. The ladder here is clear and named: Goldmann and Gabrielse 2010 is the direct predecessor. That paper established the planar Penning trap design framework but assumed zero-width gaps. This paper shows that at small trap sizes, that assumption introduces significant error in the predicted anharmonicity coefficients. The analytic results are cross-validated against finite-element method (FEM) simulations, and the agreement confirms that the analytic treatment captures the physics that the zero-gap approximation misses. Integrity is solid for a theory paper. The validation is analytic-vs-FEM, which is the right move: two independent calculation methods agreeing builds confidence that neither has a sign error or boundary-condition bug. There's no experimental validation — no one has built a trap to these specs and measured the anharmonicity. That's the obvious gap, and it's an honest one: fabrication and cryogenic measurement are expensive, slow, and belong to a different team. The authors aren't hiding this; the paper is explicitly a design tool. The milestone that matters is fabrication and measurement. The analytic framework is a necessary precursor — you can't optimize what you can't calculate — but the real test is whether a trap built to these optimized dimensions actually confines a single electron with the predicted coherence. The quantum-information application requires anharmonicities below ~10^-6 relative to the harmonic term, and demonstrating that experimentally at mm scale would validate the entire design pipeline. The successor experiment the authors didn't run is obvious: build one. My honest read is (a) — they're theorists and simulators, not fabricators. The paper reads like a design handbook intended for experimentalists at places like Harvard (Gabrielse's group), MPIK Heidelberg, or PTB Braunschweig who have the cryogenic infrastructure and electron-loading capability. The authors are handing off the blueprint.
