Beyond the black box
We describe the role the open-source software community plays in fixing bugs through a case study of a problem with integer determinant computations in SageMath.
Source author record
Jeroen Demeyer
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
6works
9topics
4close collaborators
Published work
6 publications
preprint2016arXiv
Computing graded Betti tables of toric surfaces
We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as a lower bound on the length of the linear strand that we conjecture to be sharp (and prove to be so in several special cases). We also present an algorithm for determining the graded Betti table of a given toric surface by explicitly computing its Koszul cohomology, and report on an implementation in SageMath. This works well for ambient projective spaces of dimension up to roughly 25, depending on the concrete combinatorics, although the current implementation runs in finite characteristic only. As a main application we obtain the graded Betti table of the Veronese surface ν6(P2)⊆P27 in characteristic 40009. This allows us to formulate precise conjectures predicting what certain entries look like in the case of an arbitrary Veronese surface νd(P2).
Open access
preprint2015arXiv
Translating between the roots of the identity in quantum computers
The Clifford+T quantum computing gate library for single qubit gates can create all unitary matrices that are generated by the group ⟨H,T⟩. The matrix T can be considered the fourth root of Pauli Z, since T4=Z or also the eighth root of the identity I. The Hadamard matrix H can be used to translate between the Pauli matrices, since (HTH)4 gives Pauli X. We are generalizing both these roots of the Pauli matrices (or roots of the identity) and translation matrices to investigate the groups they generate: the so-called Pauli root groups. In this work we introduce a formalization of such groups, study finiteness and infiniteness properties, and precisely determine equality and subgroup relations.
Open access
preprint2014arXiv
A new family of tight sets in Q+(5,q)
In this paper, we describe a new infinite family of 2q2−1-tight sets in the hyperbolic quadrics Q+(5,q), for $q \equiv 5 \mbox{ or } 9 \bmod{12}$. Under the Klein correspondence, these correspond to Cameron--Liebler line classes of PG(3,q) having parameter 2q2−1. This is the second known infinite family of nontrivial Cameron--Liebler line classes, the first family having been described by Bruen and Drudge with parameter 2q2+1 in PG(3,q) for all odd q. The study of Cameron--Liebler line classes is closely related to the study of symmetric tactical decompositions of PG(3,q) (those having the same number of point classes as line classes). We show that our new examples occur as line classes in such a tactical decomposition when q≡9mod12 (so q=32e for some positive integer e), providing an infinite family of counterexamples to a conjecture made by Cameron and Liebler in 1982; the nature of these decompositions allows us to also prove the existence of a set of type (21(32e−3e),21(32e+3e)) in the affine plane AG(2,32e) for all positive integers e. This proves a conjecture made by Rodgers in his PhD thesis.
Open access
preprint2011arXiv
Hilbert's Tenth Problem for rational function fields over p-adic fields
Let K be a p-adic field (a finite extension of some Q_p) and let K(t) be the field of rational functions over K. We define a kind of quadratic reciprocity symbol for polynomials over K and apply it to prove isotropy for a certain class of quadratic forms over K(t). Using this result, we give an existential definition for the predicate "v_t(x) >= 0" in K(t). This implies undecidability of diophantine equations over K(t).
Open access
preprint2011arXiv
The constant of the support problem for abelian varieties
Let A be an abelian variety defined over a number field K and let P and Q be points in A(K) satisfying the following condition: for all but finitely many primes p of K, the order of (Q mod p) divides the order of (P mod p). Larsen proved that there exists a positive integer c such that cQ is in the End_K(A)-module generated by P. We study the minimal value of c and construct some refined counterexamples.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.