Theta Series of Quaternion Algebras over Function Fields

Let K be the function field over a finite field of odd order, and let H be a definite quaternion algebra over K. If Λ is an order of level M in H, we define theta series for each ideal I of Λ using the reduced norm on H. Using harmonic analysis on the completed algebra H_∞ and the arithmetic of quaternion algebras, we establish a transformation law for these theta series. We also define analogs of the classical Hecke operators and show that in general, the Hecke operators map the theta series to a linear combination of theta series attached to different ideals, a generalization of the classical Eichler Commutation Relation.     

On primitive roots for rank one Drinfeld modules

Let k be a global function field over a finite field and let A be the ring of the elements in k regular outside a fixed place ∞. Let K be a global A-field of finite A-characteristic and let ? be a rank one Drinfeld A-module over K. Given any α∈K, we show that the set of places P of K for which α is a primitive root modulo P under the action of ? possesses a Dirichlet density. We also give conditions for this density to be positive.     

Orbifolds and groupoids

We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper étale effective groupoid objects over the complex manifolds. Both on (Pre-Orb) and (Grp) there are natural equivalence relations on objects: (a natural extension of) equivalence of orbifold atlases on (Pre-Orb) and Morita equivalence in (Grp). We prove that F induces a bijection between the equivalence classes of its source and target.     

Power series solutions to Volterra integral equations

Power series type solutions are given for a wide class of linear and q-dimensional nonlinear Volterra equations on R^p. The basic assumption on the kernel K(x, y) is that K(x, xt) has a power series in x. For example, this holds for any analytic kernel.The kernel may be strongly singular, provided certain constants are finite. One and only one such power series solution exists. Its coefficients are given by a simple iterative formula. In many cases this may be solved explicitly. In particular an explicit formula for the resolvent is given.     

On the uniqueness of overcomplete dictionaries, and a practical way to retrieve them

A full-rank under-determined linear system of equations Ax = b has in general infinitely many possible solutions. In recent years there is a growing interest in the sparsest solution of this equation—the one with the fewest non-zero entries, measured by ∥x∥₀. Such solutions find applications in signal and image processing, where the topic is typically referred to as “sparse representation”. Considering the columns of A as atoms of a dictionary, it is assumed that a given signal b is a linear composition of few such atoms. Recent work established that if the desired solution x is sparse enough, uniqueness of such a result is guaranteed. Also, pursuit algorithms, approximation solvers for the above problem, are guaranteed to succeed in finding this solution.Armed with these recent results, the problem can be reversed, and formed as an implied matrix factorization problem: Given a set of vectors {b_i}, known to emerge from such sparse constructions, Ax_i = b_i, with sufficiently sparse representations x_i, we seek the matrix A. In this paper we present both theoretical and algorithmic studies of this problem. We establish the uniqueness of the dictionary A, depending on the quantity and nature of the set {b_i}, and the sparsity of {x_i}. We also describe a recently developed algorithm, the K-SVD, that practically find the matrix A, in a manner similar to the K-Means algorithm. Finally, we demonstrate this algorithm on several stylized applications in image processing.     

Gradient based and least squares based iterative algorithms for matrix equations AXB + CXD = F

This paper develops a gradient based and a least squares based iterative algorithms for solving matrix equation AXB + CX^TD = F. The basic idea is to decompose the matrix equation (system) under consideration into two subsystems by applying the hierarchical identification principle and to derive the iterative algorithms by extending the iterative methods for solving Ax = b and AXB = F. The analysis shows that when the matrix equation has a unique solution (under the sense of least squares), the iterative solution converges to the exact solution for any initial values. A numerical example verifies the proposed theorems.     

The Cassels-Tate pairing and the Platonic solids

We perform descent calculations for the families of elliptic curves whose m-torsion splits as μ_m×Z/mZ for m=3,4 or 5. These curves are parametrised by the modular curve X(m)?P¹, whose cusps are arranged as the vertices of one of the Platonic solids. Following McCallum (Invent. Math. 93 (1988)) we write the Cassels-Tate pairing as a sum of local pairings. In the case m=5 our results extend the work of Beaver (J. Number Theory 82 (2000)).     

Canonical subbase-compactness of topological products

For topological products the concept of canonical subbase-compactness is introduced, and the question analyzed under what conditions such products are canonically subbase-compact in ZF-set theory.Results: (1) Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds.(2) Products of n-element spaces are canonically subbase-compact iff AC(<n), the axiom of choice for sets with less than n elements, holds.(3) Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds.(4) All powers XI of a compact space X are canonically subbase compact iff X is a Loeb-space.These results imply that in ZF the implications

     

On the projectors FF and FF

A particular version of the singular value decomposition is exploited for an extensive analysis of two orthogonal projectors, namely FF^† and F^†F, determined by a complex square matrix F and its Moore-Penrose inverse F^†. Various functions of the projectors are considered from the point of view of their nonsingularity, idempotency, nilpotency, or their relation to the known classes of matrices, such as EP, bi-EP, GP, DR, or SR. This part of the paper was inspired by Benítez and Rako?evi? [J. Benítez, V. Rako?evi?, Matrices A such that AA^† − A^†A are nonsingular, Appl. Math. Comput. 217 (2010) 3493-3503]. Further characteristics of FF^† and F^†F, with a particular attention paid on the results dealing with column and null spaces of the functions and their eigenvalues, are derived as well. Besides establishing selected exemplary results dealing with FF^† and F^†F, the paper develops a general approach whose applicability extends far beyond the characteristics provided therein.     

Bounds for the error of linear systems of equations using the theory of moments

