We study stochastic completeness for landmark spaces equipped with Riemannian metrics induced by right-invariant metrics on subgroups of the diffeomorphism group of the shape domain. We extend a previous stochastic completeness result, which only covers the case of exactly two landmarks, to landmark spaces with any number of landmarks. This succeeds the characterization of geodesic completeness for landmark spaces with arbitrary numbers of landmarks, and thus finishes the completeness characterization for landmark spaces by covering the stochastic case. The proof makes use of Grigor'yan's volume growth criterion for stochastic completeness, which requires a suitable upper bound for the volume of growing geodesic balls. We obtain quantitative controls for geodesic balls in the landmark space by bounding both its Euclidean size and the rate at which pairwise landmark distances can approach zero. We then combine this with a lower bound on the minimal eigenvalue of the landmark cometric in terms of the Fourier transform of the kernel to yield volume growth bounds sufficient to prove stochastic completeness of landmark spaces for wide classes of kernels, including Matérn kernels.

We show that for any set of $n$ unit vectors $v_1,\ldots,v_n$ in a real Hilbert space and positive numbers $p_1,\ldots,p_n$ satisfying $\sum_j p_j = 1$, there exists a unit vector $u$ such that \[ \sum_{j=1}^n \frac{p_j^2}{\langle v_j, u\rangle^2}\leq 1. \] This inequality is a weighted version of the strong polarization inequality. As immediate corollaries, it yields a polarization inequality for products of powers of linear functionals and a strengthening of Bang's classical plank theorem for Hilbert spaces. The proof follows the approach introduced by Martínez and Ortega-Moreno in their recent solution to the strong polarization conjecture posed by Ball and Frenkel. We further note that our weighted inequality admits a Shannon-entropy interpretation: in a random sensing model, the entropy of the weights controls the minimum expected logarithmic loss.

We study pure unital completely positive maps on the finite Toeplitz operator system $ T_{d}$ of $d \times d$ Toeplitz matrices. Our first main result gives an explicit characterization of pure UCP maps from $T_{d}$ to $M_n$ in terms of positive $n\times n$ matrix-valued trigonometric polynomials of degree at most $d-1$. This characterization provides a checkable criterion for deciding when a given UCP map is pure. As a first application, we show that every pure UCP map from $ T_{d}$ to $M_n$ admits a unique UCP extension to the generated $C^*$-algebra. As a second application, we prove that, for each fixed $n$, the space of pure UCP maps from $T_{d}$ to $M_n$, equipped with the matricial Connes distance, converges in the Gromov--Hausdorff sense to the space of normalized positive $n\times n$ matrix-valued Borel measures on the unit circle, equipped with the matricial Monge--Kantorovich distance.

We show solubility of the conjugacy problem for Dehn twist automorphisms of finitely generated free products of free abelian groups.

Given $k$-uniform hypergraphs $G$ and $H$, we say that $G$ is a unique subhypergraph of $H$ if $H$ contains exactly one subhypergraph isomorphic to $G$. For an $n$-vertex $k$-graph $H$, let $f_k(H)$ be the number of non-isomorphic unique subhypergraphs of $H$, normalized by $2^{\binom n k}/n!$, and let $f_k(n)$ be the maximum of $f_k(H)$ over all $n$-vertex $k$-graphs $H$. In the graph case $k=2$, Erdős asked whether there exists a constant $δ>0$ such that $f_2(n)>δ$ for all $n$, offering \$100 for a proof and \$25 for a disproof. Recently, Bradač and Christoph answered this question in the negative,, proving that $f_2(n)$ tends to $0$, or equivalently that no $n$-vertex graph contains a positive proportion of all $n$-vertex graphs as unique subgraphs. In this paper we show that the situation is fundamentally different for $k$-uniform hypergraphs with $k\ge3$. In particular, for every fixed integer $k\ge 3$, we prove that $\liminf_{n\to\infty} f_k(n) \ge 2/9$.

