Koszul property of a class of graded algebras with nonpure resolutions

Given any integers a, b, c, and d with a > 1, c ≥ 0, b ≥ a + c, and d ≥ b + c, the notion of (a, b, c, d)-Koszul algebra is introduced, which is another class of standard graded algebras with “nonpure” resolutions, and includes many Artin-Schelter regular algebras of low global dimension as specific examples. Some basic properties of (a, b, c, d)-Koszul algebras/modules are given, and several criteria for a standard graded algebra to be (a, b, c, d)-Koszul are provided.     

Optimal combinations bounds of root-square and arithmetic means for Toader mean

We find the greatest value α ₁ and α ₂, and the least values β ₁ and β ₂, such that the double inequalities α ₁ S(a,b)?+?(1???α ₁) A(a,b)?T(a,b)?β ₁ S(a,b)?+?(1???β ₁) A(a,b) and \(S^{\alpha_{2}}(a,b)A^{1-\alpha_{2}}(a,b)< T(a,b)< S^{\beta_{2}}(a,b)A^{1-\beta_{2}}(a,b)\) hold for all a,b?>?0 with a?≠?b. As applications, we get two new bounds for the complete elliptic integral of the second kind in terms of elementary functions. Here, S(a,b)?=?[(a ²?+?b ²)/2]^1/2, A(a,b)?=?(a?+?b)/2, and \(T(a,b)=\frac{2}{\pi}\int\limits_{0}^{{\pi}/{2}}\sqrt{a^2{\cos^2{\theta}}+b^2{\sin^2{\theta}}}{\rm d}\theta\) denote the root-square, arithmetic, and Toader means of two positive numbers a and b, respectively.     

Rational Parking Functions and Catalan Numbers

The “classical” parking functions, counted by the Cayley number (n+1) ^n?1, carry a natural permutation representation of the symmetric group S _n in which the number of orbits is the Catalan number \({\frac{1}{n+1} \left( \begin{array}{ll} 2n \\ n \end{array} \right)}\). In this paper, we will generalize this setup to “rational” parking functions indexed by a pair (a, b) of coprime positive integers. These parking functions, which are counted by b ^a?1, carry a permutation representation of S _a in which the number of orbits is the “rational” Catalan number \({\frac{1}{a+b} \left( \begin{array}{ll} a+b \\ a \end{array} \right)}\). First, we compute the Frobenius characteristic of the S _a -module of (a, b)-parking functions, giving explicit expansions of this symmetric function in the complete homogeneous basis, the power-sum basis, and the Schur basis. Second, we study q-analogues of the rational Catalan numbers, conjecturing new combinatorial formulas for the rational q-Catalan numbers \({\frac{1}{[a+b]_{q}} {{\left[ \begin{array}{ll} a+b \\ a \end{array} \right]}_{q}}}\) and for the q-binomial coefficients \({{{\left[ \begin{array}{ll} n \\ k \end{array} \right]}_{q}}}\). We give a bijective explanation of the division by [a+b] _q that proves the equivalence of these two conjectures. Third, we present combinatorial definitions for q, t-analogues of rational Catalan numbers and parking functions, generalizing the Shuffle Conjecture for the classical case. We present several conjectures regarding the joint symmetry and t = 1/q specializations of these polynomials. An appendix computes these polynomials explicitly for small values of a and b.     

On the primitive divisors of the recurrent sequence $$u_{n+1}=(4\rm{cos}^2(2\pi/7)-1)\it{u}_{n}-u_{n-\rm{1}}$$ with applications to group theory

Consider the sequence of algebraic integers u_n given by the starting values u₀ = 0, u₁ = 1 and the recurrence \(u_{n+1}=(4\rm{cos}^2(2\pi/7)-1)\it{u}_{n}-u_{n-\rm{1}}\). We prove that for any n ? {1, 2, 3, 5, 8, 12, 18, 28, 30} the n-th term of the sequence has a primitive divisor in \(\mathbb{Z}[2\rm{cos}(2\pi/7)]\). As a consequence we deduce that for any suffciently large n there exists a prime power q such that the group PSL₂(q) can be generated by a pair x, y with \(x^2=y^3=(xy)^7=1\) and the order of the commutator [x, y] is exactly n. The latter result answers in affrmative a question of Holt and Plesken.     

