Related papers: Answering Two OPAC Problems Involving Banff Quiver…
The three-algebras used by Bagger and Lambert in N=6 theories of ABJM type are in one-to-one correspondence with a certain type of Lie superalgebras. We show that the description of three-algebras as generalized Jordan triple systems…
Previously, all known variants of the Quantum Satisfiability (QSAT) problem, i.e. deciding whether a $k$-local ($k$-body) Hamiltonian is frustration-free, could be classified as being either in $\mathsf{P}$; or complete for $\mathsf{NP}$,…
One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…
The quiver Hopf algebras are classified by means of ramification systems with irreducible representations. This leads to the classification of Nichols algebras over group algebras and pointed Hopf algebras of type one.
Kontsevich conjectured that $\text{BDiff}(M, \text{rel }\partial)$ has the homotopy type of a finite CW complex for all compact $3$-manifolds with non-empty boundary. Hatcher-McCullough proved this conjecture when $M$ is irreducible. We…
In braided tensor categories we show the Maschke's theorem and give the necessary and sufficient conditions for double cross biproducts and crossbiproducts and biproducts to be bialgebras. We obtain the factorization theorem for braided…
Classification of cubics (that is, third order planar curves in the $R^2$ up to certain transformations is interested since Newton, and treated by several authors. We classify cubics up to affine transformations, in seven class, and give a…
This paper considers overdetermined boundary problems. Firstly, we give a proof to the Payne-Schaefer conjecture about an overdetermined problem of sixth order in the two dimensional case and under an additional condition for the case of…
Since Poincar\'e, periodic orbits have been one of the most important objects in dynamical systems. However, searching them is in general quite difficult. A common way to find them is to construct families of periodic orbits which start at…
In this paper, we obtain infinitely many solutions for a class of quasilinear Schr\"{o}dinger-Poisson system which is coupled by a Schr\"{o}dinger equation of $p$-Laplacian and a Poisson equation of $q$-Laplacian, involving with concave and…
In [Akbari and Moghaddamfar, Recognizing by order and degree pattern of some projective special linear groups, {\it Internat. J. Algebra Comput.}, 2012] the authors possed the following problem: \\ {\bf Problem.} {\it Is there a simple…
A semigroup conjugacy is an equivalence relation that equals group conjugacy when the semigroup is a group. In this note, we answer five open problems related to semigroup conjugacy. (Problem One) We say a conjugacy ~ is partition-covering…
We introduce Hausdorff (complexity) classes, which provide canonical characterizations of the intermediate levels of the iterated exponential hierarchies, including the Polynomial Hierarchy, the (Weak) Exponential Hierarchy, and…
We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for the classical quaternions, octonions, as well as other…
Given k sets such that no one is contained in another, there is an associated lattice on the power set P([k]) corresponding to inclusion relations among unions of the sets. Two lattices on P([k]) are equivalent if there is a permutation of…
We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…
It has recently been observed empirically that the number of FPL configurations with 3 sets of a, b and c nested arches equals the number of plane partitions in a box of size a x b x c. In this note, this result is proved by constructing…
Wolfgang Rump showed that there is a one-to-one correspondence between nondegenerate involutive set-theoretic solutions of the Yang-Baxter equation and binary algebras in which all left translations $L_x$ are bijections, the squaring map is…
We show that many cluster-theoretic properties of the Markov quiver hold also for adjacency quivers of triangulations of once-punctured closed surfaces of arbitrary genus. Along the way we consider the class P of quivers introduced by…
Tableau sequences of bounded height have been central to the analysis of k-noncrossing set partitions and matchings. We show here that familes of sequences that end with a row shape are particularly compelling and lead to some interesting…