Related papers: Even universal binary Hermitian lattices over imag…
We consider a symmetric matrix, the entries of which depend linearly on some parameters. The domains of the parameters are compact real intervals. We investigate the problem of checking whether for each (or some) setting of the parameters,…
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…
The classical Hermite-Biehler theorem describes possible zero sets of complex linear combinations of two real polynomials whose zeros strictly interlace. We provide the full characterization of zero sets for the case when this interlacing…
Positive semidefinite matrices partitioned into a small number of Hermitian blocks have a remarkable property. Such a matrix may be written in a simple way from the sum of its diagonal blocks
We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…
Let $a,b,c,d,e,f\in\mathbb N$ with $a\ge c\ge e>0$, $b\le a$ and $b\equiv a\pmod2$, $d\le c$ and $d\equiv c\pmod2$, $f\le e$ and $f\equiv e\pmod2$. If any nonnegative integer can be written as $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with…
We establish an upper bound on the number of real multiquadratic fields that admit a universal quadratic lattice of a given rank, or contain a given amount of indecomposable elements modulo totally positive units, obtaining density zero…
Given an Archimedean vector lattice $E$, we present one elementary property of $E$ which is equivalent to the entire traditional list of axioms which makes $E$ a $\Phi$-algebra. We call a vector lattice with this property ``square closed".…
It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. This covers Koenigsmann's result for the ring of integers and its subsequent extensions to rings of integers in…
We study sum-of-squares representations of symmetric univariate real matrix polynomials that are positive semidefinite along the real line. We give a new proof of the fact that every positive semidefinite univariate matrix polynomial of…
We say that a finite factor $f$ of a word $w$ is \emph{imaged} if there exists a non-erasing morphism $m$, distinct from the identity, such that $w$ contains $m(f)$. We show that every infinite word contains an imaged factor of length at…
We use the idea of free fields to obtain highest weight representations for the extended affine Lie algebra $\widetilde{\frak{gl}_{2}(\bc_q)}$ coordinatized by the quantum torus $\bc_q$ and go on to construct a contravariant hermitian form.…
All indecomposable unimodular hermitian lattices in dimensions 14 and 15 over the ring of integers in $\mathbb{Q}(\sqrt{-3})$ are determined. Precisely one lattice in dimension 14 and two lattices in dimension 15 have minimal norm 3.
An order $2m$ complex tensor $\cH$ is said to be Hermitian if \[\mathcal{H}_\ijm=\mathcal{H}_\jim ^*\mathrm{\ for\ all\ }\ijm .\] It can be regarded as an extension of Hermitian matrix to higher order. A Hermitian tensor is also seen as a…
We study the ring of all functions from the positive integers to some field. This ring, which we call \emph{the ring of number-theoretic functions}, is an inverse limit of the ``truncations'' \Gamma_n consisting of all functions f for which…
For quantum systems described by finite matrices, linear and affine maps of matrices are shown to provide equivalent descriptions of evolution of density matrices for a subsystem caused by unitary Hamiltonian evolution in a larger system;…
To develop a unitary quantum theory with probabilistic description for pseudo- Hermitian systems one needs to consider the theories in a different Hilbert space endowed with a positive definite metric operator. There are different…
We study and partially classify cubic rational expressions $g(x)/h(x)$ over a finite field $\mathbb{F}_q$, up to pre- and post-composition with independent M\"obius transformations. In particular, we obtain a full classification when $q$ is…
This paper supplies additions to our paper in Linear Algebra Appl. 510 (2016) 395--420 on integral spans of tight frames in Euclidean spaces. In that previous paper, we considered the case of an equiangular tight frame (ETF), proving that…
Every real hyperbolic form in three variables can be realized as the determinant of a linear net of Hermitian matrices containing a positive definite matrix. Such representations are an algebraic certificate for the hyperbolicity of the…