We derive and study expansions of and over the Askey--Wilson polynomials. We study these expansions and examine some limits to the continuous dual $q$-Hahn, Al-Salam--Chihara, continuous big $q$-Hermite and continuous $q$-Hermite polynomials and their $q^{-1}$-analogues. The Poisson kernel for the infinite discrete orthogonality relation for the $q^{-1}$-Al-Salam--Chihara polynomials is derived which in a special case reduces to the Gupta--Masson biorthogonal rational ${}_4ϕ_3$-functions. This Poisson kernel implies new infinite series connection relations for the Askey--Wilson polynomials involving these rational ${}_4ϕ_3$-functions. We also consider various interesting limits.

We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials.

Recent advances in deep reinforcement learning (RL) have achieved strong results on high-dimensional control tasks, but applying RL to reachability problems raises a fundamental mismatch: reachability seeks to maximize the set of states from which a system remains safe indefinitely, while RL optimizes expected returns over a user-specified distribution. This mismatch can result in policies that perform poorly on low-probability states that are still within the safe set. A natural alternative is to frame the problem as a robust optimization over a set of initial conditions that specify the initial state, dynamics and safe set, but whether this problem has a solution depends on the feasibility of the specified set, which is unknown a priori. We propose Feasibility-Guided Exploration (FGE), a method that simultaneously identifies a subset of feasible initial conditions under which a safe policy exists, and learns a policy to solve the reachability problem over this set of initial conditions. Empirical results demonstrate that FGE learns policies with over 50% more coverage than the best existing method for challenging initial conditions across tasks in the MuJoCo simulator and the Kinetix simulator with pixel observations.

The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised as they should be. We show that the theory of separable C*-algebras can be developed in ZF (that is, without using any Choice). This includes proving the Gelfand-Naimark representation theorems as well as the Spectral Mapping Theorem for polynomials and developing continuous functional calculus for commuting normal elements. Some of our proofs are modifications of the standard ones, obtained by avoiding the use of Choice. Some other proofs require new ideas in order to avoid the use of Choice. Yet another batch of proofs proceeds by using the set-theoretic Shoenfield Absoluteness Theorem. This result (well known to logicians but regrettably not as well advertised as it deserves) implies that statements about standard Borel spaces of low quantifier complexity that are provable in ZFC, or even ZFC together with the Continuum Hypothesis are provable in ZF. One of the main objectives of this paper is to present these results in a convenient form that can be utilized by analysts not familiar with set theory. We also show that in the absence of Choice (more precisely, assuming the existence of a Russell set) there is a concretely representable unital commutative \cstar-algebra that is not isomorphic to C(X) for any compact Hausdorff space X. Finally, from the model-theoretic point of view, while the property of having a tracial state is provably axiomatizable in ZFC, it is not provably axiomatizable in ZF+DC.

In this article we use Gaussian measure on $\mathbb{R}^N$ to define the coefficients of an elliptic diffusion on an open cone of $\mathbb{R}^2$. We prove the existence and uniqueness of a stationary distribution for this diffusion. In a companion article, we show that the diffusion constructed in this work is the inviscid limit of the laws of the ``enstrophy-energy'' process of a stationary $N$-dimensional Galerkin-Navier-Stokes type evolution with Brownian forcing and random stirring (the strength of which can be made to go to zero in the inviscid limit). In the present work, owing to the special properties of the coefficients constructed with the Gaussian measure, we bound the distance to $1$ of the ratio of the expected energy to the expected enstrophy (this ratio is at most $1$ with our normalization). Together with our companion article, this shows that for suitable Brownian forcings an inviscid condensation inducing an attrition of all but the lowest modes takes place.

This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The universality of the vertical lift is a key part of the axioms of a tangent category as presented in [4]. The categorical dimension presented in this paper provides insight into the nature of this property. The main result is Theorem 3.7, showing that if it exists, the dimension of the tangent bundle must fulfill an equation relating the dimension of the tangent bundle to the dimension of the base. In particular, when the dimension function is a strong tangent dimension, Theorem 3.8 shows that the dimension of the tangent bundles is either twice the dimension of the base, or equal to the dimension of the base. Many examples of dimension functions are provided to demonstrate the utility of the definition. In particular, a consequence of Theorem 3.7 is that there are limitations on which functors may be tangent bundle endofunctors for a category. We show that this means that there are no non-trivial tangent structures on sets, as an example.

