We study the spectral properties of a class of unbounded linear operators on a non-Archimedean Hilbert space $E_ω$. More precisely, we consider operators of the form \[ T=D+F,\qquad F=\sum_{j=1}^{m} u_j\otimes v_j, \] where $D$ is an unbounded diagonal operator and $F$ is a finite-rank perturbation. This work extends the spectral analysis of Diagana and McNeal for rank-one perturbations of diagonal operators to the case of arbitrary finite-rank perturbations. The main objective is to describe the spectrum, point spectrum, and essential spectrum of such operators in terms of the diagonal sequence associated with $D$ and the Fredholm properties of $λI-T$. The theory of Fredholm operators plays a central role, particularly in the computation of the essential spectrum and in the study of stability under finite-rank perturbations.

We establish optimal inequalities relating the systole and the inradius to the volume of finite-volume hyperbolic 3-manifolds. In the cusped orientable case, we refine a theorem of Gendulphe by proving a sharp systole-volume inequality whose unique extremal manifold is the figure-eight knot complement. Excluding the figure-eight knot complement, we obtain a stronger inequality whose extremal manifold is the sister of the figure-eight knot complement. We also establish analogous optimal systole-volume inequalities for closed orientable hyperbolic 3-manifolds, where the extremal manifolds are the Weeks-Matveev-Fomenko manifold, the manifold Vol3, and the Meyerhoff manifold. In the second part of the article, we study the inradius. We prove optimal inradius-volume inequalities for orientable and nonorientable cusped hyperbolic 3-manifolds, identifying respectively the sister of the figure-eight knot complement and the Gieseking manifold as the extremal cases. We also prove that the Gieseking manifold is the unique cusped hyperbolic 3-manifold of minimal inradius, thereby completing a result of Gendulphe, who had previously established the corresponding lower bound.

Given $R$ a finite commutative ring with identity and $k \in \mathbb{N}$, we consider the $k$-th unitary Cayley graph $G_R(k)=Cay(R,U_{R,k})$ with $U_{R,k} = \{ x^k: x \in R^*\}$, and its symmetrized version $\mathcal{G}_R(k) = Cay(R,T_{R,k})$, with $T_{R,k}=U_{R,k} \cup (-U_{R,k})$. If $R$ is a local ring with maximal ideal $\frak m$, we give the blow-up decompositions for the graphs: namely, we have $G_R(k)= (G_{R/\frak m}(k))^{(|\frak m|)}$ and $\mathcal{G}_R(k)= (\mathcal{G}_{R/\frak m}(k))^{(|\frak m|)}$ for any $k$ such that $(k,|R|)=1$. If the ring $R$ has Artin decomposition $R=R_1 \times \cdots \times R_s$ in local rings $R_i$, we give the Kronecker product decompositions $G_R(k) = G_{R_1}(k) \otimes \cdots \otimes G_{R_s}(k)$ and $\mathcal{G}_R(k) = \mathcal{G}_{R_1}(k) \otimes \cdots \otimes \mathcal{G}_{R_s}(k)$. In further $(k,|R|)=1$, these decompositions can be given in terms of generalized Paley (GP) graphs over finite fields, that is $G_{R_i}(k) = Γ(k_i,q_i)$ and similarly for $\mathcal{G}_{R_i}(k)$, for $i=1,\ldots,s$. Also, the reduced graphs correspond to the graphs of the reduced rings, i.e.\@ $\big(G_{R}(k)\big)_{red}\simeq G_{R_{red}}(k)$ and $\big(\mathcal{G}_{R}(k)\big)_{red} \simeq \mathcal{G}_{R_{red}}(k)$. By using these decompositions in terms of GP-graphs, we study some basic structural properties of the graphs such as directedness, bipartiteness and connectedness.

