Pairs of Semisimple Lie Algebras and their Maximal Reductive Subalgebras

Let \(\mathfrak g\) be a semisimple Lie algebra over a field \(\mathbb K\), \(\text{char}\left( \mathbb{K} \right)=0\), and \(\mathfrak g_1\) a subalgebra reductive in \(\mathfrak g\). Suppose that the restriction of the Killing form B of \(\mathfrak g\) to \(\mathfrak g_1 \times \mathfrak g_1\) is nondegenerate. Consider the following statements: ( 1) For any Cartan subalgebra \(\mathfrak h_1\) of \(\mathfrak g_1\) there is a unique Cartan subalgebra \(\mathfrak h\) of \(\mathfrak g\) containing \(\mathfrak h_1\); ( 2) \(\mathfrak g_1\) is self-normalizing in \(\mathfrak g\); ( 3) The B-orthogonal \(\mathfrak p\) of \(\mathfrak g_1\) in \(\mathfrak g\) is simple as a \(\mathfrak g_1\)-module for the adjoint representation. We give some answers to this natural question: For which pairs \((\mathfrak g,\mathfrak g_1)\) do ( 1), ( 2) or ( 3) hold? We also study how \(\mathfrak p\) in general decomposes as a \(\mathfrak g_1\)-module, and when \(\mathfrak g_1\) is a maximal subalgebra of \(\mathfrak g\). In particular suppose \((\mathfrak g,\sigma )\) is a pair with \(\mathfrak g\) as above and σ its automorphism of order m. Assume that \(\mathbb K\) contains a primitive m-th root of unity. Define \(\mathfrak g_1:=\mathfrak g^{\sigma}\), the fixed point algebra for σ. We prove the following generalization of a well known result for symmetric Lie algebras, i.e., for m=2: (a) \((\mathfrak g,\mathfrak g_1)\) satisfies ( 1); (b) For m prime, \((\mathfrak g,\mathfrak g_1)\) satisfies ( 2).     

On some constacyclic codes over $$\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle $$, their $$\mathbb {Z}_4$$Z4 images,and new codes

In this paper, we study \(\lambda \)-constacyclic codes over the ring \(R=\mathbb {Z}_4+u\mathbb {Z}_4\) where \(u^{2}=1\), for \(\lambda =3+2u\) and \(2+3u\). Two new Gray maps from R to \(\mathbb {Z}_4^{3}\) are defined with the goal of obtaining new linear codes over \(\mathbb {Z}_4\). The Gray images of \(\lambda \)-constacyclic codes over R are determined. We then conducted a computer search and obtained many \(\lambda \)-constacyclic codes over R whose \(\mathbb {Z}_4\)-images have better parameters than currently best-known linear codes over \(\mathbb {Z}_4\).     

Compact $$\lambda $$-translating Solitons with Boundary

A \(\lambda \)-translating soliton with density vector \(\mathbf {v}\) is a surface \(\varSigma \) in Euclidean space \(\mathbb {R}^3\) whose mean curvature H satisfies \(2H=2\lambda +\langle N,\mathbf {v}\rangle \), where N is the Gauss map of \(\varSigma \). In this article, we study the shape of a compact \(\lambda \)-translating soliton in terms of its boundary. If \(\varGamma \) is a given closed curve, we deduce under what conditions on \(\lambda \) there exists a compact \(\lambda \)-translating soliton \(\varSigma \) with boundary \(\varGamma \) and we provide estimates of the surface area depending on the height of \(\varSigma \). Finally, we study the shape of \(\varSigma \) related with the geometry of \(\varGamma \), in particular, we give conditions that assert that \(\varSigma \) inherits the symmetries of its boundary \(\varGamma \).     

On the minimum-cost $$\lambda $$-edge-connected k-subgraph problem

