Related papers: Disquisitiones 235
This paper introduces the study of occurrence of symmetries in binary differential equations (BDEs). These are implicit differential equations given by the zeros of a quadratic 1-form, $a(x,y)dy^2 + b(x,y)dxdy + c(x,y)dx^2 = 0,$ for $a, b,…
In this paper we study intersections of quadrics, components of the hypersurface in Grassmannian $Gr(3, \CC^n)$ introduced in \cite{SoSuSi}. This lead to an alternative statement and proof of Pappus's Theorem retrieving Pappus's and Hesse…
First three sections of this overview paper cover classical topics of deformation theory of associative algebras and necessary background material. We then analyze algebraic structures of the Hochschild cohomology and describe the relation…
This is the first in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global confor- mal invariants"; these are defined to be conformally invariant integrals of geometric scalars.…
We study quotients of quadratic forms and associated polar lines in the projective plane. Our results, applied pointwise to quadratic differential forms, shed some light on classical binary differential equations (BDEs) associated to…
We study multidimensional configurations (infinite words) and subshifts of low pattern complexity using tools of algebraic geometry. We express the configuration as a multivariate formal power series over integers and investigate the setup…
This paper deals with certain fundamental results about affine hulls and simplices in a real normed linear space. The framework of the paper is Bishop's constructive mathematics, which, with its characteristic interpretation of existence as…
For the BGG category of $\mathfrak{q}(n)$-modules of half-integer weights, a Kazhdan-Lusztig conjecture \`a la Brundan is formulated in terms of categorical canonical basis of the $n$th tensor power of the natural representation of the…
In this paper a new general approach is developed to construct and study Lebesgue type decompositions of linear operators $T$ in the Hilbert space setting. The new approach allows to introduce an essentially wider class of Lebesgue type…
The generalization of Archimedes strategy to obtain the area of a parabolic segment leads to combinatorial formulas involving minimal covers of sets. These, in turn, are conjecturally related to $q$-binomial coefficients.
We express the basis vectors of Cartan fundamental representations of unitary groups by binary numbers. We determine the expression of Gel'fand basis of SU (3) based on the usual subatomic quarks notations and we represent it by binary…
Type theory plays an important role in foundations of mathematics as a framework for formalizing mathematics and a base for proof assistants providing semi-automatic proof checking and construction. Derivation of each theorem in type theory…
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…
Recently, Gautschi introduced so-called generalized Gauss-Radau and Gauss-Lobatto formulae which are quadrature formulae of Gaussian type involving not only the values but also the derivatives of the function at the endpoints. In the…
We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the existence of countermodels that are structurally simple, gauged by certain types of…
We obtain an asymptotic formula for the number of $\operatorname{GL}_2(\mathbb{Z})$-equivalence classes of irreducible binary quartic forms with integer coefficients with vanishing $J$-invariant and whose Hessians are proportional to the…
Following the approach of Ding and Frenkel [Comm. Math. Phys. 156 (1993), 277-300] for type $A$, we showed in our previous work [J. Math. Phys. 61 (2020), 031701, 41 pages] that the Gauss decomposition of the generator matrix in the…
When all ternary cubic forms over $\mathbb Z$ are ordered by the heights of their coefficients, we show that a positive proportion of them fail the Hasse principle, i.e., they have a zero over every completion of $\mathbb Q$ but no zero…
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent…
On base of differential biquaternions algebra and generalized functions theory the biquaternionic wave equation is considered under vector representation of its structural coefficient. Its generalized solutions are constructed, which…