Abstract:We provide an internal characterization of those finite algebras (i.e., algebraic structures) $\mathbf A$ such that the number of homomorphisms from any finite algebra $\mathbf X$ to $\mathbf A$ is bounded from above by a polynomial in the size of $\mathbf X$. Namely, an algebra $\mathbf A$ has this property if, and only if, no subalgebra of $\mathbf A$ has a nontrivial strongly abelian congruence. We also show that the property can be decided in polynomial time for algebras in finite signatures. Moreover, if $\mathbf A$ is such an algebra, the set of all homomorphisms from $\mathbf X$ to $\mathbf A$ can be computed in polynomial time given $\mathbf X$ as input. As an application of our results to the field of computational complexity, we characterize inherently tractable constraint satisfaction problems over fixed finite structures, i.e., those that are tractable and remain tractable after expanding the fixed structure by arbitrary relations or functions.

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is: **Determine which finite algebras $A$ have the property that the number of homomorphisms from any finite algebra $X$ to $A$ is bounded above by a polynomial in the size of $X$**. Specifically, the main results of the paper can be summarized as follows: 1. **Internal Characterization**: - A finite algebra $A$ satisfies that the number of homomorphisms from any finite algebra $X$ to $A$ is bounded above by a polynomial in the size of $X$ if and only if no subalgebra of $A$ has a non - trivial strongly abelian congruence relation. 2. **Polynomial - Time Decidability**: - This property can be decided in polynomial time for algebras with a finite signature. 3. **Algorithmic Complexity**: - If $A$ is such an algebra, then given $X$ as input, all homomorphisms from $X$ to $A$ can be computed in polynomial time. 4. **Applications**: - As an application of this result in the field of computational complexity, the paper also characterizes the intrinsically tractable constraint satisfaction problems (CSP) on a fixed finite structure, that is, those problems that remain tractable after extending the fixed structure. ### Main Conclusions - **Theorem 1**: For a finite algebra $A$, the following conditions are equivalent: 1. There exists an integer $k$ such that $c_A(n)\in O(n^k)$, where $c_A(n)$ represents the maximum number of homomorphisms from an algebra $X$ with at most $n$ elements to $A$. 2. No subalgebra of $A$ has a non - trivial strongly abelian congruence relation. - **Theorem 2**: Assume $P\neq NP$, for a finite structure $A$ with a finite signature, the following conditions are equivalent: 1. For any finite - signature extension $B$ of $A$, the problem $\text{CSP}(B)$ can be solved in polynomial time. 2. For any finite - signature extension $B$ of $A$, the problem $\text{CSP}(B)$ is not NP - complete. 3. $c_A(n)\in O(n^k)$, where $A$ is the algebraic restatement of $A$. ### Related Numerical Invariants - The paper also discusses other natural counting sequences related to finite algebras, such as the free - spectrum sequence and the $G$-spectrum sequence, and shows the connection between these sequences and polynomial upper bounds. ### Basic Concepts - The paper reviews some basic universal algebra concepts, such as terms, basic constructions, congruence relations, quotient algebras, etc., and introduces the concept of strongly abelian congruence relations and their properties. ### Application Examples - Through specific examples, such as groups and semilattices, the paper shows how to efficiently enumerate all homomorphisms from one algebra to another. ### Conclusion - This paper not only provides theoretical internal characterization, but also provides polynomial - time decidability in algorithms and computational methods, which is of great significance for understanding the number of homomorphisms of finite algebras and their applications in computational complexity.

Finite Algebras with Hom-Sets of Polynomial Size

Homogeneous Algebraic Complexity Theory and Algebraic Formulas

Polymorphism-homogeneity and universal algebraic geometry

Finite models for positive combinatorial and exponential algebra

Hopf Algebras Consisting of Finite Sets

On the enumeration of finite $L$-algebras

On Algorithms Based on Finitely Many Homomorphism Counts

Finite monomial algebras are determined by their automorphism group

Congruence Preservation, Lattices and Recognizability

Strong almost finiteness

On Algebras of Finite General Representation Type

Automata with Equational Constraints

On polynomial completeness properties of finite Mal'cev algebras

Algebraic Sunflowers

Homomorphisms From C(X) Into C*-Algebras

Solving Equation Systems in $ω$-categorical Algebras

Homotopes of finite-dimensional algebras

Subalgebras and finitistic dimensions of Artin algebras

Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$

Uncountable homogeneous structures