On the minimum length of some linear codes

We determine the minimum length n _q (k, d) for some linear codes with k ≥ 5 and q ≥ 3. We prove that n _q (k, d) = g _q (k, d) + 1 for when k is odd, for when k is even, and for . This work was supported by the Korea Research Foundation Grant funded by the Korean Government(MOEHRD). (KRF-2005-214-C00175). This research has been partially supported by Grant-in-Aid for Scientific Research of Japan Society for the Promotion of Science under Contract Number 17540129.     

An Lp-Lq-Version of Morgan’s Theorem for the Dunkl-Bessel Transform

In this paper, we give an L^p-L^q-version of Morgans theorem for the Dunkl-Bessel transform on More precisely, we prove that for all and then for all measurable function f on the conditions and imply f = 0, if and only if where are the Lebesgue spaces associated with the Dunkl-Bessel transform.Received: November 21, 2003 Revised: April 26, 2004 Accepted: May 28, 2004     

Another hybrid conjugate gradient algorithm for unconstrained optimization

Another hybrid conjugate gradient algorithm is subject to analysis. The parameter β _k is computed as a convex combination of (Hestenes-Stiefel) and (Dai-Yuan) algorithms, i.e. . The parameter θ _k in the convex combination is computed in such a way so that the direction corresponding to the conjugate gradient algorithm to be the Newton direction and the pair (s _k , y _k ) to satisfy the quasi-Newton equation , where and . The algorithm uses the standard Wolfe line search conditions. Numerical comparisons with conjugate gradient algorithms show that this hybrid computational scheme outperforms the Hestenes-Stiefel and the Dai-Yuan conjugate gradient algorithms as well as the hybrid conjugate gradient algorithms of Dai and Yuan. A set of 750 unconstrained optimization problems are used, some of them from the CUTE library.      

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.     

Sums of Bisectorial Operators and Applications

We study sums of bisectorial operators on a Banach space X and show that interpolation spaces between X and D(A) (resp. D(B)) are maximal regularity spaces for the problem Ay + By = x in X. This is applied to the study of regularity properties of the evolution equation u′ + Au = f on for or and the evolution equation u′ + Au = f on [0, 2π] with periodic boundary condition u(0) = u(2π) in or      

Grothendieck’s comparison theorem and multivariable Fredholm theory

We use a variant of Grothendieck’s comparison theorem to show that, for a Fredholm tuple T ∈ L(X)ⁿ on a complex Banach space, there are isomorphisms . We conclude that a Fredholm tuple T ∈ L(X)ⁿ satisfies Bishop’s property (β) at z = 0 if and only if the vanishing conditions hold for . We apply these observations and results from commutative algebra to show that a graded tuple on a Hilbert space is Fredholm if and only if it satisfies Bishop’s property (β) at z = 0 and that, in this case, its cohomology groups can grow at most like k^p. Received: 14 January 2009     

Almost sure convergence of sample range

Let X ₁, X ₂, ... be i.i.d. random variables. The sample range is R _n = max {X _i , 1 ≤ i ≤ n} − min {X _i , 1 ≤ i ≤ n}. If for a non-degenerate distribution G and some sequences (α _k ), (β _k ) then we have

On the Spectral Analysis of Direct Sums of Riemann-Liouville Operators in Sobolev Spaces of Vector Functions

Let J ^α _k be a real power of the integration operator J _k defined on the Sobolev space W ^k _p [0, 1]. We investigate the spectral properties of the operator defined on . Namely, we describe the commutant {A _k }′, the double commutant and the algebra Alg A _k . Moreover, we describe the lattices Lat A _k and HypLat A _k of invariant and hyperinvariant subspaces of A _k , respectively. We also calculate the spectral multiplicity  of A _k and describe the set Cyc A _k of its cyclic subspaces. In passing, we present a simple counterexample for the implication

On the Posets ( \user1Wk2 , < ){\left( {{\user1{\mathcal{W}}}^{k}_{2} , < } \right)} and their Connections with Some Homogeneous Inequalities of Degree 2

