A maple® package for the calculus of variations based on jet manifolds

This contribution presents a computer algebra package for Lagrangian systems with p???1 independent and q???1 dependent variables. The Lagrangian may depend on the partial derivatives up to the order n???0 of the dependent variables with respect to the independent ones. In the case of one independent variable, p?=?1, the package derives the equations of motion in the form of a system of q ordinary differential equations of order 2n, for p?>?1 the result is a system of q partial differential equation up to the order 2n. In addition the package determines all the required boundary conditions in the case of p???3 and n???2. Since the presented method uses the concept of jet manifolds, a short introduction to the notation of jet theory is provided. Two examples — the Timoshenko beam and the Kirchhoff plate — demonstrate the main features of the presented computer algebra based approach.     

Graph-Theoretic Approach to Stochastic Integrals with Clifford Algebras

Given a fixed probability space (Ω,ℱ,ℙ) and m≥1, let X(t) be an L²(Ω) process satisfying necessary regularity conditions for existence of the mth iterated stochastic integral. For real-valued processes, these existence conditions are known from the work of D. Engel. Engel’s work is extended here to L²(Ω) processes defined on Clifford algebras of arbitrary signature (p,q), which reduce to the real case when p=q=0. These include as special cases processes on the complex numbers, quaternion algebra, finite fermion algebras, fermion Fock spaces, space-time algebra, the algebra of physical space, and the hypercube. Next, a graph-theoretic approach to stochastic integrals is developed in which the mth iterated stochastic integral corresponds to the limit in mean of a collection of weighted closed m-step walks on a growing sequence of graphs. Combinatorial properties of the Clifford geometric product are then used to create adjacency matrices for these graphs in which the appropriate weighted walks are recovered naturally from traces of matrix powers. Given real-valued L²(Ω) processes, Hermite and Poisson-Charlier polynomials are recovered in this manner.     

The Graded Algebra Generated by Two Eulerian Derivatives

We study the algebra R _p,q generated by the Eulerian derivatives for two parameters p and q. Subject to certain conditions on the parameters, we show that R _p,q is a finitely presented N-graded algebra of Gelfand–Kirillov dimension 3. We establish a criterion for the cyclic module R _p,q /R _p,q f to be Noetherian, where f is homogeneous of degree 1. For some choices of the parameters, this criterion always holds and we know of no situation where it fails. It is not known whether R _p,q is Noetherian. We classify the point modules for R _p,q and determine the normal elements and graded automorphisms for R _p,q .     

On the number of full levels in tries

We study the asymptotic distribution of the fill‐up level in a binary trie built over n independent strings generated by a biased memoryless source. The fill‐up level is the number of full levels in a tree. A level is full if it contains the maximum allowable number of nodes (e.g., in a binary tree level k can have up to 2^k nodes). The fill‐up level finds many interesting applications, e.g., in the internet IP lookup problem and in the analysis of level compressed tries (LC tries). In this paper, we present a complete asymptotic characterization of the fill‐up distribution. In particular, we prove that this distribution concentrates on one or two points around the most probably value k = ?log_1/qn ? log log log n + 1 + log log(p/q)?, where p > q = 1 ? p is the probability of generating the more likely symbol (while q = 1 ? p is the probability of the less likely symbol). We derive our results by analytic methods such as generating functions, Mellin transform, the saddle point method, and analytic depoissonization. We also present some numerical verification of our results. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2004     

Unitary Spaces on Clifford Algebras

For the complex Clifford algebra (p, q) of dimension n = p + q we define a Hermitian scalar product. This scalar product depends on the signature (p, q) of Clifford algebra. So, we arrive at unitary spaces on Clifford algebras. With the aid of Hermitian idempotents we suggest a new construction of, so called, normal matrix representations of Clifford algebra elements. These representations take into account the structure of unitary space on Clifford algebra. The work of N.M. is supported in part by the Russian President’s grant NSh-6705.2006.1.     

Analysis on the minimal representation of O(p,q): III. Ultrahyperbolic equations on

For the group O(p,q) we give a new construction of its minimal unitary representation via Euclidean Fourier analysis. This is an extension of the q=2 case, where the representation is the mass zero, spin zero representation realized in a Hilbert space of solutions to the wave equation. The group O(p,q) acts as the Möbius group of conformal transformations on , and preserves a space of solutions of the ultrahyperbolic Laplace equation on . We construct in an intrinsic and natural way a Hilbert space of solutions so that O(p,q) becomes a continuous irreducible unitary representation in this Hilbert space. We also prove that this representation is unitarily equivalent to the representation on L²(C), where C is the conical subvariety of the nilradical of a maximal parabolic subalgebra obtained by intersecting with the minimal nilpotent orbit in the Lie algebra of O(p,q).     

