Improving the scalability of distributed neuroevolution using modular congruence class generated innovation numbers

Author(s):  
Joshua Karns ◽  
Travis Desell
Keyword(s):  
Author(s):  
Gezahagne Mulat Addis

For a given ideal [Formula: see text] of an almost distributive lattice [Formula: see text], we study the smallest and the largest congruence relation on [Formula: see text] having [Formula: see text] as a congruence class.


2009 ◽  
Vol 05 (04) ◽  
pp. 625-634
Author(s):  
SERGEI V. KONYAGIN ◽  
MELVYN B. NATHANSON

Consider the congruence class Rm(a) = {a + im : i ∈ Z} and the infinite arithmetic progression Pm(a) = {a + im : i ∈ N0}. For positive integers a,b,c,d,m the sum of products set Rm(a)Rm(b) + Rm(c)Rm(d) consists of all integers of the form (a+im) · (b+jm)+(c+km)(d+ℓm) for some i,j,k,ℓ ∈ Z. It is proved that if gcd (a,b,c,d,m) = 1, then Rm(a)Rm(b) + Rm(c)Rm(d) is equal to the congruence class Rm(ab+cd), and that the sum of products set Pm(a)Pm(b)+Pm(c)Pm eventually coincides with the infinite arithmetic progression Pm(ab+cd).


2004 ◽  
Vol 47 (2) ◽  
pp. 191-205 ◽  
Author(s):  
G. Grätzer ◽  
E. T. Schmidt

AbstractThe congruences of a finite sectionally complemented lattice L are not necessarily uniform (any two congruence classes of a congruence are of the same size). To measure how far a congruence Θ of L is from being uniform, we introduce Spec Θ, the spectrum of Θ, the family of cardinalities of the congruence classes of Θ. A typical result of this paper characterizes the spectrum S = (mj | j < n) of a nontrivial congruence Θ with the following two properties:


Author(s):  
Anwesh Ray

The global deformation theory of residually reducible Galois representations with fixed auxiliary conditions is studied. We show that [Formula: see text] lifts to a Hida line for which the weights range over a congruence class modulo-[Formula: see text]. The advantage of the purely Galois theoretic approach is that it allows us to construct [Formula: see text]-adic families of Galois representations lifting the actual representation [Formula: see text], and not just the semisimplification.


2022 ◽  
Author(s):  
Sebastian Hoehna ◽  
Bjoern Tore Kopperud ◽  
Andrew F Magee

Diversification rates inferred from phylogenies are not identifiable. There are infinitely many combinations of speciation and extinction rate functions that have the exact same likelihood score for a given phylogeny, building a congruence class. The specific shape and characteristics of such congruence classes have not yet been studied. Whether speciation and extinction rate functions within a congruence class share common features is also not known. Instead of striving to make the diversification rates identifiable, we can embrace their inherent non-identifiable nature. We use two different approaches to explore a congruence class: (i) testing of specific alternative hypotheses, and (ii) randomly sampling alternative rate function within the congruence class. Our methods are implemented in the open-source R package ACDC (https://github.com/afmagee/ACDC). ACDC provides a flexible approach to explore the congruence class and provides summaries of rate functions within a congruence class. The summaries can highlight common trends, i.e. increasing, flat or decreasing rates. Although there are infinitely many equally likely diversification rate functions, these can share common features. ACDC can be used to assess if diversification rate patterns are robust despite non-identifiability. In our example, we clearly identify three phases of diversification rate changes that are common among all models in the congruence class. Thus, congruence classes are not necessarily a problem for studying historical patterns of biodiversity from phylogenies.


1981 ◽  
Vol 33 (2) ◽  
pp. 404-411 ◽  
Author(s):  
G. Gratzer ◽  
A. P. Huhn ◽  
H. Lakser

A lattice L is finitely presented (or presentable) if and only if it can be described with finitely many generators and finitely many relations. Equivalently, L is the lattice freely generated by a finite partial lattice A, in notation, L = F(A). (For more detail, see Section 1.5 of [6].)It is an old “conjecture” of lattice theory that in a finitely presented (or presentable) lattice the elements behave “freely” once we get far enough from the generators.In this paper we prove a structure theorem that could be said to verify this conjecture.THEOREM 1. Let L be a finitely presentable lattice. Then there exists a congruence relation θ such that L/θ is finite and each congruence class is embeddable in a free lattice.


2017 ◽  
Vol 15 (1) ◽  
pp. 37-56 ◽  
Author(s):  
Jian Tang ◽  
Bijan Davvaz ◽  
Xiang-Yun Xie

Abstract In this paper, we define and study the hyper S-posets over an ordered semihypergroup in detail. We introduce the hyper version of a pseudoorder in a hyper S-poset, and give some related properties. In particular, we characterize the structure of factor hyper S-posets by pseudoorders. Furthermore, we introduce the concepts of order-congruences and strong order-congruences on a hyper S-poset A, and obtain the relationship between strong order-congruences and pseudoorders on A. We also characterize the (strong) order-congruences by the ρ-chains, where ρ is a (strong) congruence on A. Moreover, we give a method of constructing order-congruences, and prove that every hyper S-subposet B of a hyper S-poset A is a congruence class of one order-congruence on A if and only if B is convex. In the sequel, we give some homomorphism theorems of hyper S-posets, which are generalizations of similar results in S-posets and ordered semigroups.


2007 ◽  
Vol 39 (2) ◽  
pp. 269-281
Author(s):  
Hélène Barcelo ◽  
Bruce E. Sagan ◽  
Sheila Sundaram
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document