For $k$ sufficiently large, we show that there is a three-coloring of the first $2^{k (\log^* k)/4}$ positive integers without any monochromatic $k$-term arithmetic progressions. Thus, the three-color van der Waerden number $w(k;3)$ grows faster than any exponential in $k$. We further prove a new lower bound on multicolor van der Waerden numbers which resolves a problem of Erdős and Graham on canonical van der Waerden numbers.

Clifford codes are a natural generalization of quantum stabilizer codes based primarily on representation theory. This class of codes has previously been extended to the setting of quantum subsystem codes. We formulate a two-fold generalization of Clifford codes, for both the hybrid classical and quantum information and projective representation theory settings. This leads to new classes of hybrid subspace and subsystem Clifford codes. We extend the fundamental representation theoretic quantum error correction theorem to include these codes, based on the operator algebra quantum error correction framework. We also discuss several examples throughout the presentation, of both stabilizer and non-stabilizer type.

Incentive design studies how a central authority can influence strategic agents through payments, subsidies, or taxes, so that individual objectives align with collective welfare. This paper introduces a No-Regret Adaptive Incentive Design (RAID) framework for nonlinear games with continuous action spaces and private agent costs. In this framework, the authority (planner) designs incentives that regulate the Nash equilibrium toward a socially optimal action profile, while simultaneously learning agents' unknown preferences from repeated strategic responses. We formulate the RAID problem and construct a least-squares estimator whose strong consistency requires only diminishing excitation. Leveraging this weak excitation requirement, we propose a switching incentive policy that alternates between probing (exploration) and estimate-based (exploitation) incentives. The resulting policy achieves an $O(t^{-0.5})$ parameter estimation rate and accumulates $O(t^{0.5}\log t)$ squared social-cost regret, almost surely. We further extend the framework to an endogenous-noise response model, where standard least-squares estimation is biased due to an error-in-variables correlation between the noise and agent responses. We utilize a repeated-sampling estimator and corresponding switching policy that retain the same almost-sure convergence and regret rates. Numerical experiments validate the effectiveness and predicted convergence rates of the method.

We study the flow of an isothermal compressible Newtonian fluid around a body that performs a (time-independent) rigid motion. We derive a weak-strong uniqueness principle, and show that in the low Mach number limit, the governing equation is well approximated by the Navier-Stokes equations for incompressible rotating flow. Both results are based on the derivation of a relative energy inequality for weak solutions to this exterior-domain problem.

We provide a classification of neighborly Murai spheres, which implies that all of them are polytopal. Furthermore, we show that each neighborly $d$-sphere with no more than $d+4$ vertices is combinatorially equivalent to a Murai sphere for any $d\geq 1$.

We introduce the notion of timelike ideal boundary of a Lorentzian length space as the set of asymptotic classes of future or past-directed timelike geodesic rays, a construction complementary to the causal boundary in the sense of Geroch-Kronheimer-Penrose and akin to the concept of ideal boundary of a metric space. We endow such a timelike ideal boundary with a natural cone topology and an angular metric, and establish upper curvature bounds for the resulting metric space. Finally, we consider generalized cones as a model and study the relation between the timelike ideal boundary and both the metric ideal boundary of the fiber and the asymptotic behaviour of the warping function.

Switched systems are a family of dynamical systems where a switching rule indicates which system is "switched on". This rule can be dependent on time and/or position in the state space. Stability of switched systems is a property that is often investigated using the existence of one (or multiple) Lyapunov function(s). We develop an algorithm using a scattered approximation method to construct a Lyapunov function for switched systems, accompanied with stability results. The construction adapts a previous method for autonomous ODEs that uses meshfree collocation and quadratic programming.

A regular clock map is a regular map of directed spaces from a saturated directed space to the directed circle. We prove that the category of regular clock maps is a small-orthogonality class of the category of clock maps. Hence it is locally presentable. Any geometric realization of precubical sets and of transverse sets gives rise to a regular clock map. Finally, we prove that for the underlying directed space of a regular clock map, the canonical quotient from directed paths to traces is always a homotopy equivalence.

