Related papers: Checking Admissibility Using Natural Dualities
A new scheme for proving pseudoidentities from a given set {\Sigma} of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when {\Sigma} defines a locally finite variety, a pseudovariety of…
Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…
Algebraic injectivity was introduced to capture homotopical structures like algebraic Kan complexes. But at a much simpler level, it allows one to describe sets with operations subject to no equations. If one wishes to add equations (or…
Purely multiplicative comparisons of quantum relative entropy are desirable but challenging to prove. We show such comparisons for relative entropies between comparable densities, including the relative entropy of a density with respect to…
We introduce "neutrabelian algebras", and prove that finite, hereditarily neutrabelian algebras with a cube term are dualizable.
Many inverse problems in nuclear fusion and high-energy astrophysics research, such as the optimization of tokamak reactor geometries or the inference of black hole parameters from interferometric images, necessitate high-dimensional…
We introduce an algorithm to piecewise dualise linear quivers into their mirror dual. The algorithm uses two basic duality moves and the properties of the $S$-wall which can all be derived by iterative applications of Seiberg-like…
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
The aim of this article is to establish the existence of big Cohen-Macaulay algebras in mixed characteristic in some special situation. The main result follows from the so-called almost purity theorem proved by Davis and Kedlaya.
All subalgebras, idempotents, left(right) ideals and left quasi-units of two-dimensional algebras are described. Classification of algebras with given number of subalgebras, left(right) ideals are provided. In particular, a list of…
I give an overview of recent developments in the structure and classification theory of separable, simple, nuclear C*-algebras. I will in particular focus on the role of quasidiagonality and amenability for classification, and on the…
The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic…
A family of quantum cluster algebras is introduced and studied. In general, these algebras are new, but subclasses have been studied previously by other authors. The algebras are indexed by double partitions or double flag varieties.…
In this paper, using pseudo path algebras, we generalize Gabriel's Theorem on elementary algebras to left Artinian algebras over a field $k$ when it is splitting over its radical, in particular, when the dimension of the quotient algebra…
We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism…
This paper depicts an algorithm for solving the Decision Boolean Satisfiability Problem using the binary numerical properties of a Special Decision Satisfiability Problem, parallel execution, object oriented, and short termination. The two…
For a locally compact Hausdorff semigroup S, the $L^\infty$ representation algebra R(S) was extensively studied by Dunkl and Ramirez. The Fourier-Stieltjes algebra F(S) of a topological semigroup was studied by Lau. The aim of this paper is…
We present an effective criterion to determine if a normal analytic compactification of C^2 with one irreducible curve at infinity is algebraic or not. As a by product we establish a correspondence between normal algebraic compactifications…
This paper investigates the equivalence reduction for several classes of multivariate polynomial matrices and their Smith forms, establishing some criteria for such reduction. In particular, we employ algebra isomorphisms as a key tool to…
We present a new algorithm to decide isomorphism between finite graded algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it runs in time polynomial in the order of the input algebras. We introduce heuristics that…