The fundamental limits of over-the-air computation (AirComp) are explored in a two-transmitter, two-receiver MIMO Gaussian network, where both receivers demand the same aggregation of source symbols originating at the two transmitters. An AirComp degrees of freedom (ACDoF) metric is defined, constrained by an asymptotic mean-squared error threshold. For a generic MIMO setting where the two transmitters are equipped with $M_1, M_2$ antennas, and the two receivers with $N_1, N_2$ antennas, the AirComp DoF value is shown to be almost surely equal to $\min\{M_1,M_2,N_1,N_2,(1/3)\max\{M_1+M_2,N_1+N_2\}\}$. For SISO settings results are extended beyond generic channels to arbitrary channel realizations. For finite signal-to-noise ratio(SNR) settings, an iterative alternating optimization algorithm is explored.

We explicitly characterise the full class of e-processes for testing conditional non-parametric hypotheses, defined by finitely many conditional constraints. Our main result is a complete-class theorem: every e-process for such a hypothesis is point-wise dominated by a predictable product of affine one-step e-variables. Therefore, for a broad class of conditional testing problems, arbitrary e-processes can be replaced without loss by test supermartingales. This extends previous complete-class results from single-step constrained testing and bounded one-dimensional conditional mean testing to a broader conditional sequential setting.

In this paper, the first of a two-part series, we explore 2-cell embeddings of cubic graphs, particularly those with small genus. Using local rotations, we introduce a new way of describing the space of 2-cell embeddings and their mutual relationship for any fixed (cubic) graph. We introduce the unstable dual of an embedding of a cubic graph, a subgraph of the dual graph, and describe how the genus of the corresponding embedding can be recovered from properties of the unstable dual. Finally, we characterize the unstable duals of embeddings with genus at most 2 of cubic cyclically 5-edge connected planar graphs and use these to generate those of genus 3 that have connectivity at most 2.

We investigate a new class of infinite-horizon backward stochastic differential equations for ergodic optimal control where the cost and state dynamics are time and path-dependent. The state process is defined on an unbounded underlying domain and satisfies an extended dissipativity condition. In contrast with the time-homogeneous Markovian setting, the optimal ergodic cost in our framework is characterized by the asymptotic behavior of a deterministic function, rather than by a single real constant. We obtain well-posedness, verification and stability properties, which extend the previous results in the literature on the Markov case.

In this work we propose, by linearizing the equations of fully nonlinear poroelasticity, a consistent model in which only the solid phase is incompressible. This reformulation circumvents some inconsistency issues encountered in standard primal formulations of nonlinear poroelasticity while still retaining its key physical coupling mechanisms. We show a well-posed and consistent discretization strategy and also formulate scalable solvers based on a Schur complement formalism. A distinctive feature of the model is that it allows for a lowest order, inf-sup stable family of Finite Elements (FE) spaces. Numerical tests in two and three dimensions are provided to validate the proposed method and solver framework.

The transition function of the unlabeled infinitely-many-neutral-alleles diffusion model, as expressed by Zhou (2015), is derived from the transition function of the labeled infinitely-many-neutral-alleles diffusion model, slightly simplifying the derivation by Feng (2010).

Quantum locally recoverable codes (QLRCs) have recently gained attention as a framework for achieving efficient quantum storage with local recovery capabilities. Analogous to their classical counterparts, QLRCs allow a lost qudit to be reconstructed using only a small subset of other qudits, thereby reducing the resource and operational overhead in recovery. In this work, we extend the study of QLRCs by considering $(r,δ)$ QLRCs characterized by locality parameter $r$ and local distance $δ\geq 2$. We present constructions of both random and explicit $(r,δ)$ QLRCs, including explicit families based on the quantum Tamo--Barg construction. We also present an efficient decoding algorithm for these quantum Tamo--Barg codes. Furthermore, we introduce quantum \emph{hierarchical} locally recoverable codes (QHLRCs), which extend local recovery to multiple hierarchical levels. For any integer $h\geq 2$, we construct both random and explicit $h$-level QHLRCs, the latter being $h$-level quantum Tamo--Barg codes, and establish a Singleton-like bound for these codes using a CSS framework built from dual-containing classical codes. These results advance the theoretical foundations of quantum erasure recovery and contribute to the design of efficient quantum storage architectures.

We settle the projectedness problem for the compactified unpunctured supermoduli stack in every genus at least two. In genus two, the odd component is split, whereas the even component is non-projected. In every genus $g\geq 3$, both compactified parity components are non-projected.

