Some rigidity results for non-commutative Bernoulli shifts

We introduce the outer conjugacy invariants , for cocycle actions σ of discrete groups G on type II₁ factors N, as the set of real numbers t>0 for which the amplification σ^t of σ can be perturbed to an action, respectively, to a weakly mixing action. We calculate explicitly and the fundamental group of σ, , in the case G has infinite normal subgroups with the relative property (T) (e.g., when G itself has the property (T) of Kazhdan) and σ is an action of G on the hyperfinite II₁ factor by Connes–Størmer Bernoulli shifts of weights {t_i}_i. Thus, and coincide with the multiplicative subgroup S of generated by the ratios {t_i/t_j}_i,j, while if S={1} (i.e. when all weights are equal), and otherwise. In fact, we calculate all the “1-cohomology picture” of σ^t,t>0, and classify the actions (σ,G) in terms of their weights {t_i}_i. In particular, we show that any 1-cocycle for (σ,G) vanishes, modulo scalars, and that two such actions are cocycle conjugate iff they are conjugate. Also, any cocycle action obtained by reducing a Bernoulli action of a group G as above on to the algebra pNp, for p a projection in N, p≠0,1, cannot be perturbed to a genuine action.     

The cardinality of certain -orthogonal exponentials

The self-affine measures μ_M,D corresponding to the case (i) M=pI₃, D={0,e₁,e₂,e₃} in the space and the case (ii) M=pI₂, D={0,e₁,e₂,e₁+e₂} in the plane are non-spectral, where p>1 is odd, I_n is the n×n identity matrix, and e₁,…,e_n are the standard basis of unit column vectors in . One of the non-spectral problem on μ_M,D is to estimate the number of orthogonal exponentials in L²(μ_M,D) and to find them. In the present paper we show that, in both cases (i) and (ii), there are at most 4 mutually orthogonal exponentials in L²(μ_M,D) each, and the number 4 is the best.     

Global stability of a difference equation with maximum

We prove that every positive solution to the difference equation

where , i=1,…,k, converges to the following quantity , confirming a quite recent conjecture of interest. We also prove another result on global convergence which concerns some cases when not all α_i,i=1,…,k belong to the interval (0, 1).     

Gottlieb groups of spheres

This paper takes up the systematic study of the Gottlieb groups of spheres for k≤13 by means of the classical homotopy theory methods. We fully determine the groups for k≤13 except for the 2-primary components in the cases: k=9,n=53;k=11,n=115. In particular, we show if n=2ⁱ−7 for i≥4.     

On the graph of a function over a prime field whose small powers have bounded degree

Let f be a function from a finite field with a prime number p of elements, to . In this article we consider those functions f(X) for which there is a positive integer with the property that f(X)ⁱ, when considered as an element of , has degree at most p−2−n+i, for all i=1,…,n. We prove that every line is incident with at most t−1 points of the graph of f, or at least n+4−t points, where t is a positive integer satisfying n>(p−1)/t+t−3 if n is even and n>(p−3)/t+t−2 if n is odd. With the additional hypothesis that there are t−1 lines that are incident with at least t points of the graph of f, we prove that the graph of f is contained in these t−1 lines. We conjecture that the graph of f is contained in an algebraic curve of degree t−1 and prove the conjecture for t=2 and t=3. These results apply to functions that determine less than directions. In particular, the proof of the conjecture for t=2 and t=3 gives new proofs of the result of Lovász and Schrijver [L. Lovász, A. Schrijver, Remarks on a theorem of Rédei, Studia Sci. Math. Hungar. 16 (1981) 449–454] and the result in [A. Gács, On a generalization of Rédei’s theorem, Combinatorica 23 (2003) 585–598] respectively, which classify all functions which determine at most 2(p−1)/3 directions.     

On value sets of polynomials over a field

Let F be any field. Let p(F) be the characteristic of F if F is not of characteristic zero, and let p(F)=+∞ otherwise. Let A₁,…,A_n be finite nonempty subsets of F, and let

with k{1,2,3,…}, a₁,…,a_nF{0} and degg<k. We show that

When kn and |A_i|i for i=1,…,n, we also have

consequently, if nk then for any finite subset A of F we have

In the case n>k, we propose a further conjecture which extends the Erdős–Heilbronn conjecture in a new direction.     

Uniqueness and nonuniqueness of nodal radial solutions of sublinear elliptic equations in a ball

The following Dirichlet problem

(1.1)

