Related papers: Building complicated index models and Boolean alge…
We present explicit algorithms for computing structured matrix-vector products that are optimal in the sense of Strassen, i.e., using a provably minimum number of multiplications. These structures include Toeplitz/Hankel/circulant,…
If $\lambda <\kappa$ are infinite cardinals, a linear order $L$ is isomorphic to a maximal chain in $[\kappa ]^{\kappa |\kappa }$ (resp. $[\kappa ]^{\lambda |\kappa }$; $[\kappa ]^{\kappa |\lambda }$) iff $L$ is weakly Boolean, the weight…
A general method for constructing logarithmic modules in vertex operator algebra theory is presented. By utilizing this approach, we give explicit vertex operator construction of certain indecomposable and logarithmic modules for the…
Starting from a recently-introduced algebraic structure on spin foam models, we define a Hopf algebra by dividing with an appropriate quotient. The structure, thus defined, naturally allows for a mirror analysis of spin foam models with…
We prove that the algebra of observables of a certain gauge model is generated by unbounded elements in the sense of Woronowicz. The generators are constructed from the classical generators of invariant polynomials by means of geometric…
We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…
Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…
We look for partition theorems for large subtrees for suitable uncountable trees and colourings. We concentrate on sub-trees of $^{\kappa \ge} 2$ expanded by a well ordering of each level. Unlike earlier works, we do not ask the embedding…
A class of algebras is constructed using free fermions and the invariant antisymmetric tensors associated with irreducible holonomy groups. (This version contains minor typographical corrections and some additional references. )
Irreducibilities of Verma modules over a class of Block type Lie algebras are completely determined. The approach developed in the present paper can be used to deal with non-weight modules.
The class of Hausdorff spaces that are continuous images of compact orderable spaces is studied by analyzing the relationship between the elements of this class and compact orderable spaces in a back-and-forth fashion. Structure results for…
The subalgebra of the tautological ring of the moduli of curves of compact type generated by the kappa classes is studied. Relations, constructed via the virtual geometry of the moduli of stable maps, are used to prove universality results…
We propose a sequential topology on the space of sub-$\sigma$-algebras of a separable probability space $(\Omega,\mathcal{F},\mathbb{P})$ by linking conditional expectations on $L^{2}$ along sequences of sub-$\sigma$-algebras. The varying…
We present a functorial construction which, starting from a congruence $\alpha$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences…
We can generalize the definition of {\it splitting number } $s(\kappa )$ for $\kappa$ uncountable regular: $s(\kappa )=min\{ |\Cal S|:\Cal S\subset \Cal P(\kappa ) \forall a\in \kappa ^\kappa \exists b\in \Cal S |a\cap b|=|a\setminus…
We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of logics algebraically captured by varieties of normal and regular lattice expansions. This result encompasses Ghilardi-Meloni's and Suzuki's…
We give a construction of Rota-Baxter coalgebras from Hopf module coalgebras and also derive the structures of the pre-Lie coalgebras via Rota-Baxter coalgebras of different weight. Finally, the notion of Rota-Baxter bialgebra is introduced…
The main properties of indefinite Kac-Moody and Borcherds algebras, considered in a unified way as Lorentzian algebras, are reviewed. The connection with the conformal field theory of the vertex operator construction is discussed. By the…
We build a differential calculus for subalgebras of the Moyal algebra on R^4 starting from a redundant differential calculus on the Moyal algebra, which is suitable for reduction. In some cases we find a frame of 1-forms which allows to…
It is quite basic in integrable systems to deriving Lax equations from bilinear equations. For multi--component KP theory, corresponding Lax structures are mainly constructed by matrix pseudo-differential operators for fixed discrete…