Source author record

Mamuka Jibladze

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.AG Logic in Computer Science math-ph math.CT math.LO math.MP math.RA math.RT nlin.SI

Catalog footprint

Research overview

8works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

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 on polyhedral models using the logical language SLCS $η$ , a weaker version of SLCS. In this work we show that the mapping from polyhedral models to cell poset models preserves and reflects SLCS $η$ . We also propose weak simplicial bisimilarity on polyhedral models and weak $\pm$ -bisimilarity on cell poset models, where by ``weak'' we mean that the relevant equivalence is coarser than the corresponding one for SLCS, leading to a greater reduction of the size of models and thus to more efficient model checking. We show that the proposed bisimilarities enjoy the Hennessy-Milner property, i.e. two points are weakly simplicial bisimilar iff they are logically equivalent for SLCS $η$ . Similarly, two cells are weakly $\pm$ -bisimilar iff they are logically equivalent in the poset-model interpretation of SLCS $η$ . Furthermore we present a model minimisation procedure and prove that it correctly computes the minimal model with respect to weak $\pm$ -bisimilarity, i.e. with respect to logical equivalence of SLCS $η$ . The procedure works via an encoding into LTSs and then exploits branching bisimilarity on those LTSs, exploiting the minimisation capabilities as included in the mCRL2 toolset. Various examples show the effectiveness of the approach.

preprint2021arXiv

Integrability of classical affine W-algebras

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.

preprint2020arXiv

Diego's Theorem for nuclear implicative semilattices

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 nuclear implicative semilattices, give an alternative proof of Diego's Theorem, and provide an explicit description of the free cyclic nuclear implicative semilattice.

preprint2014arXiv

Some explicit expressions concerning formal group laws

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.

preprint2013arXiv

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

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 structure of $K(s)^*(BG)$ . Namely, we show that $K(s)^*(BG)$ is the quotient of a polynomial ring in 6 variables over $K(s)^*(pt)$ by an ideal for which we list explicit generators.

preprint2011arXiv

Cohomology with coefficients in stacks of Picard categories

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.

preprint2010arXiv

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

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.

preprint2010arXiv

Unimodularity of Poincare polynomials of Lie algebras for semisimple singularities

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Mamuka Jibladze

Research overview

Is this your work?

8 publications

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

Integrability of classical affine W-algebras

Diego's Theorem for nuclear implicative semilattices

Some explicit expressions concerning formal group laws

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

Cohomology with coefficients in stacks of Picard categories

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

Unimodularity of Poincare polynomials of Lie algebras for semisimple singularities

See the researcher in context

Building this map preview

Mamuka Jibladze

Research overview

Is this your work?

8 publications

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

Integrability of classical affine W-algebras

Diego's Theorem for nuclear implicative semilattices

Some explicit expressions concerning formal group laws

K^*(BG) rings for groups G=G38,...,G41G=G_{38},...,G_{41}G=G38​,...,G41​ of order 32

Cohomology with coefficients in stacks of Picard categories

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

Unimodularity of Poincare polynomials of Lie algebras for semisimple singularities

See the researcher in context

Building this map preview

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