In this paper, we propose several integer programming (IP) formulations to exactly solve the minimum-cost \(\lambda \)-edge-connected k-subgraph problem, or the \((k,\lambda )\)-subgraph problem, based on its graph properties. Special cases of this problem include the well-known k-minimum spanning tree problem (if \(\lambda =1\)), \(\lambda \)-edge-connected spanning subgraph problem (if \(k=|V|\)) and k-clique problem (if \(\lambda = k-1\) and there are exact k vertices in the subgraph). As a generalization of k-minimum spanning tree and a case of the \((k,\lambda )\)-subgraph problem, the (k, 2)-subgraph problem is studied, and some special graph properties are proved to find stronger and more compact IP formulations. Additionally, we study the valid inequalities for these IP formulations. Numerical experiments are performed to compare proposed IP formulations and inequalities.     

Brownian Paths Homogeneously Distributed in Space: Percolation Phase Transition and Uniqueness of the Unbounded Cluster

We consider a continuum percolation model on \(\mathbb {R}^d\), \(d\ge 1\). For \(t,\lambda \in (0,\infty )\) and \(d\in \{1,2,3\}\), the occupied set is given by the union of independent Brownian paths running up to time t whose initial points form a Poisson point process with intensity \(\lambda >0\). When \(d\ge 4\), the Brownian paths are replaced by Wiener sausages with radius \(r>0\). We establish that, for \(d=1\) and all choices of t, no percolation occurs, whereas for \(d\ge 2\), there is a non-trivial percolation transition in t, provided \(\lambda \) and r are chosen properly. The last statement means that \(\lambda \) has to be chosen to be strictly smaller than the critical percolation parameter for the occupied set at time zero (which is infinite when \(d\in \{2,3\}\), but finite and dependent on r when \(d\ge 4\)). We further show that for all \(d\ge 2\), the unbounded cluster in the supercritical phase is unique. Along the way a finite box criterion for non-percolation in the Boolean model is extended to radius distributions with an exponential tail. This may be of independent interest. The present paper settles the basic properties of the model and should be viewed as a springboard for finer results.     

<Emphasis Type="Italic">b</Emphasis>-Generalized Skew Derivations on Lie Ideals

Let R be a non-commutative prime ring, Z(R) its center, Q its right Martindale quotient ring, C its extended centroid, \(F\ne 0\) an b-generalized skew derivation of R, L a non-central Lie ideal of R, \(0\ne a\in R\) and \(n\ge 1\) a fixed integer. In this paper, we prove the following two results:

1. 1.
   If R has characteristic different from 2 and 3 and \(a[F(x),x]^n=0\), for all \(x\in L\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\), the standard identity of degree 4, and there exist \(\lambda \in C\) and \(b\in Q\), such that \(F(x)=bx+xb+\lambda x\), for all \(x\in R\).
    
2. 2.
   If \(\mathrm{{char}}(R)=0\) or \(\mathrm{{char}}(R) > n\) and \(a[F(x),x]^n\in Z(R)\), for all \(x\in R\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\).
    

     

Multiplicity Results for the Fractional Laplacian in Expanding Domains

In this paper, we establish a multiplicity result of nontrivial weak solutions for the problem \((-\Delta )^{\alpha } u +u= h(u)\)    in \(\Omega _{\lambda }\), \(u=0\)    on \(\partial \Omega _{\lambda }\), where \(\Omega _{\lambda }=\lambda \Omega \), \(\Omega \) is a smooth and bounded domain in \({\mathbb {R}}^N, N>2\alpha \), \(\lambda \) is a positive parameter, \(\alpha \in (0,1)\), \((-\Delta )^{\alpha }\) is the fractional Laplacian and the nonlinear term h(u) has subcritical growth. We use minimax methods, the Ljusternick–Schnirelmann and Morse theories to get multiplicity results depending on the topology of \(\Omega \).     

A note on amicable numbers and their variations

For any positive integer n, let \(\sigma (\mathrm{n})\) and p(n) denote the sum of divisors and the least prime divisor of n respectively. Let a, b be positive integers. In this paper we prove the following two results: (i) If 4 | a and \(\gcd (a, b)=1\), then a and b do not satisfy \(\sigma (a)= \sigma (b)=a+b\). (ii) If \(a>10^{8}\) and \(p(a)>2\log _{2}a+1\), where \(\log _{2}{a}\) is the logarithm of a with base 2, then a and b do not satisfy \(\sigma (a)=\sigma (b)=a+b+\lambda \), where \(\lambda \in \{0,\pm 1\}\).     

