Related papers: Level lowering: a Mazur principle in higher dimens…

Let $\widehat G \subseteq G$ be complex reductive algebraic groups. The branching problem that aims to study $G$-modules as $\widehat G$-modules is encoded by a collection of branching multiplicities parameterised by pairs of dominant…

Let $G$ be a finite group of Lie type $E_6$ over $F_q$ (adjoint or simply connected) and $W$ be the Weyl group of $G$. We describe maximal tori $T$ such that $T$ has a complement in its algebraic normalizer $N(G,T)$. It is well known that…

A completion of an m-by-n matrix A with entries in {0,1,*} is obtained by setting all *-entries to constants 0 or 1. A system of semi-linear equations over GF(2) has the form Mx=f(x), where M is a completion of A and f:{0,1}^n --> {0,1}^m…

Maass forms for $SL(n,\mathbb{Z})$ are defined to be eigenfunctions of the Casimir operators $\mathcal{D}_{m,n}$ of orders $1 \leq m \leq n$ for $GL(n,\mathbb{R})$. For any $1 \leq m \leq n$ and Maass form $\phi$ for $SL(n,\mathbb{Z})$, we…

Given a real $\mu\geq 1$, a graph $H$ is $\mu$-almost-regular if $\Delta(H)\leq \mu \delta(H)$. The celebrated regularization theorem of Erd\H{o}s and Simonovits states that for every real $0<\varepsilon<1$ there exists a real…

Algorithmic meta-theorems explain the tractability of large classes of computational problems by linking logical expressibility with structural graph properties. While extensions of first-order logic such as FO+dp admit efficient model…

Using the notion of higher-order Fourier dimension introduced in \cite{M2} (which was a sort of psuedorandomness condition stemming from the Gowers norms of Additive Combinatorics), we prove a maximal theorem and corresponding…

It is well known that if one integrates a Schur function indexed by a partition $\lambda$ over the symplectic (resp. orthogonal) group, the integral vanishes unless all parts of $\lambda$ have even multiplicity (resp. all parts of $\lambda$…

We prove an abstract theorem of maximal hypoellipticy showing that in an abstract calculus under some natural assumptions, an operator is maximally hypoelliptic if and only if its principal symbol is left invertible. We then show that our…

Let $R$ be a standard graded algebra over an infinite field $\mathbb{K}$ and $M$ a finitely generated $\ZZ$-graded $R$-module. Let $I_1,\ldots I_m$ be graded ideals of $R$. The functions $r(M/I_1^{a_1}\ldots I_m^{a_m}M)$ and…

We develop a general method for computing the homological Euler characteristic of finite index subgroups G of GL_m(O_K) where O_K is the ring of integers in a number field K. With this method we find, that for large, explicitly computed…

This paper treats what we call `weak geometric liftings' of Galois representations associated to abelian varieties. This notion can be seen as a generalization of the idea of lifting a Galois representation along an isogeny of algebraic…

We show that the number of lines in an $m$--homogeneous supersolvable line arrangement is upper bounded by $3m-3$ and we classify the $m$--homogeneous supersolvable line arrangements with two modular points up-to lattice-isotopy. A lower…

Let D be a valued division algebra, finite-dimensional over its center F. Assume D has an unramified splitting field. The paper shows that if D contains a maximal subfield which is Galois over F (i.e. D is a crossed product) then the…

Graph pooling compresses graphs and summarises their topological properties and features in a vectorial representation. It is an essential part of deep graph representation learning and is indispensable in graph-level tasks like…

If $\mu_m$ and $d_m$ denote, respectively, the $m$-th largest Laplacian eigenvalue and the $m$-th largest vertex degree of a graph, then $\mu_m \geqslant d_m-m+2$. This inequality was conjectured by Guo in 2007 and proved by Brouwer and…

In this article we study convex integer maximization problems with composite objective functions of the form $f(Wx)$, where $f$ is a convex function on $\R^d$ and $W$ is a $d\times n$ matrix with small or binary entries, over finite sets…

Let $p$ be a prime number, $n$ an integer $\geq 2$ and $\rho$ an $n$-dimensional automorphic $p$-adic Galois representation (for a compact unitary group) such that $r:=\rho\vert_{\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)}$ is…

We develop the representation theory for reductive linear differential algebraic groups (LDAGs). In particular, we exhibit an explicit sharp upper bound for orders of derivatives in differential representations of reductive LDAGs, extending…

For a general dyadic grid, we give a Calder\'{o}n-Zygmund type decomposition, which is the principle fact about the multilinear maximal function $\mathfrak{M}$ on the upper half-spaces. Using the decomposition, we study the boundedness of…