On the estimates of the upper and lower bounds of Ramanujan primes

For \(n\ge 1\), the nth Ramanujan prime is defined as the least positive integer \(R_{n}\) such that for all \(x\ge R_{n}\), the interval \((\frac{x}{2}, x]\) has at least n primes. Let \(p_{i}\) be the ith prime and \(R_{n}=p_{s}\). Sondow, Laishram, and other scholars gave a series of upper bounds of s. In this paper we establish several results giving estimates of upper and lower bounds of Ramanujan primes. Using these estimates, we discuss a conjecture on Ramanujan primes of Sondow–Nicholson–Noe and prove that if \(n>10^{300}\), then \(\pi (R_{mn})\le m\pi (R_{n})\) for \(m\ge 1\).     

Locally compact covergece groups ad $$$$-trasitive actios

All \(\sigma \)-compact, locally compact groups acting sharply \(n\)-transitively and continuously on compact spaces \(M\) have been classified, except for \(n=2,3\) when \(M\) is infinite and disconnected. We show that no such actions exist for \(n=2\) and that these actions for \(n=3\) coincide with the action of a hyperbolic group on a space equivariantly homeomorphic to its hyperbolic boundary. We further characterize non-compact groups acting 3-properly and transitively on infinite compact sets as non-elementary boundary-transitive hyperbolic groups, which in turn were recently studied by Caprace, de Cornulier, Monod and Tessera. As an important tool, we generalize Bowditch’s topological characterization of discrete hyperbolic groups to locally compact hyperbolic groups. Finally, we show that if a locally compact group acts continuously, 4-properly and 4-cocompactly on a locally connected metrizable compactum M, then M has a global cut point, which is in sharp contrast to the \(3\)-proper, \(3\)-cocompact case due to the solution of Bowditch’s cut-point conjecture.     

The primitive idempotents and weight distributions of irreducible constacyclic codes

Let \({\mathbb {F}}_q\) be a finite field with q elements such that \(l^v||(q^t-1)\) and \(\gcd (l,q(q-1))=1\), where l, t are primes and v is a positive integer. In this paper, we give all primitive idempotents in a ring \(\mathbb F_q[x]/\langle x^{l^m}-a\rangle \) for \(a\in {\mathbb {F}}_q^*\). Specially for \(t=2\), we give the weight distributions of all irreducible constacyclic codes and their dual codes of length \(l^m\) over \({\mathbb {F}}_q\).     

A Positivstellensatz for forms on the positive orthant

We shall extend the research on power structure of finite p-groups in Mann (J Algebra 42:121–135, 1976) to locally nilpotentp-groups. Firstly, we obtain that a locally nilpotent \(P_i\)-group G with \(|G:\mho _1(G)|< \infty \) is an extension of a divisible abelian group by a finite p-group. Next we get the structure of infinite locally nilpotent p-groups which are not \(P_i\)-groups, but all of whose proper infinite subgroups are \(P_i\)-groups. Finally, we show that locally nilpotent \(P_i\)-groups with all subgroups subnormal are nilpotent.     

On $$(\ell,m)$$-regular partitions with distinct parts

Let \(a_{\ell ,m}(n)\) denote the number of \((\ell ,m)\)-regular partitions of a positive integer n into distinct parts, where \(\ell \) and m are relatively primes. In this paper, we establish several infinite families of congruences modulo 2 for \(a_{3,5}(n)\). For example,

$$\begin{aligned} a_{3, 5}\left(2^{6\alpha +4}5^{2\beta }n+\frac{ 2^{6\alpha +3}5^{2\beta +1}-1}{3}\right) \equiv 0 , \end{aligned}$$

where \(\alpha , \beta \ge 0\).

     

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.     

Inverse ambiguous functions on some finite non-abelian groups

In Schmitz (Aequ Math 91:373–389, 2017), the first author defines an “inverse ambiguous function” on a group G to be a bijective function \(f:G \rightarrow G\) satisfying the functional equation \(f^{-1}(x) = (f(x))^{-1}\) for all \(x \in G\). Using a simple criterion involving the number of elements in G not equal to their own inverse, the classification of finite abelian groups admitting inverse ambiguous functions is achieved. In this paper we aim to extend the results from (2017) to determine the existence of inverse ambiguous functions on members of certain families of non-abelian groups, namely the symmetric groups \(S_n\), the alternating groups \(A_n\), and the general linear groups GL(2, q) over a finite field \(\mathbb {F}_q\).     

