On the finite Mellin transform in quantum calculus and application

The aim of the present paper is to introduce and study a new type of q-Mellin transform [11], that will be called q-finite Mellin transform. In particular, we prove for this new transform an inversion formula and q-convolution product. The application of this transform is also earlier proposed in solving procedure for a new equation with a new fractional differential operator of a variational type.     

Free ω-complete algebras

In this paper we prove that for an arbitrary type Ω and an arbitrary strict ω-complete posetX the free ω-complete algebra of type Ω overX exists. Moreover, we prove, that for an arbitrary type (not necessary finitary!) this free algebra is, obtained by Adamek's construction in ω steps.     

Vassiliev invariants of type one for links in the solid torus

In Bataineh (2003) [2] we studied the type one invariants for knots in the solid torus. In this research we study the type one invariants for n-component links in the solid torus by generalizing Aicardi's invariant for knots in the solid torus to n-component links in the solid torus. We show that the generalized Aicardi's invariant is the universal type one invariant, and we show that the generalized Aicardi's invariant restricted to n-component links in the solid torus with zero winding number for each component is equal to an invariant we define using the universal cover of the solid torus. We also define and study a geometric invariant for n-component links in the solid torus. We give a lower bound on this invariant using the type one invariants, which are easy to calculate, which helps in computing this geometric invariant, which is usually hard to calculate.     

Energy decay rates of elastic waves in unbounded domain with potential type of damping

In this paper we first show that the total energy of solutions for a semilinear system of elastic waves in Rn with a potential type of damping decays in an algebraic rate to zero. We study the critical potential case and we assume that the initial data have a compact support. An application for the Euler-Poisson-Darboux type dissipation V(t,x) is obtained and in this case the compactness of the support on the initial data is not necessary. Finally, we shall discuss the energy concentration region for the linear system of elastic waves in an exterior domain.     

Approximability results for the resource-constrained project scheduling problem with a single type of resources

In this paper, we consider the well-known resource-constrained project scheduling problem. We give some arguments that already a special case of this problem with a single type of resources is not approximable in polynomial time with an approximation ratio bounded by a constant. We prove that there exist instances for which the optimal makespan values for the non-preemptive and the preemptive problems have a ratio of O(logn), where n is the number of jobs. This means that there exist instances for which the lower bound of Mingozzi et al. has a bad relative error of O(logn), and the calculation of this bound is an NP-hard problem. In addition, we give a proof that there exists a type of instances for which known approximation algorithms with polynomial time complexity have an approximation ratio of at least equal to $O(\sqrt{n})$ , and known lower bounds have a relative error of at least equal to O(logn). This type of instances corresponds to the single machine parallel-batch scheduling problem 1|p?batch,b=∞|C _max.     

Enhanced negative type for finite metric trees

A finite metric tree is a finite connected graph that has no cycles, endowed with an edge weighted path metric. Finite metric trees are known to have strict 1-negative type. In this paper we introduce a new family of inequalities (1) that encode the best possible quantification of the strictness of the non-trivial 1-negative type inequalities for finite metric trees. These inequalities are sufficiently strong to imply that any given finite metric tree (T,d) must have strict p-negative type for all p in an open interval (1−ζ,1+ζ), where ζ>0 may be chosen so as to depend only upon the unordered distribution of edge weights that determine the path metric d on T. In particular, if the edges of the tree are not weighted, then it follows that ζ depends only upon the number of vertices in the tree.We also give an example of an infinite metric tree that has strict 1-negative type but does not have p-negative type for any p>1. This shows that the maximal p-negative type of a metric space can be strict.     

An infinitary probability logic for type spaces

Type spaces in the sense of Harsanyi (1967/68) play an important role in the theory of games of incomplete information. They can be considered as the probabilistic analog of Kripke structures. By an infinitary propositional language with additional operators “individual i assigns probability at least α to” and infinitary inference rules, we axiomatize the class of (Harsanyi) type spaces. We prove that our axiom system is strongly sound and strongly complete. To the best of our knowledge, this is the very first strong completeness theorem for a probability logic with σ-additive probabilities. We show this by constructing a canonical type space whose states consist of all maximal consistent sets of formulas. Furthermore, we show that this canonical space is universal (i.e., a terminal object in the category of type spaces) and beliefs complete.     

