Related papers: Constructing Class invariants

We find an explicit form of the inverse isomorphism from Shapiro's lemma in terms of inhomogeneous cocycles and apply it to construct special nonsplit coverings of groups with a unique conjugacy class of involutions.

We classify (up to quasi-isomorphism) the free differential modules whose homology is equal to a given module $M$ by developing a theory for deforming an arbitrary free complex into a differential module. We use an iterative approach to…

We use categorical method and birational geometry to study moduli spaces of quiver representations. From certain "representable" functor, we construct a birational transformation from the moduli space of representations of one quiver to…

We deduce from the work of Chen, that the restriction morphism from closed free iterated integrals to closed iterated integrals on loops is onto. We use this to show that the module of higher order invariants of smooth functions is…

Let $G$ be an abelian group of order $n$ and let $R$ be a commutative ring which admits a homomorphism ${\Bbb Z}[\zeta_{n}]\ra R$, where $\zeta_{n}$ is a (complex) primitive $n$-th root of unity. Given a finite $R[G\e]$-module $M$, we…

We evaluate in closed form several classes of finite trigonometric sums. Two general methods are used. The first is new and involves sums of roots of unity. The second uses contour integration and extends a previous method used by two of…

Machine learning methods can be unreliable when deployed in domains that differ from the domains on which they were trained. There are a wide range of proposals for mitigating this problem by learning representations that are ``invariant''…

Given a partition $\lambda$ of $n$, the {\it Schur functor} $\mathbb{S}_\lambda$ associates to any complex vector space $V$, a subspace $\mathbb{S}_\lambda(V)$ of $V^{\otimes n}$. Hermite's reciprocity law, in terms of the Schur functor,…

In this article, we study the Iwasawa theory for Hilbert modular forms over the anticyclotomic extension of a CM field. We prove a one sided divisibility result toward the Iwasawa main conjecture. The proof relies on the first and second…

While reinforcement learning algorithms provide automated acquisition of optimal policies, practical application of such methods requires a number of design decisions, such as manually designing reward functions that not only define the…

Nominal unification calculates substitutions that make terms involving binders equal modulo alpha-equivalence. Although nominal unification can be seen as equivalent to Miller's higher-order pattern unification, it has properties, such as…

We find new families of shape invariant potentials depending on n>=1 parameters subject to translation by the inclusion of non-trivial invariants. New dependencies of the spectra are found, and it opens the door to the engineering of…

A common technique for verifying the safety of complex systems is the inductive invariant method. Inductive invariants are inductive formulas that overapproximate the reachable states of a system and imply a desired safety property.…

This article focuses on automatically generating polynomial equations that are inductive loop invariants of computer programs. We propose a new algorithm for this task, which is based on polynomial interpolation. Though the proposed…

We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way. We consider…

We define and prove isomorphisms between three combinatorial classes involving labeled trees. We also give an alternative proof by means of generating functions.

In this semi-expository note, we give a new proof of a structure theorem due to Shimura for nearly holomorphic modular forms on the complex upper half plane. Roughly speaking, the theorem says that the space of all nearly holomorphic…

Superposition rules form a class of functions that describe general solutions of systems of first-order ordinary differential equations in terms of generic families of particular solutions and certain constants. In this work we extend this…

We present a general and comprehensive overview of recent developments in the theory of integral models of Shimura varieties of Hodge type. The paper covers the following topics: construction of integral models, their possible moduli…

False theta functions are functions that are closely related to classical theta functions and mock theta functions. In this paper, we study their modular properties at all ranks by forming modular completions analogous to modular…