Related papers: Leibnizian, Robinsonian, and Boolean Valued Monads
We consider ideals in the ring $\mathbb{Z}_2[x_1,\ldots, x_n]$ that contain the polynomials $x_i^2 - x_i$ for $i = 1, \ldots, n$ and give various results related to the one-to-one correspondence between these ideals and the subsets of…
Matrix-valued polynomials in any finite number of freely noncommuting variables that enjoy certain canonical partial convexity properties are characterized, via an algebraic certificate, in terms of Linear Matrix Inequalities and Bilinear…
Radar-holonomic congruences of wordlines are proposed as a weaker substitute for the too restrictive class of Born-rigid motions. The definition is expressed as a set of differential equations. Integrability conditions and Cauchy data are…
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…
It is known that the so-called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between…
Linearization is a standard approach in the computation of eigenvalues, eigenvectors and invariant subspaces of matrix polynomials and rational matrix value functions. An important source of linearizations are the so called Fiedler…
We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.
We introduce a hierarchy of degree structures between the Medvedev and Muchnik lattices which allow varying amounts of non-uniformity. We use these structures to introduce the notion of the uniformity of a Muchnik reduction, which expresses…
A generalization of the classical Leibniz rule for the covariant derivative on a vector bundle is obtained.
We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special…
A derivation of the Bohm model, and some general comments about it, are given. A modification of the model which is formally local and Lorentz-invariant is introduced, and its properties studied for a simple experiment.
In this paper we outline a general method for finding well-posed boundary value problems for linear equations of mixed elliptic and hyperbolic type, which extends previous techniques of Berezanskii, Didenko, and Friedrichs. This method is…
Three $q$-versions of Lommel polynomials are studied. Included are explicit representations, recurrences, continued fractions, and connections to associated Askey--Wilson polynomials. Combinatorial results are emphasized, including a…
This is an introduction to advanced linear algebra, with emphasis on geometric aspects, and with some applications included too. We first review basic linear algebra, notably with the spectral theorem in its general form, and with the…
A large class of variational equations for geometric objects is studied. The results imply conformal monotonicity and Liouville theorems for steady, polytropic, ideal flow, and the regularity of weak solutions to generalized Yang-Mills and…
Regularization methods are a key tool in the solution of inverse problems. They are used to introduce prior knowledge and make the approximation of ill-posed (pseudo-)inverses feasible. In the last two decades interest has shifted from…
Orthogonal polynomial solutions of an admissible potentially self-adjoint linear second-order partial $q$-difference equation of the hypergeometric type in two variables on $q$-linear lattices are analyzed. A $q$-Pearson's system for the…
Modified Volterra lattice admits two vector generalizations. One of them is studied for the first time. The zero curvature representations, B\"acklund transformations, nonlinear superposition principle and the simplest explicit solutions of…
We introduce a new representation concept for lattices by boolean matrices, and utilize it to prove that any matroid is boolean representable. We show that such a representation can be easily extracted from a representation of the…
Riemann surfaces with nodes can be described by introducing simple composite operators in matrix models. In the case of the Kontsevich model, it is sufficient to add the quadratic, but ``non-propagating'', term (tr[X])^2 to the Lagrangian.…