pith. sign in

arxiv: 2605.02332 · v1 · submitted 2026-05-04 · 🪐 quant-ph

Field configurations for field-free RF trap networks

Janus H. Wesenberg This is my paper

Pith reviewed 2026-05-08 18:43 UTC · model grok-4.3

classification 🪐 quant-ph
keywords RF trap networksharmonic extensionsfield-free guide linesLaplace equationquantum charge-coupled devicesperiodic latticesion traps
0
0 comments X

The pith

Odd harmonic extensions from planar analytic data create RF trap networks with exactly prescribed field-free guide lines.

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

The paper develops a constructive framework for designing radio-frequency trap networks starting from planar data on a symmetry plane. Using the odd subclass of harmonic extensions via Laplace's equation, any analytic generating function P(x,y) can be mapped to a potential where the in-plane radio-frequency null set is precisely the curve P(x,y)=0. This enables the creation of non-smooth field-free guides including cusps, cotangential contacts, and periodic lattices. These configurations offer a compact way to parametrize designs for quantum charge-coupled device architectures.

Core claim

Given analytic Cauchy data on a symmetry plane, the odd harmonic extension maps an arbitrary analytic generating function P(x,y) to a harmonic potential whose in-plane radio-frequency null set is exactly P(x,y)=0. This produces explicit field-free guide networks that go beyond smooth straight-line intersections.

What carries the argument

The odd subclass of the harmonic extension determined by analytic Cauchy data on a symmetry plane, which enforces the radio-frequency null lines to coincide with the zero set of any chosen analytic function P(x,y).

Load-bearing premise

The radio-frequency null set in the full three-dimensional trap is completely determined by the in-plane potential vanishing and the extension introduces no additional field components that destroy the null lines.

What would settle it

For a chosen analytic P(x,y) like one producing a cusp, compute the extended potential and observe whether the actual three-dimensional RF null lines match P(x,y)=0 exactly in the plane or deviate due to out-of-plane effects.

Figures

Figures reproduced from arXiv: 2605.02332 by Janus H. Wesenberg.

Figure 1
Figure 1. Figure 1: FIG. 1. Null lines and ponderomotive potential iso-surface view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Null lines and ponderomotive potential iso-surface view at source ↗
read the original abstract

We develop a constructive framework for designing radio-frequency (RF) trap networks from planar data and show that non-smooth field-free guide lines are possible in such networks. Given analytic Cauchy data on a symmetry plane, namely the potential and its normal derivative, Laplace's equation determines a local three-dimensional continuation. The odd subclass of this harmonic extension maps an arbitrary analytic generating function $P(x,y)$ to a harmonic potential whose in-plane radio-frequency null set is exactly $P(x,y)=0$. This yields explicit field-free guide networks beyond smooth straight-line intersections, including cusp guides, cotangential contacts, and periodic lattices. We further derive Fourier-space formulas for periodic extensions and present square-lattice network families with tunable local crossing angle and rounded connectivity. These results provide a compact parametrization for the design space for quantum charge-coupled device (QCCD) architectures.

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

0 major / 3 minor

Summary. The paper develops a constructive framework for RF trap networks by using harmonic extensions of analytic Cauchy data (potential and normal derivative) on a symmetry plane (z=0). The odd subclass maps an arbitrary analytic generating function P(x,y) to a harmonic potential whose in-plane RF null set is exactly the zero set of P(x,y). This enables explicit designs for non-smooth field-free guide lines (cusps, cotangential contacts, periodic lattices) beyond smooth intersections, with Fourier-space formulas for periodic extensions and tunable square-lattice examples for QCCD architectures.

Significance. If the construction is valid, the work provides a compact, analytic parametrization for designing complex field-free RF guide networks, which is a notable advance for ion-trap quantum hardware. Credit is due for the parameter-free derivation from standard Laplace-equation properties and analytic continuation, the explicit Fourier formulas, and the demonstration of non-smooth guides (e.g., cusps) that are not accessible by conventional smooth-line methods. The in-plane focus is clearly scoped and avoids overclaiming 3D null sets.

