2024-08-15 | | Total: 131

$\DeclareMathOperator{\G}{\mathbb{G}}\DeclareMathOperator{\Rep}{Rep} \DeclareMathOperator{\Corr}{Corr}$Let $\G$ be a locally compact quantum group and $(M, \alpha)$ a $\G$-$W^*$-algebra. The object of study of this paper is the $W^*$-category $\Rep^{\G}(M)$ of normal, unital $\G$-representations of $M$ on Hilbert spaces endowed with a unitary $\G$-representation. This category has a right action of the category $\Rep(\G)= \Rep^{\G}(\mathbb{C})$ for which it becomes a right $\Rep(\G)$-module $W^*$-category. Given another $\G$-$W^*$-algebra $(N, \beta)$, we denote the category of normal $*$-functors $\Rep^{\G}(N)\to \Rep^{\G}(M)$ compatible with the $\Rep(\G)$-module structure by $\operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ and we denote the category of $\G$-$M$-$N$-correspondences by $\operatorname{Corr}^{\G}(M,N)$. We prove that there are canonical functors $P: \Corr^{\G}(M,N)\to \operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ and $Q: \operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))\to \operatorname{Corr}^{\G}(M,N)$ such that $Q \circ P\cong \operatorname{id}.$ We use these functors to show that the $\G$-dynamical von Neumann algebras $(M, \alpha)$ and $(N, \beta)$ are equivariantly Morita equivalent if and only if $\Rep^{\G}(N)$ and $\Rep^{\G}(M)$ are equivalent as $\Rep(\G)$-module-$W^*$-categories. Specializing to the case where $\G$ is a compact quantum group, we prove that moreover $P\circ Q \cong \operatorname{id}$, so that the categories $\Corr^{\G}(M,N)$ and $\operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ are equivalent. This is an equivariant version of the Eilenberg-Watts theorem for actions of compact quantum groups on von Neumann algebras.

Given a reciprocal/palindromic polynomial of even degree, we show that the gamma vector is essentially given by an inverted Chebyshev polynomial basis expansion. As an immediate consequence, we characterize real-rootedness of a linear combination of Chebyshev polynomials in terms of real-rootedness of that of the reciprocal polynomial built out of an inverted scaled tuple of the coefficients with one fixed and the rest divided by 2. It can be taken as a counterpart to a recent result of Bel-Afia--Meroni--Telen on hyperbolicity of Chebyshev curves with respect to the origin. Apart from this, the inverted Chebyshev expansion also yields connections between intrinsic properties of the gamma vector construction and the geometric combinatorics of simplicial complexes and posets. We find this by applying work of Hetyei on Tchebyshev subdivisions and Tchebyshev posets. In particular, we find that the gamma vector transformation is closely related to $f$-vectors of simplicial complexes resulting from successive edge subdivisions that transform the type A Coxeter complex to the type B Coxeter complex. Lifting to this to the level of $ce$-indices (a modification of $cd$-indices), we show that the gamma vector inverted Chebyshev polynomial expansion lifts to a sum of $ce$-indices of cross polytope triangulations which can be computed using descent statistics involving edge labelings of maximal chains. While there are many examples in the literature where gamma positivity involving descent statistics, it is interesting to note that we have this without initial structural assumptions on the input polynomial apart from being reciprocal/palindromic. Finally, we note that all of these can be repeated with Chebyshev polynomials of the second kind after taking derivatives and that this gives connections to Hopf algebras and quasisymmetric functions.

We introduce a generalization of the quandle polynomial. We prove that our polynomial is an invariant of stuquandles. Furthermore, we use the invariant of stuquandles to define a polynomial invariant of stuck links. As a byproduct, we obtain a polynomial invariant of RNA foldings. Lastly, we provide explicit computations of our polynomial invariant for both stuck links and RNA foldings.

This survey provides an introduction to the Stolz-Teichner program on elliptic cohomology and quantum field theory.

Exponential integrators based on contour integral representations lead to powerful numerical solvers for a variety of ODEs, PDEs, and other time-evolution equations. They are embarrassingly parallelizable and lead to global-in-time approximations that can be efficiently evaluated anywhere within a finite time horizon. In this article, we propose a family of new high-order quadrature schemes for strongly continuous semigroups based on regularized contour integral representations. Our algorithms are accompanied by explicit high-order error bounds and near-optimal parameter selection. We demonstrate key features of the schemes on singular first-order PDEs from Koopman operator theory.

