Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.08446 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911578741276672 |
|---|---|
| author | Cardó, Carles |
| author_facet | Cardó, Carles |
| contents | We define the probability of an equation in a finite algebra as the proportion of tuples in its domain that satisfy it. We call the probabilistic spectrum of an algebra the set of probability values obtained when the equation varies. We study fundamental properties of this spectrum, such as density and limit points, and show that its structure is related to several notions of primality of an algebra. We introduce a quantitative measure of primality $\Prim(\A)\in[0,1]$ that characterizes the functional approximation capacity. We show that the degree of primality is related to the size of the spectrum. We also prove that all non-primal two-element algebras satisfy the universal bound $\Prim(\A)\le 1/2$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_08446 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Probabilistic equational spectrum, primality and approximation in finite algebras Cardó, Carles Logic 08A30, 08B15, 03C13 We define the probability of an equation in a finite algebra as the proportion of tuples in its domain that satisfy it. We call the probabilistic spectrum of an algebra the set of probability values obtained when the equation varies. We study fundamental properties of this spectrum, such as density and limit points, and show that its structure is related to several notions of primality of an algebra. We introduce a quantitative measure of primality $\Prim(\A)\in[0,1]$ that characterizes the functional approximation capacity. We show that the degree of primality is related to the size of the spectrum. We also prove that all non-primal two-element algebras satisfy the universal bound $\Prim(\A)\le 1/2$. |
| title | Probabilistic equational spectrum, primality and approximation in finite algebras |
| topic | Logic 08A30, 08B15, 03C13 |
| url | https://arxiv.org/abs/2604.08446 |