Showing 1–4 of 4 results for author: Emamy-K., M R

Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem

Authors: M. R. Emamy-K., Gustavo A. Meléndez Ríos

Abstract: This paper presents two shortcuts to a classical proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem, which can be found in B. Davey and H. Priestley [2] and S. Burris and H. Sankappanavar [1]. To be precise, the shortcuts pertain a particular step of the proof that requires showing an algebraic equality. In addition, we briefly discuss how to compare the lengths of the three proofs (the original a… ▽ More This paper presents two shortcuts to a classical proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem, which can be found in B. Davey and H. Priestley [2] and S. Burris and H. Sankappanavar [1]. To be precise, the shortcuts pertain a particular step of the proof that requires showing an algebraic equality. In addition, we briefly discuss how to compare the lengths of the three proofs (the original and our two proposed shortcuts). To do so, we introduce two methods to compare the lengths of proofs based on algebraic lattice expressions. We call them the proof count method and the proof poset method. Both methods indicate that our proofs are shorter but the difference is more pronounced in the former. Keywords: lattices, posets △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 10 Pages

ST-Distributive and ST-Modular Lattices

Authors: M. R. Emamy-K., Gustavo A. Melendez Rios

Abstract: For two subsets S and T of a given lattice L, we define a relative distributive (modular) property over L, that underlies a large family including the usual class of distributive (modular) lattices. Our proposed class will be called ST-distributive (ST-modular) lattices. In this paper, we explore elemental properties of ST-distributivity (ST-modularity) and find examples of maximal S and T to form… ▽ More For two subsets S and T of a given lattice L, we define a relative distributive (modular) property over L, that underlies a large family including the usual class of distributive (modular) lattices. Our proposed class will be called ST-distributive (ST-modular) lattices. In this paper, we explore elemental properties of ST-distributivity (ST-modularity) and find examples of maximal S and T to form ST-distributive lattices for some non-distributive finite lattices of small order. We also characterize the maximal pairs of subsets (S,T), subject to certain constraints, that induce ST-distributivity in the lattice family M_n,n for all natural numbers n greater than or equal to 3. Afterwards, we present an application of ST-modular to convex sets and polytopes. This application has been the first example found and the main guiding light for our new definitions. The aforementioned definitions are closely related to distributive elements of Birkhoff-Gratzer and Stanley's SS-lattices. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 29 pages, 13 figures

MSC Class: Primary: 06D75; Secondary: 06C99; 52A99; 52B99

The edge-vertex inequality in a planar graph and a bipartition for the class of all planar graphs

Authors: M. R. Emamy-K., Bahman Kalantari, Tatiana Correa

Abstract: For a planar graph with a given f-vector $(f_{0}, f_{1}, f_{2}),$ we introduce a cubic polynomial whose coefficients depend on the f-vector. The planar graph is said to be real if all the roots of the corresponding polynomial are real. Thus we have a bipartition of all planar graphs into two disjoint class of graphs, real and complex ones. As a contribution toward a full recognition of planar grap… ▽ More For a planar graph with a given f-vector $(f_{0}, f_{1}, f_{2}),$ we introduce a cubic polynomial whose coefficients depend on the f-vector. The planar graph is said to be real if all the roots of the corresponding polynomial are real. Thus we have a bipartition of all planar graphs into two disjoint class of graphs, real and complex ones. As a contribution toward a full recognition of planar graphs in this bipartition, we study and recognize completely a subclass of planar graphs that includes all the connected grid subgraphs. Finally, all the 2-connected triangle-free complex planar graphs of 7 vertices are listed. △ Less

Submitted 28 March, 2018; originally announced March 2018.

Cubical rectangles and rectangular lattices

Authors: M. Reza Emamy-K

Abstract: Cubical rectangles are being defined and explored here over the $n-$dimensional geometric cube $Q_n.$ They form a new class of geometric objects that includes all the edges and all the squares of the $n-$cube. We enumerate and characterize them here in order to construct new posets, transforming into special lattices that will be called rectangular lattices. We show that rectangular lattices are c… ▽ More Cubical rectangles are being defined and explored here over the $n-$dimensional geometric cube $Q_n.$ They form a new class of geometric objects that includes all the edges and all the squares of the $n-$cube. We enumerate and characterize them here in order to construct new posets, transforming into special lattices that will be called rectangular lattices. We show that rectangular lattices are closely related to the class of cubical lattices, that is, the face lattice of the $n-$cube. △ Less

Submitted 8 June, 2023; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: The last theorem of the paper (Theorem 6) must be revised, the way it is presented is not completely correct