We show that the small-data scattering map uniquely determines the nonlinearity for a class of nonlinear Schrödinger equations with radial, Hartree-type nonlinearities. Our assumptions on the convolution kernel require only a mild decay condition at infinity and permit a locally integrable singularity at the origin.

We propose and study a simple and scalable Fourier-based spectral method for a continuum model of network formation under periodic boundary conditions. The model provides the evolution of the pressure $p$ and the conductivity $m$ over time. The evolution of $p$ is given by an anisotropic Poisson equation, while the equation for $m$ contains three terms corresponding to a diffusion and an activation term of the network -- that depends on the gradient of the pressure -- as well as a relaxation term that acts as a decaying term. This system arises as a formal $L^2$-gradient flow of a non-convex energy functional. Our algorithm combines two ingredients: (i) a splitting method for the equation for $m$, where the activation and relaxation parts are solved analytically, and the diffusion part is solved via Fast Fourier Transform (FFT), and (ii) an FFT combined with the Conjugate Gradient (CG) method applied to the equation for the pressure. This makes the scheme easy to implement compared to implicit schemes and naturally extensible to three dimensions on uniform periodic grids. To showcase the method, we recover the previously documented influence of the activation strength $c$, the diffusion coefficient $D$, and the metabolic exponent $γ$ on the morphology of emergent networks, and report grid convergence results.

We study a semidiscrete single-field Galerkin approximation of the Cahn-Hilliard equation using high-order conforming finite element spaces. More specifically, globally $C^1$ finite elements with $H^2$-conforming trial spaces, including Argyris, Bell, and Bogner-Fox-Schmit elements, allow a direct discretization of the fourth-order formulation and preserve mass exactly. The main structural result is an exact energy balance for the physical Cahn-Hilliard energy. Besides the expected discrete dissipation, the balance contains an explicitly computable energy defect. This defect vanishes for Laplacian-invariant periodic spaces, such as Fourier spaces, but is generally nonzero for classical $C^1$ finite elements. It therefore quantifies the precise loss of a discrete gradient-flow structure. We prove semidiscrete a priori error estimates by a relative-energy argument. The estimate is closed using an augmented relative energy and a discrete elliptic reconstruction bound for the inverse discrete Laplacian. The resulting convergence rates match the expected approximation orders. Numerical experiments with Bell and Argyris elements confirm the rates and demonstrate the defect mechanism by comparison with a Fourier reference discretization.

We give a product formula for the Tamagawa numbers of Jacobians over a discrete valuation field with perfect residue field k. It comes as a product of four terms - unipotent, toric, arithmetic and (somewhat intricate) cohomological. It is proved by (1) extending the classical flow-cut construction from semistable to arbitrary curves, which, by Raynaud's results, gives the formula when k is algebraically closed; (2) observing that this formula respects the natural metric on the edges of the dual graph, which allows to quotient out the Galois action; (3) extending Bosch-Liu's description of the cohomological term when k is finite. In particular, this answers a question of Bosch-Liu, and gives an alternative description of Poonen-Stoll's cohomological obstruction in terms of characters.

Gao and Wang proved a strong clopen marker theorem for finite generating sets of $\mathbb Z^n$ under the assumption that each generator has support of size either $1$ or $n$. We show that this support assumption can be removed. The proof is a short conjugacy argument: after a unimodular change of coordinates, any finite set of nonzero lattice vectors can be put in full-support position, allowing one to apply the theorem of Gao and Wang and conjugate the resulting marker set back.

Explicit arithmetic progressions modulo primes $p \equiv 1 \pmod{4}$ are derived in which the coefficients in the expansions of products of quintuple products vanish. In particular, if $p = m^{2} + n^{2}$, and $b$ is a positive integer, and $$\sum_{n=0}^{\infty} a_{n}q^{n} = \frac{(q^{2bm},q^{p-2bm};q^{2bn},q^{p-2bn};q^p)_{\infty}}{(q^p,-q^{b m},-q^{p-bm},-q^{bn},-q^{p-bn};q^p)_{\infty}^2},$$ we determine $α= α(m,n,p)$ such that $a_{pt+ α}=0$. Our results are proven using involutive transformations on integer lattices.

