In this paper, we consider the space of second order cusp forms. We determine that this space is precisely the same as a certain subspace of mixed mock modular forms. Based upon Poincaré series of Diamantis and O’Sullivan [21] which span the space of second order cusp forms, we construct Poincaré series which span a natural (more general) subspace of mixed mock modular forms.

To every k-dimensional modular invariant vector space we associate a modular form on SL(2,Z) of weight 2k. We explore number theoretic properties of this form and found a sufficient condition for its vanishing which yields modular identities (e.g., Ramanujan-Watson’s modular identities). Furthermore, we focus on a family of modular invariant spaces coming from suitable two-dimensional spaces vi...

The issue of how to deal with the modular transformations – large diffeomorphisms – in (2+1)-quantum gravity on the torus is discussed. I study the Chern-Simons/connection representation and show that the behavior of the modular transformations on the reduced configuration space is so bad that it is possible to rule out all finite dimensional unitary representations of the modular group on the ...

This paper is focused on the kinematic control of redundant modular robots for trajectory tracing. Based on the geometric numerical inverse kinematic algorithm developed for modular robots, a new online control method is presented. In this method, the inverse kinematic solution can be optimized through constructing a weighted matrix. Following this approach, some fundamental interpolation algor...

In this paper we present a fixed point theorem of Banach type in modular space. We give an application of this result to a nonlinear integral equation in Musielak-Orlicz space. 0. Introduction It is well known that one of the standard proofs of Banach’s fixed point theorem is based on Cantor’s theorem in complete metric spaces [3, 4]. To this end, using some convenient constants in the contract...

Mixed mock modular forms are functions which lie in the tensor space of mock modular forms and modular forms. As q-hypergeometric series, mixed mock modular forms appear to be much more common than mock theta functions. In this survey, we discuss some of the ways such series arise.

The modular envelope of a cyclic operad is the smallest modular operad containing it. A modular operad is constructed from moduli spaces of Riemann surfaces with boundary; this modular operad is shown to be the modular envelope of the A∞ cyclic operad. This gives a new proof of the result of Harer-Mumford-Thurston-Penner-Kontsevich that a cell complex built from ribbon graphs is homotopy equiva...

We present thread-modular model checking, a novel technique for verifying correctness properties of loosely-coupled multithreaded software systems. Thread-modular model checking verifies each thread separately using an automatically inferred environment assumption that abstracts the possible steps of other threads. Separate verification of each thread yields significant space and time savings. ...