This paper continues the study of controlled interacting particle systems with common noise started in [W. Gangbo, S. Mayorga and A. {\'{S}}wi{\k{e}}ch, \textit{SIAM J. Math. Anal.} 53 (2021), no. 2, 1320--1356] and [S. Mayorga and A. {\'{S}}wi{\k{e}}ch, \textit{SIAM J. Control Optim.} 61 (2023), no. 2, 820--851]. First, we extend the following results of the previously mentioned works to the case of multiplicative noise: (i) We generalize the convergence of the value functions $u_n$ corresponding to control problems of $n$ particles to the value function $V$ corresponding to an appropriately defined infinite dimensional control problem; (ii) we prove, under certain additional assumptions, $C^{1,1}$ regularity of $V$ in the spatial variable. The second main contribution of the present work is the proof that if $DV$ is continuous (which, in particular, includes the previously proven case of $C^{1,1}$ regularity in the spatial variable), the value function $V$ projects precisely onto the value functions $u_n$. Using this projection property, we show that optimal controls of the finite dimensional problem correspond to optimal controls of the infinite dimensional problem and vice versa. In the case of a linear state equation, we are able to prove that $V$ projects precisely onto the value functions $u_n$ under relaxed assumptions on the coefficients of the cost functional by using approximation techniques in the Wasserstein space, thus covering cases where $V$ may not be differentiable.

The balancing index of a polynomial $f \in \mathbb{Z}[x_1,\dots,x_n]$ is the least positive sum of coefficients in an integer linear combination of permuted copies of $f$ which produces a symmetric polynomial. Here we consider the restricted problem in which only even permutations are used.

This paper introduces double cascaded reconfigurable intelligent surfaces (RISs) to non-orthogonal multiple access (NOMA) networks over cascaded Rician fading and Nakagami-$m$ fading channels, where two kinds of passive RIS (PRIS) and active RIS (ARIS) are taken into consideration, called PRIS-ARIS-NOMA networks. Additionally, new closed-form and asymptotic expressions for outage probability and ergodic data rate of two non-orthogonal users are derived with the imperfect/perfect successive interference cancellation schemes. The scenario is modelled around two non-orthogonal users and focuses on analyzing their communication characteristics. Based on the approximate results, the diversity orders and ergodic data rate slopes of two users are obtained in the high signal-to-noise ratios. In addition, the system throughput of PRIS-ARIS-NOMA in delay-limited mode and delay-tolerant mode are discussed according to the outage probability and ergodic data rate. The simulation results verify the correctness of the formulas and yields the following insights: 1) The outage behaviors of PRIS-ARIS-NOMA outperforms than that of PRIS-ARIS assisted orthogonal multiple access (OMA); 2)Use of PRIS-ARIS-NOMA is better than use of PRIS-ARIS-OMA in small transmit power threshold scenarios 3) By increasing the number of reflecting elements of RISs, the PRIS-ARIS-NOMA is able to achieve the enhanced outage performance; and 4) The PRIS-ARIS-NOMA has the higher ergodic data rate and system throughput than double PRISs-NOMA.

In this work, we propose and analyze two two-level hybrid Schwarz preconditioners for solving the Helmholtz equation with high wave number in two and three dimensions. Both preconditioners are defined over a set of overlapping subdomains, with each preconditioner formed by a global coarse solver and one local solver on each subdomain. The global coarse solver is based on the localized orthogonal decomposition (LOD) technique, which was proposed in [27,28] originally for the discretization schemes for elliptic multiscale problems with heterogeneous and highly oscillating coefficients and Helmholtz problems with high wave number to eliminate the pollution effect. The local subproblems are Helmholtz problems in subdomains with homogeneous boundary conditions (the first preconditioner) or impedance boundary conditions (the second preconditioner). Both preconditioners are shown to be optimal under some reasonable conditions, that is, a uniform upper bound of the preconditioned operator norm and a uniform lower bound of the field of values are established in terms of all the key parameters, such as the fine mesh size, the coarse mesh size, the subdomain size and the wave numbers. It is the first time to show that the LOD solver can be a very effective coarse solver when it is used appropriately in the Schwarz method with multiple overlapping subdomains. Numerical experiments are presented to confirm the optimality and efficiency of the two proposed preconditioners.

In this paper, we consider the global comparison problem of Gini means with fixed number of variables on a subinterval $I$ of $\mathbb{R}_+$, i.e., the following inequality \begin{align}\tag{$\star$}\label{ggcabs} G_{r,s}^{[n]}(x_1,\dots,x_n) \leq G_{p,q}^{[n]}(x_1,\dots,x_n), \end{align} where $n\in\mathbb{N},n\geq2$ is fixed, $(p,q),(r,s)\in\mathbb{R}^2$ and $x_1,\dots,x_n\in I$. Given a nonempty subinterval $I$ of $\mathbb{R}_+$ and $n\in\mathbb{N}$, we introduce the relations \[ \Gamma_n(I):=\{((r,s),(p,q))\in\mathbb{R}^2\times\mathbb{R}^2\mid \eqref{ggcabs}\mbox{ holds for all } x_1,\dots,x_n\in I\},\qquad \Gamma_\infty(I):=\bigcap_{n=1}^\infty\Gamma_n(I). \] In the paper, we investigate the properties of these sets and their dependence on $n$ and on the interval $I$ and we establish a characterizations of these sets via a constrained minimum problem by using a variant of the Lagrange multiplier rule. We also formulate two open problems at the end of the paper.