Permutation polynomials of the type $$x^rg(x^{s})$$ over $${\mathbb {F}}_{q^{2n}}$$Fq2n

We provide some new families of permutation polynomials of \({\mathbb {F}}_{q^{2n}}\) of the type \(x^rg(x^{s})\), where the integers r, s and the polynomial \(g \in {\mathbb {F}}_q[x]\) satisfy particular restrictions. Some generalizations of known permutation binomials and trinomials that involve a sort of symmetric polynomials are given. Other constructions are based on the study of algebraic curves associated to certain polynomials. In particular we generalize families of permutation polynomials constructed by Gupta–Sharma, Li–Helleseth, Li–Qu–Li–Fu.     

Goldbach’s conjecture in arithmetic progressions: number and size of exceptional prime moduli

Set \({T=N^{\frac{1}{3}-\epsilon}}\). It is proved that for all but \({\ll TL^{-H},\,H > 0}\), exceptional prime numbers \({k\leq T}\) and almost all integers b ₁, b ₂ co-prime to k, almost all integers \({n\sim N}\) satisfying \({n\equiv b_{1}+b_{2}(mod\,k)}\) can be written as the sum of two primes p ₁ and p ₂ satisfying \({p_{i}\equiv b_{i}(mod\,k),\,i=1,2}\). For prime numbers \({k\leq N^{\frac{5}{24}-\epsilon}}\), this result is even true for all but \({\ll (\log\,N)^{D}}\) primes k and all integers b ₁, b ₂ co-prime to k.     

Linear combinations of prime powers in sums of terms of binary recurrence sequences

Let (U _n ) _n≥0 be a nondegenerate binary recurrence sequence with positive discriminant. Let p ₁ , . . . , p _s be fixed prime numbers, b ₁ , . . . , b _s be fixed nonnegative integers, and a ₁ , . . . , a _t be positive integers. In this paper, under certain assumptions, we obtain a finiteness result for the solution of the Diophantine equation \( {\alpha}_1{U}_{n1}+\cdots +{\alpha}_t{U}_{n1}={b}_1{p}_1^{z_1}+\cdots {b}_s{p}_s^{z_s}. \) Moreover, we explicitly solve the equation F _n1 + F _n2 = 2 ^z1 + 3 ^z2 in nonnegative integers n ₁, n ₂, z ₁, z ₂ with z ₂ ≥ z ₁. The main tools used in this work are the lower bound for linear forms in logarithms and the Baker–Davenport reduction method. This work generalizes the recent papers [E. Mazumdar and S.S. Rout, Prime powers in sums of terms of binary recurrence sequences, arXiv:1610.02774] and [C. Bertók, L. Hajdu, I. Pink, and Z. Rábai, Linear combinations of prime powers in binary recurrence sequences, Int. J. Number Theory, 13(2):261–271, 2017].     

The sum of digits of primes in $${\mathbb{Z}}$$[i]

