Service stage Petri net models with product form solution

A class of service stage Petri net models whose equilibrium probabilities satisfy local balance equations is presented. Examples of their applicability include bus oriented multiprocessor interconnections, the classical dining philosophers problem and the alternating bit protocol. The natural topological space for embedding the state transition lattice for this class of SSPN is shown to be a multidimensional toroidal manifold.     

The Fifty Percent Machines—A Short History of Influence Machines and an Elementary Theory of Their Efficiency: An Attempt

Presenting the devices invented by Toepler, Holtz, Wimshurst, and Wommelsdorf, the history of the influence machines, the progress made, and the remaining deficits are discussed. The theoretical considerations published in the literature lack generalizable statements on the efficiency. Based on R. W. Pohl's model (1927), an elementary analysis is made, with the result that the upper limit of the theoretically achievable efficiency of influence machines is only 50%.     

Lower Bounds for the Height and Size of the Ideal Class Group in CM-Fields

 We prove that, under the assumption of the Generalized Riemann Hypothesis, the exponent of the ideal class group of a CM-field goes to infinity with its absolute discriminant. This gives a positive answer to a question raised by Louboutin and Okazaki [4]. Received September 10, 2001; in revised form April 5, 2002     

Lattice tensor products. III - Congruences

G. Grätzer and F. Wehrung introduced the lattice tensor product, A?B, of the lattices Aand B. In Part I of this paper, we showed that for any finite lattice A, we can "coordinatize" A?B, that is, represent A?,B as a subset A of B ^A, and provide an effective criteria to recognize the A-tuples of elements of B that occur in this representation. To show the utility of this coordinatization, we prove, for a finite lattice A and a bounded lattice B, the isomorphism Con A ≌ (Con A)B>, which is a special case of a recent result of G. Grätzer and F. Wehrung and a generalization of a 1981 result of G. Grätzer, H. Lakser, and R.W. Quackenbush.     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

Weak solutions for a hyperbolic system with unilateral constraint and mass loss

We consider isentropic gas dynamics equations with unilateral constraint on the density and mass loss. The γ and pressureless pressure laws are considered. We propose an entropy weak formulation of the system that incorporates the constraint and Lagrange multiplier, for which we prove weak stability and existence of solutions. The nonzero pressure model is approximated by a kinetic BGK relaxation model, while the pressureless model is approximated by a sticky-blocks dynamics with mass loss.     

Relative asymptotics and Fourier series of orthogonal polynomials with a discrete Sobolev inner product

Let μ be a finite positive Borel measure supported in [−1,1] and introduce the discrete Sobolev-type inner product

where the mass points a_k belong to [−1,1], M_k,i0, i=0,…,N_k−1, and M_k,Nk>0. In this paper, we study the asymptotics of the Sobolev orthogonal polynomials by comparison with the orthogonal polynomials with respect to the measure μ and we prove that they have the same asymptotic behaviour. We also study the pointwise convergence of the Fourier series associated to this inner product provided that μ is the Jacobi measure. We generalize the work done by F. Marcellán and W. Van Assche where they studied the asymptotics for only one mass point in [−1,1]. The same problem with a finite number of mass points off [−1,1] was solved by G. López, F. Marcellán and W. Van Assche in a more general setting: they consider the constants M_k,i to be complex numbers. As regards the Fourier series, we continue the results achieved by F. Marcellán, B. Osilenker and I.A. Rocha for the Jacobi measure and mass points in .     

Pointwise gradient estimates of solutions to onedimensional nonlinear parabolic equations

We present here an improved version of the method introduced by the first author to derive pointwise gradient estimates for the solutions of one-dimensional parabolic problems. After considering a general qualinear equation in divergence form we apply the method to the case of a nonlinear diffusion-convection equation. The conclusions are stated first for classical solutions and then for generalized and mild solutions. In the case of unbounded initial datum we obtain several regularizing effects for t > 0. Some unilateral pointwise gradient estimates are also obtained. The case of the Dirichlet problem is also considered. Finally, we collect, in the last section, several comments showing the connections among these estimates and the study of the free boundaries associated to the solutions of the diffusion-convection equation.     

Irreducible Representations of Wreath Products of Association Schemes

The wreath product of finite association schemes is a natural generalization of the notion of the wreath product of finite permutation groups. We determine all irreducible representations (the Jacobson radical) of a wreath product of two finite association schemes over an algebraically closed field in terms of the irreducible representations (Jacobson radicals) of the two factors involved.     

On linear congruence relations for Kubota-Leopoldt 2-adic L-functions

Our purpose in the paper is to find the most general linear congruence relation of the Hardy-Williams type for linear combinations of special values of Kubota-Leopoldt 2-adic L-functions L₂(k,χω^1−k) with k running over any finite subset of not necessarily consisting of consecutive integers (see Acta Arith. 47 (1986) 263; Publ. Math. Fac. Sci. Besançon, Théorie des Nombres, 1995/1996; Publ. Math. Debrecen 56 (2000) 677 and cf. Mathematics and Its Applications, Vol. 511, Kluwer Academic Publishers, Dordrecht, Boston, London, 2000). If k runs over finite subsets of consisting of consecutive integers see Compositio Math. 111 (1998) 289; Publ. Math. Debrecen 56 (2000) 677; Hardy and Williams, 1986; Compositio Math. 75 (1990) 271; Acta Arith. 71 (1995) 273; 52 (1989) 147; J. Number Theory 34 (1990) 362. In order to obtain the most general congruences of this type we make use of divisibility properties of the generalized Vandermonde determinants obtained in Spie? et al. (Divisibility properties of generalized Vandermonde and Cauchy determinants, Preprint 627, Institute of Mathematics, Polish Academy of Sciences, Warsaw, 2002). This allows us to simplify our main Theorem 2 and obtain Theorem 3 where the most general form of the linear congruence relation is given.