In this note, we study the asymptotic Plateau problem in hyperbolic space, and we prove the existence of a smooth complete hypersurface of constant scalar curvature in hyperbolic space with a prescribed asymptotic boundary at infinity. Following a pioneering work of Bo Guan and Joel Spruck, we seek the solution as a graph over a bounded domain and solve the corresponding Dirichlet problem by establishing the crucial second order estimates for admissible solutions. Our proof consists of three main ingredients: (1) a new test function, (2) a so-called almost-Jacobi inequality for the equation operator, and (3) a set of arguments which reduce the situation to semi-convex case and which keep the coefficient of the troublesome negative term in a suitable magnitude.

Inspired by the work of Fr\"oberg (1990) and Eagon and Reiner (1998), Bayer et al. recently introduced two new graph complexes: total cut complexes and cut complexes. In this article, we investigate these complexes specifically for (rectangular) grid graphs, focusing on $2 \times n$ and $3 \times n$ cases. We extend and refine the work of Bayer et al., proving and strengthening several of their conjectures, thereby enhancing the understanding of the topological and combinatorial properties of these graph complexes.

We use a characterization of Minkowski measurability to study the asymptotics of best packing on cut-out subsets of the real line with Minkowski dimension $d\in(0,1)$. Our main result is a proof that Minkowski measurability is a sufficient condition for the existence of best packing asymptotics on monotone rearrangements of these sets. For each such set, the main result provides an explicit constant of proportionality $p_d,$ depending only on the Minkowski dimension $d,$ that relates its packing limit and Minkowski content. We later use the Digamma function to study the limiting value of $p_d$ as $d\to 1^-.$ For sharpness, we use renewal theory to prove that the packing constant of the $(1/2,1/3)$ Cantor set is less than the product of its Minkowski content and $p_d$. We also show that the measurability hypothesis of the main theorem is necessary by demonstrating that a monotone rearrangement of the complementary intervals of the 1/3 Cantor set has Minkowski dimension $d=\log2/\log3\in(0,1),$ is not Minkowski measurable, and does not have convergent first-order packing asymptotics. The aforementioned characterization of Minkowski measurability further motivates the asymptotic study of an infinite multiple subset sum problem.

Inspired by Bourqui's work on anticanonical height zeta functions on Hirzebruch surfaces, we study height zeta functions of split toric varieties with Picard rank 2 over global function fields, with respect to height functions associated with big metrized line bundles. We show that these varieties can be naturally decomposed into a finite disjoint union of subvarieties, where precise analytic properties of the corresponding height zeta functions can be given, allowing for a finer inspection of the asymptotic number of rational points of bounded height on each subvariety.

We analyze the number of cliques of given size and the size of the largest clique in tensor product $G \times H$ of two Erd\H{o}s-R\'enyi graphs $G$ and $H$. Then an extended clustering coefficient is introduced and is studied for $G \times H$. Restriction to the standard clustering coefficient has a direct relation to the local efficiency of the graph, and the results are also interpreted in terms of the efficiency. As a last statistic of interest, the number of isolated vertices is analyzed for $G \times H$. The paper is concluded with a discussion of the modular product of random graphs, and the relation to the maximum common subgraph problem.

In this paper, we present a framework for generic decoding of convolutional codes, which allows us to do cryptanalysis of code-based systems that use convolutional codes. We then apply this framework to information set decoding, study success probabilities and give tools to choose variables. Finally, we use this to attack two cryptosystems based on convolutional codes. In the first, our code recovered about 74% of errors in less than 10 hours each, and in the second case, we give experimental evidence that 80% of the errors can be recovered in times corresponding to about 60 bits of operational security, with some instances being significantly lower.

We prove results on existence of limits in the definition of (weighted) directional Chebyshev constants at all points of the standard simplex $\Sigma \subset {\bf R}^d$ for (locally) regular compact sets $K\subset {\bf C}^d$.

The paper contains a survey of the results obtained during the last ten years in the theory of elliptic boundary problems in H\"ormander function spaces, developed by the authors, and other related results of modern analysis. The basics of this theory and some of its applications are systematically expounded in the monograph "H\"ormander Spaces, Interpolation, and Elliptic Problems" (De Gruyter, Berlin/Boston, 2014) by the first two authors of the survey.

