An Implementation for the Algorithm of Janet bases of Linear Differential Ideals in the Maple System

In this paper, an algorithm for computing the Janet bases of linear differential equations is described, which is the differential analogue of the algorithm JanetBasis improved by Gerdt. An implementation of the algorithm in Maple is given. The implemented algorithm includes some subalgorithms: Janet division,Pommaret division, the judgement of involutive divisor and reducible, the judgement of conventional divisor and reducible, involutive normal form and conventional normal form, involutive autoreduction and conventional autoreduction, PJ-autoreduction and so on. As an application, the Janet Bases of the determining system of classical Lie symmetries of some partial differential equations are obtained using our package.     

Toric rings generated by special stable sets of monomials

In this paper we consider some subalgebras of the d-th Veronese subring of a polynomial ring, generated by stable subsets of monomials. We prove that these algebras are Koszul, showing that the presentation ideals have Gröbner bases of quadrics with respect to suitable term orders. Since the initial monomials of the elements of these Gröbner bases are square- free, it follows by a result of STURMFELS [S, 13.15], that the algebras under consideration are normal, and thus Cohen-Macaulay.     

Linear spaces and preservers of symmetric matrices of bounded rank-two

Let 𝔽 be a field of characteristic two. Let S _n (𝔽) denote the vector space of all n?×?n symmetric matrices over 𝔽. We characterize i. subspaces of S _n (𝔽) all whose elements have rank at most two where n???3,

ii. linear maps from S _m (𝔽) to S _n (𝔽) that sends matrices of rank at most two into matrices of rank at most two where m, n???3 and |𝔽|?≠?2.

     

H-bases for polynomial interpolation and system solving

The H-basis concept allows, similarly to the Gröbner basis concept, a reformulation of nonlinear problems in terms of linear algebra. We exhibit parallels of the two concepts, show properties of H-bases, discuss their construction and uniqueness questions, and prove that n polynomials in n variables are, under mild conditions, already H-bases. We apply H-bases to the solution of polynomial systems by the eigenmethod and to multivariate interpolation.     

Measure of Noncompactness of Linear Operators between Spaces of Sequences That Are (N,q) Summable or Bounded

In this paper we investigate linear operators between arbitrary BK spaces X and spaces Y of sequences that are summable or bounded. We give necessary and sufficient conditions for infinite matrices A to map X into Y. Further, the Hausdorff measure of noncompactness is applied to give necessary and sufficient conditions for A to be a compact operator.     

Root filtration spaces from Lie algebras and abstract root groups

Both Timmesfeld's abstract root subgroups and simple Lie algebras generated by extremal elements lead to root filtration spaces: synthetically defined geometries on points and lines which can be characterized as root shadow spaces of buildings. Here we show how to obtain the root filtration space axioms from root subgroups and classical Lie algebras.     

Locally 2‐arc transitive graphs,homogeneous factorizations,and partial linear spaces

We establish natural bijections between three different classes of combinatorial objects; namely certain families of locally 2‐arc transitive graphs, partial linear spaces, and homogeneous factorizations of arc‐transitive graphs. Moreover, the bijections intertwine the actions of the relevant automorphism groups. Thus constructions in any of these areas provide examples for the others. © 2005 Wiley Periodicals, Inc. J Combin Designs 14: 139–148, 2006     

Minihypers and Linear Codes Meeting the Griesmer Bound: Improvements to Results of Hamada, Helleseth and Maekawa

This article improves results of Hamada, Helleseth and Maekawa on minihypers in projective spaces and linear codes meeting the Griesmer bound.In [10,12],it was shown that any -minihyper, with , where , is the disjoint union of points, lines,..., -dimensional subspaces. For q large, we improve on this result by increasing the upper bound on non-square, to non-square, square, , and (4) for square, p prime, p<3, to . In the case q non-square, the conclusion is the same as written above; the minihyper is the disjoint union of subspaces. When q is square however, the minihyper is either the disjoint union of subspaces, or the disjoint union of subspaces and one subgeometry . For the coding-theoretical problem, our results classify the corresponding codes meeting the Griesmer bound.     

The Second Indicator and the Trace of the Antipode for Representations of a Class of Hopf Algebras of Andruskiewitch-Schneider Type

We give definition of the second indicator for any finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0 with the square of antipode an inner automorphism. We derive a closed formula for the trace of the antipode on endomorphism algebras of simple self-dual modules of nilpotent type liftings of quantum linear spaces and compute the value of their second indicators. Uniqueness of indicators is examined.     

On vector spaces over specific fields without choice

We investigate the deductive strength of statements concerning vector spaces over specific fields in the hierarchy of various choice principles.     

Linear Differential Equations with Variable Coefficients in Regular and Some Singular Cases

