Searcharxiv⌕ Search

arXiv subjects

Vincent Wesley Couey

Publications and source records attributed to Vincent Wesley Couey.

4 recordsLinked to original sources

Static Equilibria of Perturbed Spheres: A Single-Harmonic Class Map, a Parity Obstruction, and a Certified Counter for the Mono-Monostatic Regime

Varkonyi and Domokos proved that homogeneous convex bodies exist with any prescribed numbers $S\ge1$ of stable and $U\ge1$ of unstable static equilibria, the case $S=U=1$ being the mono-monostatic Gomboc. Their result is an existence statement. We give a complete constructive answer for the simplest nondegenerate shapes: a homogeneous body whose boundary is the unit sphere perturbed radially by a single real spherical harmonic $Y_\ell^m$ ($\ell\ge2$, $1\le m\le\ell$) has exactly $S = U = m(\ell-m+1)$ stable and unstable equilibria, for every amplitude in the convex range when $m\ge2$ and for small amplitude when $m=1$. For $m\ge2$ the reduction to the critical points of the harmonic is an identity: the symmetry of a single tesseral harmonic pins the centroid at the origin exactly, so the centroid-to-surface distance is a strictly increasing function of the harmonic. We count the critical points of $Y_\ell^m$ and verify the Poincare-Hopf balance in index form, the polar monkey-saddles persisting unsplit with index $1-m$. Three consequences follow: a single harmonic populates only the diagonal $S=U$, so none of degree $\ge2$ is mono-monostatic; any centrally symmetric (even-degree) perturbation has even $S,U$, a parity obstruction; hence mono-monostaticity is intrinsically multi-harmonic. A predict-then-confirm study on eight bodies matches the formula exactly. For the multi-harmonic regime, where mono-monostatic bodies live, we give a certified equilibrium counter (interval arithmetic on the centroid-to-surface distance, Krawczyk uniqueness, interval-Hessian classification, stereographic polar charts) that, given the centroid, provably neither under- nor over-counts. It certifies specific near-spherical bodies mono-monostatic, including a known analytic parameterization, settling by certified computation a question that drainage-basin and seed-based methods leave ambiguous.

math.GM↗

Sloan's Analytical Gömböc at Published $β$: A Strict-Convexity-Constrained Reanalysis

Varkonyi and Domokos (2006) proved that convex homogeneous bodies with exactly one stable and one unstable equilibrium point exist. Sloan (2023) gave the first analytical parameterization, with radial function $R(θ,ϕ)$ having exactly two critical points on $S^2$. This is the v2 amendment-of-record of arXiv:2604.17120. v1 claimed Sloan's parameterization does not produce mono-monostatic bodies and reported a 13-member catalog of Fourier/radial extensions certified at ECS=1 via mesh-vertex drainage-basin analysis. Following correspondence with P. L. Varkonyi (BME), an analytical verification suite was built around the Varkonyi-Gauss identity. Finding 1: Sloan's parameterization does produce mono-monostatic bodies in a strictly-convex sub-regime ($β\lesssim 0.036$), where $K_{\min} > 0$ and the identity certifies ECS=1. v1 missed this because its mesh-vertex oracle over-counted on shallow COM-height landscapes. At Sloan's published $β=0.05$, strict convexity is lost ($K_{\min}=-0.569$; $K<0$ over 4.01% of surface); the identity's precondition fails. v1's "global surface information" mechanism is replaced by the strict-convexity precondition. Finding 2: Of v1's 13 catalog instances only Phase-1 ($β=0.023149$, $a_1=0.234433$, $k=1$) survives identity-based verification; the remaining twelve were per-$k$ optimizer extrema overshooting the strict-convex boundary. Probing the regime interior verifies further mono-monostatic bodies in $k=2$ and $k=3$ sub-families: the verified set is an open regime in $(β, a_1, k)$, not a discrete list. Finding 3: v1's ECS=1 readings for the 9 radial-family members reflected drainage-basin merging; the $r=0.9993$ gentleness-robustness correlation is retracted.

cs.CE↗

Computational Validation of the Oloid as a Local Optimum in the Developable Roller Family

Many engineering failures (thermal hotspot concentration, Hertz contact fatigue localization, boundary-layer loss, mixing dead zones) are geometric failure modes: changing the material delays the failure; changing the geometry eliminates it. Despite this, no formal metric exists for evaluating how uniformly a convex body distributes surface contact during rolling, with direct engineering implications. We introduce the Contact Distribution Score (CDS), a scalar metric defined as the area-weighted variance of contact time over a rolling surface, and its stress-domain counterpart the Stress Distribution Score (SDS), the area-weighted variance of accumulated Hertz contact pressure. CDS -> 0 indicates uniform contact; SDS -> 0 indicates uniform stress. We implement a three-layer oracle architecture (approximate oracle for search, rigid-body oracle for validation, Hertz contact pressure oracle for SDS). A parametric search over 45 members of the developable roller family identifies the oloid (Schatz, 1929) at CDS = 8.2 x 10^-7, with the conventional cylinder baseline at 4.75 x 10^-5: a 58x discrimination. Independent curvature-driven analysis under uniform contact yields a geometry-only SDS of 4.8 x 10^-8, indicating the oloid's surface curvature contributes minimal additional stress non-uniformity beyond the contact distribution. We extend the analysis to fatigue (FDS), thermal (TDS), and wear (WDS) scores, finding the oloid's 58x advantage transfers consistently across linear and multiplicative metrics in a 46-68x range. The nonlinear fatigue metric diverges due to Basquin S-N amplification but still shows oloid superiority over all tested alternatives. This work establishes the formal vocabulary and computational infrastructure for substrate geometry: the study of geometric forms as engineering substrates classified by their operational invariants.

cs.CE↗

Computational Construction and Engineering Evaluation of Verified Mono-Monostatic Bodies

Many engineering failures in orientation-dependent systems are geometric failure modes: changing the geometry can eliminate what changing the material merely delays. The mono-monostatic property (exactly one stable equilibrium under gravity) is mathematically proven to exist in convex homogeneous bodies, but no verified geometry has been openly published. We introduce an Equilibrium Count Score (ECS) oracle measuring stable equilibria via drainage basin analysis on the center-of-mass height landscape. Applying this oracle to Sloan's (2023) analytical Gomboc parameterization, we find that no tested parameter value produces a mono-monostatic body. The surface function has two critical points as proven, but the COM height landscape exhibits 4-11 local minima. Surface critical points are necessary but not sufficient for mono-monostatic behavior. We close this gap by extending the Sloan phase function with Fourier terms and optimizing via differential evolution, constructing three verified mono-monostatic bodies with ECS=1 confirmed across merge thresholds from 0.5% to 10%. The primary instance (beta=0.023, a1=0.234) is the first openly published, computationally verified mono-monostatic geometry. The central result: conventional geometries cannot achieve ECS=1 through ballast alone. Cylinders retain multiple equilibria even at 30% bottom-weighted mass. Applied to IMU calibration housing (349x precision improvement, zero prior art), aerial reforestation seed pods (eliminating 20-67% germination loss from orientation), and marine buoy self-righting. Cross-layer scoring confirms the Gomboc is 11.8x worse than the cylinder on contact distribution while optimal on equilibrium stability, demonstrating framework discrimination across three invariant classes.

cs.CE↗