Idempotent multipliers for LP (\Bbb R)(\Bbb R)

The algebra B_p(\Bbb R){\cal B}_p({\Bbb R}), p ? (1,￥)\{2}p\in (1,\infty )\setminus \{2\}, consisting of all measurable sets in \Bbb R{\Bbb R} whose characteristic function is a Fourier p-multiplier, forms an algebra of sets containing many interesting and non-trivial elements (e.g. all intervals and their finite unions, certain periodic sets, arbitrary countable unions of dyadic intervals, etc.). However, B_p(\Bbb R){\cal B}_p({\Bbb R}) fails to be a s\sigma -algebra. It has been shown by V. Lebedev and A. Olevskii [4] that if E ? B_p(\Bbb R)E\in {\cal B}_p({\Bbb R}), then E must coincide a.e. with an open set, a remarkable topological constraint on E. In this note we show if $2 < p < \infty $2 < p < \infty , then there exists E ? B_p(\Bbb R)E\in {\cal B}_p({\Bbb R}) which is not in B_q(\Bbb R){\cal B}_q({\Bbb R}) for any q > pq>p.     

The random-cluster model on a homogeneous tree

Summary The random-cluster model on a homogeneous tree is defined and studied. It is shown that for 1q2, the percolation probability in the maximal random-cluster measure is continuous inp, while forq>2 it has a discontinuity at the critical valuep=p _c (q). It is also shown that forq>2, there is nonuniqueness of random-cluster measures for an entire interval of values ofp. The latter result is in sharp contrast to what happens on the integer lattice Z ^d .Research partially supported by a grant from the Royal Swedish Academy of Sciences     

Analysis on the minimal representation of O(p,q): III. Ultrahyperbolic equations on

For the group O(p,q) we give a new construction of its minimal unitary representation via Euclidean Fourier analysis. This is an extension of the q=2 case, where the representation is the mass zero, spin zero representation realized in a Hilbert space of solutions to the wave equation. The group O(p,q) acts as the Möbius group of conformal transformations on , and preserves a space of solutions of the ultrahyperbolic Laplace equation on . We construct in an intrinsic and natural way a Hilbert space of solutions so that O(p,q) becomes a continuous irreducible unitary representation in this Hilbert space. We also prove that this representation is unitarily equivalent to the representation on L²(C), where C is the conical subvariety of the nilradical of a maximal parabolic subalgebra obtained by intersecting with the minimal nilpotent orbit in the Lie algebra of O(p,q).     

A representation theorem and Z-cyclic whist tournaments

Let E denote the group of units (i.e., the reduce set of residues) in the ring Z. Here we consider q,p to be primes, q ≡ 3 (mod 4), q ? 7, p ≡ 1 (mod 4). Let W denote a common primitive root of 3, q, and p². If H denotes the (normal) subgroup of E that is generated by {?1, W}, we show that the factor group E/H is cyclic by demonstrating the existence of an element x in E such that the coset xH has order equal to |E/H|. This order is given by gcd(p^n?1(p ? 1),q ? 1). This representation of E/H is exploited via an appropriate construction to produce Z-cyclic whist tournaments for 3qpⁿ players. Consequently these results extend those of an early study of Wh(3qpⁿ) that was restricted to gcd(p^n?1(p ? 1),q ? 1) = 2. © 1995 John Wiley & Sons, Inc.     

Clifford algebra and the Lorentz transformation with (p, q) form

In this paper, the concepts of Lorentz inner product with (p, q) form, the Lorentz space and the Lorentz transformation with (p, q) form are given by using Clifford algebra. It is shown that L_m^p,q is the Lorentz transformation with (p, q) form, and the matrix equality relation of Minkowski space with (n − 1, 1) form is given. The examples are given to illustrate the corresponding results.     

The p-adic quantum plane algebras and quantum Weyl algebra

Let q be a principal unit of the ring of valuation of a complete valued field K, extension of the field of p-adic numbers. Generalizing Mahler basis, K. Conrad has constructed orthonormal basis, depending on q, of the space of continuous functions on the ring of p-adic integers with values in K. Attached to q there are two models of the quantum plane and a model of the quantum Weyl algebra, as algebras of bounded linear operators on the space of p-adic continuous functions. For q not a root of unit, interesting orthonormal (orthogonal) families of these algebras are exhibited and providing p-adic completion of quantum plane and quantum Weyl algebras. The text was submitted by the authors in English.     

On the Quantum KPRV Determinants for Semisimple and Affine Lie Algebras

