We show that higher extension spaces between finite-dimensional nilpotent $\mathbb{F}_1$-representations maybe infinite-dimensional, thereby clarifying a misconception in the literature. Our examples arise from cyclic quivers. In particular, for a cyclic quiver $Δ_n$, we show that $\operatorname{Ext}^3(-,-)$ vanishes for any pair of finite-dimensional nilpotent $\mathbb{F}_1$-representations of $Δ_n$, while $\operatorname{Ext}^2(-,-)$ is infinite-dimensional for any pair of simple representations.

We rigorously derive the effective large-population, mean-field dynamics of particle-based reactive Langevin dynamics (PBRLD) models. These models extend particle-based stochastic reaction-diffusion (PBSRD) descriptions by incorporating velocities, inertial effects, and underdamped motion. In Isaacson, Liu, Spiliopoulos, and Yao, SIAP 2026, PBRLD models were formulated and shown to recover Doi volume reactivity PBSRD model in the overdamped limit. In this work we prove convergence of the associated measure-valued stochastic processes, representing species concentration fields on position-velocity phase space, to a deterministic mean-field limit. The limiting equations form a novel system of nonlocal kinetic reaction-diffusion partial integro-differential equations, coupling hypoelliptic transport with reaction terms that retain the spatial and velocity structure of the underlying particle interactions.

We study optimal constants and extremizers of smoothing estimates for quantum harmonic oscillators. In particular, we establish harmonic oscillator analogues of free particle results due to Simon (1992), Bez and Sugimoto (2014), and Bez et al. (2015).

In this paper, we establish two loop decomposition theorems for sphere bundles of real vector bundles under appropriate connectivity and characteristic class assumptions. Specifically, we treat two families of sphere bundles: those arising from rank-$(n-1)$ vector bundles and those from rank-$(n-3)$ vector bundles over closed smooth $n$-manifolds.

In this paper, we study the initial-boundary value problem for the nonlinear Schrödinger equation in $\mathbb{R}^{n}_{+}$ \begin{equation*} i\partial_{t}u+Δu+λ|u|^pu=0, \qquad (x, t) \in \mathbb{R}_{+}^{n} \times \mathbb{R}_{+},\ \ p\in\mathbb{R}_{+} \end{equation*} with nonhomogeneous Dirichlet boundary conditions. For the corresponding linear problem, endpoint Strichartz estimates are derived. For the nonlinear problem, we prove local well-posedness in $H^{s}(\mathbb{R}^{n}_{+})$ with $s\in[0,\frac{5}{2})$ and $p<\frac{4}{n-2s}$. Moreover, global well-posedness is established in the same regularity range. For $s\in[1,\frac{5}{2})$, the one-dimensional global theory of \cite{figment} in $H^{s}(\mathbb{R}_{+})$ is extended to $H^{s}(\mathbb{R}^{n}_{+})$. Additionally, we obtain global solutions in the lower regularity setting $s\in[0,1)$ for the first time. It is noteworthy that for $s=0$, we overcome the lack of mass conservation resulting from the nonzero boundary data and derive the pivotal $L^{2}(\mathbb{R}^{n}_{+})$ a priori estimates.

In this paper, we study the $\mathbb J$-stratification of basic affine Deligne-Lusztig varieties for a minuscule cocharacter $μ$. This stratification was introduced by Chen-Viehmann and has been expected to serve as an interesting tool for studying basic loci in Shimura varieties. We parametrize the $\mathbb J$-strata whose stabilizers in the Frobenius-twisted centralizer group are parahoric by constructing a natural bijection to combinatorial invariants called small cocharacters. We further prove that the cardinality of these sets is equal to that of a certain subset of the Weyl group orbit of $μ$. A relationship with the weakly fully Hodge-Newton decomposability of Chen-Tong is also discussed.

We study the geometry of feasible value functions in infinite-horizon partially observable Markov decision processes (POMDPs) under memoryless stochastic policies. Our main contribution is a characterization of the feasible set of value functions as a semi-algebraic set, defined by explicit polynomial inequalities determined by the transition dynamics, observation kernel, and reward structure of the POMDP. This result extends prior work for fully observable Markov decision processes, where the feasible set is known to be a polytope, to the substantially more intricate partially observable setting. In contrast to the polyhedral structure arising in MDPs, partial observability induces fundamentally nonlinear constraints, leading to a richer and more complex geometric structure. Our geometric characterization provides new insight into the landscape of policy optimization in both MDPs and POMDPs, and reveals qualitative phenomena unique to partial observability, including the emergence of isolated local maximizers of the long-term reward and their dependence on the initial state distribution.

In this article, we study the (full or vertical) linearisation problem under a finite Galois étale cover. As an application, we give sufficient conditions for full linearisation near Hopf manifolds and for vertical or full linearisation near hyperelliptic manifolds.

