Small solutions of the congruencea1x12 +a2x22 +a3x32 +a4x42 ≡c(modp)

For any integersa ₁,a ₂,a ₃,a ₄ andc witha ₁ a ₂ a ₃ a ₄≢0(modp), this paper shows that there exists a solutionX=(x ₁,x ₂,x ₃,x ₄) ∈Z ⁴ of the congruencea ₁ x ₁ ² +a ₂ x ₂ ² +a ₃ x ₃ ² +a ₄ x ₄ ² ≡c(modp) such that

Cocentralizing derivations and nilpotent values on Lie ideals

Let R be a prime ring with char R ≠ 2, L a non-central Lie ideal of R, d, g non-zero derivations of R, n ≥ 1 a fixed integer. We prove that if (d(x)x − xg(x)) ⁿ = 0 for all x ∈ L, then either d = g = 0 or R satisfies the standard identity s ₄ and d, g are inner derivations, induced respectively by the elements a and b such that a + b ∈ Z(R).     

Commutative Rings Whose Cozero-Divisor Graphs are Unicyclic or of Bounded Degree

Let R be a commutative ring with unity. The cozero-divisor graph of R, denoted by Γ′(R), is a graph with vertex set W*(R), where W*(R) is the set of all nonzero and nonunit elements of R, and two distinct vertices a and b are adjacent if and only if a ? Rb and b ? Ra, where Rc is the ideal generated by the element c in R. Recently, it has been proved that for every nonlocal finite ring R, Γ′(R) is a unicyclic graph if and only if R ? ?₂ × ?₄, ?₃ × ?₃, ?₂ × ?₂[x]/(x ²). We generalize the aforementioned result by showing that for every commutative ring R, Γ′(R) is a unicyclic graph if and only if R ? ?₂ × ?₄, ?₃ × ?₃, ?₂ × ?₂[x]/(x ²), ?₂[x, y]/(x, y)², ?₄[x]/(2x, x ²). We prove that for every positive integer Δ, the set of all commutative nonlocal rings with maximum degree at most Δ is finite. Also, we classify all rings whose cozero-divisor graph has maximum degree 3. Among other results, it is shown that for every commutative ring R, gr(Γ′(R)) ∈ {3, 4, ∞}.     

On a class of systems of rational second-order difference equations solvable in closed form

We show that the following nonlinear system of difference equations where parameters a,b,c,d and initial values x₋₁,x₀,y₋₁,y₀ are real numbers, is solvable in closed form, considerably generalizing some recent results. To do this, we use the method of transformation along with several tricks, transforming the system to some known solvable difference equations, by use of which we obtain some closed-form formulas for general solution to the system. The following five cases are considered separately: (1) c=0; (2) d=0; (3) a=0; (4) b=0; and (5) abcd≠0.     

Reciprocal polynomials with all zeros on the unit circle

Let f(x)=a _d x ^d +a _d−1 x ^d−1+⋅⋅⋅+a ₀∈ℝ[x] be a reciprocal polynomial of degree d. We prove that if the coefficient vector (a _d ,a _d−1,…,a ₀) or (a _d−1,a _d−2,…,a ₁) is close enough, in the l ¹-distance, to the constant vector (b,b,…,b)∈ℝ ^d+1 or ℝ ^d−1, then all of its zeros have moduli 1.     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

Triangle-free distance-regular graphs

Let Γ denote a distance-regular graph with diameter d≥3. By a parallelogram of length 3, we mean a 4-tuple xyzw consisting of vertices of Γ such that ∂(x,y)=∂(z,w)=1, ∂(x,z)=3, and ∂(x,w)=∂(y,w)=∂(y,z)=2, where ∂ denotes the path-length distance function. Assume that Γ has intersection numbers a ₁=0 and a ₂≠0. We prove that the following (i) and (ii) are equivalent. (i) Γ is Q-polynomial and contains no parallelograms of length 3; (ii) Γ has classical parameters (d,b,α,β) with b<−1. Furthermore, suppose that (i) and (ii) hold. We show that each of b(b+1)²(b+2)/c ₂, (b−2)(b−1)b(b+1)/(2+2b−c ₂) is an integer and that c ₂≤b(b+1). This upper bound for c ₂ is optimal, since the Hermitian forms graph Her₂(d) is a triangle-free distance-regular graph that satisfies c ₂=b(b+1). Work partially supported by the National Science Council of Taiwan, R.O.C.     

Two-point Taylor expansions in the asymptotic approximation of double integrals. Application to the second and fourth Appell functions

