Related papers: A note on the atomicity of arithmeticity
It is known that any finite idempotent algebra that satisfies a nontrivial Maltsev condition must satisfy the linear one-equality Maltsev condition (a variant of the term discovered by M. Siggers and refined by K. Kearnes, P. Markovi\'c,…
We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…
The Zarankiewicz function gives, for a chosen matrix and minor size, the maximum number of ones in a binary matrix not containing an all-one minor. Tables of this function for small arguments have been compiled, but errors are known in…
The Tate conjecture has two parts: an assertion (S) about semisimplicity of Galois representations, and an assertion (T) which says that every Tate class is algebraic. We show that in characteristic 0, (T) implies (S). In characteristic p…
Let I be a conjugation-invariant ideal in the complex polynomial ring with variables z_1,...,z_n and their conjugates. The ideal I has the Quillen property if every real valued, strictly positive polynomial on the real zero set of I in C^n…
We review elementary properties of random matrices and discuss widely used mathematical methods for both hermitian and nonhermitian random matrix ensembles. Applications to a wide range of physics problems are summarized. This paper…
We give a probabilistic characterization of the set of measures that can be represented by the matrix product ansatz. By suitably enlarging the state space, we show that a probability measure can be described in terms of non negative…
The goal of this paper is to deepen the study of multiplicative lattices in the sense of Facchini, Finocchiaro and Janelidze. We provide a sort of Prime Ideal Principle that guarantees that maximal implies prime in a variety of cases (among…
Let A be an ample line bundle on a projective toric variety X of dimension n. We show that if l>=n-1+p, then A^l satisfies the property N_p. Applying similar methods, we obtain a combinatorial theorem: For a given lattice polytope P we give…
We establish a condition (so called generalized entropic property), equivalent to the fact that for every algebra A from a given variety V, the set of all subalgebras of A is a subuniverse of the complex algebra of A. We investigate the…
Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally.…
Based on the Gale-Ryser theorem for the existence of suitable $(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of G. G. Lorentz regarding the characterization of a plane measurable set, in terms…
Mal'tsev categories turned out to be a central concept in categorical algebra. On one hand, the simplicity and the beauty of the notion is revealed through a lot of characterizations of different flavour. Depending on the context, one can…
We show a number of properties of the commutator algebra of a nilpotent matrix over a field. In particular we determine the simple modules of the commutator algebra. Then the results are applied to prove that certain Artinian complete…
We introduce and carefully study a natural probability measure over the numerical range of a complex matrix $A \in M_n(\C)$. This numerical measure $\mu_A$ can be defined as the law of the random variable $<AX,X> \in \C$ when the vector $X…
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes…
In this paper, we introduce new classes of functions that extend the known classes of functions of complex variable, such as entire functions, meromorphic functions, rational functions and polynomial functions and take values in the set of…
This paper deals with the Lipschitz regularity of minimizers for a class of variational obstacle problems with possible occurance of the Lavrentiev phenomenon. In order to overcome this problem, the availment of the notions of relaxed…
We show that the average characteristic polynomial P_n(z) = E [\det(zI-M)] of the random Hermitian matrix ensemble Z_n^{-1} \exp(-Tr(V(M)-AM))dM is characterized by multiple orthogonality conditions that depend on the eigenvalues of the…
Matrix completion aims to reconstruct a data matrix based on observations of a small number of its entries. Usually in matrix completion a single matrix is considered, which can be, for example, a rating matrix in recommendation system.…