arXiv subjects

Dawid Trela

Publications and source records attributed to Dawid Trela.

3 recordsLinked to original sources

arXiv2026

KKT Stresses, Affine Moments, and Separator Flux in the Heilbronn Triangle Problem

For n points in the unit square, the Heilbronn triangle problem asks for the largest possible minimum triangle area. We develop a variational stress theory for this max-min problem. At every positive-area local optimum, normalized Karush-Kuhn-Tucker multipliers assemble into a skew matrix B satisfying Bz = 2ib, where b is the outward square reaction. This equilibrium has the isotropic affine moment sum_i p_i b_i^T = Delta I_2; the identity also holds for every tight subfamily carrying weights inherited from the same multiplier, with Delta scaled by its multiplier mass. It follows that every positive stress component meets all four sides and that there are at most two such components. To handle nonunique multipliers, we introduce the intersection of the stress kernels over the whole KKT face and a canonical hybrid operator incorporating all tight determinant and boundary derivatives. A strictly convex selector removes every decomposable invisible motion, leaving a rank-one-free residual with a sharp dimension bound; the literal maximal two-dimensional residual is excluded. Two-terminal substresses satisfy an exact interface-flux law, and a five-internal-vertex rank-four block has a Pfaffian cofactor carrier. Finally, an analytic reduction followed by exact symbolic enumeration excludes every one-external completion of a specified one-silent five-cycle residual, for all orientation words. These results isolate the remaining degeneracy but do not solve the problem for arbitrary n.

math.MG↗

arXiv2026

Maximum-Area Small Polygons of Even Order

A small n-gon is a planar n-gon whose diameter is at most one. For odd n, Reinhardt proved that the regular polygon is optimal. For even n, the maximizer is nonregular, and only a few low orders were known exactly. We prove that for every even n >= 8 the maximum-area small n-gon is unique up to Euclidean isometry and reflection. Foster and Szabo's description of the diameter graph reduces a maximizer to an (n-1)-cycle of unit distances together with one pendant diameter. We determine the compatible boundary order, interpret the cycle as the centers of a Reuleaux (n-1)-gon, and eliminate the pendant vertex by a one-variable area calculation. The remaining first-order equations have conserved translation and rotation quantities. In the resulting radial variables they become the critical-point equations of an explicit function on a convex domain. We prove that this function is strictly concave by factoring the relevant principal minors of its local Hessian. Compactness gives existence, while strict concavity gives uniqueness. The proof is analytic. The symbolic scripts supplied with the paper check algebraic identities but are not used as part of the proof. Combined with the classical odd-order and low-order results, this determines the maximal area for every n >= 3.

math.MG↗

arXiv2026

Boundary Layers and Sharp Asymptotics for Maximum-Area Small Polygons

A small polygon is a planar polygon of diameter at most one; let $A_n$ be the largest area at order $n$. Using the global characterization of the even-order maximizers established in a companion paper, we determine their asymptotic geometry. After scaling the angular deficits near the unique pendant diameter, the exact critical equations converge to an autonomous second-order recurrence. Its marked boundary condition selects a unique positive half-line orbit, equivalently the unique minimizer of an explicit strictly convex action. The orbit approaches the regular state with stable multiplier $(-3+\sqrt5)/2$, producing an alternating, exponentially damped boundary layer. A uniform finite-cycle shadowing theorem transfers this profile to the true maximizers. For every fixed depth, an excursion-clipping argument proves that the positive variational finite section is the unique global minimizer on the limiting geometric domain of the Bingane--Mossinghoff construction; this conclusion is expressly distinct from minimization on a looser algebraic box. The sections converge sharply, with two-step error ratio $|(-3+\sqrt5)/2|^4$. The limiting constant $q_*$ has an exact variational definition and a certified rational enclosure. For even $n\to\infty$, $A_n=\frac\pi4-\frac{5π^3}{48n^2}-\frac{q_*π^3}{n^3}+O(n^{-4}).$ We also identify the leading gap from the Foster--Szabo upper bound and prove that $A_n$ is represented, up to an exponentially small error, by a real-analytic function of $1/n$.

math.MG↗