@unpublished{dLLdMK24,title={Optimality and uniqueness of the D_4 root system},author={{de Laat}, David and Leijenhorst, Nando and {de Muinck Keizer}, Willem H. H.},publisher={arXiv},month=apr,year={2024},keywords={Mathematics - Metric Geometry}}
Preprint
Optimality of spherical codes via exact semidefinite programming bounds
@unpublished{CdLL24,author={Cohn, Henry and {de Laat}, David and Leijenhorst, Nando},publisher={arXiv},month=mar,year={2024},keywords={Mathematics - Metric Geometry}}
Preprint
Solving clustered low-rank semidefinite programs arising from polynomial optimization
We study a primal-dual interior point method specialized to clustered low-rank semidefinite programs requiring high precision numerics, which arise from certain multivariate polynomial (matrix) programs through sums-of-squares characterizations and sampling. We consider the interplay of sampling and symmetry reduction as well as a greedy method to obtain numerically good bases and sample points. We apply this to the computation of three-point bounds for the kissing number problem, for which we show a significant speedup. This allows for the computation of improved kissing number bounds in dimensions 11 through 23. The approach performs well for problems with bad numerical conditioning, which we show through new computations for the binary sphere packing problem.
@unpublished{leijenhorst_solving_2022,title={Solving clustered low-rank semidefinite programs arising from polynomial optimization},copyright={All rights reserved},author={Leijenhorst, Nando and {de Laat}, David},doi={10.48550/arXiv.2202.12077},month=feb,year={2022},keywords={Mathematics - Metric Geometry, Mathematics - Optimization and Control}}
Journal papers
Article
Multiplicity of nontrivial zeros of primitive L-functions via higher-level correlations
Felipe Gonçalves, David de Laat, and Nando Leijenhorst
We give universal bounds on the fraction of nontrivial zeros having given multiplicity for L-functions attached to a cuspidal automorphic representation of {}mathrm{GL}_m/}mathbb{Q}\. For this, we apply the higher-level correlation asymptotic of Hejhal and Rudnick & Sarnak in conjunction with semidefinite programming bounds.
@article{goncalves_multiplicity_2023,title={Multiplicity of nontrivial zeros of primitive {L}-functions via higher-level correlations},copyright={All rights reserved},doi={10.1090/mcom/4005},publisher={American Mathematical Society},journal={Mathematics of Computations},author={Gonçalves, Felipe and {de Laat}, David and Leijenhorst, Nando},month=aug,year={2024},keywords={Mathematics - Optimization and Control, Mathematics - Number Theory}}
Theses
Thesis
A solver for clustered low-rank SDPs arising from multivariate polynomial (matrix) programs (MSc thesis)
In this thesis, we give a primal-dual interior point method specialized to clustered low-rank semidefinite programs. We introduce multivariate polynomial matrix programs, and we reduce these to clustered low-rank semidefinite programs. This extends the work of Simmons-Duffin [J. High Energ. Phys. 1506, no. 174 (2015)] from univariate to multivariate polynomial matrix programs, and to more general clustered low-rank semidefinite programs. Clustered low-rank semidefinite programs are programs with low-rank constraint matrices where the positive semidefinite variables are only used within clusters of constraints. The free variables can be used in any constraint, and can be used to connect clusters. The solver uses this structure to speed up the computations in two ways. First, the low rank structure is used to reduce matrix products to products of the form uT M v, where M is a matrix and u and v are vectors, as already suggested by Löfberg and Parrilo in [43rd IEEE CDC (2004)]. Second, an additional block-diagonal structure is introduced due to the clusters. This gives the possibility to do operations such as the Cholesky decomposition block-wise. We apply this to sphere packing and spherical cap packing. For sphere packing, the speed of the solver is compared to the often used arbitrary precision solver SDPA-GMP, showing the theoretical speedup in time complexity. We give a new three-point bound for the maximum density when packing spherical caps of N sizes on the unit sphere.
@thesis{leijenhorst_solver_2021,title={A solver for clustered low-rank SDPs arising from multivariate polynomial (matrix) programs (MSc thesis)},author={Leijenhorst, Nando},url={http://resolver.tudelft.nl/uuid:53e114a8-61cd-4f48-8151-76abb0159408},year={2021},month=jun,type={Master's Thesis},supervisor={David {de Laat}},committee={Dion Gijswijt and Jacob {van der Woude}}}
Thesis
Quantum Error Correction: Decoders for the Toric Code (BSc thesis)
Quantum error correction is needed for future quantum computers. Classical error correcting codes are not suitable for this due to the nature of quantum mechanics. Therefore, new codes need to be developed. A promising candidate is the toric code, a surface code, because of its locality and its high error correcting capability and thresholds (the error probability below which increasing the size of the code decreases the failure rate). This thesis provides an introduction to quantum error correction and the stabilizer formalism, which is used to introduce the toric code. Several decoders are looked at, including the Minimum Weight Perfect Matching (MWPM) decoder and a recently developed decoder, the Union-Find (UF) decoder. The UF decoder is useful because of its almost-linear time complexity, while only reducing the threshold by a marginal amount compared to the MWPM decoder. In this thesis, the time complexity of the weighted growth version of the UF decoder is analysed. The toric code and the decoders have been implemented and simulated, and the thresholds have been determined. For the MWPM decoder, the threshold was determined to be 11.5±0.2%, which is not in agreement with the threshold in literature of 10.3%, and should not be possible according to the optimal threshold of about 11%. This probably is a result of the low grid sizes (up to a gridsize of 11) of the code used due to the time needed to simulate the MWPM decoder. For the UF decoder, the threshold found was 9.7 ± 0.9%, which is in agreement with the threshold of 9.9% found by N. Delfosse and N. Nickerson. The time complexity of the UF decoder has also been determined, and is indeed almost-linear as expected by the analysis.
@thesis{leijenhorst_quantum_2019,author={Leijenhorst, Nando},url={http://resolver.tudelft.nl/uuid:94823249-e114-4fc0-bae9-4c80d503296f},year={2019},month=aug,type={Bachelor's Thesis},supervisor={Martijn Caspers and David Elkouss Coronas},committee={Wioletta Ruszel and Miriam Blaauboer}}
Talks
2024
Optimality and uniqueness of the D4 root system, EURO2024, Copenhagen, 01-03/07/2024.
From approximate to exact optimal solutions to large semidefinite programs, Operations Research seminar, Universiteit Tilburg, 23/05/2024.
Rounding solutions of semidefinite programs, DMO Seminar, TU Delft, 26/01/2024.