In this article we consider a stationary $N$-dimensional Galerkin-Navier-Stokes type evolution with Brownian forcing and random stirring (of arbitrarily small strength). We show that the stationary diffusion in an open two-dimensional cone constructed in a companion article, stands as the inviscid limit of the laws of the ``enstrophy-energy'' process of the $N$-dimensional diffusion process considered here, this regardless of the strength of the stirring. With the help of the quantitative condensation bounds of the companion article, we infer quantitative inviscid condensation bounds, which for suitable forcings show an attrition of all but the lowest modes in the inviscid limit.

In this paper, we develop and introduce a Casorati inequality for Riemannian submersions involving the Casorati curvatures of both the vertical and horizontal distributions. A general form of the inequality is derived for Riemannian submersions between Riemannian manifolds, and the corresponding equality cases are completely characterised. As applications, we obtain the inequality for Riemannian submersions whose total spaces are real, complex, generalised Sasakian, Sasakian, cosymplectic, Kenmotsu, and almost $c(α)$-space forms. For each theorem, we present illustrative examples. Some of these examples achieve equality, while others do not. Furthermore, these inequalities are derived for invariant, anti-invariant, slant, semi-slant, hemi-slant, and bi-slant Riemannian submersions.

A deformation of Heisenberg algebra induces among other consequences a loss of Hermiticity of some operators that generate this algebra. Therefore, these operators are not Hermitian, nor is the Hamiltonian operator built from them. In the present paper, we propose a position deformation of Heisenberg algebra with both maximal length and minimal momentum uncertainties. By using a pseudo-similarity transformation to the non-Hermitian operators, we prove their Hermiticity with a suitable positive-definite pseudo-metric operator. We then construct Hilbert space representations associated with these pseudo-Hermitian operators. Finally, we study the eigenvalue problem of a free particle in this deformed space and we show that this deformation curved the quantum levels allowing particles to jump from one state to another with low energy transitions.

In this paper, we provide a complete mathematical theory for the entanglement of mixtures of Dicke states. These quantum states form an important subclass of bosonic states arising in the study of indistinguishable particles. We introduce a tensor-based parametrization where the diagonal entries of these states are encoded as a symmetric tensor, enabling a direct translation between entanglement properties and well-studied convex cones of tensors. Our results bridge multipartite entanglement theory with semialgebraic geometry and the theory of completely positive and copositive tensors. This dictionary maps separability to completely positive tensors, the PPT property to moment tensors, entanglement witnesses to copositive tensors, and decomposable witnesses to sum of squares tensors. Using this framework, we construct explicit PPT entangled states in three or more qutrits. In this class of states, we establish that PPT entanglement exists for all multipartite systems with three qutrits or more, disproving a recent conjecture in [J. Math. Phys. 66, 022203 (2025)]. We also show that, for mixtures of Dicke states, the PPT condition with respect to the most balanced bipartition implies PPT with respect to any other bipartition. We further connect bosonic extendibility of mixtures of Dicke states to the duals of known hierarchies for non-negative polynomials, such as the ones by Reznick and Polya. We thus provide semidefinite programming relaxations for separability and entanglement testing in the Dicke subspace.

We study the lattice $\mathbf{tors}(A)$ of torsion pairs in the category $\mathrm{mod}(A)$ of finitely generated modules over an artinian ring $A$. It was shown by the authors in previous work that $\mathbf{tors}(A)$ is isomorphic to a lattice formed by certain closed sets, called maximal rigid, in the Ziegler spectrum of the unbounded derived category $\mathrm{D}(A)$ of $A$. Moreover, the structure of this lattice is described by an operation on maximal rigid sets which encompasses (the dual of) silting mutation. In this paper we provide an explicit description of this operation and we discuss how it is reflected in the lattice $\mathbf{tors}(A)$. We establish a bijection between the wide intervals in $\mathbf{tors}(A)$ and the closed rigid sets in the Ziegler spectrum of $\mathrm{D}(A)$. Moreover, we show that the arrows in the Hasse quiver of $\mathbf{tors}(A)$ correspond to the closed rigid sets that are almost complete, or equivalently, that can be completed to a maximal rigid set in exactly two ways. Our results are most interesting in the case when $A$ is a finite dimensional algebra. In fact, we generalise results by Adachi, Iyama and Reiten, with an important difference: not every point in a maximal rigid set is mutable. We use the topology on the Ziegler spectrum to determine the mutable points. In the last section of the paper we illustrate our results by the example of a finite dimensional algebra arising from a triangulation of an annulus.

