Related papers: Implicit Linear Algebra and Basic Circuit Theory
Let $\Lambda$ be a finite-dimensional associative algebra. The torsion classes of $mod\, \Lambda$ form a lattice under containment, denoted by $tors\, \Lambda$. In this paper, we characterize the cover relations in $tors\, \Lambda$ by…
Iterative Logic Arrays (ILAs) are ideal as VLSI sub-systems because of their regular structure and its close resemblance with FPGAs (Field Programmable Gate Arrays). Reversible circuits are of interest in the design of very low power…
Many common methods for data analysis rely on linear algebra. We provide new results connecting data analysis error to numerical accuracy, which leads to the first meaningful stopping criterion for two way spectral partitioning. More…
Given a finite-dimensional, complex simple Lie algebra we exhibit an integral form for the universal enveloping algebra of its map algebra, and an explicit integral basis for this integral form. We also produce explicit commutation formulas…
We establish the Fourier inversion for the smooth vectors in ${\rm L}^2({\rm GL}_2, \omega)$ over a number field $\mathbf{F}$, using minimal knowledge from automorphic representation theory. We point out a possible way to establish Fourier…
We reconsider the theory of Lagrange interpolation polynomials with multiple interpolation points and apply it to linear algebra. For instance, $A$ be a linear operator satisfying a degree $n$ polynomial equation $P(A)=0$. One can see that…
Let $G$ be a reflection group acting on a vector space $V$ (over a field with zero characteristic). We denote by $S(V^*)$ the coordinate ring of $V$, by $M$ a finite dimensional $G$-module and by $\chi$ a one-dimensional character of $G$.…
For a complete lattice $L$ and a relational structure $\mathfrak{X}=(X,(R_i)_I)$, we introduce the convolution algebra $L^{\mathfrak{X}}$. This algebra consists of the lattice $L^X$ equipped with an additional $n_i$-ary operation $f_i$ for…
In this paper from 2009 we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to PRA: IL(PRA) is not…
The most prominent class of integrable quantum field theories in 1+1 dimensions is affine Toda theory. Distinguished by a rich underlying Lie algebraic structure these models have in recent years attracted much attention not only as test…
Finite-dimensional subalgebras of a Lie algebra of smooth vector fields on a circle, as well as piecewise-smooth global transformations of a circle on itself, are considered. A canonical forms of realizations of two- and three-dimensional…
In this paper, we investigate some topics around the closed image $S$ of a rational map $\lambda$ given by some homogeneous elements $f_1,...,f_n$ of the same degree in a graded algebra $A$. We first compute the degree of this closed image…
The vanishing ideal I of a subspace arrangement is an intersection of linear ideals. We give a formula for the Hilbert polynomial of I if the subspaces meet transversally. We also give a formula for the Hilbert series of a product J of the…
The aim of this paper is to give a new method to construct explicit formulas for algebraic differential operators of any order on a finitely generated projective module $E$ on a commutative unital ring $A$. We moreover give explicit…
We develop techniques for defining and working with virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves which are not necessarily cut out transversally. Such techniques have the potential for applications as foundations…
Cirquent calculus is a proof system manipulating circuit-style constructs rather than formulas. Using it, this article constructs a sound and complete axiomatization CL16 of the propositional fragment of computability logic (the…
Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…
Goldman (Invent. Math. 85(2) (1986) 263) and Turaev (Ann. Sci. Ecole Norm. Sup. (4) 24 (6)(1991) 635) found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of loops on an orientable surface. Chas…
Paravectors just like integers have a ring structure. By introducing an integrated product we get geometric properties which make paravectors similar to vectors. The concepts of parallelism, perpendicularity and the angle are conceptually…
Passive linear networks are used in a wide variety of engineering applications, but the best studied are electrical circuits made of resistors, inductors and capacitors. We describe a category where a morphism is a circuit of this sort with…