Related papers: Computing the Canonical Height of a Point in Proje…

In this paper, we prove a general result computing the number of rational points of bounded height on a projective variety $V$ which is covered by lines. The main technical result used to achieve this is an upper bound on the number of…

We characterise integral points of bounded log-anticanonical height on a quartic del Pezzo surface of singularity type $\mathbf{A}_3$ over imaginary quadratic fields with respect to its singularity and its lines. Furthermore, we count these…

A projective measurement of energy (PME) on a quantum system is a quantum measurement, determined by the Hamiltonian of the system. PME protocols exist when the Hamiltonian is given in advance. Unknown Hamiltonians can be identified by…

We describe a simple algorithm for computing the canonical basis of any finite-dimensional $U_{q}(sp_{2n})$-module.

We exhibit a probabilistic algorithm which computes a rational point of an absolutely irreducible variety over a finite field defined by a reduced regular sequence. Its time--space complexity is roughly quadratic in the logarithm of the…

In this article we prove several new uniform upper bounds on the number of points of bounded height on varieties over $\mathbb{F}_q[t]$. For projective curves, we prove the analogue of Walsh' result with polynomial dependence on $q$ and the…

Let $\pi : E\to B$ be an elliptic surface defined over a number field $K$, where $B$ is a smooth projective curve, and let $P: B \to E$ be a section defined over $K$ with canonical height $\hat{h}_E(P)\not=0$. In this article, we show that…

A theorem of Tate asserts that, for an elliptic surface E/X defined over a number field k, and a section P of E, there exists a divisor D on X such that the canonical height of the specialization of P to the fibre above t differs from the…

We proceed to the canonical quantization of the complex scalar field without making use of its real and imaginary parts. Our motivation is to formally connect, as tightly as possible, the quantum-field notions of particle and antiparticle -…

We present photonic quantum computing architectures that can deal with both probabilistic (heralded) generation of single photons and probabilistic gates without making use of coherent switching. The only required dynamical element is the…

We give sharp upper bounds on the anticanonical degree of fake weighted projective spaces, only depending on the dimension and the Gorenstein index.

We investigate the enumerative geometry of point configurations in projective space. We define "projective configuration counts": these enumerate configurations of points in projective space such that certain specified subsets are in fixed…

Consider a polynomial vector field $\xi$ in $\mathbb{C}^n$ with algebraic coefficients, and $K$ a compact piece of a trajectory. Let $N(K,d)$ denote the maximal number of isolated intersections between $K$ and an algebraic hypersurface of…

In this paper we present algorithms for computing the topology of planar and space rational curves defined by a parametrization. The algorithms given here work directly with the parametrization of the curve, and do not require to compute or…

We study the interplay between canonical heights and endomorphisms of an abelian variety $A$ over a number field $k$. In particular we show that whenever the ring of endomorphisms defined over $k$ is strictly larger than $\Z$ there will be…

We propose several properties of elliptic lifts of the $K$-theoretic canonical bases for conical symplectic resolutions defined in our previous work. As an example, we construct elliptic lifts of canonical bases for the Hilbert scheme of…

Quadratic Chabauty is a $p$-adic method for determining rational points on curves. Local heights are arithmetic invariants used in the quadratic Chabauty method. We present an algorithm to compute these local heights for hyperelliptic…

We prove, for the canonical height defined by Silverman [15] on monomial maps, the existence of effective lower bounds for heights of points with Zariski dense orbit, for cases with endomorphisms induced by matrices with real Jordan form.

Using the methods of symplectic geometry, we establish the existence of a canonical transformation from potential model Hamiltonians of standard form in a Euclidean space to an equivalent geometrical form on a manifold, where the…

Harron and Snowden counted the number of elliptic curves over $\mathbb{Q}$ up to height $X$ with torsion group $G$ for each possible torsion group $G$ over $\mathbb{Q}$. In this paper we generalize their result to all number fields and all…