Consider the system, of linear equations Ax = b where A is an n × n real symmetric, positive definite matrix and b is a known vector. Suppose we are given an approximation to x, ξ, and we wish to determine upper and lower bounds for ∥ x − ξ ∥ where ∥ ··· ∥ indicates the euclidean norm. Given the sequence of vectors {r_i}_{i^k = 0}, where r_i = Ar_{i − 1} and r₀ = b − Aξ, it is shown how to construct a sequence of upper and lower bounds for ∥ x − ξ ∥ using the theory of moments.     

Hypergeometric Solutions of Trigonometric KZ Equations Satisfy Dynamical Difference Equations

The trigonometric KZ equations associated to a Lie algebra g depend on a parameter λ∈h where h⊂g is a Cartan subalgebra. A system of dynamical difference equations with respect to λ compatible with the KZ equations is introduced by V. Tarasov and the second author (2000, Internat. Math. Res. Notices15, 801-829). We prove that the standard hypergeometric solutions of the trigonometric KZ equations associated to sl_N also satisfy the dynamical difference equations.     

Mixed finite element methods for general quadrilateral grids

We study a new mixed finite element of lowest order for general quadrilateral grids which gives optimal order error in the H(div)-norm. This new element is designed so that the H(div)-projection Π_h satisfies ∇ · Π_h = P_hdiv. A rigorous optimal order error estimate is carried out by proving a modified version of the Bramble-Hilbert lemma for vector variables. We show that a local H(div)-projection reproducing certain polynomials suffices to yield an optimal L²-error estimate for the velocity and hence our approach also provides an improved error estimate for original Raviart-Thomas element of lowest order. Numerical experiments are presented to verify our theory.     

The main invariants of a complex finsler space

In this paper we extend the results obtained in [3], where are investigated the general settings of the two-dimensional complex Finsler manifolds, with respect to a local complex Berwald frame. The geometry of such manifolds is controlled by three real invariants which live on T'M: two horizontal curvature invariants K and W and one vertical curvature invariant I. By means of these invariants are defined both the horizontal and the vertical holomorphic sectional curvatures. The complex Landsberg and Berwald spaces are of particular interest. Complex Berwald spaces coincide with Kähler spaces, in the two – dimensional case. We establish the necessary and sufficient condition under which K is a constant and we obtain a characterization for the Kähler purely Hermitian spaces by the fact K = W = constant and I = 0. For the class of complex Berwald spaces we have K = W = 0. Finally, a classification of two-dimensional complex Finsler spaces for which the horizontal curvature satisfies a special property is obtained.     

Piecewise linear maps, Liapunov exponents and entropy

Let be a class of piecewise linear maps associated with a transition matrix A. In this paper, we prove that if fA,x∈LA, then the Liapunov exponent λ(x) of fA,x is equal to a measure theoretic entropy hmA,x of fA,x, where mA,x is a Markov measure associated with A and x. The Liapunov exponent and the entropy are computable by solving an eigenvalue problem and can be explicitly calculated when the transition matrix A is symmetric. Moreover, we also show that maxxλ(x)=maxxhmA,x=log(λ₁), where λ₁ is the maximal eigenvalue of A.     

The near-ring of congruence-preserving functions on an expanded group

Let V be a finite expanded group, e.g., a ring or a group. We investigate the near-ring 〈C₀(V);+,°〉 of zero-preserving congruence-preserving functions on V. We obtain some information on the structure of 〈C₀(V);+,°〉 from the lattice of ideals of V: for example, the number of maximal ideals of 〈C₀(V);+,°〉 is completely determined by the isomorphism class of the ideal lattice of V.     

Representations of matroids and free resolutions for multigraded modules

Let k be a field, let R=k[x₁,…,xm] be a polynomial ring with the standard Zm-grading (multigrading), let L be a Noetherian multigraded R-module, and let be a finite free multigraded presentation of L over R. Given a choice S of a multihomogeneous basis of E, we construct an explicit canonical finite free multigraded resolution T_•(Φ,S) of the R-module L. In the case of monomial ideals our construction recovers the Taylor resolution. A main ingredient of our work is a new linear algebra construction of independent interest, which produces from a representation ? over k of a matroid M a canonical finite complex of finite dimensional k-vector spaces T_•(?) that is a resolution of Ker?. We also show that the length of T_•(?) and the dimensions of its components are combinatorial invariants of the matroid M, and are independent of the representation map ?.     

Two local operators and the BLUE

For a given matrix A, a matrix P such that PA = A is said to be a local identity, and such that P²A = PA is said to be a local idempotent. In the paper, some simple properties of such operators are presented. Their relation to the best linear unbiased estimation in the general Gauss-Markov model is also demonstrated.     

On Taylor and other joint spectra for commuting n-tuples of operators

Let R and S be commuting n-tuples of operators. We will give some spectral relations between RS and SR that extend the case of single operators. We connect the Taylor spectrum, the Fredholm spectrum and some other joint spectra of RS and SR. Applications to Aluthge transforms of commuting n-tuples are also provided.     

The hyperring of adèle classes

Text

We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adèle class space HK=AK/K^× of a global field K. After promoting F₁ to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G⊂R^× is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G∪{0} is a subfield of R. This result applies to the adèle class space which thus inherits the structure of a hyperring extension HK of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semi-linear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous non-Desarguesian planes. Finally, we show that for a global field K of positive characteristic, the groupoid of the prime elements of the hyperring HK is canonically and equivariantly isomorphic to the groupoid of the loops of the maximal abelian cover of the curve associated to the global field K.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=3LSKD_PfJyc.