A Compactness Theorem of the Space of Free Boundary <Emphasis Type="Italic">f</Emphasis>-Minimal Surfaces in Three-Dimensional Smooth Metric Measure Space with Boundary

Let \((M^3,g,e^{-f}d\mu _M)\) be a compact three-dimensional smooth metric measure space with nonempty boundary. Suppose that M has nonnegative Bakry–Émery Ricci curvature and the boundary \(\partial M\) is strictly f-mean convex. We prove that there exists a properly embedded smooth f-minimal surface \(\Sigma \) in M with free boundary \(\partial \Sigma \) on \(\partial M\). If we further assume that the boundary \(\partial M\) is strictly convex, then we prove that \(M^3\) is diffeomorphic to the 3-ball \(B^3\), and a compactness theorem for the space of properly embedded f-minimal surfaces with free boundary in such \((M^3,g,e^{-f}d\mu _M)\), when the topology of these f-minimal surfaces is fixed.     

The distortion dimension of $$\mathbb $$-rank 1 lattices

Let \(X=G/K\) be a symmetric space of noncompact type and rank \(k\ge 2\). We prove that horospheres in X are Lipschitz \((k-2)\)-connected if their centers are not contained in a proper join factor of the spherical building of X at infinity. As a consequence, the distortion dimension of an irreducible \(\mathbb {Q}\)-rank-1 lattice \(\Gamma \) in a linear, semisimple Lie group G of \(\mathbb R\)-rank k is \(k-1\). That is, given \(m< k-1\), a Lipschitz m-sphere S in (a polyhedral complex quasi-isometric to) \(\Gamma \), and a \((m+1)\)-ball B in X (or G) filling S, there is a \((m+1)\)-ball \(B'\) in \(\Gamma \) filling S such that \({{\mathrm{vol}}}B'\sim {{\mathrm{vol}}}B\). In particular, such arithmetic lattices satisfy Euclidean isoperimetric inequalities up to dimension \(k-1\).     

Some remarks on the parametrized Borsuk–Ulam theorem

Given a locally trivial fibre bundle \(E\rightarrow B\) (with fibres and base finite complexes), an orthogonal real line bundle \(\lambda \) over E and a real vector bundle \(\xi \) over B, we consider a fibrewise map \(f: S(\lambda ) \rightarrow \xi \) over B defined on the unit sphere bundle of \(\lambda \). Following the fundamental work of Jaworowski and Dold on the parametrized Borsuk–Ulam theorem, we investigate lower bounds on the cohomological dimension of the set \(\{ v\in S(\lambda ) \vert f(v)=f(-v)\}\).     

Restriction semigroups and $$\lambda $$-Zappa-Szép products

The aim of this paper is to study \(\lambda \)-semidirect and \(\lambda \)-Zappa-Szép products of restriction semigroups. The former concept was introduced for inverse semigroups by Billhardt, and has been extended to some classes of left restriction semigroups. The latter was introduced, again in the inverse case, by Gilbert and Wazzan. We unify these concepts by considering what we name the scaffold of a Zappa-Szép product \(S\bowtie T\) where S and T are restriction. Under certain conditions this scaffold becomes a category. If one action is trivial, or if S is a semilattice and T a monoid, the scaffold may be ordered so that it becomes an inductive category. A standard technique, developed by Lawson and based on the Ehresmann-Schein-Nambooripad result for inverse semigroups, allows us to define a product on our category. We thus obtain restriction semigroups that are \(\lambda \)-semidirect products and \(\lambda \)-Zappa-Szép products, extending the work of Billhardt and of Gilbert and Wazzan. Finally, we explicate the internal structure of \(\lambda \)-semidirect products.     

<Emphasis Type="Italic">p</Emphasis>-Saturations of Welter’s game and the irreducible representations of symmetric groups