We generalize the Ahlswede--Daykin inequality (1978) to a Schur positive \emph{ADS inequality}, which also contains the Lam--Postnikov--Pylyavskyy inequality (2007) as a special case. We then present a number of further generalizations and applications. Notably, we resolve Mihalcea's conjecture on log-supermodularity of stable Grothendieck polynomials.

Let $D$ be a quaternion division algebra over a non-Archimedean local field $F$ of characteristic zero, and let $G_n=GL_n(D)$. Let $H_{1,n-1}$ denote the subgroup of $G_n$ consisting of block-diagonal matrices of the form $diag(g_1,g_2)$, where $g_1\in G_1$ and $g_2\in G_{n-1}$. In this article, we formulate a conjectural classification of irreducible smooth $H_{1,n-1}$-distinguished representations of $G_n$ for $n>2$. We prove this conjecture in the cases $n=3$ and $n=4$. When $n=2$, the results are well known due to the contributions by various authors.

We discuss self improving properties of some local and nonlocal, elliptic and parabolic, equations on bounded domains. We employ a functional analytic approach wherein the solution space sits in a suitable interpolation scale. Utilizing a classical analytic perturbation result, we extrapolate the invertibility of the main operator from the base space to nearby spaces within the interpolation family.

For a locally compact group G we introduce and study the reduced Beurling-Fourier-Stieltjes algebra, a weighted analogue of the reduced Fourier-Stieltjes algebra, together with the algebra of completely bounded multipliers of the associated weighted Fourier algebra. We show, in particular, that these two algebras coincide when G is amenable. For a general locally compact group G, we identify them as subspaces of the reduced Fourier-Stieltjes algebra and of the space of functions that locally belong to the Fourier algebra, respectively. Furthermore, we establish sufficient conditions on the group and the weight under which the algebra of completely bounded multipliers of the weighted Fourier algebra embeds into its unweighted counterpart.

Let $G$ be a compact abelian group whose dual group $Γ=\widehat{G}$ has bounded torsion. In 1967, Malliavin-Brameret and Malliavin proved that every Sidon set in $Γ$ is a finite union of quasi-independent sets when $Γ$ has prime exponent. This was later extended to squarefree exponents in work of Varopoulos and Bourgain. We prove the remaining bounded-torsion case. Consequently, if $\widehat{G}$ has bounded torsion, then a subset $Λ\subset \widehat{G}\setminus{0}$ is Sidon if and only if it is a finite union of quasi-independent sets.

This work considers combinatorial and statistical aspects of {\em{shifts of finite type}}, which are families of words over a finite alphabet which avoid a fixed class of {\emph{forbidden}} sub-words. The overarching question we are interested in is: how do local statistics of a uniformly random element of the shift space depend on combinatorial features of the forbidden set? We focus on the binary alphabet $\{0,1\}$, the class of shift spaces where a single pattern is forbidden, and the average frequency of $1$s (equivalently, the probability of observing $1$ at a given position). In this case, the relevant combinatorial information is encoded by a two-variable auto-correlation polynomial associated to the forbidden word, which we call the {\em{border polynomial}}. We present several results and examples characterizing the ordering of all words by their letter frequencies: for example, we describe the set of patterns which, when forbidden, cause the frequency of $1$s to increase, decrease, or stay exactly $1/2$. We conjecture that, among forbidden patterns of the same length (except for four exceptional words), the letter frequency is monotone with respect to the number of $1$s in the forbidden word. Our methodologies include novel explicit local injections and bijections, generating function analysis, and a connection with a probabilistic notion of letter frequency.

We address the Euler immersion problem, a fluid-structure interaction problem in which an elastic body is immersed in an incompressible inviscid fluid governed by the Euler equations. We show that the system exhibits a loss of one derivative and formulate the problem in analytic function spaces. We then prove local well-posedness in analytic spaces under velocity-matching boundary conditions. Finally, by means of an example, we show that existence fails in analytic spaces when both velocity and stress-matching boundary conditions are prescribed.

