Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Polynomial Quantization on Rank One Para-Hermitian Symmetric Spaces

We construct the polynomial quantization on the space G/H where G=SL(n,R),H=GL(n–1,R). It is a variant of quantization in the spirit of Berezin. In our case covariant and contravariant symbols are polynomials on G/H. We introduce a multiplication of covariant symbols, establish the correspondence principle, study transformations of symbols (the Berezin transform) and of operators. We write a full asymptotic decomposition of the Berezin transform.     

Integral Representations,Differentiability Properties and Limits at Infinity for Beppo Levi Functions

The first aim in the present paper is to give an integral representation for Beppo Levi functions on R ⁿ. Our integral representation is an extension of Sobolev's integral representation given for infinitely differentiable functions with compact support. As applications, continuity and differentiability properties of Beppo Levi functions are studied.Our second aim in this paper is to study the existence of limits at infinity for Beppo Levi functions. We also consider the existence of fine-type limits at infinity with respect to Bessel capacities, which yields the radial limit result at infinity.     

Exceptional Θ-Correspondences I

Let G be either a split SO(2n+2), or a split adjoint group of type En, (n=6,7,8), over a p-adic field. In this article we study correspondences arising by restricting the minimal representation of G to various dual pairs in G.     

Learning to See: Making Sense of the Mathematics of Change in Middle School

In this article, we will describe the results of a study of 6th grade students learning about the mathematics of change. The students in this study worked with software environments for the computer and the graphing calculator that included a simulation of a moving elevator, linked to a graph of its velocity vs. time. We will describe how the students and their teacher negotiated the mathematical meanings of these representations, in interaction with the software and other representational tools available in the classroom. The class developed ways of selectively attending to specific features of stacks of centimeter cubes, hand-drawn graphs, and graphs (labeled velocity vs. time) on the computer screen. In addition, the class became adept at imagining the motions that corresponded to various velocity vs. time graphs. In this article, we describe this development as a process of learning to see mathematical representations of motion. The main question this article addresses is: How do students learn to see mathematical representations in ways that are consistent with the discipline of mathematics? This revised version was published online in July 2006 with corrections to the Cover Date.     

A Local Analysis of Congruences in the (p, p) Case: Part I

Given an irreducible, modular, mod p representation p, we analyse the local components at p of newforms f which give rise to it.     

一类最高权向量环的Krull维数

本文给出Om×GLn作用于Cm,n上的复多项式环上的最高权向量环的Krull维数公式,从而改正了Aslaksen,Tan及Zhu的一个错误.     

Shape preservation regions for six-dimensional spaces

We analyze the critical length for design purposes of six-dimensional spaces invariant under translations and reflections containing the functions 1, cos t and sin t. These spaces also contain the first degree polynomials as well as trigonometric and/or hyperbolic functions. We identify the spaces whose critical length for design purposes is greater than 2π and find its maximum 4π. By a change of variables, two biparametric families of spaces arise. We call shape preservation region to the set of admissible parameters in order that the space has shape preserving representations for curves. We describe the shape preserving regions for both families. To our friend Mariano Gasca on occasion of his 60th birthday Research partially supported by the Spanish Research Grant MTM2006-03388, by Gobierno de Aragón and Fondo Social Europeo.     

Some families of hypergeometric polynomials and associated integral representations

The main object of this paper is to investigate several general families of hypergeometric polynomials and their associated single-, double-, and triple-integral representations. Some known or new consequences of the general results presented here, involving such classical orthogonal polynomials as the Jacobi, Laguerre, Hermite, and Bessel polynomials, and various other relatively less familiar hypergeometric polynomials, are also considered. Each of the integral representations, which are derived in this paper, may be viewed also as a linearization relationship for the product of two different members of the associated family of hypergeometric polynomials.     

Distributed Gaussian discrete variable representation

A discrete variable representation (DVR) made from distributed Gaussians g_n(x) = e, (n = ?∞, …, ∞) and its infinite grid limit is described. The infinite grid limit of the distributed Gaussian DVR (DGDVR) reduces to the sinc function DVR of Colbert and Miller in the limit c → 0. The numerical performance of both finite and infinite grid DGDVRs and the sinc function DVR is compared. If a small number of quadrature points are taken, the finite grid DGDVR performs much better than both infinite grid DGDVR and sinc function DVR. The infinite grid DVRs lose accuracy due to the truncation error. In contrast, the sinc function DVR is found to be superior to both finite and infinite grid DGDVRs if enough grid points are taken to eliminate the truncation error. In particular, the accuracy of DGDVRs does not get better than some limit when the distance between Gaussians d goes to zero with fixed c, whereas the accuracy of the sinc function DVR improves very quickly as d becomes smaller, and the results are exact in the limit d → 0. An analysis of the performance of distributed basis functions to represent a given function is presented in a recent publication. With this analysis, we explain why the sinc function DVR performs better than the infinite grid DGDVR. The analysis also traces the inability of Gaussians to yield exact results in the limit d → 0 to the incompleteness of this basis in this limit. © 2005 Wiley Periodicals, Inc. Int J Quantum Chem, 2005