minor comments (3)
  1. The abstract states that the resulting 3D fields satisfy the RF null condition, but the body should include at least one concrete numerical or symbolic verification (e.g., for the cusp example) that the in-plane tangential E components vanish identically on P=0 while the normal component matches P, to confirm the Cauchy-data construction.
  2. Section on periodic extensions: the Fourier-space formulas are presented but would benefit from an explicit step showing how the odd extension preserves harmonicity and the null-set property under periodicity.
  3. A brief discussion of how the local harmonic continuation can be matched to realistic finite electrode boundary conditions (beyond the symmetry plane) would strengthen the claim of applicability to physical traps.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. No specific major comments were raised in the report, so we have no point-by-point revisions to propose at this stage. We are pleased that the scope, analytic construction, and examples for non-smooth RF guide networks were viewed favorably.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents a mathematical construction: given analytic Cauchy data on z=0 consisting of vanishing potential (odd extension) and normal derivative set proportional to an arbitrary analytic P(x,y), the unique local harmonic continuation (guaranteed by the Cauchy-Kowalevski theorem for analytic data) yields a potential whose in-plane gradient vanishes exactly on the zero set of P. This follows directly from the definitions of the electrostatic field E = −∇φ, the fact that a constant potential on the plane forces tangential derivatives to vanish, and the explicit identification of the normal component with P. No parameters are fitted to data, no self-citations are invoked as load-bearing uniqueness theorems, and the central claim is an explicit parametrization rather than a prediction that reduces to its own inputs. The derivation therefore rests on standard properties of harmonic functions and is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on the classical theory of harmonic functions and the assumption that RF nulls coincide with potential zeros in the symmetry plane; no free parameters or new physical entities are introduced.

axioms (2)
  • standard math Electrostatic potentials in free space satisfy Laplace's equation.
    Invoked to obtain the three-dimensional continuation from planar Cauchy data.
  • domain assumption The radio-frequency null set is exactly the zero set of the in-plane potential.
    Used to equate the mathematical zero set P(x,y)=0 with the physical field-free guide lines.

pith-pipeline@v0.9.0 · 5432 in / 1298 out tokens · 25563 ms · 2026-05-08T18:43:57.944843+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

  1. [1]

    Hoffman, Abigail R

    Burton, William Cody and Estey, Brian and Hoffman, Ian M. and Perry, Abigail R. and Volin, Curtis and Price, Gabriel , year = 2023, month = apr, journal =. Transport of Multispecies Ion Crystals through a Junction in an. doi:10.1103/PhysRevLett.130.173202 , url =. arXiv , timestamp =:2206.11888 , primaryclass =

    work page doi:10.1103/physrevlett.130.173202 2023

  2. [2]

    Ideal Intersections for Radio-Frequency Trap Networks , author =. Phys. Rev. A , volume =. doi:10.1103/PhysRevA.79.013416 , url =. arXiv , timestamp =:0802.3162 , primaryclass =

    work page doi:10.1103/physreva.79.013416

  3. [3]

    and Faircloth, Daniel L

    Wright, Kenneth and Amini, Jason M. and Faircloth, Daniel L. and Volin, Curtis and Doret, S. Charles and Hayden, Harley and Pai, C.-S. and Landgren, David W. and Denison, Douglas and Killian, Tyler and Slusher, Richart E. and Harter, Alexa W. , year = 2013, month = mar, journal =. Reliable Transport through a Microfabricated. doi:10.1088/1367-2630/15/3/03...

    work page doi:10.1088/1367-2630/15/3/033004 2013

  4. [4]

    Kielpinski, C

    Architecture for a large-scale ion-trap quantum computer , volume=. Nature , author=. 2002 , pages=. doi:10.1038/nature00784 , abstractNote=

    work page doi:10.1038/nature00784 2002