Related papers: Towards commutator theory for relations. II
Relational Hoare logics extend the applicability of modular, deductive verification to encompass important 2-run properties including dependency requirements such as confidentiality and program relations such as equivalence or similarity…
We study the separability of permutationally symmetric quantum states. We show that for bipartite symmetric systems most of the relevant entanglement criteria coincide. However, we provide a method to generate examples of bound entangled…
We investigate certain Eisenstein congruences, as predicted by Harder, for level p paramodular forms of genus 2. We use algebraic modular forms to generate new evidence for the conjecture. In doing this we see explicit computational…
In these notes we focus on commutative finite-dimensional normed algebras and some basic examples.
We give an equivalent condition of the $P$-polynomial property of symmetric association schemes.
Under integral restrictions on dilatations, it is proved existence theorems for the degenerate Beltrami equations with two characteristics and, in particular, to the Beltrami equations of the second type that play a great role in many…
This is a partial derivative of \cite{MR94g:17044}. We give a list of examples/problems that some will find amusing.
We connect Dedekind sums and some formulas for numerical semigroups.
Let $R$ be a commutative ring. We investigate $R$-modules which can be written as \emph{finite} sums of {\it {second}} $R$-submodules (we call them \emph{second representable}). We provide sufficient conditions for an $R$-module $M$ to be…
We analyze dispersion relations of the equations recently proposed by Ahluwalia for describing neutrino. Equations for type-II spinors are deduced on the basis of the Wigner rules for left- and right- 2-spinors and the Ryder-Burgard…
We provide a class of inequalities for detecting entanglements in multi-mode systems. Necessary conditions for fully separable, bi-separable and sufficient conditions for fully entangled states are explicitly presented.
In this short note, we present certain generalized versions of the commutator formulas of some natural operators on manifolds, and give some applications.
This is the fourth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part IV), we give constructions of the…
We give a new equivalent condition for the Riemann hypothesis consisting in an order condition for certain finite rational combinations of the values of the Riemann zeta-function at even positive integers.
In a Hom-Malcev algebra an identity, equivalent to the Hom-Malcev identity, is found.
We present some formal properties of (symmetrical) commutativity, the major criterion used in transactional systems, which allow us to fully understand its advantages and disadvantages. The main result is that commutativity is subject to…
In this note we establish some appropriate conditions for stochastic equality of two random variables/vectors which are ordered with respect to convex ordering or with respect to supermodular ordering. Multivariate extensions of this result…
We present several identities involving quasi-minors of noncommutative generic matrices. These identities are specialized to quantum matrices, yielding q-analogues of various classical determinantal formulas.
For homogeneous difference equation of the second order we study the analogy of Hartman-Wintner problem on asymptotic integration of fundamental system of solutions as argument tends to infinity.
We establish a Dwyer-Kan equivalence of relative categories of combinatorial model categories, presentable quasicategories, and other models for locally presentable (infinity,1)-categories. This implies that the underlying quasicategories…