Graham conjectured in 1971 that for any prime $p$, any subset $S\subseteq \mathbb{Z}_p\setminus \{0\}$ admits an ordering $s_1,s_2,\dots,s_{|S|}$ where all partial sums $s_1, s_1+s_2,\dots,s_1+s_2+\dots+s_{|S|}$ are distinct. We prove this conjecture for all subsets $S\subseteq \mathbb{Z}_p\setminus \{0\}$ with $|S|\le p^{1-α}$ and $|S|$ sufficiently large with respect to $α$, for any $α\in (0,1)$. Combined with earlier results, this gives a complete resolution of Graham's rearrangement conjecture for all sufficiently large primes $p$.

A number of upper bounds are proved relating to the triple product property (TPP) for subgroups of finite nilpotent groups of class $2$. The TPP is the property defined for three non-empty subsets $S, T, U$ of a group $G$ that the group equation $s's^{-1}t't^{-1}u'u^{-1} = 1$, over pairs of elements $s', s \in S$, $t', t \in T$, $u', u \in U$, is satisfied if and only if $s' = s$, $t' = t$, $u' = u$. When $G$ is finite, and the parameter $ρ_0(G)$, called \emph{subgroup TPP ratio}, is defined as $ρ_0(G) := \max\frac{|S||T||U|}{|G|}$, where the maximum is over the collection of all triples of subgroups $S, T, U$ of $G$ satisfying the TPP, this paper proves that \textup{(1)} $ρ_0(G) < \sqrt{|G:Z(G)}$} for (all) groups of nilpotency class $2$, \textup{(2)} $ρ_0(G) \leq p$ for $p$-groups with a cyclic commutator subgroup of order $p$, \textup{(3)} $ρ_0(G) = 1$ for $p$-groups of nilpotency class $2$ with a "large" centre, loosely defined as those satisfying $p^2 \leq |G:Z(G)| \leq p^3$, \textup{(4)} and $ρ_0(G) = 1$ for $p$-groups of nilpotency class $2$ with "small" (irreducible, complex) character degrees of $1$ or $p$.

In this work, we provide an overview of general solutions for displacement fields in static problems of isotropic strain gradient elasticity (SGE). We not only review existing solutions but also derive new representations, showing that all classical elasticity solutions - including those of Boussinesq-Galerkin, Papkovich-Neuber, Naghdi, Lame, Love and Boussinesq - can be simply generalized to SGE framework. In general, it is shown that SGE enables the use of any classical general solution representation combined with a Helmholtz decomposition for the gradient part of the displacement field. Consistency is also established between the presented Papkovich-Neuber representation and the general solutions of SGE proposed previously by Mindlin (1964), Lurie et al. (2006) and Charalambopoulos et al. (2020). Furthermore, we establish the relationships between the stress functions of different general solutions and show their completeness.

