Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.25787

Computation of Free Boundary Minimal Tori via Extremal Steklov Eigenvalues

Haoyu Chen·Braxton Osting
View original source ↗Read source document ↗Export metadata ↓

Abstract

Fraser and Schoen showed that the first Steklov eigenfunctions of a metric maximizing the length-normalized first eigenvalue of a surface with boundary define a free boundary minimal immersion into a Euclidean ball. We develop a method for this extremal problem on surfaces of genus one with $b$ boundary components and use it to compute free boundary minimal tori for $b \in \{1, 2, 3, 4, 5, 8\}$. By uniformization, the problem is a nonsmooth maximization over the modulus of a flat torus, the centers and radii of $b$ removed disks, and a boundary weight. The eigenvalues are computed with doubly periodic layer potentials, all derivatives follow from a single formula for the underlying pencil of boundary integral operators, and the coalescence of eigenvalues at a maximizer is handled by a two-stage nonsmooth method. The Lagrange multiplier matrix that certifies first-order stationarity rescales the eigenfunctions into the free boundary minimal immersion. For $b=1$, the supremum is the Fraser--Schoen bound $4π$, attained by branched double covers of the disk; the embedded torus with connected boundary of Carlotto, Franz, and Schulz is a saddle point, which answers their question whether it maximizes the eigenvalue in the negative. For $b \geq 2$ the largest values correspond to free boundary minimal tori in \mathbb{B}^5 and \mathbb{B}^6; the surfaces of Folha, Pacard, and Zolotareva, two disks joined by a central neck and $b$ equatorial necks, are maximizers within their symmetry class but saddle points of the full problem, with values increasing toward $4π$ as $b \to \infty$.

Explore related subjects

math.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Haoyu Chen, Braxton Osting. 2026-10-19. Computation of Free Boundary Minimal Tori via Extremal Steklov Eigenvalues. https://arxiv.org/abs/2610.25787

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Exploring chordal sparsity in semidefinite programming with sparse plus low-rank data matrices

Semidefinite programming (SDP) problems are challenging to solve because of their high dimensionality. However, solving sparse SDP problems with small tree-width are known to be relatively easier because: (1) they can be decomposed into smaller multi-block SDP problems through chordal conversion; (2) they have low-rank optimal solutions. In this paper, we study more general SDP problems whose coefficient matrices have sparse plus low-rank (SPLR) structure. We develop a unified framework to convert such problems into sparse SDP problems with bounded tree-width. Based on this, we derive rank bounds for SDP problems with SPLR structure, which are tight in the worst case.

math.OC↗
arXiv2026

Bellman Optimality of Average-Reward Robust Markov Decision Processes with a Constant Gain

Learning and optimal control under robust Markov decision processes (MDPs) have received increasing attention, yet most existing theory, algorithms, and applications focus on finite-horizon or discounted models. Long-run average-reward formulations, while natural in many operations research and management contexts, remain underexplored. This is primarily because the dynamic programming foundations are technically challenging and only partially understood, with several fundamental questions remaining open. This paper steps toward a general framework for average-reward robust MDPs by analyzing the constant-gain setting. We study the average-reward robust control problem with possible information asymmetries between the controller and an S-rectangular adversary. Our analysis centers on the constant-gain robust Bellman equation, examining both the existence of solutions and their relationship to the optimal average reward. Specifically, we identify when solutions to the robust Bellman equation characterize the optimal average reward and stationary policies, and we provide one-sided weak communication conditions ensuring solutions' existence. These findings expand the dynamic programming theory for average-reward robust MDPs and lay a foundation for robust dynamic decision making under long-run average criteria in operational environments.

math.OC↗
arXiv2026

Service-Induced Congestion in Memory-Constrained LLM Serving

In large language model (LLM) serving, each request accumulates persistent graphics processing unit (GPU) memory during service as its key-value cache grows with every generated token. Under high concurrency, aggregate memory usage therefore increases endogenously over time: the service process itself creates future capacity pressure. When memory capacity is exceeded, systems evict active requests, discarding cached state and restarting them later, which wastes computation and reduces throughput. We develop a discrete-time dynamical model of memory-constrained LLM inference that captures admission, memory growth, and eviction under continuous batching. In the saturated-input regime, the system admits both eviction-free fixed points and limit cycles with evictions. For homogeneous workloads, we show that the eviction-free equilibrium is unstable and that, except for a Lebesgue-measure-zero exact-capture set, the system converges to a unique worst-case limit cycle that is asymptotically stable outside this exceptional set, with throughput losses as large as 50%. For heterogeneous workloads, we prove a stability criterion in the two-class common-input setting and explain how the survival-polynomial mechanism generalizes to multiple classes and heterogeneous-input lengths. Under an input-dominated scaling regime, coprime decoding lengths stabilize the eviction-free equilibrium, while non-coprime lengths create synchronized modes that drive instability. These results characterize when workload heterogeneity desynchronizes completions and helps stabilize memory-constrained serving. More broadly, we identify service-induced congestion as a structural instability mechanism and derive scheduling design principles for sustaining high throughput.

math.OC↗