Let g be a semisimple or affine Lie algebra and U _q (g) its quantized enveloping algebra. Extending earlier work, the KPRV determinant for an admissible integrable U _q (g) module V relative to a parabolic subalgebra pg is defined and shown to be nonzero. These determinants had previously been evaluated for g semisimple and p a Borel subalgebra. The present results can be used to extend this to g affine as will be shown in a subsequent publication.For a parabolic subalgebra the evaluation of these determinants is much more difficult. For appropriate overalgebras of the primitive quotients of the enveloping algebra U(g) defined by one-dimensional representations of p, these determinants had been calculated for g semisimple. However the quantum case is interesting because it is unnecessary to pass to overalgebras and besides for U(g):g affine, it is not even clear how these determinants should be defined. Here for g semisimple, the degrees of the determinants are computed and shown to depend on being the same type of functions as in the enveloping algebra case; yet in a different fashion. Some special cases (in type A ₄) are computed explicity. Here, as in the Borel case, the determinants take a remarkably simple form and notably can be expressed as a product of linear factors. However compared to the enveloping algebra case one finds additional factors corresponding to what are called quantum zeros and whose origin remains unknown.     

Iterative character constructions for algebra groups

We construct a family of orthogonal characters of an algebra group which decompose the supercharacters defined by Diaconis and Isaacs (2008) [6]. Like supercharacters, these characters are given by nonnegative integer linear combinations of Kirillov functions and are induced from linear supercharacters of certain algebra subgroups. We derive a formula for these characters and give a condition for their irreducibility; generalizing a theorem of Otto (2010) [20], we also show that each such character has the same number of Kirillov functions and irreducible characters as constituents. In proving these results, we observe as an application how a recent computation by Evseev (2010) [7] implies that every irreducible character of the unitriangular group UTn(q) of unipotent n×n upper triangular matrices over a finite field with q elements is a Kirillov function if and only if n?12. As a further application, we discuss some more general conditions showing that Kirillov functions are characters, and describe some results related to counting the irreducible constituents of supercharacters.     

Generic Modules Over a Class of Drinfeld's Quantum Doubles

Let k be a field and A _n (ω) be the Taft's n ²-dimensional Hopf algebras. When n is odd, the Drinfeld quantum double D(A _n (ω)) of A _n (ω) is a Ribbon Hopf algebra. In the previous articles, we constructed an n ⁴-dimensional Hopf algebra H _n (p, q) which is isomorphic to D(A _n (ω)) if p ≠ 0 and q = ω^?1, and studied the finite dimensional representations of H _n (1, q). We showed that the basic algebra of any nonsimple block of H _n (1, q) is independent of n. In this article, we examine the infinite representations of H ₂(1, ? 1), or equivalently of H _n (1, q)?D(A _n (ω)) for any n ≥ 2. We investigate the indecomposable and algebraically compact modules over H ₂(1, ? 1), describe the structures of these modules and classify them under the elementary equivalence.     

On ℤp-graded identities and cocharacters of the Grassmann algebra

Let p be an odd prime number, F a field of characteristic zero, and let Ebe the unitary Grassmann algebra generated by the infinite-dimensionalF-vector space L. We determine the bases of the ?_p-graded identities.Moreover we compute the ?_p-graded codimension and cocharacter sequences for the algebra E endowed with any ?_p-grading such that L is a homogeneous subspace.     

Group-cograded Multiplier Hopf ${\left( { * {\text{ - }}} \right)}$algebras

Let G be a group and assume that (A _p ) _p∈G is a family of algebras with identity. We have a Hopf G-coalgebra (in the sense of Turaev) if, for each pair p,q ∈ G, there is given a unital homomorphism Δ _p,q : A _pq → A _p ⊗ A _q satisfying certain properties. Consider now the direct sum A of these algebras. It is an algebra, without identity, except when G is a finite group, but the product is non-degenerate. The maps Δ _p,q can be used to define a coproduct Δ on A and the conditions imposed on these maps give that (A,Δ) is a multiplier Hopf algebra. It is G-cograded as explained in this paper. We study these so-called group-cograded multiplier Hopf algebras. They are, as explained above, more general than the Hopf group-coalgebras as introduced by Turaev. Moreover, our point of view makes it possible to use results and techniques from the theory of multiplier Hopf algebras in the study of Hopf group-coalgebras (and generalizations). In a separate paper, we treat the quantum double in this context and we recover, in a simple and natural way (and generalize) results obtained by Zunino. In this paper, we study integrals, in general and in the case where the components are finite-dimensional. Using these ideas, we obtain most of the results of Virelizier on this subject and consider them in the framework of multiplier Hopf algebras. Presented by Ken Goodearl.