Frame difference families and resolvable balanced incomplete block designs

Frame difference families, which can be obtained via a careful use of cyclotomic conditions attached to strong difference families, play an important role in direct constructions for resolvable balanced incomplete block designs. We establish asymptotic existences for several classes of frame difference families. As corollaries new infinite families of 1-rotational \((pq+1,p+1,1)\)-RBIBDs over \({\mathbb {F}}_{p}^+ \times {\mathbb {F}}_{q}^+\) are derived, and the existence of \((125q+1,6,1)\)-RBIBDs is discussed. We construct (v, 8, 1)-RBIBDs for \(v\in \{624,\) \(1576,2976,5720,5776,10200,14176,24480\}\), whose existence were previously in doubt. As applications, we establish asymptotic existences for an infinite family of optimal constant composition codes and an infinite family of strictly optimal frequency hopping sequences.     

Isospectral nearly Kähler manifolds

We give a systematic way to construct almost conjugate pairs of finite subgroups of \(\mathrm {Spin}(2n+1)\) and \({{\mathrm{Pin}}}(n)\) for \(n\in {\mathbb {N}}\) sufficiently large. As a geometric application, we give an infinite family of pairs \(M_1^{d_n}\) and \(M_2^{d_n}\) of nearly Kähler manifolds that are isospectral for the Dirac and Laplace operator with increasing dimensions \(d_n>6\). We provide additionally a computation of the volume of (locally) homogeneous six dimensional nearly Kähler manifolds and investigate the existence of Sunada pairs in this dimension.     

Marcinkiewicz-Type Spectral Multipliers on Hardy and Lebesgue Spaces on Product Spaces of Homogeneous Type

Let \(X_1\) and \(X_2\) be metric spaces equipped with doubling measures and let \(L_1\) and \(L_2\) be nonnegative self-adjoint operators acting on \(L^2(X_1)\) and \(L^2(X_2)\) respectively. We study multivariable spectral multipliers \(F(L_1, L_2)\) acting on the Cartesian product of \(X_1\) and \(X_2\). Under the assumptions of the finite propagation speed property and Plancherel or Stein–Tomas restriction type estimates on the operators \(L_1\) and \(L_2\), we show that if a function F satisfies a Marcinkiewicz-type differential condition then the spectral multiplier operator \(F(L_1, L_2)\) is bounded from appropriate Hardy spaces to Lebesgue spaces on the product space \(X_1\times X_2\). We apply our results to the analysis of second-order elliptic operators in the product setting, specifically Riesz-transform-like operators and double Bochner–Riesz means.     

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.     

Alternating groups as a quotient of $${{\varvec{PSL}}}\left( \mathbf{2}, \pmb {\mathbb {Z}} \left[ {{\varvec{i}}}\right] \right) $$

In this study, we developed an algorithm to find the homomorphisms of the Picard group \(\textit{PSL}(2,Z[i])\) into a finite group G. This algorithm is helpful to find a homomorphism (if it is possible) of the Picard group to any finite group of order less than 15! because of the limitations of the GAP and computer memory. Therefore, we obtain only five alternating groups \( A_{n}\), where \(n=5,6,9,13\) and 14 are quotients of the Picard group. In order to extend the degree of the alternating groups, we use coset diagrams as a tool. In the end, we prove our main result with the help of three diagrams which are used as building blocks and prove that, for \(n\equiv 1,5,6(\mathrm { mod}\, 8)\), all but finitely many alternating groups \(A_{n}\) can be obtained as quotients of the Picard group \(\textit{PSL}(2,Z[i])\). A code in Groups Algorithms Programming (GAP) is developed to perform the calculation.     

On the orders of the non-Frattini elements of a finite group

Let G be a finite group and let \(p_1,\dots ,p_n\) be distinct primes. If G contains an element of order \(p_1 \cdots p_n,\) then there is an element in G which is not contained in the Frattini subgroup of G and whose order is divisible by \(p_1 \cdots p_n.\)     

An $$H^1$$-Galerkin mixed finite element method for time fractional reaction–diffusion equation

In this article, an \(H^1\)-Galerkin mixed finite element (MFE) method for solving time fractional reaction–diffusion equation is presented. The optimal time convergence order \(O(\varDelta t^{2-\alpha })\) and the optimal spatial rate of convergence in \(H^1\) and \(L^2\)-norms for variable \(u\) and its gradient \(\sigma \) are derived. Moreover, some numerical results are shown to support our theoretical analysis.     