We study the Lie algebra of physical states associated with certain vertex operator algebras of central charge 24. By applying the no-ghost theorem from string theory we express the corresponding Lie brackets in terms of vertex algebra operations. In the special case of the Moonshine module this result answers a question of Borcherds, posed in his paper on the Monstrous moonshine conjecture.

We give a quadratic-time algorithm to compute the stretch factor and the invariant measured foliations for a pseudo-Anosov element of the mapping class group. As input, the algorithm accepts a word (in any given finite generating set for the mapping class group) representing a pseudo-Anosov mapping class, and the length of the word is our measure of complexity for the input. The output is a train track and an integer matrix where the stretch factor is the largest real eigenvalue and the unstable foliation is given by the corresponding eigenvector. This is the first algorithm to compute stretch factors and measured foliations that is known to terminate in sub-exponential time.

The aim of this paper is to study the stable birational type of $Hilb^n_X$, the Hilbert scheme of degree $n$ points on a surface $X$. More precisely, it addresses the question for which pairs of positive integers $(n,n')$ the variety $Hilb^n_X$ is stably birational to $Hilb^{n'}_X$, when $X$ is a surface with irregularity $q(X)=0$. After general results for such surfaces, we restrict our attention to geometrically rational surfaces, proving that there are only finitely many stable birational classes among the $Hilb^n_X$'s. As a corollary, we deduce the rationality of the motivic zeta function $\zeta(X,t)$ in $K_0(Var/k)/([\mathbb{A}^1_k])[[t]]$ over fields of characteristic zero.

The construction of Ekman boundary layer solutions near the non-flat boundaries presents a complex challenge, with limited research on this issue. In Masmoudi's pioneering work [Comm. Pure Appl. Math. 53 (2000), 432--483], the Ekman boundary layer solution was investigated on the domain $\mathbb{T}^2\times [\varepsilon B(x,y), 1]$, where $\varepsilon$ is a small constant and $B(x,y)$ denotes a periodic smooth function. This study investigates the influence of the geometric structure of the boundary $B(x,y)$ within the boundary layer. Specifically, for well-prepared initial data in the domain $\mathbb{R}^2\times[B(x,y), B(x,y)+2]$, if the boundary surface $B(x,y)$ is smooth and satisfies certain geometric constraints concerning its Gaussian and mean curvatures, then we derive an approximate boundary layer solution. Additionally, according to the curvature and incompressible conditions, the limit system we constructed is a 2D primitive system with damping and rotational effects. From the model's background, it reflects the characteristics arising from rotational effects. Finally, we validate the convergence of this approximate solution. No smallness condition on the amplitude of boundary $B(x, y)$ is required.

Let $G$ be a connected reductive $p$-adic group. As verified for unipotent representations, it is expected that there is a close relation between the (Harish-Chandra-Howe) wavefronts sets of irreducible smooth representations and their Langlands parameters in the local Langlands correspondence via the Lusztig-Spaltenstein duality and the Aubert-Zelevinsky duality. In this paper, we define the $\Gamma$-asymptotic wavefront sets generalizing the notion of wavefront sets via the $\Gamma$-asymptotic expansions (in the sense of Kim-Murnaghan), and then study the their relation with the Langlands parameters. When $G=GL_n$, it turns out that this reduces to the corresponding relation of unipotent representations of the appropriate twisted Levi subgroups via Hecke algebra isomorphisms. For unipotent representations of $GL_n$, we also describe the Harish-Chandra-Howe (HCH) local character expansions of irreducible smooth representations using Kazhdan-Lusztig theory, and give another computation of the coefficients in the HCH expansion and the wavefront sets.

All complex $3$-dimensional nilalgebras were described. As a corollary, all degenerations in the variety of complex $3$-dimensional nilalgebras were obtained.

We develop further the graph limit theory for dense weighted graph sequences. In particular, we consider probability graphons, which have recently appeared in graph limit theory as continuum representations of weighted graphs, and we introduce P-variables, which also appear in the context of the Aldous-Hoover theorem for exchangeable infinite random arrays, as an alternative continuum representation for weighted graphs. In particular, we explain how P-variables are related to probability graphons in a similar way in which random variables are related to probability measures. We define a metric for P-variables (inspired by action convergence in the graph limit theory of sparse graph sequences) and show that convergence of P-variables in this metric is equivalent to probability graphons convergence. We exploit this equivalence to translate several results from the theory of probability graphons to P-variables. In addition, we prove several properties of P-variables convergence, thus showing new properties also for probability graphons convergence and demonstrating the power of the connection between probability graphons and P-variables. Furthermore, we show how P-variables convergence can be easily modified and generalised to cover other combinatorial structures such as bipartite graphs and hypergraphs.