A Unifying Approach to Weyl Type Theorems for Banach Space Operators

Weyl type theorems have been proved for a considerably large number of classes of operators. In this paper, by introducing the class of quasi totally hereditarily normaloid operators, we obtain a theoretical and general framework from which Weyl type theorems may be promptly established for many of these classes of operators. This framework also entails Weyl type theorems for perturbations f(T + K), where K is algebraic and commutes with T, and f is an analytic function, defined on an open neighborhood of the spectrum of T + K, such that f is non constant on each of the components of its domain.     

A new construction of factors of type III1

We give in this paper a new construction of factors of type III₁. Under certain assumptions, we can, thanks to a result by Popa, give a complete classification for this family of factors. Although these factors are never full, we can nevertheless, in many cases, compute Connes' τ invariant. We obtain a new example of an uncountable family of pairwise non-isomorphic factors of type III₁ with the same τ invariant.     

Dominant regions in noncrystallographic hyperplane arrangements

For a crystallographic root system, dominant regions in the Catalan hyperplane arrangement are in bijection with antichains in a partial order on the positive roots. For a noncrystallographic root system, the analogous arrangement and regions have importance in the representation theory of an associated graded Hecke algebra. Since there is also an analogous root order, it is natural to hope that a similar bijection can be used to understand these regions. We show that such a bijection does hold for type H₃ and for type I₂(m), including arbitrary ratio of root lengths when m is even, but does not hold for type H₄. We give a criterion that explains this failure and a list of the 16 antichains in the H₄ root order which correspond to empty regions.     

Periodic resolutions and self-injective algebras of finite type

We say that an algebra A is periodic if it has a periodic projective resolution as an (A,A)-bimodule. We show that any self-injective algebra of finite representation type is periodic. To prove this, we first apply the theory of smash products to show that for a finite Galois covering B→A, B is periodic if and only if A is. In addition, when A has finite representation type, we build upon results of Buchweitz to show that periodicity passes between A and its stable Auslander algebra. Finally, we use Asashiba’s classification of the derived equivalence classes of self-injective algebras of finite type to compute bounds for the periods of these algebras, and give an application to stable Calabi-Yau dimensions.     

Asymptotic existence theorems for frames and group divisible designs

In this paper, we establish an asymptotic existence theorem for group divisible designs of type mn with block sizes in any given set K of integers greater than 1. As consequences, we will prove an asymptotic existence theorem for frames and derive a partial asymptotic existence theorem for resolvable group divisible designs.     

A posteriori error estimates for hp finite element solutions of convex optimal control problems

In this paper, we present a posteriori error analysis for hp finite element approximation of convex optimal control problems. We derive a new quasi-interpolation operator of Clément type and a new quasi-interpolation operator of Scott-Zhang type that preserves homogeneous boundary condition. The Scott-Zhang type quasi-interpolation is suitable for an application in bounding the errors in L²-norm. Then hp a posteriori error estimators are obtained for the coupled state and control approximations. Such estimators can be used to construct reliable adaptive finite elements for the control problems.     

Permutations selon leurs pics,creux, doubles montées et double descentes,nombres d'euler et nombres de Genocchi

We study permutations whose type is given, the type being the sets of the values of the peaks, throughs, doubles rises and double falls. We show that the type of a permutation on n letters is caracterized by a map γ[n]→[n]; the number of possible types is the Catalan number; the number of permutations whose type is associated with γ is the product γ(1)γ(2)·γ(n). This result is a corollary of an explicit bijection between permutations and pairs (γ, ?) where ? is a map dominated by γ. Specifying this bijection tG various classes of permutations provides enumerative formulas for classical numbers, e.g. Euler and Genocchi numbers. It has been proved recently that each enumerative formula of this work is equivalent to a continued fraction expansion of a generating serie.     

