2025-11-17 | | Total: 163
We study the spectral radii of elements in the hyperbolic Coxeter group $W(E_{10})$ by introducing a filtration indexed by reflections conjugate to a distinguished simple reflection $s_0$. This filtration organizes $W(E_{10})$ into double cosets relative to the parabolic subgroup $W(A_9)$, and we classify the minimal representatives of these cosets via a rooted directed acyclic graph (DAG) labeled by triples. Each node in the DAG corresponds to a structured reflection composition, enabling a recursive understanding of spectral growth. Using the Hilbert metric on the Tits cone, we relate spectral radii to geometric displacement and demonstrate an effective method to compute the spectral radii inductively. This provides a geometric and combinatorial framework for understanding the Weyl spectrum of $W(E_{10})$. While our focus is on $E_{10}$, the techniques developed extended naturally to the family $W(E_n)$ for $n\ge 10$, with implications for dynamics on rational surfaces and entropy spectra of surface automorphisms.
Previous studies on the geometrical properties of the state space of a finite-level quantum system have determined its volume and surface area. Building on this foundation, we derive explicit formulas for two additional intrinsic volume quantities. The question of whether a complete set of mutually unbiased bases exists in dimension $d$ can be equivalently framed as whether a specific convex polytope can be inscribed within the state space of a $d$-level quantum system. One motivation for our work was the hypothesis that a smaller intrinsic volume of the state space compared to the corresponding intrinsic volume of the mentioned polytope could rule out such an inscription. While our computations of these two intrinsic volumes do not lead to this conclusion, they nonetheless provide fundamental insights into the geometric structure of quantum state spaces. In particular, we show that these quantities can be used to rule out the existence of some unit-vector ``configurations'' (though not the one formed by the bases vectors of a complete set of mutually unbiased bases).
We study distributed optimization of finite-degree polynomial Laplacian spectral objectives under fixed topology and a global weight budget, targeting the collective behavior of the entire spectrum rather than a few extremal eigenvalues. By re-formulating the global cost in a bilinear form, we derive local subgraph problems whose gradients approximately align with the global descent direction via an SVD-based test on the $ZC$ matrix. This leads to an iterate-and-embed scheme over disjoint 1-hop neighborhoods that preserves feasibility by construction (positivity and budget) and scales to large geometric graphs. For objectives that depend on pairwise eigenvalue differences $h(λ_i-λ_j)$, we obtain a quadratic upper bound in the degree vector, which motivates a ``warm-start'' by degree-regularization. The warm start uses randomized gossip to estimate global average degree, accelerating subsequent local descent while maintaining decentralization, and realizing $\sim95\%{}$ of the performance with respect to centralized optimization. We further introduce a learning-based proposer that predicts one-shot edge updates on maximal 1-hop embeddings, yielding immediate objective reductions. Together, these components form a practical, modular pipeline for spectrum-aware weight tuning that preserves constraints and applies across a broader class of whole-spectrum costs.
Our goal in this paper is to introduce and study the Euler system of signed diagonal cycles associated with a trito-non-ordinary triple product of the form $f^B \times g^B \times \mathbf{h}^B$, where $f^B$ (resp. $g^B$) is a $p$-ordinary (resp. non-ordinary) eigenform on an indefinite quaternion algebra $B_{/\mathbb{Q}}$ of weight $2$, and $\mathbf{h}^B$ is a primitive Hida ($p$-ordinary) family. When $B=\mathrm{M}_2(\mathbb{Q})$ is split and $\mathbf{h}=\mathbf{h}^B$ has CM by an imaginary quadratic field, this allows us to develop the signed anticyclotomic Iwasawa theory for the base change $\mathrm{BC}_{K/\mathbb{Q}}(π_f)\times \mathrm{BC}_{K/\mathbb{Q}}(π_g)\times ψ$, where $ψ$ is a Hecke character of $K$. We formulate a signed Perrin-Riou-style Iwasawa main conjecture in this setting, and obtain a result on one inclusion in this conjecture. Our methods also allow us to extend Hsieh's construction of the balanced triple-product $p$-adic $L$-function to the trito-non-ordinary scenario, and to define its signed counterparts.
Transmissive reconfigurable intelligent surfaces (RIS) represent a transformative architecture for future wireless networks, enabling a paradigm shift from traditional costly base stations to low-cost, energy-efficient transmitters. This paper explores a downlink multi-user MIMO system where a transmissive RIS, illuminated by a single feed antenna, forms the core of the transmitter. The joint optimization of the RIS coefficient vector, power allocation, and receive beamforming in such a system is critical for performance but poses significant challenges due to the non-convex objective, coupled variables, and constant modulus constraints. To address these challenges, we propose a novel optimization framework. Our approach involves reformulating the sum-rate maximization problem into a tractable equivalent form and developing an efficient alternating optimization (AO) algorithm. This algorithm decomposes the problem into subproblems for the RIS coefficients, receive beamformers, and power allocation, each solved using advanced techniques including convex approximation and difference-of-convex programming. Simulation results demonstrate that our proposed method converges rapidly and achieves substantial sum-rate gains over conventional schemes, validating the effectiveness of our approach and highlighting the potential of transmissive RIS as a key technology for next-generation wireless systems.
Quantum computing holds the promise of solving computational mechanics problems in polylogarithmic time, meaning computational time scales as $\mathscr{O}((\log N)^c)$, where $N$ is the problem size and $c$ a constant. We propose a quantum spectral method with polylogarithmic complexity for solving non-periodic boundary value problems with arbitrary Dirichlet boundary conditions. Our method extends the recently proposed approach by Liu et al. (2025), in which periodic problems are discretised using truncated Fourier series. In such spectral methods, the discretisation of boundary value problems with constant coefficients leads to a set of algebraic equations in the Fourier space. We implement the respective diagonal solution operator by first approximating it with a polynomial and then quantum encoding the polynomial. The mapping between the physical and Fourier spaces is accomplished using the quantum Fourier transform (QFT). To impose zero Dirichlet boundary conditions, we double the domain size and reflect all physical fields antisymmetrically. The respective reflection matrix defines the quantum sine transform (QST) by pre- and post-multiplying with the QFT. For non-zero Dirichlet boundary conditions, the solution is decomposed into a boundary-conforming and a homogeneous part. The homogenous part is determined by solving a problem with a suitably modified forcing vector. We illustrate the basic approach with a Dirichlet-Poisson problem and demonstrate its generality by applying it to a fractional stochastic PDE for modelling spatial random fields. We discuss the circuit implementation of the proposed approach and provide numerical evidence confirming its polylogarithmic complexity.
We consider the family of dynamical modular curves associated to quadratic polynomial maps and determine precisely which of these curves have infinitely many cubic points. We use this to prove a classification statement on preperiodic points for quadratic polynomials over cubic fields, extending previous work of Poonen, Faber, and the first author and Krumm.
We consider the $N$-model queueing system with a waiting time dependent threshold on the diagonal: the service discipline is First--Come--First--Served, but type-1 jobs can only be served by server 2 if their waiting time exceeds a deterministic threshold. We prove the necessary and sufficient stability conditions for this model -- an intuitive result that has not been established in literature up to this point. Our proof relies on coupling the queue length process to a carefully constructed upper (and lower) bound system, and establishing stochastic dominance for the queue length process.
We review different notions of synthetic Ricci flow that apply to time-dependent families of metric measure spaces and which are based on properties of the heat flow, ideas from optimal transport, and the asymptotic behaviour of volumes. Each notion equivalently characterises (weighted) Ricci flow for smooth families of weighted Riemannian manifolds. We discuss the features of the different notions on various examples.
We consider a class of functions for which the multiple Stratonovich stochastic integral or equivalent iterated Stratonovich stochastic integral with square integrable weights is defined by the orthogonal expansion. The equality of the trace of expansion coefficients matrix for these functions and the corresponding integral trace is established.
We give a sufficient criterion, which we call stability, for a coarse Lipschitz map $f$ from a complete manifold $X$ with Ricci curvature bounded below to a proper Hadamard space $Y$ to be within bounded distance of a harmonic map. We prove uniqueness of the harmonic map under additional assumptions on $X$ and $Y$. Using this criterion, we prove a significant generalization of the Schoen-Li-Wang conjecture on quasi-isometric embeddings between rank 1 symmetric spaces. In particular, under a natural generalization of the quasi-isometric condition, we remove the assumption that the target has rank 1. This allows us to define a universal Hitchin component for each $\mathrm{PGL}_d(\mathbb{R})$, generalizing universal Teichmüller space, and show that it can be described both as a space of quasi-symmetric positive maps from $\mathbb{RP}^1$ to the flag variety, and as a space of harmonic maps.
This paper further develops the algebraic--geometric foundations of conditional independence (CI) equilibria, a refinement of dependency equilibria that integrates conditional independence relations from graphical models into strategic reasoning and thereby subsumes Nash equilibria. Extending earlier work on binary games, we analyze the structure of the associated Spohn CI varieties for generic games of arbitrary format. We show that for generic games the Spohn CI variety is either empty or has codimension equal to the sum of the players' strategy dimensions minus the number of players in the parametrized undirected graphical model. When non-empty, the set of totally mixed CI equilibria forms a smooth manifold for generic games. For cluster graphical models, we introduce the class of Nash CI varieties, prove their irreducibility, and describe their defining equations, degrees, and conditions for the existence of totally mixed CI equilibria for generic games.
Recently, several instances of non-Euclidean SGD, including SignSGD, Lion, and Muon, have attracted significant interest from the optimization community due to their practical success in training deep neural networks. Consequently, a number of works have attempted to explain this success by developing theoretical convergence analyses. Unfortunately, these results cannot properly justify the superior performance of these methods, as they could not beat the convergence rate of vanilla Euclidean SGD. We resolve this important open problem by developing a new unified convergence analysis under the structured smoothness and gradient noise assumption. In particular, our results indicate that non-Euclidean SGD (i) can exploit the sparsity or low-rank structure of the upper bounds on the Hessian and gradient noise, (ii) can provably benefit from popular algorithmic tools such as extrapolation or momentum variance reduction, and (iii) can match the state-of-the-art convergence rates of adaptive and more complex optimization algorithms such as AdaGrad and Shampoo.
This paper was initially motivated by the computation of the Lipschitz modulus of the metric projection on polyhedral convex sets in the Euclidean space when both the reference point and the polyhedron where it is projected are subject to perturbations. The paper tackles the more general problem of computing the Lipschitz modulus of the argmin mapping in the framework of canonically perturbed convex quadratic problems. We point out the fact that a point-based formula (depending only on the nominal data) for such a modulus is provided. In this way, the paper extends to the current quadratic setting some results previously developed in linear programming. As an application, we provide a point-based formula for the Lipschitz modulus of the metric projection on a polyhedral convex set.
For smooth affine varieties in positive characteristic, we identify a slope obstruction to the injectivity of the comparison morphism from rigid cohomology to rationalised crystalline cohomology. This yields a negative answer to a question of Esnault--Kisin--Petrov concerning the injectivity of the de Rham-to-crystalline comparison map for smooth affine schemes over the Witt vectors that admit good compactifications. In contrast, we establish injectivity for certain subspaces defined by slope conditions as well as in cohomological degree one. For the latter case, we also prove the result with coefficients in $F$-able overholonomic $D$-modules leveraging a generalisation of Kedlaya's full faithfulness theorem. Beyond injectivity, we obtain various separation results for the affinoid topology on rigid and convergent cohomology. These results allow us to determine integral algebraic de Rham cohomology modulo torsion and to provide a more conceptual explanation for Ertl and Shiho's construction of varieties for which integral Monsky--Washnitzer cohomology modulo torsion is not finitely generated. Along the way, we prove a new integral comparison theorem between Monsky--Washnitzer cohomology and algebraic de Rham cohomology and we define fractional $p$-adic Tate twists, computing non-integral slopes of crystalline cohomology.
We introduce the notion of selfless W$^*$-probability space and study its connection with Connes' bicentralizer problem. In particular, we show that if $M$ is a separable type ${\rm III_1}$ factor with trivial bicentralizer, then $(M, \varphi)$ is selfless for every faithful normal state $\varphi \in M_\ast$.
A Maillet-Malgrange type theorem is proved for a Dulac series (in the general case, with complex exponents), which formally satisfies an analytical ordinary differential equation (ODE). This theorem allows to estimate the growth of the norms of the coefficients of such a series, that is, to determine its Gevrey order, and in the special case it provides a sufficient condition for the convergence of the series.
Davydov-Yetter (DY) cohomology is a cohomology theory for linear semigroupal (i.e.~monoidal but not necessarily categories and functors, measuring deformations of their coherence isomorphisms. We show that DY cohomology is invariant under freely adjoining a unit object, and under adjoining colimits. This implies that constructions such as Ind-completion and monoidal abelian envelope do not change the cohomology.
We revisit classical gradient characterizations of quasiconvexity and provide corrected proofs that close gaps in earlier arguments. For the differentiable case of $σ$-quasiconvexity, we establish the full equivalence between several first-order conditions, resolving a remaining implication left open in the recent literature. Our approach yields a concise, self-contained proof of a classical characterization originally stated in the 1970s and sharpens the first-order theory for strong quasiconvexity.
This paper considers an insurer with two collaborating business lines that must make three critical decisions: (1) dividend payout, (2) a combination of proportional and excess-of-loss reinsurance coverage, and (3) capital injection between the lines. The reserve level of each line is modeled using a diffusion approximation, with the insurer's objective being to maximize the weighted total discounted dividends paid until the first ruin time. We obtain the value function and the optimal strategies in closed form. We then prove that the optimal dividend payout strategy for bounded dividend rates is of threshold type, while for unbounded dividend rates it is of barrier type. The optimal combination of proportional and excess-of-loss reinsurance is shown to be pure excess-of-loss reinsurance. We also show that the optimal level of risk ceded to the reinsurer decreases as the aggregate reserve level increases. The optimal capital injection strategy involves transferring reserves to prevent the ruin of one line. Finally, numerical examples are presented to illustrate these optimal strategies.
For $\Bbbk$ a field, let $X$ a $m \times n$ matrix of variables and $S=\Bbbk[X].$ We consider the determinantal ideal $I_2 \subseteq S$ generated by the $2$-minors of $X.$ In this paper we find a suitable monomial order over $S$ such that $I$, the initial ideal of $I_2$ with respect to that order, is level, namely, it is Cohen-Macaulay and the socle of an Artinian reduction of the $\mathbb{N}$-graded algebra $S/I$ is concentrated in only one degree. Moreover, we compare the Betti tables of $I_2$ with the tables of its initial ideals. In the last section, we prove the shellability of the simplicial complex naturally associated to $S/I$ in the case $m<n.$
Let $H$ be a $(k+1)$-uniform hypergraph which is nearly $D$-regular, such that any set of $i$ vertices is contained in at most $D_i$ edges of $H$ for each $i = 2, 3, \dots, k+1$. Influential results of Pippenger and of Frankl and Rödl show that the \textit{Rödl Nibble} -- a probabilistic procedure which iteratively constructs a matching in small bits -- can produce an almost-perfect matching in $H$, provided $D_2$ is much smaller than $D$. The quantitative aspects of this result were sharpened by several authors, with the previously best-known result due to Vu, whose result takes more of the codegree sequence $D_2, \dots, D_{k+1}$ into account. We improve Vu's result, by showing the Rödl Nibble can ``exhaust'' the full codegree sequence up to one of several natural bottlenecks, even tolerating extensive ``clustering'' of codegree values. Up to a subpolynomial error term, we believe our result to be the optimal usage of pure nibble methodology. We also show that our matching can be taken to be ``pseudorandom'' with respect to a set of weight functions on $V(H)$, and we use this result to derive other hypergraph matching results in partite settings, including a new bound on the list chromatic index which implies the best-known result of Molloy and Reed up to the error term, and is stronger when the hypergraph is not close to linear, i.e.\ $D_2=ω(1)$. We also apply our results to obtain improved bounds on almost-spanning structures in Latin squares and designs, and the maximum diameter of a simplicial complex.
We consider a mathematical model coupling the Cahn-Hilliard system for phase separation with an additional equation describing the diffusion process of a chemical quantity whose concentration influences the physical process. The main application of the model refers to tumor progression, where the phase variable denotes the local proportion of active cancer cells and the chemical concentration may refer to a nutrient transported by the blood flow or to a drug administered to the patient. The resulting system is characterized by cross-diffusion effects similar to those appearing in the Keller-Segel model for chemotaxis; in particular, the nutrient tends to be attracted towards the regions where more active tumor cells are present (and consume it in a quickier way). Complementing various recent results on related models, we investigate here the long-time behavior of solutions under the perspective of infinite-dimensional dynamical systems. To this aim, we first identify a regularity setting in which the system is well posed and generates a closed semigroup according to the terminology introduced by Pata and Zelik. Then, partly based on the approach introduced by Rocca and the first author for the Cahn-Hilliard system with singular potential, we prove that the semigroup is strongly dissipative and asymptotically compact so guaranteeing the existence of the global attractor in a suitable phase space. Finally, we discuss the sign properties of the nutrient and prove that, under additional assumptions on the initial data, its concentration is uniformly larger than some strictly positive constant at least on finite time intervals.
Optimal transport (OT) and its entropy-regularized form (EOT) have become increasingly prominent computational problems, with applications in machine learning and statistics. Recent years have seen a commensurate surge in first-order methods aiming to improve the complexity of large-scale (E)OT. However, there has been a consistent tradeoff: attaining state-of-the-art rates requires $\mathcal{O}(n^2)$ storage to enable ergodic primal averaging. In this work, we demonstrate that recently proposed primal-dual extragradient methods (PDXG) can be implemented entirely in the dual with $\mathcal{O}(n)$ storage. Additionally, we prove that regularizing the reformulated OT problem is equivalent to EOT with extensions to entropy-regularized barycenter problems, further widening the applications of the proposed method. The proposed dual-only extragradient method (DXG) is the first algorithm to achieve $\mathcal{O}(n^2\varepsilon^{-1})$ complexity for $\varepsilon$-approximate OT with $\mathcal{O}(n)$ memory. Numerical experiments demonstrate that the dual extragradient method scales favorably in non/weakly-regularized regimes compared to existing algorithms, though future work is needed to improve performance in certain problem classes.
Motivated by the estimation of covariance matrices by importance sampling arising in the cross-entropy (CE) algorithm, we study a random matrix model $\hat Σ= {\bf X} L {\bf X}^\top$ with two distinct features: $\bf X$ and $L$ are dependent, and $L$ is heavy-tailed. In the high-dimensional regime $d \to \infty$, we prove under suitable assumptions that a phase transition occurs in the polynomial regime $n = d^κ$, with $n$ the sample size. Namely, we prove that $\lVert \hat Σ- E \hat Σ\rVert \Rightarrow 0$ if and only if $κ> κ_*$ for some threshold $κ_*$ determined by the behavior of the maximum likelihood ratios. Moreover, we identify general situations where $κ_* = 1/λ_1$, with $λ_1$ the smallest eigenvalue of the covariance matrix of the auxiliary distribution used to estimate $\hat Σ$ by importance sampling. This suggests that importance sampling will work better with covariance matrices having a large smallest eigenvalue. We carry this insight into recent CE schemes proposed to estimate the probability of high-dimensional rare events. Through numerical simulations, we demonstrate that better CE schemes are also the ones with larger smallest eigenvalue, even though these algorithms were not designed to smooth the spectrum. This new spectral interpretation raises stimulating questions and opens research directions for the design of efficient high-dimensional algorithms.