Orthodisk Method in Minimal Surface Theory

• The orthodisk method is a minimal-surface framework that transforms period problems on Riemann surfaces into matching planar polygonal flat structures.
• It employs Schwarz–Christoffel maps to develop orthodisks—polygons with alternating orthogonal edges—ensuring the conjugacy of period vectors.
• The approach leverages conformal matching and enhanced polygonal models, including generalized orthodisks and partial symmetry, to solve complex minimal surface problems.

The orthodisk method denotes, in the strict sense supported by current arXiv usage, a minimal-surface construction framework in which the period problem is converted into a problem about planar polygonal flat structures and then solved using Teichmüller-theoretic invariants. In "Higher genus Angel surfaces" (Bardhan et al., 4 Sep 2025), the method is the central mechanism for passing from Weierstrass data $(M,G,\eta)$ to two planar polygons determined by the flat structures of $G\eta$ and $G^{-1}\eta$, and then recovering a minimal immersion once the resulting polygonal data form an appropriate reflexive pair. The term is not used uniformly across adjacent literatures: several papers on pairwise comparisons, disk parameterization, orthogonal exponentials on the disk, disk-slice spectral methods, and diffraction-disk processing are related only analogically or as alternatives, not as instances of a named orthodisk method (Benitez et al., 2024, Choi et al., 2014, Zakharov, 2024, Snowball et al., 2019, Wang et al., 2022).

1. Terminological scope and principal meaning

The most precise contemporary use of the term appears in minimal-surface theory. There, the orthodisk method originates in Weber–Wolf and is described as a way to replace direct solution of the period equations on a higher-genus Riemann surface by a pair of planar polygonal flat structures associated with the meromorphic 1-forms

$G\eta,\qquad G^{-1}\eta.$

Each form determines a flat structure, and in favorable cases these structures can be developed into polygons in $\mathbb C$ by a Schwarz–Christoffel map. In the Weber–Wolf setting, the polygons are orthodisks: polygonal regions with boundary edges alternating among orthogonal directions, so successive edges meet at right angles and every other edge is parallel (Bardhan et al., 4 Sep 2025).

A central conceptual reduction is that periods of the minimal surface become period vectors of polygon edges, while conjugacy of Weierstrass periods,

$$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$

becomes a relation between the two polygons. Requiring the two polygons to encode the same conformal structure then becomes a Teichmüller-space matching problem detected by extremal lengths (Bardhan et al., 4 Sep 2025).

The phrase is substantially narrower than several superficially similar terms. The arXiv record considered here supports the following distinctions.

Area	Status of “Orthodisk Method”	Supported interpretation
Minimal surfaces	Explicitly central	Orthodisk / generalized orthodisk framework (Bardhan et al., 4 Sep 2025)
Pairwise comparisons	Term absent	Orthogonal projection to consistent PC matrices (Benitez et al., 2024)
Disk conformal parameterization	Term absent	Beltrami-based alternative for disk maps (Choi et al., 2014)
Orthogonal exponentials on the disk	Informal explanatory label	Disk-specific Fourier/Bessel distance-set method (Zakharov, 2024)
PDEs on disk slices	Term absent	Sparse spectral method using orthogonal polynomials (Snowball et al., 2019)
4D-STEM diffraction	Different name	AutoDisk pipeline for diffraction-disk detection (Wang et al., 2022)

This distribution suggests that “orthodisk method” is a term of art in the minimal-surface setting, whereas elsewhere it is at most a loose descriptor for orthogonalization-based or disk-based constructions.

2. Classical orthodisk framework in minimal-surface theory

The classical method begins with the Weierstrass representation. For a minimal immersion, the period conditions are

$$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$

for all $\gamma\in H_1(M,\mathbb Z)$ (Bardhan et al., 4 Sep 2025). Directly solving these conditions on a genus-$p$ Riemann surface requires simultaneous control of the moduli of $M$, the divisor structure of $G\eta$0, and the differential $G\eta$1. The orthodisk method avoids this by replacing the abstract surface with two planar polygonal objects, one for $G\eta$2 and one for $G\eta$3, and then adjusting polygon geometry instead of the original transcendental period equations (Bardhan et al., 4 Sep 2025).

In this setting, a pair satisfying the relevant period and conformal-structure constraints is called a reflexive pair in Weber–Wolf’s language. The developed polygons are not arbitrary. Their orthogonal edge pattern is the flat-geometric manifestation of the underlying Weierstrass data, and the condition that the two polygons define the same conformal structure is tested by extremal lengths of curve families (Bardhan et al., 4 Sep 2025).

The final surface is recovered through the standard immersion formula

$G\eta$4

with induced metric

$G\eta$5

Within the orthodisk framework, the role of the polygons is therefore not merely representational. They encode the flat structures of $G\eta$6 and $G\eta$7 in a form where both period conjugacy and conformal matching can be treated by planar geometry and Teichmüller theory rather than by direct manipulation of the original higher-genus data (Bardhan et al., 4 Sep 2025).