We study the distribution of the complex sum-of-digits function s _q with basis q = –a±i, \({a \in \mathbb{Z}^+}\) for Gaussian primes p. Inspired by a recent result of Mauduit and Rivat (http://iml.univ-mrs.fr/~rivat/publications.html) for the real sum-of-digits function, we here get uniform distribution modulo 1 of the sequence (αs _q (p)) provided \({\alpha \in \mathbb{R} \setminus \mathbb{Q}}\) and q is prime with a ≥ 28. We also determine the order of magnitude of the number of Gaussian primes whose sum-of-digits evaluation lies in some fixed residue class mod m.     

Super (<Emphasis Type="Italic">a</Emphasis>, <Emphasis Type="Italic">d</Emphasis>)-edge-antimagic total labelings of complete bipartite graphs

An (a, d)-edge-antimagic total labeling of a graph G is a bijection f from V(G) ∪ E(G) onto {1, 2,…,|V(G)| + |E(G)|} with the property that the edge-weight set {f(x) + f(xy) + f(y) | xy ∈ E(G)} is equal to {a, a + d, a + 2d,...,a + (|E(G)| ? 1)d} for two integers a > 0 and d ? 0. An (a, d)-edge-antimagic total labeling is called super if the smallest possible labels appear on the vertices. In this paper, we completely settle the problem of the super (a, d)-edge-antimagic total labeling of the complete bipartite graph K_m,n and obtain the following results: the graph K_m,n has a super (a, d)-edge-antimagic total labeling if and only if either (i) m = 1, n = 1, and d ? 0, or (ii) m = 1, n ? 2 (or n = 1 and m ? 2), and d ∈ {0, 1, 2}, or (iii) m = 1, n = 2 (or n = 1 and m = 2), and d = 3, or (iv) m, n ? 2, and d = 1.     

Global asymptotic stability of the higher order equation $$x_{n+1} = \frac{ ax_{n}+bx_{n-k}}{A+Bx_{n-k}}$$

In this paper, we investigate the local and global stability and the period two solutions of all nonnegative solutions of the difference equation,

$$\begin{aligned} x_{n+1} = \frac{ ax_{n}+bx_{n-k}}{A+Bx_{n-k}} \end{aligned}$$

where a, b, A, B are all positive real numbers, \(k \ge 1\) is a positive integer, and the initial conditions \(x_{-k},x_{-k+1},...,x_{0}\) are nonnegative real numbers. It is shown that the zero equilibrium point is globally asymptotically stable under the condition \(a+b \le A\), and the unique positive solution is also globally asymptotically stable under the condition \(a-b \le A \le a+b\). By the end, we study the global stability of such an equation through numerically solved examples.

     

Lie Triple Derivations on von Neumann Algebras

Let A be a von Neumann algebra with no central abelian projections. It is proved that if an additive map δ :A → A satisfies δ([[a, b], c]) = [[δ(a), b], c] + [[a, δ(b)], c] +[[a, b], δ(c)] for any a, b, c∈ A with ab = 0(resp. ab = P, where P is a fixed nontrivial projection in A), then there exist an additive derivation d from A into itself and an additive map f :A → ZA vanishing at every second commutator [[a, b], c] with ab = 0(resp.ab = P) such that δ(a) = d(a) + f(a) for any a∈ A.     

A Neighborhood Union Condition for Fractional ID-[<Emphasis Type="Italic">a</Emphasis>, <Emphasis Type="Italic">b</Emphasis>]-factor-critical Graphs

Let a, b, r be nonnegative integers with \(1\leq{a}\leq{b}\) and \(r\geq2\). Let G be a graph of order n with \(n >\frac{(a+2b)(r(a+b)-2)}{b}\). In this paper, we prove that G is fractional ID-[a, b]-factor-critical if \(\delta(G)\geq\frac{bn}{a+2b}+a(r-1)\) and \(\mid N_{G}(x_{1}) \cup N_{G}(x_{2}) \cup \cdotp \cdotp \cdotp \cup N_{G}(x_{r})\mid\geq\frac{(a+b)n}{a+2b}\) for any independent subset {x₁, x₂, · · ·, x_r} in G. It is a generalization of Zhou et al.’s previous result [Discussiones Mathematicae Graph Theory, 36: 409–418 (2016)] in which r = 2 is discussed. Furthermore, we show that this result is best possible in some sense.     

On some permutation binomials and trinomials over $$\mathbb {F}_{2^n}$$

In this work, we completely characterize (1) permutation binomials of the form \(x^{{{2^n -1}\over {2^t-1}}+1}+ ax \in \mathbb {F}_{2^n}[x], n = 2^st, a \in \mathbb {F}_{2^{2t}}^{*}\), and (2) permutation trinomials of the form \(x^{2^s+1}+x^{2^{s-1}+1}+\alpha x \in \mathbb {F}_{2^t}[x]\), where s, t are positive integers. The first result, which was our primary motivation, is a consequence of the second result. The second result may be of independent interest.     

Qualitative Properties for a Fourth Order Rational Difference Equation

In this paper we deal with some properties of the solutions of the recursive sequence

$x_{n+1}=ax_{n-1}+\frac{bx_{n-1}x_{n-3}}{cx_{n-1}+dx_{n-3}},\quad n=0,1,\ldots,$

where the initial conditions x _?3, x _?2, x _?1, x ₀ are arbitrary positive real numbers and a, b, c, d are constants. Also, we give the form of the solution of some special cases of this equation.

     

Set-theoretic complete intersection monomial curves in $${\mathbb{P}^n}$$

In this paper, we give a sufficient numerical criterion for a monomial curve in a projective space to be a set-theoretic complete intersection. Our main result generalizes a similar statement proven by Keum for monomial curves in three-dimensional projective space. We also prove that there are infinitely many set-theoretic complete intersection monomial curves in the projective n?space for any suitably chosen n ? 1 integers. In particular, for any positive integers p, q, where gcd(p, q) = 1, the monomial curve defined by p, q, r is a set-theoretic complete intersection for every \({r \geq pq( q - 1)}\).     

Automorphism Group of Representation Ring of the Weak Hopf Algebra $$\widetilde{H_8 }$$

Let H₈ be the unique noncommutative and noncocommutative eight dimensional semi-simple Hopf algebra. We first construct a weak Hopf algebra \(\widetilde{H_8 }\)based on H₈, then we investigate the structure of the representation ring of \(\widetilde{H_8 }\). Finally, we prove that the automorphism group of \(r\left( {\widetilde{H_8 }} \right)\)is just isomorphic to D₆, where D₆ is the dihedral group with order 12.     

On the reflexivity of $$\mathcal {P}_{w}(^{n}E;F)$$

In this paper we prove that if E and F are reflexive Banach spaces and G is a closed linear subspace of the space \(\mathcal {L}_{K}(E;F)\) of all compact linear operators from E into F, then G is either reflexive or non-isomorphic to a dual space. This result generalizes (Israel J Math 21:38-49, 1975, Theorem 2) and gives the solution to a problem posed by Feder (Ill J Math 24:196-205, 1980, Problem 1). We also prove that if E and F are reflexive Banach spaces, then the space \(\mathcal {P}_{w}(^{n}E;F)\) of all n-homogeneous polynomials from E into F which are weakly continuous on bounded sets is either reflexive or non-isomorphic to a dual space.     

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\}\).     

On the Diophantine equation $$X^{2N}+2^{2\alpha }5^{2\beta }{p}^{2\gamma } = Z^5$$

We prove that for each prime p, positive integer \(\alpha \), and non-negative integers \(\beta \) and \(\gamma \), the Diophantine equation \(X^{2N} + 2^{2\alpha }5^{2\beta }{p}^{2\gamma } = Z^5\) has no solution with N, X, \(Z\in \mathbb {Z}^+\), \(N > 1\), and \(\gcd (X,Z) = 1\).     

Characterizations of the Vertex Operator Algebras ${V_{L}^{T}}$ and VLO${V_{L}^{O}}$

In this paper, we give characterizations of the rational vertex operator algebras \({V_{L}^{T}}\) and \({V_{L}^{O}}\), where L is the root lattice of type A ₁, T is the tetrahedral group, and O is the octahedral group. By these two characterizations, the classification of rational VOAs of central charge 1 is reduced to the characterization of \({V_{L}^{I}}\) where I is the icosahedral group.