We establish results on the dynamics of interacting charged null fluids in general relativity, specifically in the context of the bouncing continuation proposed in [Ori91]. In this model - the setting for a number of prominent case studies on black hole formation - charged massless particles may instantaneously change direction (bounce) after losing all their 4-momentum due to electrostatic repulsion. We initiate the study of timelike bounce hypersurfaces in spherical symmetry: scenarios in which an incoming beam of charged null dust changes direction along a timelike surface $\mathcal{B}$, which is the (free) boundary of an interacting 2-dust region. We identify a novel decoupling of the equations of motion in this region. First, it is shown that every timelike curve segment $γ$ in the spherically symmetric quotient of Minkowski or Reissner-Nordström spacetimes arises as the bounce hypersurface $\mathcal{B}$ of a charged null dust beam incident from past null infinity $\mathcal{I}^-$. We construct a spacetime $(\mathcal{M},g_{μν})$ describing the full trajectory of the beam, which includes gluing to Reissner-Nordström and Vaidya regions. Across $\mathcal{B}$ the metric has regularity $g_{μν}\in C^{2,1}$ and satisfies Einstein's equation classically, while $C^\infty$ gluing may be achieved across all other interfaces. We also obtain examples of timelike bounce hypersurfaces terminating in a null point. Since these constructions are teleological, we secondly consider a given charged incoming beam from past null infinity. We formulate and solve a free boundary problem which represents the formation of a timelike bounce hypersurface. The result is conditional, applying only in the exterior region of a Reissner-Nordström spacetime, and subject to a technical regularity condition.

We introduce a notion of nondegenerate neck pinch singularity along the Lagrangian mean curvature flow of surfaces in a Calabi-Yau surface. We show that such singularities can occur, are stable under small perturbations, and any neck pinch singularity can be perturbed to such a nondegenerate singularity near the singular time. Using this we answer some questions raised by Neves and Joyce. We also introduce nondegenerate teardrop singularities and show that these cannot occur for embedded flows.

We study an inverse resonance problem for the scalar wave equation on the Kerr-de Sitter family. In a compact subextremal slow-rotation regime and at a fixed overtone index, high-frequency quasinormal modes admit semiclassical quantization and a real-analytic labeling by angular momentum indices. Using this structure, we first prove that a finite equatorial high-frequency package of quasinormal-mode frequencies determines the mass and rotation parameter $(M,a)$ (for fixed cosmological constant $Λ>0$), with a quantitative stability estimate. As a key geometric input we compute explicit second-order (in $a$) corrections to the equatorial photon-orbit invariants which control the leading real and imaginary parts of the quasinormal modes. Finally, allowing $Λ$ to vary in a compact interval, we show that adding one damping observable (the scaled imaginary part of a single equatorial mode) yields a three-parameter inverse theorem: a finite package of three independent real observables determines $(M,a,Λ)$ locally in the slow-rotation regime away from $a=0$.

This paper is devoted to the theory of $GL_n({\mathbb Z})$-conjugacy classes of regular integer $n\times n$ matrices. Such a matrix is $GL_n({\mathbb Q})$-conjugate to the companion matrix of its characteristic polynomial. But the set of $GL_n({\mathbb Z})$-conjugacy classes of regular integer matrices with a fixed characteristic polynomial $f$ is usually nontrivial (finite if $f$ has simple roots, infinite if $f$ has multiple roots). It is in 1:1-correspondence to a subsemigroup of a certain quotient semigroup of the commutative semigroup of full lattices in the algebra ${\mathbb Q}[t]/(f)$. In its first part, the paper gives a survey on old and new results on full lattices and orders in a finite dimensional commutative ${\mathbb Q}$-algebra with unit element and on induced semigroups. In its longer second part, the paper applies this theory to many examples, essentially all cases with $n=2$, many cases with $n=3$ and two cases with arbitrary $n$, the case with $n$ different integer eigenvalues and the case of a single $n\times n$ Jordan block.

We investigate critical restricted solid-on-solid models associated to Dynkin diagrams of type $A$, $D$ and $E$, with fixed, periodic and twisted periodic boundary conditions. These models are endowed with an action of the diagrams of the Temperley-Lieb category. For each model, we obtain the decomposition of the state space as a direct sum of irreducible modules over the Temperley-Lieb algebra $\mathsf{TL}_N(β)$ or its periodic incarnation $\mathsf{\mathcal EPTL}_N(β)$. This allows us to recover the known conformal partition functions for these models in the continuum scaling limit. For each irreducible factor arising in the decompositions, we define an associated local operator on the lattice, which behaves like a connectivity operator. Using knowledge from the Temperley-Lieb representation theory at roots of unity, we show that these operators satisfy certain linear difference relations, which are lattice counterparts of the singular-vector relations in conformal field theory.