is considered, where , N≥2, KC²[0,1] and K(r)>0 for 0≤r≤1, , sf(s)>0 for s≠0. Assume moreover that f satisfies the following sublinear condition: f(s)/s>f^′(s) for s≠0. A sufficient condition is derived for the uniqueness of radial solutions of (1.1) possessing exactly k−1 nodes, where . It is also shown that there exists KC^∞[0,1] such that (1.1) has three radial solutions having exactly one node in the case N=3.     

Delay optimization of linear depth boolean circuits with prescribed input arrival times

We consider boolean circuits C over the basis Ω={,} with inputs x₁, x₂,…,x_n for which arrival times are given. For 1in we define the delay of x_i in C as the sum of t_i and the number of gates on a longest directed path in C starting at x_i. The delay of C is defined as the maximum delay of an input.Given a function of the form

f(x₁,x₂,…,x_n)=g_n−1(g_n−2(…g₃(g₂(g₁(x₁,x₂),x₃),x₄)…,x_n−1),x_n)

where g_jΩ for 1jn−1 and arrival times for x₁,x₂,…,x_n, we describe a cubic-time algorithm that determines a circuit for f over Ω that is of linear size and whose delay is at most 1.44 times the optimum delay plus some small constant.     

Christoffel-type functions for -orthogonal polynomials for Freud weights

This paper gives upper and lower bounds of the Christoffel-type functions , for the m-orthogonal polynomials for a Freud weight W=e^-Q, which are given as follows. Let a_n=a_n(Q) be the nth Mhaskar–Rahmanov–Saff number, φ_n(x)=max{n^-2/3,1-|x|/a_n}, and d>0. Assume that QC(R) is even, , and for some A,B>1

Then for xR

and for |x|a_n(1+dn^-2/3)

     

Positive periodic solutions of higher-dimensional functional difference equations with a parameter

By using Krasnoselskii's fixed point theorem and upper and lower solutions method, we find some sets of positive values λ determining that there exist positive T-periodic solutions to the higher-dimensional functional difference equations of the form where A(n)=diag[a₁(n),a₂(n),…,a_m(n)], h(n)=diag[h₁(n),h₂(n),…,h_m(n)], a_j,h_j :Z→R⁺, τ :Z→Z are T -periodic, j=1,2,…,m, T1, λ>0, x :Z→R^m, f :R₊^m→R₊^m, where R₊^m={(x₁,…,x_m)^TR^m, x_j0, j=1,2,…,m}, R⁺={xR, x>0}.     

All-derivable points in continuous nest algebras

Let be an operator algebra on a Hilbert space. We say that an element is an all-derivable point of for the strong operator topology if every strong operator topology continuous derivable linear mapping φ at G (i.e. φ(ST)=φ(S)T+Sφ(T) for any with ST=G) is a derivation. Let be a continuous nest on a complex and separable Hilbert space H. We show in this paper that every orthogonal projection operator P(M) () is an all-derivable point of for the strong operator topology.     

An existence theorem for weak solutions for a class of elliptic partial differential systems in general Orlicz–Sobolev spaces

I prove the existence of a weak solution for the Dirichlet problem of a class of elliptic partial differential systems in general Orlicz–Sobolev spaces , where i=1,…,N,α=1,…,n, u:Ω→R^N is a vector-valued function, and the summation convention is used throughout with i,j running from 1 to N and α,β running from 1 to n.     

Intersective polynomials and the polynomial Szemerédi theorem

Let be a family of polynomials such that , i=1,…,r. We say that the family P has the PSZ property if for any set with there exist infinitely many such that E contains a polynomial progression of the form {a,a+p₁(n),…,a+p_r(n)}. We prove that a polynomial family P={p₁,…,p_r} has the PSZ property if and only if the polynomials p₁,…,p_r are jointly intersective, meaning that for any there exists such that the integers p₁(n),…,p_r(n) are all divisible by k. To obtain this result we give a new ergodic proof of the polynomial Szemerédi theorem, based on the fact that the key to the phenomenon of polynomial multiple recurrence lies with the dynamical systems defined by translations on nilmanifolds. We also obtain, as a corollary, the following generalization of the polynomial van der Waerden theorem: If are jointly intersective integral polynomials, then for any finite partition of , there exist i{1,…,k} and a,nE_i such that {a,a+p₁(n),…,a+p_r(n)}E_i.     

Dual generalized Bernstein basis

The generalized Bernstein basis in the space Π_n of polynomials of degree at most n, being an extension of the q-Bernstein basis introduced by Philips [Bernstein polynomials based on the q-integers, Ann. Numer. Math. 4 (1997) 511–518], is given by the formula [S. Lewanowicz, P. Woźny, Generalized Bernstein polynomials, BIT Numer. Math. 44 (2004) 63–78],