We introduce and study a new model of correlated uniform attachment (UA) trees, where correlation is sprinkled throughout the time evolution of the process. In this model, two UA trees are grown in parallel, and at each time step a new node is added to each tree, with an edge between it and a uniformly chosen existing vertex in the respective tree. The two choices of attachment are correlated: with probability $α$, the edges attach to nodes with the same time label in both trees, and with probability $1-α$, the choices are made independently. We study fundamental detection and estimation questions for this model, given two \emph{unlabeled} trees. In our main result, we construct a consistent estimator of the correlation parameter $α$, as the size of the trees goes to infinity. The construction of our statistic relies on two key ideas. First, we use Jordan centrality to identify subsets of vertices of each tree whose intersection has a sufficient number of common early vertices. The second idea is that, across multiple time scales, it is possible to approximately determine the labels of vertices that have attached to these early vertices, using the sizes of fringe subtrees. Our analysis includes novel quantitative bounds on the fraction of early vertices that remain central, which are of independent interest in the network archaeology literature.

Using our new notion of folding shuffle algebras, we prove a conjecture of Hernandez on the equality between certain $q$-characters of quantum untwisted affine algebra modules and their twisted counterparts. We generalize this result to the setting of arbitrary quivers with automorphisms, in particular by defining and describing twisted quantum toroidal algebras.

This paper introduces the L-shaped refinement chain cuts method, a novel approach for solving two-stage stochastic programs. The proposed method integrates the refinement chain of scenarios within the classical L-shaped decomposition framework. In the proposed approach, the full scenario set is partitioned into subgroups at each level of the refinement chain, and one subproblem is solved for each subgroup rather than for each individual scenario as in the classical L-shaped method. The proposed framework generalizes both the classical multi-cut and single-cut L-shaped formulations. Theoretical convergence properties to the optimal solution of the original two-stage stochastic program are established for every refinement level. In addition, the relationships between consecutive refinement levels are characterized in terms of Benders cuts, leading to the development of an iterative refinement-based solution algorithm across consecutive levels of the refinement chain. The effectiveness of the proposed method is evaluated on a two-stage stochastic fixed-charge multicommodity network design problem under a mean-risk formulation. Computational experiments on benchmark instances demonstrate the promising performance of the proposed framework and highlight its applicability to large-scale risk-averse stochastic optimization problems.

In this thesis we present the combinatorial game theory of the game Rex+. Rex+ is a variant of the game Hex, played on a four sided board made out of hexagons. Both players take turns placing as many stones of their colour as they would like on the board, with the objective being to force the other player to connect their two sides. We describe a new ordering, and present some preliminary results on it.

We study admission control to an unobservable M/M/1 queue. A memoryless controller can only randomly thin arrivals (random routing, RR). We show that a gated admission (GA) policy, blocking arrivals for a fixed period after each admission, stochastically dominates RR at equal throughput, improving social welfare under any sojourn-based cost. We characterize the welfare-maximizing threshold and define the Price of Forgetting as the welfare ratio. This ratio is unbounded even though the absolute welfare gain stays uniformly bounded.

In this paper, we prove that all normalized symplectic capacities agree for dynamically convex domains in $\mathbb{C}^2$ that are invariant under any Hamiltonian $S^1$-action isotopic to the Hopf diagonal action. We also give necessary and sufficient conditions for $S^1$-invariant domains to be dynamically convex.

This note gives a simple algorithm for the following effectivity problem: given a genus $2$ curve $X$ together with a nonconstant map $π:X\to E$ to an elliptic curve, determine an elliptic curve $E'$ and a map $π':X\to E'$ independent of $π$. Equivalently, we compute the complementary elliptic factor in the decomposition of $\operatorname{Jac}(X)$ up to isogeny. While the problem has been studied extensively, and more general ones have been solved by deep and powerful techniques, we are not aware of a reference for the simple explicit procedure described here.