Let $\mathbf{k}$ be a field and let $Λ$ and $Γ$ finite dimensional $\mathbf{k}$-algebras. Assume that ${_Γ}X_Λ$ and ${_Λ}Y_Γ$ are bimodules that define a singular equivalence of Morita type with level (in the sense of Z. Wang) between $Λ$ and $Γ$ and which also induce an equivalence between the stable categories of finitely generated Gorenstein-projective modules $Λ$-$\underline{\text{Gproj}}$ and $Γ$-$\underline{\text{Gproj}}$. We prove that if $V$ is an indecomposable object in $Λ$-$\underline{\text{Gproj}}$ with $\underline{\mathrm{End}}_Λ(V)\cong \mathbf{k}$, then $X\otimes_ΛV$ is an object in $Γ$-$\underline{\text{Gproj}}$ such that $\underline{\mathrm{End}}_Γ(X\otimes_ΛV)\cong \mathbf{k}$ and the universal deformation rings (in the sense of F.M. Bleher and the second author) $R(Λ,V)$ and $R(Γ, X\otimes_ΛV)$ are isomorphic. This result generalizes the one obtained by the second author assuming that $Λ$ and $Γ$ are Gorenstein $\mathbf{k}$-algebras.

We introduce two new relations involving the pentagon and the quadrilateral for the evaluation of the Penrose polynomial at $n=4$ that is proven using a new type of ribbon graph polynomial. Additionally, we extend several relations for the evaluation of the Penrose polynomial at $n=3$ to all $n$.

Motivated by recent developments in Exceptional Orthogonal Polynomials (XOPs), which feature sequences of orthogonal polynomials missing finitely many degrees, we develop a construction of monic orthogonal polynomial sequences that omit a single degree using linear combinations of classical families. We then relate these polynomial families to quasi-orthogonal polynomials of order 2.

In this paper, we derive a new two-dimensional rod-Kadomtsev-Petviashvili (rod-KP) equation from the incompressible and irrotational three-dimensional Euler equation under the shallow water scaling. We establish the local well-posedness of the Cauchy problem in a suitable Sobolev space and derive the blow-up criterion for strong solutions via the energy method. Then, by exploring two appropriate conservation laws of the rod-KP equation, we are able to construct its global strong solution when the physical dimensionless parameter $σ=0$, and on the other hand produce the finite-time blow up solutions under some certain conditions when $σ\neq 0$. Furthermore, we present a uniqueness continuation property for the solutions. Finally, we investigate the existence of traveling-wave solutions in order to highlight the influence of weak transverse effects on wave stability, and we also exhibit the symmetry of solitary waves in the propagation direction.

Low-rank matrix denoising is a central primitive in patch-based image restoration and many other inverse problems. Classical SVD-based image denoising methods often choose a truncation rank by matching residual singular-value energy with an estimated noise energy, but this rule is not a finite-sample risk principle because a fitted low-rank approximation inevitably absorbs part of the noise. This paper develops a mathematically rigorous alternative based on Stein's unbiased risk estimate (SURE). Since singular value hard thresholding is discontinuous and does not satisfy the hypotheses of Stein's lemma, we introduce a logistic smooth hard-threshold spectral estimator. We prove that the smooth shrinker satisfies the regularity conditions required by a spectral-estimator version of Stein's lemma, and therefore admits an exactly unbiased fixed-threshold risk estimate under Gaussian noise. For a fixed observed matrix and a finite set of candidate thresholds separated from the observed singular values, the ordering of the fixed-threshold smooth SURE objective eventually agrees with a simple limiting score. The limiting score has the same algebraic form as the biased hard-threshold SURE formula, but here it is used only as a computational device for ranking finite candidates. Selecting the minimizing threshold is a data-adaptive tuning step; the selected SURE value should not be interpreted as an unbiased risk estimate of the finally selected estimator.

In this work, we establish compactness theorems for complete gradient $G_2$-solitons under the assumptions of a lower bound on the scalar curvature and a broad growth condition on the potential function associated with the gradient vector field. After first proving Gromov-Hausdorff convergence for such sequences, we sharpen this result by deriving epsilon-regularity estimates. As a consequence, we obtain smooth convergence provided there is a uniform energy bound at half the dimension.