Related papers: Test sets for tautologies in modular quantum logic
All global solutions of arbitrary topology of the most general 1+1 dimensional dilaton gravity models are obtained. We show that for a generic model there are globally smooth solutions on any non-compact 2-surface. The solution space is…
We analyze whether Ulrich modules, not necessarily maximal CM (Cohen-Macaulay), can be used as test modules, which detect finite homological dimensions of modules. We prove that Ulrich modules over CM local rings have maximal complexity and…
Different notions for order convergence have been considered by various authors. Associated to every notion of order convergence corresponds a topology, defined by taking as the closed sets those subsets of the poset satisfying that no net…
Let $\bbcq$ be the quantum torus associated with the $d \times d$ matrix $q = (q_{ij})$, $q_{ii} = 1$, $q_{ij}^{-1} = q_{ji}$, $q_{ij}$ are roots of unity, for all $1 \leq i, j \leq d.$ Let $\Der(\bbcq)$ be the Lie algebra of all the…
It is well known that $n$-dimensional projective group gives rise to a non-homogenous representation of the Lie algebra $sl(n+1)$ on the polynomial functions of the projective space. Using Shen's mixed product for Witt algebras (also known…
Random sets are used to get a continuous partition of the cardinality of the union of many overlapping sets. The formalism uses M\"obius transforms and adapts Shapley's methodology in cooperative game theory, into the context of set theory.…
Let $R$ be a left noetherian ring, $S$ a right noetherian ring and $_RU$ a generalized tilting module with $S={\rm End}(_RU)$. The injective dimensions of $_RU$ and $U_S$ are identical provided both of them are finite. Under the assumption…
A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either…
In this paper, a general setting is proposed to define a class of modules over nonsemisimple Lie algebras $\mathfrak{g}$ induced by a nonperfect ideal $\mathfrak{p}$. This class of Lie algebras includes many well-known Lie algebras, and…
We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…
In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set…
We construct a moduli space for the connected subgroups of an algebraic group and the corresponding universal family. Morphisms from an algebraic variety to this moduli space correspond to flat families of connected algebraic subgroups…
We present a criterion that serves as the basis for a polynomial-time algorithm to decide whether a finite set of qudit gates exponentiated by some Hamiltonians is universal. Our approach formulates universality in Lie algebraic terms and…
We consider bounded weight modules for the universal central extension ${\mathfrak{sl}}_2(J)$ of the Tits-Kantor-Koecher algebra of a unital Jordan algebra $J$. Universal objects called Weyl modules are introduced and studied, and a…
We prove multi-dimensional central limit theorems for the spectral moments (of arbitrary degrees) associated with random matrices with real-valued i.i.d. entries, satisfying some appropriate moment conditions. Our techniques rely on a…
In Commutative Algebra structure results on minimal free resolutions of Gorenstein modules are of classical interest. We define Gorenstein modules of finite length over the weighted polynomial ring via symmetric matrices in divided powers.…
Both the original Temperley-Lieb algebras $\mathsf{TL}_{n}$ and their dilute counterparts $\mathsf{dTL}_{n}$ form families of filtered algebras: $\mathsf{TL}_{n}\subset \mathsf{TL}_{n+1}$ and $\mathsf{dTL}_{n}\subset\mathsf{dTL}_{n+1}$, for…
Computing modular coincidences can show whether a given substitution system, which is supported on a point lattice in R^d, consists of model sets or not. We prove the computatibility of this problem and determine an upper bound for the…
For regular one-dimensional variational problems, Ball and Nadirashvilli introduced the notion of the universal singular set of a Lagrangian L and established its topological negligibility. This set is defined to be the set of all points in…
We provide an extension of Feller's upper-lower class test for the Hartman-Wintner LIL to the LIL in Euclidean space. We obtain this result as a corollary to a general upper-lower class test for $\Gamma_n T_n$ where $T_n=\sum_{j=1}^n Z_j$…