Skip to main content

Showing 1–27 of 27 results for author: Jibladze, M

.
  1. arXiv:2411.11428  [pdf, ps, other

    cs.LO

    Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

    Authors: Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

    Abstract: The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral models are central in domains that exploit mesh processing, such as 3D computer graphics. A discrete representation of polyhedral models is given by cell poset models, which are amenable to geometric spatial model checking… ▽ More

    Submitted 6 June, 2025; v1 submitted 18 November, 2024; originally announced November 2024.

    Comments: arXiv admin note: text overlap with arXiv:2404.06131

    MSC Class: 68N30 Mathematical aspects of software engineering (specification; verification; metrics; requirements; etc.)

  2. arXiv:2405.13802  [pdf, ps, other

    math.LO

    An explicit Kuznetsov-Muravitsky enrichment

    Authors: Mamuka Jibladze, Evgeny Kuznetsov

    Abstract: An embedding of arbitrary Heyting algebra H into a reduct from the variety of Kuznetsov-Muravitsky algebras is constructed. An algebraic proof is given that this reduct belongs to the variety of Heyting algebras generated by H.

    Submitted 22 May, 2024; originally announced May 2024.

    MSC Class: 03G25; 05B20; 06D20

  3. arXiv:2404.06131  [pdf, other

    cs.LO

    Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version

    Authors: Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

    Abstract: In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplicial bisimilarity. We additionally propose a corresponding weak notion of $\pm$-bisimilarity on cell-poset models, a discrete representation of polyhedral models. We show that two points are weakly simplicial bisimilar iff… ▽ More

    Submitted 9 April, 2024; originally announced April 2024.

  4. arXiv:2104.05961  [pdf, ps, other

    math.LO

    A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras

    Authors: Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze

    Abstract: We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting-Brouwer logic $\mathsf{HB}$ that are topologically incomplete. This result provides further insight into the long-standing open problem of Kuznetsov by yielding a negative solution of the reformulation of… ▽ More

    Submitted 13 April, 2021; originally announced April 2021.

    MSC Class: 03B55; 06D20; 06D22; 03B45; 06E15

  5. arXiv:2103.00261  [pdf, other

    math.RT

    Normal forms of nilpotent elements in semisimple Lie algebras

    Authors: Mamuka Jibladze, Victor G. Kac

    Abstract: We find the normal form of nilpotent elements in semisimple Lie algebras that generalizes the Jordan normal form in $\mathfrak{sl}_N$, using the theory of cyclic elements.

    Submitted 28 June, 2021; v1 submitted 27 February, 2021; originally announced March 2021.

    MSC Class: 17B05; 17B20; 17B25; 20G05; 20G41

  6. arXiv:2012.12913  [pdf, other

    nlin.SI math-ph math.RA math.RT

    Integrable triples in semisimple Lie algebras

    Authors: Alberto De Sole, Mamuka Jibladze, Victor G. Kac, Daniele Valeri

    Abstract: We classify all integrable triples in simple Lie algebras, up to equivalence. The importance of this problem stems from the fact that for each such equivalence class one can construct the corresponding integrable hierarchy of bi-Hamiltonian PDE. The simplest integrable triple $(f,0,e)$ in $\mathfrak{sl}_2$ corresponds to the KdV hierarchy, and the triple $(f,0,e_θ)$, where $f$ is the sum of negati… ▽ More

    Submitted 8 January, 2021; v1 submitted 23 December, 2020; originally announced December 2020.

  7. arXiv:2007.01244  [pdf, ps, other

    math-ph math.RA math.RT nlin.SI

    Integrability of classical affine W-algebras

    Authors: Alberto De Sole, Mamuka Jibladze, Victor G. Kac, Daniele Valeri

    Abstract: We prove that all classical affine W-algebras W(g,f), where g is a simple Lie algebra and f is its non-zero nilpotent element, admit an integrable hierarchy of bi-Hamiltonian PDEs, except possibly for one nilpotent conjugacy class in G_2, one in F_4, and five in E_8.

    Submitted 26 January, 2021; v1 submitted 2 July, 2020; originally announced July 2020.

    Comments: 18 pages

  8. arXiv:2001.11060  [pdf, ps, other

    math.LO

    Diego's Theorem for nuclear implicative semilattices

    Authors: Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze

    Abstract: We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique and construction of universal models from modal logic. For this we develop duality theory for finite nuclear implicative semilattices, generalizing Köhler duality. We prove that our main result remains true for bounded n… ▽ More

    Submitted 29 January, 2020; originally announced January 2020.

    Comments: 40 pages, 11 figures

    MSC Class: 06A12; 06A07; 06D20; 03B45; 06D22; 03B55; 03G10

  9. arXiv:1910.02716  [pdf, ps, other

    math.KT

    On certain class of Leibniz algebras

    Authors: M. Jibladze, T. Pirashvili

    Abstract: A Ronco algebra is a Leibniz algebra satisfying the identity: $$[[x,x],y]=0.$$ Based on properties of Leibniz homology, we give a proof an old and unpublished result of María Ronco, which describes free objects in these class of algebras. We also establish a relationship between Ronco algebras and so called Lie $μ$-algebras extending our previous result.

    Submitted 7 October, 2019; originally announced October 2019.

    MSC Class: 17A32

  10. arXiv:1907.09170  [pdf, other

    math.RT

    Semisimple cyclic elements in semisimple Lie algebras

    Authors: A. G. Elashvili, M. Jibladze, V. G. Kac

    Abstract: This paper is a continuation of the theory of cyclic elements in semisimple Lie algebras, developed by Elashvili, Kac and Vinberg. Its main result is the classification of semisimple cyclic elements in semisimple Lie algebras. The importance of this classification stems from the fact that each such element gives rise to an integrable hierarchy of Hamiltonian PDE of Drinfeld-Sokolov type.

    Submitted 7 January, 2020; v1 submitted 22 July, 2019; originally announced July 2019.

    MSC Class: 17B08; 17B20; 17B25; 17B80; 17C40; 17D10; 17D30

  11. arXiv:1807.02868  [pdf, ps, other

    math.LO

    Modal logic of planar polygons

    Authors: David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Maarten Marx

    Abstract: We study the modal logic of the closure algebra $P_2$, generated by the set of all polygons in the Euclidean plane $\mathbb{R}^2$. We show that this logic is finitely axiomatizable, is complete with respect to the class of frames we call "crown" frames, is not first order definable, does not have the Craig interpolation property, and its validity problem is PSPACE-complete.

    Submitted 8 July, 2018; originally announced July 2018.

  12. arXiv:1806.00893  [pdf, other

    math.RT

    On Dynkin gradings in simple Lie algebras

    Authors: A. G. Elashvili, M. Jibladze, V. G. Kac

    Abstract: In this paper we study gradings on simple Lie algebras arising from nilpotent elements. Specifically, we investigate abelian subalgebras which are degree 1 homogeneous with respect to these gradings. We show that for each odd nilpotent element there always exists canonically associated "strictly" odd nilpotent element, which allows us to reduce our investigations to the latter.

    Submitted 17 May, 2020; v1 submitted 3 June, 2018; originally announced June 2018.

    MSC Class: 17B08; 17B10; 17B20; 17B22; 17B25; 17B70; 17B80

  13. Some explicit expressions concerning formal group laws

    Authors: Malkhaz Bakuradze, Mamuka Jibladze

    Abstract: This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava $K$-theory and the Abel cohomology.

    Submitted 22 February, 2014; v1 submitted 2 October, 2013; originally announced October 2013.

    Comments: 11 pages

    MSC Class: 55N20; 55N22; 55-04

    Journal ref: Jun 2016 | GEORGIAN MATHEMATICAL JOURNAL 23 (2) , pp.157-167

  14. K^*(BG) rings for groups $G=G_{38},...,G_{41}$ of order 32

    Authors: Malkhaz Bakuradze, Mamuka Jibladze

    Abstract: B. Schuster \cite{SCH1} proved that the $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. For the four groups $G$ with the numbers 38, 39, 40 and 41 in the Hall-Senior list \cite{H}, the ring $K(2)^*(BG)$ has been shown to be generated as a $K(2)^*$-module by transferred Euler classes. In this paper, we show this for arbitrary $s$ and compute the ring struc… ▽ More

    Submitted 26 November, 2013; v1 submitted 16 February, 2011; originally announced February 2011.

    Comments: 23 pages

    MSC Class: 55R20; 55R12; 55R40

  15. arXiv:1101.2918  [pdf, ps, other

    math.AT math.AG

    Cohomology with coefficients in stacks of Picard categories

    Authors: Mamuka Jibladze, Teimuraz Pirashvili

    Abstract: Cohomology of a topological space with coefficients in stacks of abelian 2-groups is considered. A 2-categorical analog of the theorem of Grothendieck is proved, relating cohomology of the space with coefficients in a 2-stage spectrum and the Ext groups of appropriate stacks.

    Submitted 28 June, 2011; v1 submitted 14 January, 2011; originally announced January 2011.

    MSC Class: 55U99; 55N30; 18G15; 18G60; 14F05

  16. arXiv:1008.3135  [pdf, ps, other

    math.AG

    Unimodularity of Poincare polynomials of Lie algebras for semisimple singularities

    Authors: Mamuka Jibladze, Dmitry Novikov

    Abstract: We single out a large class of semisimple singularities with the property that all roots of the Poincaré polynomial of the Lie algebra of derivations of the corresponding suitably (not necessarily quasihomogeneously) graded moduli algebra lie on the unit circle; for a still larger class there might occur exactly four roots outside the unit circle.

    Submitted 18 August, 2010; originally announced August 2010.

    MSC Class: 32S10

    Journal ref: Moscow Mathematical Journal, 7 (3) 2007, p. 481-487

  17. arXiv:0903.3678   

    math.CT math.AT math.KT

    Categorical rings subsume ann-categories

    Authors: Mamuka Jibladze, Teimuraz Pirashvili

    Abstract: The article has been withdrawn - the proof of the final corollary turned out to rely on an unproven statement. If the authors will manage to repair the argument, resubmission will be made.

    Submitted 25 March, 2009; v1 submitted 21 March, 2009; originally announced March 2009.

    Comments: Article withdrawn

    MSC Class: 18D10; 18G99; 55U99

  18. arXiv:0809.2627  [pdf, ps, other

    math.CT math.AT

    Dualization of the Hopf algebra of secondary cohomology operations and the Adams spectral sequence

    Authors: Hans-Joachim Baues, Mamuka Jibladze

    Abstract: We describe the dualization of the algebra of secondary cohomology operations in terms of generators extending the Milnor dual of the Steenrod algebra. In this way we obtain explicit formulae for the computation of the E_3-term of the Adams spectral sequence converging to the stable homotopy groups of spheres.

    Submitted 19 December, 2010; v1 submitted 15 September, 2008; originally announced September 2008.

    Comments: 101 pages

    MSC Class: 18G10; 55T15; 55S20 (Primary); 55U99; 18D05; 18G25; 18G40 (Secondary)

  19. arXiv:math/0608519  [pdf, ps, other

    math.KT

    Third Mac Lane cohomology via categorical rings

    Authors: Mamuka Jibladze, Teimuraz Pirashvili

    Abstract: It is proved that the third Mac Lane cohomology group of a ring R with coefficients in a bimodule B classifies categorical rings having R as the ring of isomorphism classes of objects and B as the bimodule of automorphisms of the neutral object.

    Submitted 21 August, 2006; originally announced August 2006.

    MSC Class: 18G60; 16E40

  20. arXiv:math/0604447  [pdf, ps, other

    math.KT math.AT

    Third Mac Lane cohomology

    Authors: H. -J. Baues, M. Jibladze, T. Pirashvili

    Abstract: Based on the computation of the third author we obtain an interpretation of the third Mac Lane cohomology of rings using certain kind of crossed extensions of rings in the quadratic world. Actually we obtain two such interpretations corresponding to the two monoidal structures on the category of square groups

    Submitted 2 May, 2006; v1 submitted 20 April, 2006; originally announced April 2006.

    MSC Class: 19D55; 18H15; 18D05; 55P43

  21. arXiv:math/0601777  [pdf, ps, other

    math.CT math.GR

    Quadratic algebra of square groups

    Authors: H. -J. Baues, M. Jibladze, T. Pirashvili

    Abstract: There is a long-standing problem of algebra to extend the symmetric monoidal structure of abelian groups, given by the tensor product, to a non abelian setting. In this paper we show that such an extension is possible. Morover our non abelian tensor product remains even right exact and balanced. We describe the new non-abelian tensor product in the context of quadratic algebra which extends line… ▽ More

    Submitted 31 January, 2006; originally announced January 2006.

    MSC Class: 18D10; 18G50; 55Q9

  22. arXiv:math/0504599  [pdf, ps, other

    math.GR math.CT math.KT

    Quadratic envelope of the category of class two nilpotent groups

    Authors: Mamuka Jibladze, Teimuraz Pirashvili

    Abstract: We exhibit an extension of the category of class two nilpotent groups. It has the same objects but, unlike the latter, its morphisms are closed under pointwise addition of maps. At the same time the class of its morphisms is much smaller than the class of all maps. In fact, the morphisms are quadratic maps of very special kind. It is indicated that classification of various class two nilpotent g… ▽ More

    Submitted 29 April, 2005; originally announced April 2005.

    Comments: 30 pages

    MSC Class: 20E99; 20J06; 18B99 (Primary) 18G50; 20F18; 20F40 (Secondary)

  23. arXiv:math/0407045  [pdf, ps, other

    math.AT math.KT

    Computation of the E_3-term of the Adams spectral sequence

    Authors: Hans Joachim Baues, Mamuka Jibladze

    Abstract: An algorithm is described giving effective determination of the second differential in the Adams spectral sequence. The algorithm is based on the notion of secondary derived functor, and on the explicit algebraic model of the groupoid enriched category of stable maps and stable tracks between Eilenberg-Mac Lane spaces.

    Submitted 3 July, 2004; originally announced July 2004.

    Comments: 26 pages

    MSC Class: 55T15; 55U99; 18G99 (Primary) 55S20; 18G10; 18G40 (Secondary)

  24. arXiv:math/0407031  [pdf, ps, other

    math.AT math.CT math.KT

    Secondary derived functors and the Adams spectral sequence

    Authors: Hans Joachim Baues, Mamuka Jibladze

    Abstract: Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show… ▽ More

    Submitted 6 July, 2004; v1 submitted 2 July, 2004; originally announced July 2004.

    Comments: Reference to math.AT/0407045 added

    MSC Class: 18G10; 55T15; 55S20 (Primary) 55U99; 18D05; 18G25; 18G40 (Secondary)

  25. arXiv:math/0307185  [pdf, ps, other

    math.CT

    Strengthening track theories

    Authors: Hans-Joachim Baues, Mamuka Jibladze, Teimuraz Pirashvili

    Abstract: Using cohomology of categories with coefficients in natural systems it is proved that a groupoid enrichad category with pseudoproducts is pseudoequivalent to one with strict products.

    Submitted 13 July, 2003; originally announced July 2003.

    MSC Class: 18C10

  26. arXiv:math/0203084  [pdf, ps, other

    math.CT math.KT

    Linear extensions and nilpotence for Maltsev theories

    Authors: Mamuka Jibladze, Teimuraz Pirashvili

    Abstract: Relationship is clarified between the notions of linear extension of algebraic theories, and central extension, in the sense of commutator calculus, of their models. Varieties of algebras turn out to be nilpotent Maltsev precisely when their theories may be obtained as results of iterated linear extensions by bifunctors from the so called abelian theories. The latter theories are described; they… ▽ More

    Submitted 8 March, 2002; originally announced March 2002.

    MSC Class: 18C10; 18G99

  27. arXiv:math/0106143  [pdf, ps, other

    math.AT

    On Kan fibrations for Maltsev algebras

    Authors: Mamuka Jibladze, Teimuraz Pirashvili

    Abstract: We prove that any surjective homomorphism of simplicial Maltsev algebras is a Kan fibration.

    Submitted 22 July, 2001; v1 submitted 17 June, 2001; originally announced June 2001.

    MSC Class: 55U10