On cyclic decompositions of the complete graph into the 2-regular graphs

The symbol C(m₁ ⁿ ₁m₂ ⁿ ₂...m_s ⁿ _s) denotes a 2-regular graph consisting ofn _i cycles of lengthm _i , i=1, 2,…,s. In this paper, we give some construction methods of cyclic(K _v ,G)-designs, and prove that there exists a cyclic(K _v , G)-design whenG=C((4m ₁) ⁿ ₁(4m ₂) ⁿ ₂...(4m _s ) ⁿ _s andv ≡ 1 (mod 2¦G¦).     

Uniform stability of the inverse Sturm-Liouville problem with respect to the spectral function in the scale of Sobolev spaces

We consider the inverse problem of recovering the potential for the Sturm-Liouville operator Ly = ?y″ + q(x)y on the interval [0, π] from the spectrum of the Dirichlet problem and norming constants (from the spectral function). For a fixed θ ≥ 0, with this problem we associate a map F: W ₂ ^θ → l _D ^θ , F(σ) = {s _k } ₁ ^∞ , where W ₂ ^θ = W ₂ ^θ [0, π] is the Sobolev space, σ = ∫ q is a primitive of the potential q ∈ W ₂ ^{θ ? 1} , and l _D ^θ is a specially constructed finite-dimensional extension of the weighted space l ₂ ^θ ; this extension contains the regularized spectral data s = {s _k } ₁ ^∞ for the problem of recovering the potential from the spectral function. The main result consists in proving both lower and upper uniform estimates for the norm of the difference ‖σ ? σ ₁‖ _θ in terms of the l _D ^θ norm of the difference of the regularized spectral data ‖s ? s₁‖ _θ . The result is new even for the classical case q ∈ L ₂, which corresponds to the case θ = 1.     

Ergodic Theory and Maximal Abelian Subalgebras of the Hyperfinite Factor

Let T be a free ergodic measure-preserving action of an abelian group G on (X,μ). The crossed product algebra R_T=L^∞(X,μ)? G has two distinguished masas, the image C_T of L^∞(X,μ) and the algebra S_T generated by the image of G. We conjecture that conjugacy of the singular masas S_T⁽¹⁾ and S_T⁽²⁾ for weakly mixing actions T⁽¹⁾ and T⁽²⁾ of different groups implies that the groups are isomorphic and the actions are conjugate with respect to this isomorphism. Our main result supporting this conjecture is that the conclusion is true under the additional assumption that the isomorphism γ : R_T⁽¹⁾→R_T⁽²⁾ such that γ(S_T⁽¹⁾)=S_T⁽²⁾ has the property that the Cartan subalgebras γ(C_T⁽¹⁾) and C_T⁽²⁾ of R_T⁽²⁾ are inner conjugate. We discuss a stronger conjecture about the structure of the automorphism group Aut(R_T,S_T), and a weaker one about entropy as a conjugacy invariant. We study also the Pukanszky and some related invariants of S_T, and show that they have a simple interpretation in terms of the spectral theory of the action T. It follows that essentially all values of the Pukanszky invariant are realized by the masas S_T, and there exist non-conjugate singular masas with the same Pukanszky invariant.     

On the growth order of the rectangular partial sums of multiple non-orthogonal series

Пустьd-натуральное ч исло,Z ^d — множество на боров k=(k ₁, ...,k _d ), состоящих из неотрицательных цел ыхk _j ,Z ₊ ^d =k∈Z ^d :k≧1. Предположи м, что системаf _k (x):k∈Z ₊ ^d ? ?L₂(X,A, μ) и последовател ьностьa _k :k∈Z ₊ ^d . таковы, чт о для всех b∈Z^d и m∈Z ₊ ^d выполн ены неравенства (2) $$\left\| {\sum\limits_{b + 1 \leqq k \leqq b + m} {a_k f_k (x)} } \right\|_2^2 \leqq w^2 (m)\sum\limits_{b + 1 \leqq k \leqq b + m} {a_k^2 } $$ где последовательно сть {w(m): m∈Z ₊ ^d положительн а и не убывает. Например, есл иf _k (х) — квазистационарная система, то для соотве тствующей последовательности {ω(m) (2) имeeт Меcтo ДЛЯ ЛЮбОЙ ПОС ЛеДОВатеЛЬНОСТИ {a_k}. В работе получены оце нки порядка роста пря моугольных частных суммS _m (x)= =∑ a_kf_k(x) при maxmj→∞ как в случ ае {a_k}∈l₂, таки для {a_k}l₂. Эти оценки явля1≦k≦m 1≦j≦d ются новыми даже для о ртогональных кратны х рядов. Показано, что упомяну тые оценки в общем слу чае являются точными.     

On the equivalence of the Euler-Pommier operators in spaces of analytic functions

In the space A (θ) of all one-valued functions f(z) analytic in an arbitrary region G ? ? (0 ∈ G) with the topology of compact convergence, we establish necessary and sufficient conditions for the equivalence of the operators L ₁=α _n z ⁿ Δ ⁿ + ... + α₁ zΔ+α₀ E and L ₂= z ⁿ a _n (z)Δ ⁿ + ... + za ₁(z)Δ+a ₀(z)E, where δ: (Δ?)(z)=(f(z)-?(0))/z is the Pommier operator in A(G), n ∈ ?, α _n ∈ ?, a _k (z) ∈ A(G), 0≤k≤n, and the following condition is satisfied: Σ _j=s ^n?1 α _j+1 ∈ 0, s=0,1,...,n?1. We also prove that the operators z ^s+1Δ+β(z)E, β(z) ∈ A _R , s ∈ ?, and z ^s+1 are equivalent in the spaces A _R, 0?R?-∞, if and only if β(z) = 0.     

On the Evaluation of Weil Sums of Dembowski-Ostrom Polynomials

Let F_q denote the finite field of q elements, q=p^e odd, let χ₁ denote the canonical additive character of F_q where χ₁(c)=e^2πiTr(c)/p for all c∈F_q, and let Tr represent the trace function from F_q to F_p. We are interested in evaluating Weil sums of the form S=S(a₁, …, a_n)=∑_x∈Fq χ₁(D(x)) where D(x)=∑ⁿ_i=1 a_ix^pα_i+pβ_i, α_i?β_i for each i, is known as a Dembowski-Ostrom polynomial (or as a D-O polynomial). Coulter has determined the value of S when D(x)=ax^pα+1; in this note we show how Coulter's methods can be generalized to determine the absolute value of S for any D-O polynomial. When e is even, we give a subclass of D-O polynomials whose Weil sums are real-valued, and in certain cases we are able to resolve the sign of S. We conclude by showing how Coulter's work for the monomial case can be used to determine a lower bound on the number of F^l_q-solutions to the diagonal-type equation ∑^l_i=1 x^pγ+1_i+(x_i+λ)^pγ+1=0, where l is even, e/gcd(γ, e) is odd, and h (X)=λ^pe−γX^pe−γ+λ^pγX is a permutation polynomial over F_q.     

Extension of isometries on the unit sphere of L p spaces

In this paper we study the isometric extension problem and show that every surjective isometry between the unit spheres of Lp (μ) (1 p ∞, p≠2) and a Banach space E can be extended to a linear isometry from Lp(μ) onto E, which means that if the unit sphere of E is (metrically) isometric to the unit sphere of Lp(μ), then E is linearly isometric to Lp(μ). We also prove that every surjective 1-Lipschitz or anti-1-Lipschitz map between the unit spheres of Lp (μ1, H1) and Lp(μ2,H2) must be an isometry and can be extended to a linear isometry from Lp (μ1,H1) to Lp (μ2,H2), where H1 and H2 are Hilbert spaces.     

On the Mellin transform of products of Bessel and generalized hypergeometric functions

We deduce in an elementary way representations for the Mellin transform of a product of Bessel functions ₀F₁[−a²x²] and generalized hypergeometric functions _pF_p+1[−b²x²] for a,b>0. As a corollary we obtain a transformation formula for _p+1F_p[1] which was discovered by Wimp in 1987 by using Bailey's method for the specialization ₃F₂[1].     

Upper bounds for the autocorrelation coefficients of the Rudin-Shapiro polynomials

Givena _m to be them ^th correlation coefficient of the Rudin-Shapiro polynomials of degrees 2 ⁿ ? 1, ¦a _m¦ ≤ C(2 ⁿ )^3/4 and there existsk ≠ 0 such that ¦a _k¦ >D(2 ⁿ )^0.73 (C andD are universal constants). Here we show that the 0.73 is optimal in the upper bound case.     

Enumerating pairs of permutations with the same up-down form

For each sequence q = {q_i} = ± 1, i = 1, …, n−1 let N_q = the number of permutations σ of 1, 2, …, n with up-down sequence sgn(σ_i+1 − σ_i) = q_i, i = 1,…, n−1. Clearly Σ_q (N_q/n!) =1 but what is the probability p_n = Σ_q (N_q/n!)² that two random permutations have the same up-down sequence? We show that p_n = (Kⁿ⁻¹1,1) where 1 = 1(x, y) ≡ 1 and Kⁿ⁻¹ is the iterated integral operator with Kφ(x, y) = ∫₀¹∫₀¹ K(x, y; x′, y′)φ(x′, y′) dx′ dy′ on L²[0, 1] × [0, 1] where K(x, y; x′, y′) is 1 if (x− x′)(y − y′) > 0 otherwise, and (f, g) = ∫₀¹∫₀¹fg. The eigenexpression of K yeilds p_n ∼ cαⁿ as n → ∞, where c ≈ 1.6, α ≈ 0.55.We also give a recursion formula for a polynomial whose coefficients are the frequencies of all the possible forms.     

Arithmetic behaviour of the sums of three squares

Let n ≠ 4^a(8b + 7) be an integer. We deal with the problem of the solvability of the equation n = x₁² + x₂² + x₃² in integers x₁, x₂, x₃ prime to n. By a theorem of Vila (Arch. Math. 44 (1985), 424–437), the existence of such a solution implies that every central extension of the alternating group A_n, for n ≡ 3 (mod 8), can be realized as a Galois group over Q.     

On the eigenvalues of the Sturm-Liouville operator with potentials from Sobolev spaces

We study the asymptotic behavior of the eigenvalues the Sturm-Liouville operator Ly = ?y″ + q(x)y with potentials from the Sobolev space W ₂ ^θ?1 , θ ≥ 0, including the nonclassical case θ ∈ [0, 1) in which the potential is a distribution. The results are obtained in new terms. Let s _2k (q) = λ _k ^1/2 (q) ? k, s _2k?1(q) = μ _k ^1/2 (q) ? k ? 1/2, where {λ _k } ₁ ^∞ and {μ _k } ₁ ^∞ are the sequences of eigenvalues of the operator L generated by the Dirichlet and Dirichlet-Neumann boundary conditions, respectively,. We construct special Hilbert spaces t ₂ ^θ such that the mapping F:W ₂ ^θ?1 →t ₂ ^θ defined by the equality F(q) = {s _n } ₁ ^∞ is well defined for all θ ≥ 0. The main result is as follows: for θ > 0, the mapping F is weakly nonlinear, i.e., can be expressed as F(q) = Uq + Φ(q), where U is the isomorphism of the spaces W ₂ ^θ?1 and t ₂ ^θ , and Φ(q) is a compact mapping. Moreover, we prove the estimate ∥Ф(q)∥_τ ≤ C∥q∥_θ?1, where the exact value of τ = τ(θ) > θ ? 1 is given and the constant C depends only on the radius of the ball ∥q∥_θ? ≤ R, but is independent of the function q varying in this ball.     

On the cosets of the 2q-power group in the unit group modulop

Letp be a prime number ≡ 3 mod 4,G ^p the unit group of ?/p?, andg a generator ofG _p. Letq be an odd divisor ofp - 1 andG _p ^2q = {t ^2q;t ∈G _pthe subgroup of index2q inG _p. The groupG _p ² / _p ^2q consists of the classes \(\bar g^{2j} \) ,j = 0,...,q – 1. In this paper we study the ’excesses’ of the classes \(\bar g^{2j} \) in {l,...,(_p–l)/2}, i.e., the numbers \(\Phi _j = \left| {\left\{ {k;1 \leqslant k \leqslant \left( {p - 1} \right)/2,\bar k \in \bar g^{2j} } \right\}} \right| - \left| {\left\{ {k;\left( {p - 1} \right)/2 \leqslant k \leqslant p - 1,\bar k \in \bar g^{2j} } \right\}} \right|\) ,j = 0.....q — 1. First we express therelative class number h _2q of the subfieldK _2q? ?(e^2#x03C0;i/p ) of degree [K _2q: ?] =2q in terms of these excesses. We use this formula to establish certaincongruences for the Ф^j. E.g., ifq ∈ {3,5,11}, each number Фj is congruent modulo 4 to each other iff 2 dividesh _2q ^- . Finally we study thevariance of the excesses, i.e., the number \(\sigma ^2 = ((\Phi _0 - \hat \Phi )^2 + \ldots + (\Phi _{q - 1} - \hat \Phi )^2 )/(q - 1)\) , where \(\hat \Phi \) is the mean value of the numbers Ф_j. We obtain an explicit lower bound for σ² in terms ofh _2q ^- /h ₂ ^- . Moreover, we show that log σ² is asymptotically equal to 21og(h _2q ^- h ₂ ^- )/(q - 1) forp→∞. Three tables illustrate the results.     

Continuity properties of the Drazin pseudoinverse

Let B^D denote that Drazin inverse of the n×n complex matrix B. Define the core-rank of B as rank (B^i(B)) where i(B) is the index of B. Let j = 1,2,…, and A_j and A be square matrices such that A_i converges to A with respect to some norm. The main result of this paper is that A_j^D converges to A^D if and only if there exist a j₀ such that core-rank A_j=core-rankA for j ? j₀.     

Some congruences for the Apery numbers

In 1979 R. Apéry introduced the numbers a_n = Σ₀ⁿ(_kⁿ)²(_k^{n + k}) and u_n = Σ₀ⁿ(_kⁿ)²(_k^{n + k})² in his irrationality proof for ζ(2) and ζ(3). We prove some congruences for these numbers which generalize congruences previously published in this journal.     

On the multiplicative structure of odd perfect numbers

Starting with Euler's theorem that any odd perfect number n has the form n = p^ep_i^2e_i … p_k^2e_k, where p, p₁,…,p_k are distinct odd primes and p ≡ e ≡ 1 (mod 4), we show that extensive subsets of these numbers (so described) can be eliminated from consideration. A typical result says: if p^e, p_i^2e_i,…,p_r^2e_r are all of the prime-power divisors of such an n with p ≡ p_i ≡ 1 (mod 4), then the ordered set {e₁,…,e_r} contains an even number or odd number of odd numbers according as e ≡ pore ≡ p (mod 8).     

The fractal dimensions of the level sets of the generalized iterated Brownian motion

Let{W1(t), t∈R+} and {W2(t), t∈R+} be two independent Brownian motions with W1(0) = W2(0) = 0. {H (t) = W1(|W2(t)|), t ∈R+} is called a generalized iterated Brownian motion. In this paper, the Hausdorff dimension and packing dimension of the level sets {t ∈[0, T ], H(t) = x} are established for any 0 < T ≤ 1.     

On the multipliers of Fourier series with respect to the Haar system

qV РАБОтЕ РАссМАтРИВАУ тсь МУльтИплИкАтИВН ыЕ пРЕОБРАжОВАНИь РьДО В ФУРьЕ-хААРА. ИжУЧЕНы слЕДУУЩИЕ кл Ассы МУльтИплИкАтОР ОВ: (H _p ^α ,H _q ^β ), (H _p ^α ,L ^q ) И (с, с).     

On the sum of powers of terms of a linear recurrence sequence

Let (F _n ) _n??0 be the Fibonacci sequence given by F _n+2 = F _n+1 + F _n , for n ?? 0, where F ₀ = 0 and F ₁ = 1. There are several interesting identities involving this sequence such as F _n ² + F _n+1 ² = F _2n+1, for all n ?? 0. In a very recent paper, Marques and Togbé proved that if F _n ^s + F _n+1 ^s is a Fibonacci number for all sufficiently large n, then s = 1 or 2. In this paper, we will prove, in particular, that if (G _m ) _m is a linear recurrence sequence (under weak assumptions) and G _n ^s + ... + G _n+k ^s ?? (G _m ) _m , for infinitely many positive integers n, then s is bounded by an effectively computable constant depending only on k and the parameters of G _m .     

On the primes withp n+1 -p n = 8 and the Sum of their Reciprocals

We introduce the counting function π _2,8 ^* (x) of the primes with difference 8 between consecutive primes ( ****p _n,p_n+1 =p _n + 8) can be approximated by logarithm integralLi _2,8 ^* . We calculate the values of π _2,8 ^* (x) and the sumC _2,8(x) of reciprocals of primes with difference 8 between consecutive primes (p _n,p_n+1 =p _n +8)) wherex is counted up to 7 x 10¹⁰. From the results of these calculations, we obtain π _2,8 ^* (7 x 10¹⁰) = 133295081 andC _2,8(7 x 10¹⁰) = 0.3374 ±2.6 x 10^-4.