Related papers: Planar Algebra of the Subgroup-Subfactor

Given a class of graphs $\mathcal{H}$, the problem $\oplus\mathsf{Sub}(\mathcal{H})$ is defined as follows. The input is a graph $H\in \mathcal{H}$ together with an arbitrary graph $G$. The problem is to compute, modulo $2$, the number of…

A typical Dirac-type problem in extremal graph theory is to determine the minimum degree threshold for a graph $G$ to have a spanning subgraph $H$, e.g. the Dirac theorem. A natural following up problem would be to seek an $H$-factor, which…

We calculate the R(G)-algebra structure on the reduced equivariant K-groups of two-dimensional spheres on which a compact Lie group G acts as involutions. In particular, the reduced equivariant K-groups are trivial if G is abelian, which…

We study the category of wheeled PROPs using tools from Invariant Theory. A typical example of a wheeled PROP is the mixed tensor algebra ${\mathcal V}=T(V)\otimes T(V^\star)$, where $T(V)$ is the tensor algebra on an $n$-dimensional vector…

A regular factor is a factor algebra of the unitriangular Lie algebra with respect to some regular ideal. In the paper we construct system of generators of the field of invariants for the coadjoint representation of an arbitrary regular…

A vertex k-labeling of graph G is distinguishing if the only automorphism that preserves the labels of G is the identity map. The distinguishing number of G, D(G), is the smallest integer k for which G has a distinguishing k-labeling. In…

Each rule $f$ that assigns a vector $f(G)$ to an $(n+1)$-graph $G$ determines a class (or property) of $n$-manifold invariants. An invariant $v=v(M)$ is in this class if, for any triangulated manifold $|G|=M$, one has that $v(M)$ is a…

In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebra $G_{2(2)}$. We use both the minimal and the maximal Heisenberg parabolic subalgebras. We…

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…

Lie-theoretic structures of type $E_8$ (e.g., Lie groups and algebras, Hecke algebras and Kazhdan-Lusztig cells, ...) are considered to serve as a `gold standard' when it comes to judging the effectiveness of a general algorithm for solving…

In order to make the fundamental group, one of the most well known invariants in algebraic topology, more useful and powerful some researchers have introduced and studied various topologies on the fundamental group from the beginning of the…

We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $\rm II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first…

We describe an explicit finite presentation for a finite depth subfactor planar algebra. We also show that such planar algebras are singly generated with the generator subject to finitely many relations.

Classification is a central problem for dynamical systems, in particular for families that arise in a wide range of topics, like substitution subshifts. It is important to be able to distinguish whether two such subshifts are isomorphic,…

Let $m_GI$ denote the number of Laplacian eigenvalues of a graph $G$ in an interval $I$ and let $\alpha(G)$ denote the independence number of $G$. In this paper, we determine the classes of graphs that satisfy the condition…

Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H'$ of $G$; one…

For the semi simple and deployed Lie algebra $\mathfrak g=\mathfrak{sl}(n, \R)$, we give an explicit construction of an overalgebra $\mathfrak g^+=\mathfrak g\rtimes V$ of $\mathfrak g$, where $V$ is a finite dimensional vector space. In…

A support or realization of a hypergraph $H$ is a graph $G$ on the same vertex as $H$ such that for each hyperedge of $H$ it holds that its vertices induce a connected subgraph of $G$. The NP-hard problem of finding a planar support has…

Let $G$ be a group which admits a generating set consisting of finite order elements. We prove that any Hopf algebra which factorizes through the Taft algebra and the group Hopf algebra $K[G]$ (equivalently, any bicrossed product between…

Let G be a Lie group with Lie algebra $\mathfrak{g}$, $h \in \frak{g}$ an element for which the derivation ad(h) defines a 3-grading of $\mathfrak{g}$ and $\tau_G$ an involutive automorphism of G inducing on $\mathfrak{g}$ the involution…