相关论文: Between an $n$-ary and an $n{+}1$-ary near-unanimi…
We study possibilities for almost $n$-ary and $n$-aritizable theories. Their dynamics both in general case, for $\omega$-categorical theories, and with respect to operations for theories are described.
We prove that the following problem is decidable: given a finite set of relations, decide whether this set admits a near-unanimity function.
A. Mitschke showed that a variety with an $m$-ary near-unanimity term has J\'onsson terms $t_0, \dots, t _{2m-4} $ witnessing congruence distributivity. We show that Mitschke's result is sharp. We also evaluate the best possible number of…
For normalized sums $Z_n$ of i.i.d. random variables, we explore necessary and sufficient conditions which guarantee the normal approximation with respect to the R\'enyi divergence of infinite order. In terms of densities $p_n$ of $Z_n$,…
We formulate uncertainty relations for arbitrary $N$ observables. Two uncertainty inequalities are presented in terms of the sum of variances and standard deviations, respectively. The lower bounds of the corresponding sum uncertainty…
We say that an idempotent term $t$ is an exact-$m$-majority term if $t$ evaluates to $a$, whenever the element $a$ occurs exactly $m$ times in the arguments of $t$, and all the other arguments are equal. If $m<n$ and some variety $\mathcal…
The study of word equations (or the existential theory of equations over free monoids) is a central topic in mathematics and theoretical computer science. The problem of deciding whether a given word equation has a solution was shown to be…
We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as…
Let $M$ be an arbitrary $n$ by $n$ matrix. We study the condition number a random perturbation $M+N_n$ of $M$, where $N_n$ is a random matrix. It is shown that, under very general conditions on $M$ and $M_n$, the condition number of $M+N_n$…
Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…
Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of 'freshness assumptions'; it is not always possible to 'choose a fresh variable…
We provide a formal framework accounting for a widespread idea in the theory of economic design: analytically established incompatibilities between given axioms should be qualified by the likelihood of their violation. We define the degree…
Given some non-Archimedean field $\mathbb{K}$ and some $\mathbb{K}$-linear space $X$, the usual way to define a norm over $X$ involves the {\em ultrametric inequality} $\|x+y\|\leq\max\{\|x\|,\|y\|\}$. In this note we will try to analyse…
This paper presents an approach for developing the explanation capabilities of rule-based expert systems managing imprecise and uncertain knowledge. The treatment of uncertainty takes place in the framework of possibility theory where the…
We use the law of total variance to generate multiple expansions for the posterior predictive variance. These expansions are sums of terms involving conditional expectations and conditional variances and provide a quantification of the…
The relationship between three probability distributions and their maximizable entropy forms is discussed without postulating entropy property. For this purpose, the entropy I is defined as a measure of uncertainty of the probability…
We study thick subcategories defined by modules of complexity one in $\underline{\md}R$, where $R$ is the exterior algebra in $n+1$ indeterminates.
Information and uncertainty are closely related and extensively studied concepts in a number of scientific disciplines such as communication theory, probability theory, and statistics. Increasing the information arguably reduces the…
We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of…
The classical concept of bounded completeness and its relation to sufficiency and ancillarity play a fundamental role in unbiased estimation, unbiased testing, and the validity of inference in the presence of nuisance parameters. In this…