Related papers: Analytic isolation of newforms of given level
We present a general method for computing discriminants of noncommutative algebras. It builds a connection with Poisson geometry and expresses the discriminants as products of Poisson primes. The method is applicable to algebras obtained by…
A novel algebra underlying integrable systems is shown to generate and unify a large class of quantum integrable models with given $R$-matrix, through reductions of an ancestor Lax operator and its different realizations. Along with known…
We present a new sieve that allows us to find the prime numbers by using only regular patterns and, more importantly, avoiding any duplication of elements between them.
Let \Gamma be one of the N^2-dimensional bicovariant first order differential calculi on the orthogonal or symplectic quantum group O_q(N) or Sp_q(N). The parameter q is not a root of unity. We show that the second antisymmetrizer exterior…
This work is concerned with categorical methods for studying singularities. Our focus is on birational derived splinters, which is a notion that extends the definition of rational singularities beyond varieties over fields of characteristic…
For a newform $f=\sum a_n q^n$ of weight $k \geq 3$ and a prime $\lambda$ of $\mathbf{Q}(a_n)$, the deformation problem for its associated mod $\lambda$ Galois representation is unobstructed for all primes outside some finite set. Previous…
The {\it prime graph} $\Gamma(G)$ of a finite group $G$ is the graph whose vertex set is the set of prime divisors of $|G|$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if there exists an element of $G$ of order…
The method of asymptotics beyond all orders (ABAO) is known to be a useful tool to investigate separatrix splitting of several maps. For a class of simplectic maps, the form of maps is shown to be restricted by the conditions for the ABAO…
Statistics and Optimization are foundational to modern Machine Learning. Here, we propose an alternative foundation based on Abstract Algebra, with mathematics that facilitates the analysis of learning. In this approach, the goal of the…
This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…
For a congruence subgroup $\Gamma$, we define the notion of $\Gamma$-equivalence on binary quadratic forms which is the same as proper equivalence if $\Gamma = \mathrm{SL}_2(\mathbb Z)$. We develop a theory on $\Gamma$-equivalence such as…
Given a finitely generated multiplicative subgroup of rational numbers $\Gamma$, assuming the Generalized Riemann Hypothesis, we determine an asymptotic formula for average over prime numbers, powers of the order of the reduction group…
This paper is the first part of the series "Spherical higher order Fourier analysis over finite fields", aiming to develop the higher order Fourier analysis method along spheres over finite fields, and to solve the geometric Ramsey…
Generalized diffusion type equations are considered and point symmetry analysis is applied to them. The equations with extremal order point symmetry algebras are described. Some old geometrical results are rederived in connection with…
We introduce `atomic flows': they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomic flows that correspond to complex reductions on derivations.…
In the spirit of Conway we define a groupoid starting from projective planes of order $q$, where $q$ is odd. The associated group of these groupoids is then investigated.
We describe an algorithm for computing a $\Q$-rational model for the quotient of a modular curve by an automorphism group, under mild assumptions on the curve and the automorphisms, by determining $q$-expansions for a basis of the…
Theoretical analyses for graph learning methods often assume a complete observation of the input graph. Such an assumption might not be useful for handling any-size graphs due to the scalability issues in practice. In this work, we develop…
In the paper, a method of describing the outer derivations of the group algebra of a finitely presentable group is given. The description of derivations is given in terms of characters of the groupoid of the adjoint action of the group.
In this paper we introduce a new notion by the help of the idealizer. This new notion is the separator of a subset of a semigroup. We investigate the properties of the separator in an arbitrary semigroup and characterize the unitary…