We determine the logarithmic growth exponents of the $L^p$ norms, $1\le p\le\infty$, of $L^2$-normalized Laplace eigenfunctions on the unit disk, for both Dirichlet and Neumann boundary conditions. We also prove sharp uniform $L^p$ upper and lower bounds for every $L^2$-normalized Dirichlet eigenfunction and every non-constant Neumann eigenfunction $u_λ$ on the disk. The proof uses stationary phase estimates and integral estimates for Bessel functions.

Existing evaluations of neural operators and in-context operator learning rely primarily on prediction error, but accurate output prediction does not guarantee the correct local dynamical structure. A model may match solutions while exhibiting incorrect sensitivities, distorted frequency response, spurious mode coupling, or unstable tangent behavior. We introduce a Jacobian-based spectral audit for in-context operator learning. For a fixed prompt, we differentiate the network output with respect to the query function and view the resulting Jacobian as a learned tangent operator. Projecting it onto Fourier modes, we obtain a local spectral characterization of the inferred operator, including frequency-dependent gains, phase structure, and cross-mode coupling. The audit complements standard prediction metrics by testing whether the model reproduces local mechanisms of the underlying PDE operator rather than only outputs. Across benchmarks, the audit reveals distinct operator-level phenomena, including phase transport, viscosity-dependent damping, nonlinear mode coupling, and reaction--diffusion stability structure. It also detects failures partially hidden by prediction-error metrics, including high-frequency degradation, incorrect phase recovery, and prompt--operator inconsistencies. Corrupted or internally inconsistent prompts lead to degraded tangent-operator structure even when pointwise predictions remain partially accurate. Our results suggest that prediction accuracy and local operator fidelity are distinct properties of learned neural operators. Our framework also provides a diagnostic for stability, sensitivity, and operator consistency.

For the family of Dirichlet stadia $S_t$ whose rectangular part has height $π$ and half-length $πt/2$, $t \in [1,2]$, we show that for Lebesgue almost every $t$ there exist real eigenfunctions $u_j$ and a smooth mean-zero physical observable $Q$ for which $\langle Q u_j,u_j\rangle$ has a non-zero subsequential limit. Consequently, along the same subsequence, the eigenfunction mass fails to equidistribute on a fixed region whose relative boundary in the interior of the stadium is smooth. This proves a physical-space strengthening of Hassell's non-QUE theorem for generic stadia, and thus gives an affirmative answer to Tao's question in Hassell's generic setting. The proof uses the classification of generic stadia in Hassell's argument. In each of the resulting cases, we construct an appropriate physical observable $Q$ that converts Hassell's phase-space obstruction to QUE into physical-space non-equidistribution.

Density cube theory extends the canonical quantum density matrix $ρ_{ij}$ with the addition of an extra index to $ρ_{ijk}$. The elements of the density cube with two different indices, $ρ_{iij}$ and $ρ_{ijj}$, correspond to the real and imaginary parts of the off-diagonal element $ρ_{ij}$ of the density matrix and describe double-path interference, while those with three different indices describe non-canonical triple-path interference. In this letter, we propose an equation of motion for the density cube, obtained from the quantization of ternary Nambu dynamics, and find that pairs of triple-path interferences oscillate into each other.

In this article, we study rational representations of $G=\operatorname{GL}_2(q)$, where $q$ is a prime power. Let $ρ$ be an irreducible representation of $G$ over $\mathbb{Q}$. Then $ρ$ affords the character \[ Ω(χ)=m_{\mathbb{Q}}(χ)\sum_{σ\in\operatorname{Gal}(\mathbb{Q}(χ)/\mathbb{Q})}χ^σ, \] for some irreducible complex character $χ$ of $G$, where $m_{\mathbb{Q}}(χ)$ denotes the Schur index of $χ$ over $\mathbb{Q}$, with the converse also holding. We obtain a combinatorial description for the counting of inequivalent irreducible $\mathbb{Q}$-representations of $G$ of distinct degrees. Furthermore, we present a method to construct an irreducible rational matrix representation $ρ$ of $G$ affording the character $Ω(χ)$, where $χ$ is an irreducible complex character of $G$ arising from parabolic induction. Finally, using the results from the rational representations of $G$, we derive an explicit combinatorial formula, depending only on $q$, for the Wedderburn decomposition of $\mathbb{Q}G$.