Rotatable antenna (RA) technology has emerged as a promising solution to enhance spectrum efficiency by exploiting additional spatial degrees of freedom (DoFs) in multiple access networks. However, the relative performance superiority among different multiple access schemes remains largely unclear due to the unique capability of RA in reconfiguring the directional gain pattern. In this letter, we conduct a theoretical comparison between non-orthogonal multiple access (NOMA) and orthogonal multiple access (OMA) schemes in RA-assisted communication systems in terms of transmit power minimization, subject to constraints on antenna rotational range and users' target rates. To address the associated non-convex optimization problem, a particle swarm optimization (PSO) algorithm is employed to optimize the rotational angle. Simulation results demonstrate that RA-assisted schemes significantly reduce transmit power compared to fixed-antenna benchmarks. Furthermore, RA-assisted NOMA may perform worse than time-division multiple access (TDMA) for symmetric user deployments, while it exhibits superior robustness and energy efficiency in asymmetric scenarios.

We develop a contraction-based framework for proving mixing-time bounds for Markov chain Monte Carlo algorithms. The framework is built around global and local contraction coefficients of Markov kernels under the $\mathsf E_γ$-divergence with $γ\ge1$. For projected Langevin Monte Carlo on a compact convex domain, we show that Gaussian smoothing yields an explicit global contraction coefficient for the $\mathsf E_γ$-divergence. This gives a direct proof of exponential convergence to the discretized stationary distribution for general smooth, possibly non-convex potentials. The rate is explicit, accommodates arbitrary random-batch sampling schemes, and yields convergence guarantees for several divergences, including KL, $χ^2$, and Rényi divergences. For independent Metropolis--Hastings with target $π$, proposal $q$, and unbounded importance weight $w=dπ/dq$, global contraction coefficients are typically trivial. We therefore introduce a local contraction coefficient on the core $C_R=\{w\le R\}$ and prove that it controls the rejection profile on the core. This yields warm-start convergence bounds governed by the local contraction coefficient and the tail profile $H_R=π(w>R)$, recovering sharp existing moment-based convergence rates when $\mathbb E_q[w^p]<\infty$ for some $p>1$, while remaining effective in heavy-tailed regimes where no finite moment of order $p>1$ exists.

We prove a conjecture of Glasby, Praeger, and Unger concerning the symmetric group $S_{n}$. Let $π_{n}$ denote the proportion of elements of $S_{n}$ that are pre-$p$-cycles for some prime $p\in[2, n-3]$. We prove that $π_{n} > 1/3$ for all $n\geq 8$.

We obtain the leading term in the solution of the Cauchy problem for the Benjamin-Ono equation in the limit $t\to+\infty$ with $x=O(t^{1/2})$. We show that the rate of decay exceeds that of self-similar solutions and obtain an explicit universal profile for the decaying solution, relating it to the linearization of the profile equation for self-similar solutions. The proof assumes a class of rational initial data $u_0$ in $L^2(\mathbb{R})\cap L^1(\mathbb{R})$ that exhibit generic behavior of the reflection coefficient at the origin.

Motivated by recent developments at the interface of operator algebras and random matrix theory, we propose new conjectures concerning the asymptotic structure of random matrix models of the countable free groups. The first conjecture predicts a random matrix analogue of the Akemann-Ostrand property for free groups, and reveals a succinct approach to recover the Peterson-Thom property for $L(\mathbb{F}_2)$. The second stronger conjecture is motivated by continuous model theory. It predicts that the \emph{random} embedding of the free group factor into a matrix ultraproduct is \emph{existential}. We discuss the interesting relationship between these conjectures.

For a finitely generated group $G$, the Bieri-Neumann-Strebel-Renz (BNSR) invariants are subsets of the character sphere of $G$ that govern the finiteness properties of normal subgroups containing the commutator subgroup. We investigate the BNSR invariants of link groups and $2$-knot groups. In particular, for a link $L$ with at least two components, we prove that the commutator subgroup of the link group is finitely generated if and only if $L$ is a Hopf link. Moreover, we show that there exists a ribbon $2$-knot whose knot group has a non-symmetric BNS invariant.

Multiplication table of a ring with identity 1 is said to have the diagonal condition if 1s occur only on the main diagonal. In this paper, we study the diagonal condition in the ring of Gaussian integers $\mathbb{Z}[i]$. Furthermore, we also find the Gaussian integers $α$ so that the rings of Gaussian integers modulo $α$ satisfy the diagonal condition.

A basic open question motivated by the study of ribbon knot diagrams asks whether every ribbon knot can be presented as a symmetric union. In this article, we give a negative answer to this question by exhibiting a ribbon Montesinos knot which does not admit a symmetric union presentation.