We establish a relation between the Sprague–Grundy function Open image in new window of p-saturations of Welter’s game and the degrees of the ordinary irreducible representations of symmetric groups. In these games, a position can be regarded as a partition \(\lambda \). Let \(\rho ^\lambda \) be the irreducible representation of the symmetric group \(\mathrm{Sym}(\left| \lambda \right| )\) corresponding to \(\lambda \). For every prime p, we show the following results: (1) \(\mathrm{sg}(\lambda ) \le \left| \lambda \right| \) with equality if and only if the degree of \(\rho ^\lambda \) is prime to p; (2) the restriction of \(\rho ^\lambda \) to \(\mathrm{Sym}(\mathrm{sg}(\lambda ))\) has an irreducible component with degree prime to p. Further, for every integer p greater than 1, we obtain an explicit formula for \(\mathrm{sg}(\lambda )\).     

An Engel condition with skew derivations for one-sided ideals

We apply the theory of generalized polynomial identities with automorphisms and skew derivations to prove the following theorem: Let A be a prime ring with the extended centroid C and with two-sided Martindale quotient ring Q, R a nonzero right ideal of A and \(\delta \) a nonzero \(\sigma \)-derivation of A, where \(\sigma \) is an epimorphism of A. For \(x,y\in A\), we set \([x,y] = xy - yx\). If \([[\ldots [[\delta (x^{n_0}),x^{n_1}],x^{n_{2}}],\ldots ],x^{n_k}]=0\) for all \(x\in R\), where \(n_{0},n_{1},\ldots ,n_{k}\) are fixed positive integers, then one of the following conditions holds: (1) A is commutative; (2) \(C\cong GF(2)\), the Galois field of two elements; (3) there exist \(b\in Q\) and \(\lambda \in C\) such that \(\delta (x)=\sigma (x)b-bx\) for all \(x\in A\), \((b-\lambda )R=0\) and \(\sigma (R)=0\). The analogous result for left ideals is also obtained. Our theorems are natural generalizations of the well-known results for derivations obtained by Lanski (Proc Am Math Soc 125:339–345, 1997) and Lee (Can Math Bull 38:445–449, 1995).     

A new theorem on the prime-counting function

For \(x>0\), let \(\pi (x)\) denote the number of primes not exceeding x. For integers a and \(m>0\), we determine when there is an integer \(n>1\) with \(\pi (n)=(n+a)/m\). In particular, we show that, for any integers \(m>2\) and \(a\leqslant \lceil e^{m-1}/(m-1)\rceil \), there is an integer \(n>1\) with \(\pi (n)=(n+a)/m\). Consequently, for any integer \(m>4\), there is a positive integer n with \(\pi (mn)=m+n\). We also pose several conjectures for further research; for example, we conjecture that, for each \(m=1,2,3,\ldots \), there is a positive integer n such that \(m+n\) divides \(p_m+p_n\), where \(p_k\) denotes the k-th prime.     

On <Emphasis Type="Italic">f</Emphasis>-non-parabolic ends for Ricci-harmonic metrics

In this paper, we study gradient Ricci-harmonic soliton metrics and quasi Ricci-harmonic metrics (both metrics are called Ricci-harmonic). First, we prove that all ends of \(\tau \)-quasi Ricci-harmonic metrics with \(\tau >1\) should be f-non-parabolic if \(\lambda =0,\mu >0\), or \(\lambda <0, \mu \ge 0\). For the case that \(\lambda<0, \mu < 0\), we can also arrive at the f-non-parabolic property if we add a condition about the scalar curvature. Furthermore, we discuss the connectivity at infinity for quasi Ricci-harmonic metrics. We also conclude that all ends of steady or expanding gradient Ricci-harmonic solitons should be f-non-parabolic, based on which we establish structure theorems for these two solitons.     

Spectral density estimates with partial symmetries and an application to Bahri–Lions-type results

We are concerned with the existence of infinitely many solutions for the problem \(-\Delta u=|u|^{p-2}u+f\) in \(\Omega \), \(u=u_0\) on \(\partial \Omega \), where \(\Omega \) is a bounded domain in \(\mathbb {R}^N\), \(N\ge 3\). This can be seen as a perturbation of the problem with \(f=0\) and \(u_0=0\), which is odd in u. If \(\Omega \) is invariant with respect to a closed strict subgroup of O(N), then we prove infinite existence for all functions f and \(u_0\) in certain spaces of invariant functions for a larger range of exponents p than known before. In order to achieve this, we prove Lieb–Cwikel–Rosenbljum-type bounds for invariant potentials on \(\Omega \), employing improved Sobolev embeddings for spaces of invariant functions.     

