arXiv preprints from January 1, 2026 through September 9, 2026 — 21:50:28 EST
We prove a generalization of the Neukirch-Uchida Theorem. In particular, we show that the isomorphism type of a number field $K$ can be recovered from the maximal pro-$\ell$-by-cyclotomic quotient of its absolute Galois group $G_{\overline{K}/K}$. This should be contrasted with the previous result that the isomorphism type cannot, in...
We show that the $C^*$-algebra of a countable directed graph is singly generated. As a consequence, any $C^*$-algebra generated by a countable family of projections and partial isometries satisfying Cuntz-Krieger relations is singly generated.
In this work, we investigate a stochastic control framework for global optimization over both Euclidean spaces and the Wasserstein space of probability measures, where the objective function may be non-convex and/or non-differentiable. In the Euclidean setting, the original minimization problem is approximated by a family of...
We quantize the regularity properties of classical graphs that determine spin models for singly-generated Yang-Baxter planar algebras, including the Kauffman polynomial, and construct explicit examples. A source of examples comes from deforming graphs using higher-idempotent splittings of quantum isomorphisms for which we prove that...
For a finite group $G$ and a sufficiently large (but fixed) prime power $q$ coprime to $G$ we obtain asymptotics for the number of regular Galois extensions $L/ \mathbb{F}_q(t)$, with $\mathrm{Gal}(L/\mathbb{F}_q(t)) \cong G$, ramified at a single place of $\mathbb{F}_q(t)$, thus making progress on a positive characteristic analog of...
In this article, we consider the family $\mathcal{F}(α)$ defined for $α\in (0, 3]$ by \begin{align*} {\rm Re}\left(1+\frac{zf''(z)}{f'(z)}\right) > 1 - \fracα{2} \quad \text{for } z \in \mathbb{D}. \end{align*} Our primary objective is to show that this family possesses significant geometric and analytic properties, including...
We study the question of finding big Bruhat intervals that are poset hypercubes in the symmetric group $S_n$. Using permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we were led to an unusual situation in which the agent produced a pattern which performed well for the $n$ tested, and...
Given natural parameters s and r, where $2\leq s\leq r$, we consider the distribution of a random variable $ξ=\sum\limits_{k=1}^{\infty}s^{-k}ξ_k\equivΔ^{r_s}_{ξ_1ξ_2...ξ_k...},$ where $(ξ_k)$ is a sequence of independent random variables taking values in $\{0,1,...,r\}$ with probabilities $p_0,p_1,...,p_r$, respectively, and all $...
We study a variant of the Riemann-Hilbert problem on the complements of hyperplane arrangements. This problem asks whether a given local system on the complement can be realized as the solution sheaf of a logarithmic Pfaffian system with constant coefficients. In this paper, we generalize Katz's middle convolution as a functor for...
This paper develops a novel methodology for testing the goodness-of-fit of sparse parametric regression models based on projected empirical processes and p-value combination, where the covariate dimension may substantially exceed the sample size. In such ultra-high dimensional settings, traditional empirical process-based tests often...
We present a graph-theoretic framework for constructing floor plans that support non-rectangular modules, with particular emphasis on L-shaped and T-shaped geometries. Unlike traditional approaches that primarily focus on rectangular modules and outer boundary constraints, our method explicitly incorporates structural restrictions...
Let $\mathbb{F}_q^d$ be a $d$-dimensional vector space over a finite field $\mathbb{F}_q$ with $q$ elements. For $x\in \mathbb{F}_q^d$, let $\|x\| = x_1^2+\dots+x_d^2$. By abuse of terminology, we shall call $\|\cdot\|$ a norm on $\mathbb{F}_q^d$. For a subset $E\subset \mathbb{F}_q^d$, let $Δ(E)$ be the distance set on $E$ defined as...
We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification Rosenthal compacta, to identify new complexity classes. We use the language of model theory, specifically, the concept of \emph{independence} from Shelah's classification...
Building on the iHopf algebra realization of quasi-split universal iquantum groups developed in a prequel, we construct the dual canonical basis for a universal iquantum group of arbitrary finite type, which are further shown to be preserved by the ibraid group action; this recovers the results of Lu-Pan in ADE type obtained earlier...
We give first-order asymptotic expansions for the resolvent and Hadamard-type formulas for the eigenvalue curves of one-parameter families of canonically symplectic operators. We allow for parameter dependence in the boundary conditions, bounded perturbations and trace operators associated with each off-diagonal operator, and give...
Let $F$ be a non-Archimedean local field. For any irreducible smooth representation $π$ of $\mathrm{GL}_n(F)$ and a multisegment $\mathfrak m$, we have an operation $D_{\mathfrak m}(π)$ to construct a simple quotient $τ$ of a Bernstein-Zelevinsky derivative of $π$. This article continues the previous one to study the following poset...
We investigate the strong-field limit of a charged particle in an electromagnetic field as a toy model for general covariant systems, establishing a novel connection between constrained Hamiltonian dynamics and noncommutative geometry. Starting from the action $S=\int dτ\, \dot{x}^i A_i(x)$, which represents the holonomy of the...
In this article, we study the mixed fourth moments of Hecke--Maass cusp forms and Eisenstein series with type $(2, 2)$. Under the assumptions of the Generalized Riemann Hypothesis (GRH) and the Generalized Ramanujan Conjecture (GRC), we establish asymptotic formulas for these moments. Our results give an interesting...
We prove $\ell^p(\mathbb{Z}^n)-$estimates for long $r$-variational seminorm of two families of averages: discrete Birch-Magyar averages, for $r>max\{p,p'\}$ with $p>\frac{2c_{\mathfrak{R}}-2}{2c_{\mathfrak{R}}-3}$ and discrete Hardy-Littlewood type averages over certain algebraic varieties, for $r>max\{p,p'\}$ with $p>1$. Further, we...
We establish the global gradient bounds for weak solutions to the elliptic variational inequality with two-sided obstructions, associated with a $p(x)$-Laplacian type operator involving degenerate or singular matrix weights. Under the optimal regularity assumptions on the matrix-valued weight, suitable geometric flatness of the...
This paper establishes Lipschitz stability for the simultaneous recovery of a variable density coefficient and the initial displacement in a damped biharmonic wave equation. The data consist of the boundary Cauchy data for the Laplacian of the solution, \(Δu |_{\partial Ω}\) and \( \partial_{n}(Δu)|_{\partial Ω}.\) We first prove that...
In this paper, we provide some sufficient conditions for the compactness of weighted composition operators on Dirichlet space. Furthermore, we characterize the numerical range of certain classes of weighted composition operators on Dirichlet space and establish the criteria that guarantee the inclusion of zero within the numerical...
Differential equations with state-dependent delays define a semiflow of continuously differentiable solution operators in general only on the associated {\it solution manifold} $X\subset C^1([-h,0],\mathbb{R}^n)$. For systems with discrete state-dependent delays we construct a diffeomorphism on a neighbourhood of $X$ which takes $X$...
This paper establishes a rigorous mathematical framework for the Multi-Scale Negative Coupled System (MNCS), a dynamical model describing hierarchical state spaces with directed, sign-structured interactions. We address the stabilization of reaction-diffusion systems on bounded domains $Ω\subset \mathbb{R}^d$ ($d \le 3$) subject to...
In economics, construction of perfect models in a way that would be comparable to the standards customary in physical sciences is generally not feasible. In particular, the observed value for an economic equilibrium may deviate significantly from its model-based a priori expected value. Mathematically, the a posteriori observed...