3. Generalized orthodisks, enhanced polygons, and partial symmetry

"Higher genus Angel surfaces" (Bardhan et al., 4 Sep 2025) extends the classical Weber–Wolf framework to asymmetric mixed-end data. The target surfaces have one catenoidal end and one Enneper-type end, and the paper emphasizes that the polygons determined by $G\eta$8 and $G\eta$9 no longer share the old full combinatorial symmetry. The principal modification is the introduction of generalized orthodisks.

A generalized orthodisk is written as

$G^{-1}\eta$0

where $G^{-1}\eta$1, $G^{-1}\eta$2, $G^{-1}\eta$3, and the associated Schwarz–Christoffel map is

$G^{-1}\eta$4

This permits more flexible angle data than the classical symmetric setting (Bardhan et al., 4 Sep 2025).

The paper then introduces an enhanced generalized orthodisk

$G^{-1}\eta$5

where $G^{-1}\eta$6 is a marked subset of vertices with $G^{-1}\eta$7 odd. The associated compact hyperelliptic surface is

$G^{-1}\eta$8

which has genus

$G^{-1}\eta$9

The marked subset separates branching data from the full vertex set and thereby allows the divisor structure needed for Angel surfaces to be encoded directly in the polygonal model (Bardhan et al., 4 Sep 2025).

For an enhanced generalized orthodisk, the divisor of the pulled-back 1-form $G\eta,\qquad G^{-1}\eta.$0 depends on whether a vertex is marked. If $G\eta,\qquad G^{-1}\eta.$1, then $G\eta,\qquad G^{-1}\eta.$2 lifts to two points $G\eta,\qquad G^{-1}\eta.$3 and

$G\eta,\qquad G^{-1}\eta.$4

If $G\eta,\qquad G^{-1}\eta.$5, then $G\eta,\qquad G^{-1}\eta.$6 lifts to a single point $G\eta,\qquad G^{-1}\eta.$7 and

$G\eta,\qquad G^{-1}\eta.$8

This is the mechanism by which the orthodisk data control whether a singularity contributes once or twice on the Riemann surface (Bardhan et al., 4 Sep 2025).

A second innovation is partial symmetry. Full symmetry is unavailable because the two ends are of different types, but the paper isolates a weaker symmetry in the staircase region inserted during handle addition. After rotating both polygons by $G\eta,\qquad G^{-1}\eta.$9, a partially symmetric polygonal pair $\mathbb C$0 satisfies

$\mathbb C$1

This restricted symmetry is sufficient to guarantee conjugacy of the relevant periods on the staircase cycles, while avoiding the impossible demand of full combinatorial symmetry (Bardhan et al., 4 Sep 2025).

4. Orthodisks for Angel surfaces and the encoding of end behavior

The higher-genus construction is expressed through two explicit families of generalized orthodisks, one for $\mathbb C$2 and one for $\mathbb C$3. For genus $\mathbb C$4, the $\mathbb C$5 side is specified by

$\mathbb C$6

$\mathbb C$7

$\mathbb C$8

with Schwarz–Christoffel map

$\mathbb C$9

The $$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$0 side is given by

$$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$1

$$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$2

$$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$3

with

$$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$4

These two polygonal flat structures encode the two meromorphic forms required in the Weierstrass representation (Bardhan et al., 4 Sep 2025).

The divisors computed from these data capture the prescribed end behavior. The paper states

$$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$5

and

$$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$6

The corresponding local behavior matches the intended mixed ends: at the catenoid end, $$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$7 is regular while $$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$8 has a double pole; at the Enneper end, $$\int_\gamma G\eta=\overline{\int_\gamma G^{-1}\eta},$$9 has a double pole while $$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$0 has a quadruple pole (Bardhan et al., 4 Sep 2025).

The formal Weierstrass data are also made explicit. For

$$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$1

the model surface is

$$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$2

with

$$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$3

The catenoid end is at $$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$4 and the Enneper end at $$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$5 (Bardhan et al., 4 Sep 2025). This explicit algebraic model shows that the orthodisk method is not only a qualitative existence principle; it provides concrete data from which the final minimal surface is reconstructed.

5. Analytical machinery: reflexivity, extremal lengths, and induction on genus

The condition that converts a polygonal pair into a minimal surface is e-reflexivity. If two generalized orthodisks $$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$6 are e-reflexive and the sums of corresponding vertex data are even, then the paper defines

$$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$7

whose pullback $$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$8 has purely imaginary periods and satisfies

$$\int_{\gamma} G\eta \;=\; \overline{\int_{\gamma} G^{-1}\eta}, \qquad \operatorname{Re}\int_\gamma \eta=0$$9

Setting

$\gamma\in H_1(M,\mathbb Z)$0

then yields the minimal surface (Bardhan et al., 4 Sep 2025). This is the algebraic bridge between planar orthodisk data and the final Weierstrass representation.

