Given a countable graph G and a finite graph H, we consider Hom(G ,H) the set of graph homomorphisms from G to H and we study Gibbs measures supported on Hom(G ,H). We develop some sufficient and other necessary conditions on Hom(G ,H) for the existence of Gibbs specifications satisfying strong spatial mixing (with exponential decay rate). We relate this with previous work of Brightwell and Win...

If (R,M) and (S,N) are quasilocal (commutative integral) domains and f : R → S is a (unital) ring homomorphism, then f is said to be a strong local homomorphism (resp., radical local homomorphism) if f (M) = N (resp., f (M) ⊆ N and for each x ∈ N , there exists a positive integer t such that xt ∈ f (M)). It is known that if f : R→ S is a strong local homomorphism where R is a pseudovaluation do...

Graph homomorphisms are used to study good characterizations for coloring problems (Trans. Amer. Math. Soc. 384 (1996), 1281–1297; Discrete Math. 22 (1978), 287–300). Particularly, the following concept arises in this context: A pair of graphs (A, B) is called a homomorphism duality if for any graph G either there exists a homomorphism σ : A→ G or there exists a homomorphism τ : G → B but not b...

In this paper we introduced homomorphism, strong homomorphism in bipolar fuzzy finite state machines and discuss their properties using bipolar-valued fuzzy set. Mathematics Subject Classification: 18B20, 68Q45, 68Q70, 03E72

We consider the complexity of oriented homomorphism and two of its variants, namely strong oriented homomorphism and pushable homomorphism, for planar graphs with large girth. In each case, we consider the smallest target graph such that the corresponding homomorphism is NP-complete. These target graphs T4, T5, and T6 have 4, 5, and 6 vertices, respectively. For i ∈ {4, 5, 6} and for every g, w...

in this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group g and give four equivalent conditions each ofwhich characterizes this relation. we demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. moreover, we study the behavior of these equivalence classes under theaction of a...

This paper provides a new generalization of fuzzy finite state machines, fuzzy transformation semigroups and their relationship. Consider a cubic structure, we introduce cubic finite state machines, cubic transformation semigroups, cubic successor, cubic exchange properties cubic subsystems, cubic submachines, cubic q-twins, cubic retrievable and study fundamental properties of them. We provide...

Let $nin mathbb{N}$. An additive map $h:Ato B$ between algebras $A$ and $B$ is called $n$-Jordan homomorphism if $h(a^n)=(h(a))^n$ for all $ain A$. We show that every $n$-Jordan homomorphism between commutative Banach algebras is a $n$-ring homomorphism when $n < 8$. For these cases, every involutive $n$-Jordan homomorphism between commutative C-algebras is norm continuous.