In this paper the asymptotic properties as t → + ∞ for a single linear differential equation of the form x⁽ⁿ⁾ + a₁ (t)x^(n?1)+…. + a_n(t)x = 0, where the coefficients aj (z) are supposed to be of the power order of growth, are considered. The results obtained in the previous publications of the author were related to the so called regular case when a complete set of roots {λ,(t)}, j = 1, 2, …, n of the characteristic polynomial yⁿ + a₁ (t)y^n?1 + … + a_n(t) possesses the property of asymptotic separability. One of the main restrictions of the regular case consists of the demand that the roots of the set {λ,(t)} have not to be equivalent in pairs for t → + ∞. In this paper we consider the some more general case when the set of characteristic roots possesses the property of asymptotic independence which includes the case when the roots may be equivdent in pairs. But some restrictions on the asymptotic behaviour of their differences λ_i(t)→ λ_j(t) are preserved. This case demands more complicated technique of investigation. For this purpose the so called asymptotic spaces were introduced. The theory of asymptotic spaces is used for formal solution of an operator equation of the form x = A(x) and has the analogous meaning as the classical theory of solving this equation in Band spaces. For the considered differential equation, the main asymptotic terms of a fundamental system of solution is given in a simple explicit form and the asymptotic fundamental system is represented in the form of asymptotic Emits for several iterate sequences.     

Representation,interpolation, and reiteration theorems for generalized approximation spaces

We show that the representation theorem for classical approximation spaces can be generalized to spaces A(X,l ^q (ℬ))={f∈X:{E _n (f)}∈l ^q (ℬ)} in which the weighted l ^q -space l ^q (ℬ) can be (more or less) arbitrary. We use this theorem to show that generalized approximation spaces can be viewed as real interpolation spaces (defined with K-functionals or main-part K-functionals) between couples of quasi-normed spaces which satisfy certain Jackson and Bernstein-type inequalities. Especially, interpolation between an approximation space and the underlying quasi-normed space leads again to an approximation space. Together with a general reiteration theorem, which we also prove in the present paper, we obtain formulas for interpolation of two generalized approximation spaces. Received: December 6, 2001; in final form: April 2, 2002?Published online: March 14, 2003     

On spaces in which countably compact sets are closed, and hereditary properties

A space X is called C-closed if every countably compact subset of X is closed in X. We study the properties of C-closed spaces. Among other results, it is shown that countably compact C-closed spaces have countable tightness and under Martin's Axiom or 2^ω0<2^ω1, C-closed is equivalent to sequential for compact Hausdorff spaces. Furthermore, every hereditarily quasi-k Hausdorff space is Fréchet-Urysohn, which generalizes a theorem of Arhangel'sk in [4]. Also every hereditarily q-space is hereditarily of pointwise countable type and contains an open dense first countable subspace.     

A comment on the papers: Controllability results for functional semilinear differential inclusions in Fréchet spaces [Nonlinear Anal. 61 (3) (2005) 405–423] and Controllability of impulsive neutral functional differential inclusions with infinite delay [Nonlinear Anal. 60 (8) (2005) 1533–1552]

In this note we make some observations relating two papers recently published in Nonlinear Analysis Theory, Methods & Applications.     

Central limit theorem and weak law of large numbers with rates for martingales in Banach spaces

This paper is concerned with large-$\text{O}$ error estimates concerning convergence in distribution as well as norm convergence for Banach space-valued martingale difference sequences. Indeed, two general limit theorems equipped with rates of convergence for such difference sequences are established. Applications of these lead to the central limit theorem and the weak law of large numbers with rates for Banach space-valued martingales.     

Ideals in a perfect closure, linear growth of primary decompositions, and tight closure

This paper is concerned with tight closure in a commutative Noetherian ring of prime characteristic , and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper ideal of has linear growth of primary decompositions, then tight closure (of ) `commutes with localization at the powers of a single element'. It is shown in this paper that, provided has a weak test element, linear growth of primary decompositions for other sequences of ideals of that approximate, in a certain sense, the sequence of Frobenius powers of would not only be just as good in this context, but, in the presence of a certain additional finiteness property, would actually imply that tight closure (of ) commutes with localization at an arbitrary multiplicatively closed subset of .

Work of M. Katzman on the localization problem for tight closure raised the question as to whether the union of the associated primes of the tight closures of the Frobenius powers of has only finitely many maximal members. This paper develops, through a careful analysis of the ideal theory of the perfect closure of , strategies for showing that tight closure (of a specified ideal of ) commutes with localization at an arbitrary multiplicatively closed subset of and for showing that the union of the associated primes of the tight closures of the Frobenius powers of is actually a finite set. Several applications of the strategies are presented; in most of them it was already known that tight closure commutes with localization, but the resulting affirmative answers to Katzman's question in the various situations considered are believed to be new.