Conformal matching is encoded through a height function built from extremal lengths. For each homotopy class $\gamma\in H_1(M,\mathbb Z)$1,

$\gamma\in H_1(M,\mathbb Z)$2

The total height is defined by

$\gamma\in H_1(M,\mathbb Z)$3

The paper states that $\gamma\in H_1(M,\mathbb Z)$4 is proper, that $\gamma\in H_1(M,\mathbb Z)$5, and that $\gamma\in H_1(M,\mathbb Z)$6 if and only if the pair is e-reflexive (Bardhan et al., 4 Sep 2025). The period problem is therefore transformed into the problem of finding a zero of a proper nonnegative function on the relevant moduli space.

The genus-$\gamma\in H_1(M,\mathbb Z)$7 existence theorem is proved inductively. Starting from the genus-1 Angel surface, the construction inserts a staircase of length $\gamma\in H_1(M,\mathbb Z)$8 into the polygonal data. The relevant moduli slice $\gamma\in H_1(M,\mathbb Z)$9 is parameterized by staircase lengths

$p$0

so that

$p$1

A degenerate boundary point

$p$2

corresponds to the collapsed-handle limit where genus drops by one. Near this point, the implicit function theorem and extremal-length equalities produce a 1-dimensional real analytic submanifold $p$3 on which all but one matching condition are already solved. Properness of the remaining height function on $p$4 then forces a critical point, and the admissible edge-deformation analysis shows that a non-reflexive critical point is impossible (Bardhan et al., 4 Sep 2025). This handle-addition or regeneration argument is one of the method’s defining features.

6. Related methods, analogical usages, and common misconceptions

A common misconception is that any orthogonalization-based or disk-based computational procedure is an orthodisk method. The arXiv materials considered here do not support that generalization.

In pairwise comparisons, "Computationally efficient orthogonalization for pairwise comparisons method" (Benitez et al., 2024) develops an orthogonal projection method for approximating an inconsistent reciprocal PC matrix by a consistent one. After the logarithmic transform

$p$5

multiplicative reciprocity becomes skew-symmetry and consistency becomes additive consistency, so the consistent matrices form the linear subspace

$p$6

inside the skew-symmetric space

$p$7

The problem becomes orthogonal projection onto $p$8, with weighted generalization via

$p$9

This is an orthogonalization method in projection geometry, not a named orthodisk method (Benitez et al., 2024).

In computational conformal geometry, "Fast Disk Conformal Parameterization of Simply-connected Open Surfaces" (Choi et al., 2014) is explicitly described as a practical computational alternative rather than an orthodisk construction. Its pipeline uses harmonic initialization, the Cayley transform

$M$0

quasi-conformal correction, reflection

$M$1

and circular reprojection

$M$2

to obtain bijective conformal maps to the unit disk. The paper states that it has no orthodisk construction, no Schwarz–Christoffel orthodisk machinery, and no use of orthogonal polygonal disk domains as the central representation (Choi et al., 2014).

In harmonic analysis, "On sets of orthogonal exponentials on the disk" (Zakharov, 2024) uses the disk’s Fourier transform

$M$3

so orthogonality of exponentials becomes a distance-set condition

$M$4

The paper’s new ingredient is a discretized Marstrand slicing theorem, which combines with the robustly sum-free structure of the Bessel zeros to prove

$M$5

This is described in the source material as an “orthodisk method” only in an explanatory sense tied to orthogonality on the disk; it is not the minimal-surface orthodisk framework (Zakharov, 2024).

In numerical PDEs, "Sparse spectral and p-finite element methods for partial differential equations on disk slices and trapeziums" (Snowball et al., 2019) develops a sparse spectral framework on disk slices using orthogonal polynomial bases such as

$M$6

with weight

$M$7

This is highly relevant to disk-adapted orthogonal polynomial methodology, but the paper does not use the phrase “orthodisk method” (Snowball et al., 2019).

In 4D-STEM, "AutoDisk: Automated Diffraction Processing and Strain Mapping in 4D-STEM" (Wang et al., 2022) concerns automated detection and localization of diffraction disks via ring-filter cross-correlation, Laplacian-of-Gaussian detection,

$M$8

and reciprocal-lattice fitting. Despite the presence of “Disk” in the title, it is unrelated to the orthodisk method of minimal-surface theory (Wang et al., 2022).

The most defensible encyclopedia-level conclusion is therefore twofold. First, the orthodisk method is, properly, a polygonal-flat-structure and Teichmüller-theoretic framework for solving minimal-surface period problems, now extended to asymmetric mixed-end surfaces through generalized orthodisks and partial symmetry (Bardhan et al., 4 Sep 2025). Second, several neighboring literatures feature orthogonalization or disk-based constructions that may resemble the phrase superficially, but the available sources explicitly distinguish them from a named orthodisk method (Benitez et al., 2024, Choi et al., 2014, Snowball et al., 2019, Wang et al., 2022, Zakharov, 2024).