The main difficulty in Laplace's method of asymptotic expansions of double integrals is originated by a change of variables. We consider a double integral representation of the second Appell function F₂(a,b,b^′,c,c^′;x,y) and illustrate, over this example, a variant of Laplace's method which avoids that change of variables and simplifies the computations. Essentially, the method only requires a Taylor expansion of the integrand at the critical point of the phase function. We obtain in this way an asymptotic expansion of F₂(a,b,b^′,c,c^′;x,y) for large b, b^′, c and c^′. We also consider a double integral representation of the fourth Appell function F₄(a,b,c,d;x,y). We show, in this example, that this variant of Laplace's method is uniform when two or more critical points coalesce or a critical point approaches the boundary of the integration domain. We obtain in this way an asymptotic approximation of F₄(a,b,c,d;x,y) for large values of a,b,c and d. In this second example, the method requires a Taylor expansion of the integrand at two points simultaneously. For this purpose, we also investigate in this paper Taylor expansions of two-variable analytic functions with respect to two points, giving Cauchy-type formulas for the coefficients of the expansion and details about the regions of convergence.     

Simplicial complexes and Macaulay’s inverse systems

Let Δ be a simplicial complex on V = {x ₁, . . . , x _n }, with Stanley–Reisner ideal ${I_{\Delta}\subseteq R=k[x_1,\ldots, x_n]}Let Δ be a simplicial complex on V = {x ₁, . . . , x _n }, with Stanley–Reisner ideal I_D í R=k[x₁,?, x_n]{I_{\Delta}\subseteq R=k[x_1,\ldots, x_n]} . The goal of this paper is to investigate the class of artinian algebras A=A(D,a₁,?,a_n) = R/(I_D,x₁^a₁,?,x_n^a_n){A=A(\Delta,a_1,\ldots,a_n)= R/(I_{\Delta},x_1^{a_1},\ldots,x_n^{a_n})} , where each a _i ≥ 2. By utilizing the technique of Macaulay’s inverse systems, we can explicitly describe the socle of A in terms of Δ. As a consequence, we determine the simplicial complexes, that we will call levelable, for which there exists a tuple (a ₁, . . . , a _n ) such that A(Δ, a ₁, . . . , a _n ) is a level algebra.     

Coxeter group actions on <Subscript>4</Subscript><Emphasis Type="Italic">F</Emphasis><Subscript>3</Subscript>(1) hypergeometric series

In this paper we investigate a certain linear combination K([(x)\vec])=K(a;b,c,d;e,f,g)K(\vec{x})=K(a;b,c,d;e,f,g) of two Saalschutzian hypergeometric series of type ₄ F ₃(1). We first show that K([(x)\vec])K(\vec{x}) is invariant under the action of a certain matrix group G _K , isomorphic to the symmetric group S ₆, acting on the affine hyperplane V={(a,b,c,d,e,f,g)∈ℂ⁷:e+f+g−a−b−c−d=1}. We further develop an algebra of three-term relations for K(a;b,c,d;e,f,g). We show that, for any three elements μ ₁,μ ₂,μ ₃ of a certain matrix group M _K , isomorphic to the Coxeter group W(D ₆) (of order 23040) and containing the above group G _K , there is a relation among K(m₁[(x)\vec])K(\mu_{1}\vec{x}), K(m₂[(x)\vec])K(\mu_{2}\vec{x}), and K(m₃[(x)\vec])K(\mu_{3}\vec{x}), provided that no two of the μ _j ’s are in the same right coset of G _K in M _K . The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in a,b,c,d,e,f,g.     

Disjunctive Rado numbers

If L₁ and L₂ are linear equations, then the disjunctive Rado number of the set {L₁,L₂} is the least integer n, provided that it exists, such that for every 2-coloring of the set {1,2,…,n} there exists a monochromatic solution to either L₁ or L₂. If such an integer n does not exist, then the disjunctive Rado number is infinite. In this paper, it is shown that for all integers and b1, the disjunctive Rado number for the equations x₁+a=x₂ and x₁+b=x₂ is a+b+1-gcd(a,b) if is odd and the disjunctive Rado number for these equations is infinite otherwise. It is also shown that for all integers a>1 and b>1, the disjunctive Rado number for the equations ax₁=x₂ and bx₁=x₂ is c^s+t-1 if there exist natural numbers c,s, and t such that a=c^s and b=c^t and s+t is an odd integer and c is the largest such integer, and the disjunctive Rado number for these equations is infinite otherwise.     

Representations by quaternary quadratic forms whose coefficients are 1, 4, 9 and 36

Explicit formulae are determined for the number of representations of a positive integer by the quadratic forms ax²+by²+cz²+dt² with a,b,c,d∈{1,4,9,36}, gcd(a,b,c,d)=1 and a?b?c?d.     

Analogues to Fermat primes related to Pell��s equation

The coefficients of some weight 3 modular forms give reason to study primes of the form p = 2x ² ? 1 = 2dy ² + 1. If x _a , y _a are the positive solutions of Pell??s equation x ² ? dy ² = 1, given by ${x_a + y_a \sqrt{d} = (x_1 + y_1 \sqrt{d})^a}The coefficients of some weight 3 modular forms give reason to study primes of the form p = 2x ² − 1 = 2dy ² + 1. If x _a , y _a are the positive solutions of Pell’s equation x ² − dy ² = 1, given by x_a + y_a ?d = (x₁ + y₁ ?d)^a{x_a + y_a \sqrt{d} = (x_1 + y_1 \sqrt{d})^a}, and if p_a = 2 x_a² - 1{p_a = 2 x_a^2 - 1} is prime, then a = 2 ^m is a power of 2. So there are analogues to the Fermat numbers 2 ^a + 1.     

