New on arXiv
Sort: by field | by arXiv number | trending
Optimization and control
On the Spectral Dependence of Decentralized Stochastic Gradient Tracking
We study how the spectral geometry of the mixing matrix enters the convergence of decentralized stochastic gradient tracking (GT) for smooth strongly convex problems. General bounds contain the factor $\Delta_\lambda^{-3}$ in the higher-order stochastic term, where $\Delta_\lambda$ is the absolute spectral gap. We show that, even for two agents with identical quadratic objectives, the exact...
Newton Steps are Faster for Linear Complementarity Problems
Linear Complementarity Problems (LCPs) with sufficient matrices form a well-studied class of problems, dating back from the foundational works of Cottle and Dantzig (1968). LCPs capture convex quadratic programs, and admit reductions from problems such as discounted stochastic games or mean-payoff games. While the original approach for solving these problems was based on pivoting methods, in...
Online Optimization for Controlling HVAC Systems
Heating, ventilation, and air-conditioning (HVAC) systems account for a significant portion of buildings' energy consumption, motivating the design of energy- and cost-efficient control strategies. However, conventional strategies employ simple, reactive control, without incorporating a model. Therefore, in this paper we adopt an economic model predictive control framework and focus on designing...
Randomized and Oracle-Based Feasible Directions Methods for Nonsmooth Nonconvex Constrained Optimization
Minimizing nonsmooth nonconvex objectives over general convex sets using no derivatives of the objective, together with structural access to the constraint set, poses a fundamental geometric difficulty: at boundary points, the feasible direction cone may fail to be closed, preventing the construction of finite sets of search directions that capture all feasible descent directions. We develop a...
Randomized Parallel Complexity of Weakly Convex Optimization
We study the minimum number of query rounds needed to find approximate stationary points of nonsmooth weakly convex functions, measured by the gradient of the Moreau envelope. Each round permits multiple simultaneous queries. In the stated parameter regime, the standard subgradient rate is optimal in sufficiently high dimensions, even for randomized algorithms making polynomially many parallel...
A Graph-Theoretic Approach to Matrix AM-GM: Counterexamples and Sharp Exponential Bounds
We develop a graph-theoretic approach to the expected-norm matrix arithmetic--geometric mean inequality. By encoding matrix interactions with a path-supported Gram matrix, we obtain a projection family whose product is nonzero exactly when the transition graph of its index sequence is a path. This gives an intuitive explanation for failure: repeated indices can create cycles or branches that...
Projection-Free Gradient Tracking Neurodynamic for Distributed Nonnegative Sparse Optimization
This paper proposes a continuous-time, projection-free neurodynamic system based on gradient tracking for distributed nonnegative sparse optimization. Unlike traditional methods, our approach avoids projecting states onto the feasible set. Instead, it employs gradient tracking to estimate average gradients under heterogeneous costs, coupling primal and dual dynamics such that feasibility and...
A Bilevel Neurodynamic Approach for Distributed SCAD-Regularized Sparse Least Squares
This paper proposes a bilevel particle swarm optimization (PSO)-neurodynamic method for solving the distributed sparse least-squares problem regularized by the smoothly clipped absolute deviation (SCAD) penalty to global optimality. The SCAD penalty is nonsmooth and nonconvex, so existing distributed neurodynamic methods have not been extended to it directly. Through two-time-scale singular...
Random Reshuffling for Smooth Convex Optimization: Dominates Stochastic Gradient Descent
Stochastic Gradient Descent (SGD) is one of the most classical optimization algorithms with favorable theoretical guarantees, yet its practical implementation differs subtly from its well-known form and is often referred to as Shuffling Stochastic Gradient Descent (Shuffling SGD). A particularly popular strategy in Shuffling SGD is Random Reshuffling (RR), which has achieved great empirical...
Continuous-time q-Learning for Finite-Horizon Portfolio Choice with Optimal Stopping in Jump-Diffusion Markets
We develop a structured continuous-time q-learning framework for finite-horizon investment and optimal stopping under jump-diffusion dynamics with unknown parameters. A penalty approximation transforms the Hamilton-Jacobi-Bellman variational inequality into an HJB equation with a binary control for the stopping penalty. An auxiliary state incorporates the resulting control-dependent discount...
From What Is Used to What Is Missing: Rethinking Dynamic Rank in LoRA
Parameter-efficient fine-tuning with LoRA is governed by rank, which controls parameter budget and locally accessible task updates. Existing dynamic-rank methods mainly focus on capacity allocation, leaving unresolved whether the current adaptation space is sufficient for the task. We characterize the first-order information boundary of standard factor gradients, showing that their unobservable...
Last-Iterate Convergence of Stochastic Gradient Methods for Unbounded Problems
Last-iterate convergence guarantees for stochastic gradient methods have attracted significant attention as practical implementations typically return the last iterate instead of an average of the iterates. In this paper, we study two approaches for analyzing the last-iterate convergence of proximal and projected stochastic gradient methods without bounded domain or bounded variance assumptions,...
Selecting the best UAV pursuer for minimum time moving target interception among obstacles
A team of unmanned aerial vehicles (pursuers) with different positions, headings, speeds, minimum turning radii and launch delays must respond to a target that moves at constant velocity through a region containing static circular obstacles. Only one pursuer is launched, namely the one that can intercept the target first. We present a computationally efficient, obstacle-aware...
Cubic Optimization over Three Nonnegative Integers Is NP-hard
We prove that deciding whether an integer cubic polynomial takes a value at most one over three nonnegative integers is NP-hard. Hardness holds even when every feasible objective value is a positive integer, so every constructed instance has a finite, attained minimum. This establishes a sharp dimension boundary for the tractability of cubic integer optimization in fixed dimension. Our reduction...
Multiplayer Stopping Games with a Conditionally Atomless Filtration
Stopping games are the multiplayer generalization of optimal stopping problems, in which each player independently chooses when to stop, and the payoff depends on who stops first and when. While the existence of $\varepsilon$-equilibria in two-player stopping games with integrable payoffs is known, the multiplayer case has remained open. We prove that every multiplayer stopping game in discrete...
How to Look Inside the Black Box: A Survey of Yu. E. Nesterov's Contributions (On the Award of the 2026 Gauss Prize)
On July 23, 2026, at the opening of the International Congress of Mathematicians in Philadelphia, the International Mathematical Union announced the award of the Gauss Prize to Yurii Evgenievich Nesterov -- an award for mathematical work with significant applications outside mathematics. This article explains the mathematical content of the recognized work of Yu. E. Nesterov and traces its...
Practical Semialgebraic Optimization via Sparse Sample-Based Sum-of-Squares Programming
As the importance of semialgebraic optimization grows in engineering, so does the need for scalable sum-of-squares (SOS) methods. Their convex relaxations can guide mixed-integer search and often deliver certified global optima outright. Scaling traditional SOS typically requires hand-crafted bases and redundant constraints, whereas sample-based SOS numerically exploits feasible set geometry to...
Ramification of Weighted Central Paths and Super-linear Interior-Point Methods for Semi-definite Optimization
The local convergence of primal-dual interior-point methods for semi-definite optimization is closely tied to the regularity of the central path at its limiting point. Without strict complementarity, the central path can exhibit fractional power asymptotics and need not be differentiable in the ordinary barrier parameter. We show that this obstruction can be removed simultaneously for a family of...
Noether's Second Theorem and the Pareto Front Structure in Multi-Criteria Variational Problems
This paper establishes a rigorous connection between Noether's second theorem and the structure of Pareto fronts in multi-criteria variational problems. We prove that for a family of functionals invariant under a common gauge Lie group, the regular part of the Pareto front is contained in the union of solutions to weighted Euler--Lagrange equations, and that on Pareto-optimal sections,...
The Computational Complexity of Avoiding Strict Saddle Points in Constrained Optimization
The complexity of finding second-order stationary points (SOSPs) in constrained settings has remained unclear and has been highlighted as an open question by the works of Hollender and Zampetakis [2023] and Kontogiannis et al. [2024]. In particular, under one established definition (SOSP1) where nonnegative curvature is required only along the null space of the active constraints [Bertsekas,...
Number theory
Steinberg module and top-dimensional cohomology for arithmetic Chevalley groups
We prove that for a Chevalley--Demazure group scheme $\mathcal{G}$ of type $G_2$, $F_4$ or $E_8$ and a Euclidean ring $\mathcal{O}$ with field of fractions $K$, the Steinberg module of $\mathcal{G}(K)$ is generated by integral apartment classes. As a consequence, the top-dimensional rational cohomology of $\mathcal{G}(\mathcal{O})$ vanishes if $\mathcal{O}$ is a ring of integers, extending...
Pointless K3 surfaces over finite fields
We prove that K3 surfaces with no rational points over the finite field with $q$ elements exist if and only if $q \leq 11$. Our approach applies linear programming techniques to improve on generic sphere packing bounds for the discriminants of even rootless definite lattices. These bounds are applied to constrain the possible zeta functions of K3 surfaces with no rational points via the...
$p$-parity conjecture for Panchishkin Galois representations
Let $p$ be an odd prime, and let $V_1$ and $V_2$ be symplectic self-dual $p$-adic de Rham representations of $G_{\mathbb{Q}}$ that are pure (of weight $-1$) and satisfy the Panchishkin condition at $p$. Suppose that $V_1$ and $V_2$ are residually isomorphic, compatibly with their Panchishkin filtrations. We prove the relative $p$-parity conjecture relating the ratio of the global root numbers of...
Density and holes of the visible points in certain cut-and-project sets
We study the set of visible points from the origin in certain cut-and-project sets, specifically the density of the set. We generalize to all real quadratic number fields the formulas for the density found by G. Hammarhjelm, and the corresponding error bounds proved by I. Gringlaz, R. Kumar, B. Weiss. We also find the possible densities of the set of visible points in the cut-and-project set,...
Arithmetic theta products and doubling at arbitrary level
We prove an arithmetic doubling identity for the standard arithmetic theta series on $X_0(N)$ at arbitrary positive level, with constant $\psi(N)/24$ for the fixed genus-two Eisenstein series. The product comparison covers all pairs of integral indices. At rank zero, an explicit Epstein zeta correction agrees with the middle Bruhat orbit of the Eisenstein derivative. The common-component...
Overholonomicity of Overconvergent $F$-isocrystals over Laurent Series Fields
We prove that $K$-valued overconvergent $F$-isocrystals over smooth $k((t))$-varieties are overholonomic and construct the triangulated category of overholonomic complexes of Frobenius type which is stable under six operations and contains overconvergent $F$-isocrsytals.
Fermat quotients with CM Jacobians and trivial automorphism group
Let $F_n$ be the Fermat curve of degree $n$ over $\mathbb Q$, and let $D_n=F_n/S_3$ be its quotient by coordinate permutations. We prove that $D_n$ has trivial geometric automorphism group for every $n\ge 11$ with $\gcd(n,6)=1$. Its Jacobian has complex multiplication. For $n=11$, this Jacobian is absolutely simple of dimension five. We construct an isogeny over $\mathbb Q$ of degree $11^5$ from...
Counting multigeodesics and the Selberg-Delange method
We study the counting function $\mathcal{P}^m(X,x)$ for $m$-multigeodesics of length at most $x$ on a compact hyperbolic surface $X$ where $m$ is a positive integer. Building on the Selberg-Delange method, originally developed for counting integers with exactly $m$ prime factors in the interval $[1,x]$, we prove a large $x$ asymptotic for $\mathcal{P}^m(X,x)$. We show that for fixed $m$ as...
On Sufficient Conditions for Rank Zero in Families of Elliptic Curves
In this article, we study the Mordell Weil ranks of elliptic curves in the family $E_D:y^2=x^3+Dx$, where $D\in\mathbb{Z}\setminus\{0\}$. Under suitable congruence conditions on $D$ and its prime divisors, we use $2$-descent via a rational $2$-isogeny to study the rank of $E_D$. Under our congruence hypotheses, the ranks of these matrices give sufficient conditions for $E_D$ to have rank zero. We...
Towards a twistless converse theorem
We prove a finiteness theorem for Dirichlet series satisfying the Euler product, analytic continuation, and functional equation expected of a holomorphic newform. For any fixed level $N$, even weight $k$, and exponent $\sigma$, only finitely many such series have Dirichlet coefficients $\ll n^\sigma$. No hypotheses on twists by Dirichlet characters are assumed. The proof combines a combinatorial...
The minimal excludant and the least $r$-gaps of $\ell$-regular partitions
The minimal excludant (mex) of an integer partition $\lambda$ is the smallest positive integer that is not a part of $\lambda$. In this paper we study an analogue of this statistic for $\ell$-regular partitions with $\ell\geq2$, that is, partitions in which no part is divisible by $\ell$. Recently, Meher \cite{Meher} defined the minimal excludant for $\ell$-regular partitions. Motivated by Meher...
A Hypergeometric RM Surface: Integral Monodromy and Level-11 Covers
We study a genus-two hypergeometric family whose Jacobians have real multiplication by $\Q(\sqrt5)$. We identify the relevant primitive factor and integral rank-two monodromy; at one real embedding the projective image is $\Delta(2,5,\infty)$, while the conjugate image is nondiscrete. At the primes above $11$, the degree-$12$ Borel covers are quadratic pullbacks of genus-one triangular modular...
Multivariable Congruence Jumping: Periodic States, Integral Realizations, and Descent
Congruence jumping replaces coordinates by integer quotients and updates polynomial divisibility relations. We extend this procedure to several variables and retain integer coefficients by recording their common factor separately. For three-variable systems of divisibilities with signed binomial numerators, we classify all positive integer exponent tuples of period at most two under three...
On a problem due to Erd\H{o}s concerning $w_1(n)$
Adopting notation from Erd\H{o}s [Congress. Numer., 1980], we define $w_1(n) = w(n)$ for positive integers $n$ so that $w(1) = 0$ and so that: If $n > 1$ and $n = \prod p^{\alpha_p}$, then $w(n) = \sum_{p^{\alpha_p} \parallel n} \frac{n}{p^{\alpha_p}}$. By then defining $V(x)=\bigl|\{w(n):1\le n\le x\}\bigr|$ for $x \geq 1$, Erd\H{o}s considered whether or not $V(x) = o(x)$ and left this as an...
Brauer groups of generalised Markoff surfaces
Let $k$ be a field of characteristic zero with $a,b,c\in k^\times$ and let $m\in k\setminus\{0,4abc\}$. We compute the Brauer group of the generalised Markoff surface $ax^2+by^2+cz^2-xyz=m$. We also construct several counterexamples to the integral Hasse principle, which are explained by the Brauer--Manin obstruction.
Periodic counting, carry synchronization, and primes in nonstandard numeration systems
Let $b\ge2$ be an integer and let $D\subset\mathbb{N}_0$ be a finite digit set containing zero, with maximum residue multiplicity $\mu=\max_{0\le r<b}\#\{d\in D:d\equiv r\pmod b\}$ and cardinality $q=\#D\ge2$. Under the condition $\mu<q$, we prove that the summatory representation function satisfies an asymptotic formula with a strictly positive, H\"older continuous, $1$-periodic fluctuating...
On explicit units in a family of cubic fields and the arithmetic of curves arising from powers of these units
For an integer $b\neq0,1$ let $K_b$ be the cubic field generated by the unique real root of $x^3-3bx-b^3$, let $\eta_0$ be its fundamental unit, and let $\eta_b$ be the explicit unit studied in the companion paper (arXiv:2609.37389). Write $\eta_b=\eta_0^{n(b)}$. Deciding whether $n(b)$ is divisible by $q$ amounts to finding the integral points of a plane curve $C_q$ of degree $2q$. We prove that...
Fields Generated by a Single Point on Elliptic Curves
We study the finite extensions of a number field generated by a single point on an elliptic curve. We construct geometrically non-isomorphic elliptic curves with complex multiplication that generate the same collection of extensions, giving a negative answer to a question of Mazur and Rubin. For torsion-generated fields, we prove that inclusion of the collections up to finitely many exceptions...
On Amoebas and the Arithmetic Rigidity of the Mahler Measure
We develop a geometric rigidity theory for Mahler measure based on the global structure of Ronkin functions and amoebas. Our starting point is the theorem of Ronkin describing the affine linearity of the Ronkin function on the complement of the amoeba and the identification of its gradients with lattice points of the Newton polytope. Combining this deep analytic input with convex duality and...
Mahler's Problem on Liouville Numbers II. Rational Maps
In 1984, Mahler asked which analytic functions map the set $\mathscr L$ of Liouville numbers into itself. In the first paper of this series, we proved that every real-analytic solution on an open interval is the restriction of a real rational function. We now identify a canonical subfield $\mathbb L$ of $\mathbb R$ such that, for every nonconstant $R\in\mathbb R(X)$ and every nonempty open...
Metallic Circles: Concyclic Tangency Points of Ford Circles over $k$-Fibonacci Quotients
Extending a result of Kocik, we show that the tangency points of the Ford circles built over quotients of $k$-Fibonacci numbers are concyclic: they lie on a circle centred on the horizontal axis, of radius $\sqrt{k^2+4}/2$, meeting it at the reciprocal of the metallic ratio $\sigma_k$ and at $-\sigma_k$. Concyclicity turns out to be a quadratic identity of the sequence read in coordinates. In the...
Explicit bounds for the number of solutions to Roth-type inequalities over adelic curves
In this paper, we provide an upper bound on the number of a special system of Roth-type Diophantine inequalities over proper adelic curves. By refining the technique from previous work, we successfully eliminate the large-height restriction on the solutions. Furthermore, the constraints on the parameters within the inequality are further relaxed. We also give a constructive quantitative...
Analysis of partial differential equations
On do Carmo's Question: The Properly Embedded Case
In this paper, we prove that every complete noncompact two-sided properly embedded constant mean curvature hypersurface of finite Morse index in Euclidean space is minimal. The result holds in every dimension. We assume no bounds on curvature or volume growth. This establishes the properly embedded case of the finite-index version of do Carmo's question. For nonzero mean curvature, we use the...
On the elliptic regularization of maximal slope curves
We consider the so-called Weighted Energy-Dissipation approximation of gradient flows in metric spaces. We prove the convergence of minimizers to maximal slope curves under assumptions that are close to those of the original existence theory for metric gradient flows. The proof relies on an energy-dissipation identity for the approximating curves and on an adaptation of a general stability result...
The isoperimetric problem in the Riemannian Heisenberg $3$-space
We prove that every closed weakly stable constant mean curvature surface immersed in the Riemannian Heisenberg space ${\rm Nil}_3$ is an embedded rotational sphere. As a consequence, we solve the isoperimetric problem in ${\rm Nil}_3$: the isoperimetric domains of ${\rm Nil}_3$ are exactly the regions enclosed by rotational constant mean curvature spheres, and for each prescribed volume there is...
Gradient higher integrability for a general class of degenerate parabolic double phase systems
We establish quantitative local higher integrability estimates for weak solutions of degenerate parabolic systems with generalized double phase growth, whose prototype is $$u_t-\operatorname{div}\left(\frac{G'(|Du|)}{|Du|}Du+a(x,t)\frac{H'(|Du|)}{|Du|}Du\right)=0\qquad\text{in }\Omega_T.$$ Here $G$ and $H$ are Young functions satisfying suitable structural assumptions. The nonnegative coefficient...
Shock solutions of a 3D spherical piston problem for the compressible Euler equations
This paper establishes the global well-posedness of shock solutions for a 3D spherical piston problem to the compressible Euler equations. The main mathematical challenges are the nonlinear coupling between the free shock boundary and the moving piston, alongside potential gradient catastrophes induced by spherical geometric source terms. To overcome these difficulties, we reformulate the problem...
Uniqueness of Extremizers and Convergence of the Euler-Lagrange Iteration for the Critical Hardy-Littlewood-Sobolev Inequality
Let $n \ge 3$, $2 \le \alpha < n$, and $1 < p,r < \infty$ satisfy $p^{-1}+r^{-1}=1+\alpha/n$. We prove uniqueness, up to common translations and dilations, of the normalized nonnegative extremizing pairs for the corresponding Hardy-Littlewood-Sobolev inequality. More generally, all positive finite-energy solutions of the Euler-Lagrange system belong to a single symmetry orbit. The proof compares...
Viscosity-variational inequality solutions of fully nonlinear second-order stationary mean field games with nonseparable and nondifferentiable Hamiltonians
We analyse stationary fully nonlinear uniformly elliptic second-order mean field games with nonseparable and nondifferentiable Hamiltonians by introducing the notion of viscosity-variational inequality solution. In this formulation of the problem, the value function is the viscosity solution of the Hamilton--Jacobi--Bellman (HJB) equation, and the Kolmogorov--Fokker--Planck (KFP) equation for the...
Failure of P\'olya-Szeg\H{o} inequality for weighted nonlocal seminorm and on nonlocal C-K-N inequality
We create counterexamples to show that P\'olya-Szeg\H{o} type of inequality fails for the weighted nonlocal seminorm \begin{equation*} [u]_{W^{s,p, \alpha}(\mathbb{R}^d)} := \left( \int_{\mathbb{R}^d} \int_{\mathbb{R}^d} \frac{|x|^{\alpha_{1} p} |y|^{\alpha_{2} p} |u(x)-u(y)|^{p}}{|x-y|^{d+sp}} \, dx \, dy \right)^{\frac{1}{p}} \ , \end{equation*} in all three regimes $\alpha_1 +\alpha_2 < 0, \,...
Only titles, authors and the start of each abstract are shown here, as arXiv published them. Open a paper to read its whole abstract and, with your own AI key, a plain-language summary. Papers on arXiv are preprints and may not have been peer reviewed.
Data from arXiv, used through the arXiv API. Thank you to arXiv for use of its open access interoperability.