Mathematics
Large-scale multi-objective optimization problems (LSMOPs) remain challenging due to the high-dimensional decision spaces, complex variable interactions, and limited function evaluation budgets, which make it difficult to balance the…
Quiver skew braces or skew bracoids are equivalent to braided groupoids, that is, groupoids with a constraint of abelianity. They are the quiver-theoretic version of skew braces, an increasingly studied structure lying in the intersection…
We prove, for every horizon \(N\ge 3\), the existence of the strengthened low-rank performance-estimation certificate proposed by Grimmer, Shu, and Wang for the Drori--Teboulle constant-step gradient-descent bound. For each \(N\ge 3\), let…
We introduce the Ceiling Continued Fractions (FCT) framework for constructing three-term Egyptian fraction representations in the Erd\H{o}s-Straus conjecture. The approach exploits divisor structures of shifted integers p+i rather than…
Optimal maintenance policies play an important role in the reliability analysis of repairable systems. This paper examines a two-unit priority standby system with a repair facility, where the priority unit is subject to preventive…
We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate…
We study the extremal energy problem for complex unit gain graphs whose underlying graph is the dumbbell graph $D_{r,s,\ell}$. Using switching equivalence, we reduce the spectrum to the real parts of the two cycle gains and obtain an…
A fundamental result in 4-manifold topology asserts that any two exotic smooth structures on a simply-connected, closed 4-manifold differ by a cork twist: the operation of removing a compact, contractible, codimension-zero submanifold and…
This paper presents a high-order bound-preserving oscillation-eliminating discontinuous Galerkin (BP-OEDG) scheme for simulating gas-gas and gas-liquid two-phase flows governed by the Kapila five-equation model with the Tammann equation of…
We develop a geometric procedure for finding the Ap\'ery set of any numerical semigroup with embedding dimension four. Previous methods of comparable strength worked only for embedding dimension three or under very specific conditions. We…
We consider a recursive record-filtering procedure, which we informally call Disappear-Sort. Let $D_n$ denote the random variable giving the required number of passes in Disappear-Sort to eliminate a sequence of length $n$ sampled as i.i.d.…
Semiclassical analysis and noncommutative geometry are two pillars of quantum theory. It is only recently that bridges between them have been emerging. In this monograph, we combine various techniques from functional analysis and spectral…
The avoidance of induced forests, or induced acyclic subgraphs, in $d$-dimensional grid graphs, or lattice graphs, has been studied in Alon et al. and later in Caragiannis et al., finding upper and lower bounds with respect to the number of…
We study systems of reaction-diffusion equations perturbed by multiplicative noise, where the reaction terms satisfy quasipositivity, a triangular mass-control structure, and polynomial growth. Our results apply to a broad class of…
Let $k$ be an algebraically closed field with characteristic zero. In this paper, we define the notion of a $q'$-Heisenberg normal element of a $\mathbb{Z}$-graded $k$-algebra. This $q'$-Heisenberg normal element gives the structure of some…
We consider the red-blue-yellow matching problem: given two natural numbers $k_R$, $k_B$ and a graph $G$ whose edges are colored red, blue or yellow, the goal is to find a matching of $G$ that contains exactly $k_R$ red edges and exactly…
This paper proposes a stabilizing state-feedback control law for vector-valued state systems with a scalar control input, governed by a general class of integral difference equations that incorporate both pointwise and distributed input…
We prove that the Brin-Thompson group $nV$ is torsion locally finite for $ n \geq 1$ which is known only when $n = 1$, and $nV$ contains continuum many copies of the additive group of the rationals $\mathbb{Q}$ for $n \geq 2$ which is known…
We consider nonlinear model predictive control (MPC) schemes without stabilizing terminal conditions, where the model used in the optimization step is generated based on input-output data only. We establish exponential stability for…
This letter presents an optimal-transport (OT)-driven, distributionally robust attack detection algorithm, OT-DETECT, for cyber-physical systems (CPS) modeled as partially observed linear stochastic systems. The underlying detection problem…