The Terwilliger algebra of the incidence graph of the Hamming graph

Let \(\varGamma \) be a distance-semiregular graph on Y, and let \(D^Y\) be the diameter of \(\varGamma \) on Y. Let \(\varDelta \) be the halved graph of \(\varGamma \) on Y. Fix \(x \in Y\). Let T and \(T'\) be the Terwilliger algebras of \(\varGamma \) and \(\varDelta \) with respect to x, respectively. Assume, for an integer i with \(1 \le 2i \le D^Y\) and for \(y,z \in \varGamma _{2i}(x)\) with \(\partial _{\varGamma }(y,z)=2\), the numbers \(|\varGamma _{2i-1}(x) \cap \varGamma (y) \cap \varGamma (z)|\) and \(|\varGamma _{2i+1}(x) \cap \varGamma (y) \cap \varGamma (z)|\) depend only on i and do not depend on the choice of y, z. The first goal in this paper is to show the relations between T-modules of \(\varGamma \) and \(T'\)-modules of \(\varDelta \). Assume \(\varGamma \) is the incidence graph of the Hamming graph H(D, n) on the vertex set Y and the set \({\mathcal {C}}\) of all maximal cliques. Then, \(\varGamma \) satisfies above assumption and \(\varDelta \) is isomorphic to H(D, n). The second goal is to determine the irreducible T-modules of \(\varGamma \). For each irreducible T-module W, we give a basis for W the action of the adjacency matrix on this basis and we calculate the multiplicity of W.     

Simultaneous power factorization in modules over Banach algebras

Let A be a Banach algebra with a bounded left approximate identity \(\{e_\lambda \}_{\lambda \in \Lambda }\), let \(\pi \) be a continuous representation of A on a Banach space X, and let S be a non-empty subset of X such that \(\lim _{\lambda }\pi (e_\lambda )s=s\) uniformly on S. If S is bounded, or if \(\{e_\lambda \}_{\lambda \in \Lambda }\) is commutative, then we show that there exist \(a\in A\) and maps \(x_n: S\rightarrow X\) for \(n\ge 1\) such that \(s=\pi (a^n)x_n(s)\) for all \(n\ge 1\) and \(s\in S\). The properties of \(a\in A\) and the maps \(x_n\), as produced by the constructive proof, are studied in some detail. The results generalize previous simultaneous factorization theorems as well as Allan and Sinclair’s power factorization theorem. In an ordered context, we also consider the existence of a positive factorization for a subset of the positive cone of an ordered Banach space that is a positive module over an ordered Banach algebra with a positive bounded left approximate identity. Such factorizations are not always possible. In certain cases, including those for positive modules over ordered Banach algebras of bounded functions, such positive factorizations exist, but the general picture is still unclear. Furthermore, simultaneous pointwise power factorizations for sets of bounded maps with values in a Banach module (such as sets of bounded convergent nets) are obtained. A worked example for the left regular representation of \(\mathrm {C}_0({\mathbb R})\) and unbounded S is included.     

On Hecke groups,Schwarzian triangle functions and a class of hyper-elliptic functions

Let m be a positive integer \(\ge \)3 and \(\lambda =2\cos \frac{\pi }{m}\). The Hecke group \(\mathfrak {G}(\lambda )\) is generated by the fractional linear transformations \(\tau + \lambda \) and \(-\frac{1}{\tau }\) for \(\tau \) in the upper half plane \(\mathbb H\) of the complex plane \(\mathbb C\). We consider a set of functions \(\mathfrak {f}_0, \mathfrak {f}_i\) and \(\mathfrak {f}_{\infty }\) automorphic with respect to \(\mathfrak {G}(\lambda )\), constructed from the conformal mapping of the fundamental domain of \(\mathfrak {G}(\lambda )\) to the upper half plane \(\mathbb H\), and establish their connection with the Legendre functions and a class of hyper-elliptic functions. Many well-known classical identities associated with the cases of \(\lambda =1\) and 2 are preserved. As an application, we will establish a set of identities expressing the reciprocal of \(\pi \) in terms of the hypergeometric series.