Related papers: Even universal binary Hermitian lattices over imag…

We study connections between linear equations over various semigroups and recursively enumerable sets of positive integers. We give variants of the universal Diophantine representation of recursively enumerable sets of positive integers…

We obtain generalisations of some inequalities for positive unital linear maps on matrix algebra. This also provides several positive semidefinite matrices and we get some old and new inequalities involving the eigenvalues of a Hermitian…

In this paper, we study the set of positive integers that characterize the universality of $m$-gonal form.

Quillen proved that, if a Hermitian bihomogeneous polynomial is strictly positive on the unit sphere, then repeated multiplication of the standard sesquilinear form to this polynomial eventually results in a sum of Hermitian squares.…

The quantum even-dimensional balls are defined as the $C^*$-algebras generated by certain graphs. We exhibit a polynomial algebra for each even-dimensional quantum ball, and classify the irreducible representations of it.

In this work, we compute the perfect forms for all imaginary quadratic fields of absolute discriminant up to $5000$ and study the number and types of the polytopes that arise. We prove a bound on the combinatorial types of polytopes that…

Let $ n $ be an integer and $ n\ge 2 $. A classic integral quadratic form over local fields is called classic $ n $-universal if it represents all $n$-ary classic integral quadratic forms. We determine the equivalent conditions and minimal…

An integral quadratic polynomial (with positive definite quadratic part) is called almost universal if it represents all but finitely many positive integers. In this paper, we introduce the conductor of a quadratic polynomial, and give an…

Lattices of compatibly embedded finite fields are useful in computer algebra systems for managing many extensions of a finite field $\mathbb{F}_p$ at once. They can also be used to represent the algebraic closure $\bar{\mathbb{F}}_p$, and…

In this paper, we consider partially commutative metabelian Lie algebras whose defining graphs are cycles. We show that such algebras are universally equivalent iff the corresponding cycles have the same length. Moreover, we give an example…

This paper gives explicit formulas for the formal total mass Dirichlet series for integer-valued ternary quadratic lattices of varying determinant and fixed signature over number fields F where p = 2 splits completely. We prove this by…

We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space (V,q) with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of…

One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…

For an arbitrary integer $x$, an integer of the form $T(x)\!=\!\frac{x^2+x}{2}$ is called a triangular number. Let $\alpha_1,\dots,\alpha_k$ be positive integers. A sum $\Delta_{\alpha_1,\dots,\alpha_k}(x_1,\dots,x_k)=\alpha_1…

For a positive integer $n$, let $\mathcal T(n)$ be the set of all integers greater than or equal to $n$. An integral quadratic form $f$ is called tight $\mathcal T(n)$-universal if the set of nonzero integers that are represented by $f$ is…

An integral quadratic form is called strictly $n$-regular if it primitively represents all quadratic forms in $n$ variables that are primitively represented by its genus. For any $n \geq 2$, it will be shown that there are only finitely…

In this paper we prove that a totally integrable strictly-convex symplectic billiard table, whose boundary has everywhere strictly positive curvature, must be an ellipse. The proof, inspired by the analogous result of Bialy for Birkhoff…

In this paper, we find criteria for when cyclic cubic and cyclic quartic fields have well-rounded ideal lattices. We show that every cyclic cubic field has at least one well-rounded ideal. We also prove that there exist families of cyclic…

For every positive integer k, it is shown that there exists a positive definite diagonal quaternary integral quadratic form that represents all positive integers except for precisely those which lie in k arithmetic progressions. For k=1,…

Fermionic linear optics corresponds to the dynamics of free fermions, and is known to be efficiently simulable classically. We define fermionic anyon models by deforming the fermionic algebra of creation and annihilation operators, and…