We study Gromov's problem concerning minimal normal curvature immersions in the unit ball. In particular, we determine the minimal possible value of the normal curvature of an $S^n\times S^1$. We also prove a differentiable sphere theorem and an existence result for minimizers in this context.

Nonconvexities in markets with discrete decisions and nonlinear constraints make efficient pricing challenging, often necessitating subsidies. A prime example is the unit commitment (UC) problem in electricity markets, where costly subsidies are commonly required. We propose a new pricing scheme for nonconvex markets with both discreteness and nonlinearity, by convexifying nonconvex structures through a semidefinite programming (SDP) relaxation and deriving prices from the relaxation's dual variables. When the choice set is bounded, we establish strong duality for the SDP, which allows us to extend the envelope theorem to the value function of the relaxation. This extension yields a marginal price signal for demand, which we use as our pricing mechanism. We demonstrate that under certain conditions-for instance, when the relaxation's right hand sides are linear in demand-the resulting lost opportunity cost is bounded by the relaxation's optimality gap. This result highlights the importance of achieving tight relaxations. The proposed framework applies to nonconvex electricity market problems, including for both direct current and alternating current UC. Our numerical experiments indicate that the SDP relaxations are often tight, reinforcing the effectiveness of the proposed pricing scheme. Across a suite of IEEE benchmark instances, the lost opportunity cost under our pricing scheme is, on average, 46% lower than that of the commonly used fixed-binary pricing scheme.

Let $(ϕ_t)$ be an area-preserving smooth flow on a compact, connected, orientable surface $\mathcal M$ with at least one but finitely many fixed points. Assume that $(ϕ_t)$ is analytic (up to a canonical change of coordinates) in the neighborhood of each saddle fixed point. We show that the flow $(ϕ_t)$ is weakly mixing on each of its (finitely many) quasi-minimal components.

It is well known that, given two curves $\mathcal{X}: y^p+cy=x^m$ and $\mathcal{Y}:y^p+cy=x^n$, defined over $\F_p$, if $n$ divides $m$ then there exists a nonconstant morphism $\mathcal{X} \longrightarrow \mathcal{Y}$. In this paper we are interested in studying whether the converse of this statement is true, i.e., if there exists a morphism $\mathcal{X} \longrightarrow\mathcal{Y}$ then must it be true that $n$ divides $m$? In particular, we consider the case when $m=p^{k}+1$ and $n=p^\ell+1$. We prove that the converse is true under certain hypotheses. We deal with both the cases of Galois morphisms and non-Galois morphisms.

In this paper, we derive several regularity results for harmonic mappings into Euclidean spheres associated with rather general energies related to fractional Sobolev spaces. These maps generalize families of maps introduced by Da Lio, Rivière and Schikorra and are related to harmonic maps with free boundaries. In our context, there is in general no monotonicity formula, which prevents the use of some classical methods. Despite this limitation, under natural assumptions on a Gagliardo-type energy, we succeed in proving a variety of small energy regularity results and improve on known results, even in the isotropic case for which some monotonicity formula is available. To this end, we exploit recent developments in the regularity theory of nonlocal equations and as a by-product, we explain how these results apply to classes of harmonic maps with free boundary and lead to new potential-theoretic estimates. As another application, we obtain higher differentiability results for the fractional harmonic map heat flow.

This article provides a systematic investigation of the minimum modulus of dual truncated Toeplitz operators (DTTOs) $D_φ$ acting on the orthogonal complement of the model space $\mathcal{K}_u^{\perp}$, where $u$ is a nonconstant inner function and $φ\in L^\infty(\T)$. We first establish an explicit formula for the minimum modulus of the compressed shift $S_u$ and its dual $D_u$ in terms of $|u(0)|$, and prove that the minimum is always attained. For normal DTTOs, we derive sharp spectral bounds utilizing the essential range of the symbol and characterize the conditions under which $m(D_φ)$ coincides with the essential infimum of $|φ|$. In the general setting, for unimodular $\vp$, we obtain exact formulas and two sided estimates for $m(D_φ)$ by analyzing the norms of associated Toeplitz and Hankel operators restricted to the model space. Finally, we provide several concrete examples to illustrate our results.

