Related papers: Equivalent Binary Quadratic Form and the Extended …

In this paper, a method for constructing a near optimal normal basis for algebraic extensions of a finite field is described. In each extension, except for the squares of basis elements, the product of two distinct normal basis elements can…

Consider, in the moduli space of Riemann surfaces of a fixed genus, the subset of surfaces with non-trivial automorphisms. Of special interest are the numerous subsets of surfaces admitting an action of a given finite group, $G$, acting…

We contribute XTT, a cubical reconstruction of Observational Type Theory which extends Martin-L\"of's intensional type theory with a dependent equality type that enjoys function extensionality and a judgmental version of the unicity of…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

Let $k$ be a field, $K/k$ a field extension, $X$ a connected scheme proper over $k$, $x_K\in X_K(K)$ lying over $x\in X(k)$, $\mathcal{C}_X$ and $\mathcal{C}_{X_K}$ the Tannakian categories over $X$ and $X_K$ respectively,…

We construct bases of quasi-symmetric functions whose product rule is given by the shuffle of binary words, as for multiple zeta values in their integral representations, and then extend the construction to the algebra of free…

Let $Q(x,y,z)$ be an integral quadratic form with determinant coprime to some modulus $q$. We show that $q\mid Q$ for some non-zero integer vector $(x,y,z)$ of length $O(q^{5/8+\varepsilon})$, for any fixed $\varepsilon>0$. Without the…

We develop a unified algebraic and effective field theory (EFT) formulation for non--Riemannian extensions of General Relativity with an independent connection. For metric--affine $f(R,Q)$ gravity we show that the connection equations admit…

Let $R$ be a valuation ring with fraction field $K$ and $2\in R^\times$. We give an elementary proof of the following known result: Two unimodular quadratic forms over $R$ are isometric over $K$ if and only if they are isometric over $R$.…

In this article, we find bases for the spaces of modular forms $M_{3}(\Gamma _{0}(40),\left( \frac{d}{\cdot }\right) )$ for $d=-4,-8,-20\text{ and }-40.$ We then derive formulas for the number of representations of a positive integer by all…

Effective Field Theory (EFT) extensions of the Standard Model are tools to compute observables $\big(e.g.$ cross sections with partonic center-of-mass energy $\sqrt{\hat{s}}\,\big)$ as a systematically improvable expansion suppressed by a…

We prove an upper bound for the length of an arithmetic progression represented by an irreducible integral binary quadratic form or a norm form, which depends only on the form and the progression's common difference. For quadratic forms,…

We obtain estimates for the number of integral solutions in large balls, of inequalities of the form $|Q(x, y)| < \epsilon$, where $Q$ is an indefinite binary quadratic form, in terms of the Hurwitz continued fraction expansions of the…

We present a new effective-one-body (EOB) waveform for eccentric, nonspinning, binaries in the extreme mass ratio limit, with initial eccentricities up to $0.95$. The EOB analytical waveform, that includes noncircular corrections up to…

In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit…

This note revisits localisation and patching method in the setting of generalised unitary groups. Introducing certain subgroups of relative elementary unitary groups, we develop relative versions of the conjugation calculus and the…

In this paper, we present an algorithm to compute a basis of the space of algebraic modular forms on the maximal order of the definite quaternion algebra of discriminant $2$, and provide a database of such bases. One of our motivations is…

We describe stabilizer states and Clifford group operations using linear operations and quadratic forms over binary vector spaces. We show how the n-qubit Clifford group is isomorphic to a group with an operation that is defined in terms of…

The present paper is in a sense a continuation of \cite{PLS}, it relies on the notation and some results. The problem tackled in both papers is the nature of the continued fraction expansion of $\sqrt[3]{2}$: are the partial quotients…

Wan conjectures that if $X$ and $Y$ form a strong mirror pair of Calabi-Yau varieties over a finite field $F_q$ with $q$ elements, then X and Y have the same number of $F_{q^k}$-rational points modulo $q^k$. We prove this conjecture under…