Representations and Corresponding Operators Induced by Hecke Algebras

In this paper, by establishing free-probabilistic models on the Hecke algebras \(\mathcal {H}(G_{p})\), we construct canonical free probability spaces \((\mathcal {H}(G_{p}), \psi _{p})\), where \(G_{p} = GL_{2}(\mathbb {Q} _{p})\), for primes \(p\). Dependent upon such free-probabilistic structures, we study corresponding representations of \(\mathcal {H}(G_{p})\), and consider spectral properties of operators realized under representations.     

On topological actions of finite,non-standard groups on spheres

The standard actions of finite groups on spheres \(S^d\) are linear actions, i.e. by finite subgroups of the orthogonal groups \(\mathrm{O}(d+1)\). We prove that, in each dimension \(d>5\), there is a finite group G which admits a faithful, topological action on a sphere \(S^d\) but is not isomorphic to a subgroup of \(\mathrm{O}(d+1)\). The situation remains open for smooth actions.     

Endotrivial modules for the general linear group in a nondefining characteristic

Suppose that \(G\) is a finite group such that \(\mathrm{SL }(n,q)\subseteq G \subseteq \mathrm{GL }(n,q)\), and that \(Z\) is a central subgroup of \(G\). Let \(T(G/Z)\) be the abelian group of equivalence classes of endotrivial \(k(G/Z)\)-modules, where \(k\) is an algebraically closed field of characteristic \(p\) not dividing \(q\). We show that the torsion free rank of \(T(G/Z)\) is at most one, and we determine \(T(G/Z)\) in the case that the Sylow \(p\)-subgroup of \(G\) is abelian and nontrivial. The proofs for the torsion subgroup of \(T(G/Z)\) use the theory of Young modules for \(\mathrm{GL }(n,q)\) and a new method due to Balmer for computing the kernel of restrictions in the group of endotrivial modules.     

The finite basis problem for infinite involution semigroups of triangular 2 $$\times $$ 2 matrices

Let \(T_n(\mathbb {F})\) and \(UT_n(\mathbb {F})\) be the semigroups of all upper triangular \(n\times n\) matrices and all upper triangular \(n\times n\) matrices with 0s and/or 1s on the main diagonal over a field \(\mathbb {F}\) with \(\mathsf {char}(\mathbb {F})=0\), respectively. In this paper, we address the finite basis problem for \(T_2(\mathbb {F})\) and \(UT_2(\mathbb {F})\) as involution semigroups under the skew transposition. By giving a sufficient condition under which an involution semigroup is nonfinitely based, we show that both \(T_2(\mathbb {F})\) and \(UT_2(\mathbb {F})\) are nonfinitely based, and that there is a continuum of nonfinitely based involution monoid varieties between the involution monoid variety \(\mathsf {var} UT_2(\mathbb {F})\) generated by \(UT_2(\mathbb {F})\) and the involution monoid variety \(\mathsf {var} T_2(\mathbb {F})\) generated by \(T_2(\mathbb {F})\). Moreover, \(\mathsf {var} UT_2(\mathbb {F})\) cannot be defined within \(\mathsf {var} T_2(\mathbb {F})\) by any finite set of identities.     

Arithmetic properties for a partition function related to the Ramanujan/Watson mock theta function $$\omega (q)$$

Recently, Andrews, Dixit, and Yee introduced a new partition function \(p_{\omega }(n)\) that denotes the number of partitions of n in which each odd part is less than twice the smallest part. The generating function of \(p_{\omega }(n)\) is associated with the third-order mock theta function \(\omega (q)\). Andrews, Passary, Sellers, and Yee proved three infinite families of congruences modulo 4 and 8 for \(p_{\omega }(n)\) and provided elementary proofs of congruences modulo 5 for \(p_{\omega }(n)\) which were first discovered by Waldherr. In this paper, we prove some new congruences modulo 5 and powers of 2 for \(p_{\omega }(n)\). In particular, we obtain some non-standard congruences for \(p_{\omega }(n)\). For example, we prove that for \(k\ge 0\), \( p_{\omega }\left( \frac{7\times 5^{2k+1}+1 }{3}\right) \equiv (-1)^k \ (\mathrm{mod}\ 5) \) and \( p_\omega \left( \frac{2^{2k+7}+1}{3}\right) \equiv 1251 \times (-1)^k \ (\mathrm{mod}\ 2^{11})\).