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.     

Factorizing τ-spectra of mappings

In this paper by a spectrum of mappings we mean a morphism of spectra of spaces. However, using the notion of a mapping of mappings, we give the definition of a spectrum of mappings similar to that of a spectrum of spaces. In this case, the formulations of the given results are also similar to the formulations of the corresponding results concerning the spectra of spaces.For the spectra of mappings we define the notion of a τ-spectrum of mappings factorizing in a special sense and prove a version of the Spectral Theorem for such spectra. Furthermore, to a given indexed collection F of mapping we associate a τ-spectrum factorizing in the above special sense whose mappings are Containing Mappings for F constructed in Iliadis (2005) [4]. These associated τ-spectra and the corresponding version of the Spectral Theorem imply that for a given indexed collection F of mappings any so-called “natural” τ-spectrum for F factorizing in the special sense contains a cofinal and τ-closed subspectrum whose mappings are Containing Mapping for F. Thus, Containing Mappigs for F appear here without any concrete construction. The associated τ-spectra are used also in order to define and characterize the so-called second-type saturated classes of mappings (which are “saturated” by universal elements).     

Topological completeness of the provability logic GLP

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.     

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.     

Regular principal factors in free objects in varieties in the interval [B 2 ,NB 2 ∨G n ]

The author has shown previously how to associate a completely 0-simple semigroup with a connected bipartite graph containing labelled edges and how to describe the regular principal factors in the free objects in the Rees-Sushkevich varieties RS _n generated by all completely 0-simple semigroups over groups from the Burnside variety G _n of groups of exponent dividing a positive integer n by employing this graphical construction. Here we consider the analogous problem for varieties containing the variety B ₂ , generated by the five element Brandt semigroup B ₂, and contained in the variety NB ₂ ∨G _n where NB ₂ is the variety generated by all left and right zero semigroups together with B ₂. The interval [NB ₂ ,NB ₂ ∨G _n ] is of particular interest as it is an important interval, consisting entirely of varieties generated by completely 0-simple semigroups, in the lattice of subvarieties of RS _n .     

Strong linear preservers of rank reverse permutability on triangular matrices

Let F be a field with ∣F∣ > 2 and T_n(F) be the set of all n × n upper triangular matrices, where n ? 2. Let k ? 2 be a given integer. A k-tuple of matrices A₁, …, A_k ∈ T_n(F) is called rank reverse permutable if rank(A₁ A₂ ? A_k) = rank(A_k A_k−1 ? A₁). We characterize the linear maps on T_n(F) that strongly preserve the set of rank reverse permutable matrix k-tuples.     

Commuting Krichever–Novikov differential operators with polynomial coefficients

Under study are some commuting rank 2 differential operators with polynomial coefficients. We prove that, for every spectral curve of the form w² = z³+c₂z2+c₁z+c₀ with arbitrary coefficients c_i, there exist commuting nonselfadjoint operators of orders 4 and 6 with polynomial coefficients of arbitrary degree.     

Composition-closed ?-groups of almost-piecewise-linear functions

In the present work, we shall construct some non-essential H-closed epireflections of W that are not comparable with any other known H-closed epireflections of W other than the divisible hull and the epicompletion. We show first that the free objects in any H-closed epireflective subcategory must be closed under composition (see Section 2 for a precise definition), and that any epic extension of a free W-object on n generators that is closed under composition is actually the free object on n generators in some H-closed epireflective subcategory of W. We then apply these results to certain ?-groups of almost-piecewise-linear Baire functions on R. By definition, a function f:R→R is almost-piecewise-linear if there is a finite point set S⊂R such that f is piecewise-linear on the complement of any neighborhood of S.     

A joint similarity problem for n-tuples of operators on vector-valued Bergman spaces

We investigate n-tuples of commuting Foias-Williams/Peller type operators acting on vector-valued weighted Bergman spaces. We prove that a commuting n-tuple of such operators is jointly (completely) polynomially bounded if and only if it is similar to an n-tuple of contractions, if and only if each of the n operators is polynomially bounded.     

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.     

More on the combinatorial invariance of Kazhdan-Lusztig polynomials

We prove that the Kazhdan-Lusztig polynomials are combinatorial invariants for intervals up to length 8 in Coxeter groups of type A and up to length 6 in Coxeter groups of type B and D. As a consequence of our methods, we also obtain a complete classification, up to isomorphism, of Bruhat intervals of length 7 in type A and of length 5 in types B and D, which are not lattices.     

Some explicit solutions of the additive Deligne-Simpson problem and their applications

In this paper we construct three infinite series and two extra triples (E₈ and ) of complex matrices B, C, and A=B+C of special spectral types associated to Simpson's classification in Amer. Math. Soc. Proc. 1 (1992) 157 and Magyar et al. classification in Adv. Math. 141 (1999) 97. This enables us to construct Fuchsian systems of differential equations which generalize the hypergeometric equation of Gauss-Riemann. In a sense, they are the closest relatives of the famous equation, because their triples of spectral flags have finitely many orbits for the diagonal action of the general linear group in the space of solutions. In all the cases except for E₈, we also explicitly construct scalar products such that A, B, and C are self-adjoint with respect to them. In the context of Fuchsian systems, these scalar products become monodromy invariant complex symmetric bilinear forms in the spaces of solutions.When the eigenvalues of A, B, and C are real, the matrices and the scalar products become real as well. We find inequalities on the eigenvalues of A, B, and C which make the scalar products positive-definite.As proved by Klyachko, spectra of three hermitian (or real symmetric) matrices B, C, and A=B+C form a polyhedral convex cone in the space of triple spectra. He also gave a recursive algorithm to generate inequalities describing the cone. The inequalities we obtain describe non-recursively some faces of the Klyachko cone.     

Special values of L-functions of elliptic curves over Q and their base change to real quadratic fields

For an elliptic curve E over Q, and a real quadratic extension F of Q, satisfying suitable hypotheses, we study the algebraic part of certain twisted L-values for E/F. The Birch and Swinnerton-Dyer conjecture predicts that these L-values are squares of rational numbers. We show that this question is related to the ratio of Petersson inner products of a quaternionic form on a definite quaternion algebra over Q and its base change to F.     

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.     

Diagonalization of the infinite q-boson system

We present a hierarchy of commuting operators in Fock space containing the q  -boson Hamiltonian on Z$\mathbb{Z}$ and show that the operators in question are simultaneously diagonalized by Hall–Littlewood functions and have absolutely continuous spectrum. As an application, the n-particle scattering operator is computed explicitly.     

Rings of h-deformed differential operators

We describe the center of the ring Diff _h (n) of h-deformed differential operators of type A. We establish an isomorphism between certain localizations of Diff _h (n) and the Weyl algebra W _n , extended by n indeterminates.     

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.     

Function spaces and one point extensions for the construct of metered spaces

The construct M of metered spaces and contractions is known to be a superconstruct in which all metrically generated constructs can be fully embedded. We show that M has one point extensions and that quotients in M are productive. We construct a Cartesian closed topological extension of M and characterize the canonical function spaces with underlying sets Hom(X,Y) for metered spaces X and Y. Finally we obtain an internal characterization of the objects in the Cartesian closed topological hull of M.