Related papers: Sylvester-type quaternion matrix equations with ar…
In this paper we analyse semi-linear systems of partial differential equations which are motivated by the conformal formulation of the Einstein constraint equations coupled with realistic physical fields on asymptotically Euclidean (AE)…
In this study, we introduce the concept of commutative quaternions and commutative quaternion matrices. Firstly, we give some properties of commutative quaternions and their Hamilton matrices. After that we investigate commutative…
Motivated by a problem on the 67th William Lowell Putnam Mathematical Competition, we will summarize three different solutions found on a website. This Putman problem is a special case of Sylvester's four point problem! Suppose four points…
In this paper we provide a general method to construct four-parameter families of complex Hadamard matrices of order six. Our approach is to write a 6-dimensional matrix as composed of four blocks, each one in the form of a circulant…
We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is complete with respect to polynomial interpretations. The proof…
The path to the solution of Feder-Vardi dichotomy conjecture by Bulatov and Zhuk led through showing that more and more general algebraic conditions imply polynomial-time algorithms for the finite-domain Constraint Satisfaction Problems…
We consider random Hermitian matrices with independent upper triangular entries. Wigner's semicircle law says that under certain additional assumptions, the empirical spectral distribution converges to the semicircle distribution. We…
We present a new approach to verify the Elementary Type Conjecture for abstract Witt rings with small number of square classes. To do so, we make use of an abstract analogue of the 2-torsion part of the Brauer group, also verifying a…
The existence of a formal particular solution (family of solutions) of oscillating type under certain conditions has been proved for the quasi-linear ordinary differential equations system. The asymptotic nature of this solution (the family…
Let $\textbf{A}$ be a symmetric convex quadratic form on $\mathbb{R}^{Nn}$ and $\Omega\Subset \mathbb{R}^n$ a bounded convex domain. We consider the problem of existence of solutions $u: \Omega \subset \mathbb{R}^n \longrightarrow…
Deciding whether an ideal of a number field is principal and finding a generator is a fundamental problem with many applications in computational number theory. For indefinite quaternion algebras, the decision problem reduces to that in the…
In the present paper, we propose Krylov-based methods for solving large-scale differential Sylvester matrix equations having a low rank constant term. We present two new approaches for solving such differential matrix equations. The first…
We represent low dimensional quantum mechanical Hamiltonians by moderately sized finite matrices that reproduce the lowest O(10) boundstate energies and wave functions to machine precision. The method extends also to Hamiltonians that are…
We prove the refined Loughran--Smeets conjecture of Loughran--Rome--Sofos for a wide class of varieties arising as products of conic bundles. One interesting feature of our varieties is that the subordinate Brauer group may be arbitrarily…
We propose and implement an algorithm for solving an overdetermined system of partial differential equations in one unknown. Our approach relies on Bour-Mayer method to determine compatibility conditions via Jacobi-Mayer brackets. We solve…
Let $\mathbb{H}$ be the real quaternion algebra and $\mathbb{H}^{n\times m}$ denote the set of all $n\times m$ matrices over $\mathbb{H}$. In this paper, we construct a simultaneous decomposition of seven general real quaternion matrices…
Some superlinear fourth order elliptic equations are considered. Ground states are proved to exist and to concentrate at a point in the limit. The proof relies on variational methods, where the existence and concentration of nontrivial…
Remarkably simple closed-form expressions for the elements of the groups SU(n), SL(n,R), and SL(n,C) with n=2, 3, and 4 are obtained using linear functions of biquaternions instead of n x n matrices. These representations do not directly…
We establish the existence of at least one solution to a system of two semilinear coupled Poisson equations with asymptotically linear nonlinearities, without imposing the Ambrosetti-Rabinowitz condition or any of its refinements. The proof…
Assuming Calabi symmetry, we prove that a numerical condition ensures the solvability of the complex Hessian quotient equation, as conjectured by Sz\'ekelyhidi. We also propose a conjecture on the existence of a $k$-subharmonic…