arXiv preprints from January 1, 2026 through July 21, 2026 — 13:41:02 EST
We study the quadratic penalty method (QPM) for smooth nonconvex optimization problems with equality constraints. Assuming the constraint violation satisfies the PL condition near the feasible set, we derive sharper worst-case complexity bounds for obtaining approximate first-order KKT points. When the objective and constraints are...
In the theory of commutative semirings, the lack of additive inverses creates a structural divergence between ideals and congruences that does not exist in ring theory. The aim of this article is to restore critical ideal-theoretic properties via the subtractive property. We first prove a subtractive analogue of Krull's existence...
Computing the Jones polynomial of general link diagrams is known to be $\#$P-hard, while restricting the computation to braid closures on fixed number of strands allows for a polynomial time algorithm. We investigate polynomial time algorithms for Khovanov homology of braids and show that for $3$-braids there is one. In contrast, we...
Let $Q_{p,q}(t)\in\mathbb{Z}[t]$ be Sharipov's even monic degree-$10$ second cuboid polynomial depending on coprime integers $p\neq q>0$. Writing $Q_{p,q}(t)$ as a quintic in $t^{2}$ produces an associated monic quintic polynomial. After the weighted normalization $r=p/q$ and $s=r^{2}$ we obtain a one-parameter family...
We consider the even monic degree-$10$ second cuboid polynomial $Q_{p,q}(t)\in\mathbb{Z}[t]$ depending on coprime integers $p\neq q>0$. We exclude the existence of a splitting of type $5+5$ over $\mathbb{Q}$, i.e., a factorization of $Q_{p,q}(t)$ into two irreducible quintic polynomials. Since $Q_{p,q}(t)$ is even and satisfies...
For large-scale eigenvalue problems requiring many mutually orthogonal eigenvectors, traditional numerical methods suffer substantial computational and communication costs with limited parallel scalability, primarily due to explicit orthogonalization. To address these challenges, we propose a quasi-orthogonal iterative method that...
We show that if a subsemigroup $S$ of the bicyclic monoid ${\mathscr{C}}(p,q)$ contains infinitely many idempotents then $S$ admits only the discrete Hausdorff shift-continuous topology. Also we proof that every right-continuous (left-continuous\emph) Hausdorff Baire topology on the semigroup $\mathscr{C}_+(a,b)$...
We prove optimal spectral inequalities for Landau operators in full space and in arbitrary dimension. Spectral inequalities are lower bounds on the L 2 -mass of functions in spectral subspaces of finite energy when integrated over a sampling set S $\subset$ R d . Landau operators are Schr{ö}dinger operators associated with a constant...
We study feedback control of twisted states in the Kuramoto model (KM) of identical oscillators defined on deterministic nearest neighbor graphs containing complete simple ones when it may have phase-lag. Bifurcations of such twisted solutions in the continuum limit (CL) for the uncontrolled KM defined on nearest neighbor graphs that...
This paper introduces an efficient perturbed difference-of-convex algorithm (pDCA) for computing d-stationary points of an important class of structured nonsmooth difference-of-convex problems. Compared to the principal algorithms introduced in [J.-S. Pang, M. Razaviyayn, and A. Alvarado, Math. Oper. Res. 42(1):95--118 (2017)], which...
The paper \cite{M0} studied, for a \emph{complex} linear ordinary differential equation $y^\prime(t)=Ay(t)$, the long-time propagation to the solution $y(t)$ of a perturbation of the initial value. By measuring the perturbations with relative errors, this paper introduced a directional pointwise condition number, defined for a...
We endow the space of projective filling geodesic currents on a closed hyperbolic surface with a natural asymmetric metric extending Thurston's asymmetric metric on Teichmüller space, as well as analogous metrics arising from Hitchin representations. More generally, we show that this metric extends beyond surface groups and geodesic...
We denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves of degree $d$ and genus $g$ in $\mathbb{P}^r$. Denoting by $\mathcal{M}_g$ the moduli space of smooth curves of genus $g$, let $μ: \mathcal{H}_{d,g,r}\dasharrow \mathcal{M}_g$ be the natural map sending $X\in\mathcal{H}_{d,g,r}$ to its isomorphism class...
We prove that the boundaries of the corks introduced by Auckly, Kim, Melvin, and Ruberman in [AKMR14] and by Tange in [Tan16] are strong corks. Furthermore, we prove that any nontrivial linear combination of them yields a strong cork, and we construct a larger family of strong corks that generalizes them. These results rely on the...
It is shown how Dedekind cuts can be used to introduce the extended real numbers along with sound arithmetic laws via one simple rule for the addition of sets. The crucial idea is that the use of the lower and the upper part of the cuts, respectively, leads to two different additions which are known in the literature as inf-addition...
For any fixed irrational frequency and trigonometric-polynomial potential, we show that every type I energy with positive Lyapunov exponent that satisfies the gap-labelling condition is a boundary of an open spectral gap. As a corollary, for the almost-Mathieu operator in the supercritical regime the "all spectral gaps are open"...
In this paper, we study the relationship between the representation theory of the quantum affine algebra $\mathcal{U}_q(\widehat{\mathfrak{sl}_\infty})$ of infinite rank, and that of the quantum toroidal algebra $\mathcal{U}_q(\mathfrak{sl}_{2n,\mathrm{tor}})$. Using monoidal categorifications due to Hernandez-Leclerc and Nakajima, we...
We present an explicit formula for the orthogonal projection onto the subspace of analytic polynomials of degree at most $n$ in the local Dirichlet space $D_μ$ , where the positive measure $μ$ consists of a finite number of Dirac measures located at points on the unit circle $\mathbb T$. This result has two key aspects: first, while...
We study ionic electrodiffusion modeled by the Nernst--Planck equations describing the evolution of $N$ ionic species in a three-dimensional incompressible fluid flowing through a porous medium. We address the long-time dynamics of the resulting system in the three-dimensional whole space $\mathbb{R}^3$. We prove that the $k$-th...
This paper develops risk-averse models to support system operators in planning and operating the electricity grid under uncertainty from renewable power generation. We incorporate financial risk hedging using conditional value at risk (CVaR) within a Markov Decision Process (MDP) framework and propose efficient, exact solution methods...
We prove that the Fuchsian (4,4,4) triangle group and also right-angled reflection groups of hyperbolic spaces in higher dimensions admit ergodic invariant random subgroups having uncountably many isomorphism types of subgroups in their support (in most cases we actually prove a stronger statement), providing an answer to a question...
Sarason's Hilbert space version of Carathéodory-Julia Theorem connects the non-tangential boundary behavior of functions in de Branges-Rovnyak space $H(b)$ with the existence of angular derivatives in the sense of Carathéodory for $b$, an analytic self-mapping of the unit disk. In this article, we continue the study of higher order...
Let $G$ be a real reductive Lie group and $H$ a reductive subgroup of $G$. Benoist-Kobayashi studied when $L^2(G/H)$ is a tempered representation of $G$ and in particular they gave a necessary and sufficient condition for the temperedness in terms of certain functions on Lie algebras. In this paper, we consider when $L^2(G/H)$ is...
To a given real polynomial function f $\in$ R[x1, . . . , x d ], we associate real topological zeta functions Ztop,0(f\,; s) and Z $\pm$ top,0 (f\,; s) $\in$ Q(s), analogous to the topological zeta function of Denef and Loeser in the complex case. These functions are specializations of the real motivic zeta functions studied in...
Given a morphism $f: X \rightarrow S$ of complex algebraic varieties and a constructible sheaf $\mathcal{G}$ on $X$, we compute the local monodromy of $Rf_*(\mathcal{G})$ and $Rf_!(\mathcal{G})$ in terms of the local monodromy of $\mathcal{G}$. Our results generalize previous results by Brieskorn, Borel, Clemens, Deligne, Landsman,...