Levels of multi-continued fraction expansion of multi-formal Laurent series

The multi-continued fraction expansion of a multi-formal Laurent series is a sequence pair consisting of an index sequence and a multi-polynomial sequence . We denote the set of the different indices appearing infinitely many times in by H_∞, the set of the different indices appearing in by H₊, and call |H_∞| and |H₊| the first and second levels of , respectively. In this paper, it is shown how the dimension and basis of the linear space over F(z) (F) spanned by the components of are determined by H_∞ (H₊), and how the components are linearly dependent on the mentioned basis.     

Formal extension and quotients of the invariant holonomic system

Let be a semisimple Lie algebra and a Cartan subalgebra of . Fix . Let be the invariant holonomic system (see [R. Hotta, M. Kashiwara, The invariant holonomic system on a semisimple Lie algebra, Invent. Math. 75 (1984) 327–358]). First we investigate its formal extension . In the sequel we calculate the characteristic variety of some simple quotients of and its Fourier transform .     

Erdős–Ko–Rado theorems for permutations and set partitions

Let Sym([n]) denote the collection of all permutations of [n]={1,…,n}. Suppose is a family of permutations such that any two of its elements (when written in its cycle decomposition) have at least t cycles in common. We prove that for sufficiently large n, with equality if and only if is the stabilizer of t fixed points. Similarly, let denote the collection of all set partitions of [n] and suppose is a family of set partitions such that any two of its elements have at least t blocks in common. It is proved that, for sufficiently large n, with equality if and only if consists of all set partitions with t fixed singletons, where B_n is the nth Bell number.     

On the -fuzzy topological spaces

As a natural generalization of fuzzy metric spaces due to George and Veeramani [George A, Veeramani P. On some result in fuzzy metric space. Fuzzy Sets Syst 1994;64:395–9], the present author defined the notion of -fuzzy metric spaces. In this paper we prove some known results of metric spaces including Uniform continuity theorem and Ascoli–Arzela theorem for -fuzzy metric spaces. We also prove that every -fuzzy metric space has a countably locally finite basis and use this result to conclude that every -fuzzy metric space is metrizable.     

Strong uniform continuity

Let be an ideal of subsets of a metric space X,d. This paper considers a strengthening of the notion of uniform continuity of a function restricted to members of which reduces to ordinary continuity when consists of the finite subsets of X and agrees with uniform continuity on members of when is either the power set of X or the family of compact subsets of X. The paper also presents new function space topologies that are well suited to this strengthening. As a consequence of the general theory, we display necessary and sufficient conditions for continuity of the pointwise limit of a net of continuous functions.     

Tensor-product approximation to operators and functions in high dimensions

In recent papers tensor-product structured Nyström and Galerkin-type approximations of certain multi-dimensional integral operators have been introduced and analysed. In the present paper, we focus on the analysis of the collocation-type schemes with respect to the tensor-product basis in a high spatial dimension d. Approximations up to an accuracy are proven to have the storage complexity with q independent of d, where N is the discrete problem size. In particular, we apply the theory to a collocation discretisation of the Newton potential with the kernel , , d3. Numerical illustrations are given in the case of d=3.     

Lattices generated by orbits of subspaces under finite singular pseudo-symplectic groups I

Let be the (2ν+1+l)-dimensional vector space over the finite field . In the paper we assume that is a finite field of characteristic 2, and the singular pseudo-symplectic groups of degree 2ν+1+l over . Let be any orbit of subspaces under . Denote by the set of subspaces which are intersections of subspaces in and the intersection of the empty set of subspaces of is assumed to be . By ordering by ordinary or reverse inclusion, two lattices are obtained. This paper studies the inclusion relations between different lattices, a characterization of subspaces contained in a given lattice , and the characteristic polynomial of .     

Optimal approximation of elliptic problems by linear and nonlinear mappings III: Frames

We study the optimal approximation of the solution of an operator equation by certain n-term approximations with respect to specific classes of frames. We consider worst case errors, where f is an element of the unit ball of a Sobolev or Besov space and is a bounded Lipschitz domain; the error is always measured in the H^s-norm. We study the order of convergence of the corresponding nonlinear frame widths and compare it with several other approximation schemes. Our main result is that the approximation order is the same as for the nonlinear widths associated with Riesz bases, the Gelfand widths, and the manifold widths. This order is better than the order of the linear widths iff p<2. The main advantage of frames compared to Riesz bases, which were studied in our earlier papers, is the fact that we can now handle arbitrary bounded Lipschitz domains—also for the upper bounds.     

Additive maps preserving Jordan zero-products on nest algebras

Let and be nest algebras associated with the nests and on Banach Spaces. Assume that and are complemented whenever N_-=N and M_-=M. Let be a unital additive surjection. It is shown that Φ preserves Jordan zero-products in both directions, that is Φ(A)Φ(B)+Φ(B)Φ(A)=0AB+BA=0, if and only if Φ is either a ring isomorphism or a ring anti-isomorphism. Particularly, all unital additive surjective maps between Hilbert space nest algebras which preserves Jordan zero-products are characterized completely.     