We study Bregman proximal augmented Lagrangian methods with second-order oracles for convex convex-composite optimization problems. The outer loop is an instance of the Bregman proximal point algorithm with relative errors in the sense of Solodov and Svaiter, applied to the KKT operator associated with the problem. Akin to classical Lagrange-Newton methods, including primal-dual interior point methods the Bregman proximal point algorithm repeatedly solves regularized KKT inclusions by minimizing a smooth Bregman augmented Lagrangian function, obtained after marginalizing out the multiplier variables. Thanks to non-Euclidean geometries the marginal function is generalized self-concordant and therefore within the regime of Newton's method which converges quadratically if the step-size in the outer proximal point loop is chosen carefully. The operator-theoretic viewpoint allows us to employ the framework of metric subregularity to derive fast rates for the outer loop, and eventually state a joint complexity bound. Important special cases of our framework are a proximal variant of the exponential multiplier method due to Tseng and Bertsekas and interior-point proximal augmented Lagrangian schemes closely related to those of Pougkakiotis and Gondzio.

The depth-weighted tree DWT($f$) with weight function $f:\{0,1,2,\ldots\}\to (0,\infty)$ is a dynamic random tree grown from a root $r$ where vertices arrive consecutively and every new vertex attaches to a parent $u$ with probability proportional to $f$(distance between $u$ and $r$). This work is dedicated to a systematic analysis of the depth of DWT($f$). Namely, we provide precise analytic expressions of the typical depth of DWT($f$) for convergent, periodic, slowly growing, and (super-)exponentially growing weight functions. Furthermore, for bounded or exponentially growing $f$, we determine the typical depth up to a multiplicative constant, thus confirming and strengthening a conjecture of Leckey, Mitsche and Wormald.

Learning dynamical systems through purely data-driven methods is challenging as they do not learn the underlying conservation laws that enable them to correctly generalize. Existing port-Hamiltonian neural network methods have recently been successfully applied for modeling mechanical systems. However, even though these methods are designed on power-balance principles, they usually do not consider power-preserving discretizations and often rely on Runge-Kutta numerical methods. In this work, we propose to use a second-order discrete gradient method embedded in the learning of dynamical systems with port-Hamiltonian neural networks. Numerical results are provided for three systems deliberately selected to span different ranges of dynamical behavior under control: a baseline harmonic oscillator with quadratic energy storage; a Duffing oscillator, with a non-quadratic Hamiltonian offering amplitude-dependent effects; and a self-sustained oscillator, which can stabilize in a controlled limit cycle through the incorporation of a nonlinear dissipation. We show how the use of this discrete gradient method outperforms the performance of a Runge-Kutta method of the same order. Experiments are also carried out to compare two theoretically equivalent port-Hamiltonian systems formulations and to analyze the impact of regularizing the Jacobian of port-Hamiltonian neural networks during training.

We give generators for the nef cone and the cone of curves of rational surfaces obtained by blowing-up the complex projective plane at a set of points $\mathcal{B} \cup \mathcal{D}$, where $\mathcal{B}$ is the set of (proper and infinitely near) base points of a pencil associated with a curve having one place at infinity, and $\mathcal{D}$ is a set of finitely many infinitely near free points on the strict transforms of curves of the pencil. We also prove that, when the pencil is given by an AMS-type curve and $\mathcal{D}$ contains at most two free points on any curve considered, the Cox ring of the obtained surface is finitely generated.

Within the setting of metric spaces equipped with a doubling measure and supporting a $p$-Poincaré inequality, establishing existence of solutions to Dirichlet problem in a bounded domain in such a metric space is accomplished via direct methods of calculus of variation and the use of a Maz'ya type inequality, which is a consequence of the Poincaré inequality. However, when the domain and its boundary are unbounded, such a method is unavailable. In this paper, using the technique of sphericalization developed in the prior paper~[32], we establish the existence of solutions to the Dirichlet boundary value problem for $p$-harmonic functions in unbounded uniform domains with unbounded boundary when $1<p<\infty$. We also explore the issue of whether such solutions are unique by considering $p$-parabolicity and $p$-hyperbolicity properties of the domain.