2025-05-16 | | Total: 163
In this article, we study the spectra of matrix-valued contractions of the Gaussian Orthogonal Tensor Ensemble (GOTE). Let G denote a random tensor of order r and dimension n drawn from the density f(G)∝exp(−12r‖G‖2F). For w∈Sn−1, the unit-sphere in Rn, we consider the matrix-valued contraction G⋅w⊗(r−2) when both r and n go to infinity such that r/n→c∈[0,∞]. We obtain semi-circle bulk-limits in all regimes, generalising the works of Goulart et al. (2022); Au and Garza-Vargas (2023); Bonnin (2024) in the fixed-r setting. We also study the edge-spectrum. We obtain a Baik-Ben Arous-Péché phase-transition for the largest and the smallest eigenvalues at r=4, generalising a result of Mukherjee et al. (2024) in the context of adjacency matrices of random hypergraphs. We also show that the extreme eigenvectors of G⋅w⊗(r−2) contain non-trivial information about the contraction direction w. Finally, we report some results, in the case r=4, on mixed contractions G⋅u⊗v, u,v∈Sn−1. While the total variation distance between the joint distribution of the entries of G⋅u⊗v and that of G⋅u⊗u goes to 0 when ‖u−v‖=o(n−1), the bulk and the largest eigenvalues of these two matrices have the same limit profile as long as ‖u−v‖=o(1). Furthermore, it turns out that there are no outlier eigenvalues in the spectrum of G⋅u⊗v when ⟨u,v⟩=o(1).
We use semidefinite programming to bound the fractional cut-cover parameter of graphs in association schemes in terms of their smallest eigenvalue. We also extend the equality cases of a primal-dual inequality involving the Goemans-Williamson semidefinite program, which approximates \textsc{maxcut}, to graphs in certain coherent configurations. Moreover, we obtain spectral bounds for \textsc{max 2-sat} when the underlying graphs belong to a symmetric association scheme by means of a certain semidefinite program used to approximate quadratic programs, and we further develop this technique in order to explicitly compute the optimum value of its gauge dual in the case of distance-regular graphs.
We study the distortion of intermediate dimension under supercritical Sobolev mappings and also under quasiconformal or quasisymmetric homeomorphisms. In particular, we extend to the setting of intermediate dimensions both the Gehring--Väisälä theorem on dilatation-dependent quasiconformal distortion of dimension and Kovalev's theorem on the nonexistence of metric spaces with conformal dimension strictly between zero and one. Applications include new contributions to the quasiconformal classification of Euclidean sets and a new sufficient condition for the vanishing of conformal box-counting dimension. We illustrate our conclusions with specific consequences for Bedford--McMullen carpets, samples of Mandelbrot percolation, and product sets containing a polynomially convergent sequence factor.
Given two subgroups H,K of a finite group G, the probability that a pair of random elements from H and K commutes is denoted by \pr(H,K). We address the following question. Let P be a p-subgroup of a finite group G and assume that \pr(P,P^x)\geq\e>0 for every x\in G. Is the order of P modulo O_p(G) bounded in terms of e only? With respect to this question, we establish several positive results but show that in general the answer is negative. In particular, we prove that if the composition factors of G which are isomorphic to simple groups of Lie type in characteristic p, have Lie rank at most n, then the order of P modulo O_p(G) is bounded in terms of n and e only. If P is a Sylow p-subgroup of G, then the order of P modulo O_p(G) is bounded in terms e only. Some other results of similar flavour are established. We also show that if \pr(P_1,P_2)>0 for every two Sylow p-subgroups P_1,P_2 of a profinite group G, then O_{p,p'}(G) is open in G.
It is shown that the integral of the scalar curvature on a geodesic ball of radius R in a three-dimensional complete manifold with nonnegative Ricci curvature is bounded above by 8πR asymptotically for large R provided that the scalar curvature is bounded between two positive constants.
We investigate the optimal pricing strategy in a service-providing framework, where customers can become impatient and leave the system prior to service completion. In this setting, a price is quoted to an incoming customer based on the current number of customers in the system. When the quoted price is lower than the price the incoming customer is willing to pay (which follows a fixed probability distribution), then the customer joins the system and a reward equal to the quoted price is earned. A cost is incurred upon abandonment and a holding cost is incurred for customers waiting to be served. Our goal is to determine the pricing policy that maximizes the long-run average profit. Unlike traditional queueing systems without abandonments, we show that the optimal quoted prices do not always increase with the queue length in this setting. In particular, we prove that the optimal pricing policy is always uni-modal and provide conditions guaranteeing that the optimal policy is increasing in the number of customers in the system. Moreover, we introduce two heuristics that simplify the optimal dynamic pricing policy. Both heuristics admit customers until the number of customers in the system reaches a certain threshold. The cutoff static policy charges all admitted customers a fixed price while the two price policy charges one price when the arriving customer can enter service immediately and another price if the customer needs to wait. By selecting the price(s) and threshold that maximize the long-run average profit, both heuristics achieve near optimality and the two price policy provides more robustness compared to the cutoff static policy.
In this short note, we classify pairs of conjugacy classes of the symmetric group such that any non-linear irreducible character of the symmetric group vanishes on at least one of them.
In this paper, we study an interaction problem between an elastic plate and a compressible viscous fluid located between the rigid bottom z=0 and the plate. First, by utilizing the vertical fluid dissipation, we show that lnη(t)∈L1 for any t>0 provided that lnη0∈L1, ensuring that additional plate contact can form only on a set of a measure zero. Then, by utilizing the expanding capability of compressible fluid pressure, we show that all contact has to detach in finite time provided that the source force acting onto the plate is not pushing down excessively. Finally, we show that contact at any point can be detached in any given time with a strong enough source force localized around that point which is pulling the plate up. This is the first result where detachment of contact is proven in fluid-structure interaction.
This paper provides a rigorous study of tropicalizations of locally symmetric varieties. We give applications beyond tropical geometry, to the cohomology of moduli spaces as well as to the cohomology of arithmetic groups. We study two cases in detail: the case of level structures on the moduli space Ag of abelian varieties, and the special unitary case.
We are concerned with positive radial solutions of the inhomogeneous elliptic equation Δu+K(|x|)up+μf(|x|)=0 on RN, where N≥3, μ>0 and K and f are nonnegative nontrivial functions. If K(r)∼rα, α>−2, near r=0, K(r)∼rβ, β>−2, near r=∞ and certain assumptions on f are imposed, then the problem has a unique positive radial singular solution for a certain range of μ. We show that existence of a positive radial singular solution is equivalent to existence of infinitely many positive bounded solutions which are not uniformly bounded, if p is between the critical Sobolev exponent pS(α) and Joseph-Lundgren exponent pJL(α). Using these theorems, we establish existence of infinitely many positive bounded solutions which are not uniformly bounded, for pS(α)<p<pJL(α) if K(r)=r−α, α>−2.
Generalizing work from the 1970s on the determinants of distance hypermatrices of trees, we consider the hyperdeterminants of order-k Steiner distance hypermatrices of trees on n vertices. We show that they can be nearly diagonalized as k-forms, generalizing a result of Graham-Lovász, implying a tensor version of ``conditional negative definiteness'', providing new proofs of previous results of the authors and Tauscheck, and resolving the conjecture that these hyperdeterminants depend only on k and n -- as Graham-Pollak showed for k=2. We conclude with some open questions.
We consider the inverse problem of recovering a continuous-domain function from a finite number of noisy linear measurements. The unknown signal is modeled as the sum of a slowly varying trend and a periodic or quasi-periodic seasonal component. We formulate a variational framework for their joint recovery by introducing convex regularizations based on generalized total variation, which promote sparsity in spline-like representations. Our analysis is conducted in an infinite-dimensional setting and leads to a representer theorem showing that minimizers are splines in both components. To make the approach numerically feasible, we introduce a family of discrete approximations and prove their convergence to the original problem in the sense of Γ-convergence. This further ensures the uniform convergence of discrete solutions to their continuous counterparts. The proposed framework offers a principled approach to seasonal-trend decomposition in the presence of noise and limited measurements, with theoretical guarantees on both representation and discretization.
Fulton's matrix Schubert varieties are affine varieties that arise in the study of Schubert calculus in the complete flag variety. Weigandt showed that arbitrary intersections of matrix Schubert varieties, now called ASM varieties, are indexed by alternating sign matrices (ASMs), objects with a long history in enumerative combinatorics. It is very difficult to assess Cohen-Macaulayness of ASM varieties or to compute their codimension, though these properties are well understood for matrix Schubert varieties due to work of Fulton. In this paper we study these properties of ASM varieties with a focus on the relationship between a pair of ASMs and their direct sum. We also consider ASM pattern avoidance from an algebro-geometric perspective.
We derive exact expressions for the probabilities that partly random hyperplanes separate two Euclidean balls. The probability that a fully random hyperplane separates two balls turns out to be significantly smaller than the corresponding probabilities for hyperplanes which are not fully random in certain cases. Our results motivate studying partially random neural networks and provide a first step in this direction.
Persistent homology is a fundamental tool in topological data analysis; however, it lacks methods to quantify the fragility or fineness of cycles, anticipate their formation or disappearance, or evaluate their stability beyond persistence. Furthermore, classical Betti numbers fail to capture key structural properties such as simplicial dimensions and higher-order adjacencies. In this work, we investigate the robustness of simplicial networks by analyzing cycle thickness and their resilience to failures or attacks. To address these limitations, we draw inspiration from persistent homology to introduce filtrations that model distinct simplicial elimination rules, leading to the definition of two novel Betti number families: thick and cohesive Betti numbers. These improved invariants capture richer structural information, enabling the measurement of the thickness of the links in the homology cycle and the assessment of the strength of their connections. This enhances and refines classical topological descriptors and our approach provides deeper insights into the structural dynamics of simplicial complexes and establishes a theoretical framework for assessing robustness in higher-order networks. Finally, we establish that the resilience of topological features to simplicial attacks can be systematically examined through biparameter persistence modules, wherein one parameter encodes the progression of the attack, and the other captures structural refinements informed by thickness or cohesiveness.
In this paper, we study Borel probability measures of maximal entropy for analytic subsets in a dynamical system. It is well known that higher smoothness of the map over smooth space plays important role in the study of invariant measures of maximal entropy. A famous theorem of Newhouse states that smooth diffeomorphisms on compact manifolds without boundary have invariant measures of maximal entropy. However, we show that the situation becomes completely different when we study measures of maximal entropy for analytic subsets. Namely, we construct a smooth surface system which contains a smooth curve having no Borel probability measure of maximal entropy. Another evidence to show this difference is that, once an analytic set has one measure of maximal entropy, then the set has many measures of maximal entropy (no matter if we consider packing or Bowen entropy). For a general dynamical system with positive entropy htop(T), we shall show that the system contains not only a Borel subset which has Borel probability measures of maximal entropy and has entropy sufficiently close to htop(T), but also a Borel subset which has no Borel probability measures of maximal entropy and has entropy equal to the arbitrarily given positive real number which is at most htop(T). We also provide in all h-expansive systems a full characterization for analytic subsets which have Borel probability measures of maximal entropy. Consequently, if let Z⊂Rn be any analytic subset with positive Hausdorff dimension in Euclidean space, then the set Z either has a measure of full lower Hausdorff dimension, or it can be partitioned into a union of countably many analytic sets {Zi}i∈N with dimH(Zi)<dimH(Z) for each i.
This article deals with (1) the construction of a general non-linear fractal interpolation function on PCF self-similar sets, (2) the energy and normal derivatives of uniform non-linear fractal functions, (3) estimation of the bound of box dimension of the proposed fractal functions on the Sierpinski gasket and the von-Koch curve. Here, we present a more general framework to construct the attractor and the functions on the PCF self-similar sets using the Edelstein contraction, which broadens the class of functions. En route, we calculate the upper and lower box dimensions of the graph of non-linear interpolant. Finally, we provide several graphical and numerical examples for illustration of the construction and estimate the dimensions for different data sets.
We extend the previously established zesting techniques from fusion categories to general tensor categories. In particular we consider the category of comodules over a Hopf algebra, providing a detailed translation of the categorical zesting construction into explicit Hopf algebraic terms: we show that the associative zesting of the category of comodules yields a coquasi-Hopf algebra whose comodule category is precisely the zested category. We explicitly write the modified multiplication and the associator, as well as the structures involved in the braided case. For pointed Hopf algebras, we derive concrete formulas for constructing zestings and establish a systematic approach for cyclic group gradings, providing explicit parameterizations of the zesting data.
In this paper, we extend Feigin-Frenkel duality at the critical level to the setting of complex rank. This is accomplished by considering the center of a vertex algebra in Deligne's interpolating categories, along with Feigin's Lie algebras of complex rank, glλ and poλ. More precisely, we define the universal affine vertex algebras associated with Lie algebras in Re_p(GLα,F), Re_p(Oα,F) and Re_p(Spα,F), and describe their centers at the critical level explicitly by interpolating Molev's construction of Segal-Sugawara vectors. Using the formalism of Poisson vertex algebras, we identify a natural set of generators for the Drinfeld-Sokolov reduction of glλ and poλ, denoted by W(glλ) and W(poλ), respectively. Finally, we show that the interpolated Feigin-Frenkel isomorphism maps the interpolated Segal-Sugawara vectors to these generators.
In this chapter, we investigate directional entropy for semigroup actions generated by one-dimensional linear cellular automata (LCAs) and the shift transformation on the compact metric space ZNm. This work provides a systematic study of both \emph{topological directional entropy} (TDE) within Milnor's geometric framework and \emph{measure-theoretic directional entropy} via the Kolmogorov--Sinai formalism.
Given a bounded planar domain Ω⊂R2, we show that any singular harmonic map into the circle S1 corresponding to a topologically nondegenerate critical point of the renormalised energy in the sense of Bethuel, Brezis and Hélein is a limit of stationary p-harmonic maps for p<2 as p→2
We present an efficient 140 line MATLAB code for topology optimization problems that include probabilistic parameters. It is built from the top99neo code by Ferrari and Sigmund and incorporates a stochastic sample-based approach. Old gradient samples are adaptively recombined during the optimization process to obtain a gradient approximation with vanishing approximation error. The method's performance is thoroughly analyzed for several numerical examples. While we focus on applications in which stochastic parameters describe local material failure, we also present extensions of the code to other settings, such as uncertain load positions or dynamic forces of unknown frequency. The complete code is included in the Appendix and can be downloaded from www.topopt.dtu.dk.
Given an affine toric variety X embedded in a smooth variety, we prove a general result about the mixed Hodge module structure on the local cohomology sheaves of X. As a consequence, we prove that the singular cohomology of a proper toric variety is mixed of Hodge-Tate type. Additionally, using these Hodge module techniques, we derive a purely combinatorial result on rational polyhedral cones that has consequences regarding the depth of reflexive differentials on a toric variety. We then study in detail two important subclasses of toric varieties: those corresponding to cones over simplicial polytopes and those corresponding to cones over simple polytopes. Here, we give a comprehensive description of the local cohomology in terms of the combinatorics of the associated cones, and calculate the Betti numbers (or more precisely, the Hodge-Du Bois diamond) of a projective toric variety associated to a simple polytope.
A general regularization strategy is considered for the efficient iterative solution of the lowest-order weak Galerkin approximation of singular Stokes problems. The strategy adds a rank-one regularization term to the zero (2,2) block of the underlying singular saddle point system. This strategy includes the existing pressure pinning and mean-zero enforcement regularization as special examples. It is shown that the numerical error maintains the optimal-order convergence provided that the nonzero Dirichlet boundary datum is approximated numerically with sufficient accuracy. Inexact block diagonal and triangular Schur complement preconditioners are considered for the regularized system. The convergence analysis for MINRES and GMRES with corresponding block preconditioners is provided for different choices of the regularization term. Numerical experiments in two and three dimensions are presented to verify the theoretical findings and the effectiveness of the preconditioning for solving the regularized system.
The Piatetski-Shapiro sequences are of the form Nc:=(⌊nc⌋)∞n=1, where ⌊⋅⌋ is the integer part. Piatetski-Shapiro proved there are infinitely many primes in a Piatetski-Shapiro sequence for 1<c<12/11=1.0909… in 1953 and the best admissible range of c for this result is by Rivat and Wu for 1<c<243/205=1.1853… in 2001. In this article, we prove there are infinitely many Piatetski-Shapiro prime numbers for 1<c<6/5=1.2 with an asymptotic formula. Moreover, we also prove an asymptotic formula for Piatetski-Shapiro primes in arithmetic progressions with 1<c<6/5=1.2.