Integral-type operators from iterated logarithmic Bloch spaces to Zygmund-type spaces

Let denote the space of all holomorphic functions on the unit ball of and the radial derivative of h. In this paper we study the boundedness and compactness of the following integral operator:, from iterated logarithmic Bloch spaces to Zygmund-type spaces.     

Perfect packings with complete graphs minus an edge

Let denote the graph obtained from K_r by deleting one edge. We show that for every integer r≥4 there exists an integer n₀=n₀(r) such that every graph G whose order n≥n₀ is divisible by r and whose minimum degree is at least contains a perfect -packing, i.e. a collection of disjoint copies of which covers all vertices of G. Here is the critical chromatic number of . The bound on the minimum degree is best possible and confirms a conjecture of Kawarabayashi for large n.     

Density results for Gabor systems associated with periodic subsets of the real line

The well-known density theorem for one-dimensional Gabor systems of the form , where , states that a necessary and sufficient condition for the existence of such a system whose linear span is dense in , or which forms a frame for , is that the density condition is satisfied. The main goal of this paper is to study the analogous problem for Gabor systems for which the window function g vanishes outside a periodic set which is -shift invariant. We obtain measure-theoretic conditions that are necessary and sufficient for the existence of a window g such that the linear span of the corresponding Gabor system is dense in L²(S). Moreover, we show that if this density condition holds, there exists, in fact, a measurable set with the property that the Gabor system associated with the same parameters a,b and the window g=χ_E, forms a tight frame for L²(S).     

Weak and point-wise convergence in for filter convergence

We study those filters on for which weak -convergence of bounded sequences in C(K) is equivalent to point-wise -convergence. We show that it is sufficient to require this property only for C[0,1] and that the filter-analogue of the Rainwater extremal test theorem arises from it. There are ultrafilters which do not have this property and under the continuum hypothesis there are ultrafilters which have it. This implies that the validity of the Lebesgue dominated convergence theorem for -convergence is more restrictive than the property which we study.     

Construction of highly stable parallel two-step Runge–Kutta methods for delay differential equations

It is shown that any A-stable two-step Runge–Kutta method of order and stage order for ordinary differential equations can be extended to the P-stable method of uniform order for delay differential equations.     

Probabilistic n-normed spaces, -n-compact sets and -n-bounded sets

In this paper, first we define and study the probabilistic n-normed spaces and -n-compactness, also we prove some theorems and inequalities. In the next section we define -n-boundedness and prove some results in relation between -n-compact and -n-bounded sets in these spaces.     

Semifields of order with left nucleus and center

In [G. Marino, O. Polverino, R. Trombetti, On -linear sets of PG(3,q³) and semifields, J. Combin. Theory Ser. A 114 (5) (2007) 769–788] it has been proven that there exist six non-isotopic families (i=0,…,5) of semifields of order q⁶ with left nucleus and center , according to the different geometric configurations of the associated -linear sets. In this paper we first prove that any semifield of order q⁶ with left nucleus , right and middle nuclei and center is isotopic to a cyclic semifield. Then, we focus on the family by proving that it can be partitioned into three further non-isotopic families: , , and we show that any semifield of order q⁶ with left nucleus , right and middle nuclei and center belongs to the family .     

Inverse eigenproblem for -symmetric matrices and their approximation

Let be a nontrivial involution, i.e., R=R⁻¹≠±I_n. We say that is R-symmetric if RGR=G. The set of all -symmetric matrices is denoted by . In this paper, we first give the solvability condition for the following inverse eigenproblem (IEP): given a set of vectors in and a set of complex numbers , find a matrix such that and are, respectively, the eigenvalues and eigenvectors of A. We then consider the following approximation problem: Given an n×n matrix , find such that , where is the solution set of IEP and is the Frobenius norm. We provide an explicit formula for the best approximation solution by means of the canonical correlation decomposition.     

On the sizes of Delaunay meshes

Let be a polyhedral domain occupying a convex volume. We prove that the size of a graded mesh of with bounded vertex degree is within a factor of the size of any Delaunay mesh of with bounded radius-edge ratio. The term depends on the geometry of and it is likely a small constant when the boundaries of are fine triangular meshes. There are several consequences. First, among all Delaunay meshes with bounded radius-edge ratio, those returned by Delaunay refinement algorithms have asymptotically optimal sizes. This is another advantage of meshing with Delaunay refinement algorithms. Second, if no input angle is acute, the minimum Delaunay mesh with bounded radius-edge ratio is not much smaller than any minimum mesh with aspect ratio bounded by a particular constant.     

Binary Hermitian forms over a cyclotomic field

Let ζ be a primitive fifth root of unity and let F be the cyclotomic field . Let be the ring of integers. We compute the Voronoï polyhedron of binary Hermitian forms over F and classify -conjugacy classes of perfect forms. The combinatorial data of this polyhedron can be used to compute the cohomology of the arithmetic group and Hecke eigenforms.