Relations between the half turns of the hyperbolic plane

Let R_a denote the half turn about the point a of the hyperbolic plane H. If the points a, b, c, d lie on the same line and the pair (c, d) is obtained from the pair (a, b) by a translation, then we have R_aR_b = R_cR_d. We study the group G whose generating set is {R_a:a∈H} and whose defining relations are the ones mentioned above together with the relations R²_a = 1. We show that G can be made into a Lie group, G has two connected components, and its identity component G₀ is the universal covering group of PSL₂(R). In particular, it follows that all relations between the half turns in PSL₂(R) follow from the abovementioned relations and a single additional relation of length five.     

Equality of two variable weighted means: reduction to differential equations

Summary. Let F, Y \Phi, \Psi be strictly monotonic continuous functions, F,G be positive functions on an interval I and let n ? \Bbb N \{1} n \in {\Bbb N} \setminus \{1\} . The functional equation¶¶F^-1 ([(?_i=1ⁿF(x_i)F(x_i))/(?_i=1ⁿ F(x_i)]) Y^-1 ([(?_i=1ⁿY(x_i)G(x_i))/(?_i=1ⁿ G(x_i))])  (x₁,?,x_n ? I) \Phi^{-1}\,\left({\sum\limits_{i=1}^{n}\Phi(x_{i})F(x_{i})\over\sum\limits_{i=1}^{n} F(x_{i}}\right) \Psi^{-1}\,\left({\sum\limits_{i=1}^{n}\Psi(x_{i})G(x_{i})\over\sum\limits_{i=1}^{n} G(x_{i})}\right)\,\,(x_{1},\ldots,x_{n} \in I) ¶was solved by Bajraktarevi' [3] for a fixed n 3 3 n\ge 3 . Assuming that the functions involved are twice differentiable he proved that the above functional equation holds if and only if¶¶Y(x) = [(aF(x) + b)/(cF(x) + d)],       G(x) = kF(x)(cF(x) + d) \Psi(x) = {a\Phi(x)\,+\,b\over c\Phi(x)\,+\,d},\qquad G(x) = kF(x)(c\Phi(x) + d) ¶where a,b,c,d,k are arbitrary constants with k(c²+d²)(ad-bc) 1 0 k(c^2+d^2)(ad-bc)\ne 0 . Supposing the functional equation for all n = 2,3,... n = 2,3,\dots Aczél and Daróczy [2] obtained the same result without differentiability conditions.¶The case of fixed n = 2 is, as in many similar problems, much more difficult and allows considerably more solutions. Here we assume only that the same functional equation is satisfied for n = 2 and solve it under the supposition that the functions involved are six times differentiable. Our main tool is the deduction of a sixth order differential equation for the function j = F°Y^-1 \varphi = \Phi\circ\Psi^{-1} . We get 32 new families of solutions.     

Skew Derivations and Engel Conditions

It is known that for a nonzero derivation d of a prime ring R, if a nonzero ideal I of R satisfies the Engel-type identity [[…[[d(x ^{k ₀} ), x ^{k ₁} ], x ^{k ₂} ],…], x ^{k _n} ], then R is commutative. Here we extend this result to a skew derivation of R for a Lie ideal I, which has an immediate corollary that replaces d by an automorphism of R. A related result in two variables is obtained for d a (θ, ?)-derivation.     

On the number of solutions to systems of Pell equations

We prove that, for positive integers a, b, c and d with c≠d, a>1, b>1, the number of simultaneous solutions in positive integers to ax²−cz²=1, by²−dz²=1 is at most two. This result is the best possible one. We prove a similar result for the system of equations x²−ay²=1, z²−bx²=1.     

A Conjecture Concerning the Pure Exponential Diophantine Equation a^x ＋ b^y = c^z

Let a, b, c, r be fixed positive integers such that a^2 ＋ b^2 = c^r, min（a, b, c, r） 〉 1 and 2 r. In this paper we prove that if a ≡ 2 （mod 4）, b ≡ 3 （mod 4）, c 〉 3.10^37 and r 〉 7200, then the equation a^x ＋ b^y = c^z only has the solution （x, y, z） = （2, 2, r）.     

Pairwise intersections and forbidden configurations

Let f_m(a,b,c,d) denote the maximum size of a family of subsets of an m-element set for which there is no pair of subsets with

By symmetry we can assume a≥d and b≥c. We show that f_m(a,b,c,d) is Θ(m^a+b−1) if either b>c or a,b≥1. We also show that f_m(0,b,b,0) is Θ(m^b) and f_m(a,0,0,d) is Θ(m^a). The asymptotic results are as m→∞ for fixed non-negative integers a,b,c,d. This can be viewed as a result concerning forbidden configurations and is further evidence for a conjecture of Anstee and Sali. Our key tool is a strong stability version of the Complete Intersection Theorem of Ahlswede and Khachatrian, which is of independent interest.