We give an alternative formulation of Stein's maximal inequality for generalised spherical averages in terms of derivatives of standard spherical means: if \[ k \ge 0, \qquad d \ge 2 k + 3 , \qquad \frac{d}{d - k - 1} < p < \frac{d - 1}{k} , \] and $σ$ is the normalised surface measure on the unit sphere $\mathbb S$, then the maximal operator \[f \mapsto \sup_{r > 0} \, \biggl\lvert r^k (\tfrac{d}{dr})^k \int_{\mathbb S} f(\cdot + r y) σ(dy) \biggr\rvert\] is bounded on $L^p$, with a constant that is independent of the dimension $d$.

Mixed structures and their weight filtrations appear in various contexts, prominently Hodge theory and the theory of Galois representations. In the setting of André's formalisation of slopes, we propose an abstract framework explaining why mixed structures have shared characteristics.

We study local finiteness for modal $K4$ algebras via the tunability of their dual general frames. In particular, we provide a sufficient condition for modal $K4$ algebras to be locally finite by identifying a structure which must be present in non-locally finite modal $K4$ algebras. We then show that this condition becomes both necessary and sufficient for complex modal $K4$ algebras. Next, we translate this condition into a pair of order-theoretic conditions on transitive Kripke frames, providing a classification of local finiteness on their dual modal algebras. We further show that the logic of any class of well-founded transitive relations with no infinite antichains has the finite model property, and conclude that the logic of the class of well-quasi orderings has the finite model property.

This paper develops a data-driven realization of the generalized Koopman operator (GeKo), in which states and inputs are lifted independently and the dynamics are expressed as a tensor bilinear system. The first contribution is a time-sequenced multi-step Khatri-Rao kernel regression formulation that exposes the operator to evolved snapshots along trajectories rather than only single one-step pairs, which reduces compounded prediction error. Secondly, we develop a kernel- and input-agnostic structured SVD reduction that compresses the lifted state and input spaces while preserving the Khatri-Rao realization. We instantiate the framework with random Fourier features and describe a complete predictive-control pipeline, including a multi-step roll-out diagnostic that guides the choice of MPC horizon. The framework is validated on the chaotic Lorenz system, where the learned reduced-order GeKo model stabilizes an unstable equilibrium from a range of initial conditions.

The one-shot approach is a powerful simultaneous optimization framework for design tasks governed by computationally expensive steady-state systems. While previous formulations mainly focused on additional equality constraints, this work extends the one-shot framework to optimization problems with inequality constraints using slack variables embedded into a doubly augmented Lagrangian formulation. After elimination of the slack variables, the resulting formulation contains nonsmooth active-set dependent terms while preserving the characteristic coupled one-shot matrix structure. The resulting generalized gradient system admits a representation of the form $ \nabla \DLag = -Ms, $ analogous to the equality-constrained one-shot framework. To analyze the nonsmooth active-set transitions, generalized second-order subdifferentials in the sense of Clarke and Rockafellar--Wets are employed. We derive explicit positivity conditions ensuring positive definiteness of all admissible generalized Hessians and hence strict local optimality. Furthermore, we give an outlook on the construction of preconditioners based on generalized Hessian approximations.

We prove that if $θ$ is a continuous unital homomorphism of an operator algebra $A$ into $B(\mathcal{H})$, and $β$ is in the dual space of $A$, then the completely bounded norm of $θ$ is less than or equal to the maximum of $1$ and the completely bounded norm of $θ+ βI $. As an application, we give another proof of the Okubo--Ando theorem.

Let $L$ be a subspace of a complex vector space $V$ and fix $s \leq \dim{L}$. The (type A) Kalman variety consists of all endomorphisms of $V$ that have an $s$-dimensional invariant subspace in $L$. We introduce a generalization where $V$ and $L$ are symplectic vector spaces. We fix an isotropic subspace $W \subseteq V$ satisfying $W^\perp = W \oplus L$. The isotropic (type C) Kalman variety consists of symplectic morphisms of $V$ that have an invariant coisotropic subspace of a prescribed dimension inside $W^\perp$. We are mainly interested in studying the Lagrangian case. In type C, we prove analogues of results known for type A Kalman varieties; in particular, we determine the defining equations, compute geometric invariants, and analyze their singularities. We conjecture the existence of a long exact sequence relating the structure sheaves. Based on the results in the symplectic case, we describe Kalman variety analogues with respect to endomorphisms of odd orthogonal (type B) and even orthogonal (type D) vector spaces.

