-
Quantitative level lowering for weight two Hilbert modular forms
Authors:
Mohamed Moakher
Abstract:
We generalize a result of Ribet and Takahashi on the parametrization of elliptic curves by Shimura curves to the Hilbert modular setting. In particular, we study the behaviour of the parametrization of modular abelian varieties by Shimura curves associated to quaternion algebras $D$ over a totally real field $F$, as we vary $D$. As a consequence, we obtain that on these Shimura curves, the cohomol…
▽ More
We generalize a result of Ribet and Takahashi on the parametrization of elliptic curves by Shimura curves to the Hilbert modular setting. In particular, we study the behaviour of the parametrization of modular abelian varieties by Shimura curves associated to quaternion algebras $D$ over a totally real field $F$, as we vary $D$. As a consequence, we obtain that on these Shimura curves, the cohomological congruence module is equal to the ring theoretic congruence module even in cases where we do not have multiplicity one, thereby extending results of Manning and Böckle-Khare-Manning.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Symplectic determinant laws and invariant theory
Authors:
Mohamed Moakher,
Julian Quast
Abstract:
We introduce the notion of $\textit{symplectic determinant laws}$ by analogy with Chenevier's definition of determinant laws. Symplectic determinant laws are a way to define pseudorepresentations for symplectic representations of algebras with involution over arbitrary $\mathbb{Z}[\frac{1}{2}]$-algebras. We prove that this notion satisfies the properties expected from a good theory of pseudorepres…
▽ More
We introduce the notion of $\textit{symplectic determinant laws}$ by analogy with Chenevier's definition of determinant laws. Symplectic determinant laws are a way to define pseudorepresentations for symplectic representations of algebras with involution over arbitrary $\mathbb{Z}[\frac{1}{2}]$-algebras. We prove that this notion satisfies the properties expected from a good theory of pseudorepresentations, and we compare it to Lafforgue's $\text{Sp}_{2d}$-pseudocharacters. In the process, we compute generators of the invariant algebras $A[M_d^m]^{G}$ and $A[G^m]^G$ over an arbitrary commutative ring $A$ when $G \in \{\text{Sp}_d, \mathrm O_d, \text{GSp}_d, \text{GO}_d\}$, generalizing results of Zubkov.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Geometries on the cone of positive-definite matrices derived from the power potential and their relation to the power means
Authors:
Nadia Chouaieb,
Bruno Iannazzo,
Maher Moakher
Abstract:
We study a Riemannian metric on the cone of symmetric positive-definite matrices obtained from the Hessian of the power potential function $(1-\det(X)^β)/β$. We give explicit expressions for the geodesics and distance function, under suitable conditions. In the scalar case, the geodesic between two positive numbers coincides with a weighted power mean, while for matrices of size at least two it yi…
▽ More
We study a Riemannian metric on the cone of symmetric positive-definite matrices obtained from the Hessian of the power potential function $(1-\det(X)^β)/β$. We give explicit expressions for the geodesics and distance function, under suitable conditions. In the scalar case, the geodesic between two positive numbers coincides with a weighted power mean, while for matrices of size at least two it yields a notion of weighted power mean different from the ones given in the literature. As $β$ tends to zero, the power potential converges to the logarithmic potential, that yields a well-known metric associated with the matrix geometric mean; we show that the geodesic and the distance associated with the power potential converge to the weighted matrix geometric mean and the distance associated with the logarithmic potential, respectively.
△ Less
Submitted 11 December, 2021; v1 submitted 20 February, 2021;
originally announced February 2021.
-
A nonstandard higher-order variational model to speckle noise removal and thin-structure detection
Authors:
Hamdi Houichet,
Anis Theljani,
Maher Moakher,
Badreddine Rjaibi
Abstract:
In this work, we propose a multiscale approach for a nonstandard higher-order PDE based on the $p(\cdot)$-Kirchhoff energy. First, we consider a topological gradient approach for a semilinear case in order to detect important object of image. Then, we consider a fully nonlinear $p(\cdot)$-Kirchhoff equation with variables exponent functions that are chosen adaptively based on the map furnished by…
▽ More
In this work, we propose a multiscale approach for a nonstandard higher-order PDE based on the $p(\cdot)$-Kirchhoff energy. First, we consider a topological gradient approach for a semilinear case in order to detect important object of image. Then, we consider a fully nonlinear $p(\cdot)$-Kirchhoff equation with variables exponent functions that are chosen adaptively based on the map furnished by the topological gradient in order to preserve important features of the image. Then, we consider the split Bregman method for the numerical implementation of our proposed model. We compare our model with other classical variational approaches such that the TVL and biharmonic restoration models. Finally, we present some numerical results to illustrate the effectiveness of our approach.
△ Less
Submitted 14 June, 2018; v1 submitted 19 June, 2017;
originally announced June 2017.
-
Approximate Joint Diagonalization and Geometric Mean of Symmetric Positive Definite Matrices
Authors:
Marco Congedo,
Bijan Afsari,
Alexandre Barachant,
Maher Moakher
Abstract:
We explore the connection between two problems that have arisen independently in the signal processing and related fields: the estimation of the geometric mean of a set of symmetric positive definite (SPD) matrices and their approximate joint diagonalization (AJD). Today there is a considerable interest in estimating the geometric mean of a SPD matrix set in the manifold of SPD matrices endowed wi…
▽ More
We explore the connection between two problems that have arisen independently in the signal processing and related fields: the estimation of the geometric mean of a set of symmetric positive definite (SPD) matrices and their approximate joint diagonalization (AJD). Today there is a considerable interest in estimating the geometric mean of a SPD matrix set in the manifold of SPD matrices endowed with the Fisher information metric. The resulting mean has several important invariance properties and has proven very useful in diverse engineering applications such as biomedical and image data processing. While for two SPD matrices the mean has an algebraic closed form solution, for a set of more than two SPD matrices it can only be estimated by iterative algorithms. However, none of the existing iterative algorithms feature at the same time fast convergence, low computational complexity per iteration and guarantee of convergence. For this reason, recently other definitions of geometric mean based on symmetric divergence measures, such as the Bhattacharyya divergence, have been considered. The resulting means, although possibly useful in practice, do not satisfy all desirable invariance properties. In this paper we consider geometric means of co-variance matrices estimated on high-dimensional time-series, assuming that the data is generated according to an instantaneous mixing model, which is very common in signal processing. We show that in these circumstances we can approximate the Fisher information geometric mean by employing an efficient AJD algorithm. Our approximation is in general much closer to the Fisher information geometric mean as compared to its competitors and verifies many invariance properties. Furthermore, convergence is guaranteed, the computational complexity is low and the convergence rate is quadratic. The accuracy of this new geometric mean approximation is demonstrated by means of simulations.
△ Less
Submitted 26 May, 2015;
originally announced May 2015.
