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.     

Modular Synthetic Approach to Carboranyl‒Biomolecules Conjugates

The development of novel, tumor-selective and boron-rich compounds as potential agents for use in boron neutron capture therapy (BNCT) represents a very important field in cancer treatment by radiation therapy. Here, we report the design and synthesis of two promising compounds that combine meta-carborane, a water-soluble monosaccharide and a linking unit, namely glycine or ethylenediamine, for facile coupling with various tumor-selective biomolecules bearing a free amino or carboxylic acid group. In this work, coupling experiments with two selected biomolecules, a coumarin derivative and folic acid, were included. The task of every component in this approach was carefully chosen: the carborane moiety supplies ten boron atoms, which is a tenfold increase in boron content compared to the l-boronophenylalanine (l-BPA) presently used in BNCT; the sugar moiety compensates for the hydrophobic character of the carborane; the linking unit, depending on the chosen biomolecule, acts as the connection between the tumor-selective component and the boron-rich moiety; and the respective tumor-selective biomolecule provides the necessary selectivity. This approach makes it possible to develop a modular and feasible strategy for the synthesis of readily obtainable boron-rich agents with optimized properties for potential applications in BNCT.     

An Analogue of Distributivity for Ungraded Lattices

In this paper, we study lattices that posess both the properties of being extremal (in the sense of Markowsky) and of being left modular (in the sense of Blass and Sagan). We call such lattices trim and show that they posess some additional appealing properties, analogous to those of a distributive lattice. For example, trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms. Any distributive lattice is trim, but trim lattices need not be graded. The main example of ungraded trim lattices are the Tamari lattices and generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim; we conjecture that all Cambrian lattices are trim.     

Analogue of the degree conjecture over function fields

Under a certain assumption, similar to Manin's conjecture, we prove an upper bound on the degree of modular parametrizations of elliptic curves by Drinfeld modular curves, which is the function field analogue of the conjectured bound over the rational numbers.

     

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.     

On Modular Forms Arising from a Differential Equation of Hypergeometric Type

Modular and quasimodular solutions of a specific second order differential equation in the upper-half plane, which originates from a study of supersingular j-invariants in the first author's work with Don Zagier, are given explicitly. Positivity of Fourier coefficients of some of the solutions as well as a characterization of the differential equation are also discussed.     

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.