Related papers: Real and complexified configuration spaces for pla…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
We study rational homology groups of one-point compactifications of spaces of complex monic polynomials with multiple roots. These spaces are indexed by number partitions. A standard reformulation in terms of quotients of orbit arrangements…
In this work, a novel quaternary algebra has been proposed that can be used to implement an arbitrary quaternary logic function in more than one systematic ways. The proposed logic has evolved from and is closely related to the Boolean…
We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof…
Orthosymplectic Lie superalgebras are fundamental symmetries in modern physics, such as massive supergravity. However, their representations are far from being thoroughly understood. In the present paper, we completely determine the…
This paper focuses on the derivations and automorphism groups of certain finite-dimensional associative algebras over the field of complex numbers. Using classification results for algebras of dimensions two, three, and four, along with…
Proof nets are a syntax for linear logic proofs which gives a coarser notion of proof equivalence with respect to syntactic equality together with an intuitive geometrical representation of proofs. In this paper we give an alternative…
In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional temporal logic PTL, the spatial logics RCC-8,…
In this paper, we derive some necessary and sufficient solvability conditions for some systems of one sided coupled Sylvester-type real quaternion matrix equations in terms of ranks and generalized inverses of matrices. We also give the…
We present the complete set of planar master integrals relevant to the calculation of three-point functions in four-loop massless Quantum Chromodynamics. Employing direct parametric integrations for a basis of finite integrals, we give…
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…
We discuss the cross-ratio map of planar quadrilateral linkages, also in the case when one of the links is telescopic. Most of our results are valid for a planar quadrilateral linkage with generic lengths of the sides. In particular, we…
We computationally resolve an open problem concerning the expressibility of $4 \times 4$ full-rank matrices as Hadamard products of two rank-2 matrices. Through exhaustive search over $\mathbb{F}_2$, we identify 5,304 counterexamples among…
Representations of polynomial covariance commutation relations by pairs of linear integral and differential operators are constructed in the space of infinitely continuously differentiable functions. Representations of polynomial covariance…
We show that only finitely many links in a closed 3-manifold share the same complement, up to twists along discs and annuli. Using the same techniques, we prove that by adding 2-handles on the same link we get only finitely many smooth…
We explicitly describe a structure of a regular cell complex $K(L)$ on the moduli space $M(L)$ of a planar polygonal linkage $L$. The combinatorics is very much related (but not equal) to the combinatorics of the permutahedron. In…
This paper investigates the equations of motion for a relativistic charged particle in a general magnetic field. By reformulating the dynamics in four-dimensional spacetime and separating the linear and nonlinear parts, we construct an…
This article is the continuation of the first named author work "On maximal totally real embeddings". For real analytic compact manifolds equipped with a covariant derivative operator acting on the real analytic sections of its tangent…
We analyze the symplectic and complex structures on the panelled web 4-manifolds. In particular, we give infinite family of examples of almost complex but not symplectic and not complex 4-manifolds in the non-simply connected case.
We present an algebraic characterization of the complexity classes Logspace and Nlogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is rooted in proof theory…