INVARIANTS UNDER STABLE EQUIVALENCES OF MORITA TYPE

The aim of this article is to study some invariants of associative algebras under stable equivalences of Morita type.First of all,we show that,if two finite-dimensional selfinjective k-algebras are sta...     

A MAP/G/1 Queue with Negative Customers

In this paper, we consider a MAP/G/1 queue with MAP arrivals of negative customers, where there are two types of service times and two classes of removal rules: the RCA and RCH, as introduced in section 2. We provide an approach for analyzing the system. This approach is based on the classical supplementary variable method, combined with the matrix-analytic method and the censoring technique. By using this approach, we are able to relate the boundary conditions of the system of differential equations to a Markov chain of GI/G/1 type or a Markov renewal process of GI/G/1 type. This leads to a solution of the boundary equations, which is crucial for solving the system of differential equations. We also provide expressions for the distributions of stationary queue length and virtual sojourn time, and the Laplace transform of the busy period. Moreover, we provide an analysis for the asymptotics of the stationary queue length of the MAP/G/1 queues with and without negative customers.     

On three-fold irregular branched coverings over closed three-braid and three-bridge knots

It is well known that every closed orientable three-manifold is given as a three-fold branched covering space branched over some knot. Then it is an interesting problem that for a given knot family what kind of manifold can be got as a three-fold irregular branched covering space. K. Murasugi showed that for a closed three-braid the manifold is a lens space of type (n,1). In this paper, we will give an another proof and an algorithm to determine n for a given knot. And for a three bridge knot, we will show that its covering space is a lens space of type (p,q), and give an algorithm to determine the pair of p, q.     

Cellularity of twisted semigroup algebras

In this paper, the cellularity of twisted semigroup algebras over an integral domain is investigated by introducing the concept of cellular twisted semigroup algebras of type JH. Partition algebras, Brauer algebras and Temperley-Lieb algebras all are examples of cellular twisted semigroup algebras of type JH. Our main result shows that the twisted semigroup algebra of a regular semigroup is cellular of type JH with respect to an involution on the twisted semigroup algebra if and only if the twisted group algebras of certain maximal subgroups are cellular algebras. Here we do not assume that the involution of the twisted semigroup algebra induces an involution of the semigroup itself. Moreover, for a twisted semigroup algebra, we do not require that the twisting decomposes essentially into a constant part and an invertible part, or takes values in the group of units in the ground ring. Note that trivially twisted semigroup algebras are the usual semigroup algebras. So, our results extend not only a recent result of East, but also some results of Wilcox.     

Comparison of Bartlett-type adjusted tests in the multiparameter case

Considering some Bartlett-type adjusted tests for a simple hypothesis about a multidimensional parameter, this paper clarifies similarities and dissimilarities with the one-parameter case developed in the 1990s, where a major emphasis is put on the issue posed by Rao and Mukerjee [C.R. Rao, R. Mukerjee, Comparison of Bartlett-type adjustments for the efficient score statistic, J. Statist. Plann. Inference 46 (1995) 137-146] on the power under a sequence of local alternatives. Not surprisingly, there is an infinite number of adjustments which extend Chandra-Mukerjee and Taniguchi approaches to the multiparameter case. Revisiting their ideas, this paper presents four specific cases (type K, K=0,1,2,3) and gives a sufficient condition under which our generalized adjustment for each case is uniquely determined, where type 0 is a counterpart of Chandra and Mukerjee’s original proposal for Rao’s test statistic, whereas the latter three types are introduced as double adjustments related to the Cordeiro and Ferrari approach. If the adjustment of type 1 is made instead of type K, K=0,2,3, it is shown that Chandra and Mukerjee’s approach is equivalent to Taniguchi’s approach in terms of the third-order local power. The same is partially true for type 0, depending on the model under consideration. However, the adjustments of type K, K=2,3, reveal, in general, the non-equivalence of these two approaches in terms of the third-order local power.