A class of ranked posets {(D _h ^k , ≪)} has been recently defined in order to analyse, from a combinatorial viewpoint, particular systems of real homogeneous inequalities between monomials. In the present paper we focus on the posets D ₂ ^k , which are related to systems of the form {x _a x _b * _abcd x _c x _d : 0 ≤ a, b, c, d ≤ k, * _abcd ∈ {<, >}, 0 < x ₀ < x ₁ < ...< x _k}. As a consequence of the general theory, the logical dependency among inequalities is adequately captured by the so-defined posets . These structures, whose elements are all the D ₂ ^k 's incomparable pairs, are thoroughly surveyed in the following pages. In particular, their order ideals – crucially significant in connection with logical consequence – are characterised in a rather simple way. In the second part of the paper, a class of antichains is shown to enjoy some arithmetical properties which make it an efficient tool for detecting incompatible systems, as well as for posing some compatibility questions in a purely combinatorial fashion.     

Hyperbolic Function Theory in the Clifford Algebra {\mathcal {C}}\ell_{n+1, 0}

The aim of this paper is to give the basic principles of hyperbolic function theory on the Clifford algebra . The structure of the theory is quite similar to the case of Clifford algebras with negative generators, but the proofs are not obvious. The (real) Clifford algebra is generated by unit vectors with positive squares e²_i = + 1. The hyperbolic Dirac operator is of the form where Q₀f is represented by the composition . If is a solution of H_kf = 0, then f is called k-hypergenic in Ω, where is an open set. We introduce some basic results of hyperbolic function theory and give some representation theorems on . Received: October, 2007. Accepted: February, 2008.     

Short-time Asymptotics of the Heat Kernel on Bounded Domain with Piecewise Smooth Boundary Conditions and Its Applications to an Ideal Gas

The asymptotic expansion of the heat kernel Θ(t)=sum from ∞to j=1 exp(-tλ_j) where {λ_j}_(j=1)~∞are the eigen-values of the negative Laplacian -Δ_n=-sum from n to k=1((?))~2 in R~n(n=2 or 3) is studied for short-time t for a generalbounded domain Ωwith a smooth boundary (?)Ω.In this paper,we consider the case of a finite number of theDirichlet conditions φ=0 on Γ_i (i=1,...,J) and the Neumann conditions (?)=0 on Γ_i (i=J 1,...,k) andthe Robin conditions ((?) γ_i)φ=0 on Γ_i (i=k 1,...,m) where γ_i are piecewise smooth positive impedancefunctions,such that (?)Ωconsists of a finite number of piecewise smooth components Γ_i(i=1,...,m) where(?)Ω=(?)Γ_i.We construct the required asymptotics in the form of a power series over t.The senior coefficients inthis series are specified as functionals of the geometric shape of the domain Ω.This result is applied to calculatethe one-particle partition function of a“special ideal gas”,i.e.,the set of non-interacting particles set up in abox with Dirichlet,Neumann and Robin boundary conditions for the appropriate wave function.Calculationof the thermodynamic quantities for the ideal gas such as the internal energy,pressure and specific heat revealsthat these quantities alone are incapable of distinguishing between two different shapes of the domain.Thisconclusion seems to be intuitively clear because it is based on a limited information given by a one-particlepartition function;nevertheless,its formal theoretical motivation is of some interest.     

On Negative Inertia of Pick Matrices Associated with Generalized Schur Functions

It is known [6] that for every function f in the generalized Schur class and every nonempty open subset Ω of the unit disk , there exist points z₁,...,z_n ∈Ω such that the n × nPick matrix has κ negative eigenvalues. In this paper we discuss existence of an integer n₀ such that any Pick matrix based on z₁,...,z_n ∈Ω with n ≥ n₀ has κ negative eigenvalues. Definitely, the answer depends on Ω. We prove that if , then such a number n₀ does not exist unless f is a ratio of two finite Blaschke products; in the latter case the minimal value of n₀ can be found. We show also that if the closure of Ω is contained in then such a number n₀ exists for every function f in .     

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

Weights of twisted exponential sums

Let k be a finite field of characteristic p, l a prime number different from p, a nontrivial additive character, and a character on . Then ψ defines an Artin-Schreier sheaf on the affine line , and χ defines a Kummer sheaf on the n-dimensional torus . Let be a Laurent polynomial. It defines a k-morphism . In this paper, we calculate the weights of under some non-degeneracy conditions on f. Our results can be used to estimate sums of the form

Upper Triangular Operator Matrices, SVEP and Browder, Weyl Theorems

