Related papers: Inductive McKay Condition in defining Characterist…

We give a necessary and sufficient condition for a prime to be an integer group determinant for an arbitrary abelian $p$-group of the form ${\rm C}_{p} \times H$, where ${\rm C}_{p}$ is the cyclic group of order $p$. Also, we show that…

In a stable theory, a stationary type $q \in S(A)$ internal to a family of partial types $\mathcal{P}$ over $A$ gives rise to a type-definable group, called its binding group. This group is isomorphic to the group…

This article provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed by W.Schmid in [Sch]. A corresponding problem in the compact group setting was solved by…

We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble…

We explore a hierarchy of notions in categorical algebra: Mal'tsev categories (where every reflexive relation is symmetric); naturally Mal'tsev categories (where every reflexive graph underlies a unique internal groupoid structure, also…

A sufficient condition for the simplicity of induced modules of reductive Lie algebras is given.

The simplicity of the induced modules for reductive Lie algebras over an algebraically closed field of positive characteristic is studied, and a necessary and sufficient condition for the simplicity is given.

A very simple example demonstrates that Fisher's application of the conditionality principle to regression ("fixed-$x$ regression"), endorsed by Sprott and many other followers, makes prediction impossible in the context of statistical…

This paper is concerned with the representation theory of finite groups. According to Robinson, the truth of certain variants of Alperin's weight conjecture on the $p$-blocks of a finite group would imply some arithmetical conditions on the…

We present a novel Type II variational principle on the cotangent bundle of a Lie group which enforces Type II boundary conditions, i.e., fixed initial position and final momentum. In general, such Type II variational principles are only…

We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…

Bayesian inference is limited in scope because it cannot be applied in idealized contexts where none of the hypotheses under consideration is true and because it is committed to always using the likelihood as a measure of evidential…

We extend the Howlett-Isaacs theorem on the solvability of groups of central type taking into account actions by automorphisms. Then we study certain induced characters whose constituents have all the same degree.

Let $k$ be a finitely generated field of characteristic $p>0$ and $X$ a smooth and proper scheme over $k$. Recent works of Cadoret, Hui and Tamagawa show that, if $X$ satisfies the $\ell$-adic Tate conjecture for divisors for every prime…

We determine the non-abelian composition factors of the finite groups with Sylow normalizers of odd order. As a consequence, among others, we prove the McKay conjecture and the Alperin weight conjecture for these groups.

For a restricted Lie superalgebra g over an algebraically closed field of characteristic p > 2, we generalize the deformation method of Premet and Skryabin to obtain results on the p-power and 2-power divisibility of dimensions of…

Machine learning models that predict the feasibility of chemical reactions have become central to automated synthesis planning. Despite their predictive success, these models often lack transparency and interpretability. We introduce a…

The inferential model (IM) framework provides valid prior-free probabilistic inference by focusing on predicting unobserved auxiliary variables. But, efficient IM-based inference can be challenging when the auxiliary variable is of higher…

Understanding the behavior of learned classifiers is an important task, and various black-box explanations, logical reasoning approaches, and model-specific methods have been proposed. In this paper, we introduce probabilistic sufficient…

We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents,…