arXiv preprints from January 1, 2026 through September 22, 2026 — 04:43:07 EST
We consider homogeneous spaces of Lie groups with compact stabilizer subgroups of two types: those with integrable invariant distributions and those with geodesic orbit invariant Riemannian metrics. The latter means that for an arbitrary invariant Riemannian metric on the space, every geodesic is an orbit of a 1-parameter subgroup of...
TriCG is a short-recurrence iterative method recently introduced by Montoison and Orban [SIAM J. Sci. Comput., 43 (2021), pp. A2502--A2525] for solving symmetric quasi-definite (SQD) linear systems. TriCG takes advantage of the inherent block structure of SQD linear systems and performs substantially better than SYMMLQ. However,...
We report partial progress on the weak coupling limit behavior of observables for the periodic quantum Lorentz gas. Our results indicate that for certain observables, the limit behavior is trivial and can be described via a transport equation, while for other observables, the existence of the limit hinges on the regularity properties...
In control theory, a system which has output depending only on the present and past values of the input is said to be causal (or nonanticipative). Respectively, a system is acausal (or non-causal) if its output depends on future inputs as well. Overall majority of literature in stochastic control theory discusses causal systems. Only...
We establish sufficient conditions for positive (semi-)definiteness, with or without radial unboundedness, for nonquadratic Lyapunov function constructed as sign-indefinite quadratic forms involving the state and the deadzone of a suitable input. We then use these conditions to build weak nonquadratic Lyapunov functions establishing...
This paper provides an extensive study of the $\mathscr{I}$-Miller null ideals $M_\mathscr{I}$, $σ$-ideals on the Baire space parametrized by ideals $\mathscr{I}$ on countable sets. These $σ$-ideals are associated to the idealized versions of Miller forcing in the same way that the meager ideal is associated to Cohen forcing. We...
In this paper, we investigate the log-concavity of the kernel for the parabolic Ornstein-Uhlenbeck operator in a bounded, convex domain. Consequently, we get the preservation of the log-concavity of the initial datum by the related flow. As an application, we give another proof of a Brunn-Minkowski type inequality for the first...
We provide a writeup of a resolution of Erdős Problem #728; this is the first Erdős problem (a problem proposed by Paul Erdős which has been collected in the Erdős Problems website) regarded as fully resolved autonomously by an AI system. The system in question is a combination of GPT-5.2 Pro by OpenAI and Aristotle by Harmonic,...
We study the critical points of the solution of second elliptic equations in divergence and diagonal form with a bounded and positive definite coefficient, under the assumption that the statement of the Hopf lemma holds (sign assumptions on its normal derivatives) along the boundary. The proof combines the argument principle...
We study the Calogero--Moser derivative nonlinear Schrödinger equation (CM-DNLS), a mass-critical and completely integrable dispersive model. Recent works established finite-time blow-up constructions and soliton resolution, describing the asymptotic behaviors of blow-up solutions. In this paper, we go beyond soliton resolution and...
A cograph is a graph that contains no induced path $P_4$ on four vertices or equivalently a graph that can be constructed from vertices by sum and product operations. We study the bipartite Turán problem restricted to cographs: for fixed integers $s \leq t$, what is the maximum number of edges in an $n$-vertex cograph that does not...
In this study, we develop and analyze a deterministic two-strain host-vector model for dengue transmission that incorporates key immuno-epidemiological mechanisms, including temporary cross-immunity, antibody-dependent enhancement (ADE), disease-induced mortality during secondary infections, and explicit vector co-infection. The human...
In this work, we propose a novel layerwise adaptive construction method for neural network architectures. Our approach is based on a goal--oriented dual-weighted residual technique for the optimal control of neural differential equations. This leads to an ordinary differential equation constrained optimization problem with controls...
We prove the uniform solvability of a stationary problem associated to internal waves equation with small viscosity in a two dimensional aquarium with real-analytic boundary, under a Morse--Smale dynamical assumption. This is achieved by using complex deformations of the aquarium, on which the inviscid stationary internal wave...
In this paper we prove a coherent version of geometric Satake equivalence proposed in Cautis-Williams' work arXiv:2306.03023 for type A. In their work, they studied an abelian version of the classical limit Satake category, namely, the Koszul perverse heart of the categorified Coulomb branch for adjoint representations. In this paper...
We construct Igusa stacks for the good reduction locus of a class of abelian-type Shimura varieties that can be defined in terms of a PEL datum, under the assumption that it is of type (A even) or (C) and unramified at a prime p.
This paper establishes an upper bound on the number of generalized cospectral mates of simple graphs, where the generalized spectrum consists of the spectrum of a graph and its complement. Moving beyond the classical problem of identifying graphs determined by their generalized spectrum, we address the more quantitative question of...
We consider the geometry of a class of fractal sets in $\mathbb{R}^{2}$ that generalise the famous Koch curve and Koch snowflake. While the classical Koch curve is defined by an iterative process that divides a line segment into three parts and replaces the middle part by the legs of an isosceles triangle 'above' the line segment, in...
The space Loc(m,S) of rank m flat bundles on a closed surface S is K_2-symplectic. A threefold M bounding S gives rise a K_2-Lagrangian in Loc(m,S) given by the flat bundles on S extending to M. We generalize this, replacing the zero section in the cotangent bundle to M by certain singular Lagrangians. First, we introduce Q-diagrams...
An \emph{affine subtorus} of the compact torus $T=(S^1)^n$ is a translated copy of a Lie subgroup. Given a finite collection $T_1,\ldots, T_k$ of such subtori, and a prime $p$, we describe an explicit chain complex that calculates the group $H_*(T-\bigcup_{i=1}^k T_i,\mathbb{Z}_{(p)})$. %The complex is determined by the integral...
We study a critical problem for an operator of mixed order obtained by the superposition of a Laplacian with a fractional Laplacian. The main novelty is that we consider a mixed operator of the form $-Δ- γ(-Δ)^s$, namely we suppose that the fractional Laplacian has the ``wrong sign'' and can be seen as a nonlocal perturbation of the...
We study factoriality and the class groups of locally acyclic cluster algebras. To do so, we introduce a new class of rings called finite Laurent intersection rings (FLIRs), which includes locally acyclic cluster algebras, full-rank upper cluster algebras, and certain generalized upper cluster algebras and Laurent phenomenon algebras....
We introduce and study a generalized concept of boundedness of a subset of a normed vector space with respect to a cone, which is defined as lower boundedness of the images of the underlying set through all the positive functionals of the cone. We show that this is a weaker notion when compared to other similar ones and we explore...
This paper investigates the integration of machine learning forecasts of intervention durations into a stochastic variant of the Capacitated Vehicle Routing Problem with Time Windows (CVRPTW). In particular, we exploit tree-based gradient boosting (XGBoost) trained on eight years of gas meter maintenance data to produce point...
This article is concerned with the efficient computation of modular matrix multiplication C=AB mod p, a key kernel in computer algebra. We focus on floating-point arithmetic, which allows for using efficient matrix multiplication libraries. However, the existing approach is limited to primes p with bitsize at most half the mantissa...