Related papers: Mal'cev conditions corresponding to identities for…
We propose a new, self-contained, approach to H. Raufi's extension of Prekopa's theorem for matrix-valued log-concave functions. Along the way, new related inequalities are established, in particular a Brascamp-Lieb variance inequality for…
We present some identities dealing with reflexive and admissible relations and which, through a variety, are equivalent to congruence modularity.
This paper characterizes the covers of varieties of p-algebras in the lattice of quasivarieties of p-algebras. In particular, it is shown that every such variety has exactly one cover in the lattice of subquasivarieties. This answers a…
For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal…
We study the multiplicative lattices L which satisfy the condition a = (a : (a : b))(a : b) for all a,b in L.
In a general algebraic setting, we state some properties of commutators of reflexive admissible relations.
We describe degenerations of four-dimensional binary Lie algebras, and five- and six-dimensional nilpotent Malcev algebras over \mathbb{C}. In particular, we describe all irreducible components of these varieties.
Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence or preorder checking to model checking, and are exactly the…
We introduce a variant of the $k$-nearest neighbor classifier in which $k$ is chosen adaptively for each query, rather than supplied as a parameter. The choice of $k$ depends on properties of each neighborhood, and therefore may…
We present a unified framework for studying the identifiability of representations learned from simultaneously observed views, such as different data modalities. We allow a partially observed setting in which each view constitutes a…
We investigate the representation theory of the valenced Temperley-Lieb algebras in mixed characteristic. These algebras, as described in characteristic zero by Flores and Peltola, arise naturally in statistical physics and conformal field…
Statistical and machine learning theory has developed several conditions ensuring that popular estimators such as the Lasso or the Dantzig selector perform well in high-dimensional sparse regression, including the restricted eigenvalue,…
We discuss various compatibility criteria for overdetermined systems of PDEs generalizing the approach to formal integrability via brackets of differential operators. Then we give sufficient conditions that guarantee that a PDE possessing a…
We show that the Hardy-Littlewood maximal operator is bounded on a reflexive variable Lebesgue space $L^{p(\cdot)}$ over a space of homogeneous type $(X,d,\mu)$ if and only if it is bounded on its dual space $L^{p'(\cdot)}$, where…
In this note we analyse the Lie algebras of physical states stemming from lattice constructions on general even, self-dual lattices Gamma^{p,q} with p greater or equal to q. It is known that if the lattice is at most Lorentzian, the…
We study multiple recurrence properties along separated cross sections for pmp actions of unimodular lcsc group on Polish spaces. We establish a multiple transverse recurrence theorem under the assumption that sufficiently large powers of…
Q-conditional symmetries of the classical Lotka-Volterra system in the case of one space variable are completely described and a set of such symmetries in explicit form is constructed. The relevant non-Lie ans\"atze to reduce the classical…
The paper considers general multiplicative models for complete and incomplete contingency tables that generalize log-linear and several other models and are entirely coordinate free. Sufficient conditions of the existence of maximum…
We investigate the rectifiable spaces, the Mal'cev algebras, the almost quasivarieties of topological algebraic systems and their free systems and others. It specifies and corrects the roughest mistakes, incorrect statements and nonsense of…
We provide more characterizations of varieties having a term Mal'cev modulo two functions $F$ and $G$. We characterize varieties neutral in the sense of $F$, that is varieties satisfying $R \subseteq F(R)$. We present examples of global…