We give explicitly the dual basis functions for the polynomials , in terms of big q-Jacobi polynomials P_k(x;a,b,ω/q;q), a and b being parameters; the connection coefficients are evaluations of the q-Hahn polynomials. An inverse formula—relating big q-Jacobi, dual generalized Bernstein, and dual q-Hahn polynomials—is also given. Further, an alternative formula is given, representing the dual polynomial (0jn) as a linear combination of min(j,n-j)+1 big q-Jacobi polynomials with shifted parameters and argument. Finally, we give a recurrence relation satisfied by , as well as an identity which may be seen as an analogue of the extended Marsden's identity [R.N. Goldman, Dual polynomial bases, J. Approx. Theory 79 (1994) 311–346].     

Positive periodic solutions of periodic neutral Lotka–Volterra system with state dependent delays

By using a fixed point theorem of strict-set-contraction, some new criteria are established for the existence of positive periodic solutions of the following periodic neutral Lotka–Volterra system with state dependent delays

where (i,j=1,2,…,n) are ω-periodic functions and (i=1,2,…,n) are ω-periodic functions with respect to their first arguments, respectively.     

The statistical distribution of the zeros of random paraorthogonal polynomials on the unit circle

The orthogonal polynomials on the unit circle are defined by the recurrence relation

where for any k0. If we consider n complex numbers and , we can use the previous recurrence relation to define the monic polynomials Φ₀,Φ₁,…,Φ_n. The polynomial Φ_n(z)=Φ_n(z;α₀,…,α_n-2,α_n-1) obtained in this way is called the paraorthogonal polynomial associated to the coefficients α₀,α₁,…,α_n-1.We take α₀,α₁,…,α_n-2 i.i.d. random variables distributed uniformly in a disk of radius r<1 and α_n-1 another random variable independent of the previous ones and distributed uniformly on the unit circle. For any n we will consider the random paraorthogonal polynomial Φ_n(z)=Φ_n(z;α₀,…,α_n-2,α_n-1). The zeros of Φ_n are n random points on the unit circle.We prove that for any the distribution of the zeros of Φ_n in intervals of size near e^iθ is the same as the distribution of n independent random points uniformly distributed on the unit circle (i.e., Poisson). This means that, for large n, there is no local correlation between the zeros of the considered random paraorthogonal polynomials.     

On a filter for exponentially localized kernels based on Jacobi polynomials

Let , and for k=0,1,…, denote the orthonormalized Jacobi polynomial of degree k. We discuss the construction of a matrix H so that there exist positive constants c, c₁, depending only on H, α, and β such that

Specializing to the case of Chebyshev polynomials, , we apply this theory to obtain a construction of an exponentially localized polynomial basis for the corresponding L² space.     

On real-analytic recurrence relations for cardinal exponential B-splines

Let L_N+1 be a linear differential operator of order N+1 with constant coefficients and real eigenvalues λ₁,…,λ_N+1, let E(Λ_N+1) be the space of all C^∞-solutions of L_N+1 on the real line. We show that for N2 and n=2,…,N, there is a recurrence relation from suitable subspaces to involving real-analytic functions, and with if and only if contiguous eigenvalues are equally spaced.     

Generating random correlation matrices based on partial correlations

A d-dimensional positive definite correlation matrix R=(ρ_ij) can be parametrized in terms of the correlations ρ_i,i+1 for i=1,…,d-1, and the partial correlations ρ_{ij|i+1,…j-1} for j-i2. These parameters can independently take values in the interval (-1,1). Hence we can generate a random positive definite correlation matrix by choosing independent distributions F_ij, 1i<jd, for these parameters. We obtain conditions on the F_ij so that the joint density of (ρ_ij) is proportional to a power of det(R) and hence independent of the order of indices defining the sequence of partial correlations. As a special case, we have a simple construction for generating R that is uniform over the space of positive definite correlation matrices. As a byproduct, we determine the volume of the set of correlation matrices in -dimensional space. To prove our results, we obtain a simple remarkable identity which expresses det(R) as a function of ρ_i,i+1 for i=1,…,d-1, and ρ_{ij|i+1,…j-1} for j-i2.     

On recurrence coefficients for rapidly decreasing exponential weights

Let, for example,

where α>0, k1, and exp_k=exp(exp(…exp())) denotes the kth iterated exponential. Let {A_n} denote the recurrence coefficients in the recurrence relation

xp_n(x)=A_np_n+1(x)+A_n-1p_n-1(x)