A Banach space operator T ∈ B(χ) is polaroid if points λ ∈ iso σ(T) are poles of the resolvent of T. Let denote, respectively, the approximate point, the Weyl, the Weyl essential approximate, the upper semi–Fredholm and lower semi–Fredholm spectrum of T. For A, B and C ∈ B(χ), let M _C denote the operator matrix . If A is polaroid on , M ₀ satisfies Weyl’s theorem, and A and B satisfy either of the hypotheses (i) A has SVEP at points and B has SVEP at points , or, (ii) both A and A* have SVEP at points , or, (iii) A^* has SVEP at points and B ^* has SVEP at points , then . Here the hypothesis that λ ∈ π₀(M _C ) are poles of the resolvent of A can not be replaced by the hypothesis are poles of the resolvent of A. For an operator , let . We prove that if A* and B* have SVEP, A is polaroid on π ^a ₀(M _C) and B is polaroid on π ^a ₀(B), then .      

Subwords in Reverse-Complement Order

We examine finite words over an alphabet of pairs of letters, where each word w₁w₂ ... w_t is identified with its reverse complement where ( ). We seek the smallest k such that every word of length n, composed from Γ, is uniquely determined by the set of its subwords of length up to k. Our almost sharp result (k~ 2n = 3) is an analogue of a classical result for “normal” words. This problem has its roots in bioinformatics. Received October 19, 2005     

On the discrepancy principle for some Newton type methods for solving nonlinear inverse problems

We consider the computation of stable approximations to the exact solution of nonlinear ill-posed inverse problems F(x) = y with nonlinear operators F : X → Y between two Hilbert spaces X and Y by the Newton type methods

О некоторых свойства х частичных сумм рядо в Фурье—Уолша—Пэли

In this paper we consider the behaviour of partial sums of Fourier—Walsh—Paley series on the group62-01. We prove the following theorems: Theorem 1. Let {n _k } _k ^=1/∞ be some increasing convex sequence of natural numbers such that $$\mathop {\lim sup}\limits_m m^{ - 1/2} \log n_m< \infty $$ . Then for anyf∈L ^∞(G) $$\left( {\frac{1}{m}\sum\limits_{j = 1}^m {|Sn_j (f;0)|^2 } } \right)^{1/2} \leqq C \cdot \left\| f \right\|_\infty $$ . Theorem 2. Let {n _k } _k ^=1/∞ be a lacunary sequence of natural numbers,n _k+1/n _k≧q>1. Then for anyfεL ^∞(G) $$\sum\limits_{j = 1}^m {|Sn_j (f;0)| \leqq C_q \cdot m^{1/2} \cdot \log n_m \cdot \left\| f \right\|_\infty } $$ . Theorems. Let µ _k =2 ^k +2 ^k-2+2 ^k-4+...+2^α ₀,α ₀=0,1. Then $$\begin{gathered} \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in L^\infty (G)\} = \{ \{ a_k \} _{k = 1}^\infty ;\sum\limits_{k = 1}^m {a_k^2 = 0(m)^2 \} .} \hfill \\ \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in C(G)\} = \{ \{ a_k \} _{k = 1}^\infty ;\sum\limits_{k = 1}^m {a_k^2 = o(m)^2 \} = } \hfill \\ = \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in C(G),f(0) = 0\} \hfill \\ \end{gathered} $$ . Theorem 4. {{S ₂ k(f: 0)} _k ^=1/∞ ,f∈L ^∞(G)}=m. $$\{ \{ S_{2_k } (f:0\} _{k = 1}^\infty ;f \in C(G)\} = c. \{ \{ S_{2_k } (f:0\} _{k = 1}^\infty ;f \in C(G),f(0) = 0\} = c_0 $$ .     

Limit sets and strengths of convergence for sequences in the duals of thread-like Lie groups

We consider a properly converging sequence of non-characters in the dual space of a thread-like group and investigate the limit set and the strength with which the sequence converges to each of its limits. We show that, if (π _k ) is a properly convergent sequence of non-characters in , then there is a trade-off between the number of limits σ which are not characters, their degrees, and the strength of convergence i _σ to each of these limits (Theorem 3.2). This enables us to describe various possibilities for maximal limit sets consisting entirely of non-characters (Theorem 4.6). In Sect. 5, we show that if (π _k ) is a properly converging sequence of non-characters in and if the limit set contains a character then the intersection of the set of characters (which is homeomorphic to ) with the limit set has at most two components. In the case of two components, each is a half-plane. In Theorem 7.7, we show that if a sequence has a character as a cluster point then, by passing to a properly convergent subsequence and then a further subsequence, it is possible to find a real null sequence (c _k ) (with ) such that, for a in the Pedersen ideal of C ^*(G _N ), exists (not identically zero) and is given by a sum of integrals over .