The Lipschitz-free space $\mathcal{F}(M)$ is a canonical linearization of a complete metric space $M$ whose topological dual is the space of Lipschitz functions on $M$. We review the properties of $\mathcal{F}(M)$ when the underlying space $M$ is purely 1-unrectifiable, that is, it contains no bi-Lipschitz copy of a subset of $\mathbb{R}$ with positive measure. For compact $M$, this is equivalent to several Banach space properties of $\mathcal{F}(M)$, including the Radon-Nikodým and Schur properties or admitting a predual. We shall see how the study of locally flat Lipschitz functions on $M$ reveals these equivalences, and describe a technique that allows most of them to be transferred to the non-compact setting. This manuscript is an expository text based on results by the author in collaboration with C. Gartland, C. Petitjean and A. Procházka, originally published in a Trans. Amer. Math. Soc. paper, and corresponds to a lecture delivered at the Second Winter School in Geometric Measure Theory at Westlake University, Hangzhou, on February 2026.

In this paper, we study optimal distributional estimates for the multiple Hilbert transform. We obtain pointwise upper and lower distributional estimates of the multiple Hilbert transform in terms of the $d$-fold composition of the Calderón operator with itself. This extends the fundamental results by A. P. Calderón, D. Boyd, and Ch. Fefferman for arbitrary $d\in\mathbb N.$

We give a completely explicit Lerch, Chowla--Selberg formula without absolute values of the Dedekind eta function, and give some applications, in particular to the argument of individual CM values of the eta function. We also give precise conjectures on these CM values and a large table supporting them.

We consider supertori which are quotients of affine superspace by translations by algebraically independent odd parameters. Specifically, we describe the ring structure of its space of global sections by generators and relations and completely determine the coherent cohomology groups of its structure sheaf by reducing it to a problem of Lie algebra cohomology. We also show that Poincaré duality on sheaf cohomology is compatible with that of the group cohomology of the translation group and give explicit tables of examples. Finally, we compute the Picard groups of these supertori.

In this work, we introduce a new macroscopic model for crowd motion inspired by the celebrated Hughes' model \cite{Hughes2002, Hughes2003}, which couples a nonlinear conservation law for the pedestrian density with an Eikonal equation describing the shortest path to the target. Our approach can be viewed both as a modification of Hughes' original formulation and as a refinement of the prediction-correction framework proposed in the recent work \cite{ennaji2023prediction}. The resulting model incorporates anticipatory behavior and dynamic route adjustment, offering a more realistic representation of crowd dynamics in complex environments. We present the mathematical formulation of the model, discuss its well-posedness properties, and illustrate its qualitative behavior through numerical simulations. Ultimately, we show, at least from a numerical perspective, that this variant provides a promising avenue towards establishing the well-posedness of the classical Hughes' model, which has remained a challenging open problem for a long time.

We isolate a simple preservation principle governing when it is absolute, between transitive models of set theory, that a given algebraic or topological-algebraic structure has a standard form $F(X)$ indexed by a set $X$. The principle is: if the index $X$ (or a proxy for it) can be recovered from $F(X)$ by a uniform definable construction, then the class of structures isomorphic to some~$F(X)$ is downward absolute from forcing extensions. Answering a question raised by Noah Schweber, we deduce in particular that no group that fails to be a full symmetric group in the ground model can become one after forcing; the result holds already in ZF. The same mechanism applies to full transformation monoids, powerset Boolean algebras, full relation algebras, full clones, full partition lattices, products $R^X$ of finitely generated centrally indecomposable rings, the commutative $C^*$-algebras $\ell_\infty(X)$ and $c_0(X)$, full endomorphism rings, the operator algebras $\mathcal{B}(H)$ and $\mathcal{K}(H)$, and $\ell_1(X)$ as a real Banach lattice. In the motivating symmetric-group case, the same reconstruction gives more than descent: it yields a uniform $Π^1_1$ definition of fullness over transitive ZF-models. We then exhibit clean torsor obstructions, in the standard symmetric-model situation: finite covers $Y \times n$ already separate ZF-failure from ZFC-descent without any completeness caveat, and the finite-support normed space $c_{00}(I)$ provides the analogous Banach example. Bare-Banach-space isomorphism with $\ell_1(Γ)$ exhibits a genuine ZFC-descent. We conclude with the corresponding, relative, obstructions to $Π^1_1$-definability of standardness over transitive ZF-models.

We introduce disciplined nonlinear programming (DNLP), a syntax for specifying nonlinear programming problems. DNLP is inspired by disciplined convex programming (DCP) and allows smooth functions to be freely mixed with nonsmooth convex and concave functions, with rules governing how the nonsmooth functions can be used. Problems expressed in DNLP form can be automatically canonicalized to a standard nonlinear programming (NLP) form and passed to a suitable NLP solver. As in DCP, the canonicalization relaxes nonsmooth convex and concave functions in a lossless way, allowing them to be handled by NLP solvers that require smooth functions. In addition to extending NLP to include useful nondifferentiable convex and concave functions, transforming the original problem to an equivalent NLP form offers several advantages, including simpler problem initialization. We describe the language and our open-source implementation of DNLP as an extension of CVXPY, a parser for DCP.