A Combinatorial Construction for Perfect Deletion-Correcting Codes

By a T ^*(2, k, v)-code we mean a perfect(k-2)-deletion-correcting code of length k over an alphabet ofsize v, which is capable of correcting any combination of up to(k-2) deletions and insertions of letters occured in transmission ofcodewords. In this paper, we provide a combinatorial construction forT ^*(2, k, v-codes. As an application, we show that aT ^*(2, 6, v-code exists for all positive integersv 3 (mod 5), with at most 12 possible exceptions of v. In theprocedure, a result on incomplete directed BIBDs is also established which is ofinterest in its own right.     

The addition formula for theta functions

Summary In this paper we solve the functional equationx(u + v)(u – v) = f ₁(u)g₁(v) + f₂(u)g₂(v) under the assumption thatx, , f ₁, f₂, g₁, g₂ are complex-valued functions onR ⁿ ,n N arbitrary, and 0 and 0 are continuous. Our main result shows that, apart from degeneracy and some obvious modifications, theta functions of one complex variable are the only continuous solutions of this functional equation.     

Halving PSL(2,q)

We show that PSL(2,q), q 3(mod 4), contains a subset of half the cardinality of PSL(2,q), which is uniformly 2-homogeneous on the projective line.     

A general descent framework for the monotone variational inequality problem

We present a framework for descent algorithms that solve the monotone variational inequality problem VIP _v which consists in finding a solutionv ^* _v satisfyings(v ^*)^T(v–v ^*)0, for allv _v. This unified framework includes, as special cases, some well known iterative methods and equivalent optimization formulations. A descent method is developed for an equivalent general optimization formulation and a proof of its convergence is given. Based on this unified logarithmic framework, we show that a variant of the descent method where each subproblem is only solved approximately is globally convergent under certain conditions.This research was supported in part by individual operating grants from NSERC.     

Picardsche Ausnahmewerte bei Lösungen linearer Differentialgleichungen

Every solution w(z)0 of the linear differential equation L_n(w)=w⁽ⁿ⁾+a_n–1(z)w^(n–1)+...+a_o(z)w=0 with polynomial coefficients a_j(z), a_o(z)0, assumes all values a0, infinitely often. Strictly speaking, the only deficient values are zero and infinity. In this paper we study differential equations L_n(w)=0, which have a fundamental system with the following property: Every function of this fundamental system takes the value zero only a finite number of times. It is shown, that such a fundamental system exists if and only if the transformation w(z)=exp(q(z))u(z), where q(z) is a suitable polynomial, transforms the differential equation into one with constant coefficients for u(z).     

On log-hyponormal operators

LetTB(H) be a bounded linear operator on a complex Hilbert spaceH.TB(H) is called a log-hyponormal operator itT is invertible and log (TT ^*)log (T ^* T). Since log: (0, )(–,) is operator monotone, for 0<p1, every invertiblep-hyponormal operatorT, i.e., (TT ^*) ^p (T ^* T) ^p , is log-hyponormal. LetT be a log-hyponormal operator with a polar decompositionT=U|T|. In this paper, we show that the Aluthge transform is . Moreover, ifmeas ((T))=0, thenT is normal. Also, we make a log-hyponormal operator which is notp-hyponormal for any 0<p.This research was supported by Grant-in-Aid Research No. 10640185     

Indivisibility of Class Numbers and Iwasawa λ-Invariants of Real Quadratic Fields

Let D>0 be the fundamental discriminant of a real quadratic field, and h(D) its class number. In this paper, by refining Ono's idea, we show that for any prime p>3, {0<D<X|h(D)0(mod p)}>> _p (X)/logX.     

On the Derived Invariance of Cohomology Theories for Coalgebras

We study the derived invariance of the cohomology theories Hoch ^*, H ^* and HC ^* associated with coalgebras over a field. We prove a theorem characterizing derived equivalences. As particular cases, it describes the two following situations: (1) f: CD a quasi-isomorphism of differential graded coalgebras, (2) the existence of a cotilting bicomodule _C T _D . In these two cases we construct a derived-Morita equivalence context, and consequently we obtain isomorphisms Hoch ^*(C)Hoch ^*(D) and H ^*(C)H ^*(D). Moreover, when we have a coassociative map inducing an isomorphism H ^*(C)H ^*(D) (for example, when there is a quasi-isomorphism f: CD), we prove that HC ^*(C)HC ^*(D).     

Note on Fano 3-folds

LetE be an ample vector bundle of rankr on a compact complex manifoldX of dimension 3 with detE=–K _x, andi(X) the index ofX. Then it is proved in this note thati(X)r unless (X,E)(¹ × ²,p*O(1) q*), wherep,q are the projections and is isomorphic toO(2) O(1) or the tangent bundleT of ². This result gives a counterexample to the conjecture formed by T. Peternell.     

Über ganze Funktionen,die einer linearen Differentialgleichung genügen

Consider the homogeneous linear differential equation where the coefficients a_j(z) are entire functions. Then every solution w(z)0 of this equation (*) is an entire function. In this paper we give the necessary and sufficient conditions that n-1 linearly independent entire functions satisfy a differential equation (*) of order n. Especially we prove the following theorem: Given k linearly independent entire functions g₁(z), g₂(z),..., g_k(z). This functions are solutions of a differential equation (*) if and only if there exists an integer M< such that for any linear combination g(z)=C₁g₁(z)+...+c_kg_k(z)O this number M is an upper bound for the multiplicity of the zeros of g(z). Then holds nk.     

Spectral functions of zeros in the Besselq-functions

Zeta functions _v(z; q)= _n=1 [j_vn(q)]^–z and partition functions Z_v(t; q)=_n exp[–tj _vn ² (q)] related to the zeros j_vn(q) of the Bessel q-functions J_v(x; q) and J _v ⁽²⁾ (x; q) are studied and explicit formulas for _v(2n; q) at n=±1, ±2, ... are obtained. The poles of _v(z; q) in the complex plane and the corresponding residues are found. Asymptotics of the partition functions Z_v(t; q) at t 0 are investigated.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 107, No. 3, pp. 397–414, June, 1996.     

Adjoints of slant Toeplitz operators

In this paper, we will use the Birkhoff's ergodic theorem to do some finer analysis on the spectral properties of slant Toeplitz operators. For example, we will show that if is an invertibleL function on the unit circle, then almost every point in (A ^* ) is not an eigenvalue ofA ^* . More specifically, we will show that the point spectrum ofA ^* is contained in a circle with positive radius.     

A spectral mapping theorem for scalar-type spectral operators in locally convex spaces

LetT be a continuous scalar-type spectral operator defined on a quasi-complete locally convex spaceX, that is,T=fdP whereP is an equicontinuous spectral measure inX andf is aP-integrable function. It is shown that (T) is precisely the closedP-essential range of the functionf or equivalently, that (T) is equal to the support of the (unique) equicontinuous spectral measureQ ^* defined on the Borel sets of the extended complex plane ^* such thatQ ^*({})=0 andT=zdQ _*(z). This result is then used to prove a spectral mapping theorem; namely, thatg((T))=(g(T)) for anyQ ^*-integrable functiong: ^{* *} which is continuous on (T). This is an improvement on previous results of this type since it covers the case wheng((T))/{} is an unbounded set in a phenomenon which occurs often for continuous operatorsT defined in non-normable spacesX.     

A Class of Iterative Algorithms and Solvability of Nonlinear Variational Inequalities Involving Multivalued Mappings

The solvability of the following class of nonlinear variational inequality (NVI) problems based on a class of iterative procedures, which possess an equivalence to a class of projection formulas, is presented.Determine an element x ^* K and u ^* T(x ^*) such that u ^*, x – x ^* 0 for all x K where T: K P(H) is a multivalued mapping from a real Hilbert space H into P(H), the power set of H, and K is a nonempty closed convex subset of H. The iterative procedure adopted here is represented by a nonlinear variational inequality: for arbitrarily chosen initial points x ⁰, y ⁰ K, u ⁰ T(y ⁰) and v ⁰ T(x ⁰), we have u ^k + x ^k+1 – y ^k , x – x ^k+1 0, x K, for u ^k T(y ^k ) and for k 0where v ^k + y ^k – x ^k , x – y ^k 0, x K and for v ^k T(x ^k ).     

Inner amenable groups and the inducedC *-algebra properties

A discrete group can generate aC ^*-algebra, denoted byC ^*(G), by considering the so called conjugation regular representation of the groupG. Based on this treatment, the inner amenability ofG shall be characterized by the existence of the states onC ^* (G) satisfying some certain conditions.     

A Strongly Semismooth Integral Function and Its Application

As shown by an example, the integral function f : ⁿ , defined by f(x) = _a ^b[B(x, t)]₊ g(t) dt, may not be a strongly semismooth function, even if g(t) 1 and B is a quadratic polynomial with respect to t and infinitely many times smooth with respect to x. We show that f is a strongly semismooth function if g is continuous and B is affine with respect to t and strongly semismooth with respect to x, i.e., B(x, t) = u(x)t + v(x), where u and v are two strongly semismooth functions in ⁿ . We also show that f is not a piecewise smooth function if u and v are two linearly independent linear functions, g is continuous and g 0 in [a, b], and n 2. We apply the first result to the edge convex minimum norm network interpolation problem, which is a two-dimensional interpolation problem.     

Nonexistence of certain symmetric spherical codes

A spherical 1-codeW is any finite subset of the unit sphere inn dimensionsS ^n–1, for whichd(u, v)1 for everyu, v fromW, uv. A spherical 1-code is symmetric ifuW implies –uW. The best upper bounds in the size of symmetric spherical codes onS ^n–1 were obtained in [1]. Here we obtain the same bounds by a similar method and improve these bounds forn=5, 10, 14 and 22.     

On the indices of simple components of twisted group algebras of finite groups over a P-adic number field

It is shown that if 20 (mod P) the set of indices of simple components of the twisted group algebra of finite nilpotent groups of class 2 over the field of P-adic numbers consists of all natural numbers.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 6, pp. 723–727, June, 1991.     

Equivalence of bar recursors in the theory of functionals of finite type

The main result of this paper is the equivalence of several definition schemas of bar recursion occurring in the literature on functionals of finite type. We present the theory of functionals of finite type, in [T] denoted byqf-WE-HA , which is necessary for giving the equivalence proofs. Moreover we prove two results on this theory that cannot be found in the literature, namely the deduction theorem and a derivation of Spector's rule of extensionality from [S]: ifPT ₁=T ₂ and Q[XT₁], then PQ[X T₂], from the at first sight weaker rule obtained by omitting P.