Related papers: Inductive McKay Condition in defining Characterist…
In this letter, we propose a new identification criterion that guarantees the recovery of the low-rank latent factors in the nonnegative matrix factorization (NMF) model, under mild conditions. Specifically, using the proposed criterion, it…
In-context learning (ICL) is an important paradigm for adapting large language models (LLMs) to new tasks, but the generalization behavior of ICL remains poorly understood. We investigate the inductive biases of ICL from the perspective of…
We gather evidence on a new local-global conjecture of Moret\'o and Rizo on values of irreducible characters of finite groups. For this we study subnormalisers and picky elements in finite groups of Lie type and determine them in many…
Recently, there has been substantial progress on the Alperin weight conjecture. As a step to establish the Alperin weight conjecture for all finite groups, we prove the inductive blockwise Alperin weight condition for simple groups of…
This is an up-to-date introduction to and overview of the Minimum Description Length (MDL) Principle, a theory of inductive inference that can be applied to general problems in statistics, machine learning and pattern recognition. While MDL…
Let $X$ be a locally compact Abelian group, $Y$ be its character group. Following A. Kagan and G. Sz\'ekely we introduce a notion of $Q$-independence for random variables with values in $X$. We prove group analogues of the Cram\'er,…
We introduce a new way of formalizing the intensional identity type based on the fact that a entity known as computational paths can be interpreted as terms of the identity type. Our approach enjoys the fact that our elimination rule is…
We study collections of additive categories $\mathcal{M}(G)$, indexed by finite groups $G$ and related by induction and restriction in a way that categorifies usual Mackey functors. We call them `Mackey 2-functors'. We provide a large…
The original Lawvere condition asserts that every reflexive graph admits a unique natural structure of internal groupoid. This property was identified by P. T. Johnstone, following a question by A. Carboni and a suggestion by F. W. Lawvere,…
Let k be a field of characteristic p>0, and G be a finite group. The first result of this paper is an explicit formula for the determinant of the Cartan matrix of the Mackey algebra mu_k(G) of G over k. The second one is a formula for the…
Starting from the expression for the superdeterminant of (xI-M), where M is an arbitrary supermatrix, we propose a definition for the corresponding characteristic polynomial and we prove that each supermatrix satisfies its characteristic…
This article discusses the modular representation theory of finite groups of Lie type from the viewpoint of Broue's abelian defect group conjecture. We discuss both the defining characteristic case, the inspiration for Alperin's weight…
We give new criteria for the irreducibility of parabolic induction on the general linear group and its inner forms over a local non-archimedean field. In particular, we give a necessary and sufficient condition when the inducing data is of…
A classification theorem for three different sorts of Mal'tsev categories is proven. The theorem provides a classification for Mal'tsev category, naturally Malt'sev category, and weakly Mal'tsev category in terms of classifying classes of…
We define a general class of dependent type theories, encompassing Martin-L\"of's intuitionistic type theories and variants and extensions. The primary aim is pragmatic: to unify and organise their study, allowing results and constructions…
Let G be a nilpotent p-valuable (compact p-adic Lie) group. There is an ongoing investigation into the prime ideals of its completed group algebra (Iwasawa algebra), and there remains an open conjecture that they can all be proved to have a…
In this paper we prove the blockwise Alperin weight conjecture for finite special linear and unitary groups, for finite groups with abelian Sylow $3$-subgroups, and verify the inductive blockwise Alperin weight condition for certain cases…
It is well-known that the representation theory of the finite group of unipotent upper-triangular matrices $U_n$ over a finite field is a wild problem. By instead considering approximately irreducible representations (supercharacters), one…
In this paper, we prove one direction of a conjecture of Navarro-Rizo-Schaeffer Fry-Vallejo positing an algorithm to determine from the character table whether a finite group has $2$-generated Sylow $3$-subgroups. This gives further…
We give an explicit characterization of solvable factors in factorizations of finite classical groups of Lie type. This completes the classification of solvable factors in factorizations of almost simple groups, finishing the program…