New on arXiv
Sort: by field | by arXiv number | trending
Mathematics
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,...
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...
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, \,...
Gradient potential estimates for k-Hessian equations
For $2\le k<n$, we prove pointwise gradient bounds for proper weak $k$-convex functions in terms of a local average and a Wolff potential of the full Hessian measure $F_k[u]$. The estimate yields local Lipschitz regularity for $F_k[u]=f$ with $f\in L^{n/k,1/k}_{\mathrm{loc}}$, and for $F_k[u]=|Du|^p$ when $0<p<nk/(n-k)$. Both the Lorentz index $1/k$ and the upper bound on $p$ are sharp.
Non-Isothermal Plane Couette Flow for the Boltzmann Equation in Three Dimensions
We study the Boltzmann equation for a non-isothermal plane Couette flow in the three-dimensional channel $\mathbb T_x\times(-1,1)_y\times\mathbb T_z$ for Maxwell molecules. For sufficiently small shear rate and wall temperature perturbations, we construct a unique steady solution near the global Maxwellian. For the corresponding unsteady boundary value problem, we establish the global existence...
Uniqueness and nondegeneracy for a critical Choquard equation with Hardy potential
We study the critical Choquard equation \[ -\Delta u-\mu |x|^{-2}u =\bigl(|\cdot|^{2-N}*|u|^p\bigr)|u|^{p-2}u \qquad\text{in }\mathbb R^N, \] where $|\cdot|^{2-N}$ is the Newton kernel, $p=\frac{N+2}{N-2}$, and $0<\mu<\frac{(N-2)^2}{4}$. For every $N\ge3$, we prove that positive solutions in $D^{1,2}(\mathbb R^N)$ are radially symmetric about the origin, unique up to dilation, and nondegenerate....
The Short Pulse equation on the half lines: a Riemann--Hilbert approach
In this work, we analyze the initial boundary value (IBV) problems for the Short Pulse (SP) equation $u_{xt}=u+\frac{1}{6}(u^3)_{xx}$ (classical solutions) on the half-lines $x\ge 0$ and $x\le 0$ under the condition of sufficient decay as $x\to +\infty$ or as $x\to -\infty$. Using the Riemann--Hilbert (RH) problem approach, we show that these two IBV problems differ substantially regarding the...
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.