Simple congruence lattices of finite graphs

1990 ◽  
Vol 29 (1) ◽  
pp. 1-10 ◽  
Author(s):  
N. A. Kulikov
Keyword(s):  
Finite Graphs ◽  
Congruence Lattices ◽  
Simple Congruence

scholarly journals Mass-conserving diffusion-based dynamics on graphs

2021 ◽  
pp. 1-49
Author(s):  
J.M BUDD ◽  
Y. VAN GENNIP
Keyword(s):  
Multiscale Modeling ◽  
Classification Problems ◽  
Theoretical Justification ◽  
Finite Graphs ◽  
Discrete Scheme ◽  
Cahn Equation ◽  
Separating Flows ◽  
Special Case ◽  
Appl Math ◽  
Convergence Of The Scheme

An emerging technique in image segmentation, semi-supervised learning and general classification problems concerns the use of phase-separating flows defined on finite graphs. This technique was pioneered in Bertozzi and Flenner (2012, Multiscale Modeling and Simulation10(3), 1090–1118), which used the Allen–Cahn flow on a graph, and was then extended in Merkurjev et al. (2013, SIAM J. Imaging Sci.6(4), 1903–1930) using instead the Merriman–Bence–Osher (MBO) scheme on a graph. In previous work by the authors, Budd and Van Gennip (2020, SIAM J. Math. Anal.52(5), 4101–4139), we gave a theoretical justification for this use of the MBO scheme in place of Allen–Cahn flow, showing that the MBO scheme is a special case of a ‘semi-discrete’ numerical scheme for Allen–Cahn flow. In this paper, we extend this earlier work, showing that this link via the semi-discrete scheme is robust to passing to the mass-conserving case. Inspired by Rubinstein and Sternberg (1992, IMA J. Appl. Math.48, 249–264), we define a mass-conserving Allen–Cahn equation on a graph. Then, with the help of the tools of convex optimisation, we show that our earlier machinery can be applied to derive the mass-conserving MBO scheme on a graph as a special case of a semi-discrete scheme for mass-conserving Allen–Cahn. We give a theoretical analysis of this flow and scheme, proving various desired properties like existence and uniqueness of the flow and convergence of the scheme, and also show that the semi-discrete scheme yields a choice function for solutions to the mass-conserving MBO scheme.

scholarly journals Congruence pairs of principal MS-algebras and perfect extensions

2020 ◽  
Vol 70 (6) ◽  
pp. 1275-1288
Author(s):  
Abd El-Mohsen Badawy ◽  
Miroslav Haviar ◽  
Miroslav Ploščica
Keyword(s):  
Boolean Algebra ◽  
Congruence Lattices ◽  
Descriptive Solution ◽  
The One ◽  
Special Case ◽  
Congruence Pair

AbstractThe notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for K2-algebras [6], is introduced. It is proved that the congruences of the principal MS-algebras L correspond to the MS-congruence pairs on simpler substructures L°° and D(L) of L that were associated to L in [4].An analogy of a well-known Grätzer’s problem [11: Problem 57] formulated for distributive p-algebras, which asks for a characterization of the congruence lattices in terms of the congruence pairs, is presented here for the principal MS-algebras (Problem 1). Unlike a recent solution to such a problem for the principal p-algebras in [2], it is demonstrated here on the class of principal MS-algebras, that a possible solution to the problem, though not very descriptive, can be simple and elegant.As a step to a more descriptive solution of Problem 1, a special case is then considered when a principal MS-algebra L is a perfect extension of its greatest Stone subalgebra LS. It is shown that this is exactly when de Morgan subalgebra L°° of L is a perfect extension of the Boolean algebra B(L). Two examples illustrating when this special case happens and when it does not are presented.

scholarly journals Liftings in Finite Graphs and Linkages in Infinite Graphs with Prescribed Edge-Connectivity

2016 ◽  
Vol 32 (6) ◽  
pp. 2575-2589
Author(s):  
Seongmin Ok ◽  
R. Bruce Richter ◽  
Carsten Thomassen
Keyword(s):  
Infinite Graphs ◽  
Edge Connectivity ◽  
Finite Graphs

scholarly journals The edmonds—Gallai decomposition for matchings in locally finite graphs

COMBINATORICA ◽  
1982 ◽  
Vol 2 (3) ◽  
pp. 229-235 ◽  
Author(s):  
François Bry ◽  
Michel Las Vergnas
Keyword(s):  
Locally Finite ◽  
Finite Graphs ◽  
Locally Finite Graphs

scholarly journals Approximating Cayley Diagrams Versus Cayley Graphs

2012 ◽  
Vol 21 (4) ◽  
pp. 635-641
Author(s):  
ÁDÁM TIMÁR
Keyword(s):  
Cayley Graph ◽  
Hamiltonian Cycle ◽  
Cayley Graphs ◽  
The Other ◽  
Finite Graphs ◽  
Similar Construction ◽  
Graph Property

We construct a sequence of finite graphs that weakly converge to a Cayley graph, but there is no labelling of the edges that would converge to the corresponding Cayley diagram. A similar construction is used to give graph sequences that converge to the same limit, and such that a Hamiltonian cycle in one of them has a limit that is not approximable by any subgraph of the other. We give an example where this holds, but convergence is meant in a stronger sense. This is related to whether having a Hamiltonian cycle is a testable graph property.

scholarly journals L p -distortion and p -spectral gap of finite graphs

2014 ◽  
Vol 46 (2) ◽  
pp. 329-341 ◽  
Author(s):  
Pierre-Nicolas Jolissaint ◽  
Alain Valette
Keyword(s):  
Spectral Gap ◽  
Finite Graphs

scholarly journals CONGRUENCE FD-MAXIMAL VARIETIES OF ALGEBRAS

2012 ◽  
Vol 22 (06) ◽  
pp. 1250053 ◽  
Author(s):  
PIERRE GILLIBERT ◽  
MIROSLAV PLOŠČICA
Keyword(s):  
Necessary Condition ◽  
Finitely Generated ◽  
Distributive Variety ◽  
Finite Lattices ◽  
Congruence Lattices ◽  
Congruence Distributive Variety ◽  
Congruence Distributive ◽  
Special Congruence

We study the class of finite lattices that are isomorphic to the congruence lattices of algebras from a given finitely generated congruence-distributive variety. If this class is as large as allowed by an obvious necessary condition, the variety is called congruence FD-maximal. The main results of this paper characterize some special congruence FD-maximal varieties.

Sign in / Sign up

Export Citation Format

Share Document