Related papers: Binary quadratic forms as dessins

There is a classical geometric construction which uses a binary quadratic form to define an involution on the space of binary d-ics. We give a complete characterization of a general class of such involutions which are definable using…

We consider a construction of the fundamental spin representations of the simple Lie algebras $\mathfrak{so}(n)$ in terms of binary arithmetic of fixed width integers. This gives the spin matrices as a Lie subalgebra of a…

In this paper we determine the group of rational automorphisms of binary cubic and quartic forms with integer coefficients and non-zero discriminant in terms of certain quadratic covariants of cubic and quartic forms. This allows one to…

Gauss' classical reduction theory for indefinite binary quadratic forms over $\mathbb{Z}$ has originally been proven by means of purely algebraic and arithmetic considerations. It was later discovered that this reduction theory is closely…

Every quadratic form represents 0; therefore, if we take any number of quadratic forms and ask which integers are simultaneously represented by all members of the collection, we are guaranteed a nonempty set. But when is that set more than…

The classical theorems relating integral binary quadratic forms and ideal classes of quadratic orders have been of tremendous importance in mathematics, and many authors have given extensions of these theorems to rings other than the…

We show that all spin groups of non-definite, quinary quadratic forms over a field with characteristic 0 can be represented as 2 by 2 matrices with entries in an associated quaternion algebra. Over local and global fields, we further study…

For a binary quadratic form $Q$, we consider the action of $\mathrm{SO}_Q$ on a two-dimensional vector space. This representation yields perhaps the simplest nontrivial example of a prehomogeneous vector space that is not irreducible, and…

The problem of the classification of the indefinite binary quadratic forms with integer coefficients is solved introducing a special partition of the de Sitter world, where the coefficients of the forms lie, into separate domains. Every…

For a positive integer $m$, a (positive definite integral) quadratic form is called primitively $m$-universal if it primitively represents all quadratic forms of rank $m$. It was proved in arXiv:2202.13573 that there are exactly $107$…

A cycle double cover (CDC) of an undirected graph is a collection of the graph's cycles such that every edge of the graph belongs to exactly two cycles. We describe a constructive method for generating all the cubic graphs that have a 6-CDC…

In this work we study, in greater detail than before, J.H. Conway's topographs for integral binary quadratic forms. These are trees in the plane with regions labeled by integers following a simple pattern. Each topograph can display the…

We define the family of {\it locally path-bounded} digraphs, which is a class of infinite digraphs, and show that on this class it is relatively easy to compute an optimal strategy (winning or nonlosing); and realize a win, when possible,…

A positive definite and integral quadratic form $f$ is called irrecoverable if there is a quadratic form $F$ such that it represents all proper subforms of $f$, whereas it does not represent $f$ itself. In this case, $F$ is called an…

In this paper, we study additively indecomposable quadratic forms over real biquadratic and simplest cubic fields. In particular, we show that over these fields, we can always find such a classical form in 2 variables, which differs from…

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…

InfoMod is a new software and application devoted to the modular group, PSL2(Z). It has algorithms that deals with the classical correspondences among continued fractions, geodesics on the modular surface and binary quadratic forms. In…

We study cliques in graphs arising from quadratic forms where the vertices are the elements of the module of the quadratic form and two vertices are adjacent if their difference represents some fixed scalar. We determine structural…

Using elementary duality properties of positive semidefinite moment matrices and polynomial sum-of-squares decompositions, we prove that the convex hull of rationally parameterized algebraic varieties is semidefinite representable (that is,…

Given a subshift over an arbitrary alphabet, we construct a representation of the associated unital algebra. We describe a criteria for the faithfulness of this representation in terms of the existence of cycles with no exits. Subsequently,…