This note combines a result of Bökstedt and Waldhausen concerning the so-called derivative map on tubes with the existence theorem for generating functions of tube type for nearby Lagrangian homotopy spheres due to Abouzaid, Courte, Guillermou and Kragh to obtain a restriction on the smooth structure of nearby Lagrangian homotopy spheres. Concretely, if a homotopy $n$-sphere $L$ admits a Lagrangian embedding in the cotangent bundle of some other homotopy $n$-sphere $M$, then the difference $[L]-[M]$ in $θ_n/bP_{n+1}$ is a multiple of the Hopf element $η\in π^1_s$. In particular it follows that $[L]-[M]$ is 2-torsion in $θ_n/bP_{n+1}$, hence if $n$ is even then $L\# L$ is diffeomorphic to $M \# M$. As another application, if a homotopy $8$-sphere $L$ admits a Lagrangian embedding in $T^*S^8$, then $L$ is diffeomorphic to $S^8$. The results presented in this note are subsumed by a joint work with Abouzaid, Courte and Kragh which treats the general case in which $M$ is an arbitrary smooth manifold. When $M$ is a homotopy sphere the situation is significantly simpler and the purpose of this note is to give a concise exposition of the main result in this special case.

For the Lindelöf Hypothesis concerning the Riemann zeta function $ζ(s)$, upper bounds as $\Im(s)\to\infty$ have been extensively studied for many years. In particular, the Lindelöf Hypothesis is one of the most important open problems in analytic number theory. It is also known to be equivalent to certain mean value estimates, which provide a fundamental connection between pointwise upper bounds and integral mean values of zeta-functions. In this paper, we consider an analogue of the Lindelöf Hypothesis for the Barnes multiple zeta function $ζ_r (s,a,(w_1,\dots,w_r)) = \sum_{m_1=0}^\infty \cdots \sum_{m_r=0}^\infty (a+m_1 w_1+\cdots+m_r w_r)^{-s} $, and establish equivalent conditions in terms of integral mean values. In particular, the situation depends essentially on the $\Q$-rank of $\langle w_1,\dots,w_r\rangle$, and it is especially interesting that phenomena peculiar to the Barnes multiple zeta function appear according to this rank.

We prove that the bilinear generating function for Wronskians of Hermite polynomials can be expressed as the classical Mehler kernel multiplied by a polynomial, thereby extending the result of Pupasov-Maksimov for exceptional Hermite polynomials. We establish several properties of the polynomials appearing in this extended version of the Mehler formula and present four conjectures about them.

We prove that stable degeneration, the canonical degeneration associated to the normalized volume minimizer of a Kawamata log terminal (klt) singularity, preserves non-degenerate reflexive differential forms. In particular, the stable degeneration of a symplectic singularity is again symplectic. Combining this with a deformation-theoretic rigidity result for symplectic degenerations, we confirm Kaledin's conjecture that the formal completion of any symplectic singularity is conical. As applications, we show that the natural base of any normalized nilpotent orbit closure is a K-semistable Fano variety, and that the normalized volume minimizer of a hypertoric singularity is induced by the standard dilation.

We investigate the stability of discrete structures comprising of woven elastic beams in a plane, exposing a connection between admissible over / under patterns and the first-order and static rigidity of an associated tensegrity that is related through a natural polarity transformation. The relationship between the Airy and Whiteley stress functions for the tensegrity and weaving structures is explored. Our results lead to an efficient method for finding such an over / under pattern. The method is illustrated through a worked example modelled on the complete bipartite graph $K_{4,4}$.