Showing 1–50 of 101 results for author: De Jong, T

Domain theory in univalent foundations II: Continuous and algebraic domains

Authors: Tom de Jong, Martín Hötzel Escardó

Abstract: We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setting. That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive in the sense that we do not rely on excluded middle or the axiom of (countable) choice. To de… ▽ More We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setting. That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive in the sense that we do not rely on excluded middle or the axiom of (countable) choice. To deal with size issues and give a predicatively suitable definition of continuity of a dcpo, we follow Johnstone and Joyal's work on continuous categories. Adhering to the univalent perspective, we explicitly distinguish between data and property. To ensure that being continuous is a property of a dcpo, we turn to the propositional truncation, although we explain that some care is needed to avoid needing the axiom of choice. We also adapt the notion of a domain-theoretic basis to the predicative setting by imposing suitable smallness conditions, analogous to the categorical concept of an accessible category. All our running examples of continuous dcpos are then actually examples of dcpos with small bases which we show to be well behaved predicatively. In particular, such dcpos are exactly those presented by small ideals. As an application of the theory, we show that Scott's $D_\infty$ model of the untyped $λ$-calculus is an example of an algebraic dcpo with a small basis. Our work is formalised in the Agda proof assistant and its ability to infer universe levels has been invaluable for our purposes. △ Less

Submitted 10 July, 2024; v1 submitted 9 July, 2024; originally announced July 2024.

Comments: Based on Ch. 4 of the author's PhD thesis (arXiv:2301.12405). v2: Added arXiv identifier for Part I

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$

Authors: Tom de Jong

Abstract: We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive in the sense that we do not rely on excluded middle or the axiom of (countable) choice. Domain theory studies so-called directed complete posets (dcpos) and Sco… ▽ More We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive in the sense that we do not rely on excluded middle or the axiom of (countable) choice. Domain theory studies so-called directed complete posets (dcpos) and Scott continuous maps between them and has applications in a variety of fields, such as programming language semantics, higher-type computability and topology. A common approach to deal with size issues in a predicative foundation is to work with information systems, abstract bases or formal topologies rather than dcpos, and approximable relations rather than Scott continuous functions. In our type-theoretic approach, we instead accept that dcpos may be large and work with type universes to account for this. A priori one might expect that iterative constructions of dcpos may result in a need for ever-increasing universes and are predicatively impossible. We show, through a careful tracking of type universe parameters, that such constructions can be carried out in a predicative setting. In particular, we give a predicative reconstruction of Scott's $D_\infty$ model of the untyped $λ$-calculus. Our work is formalised in the Agda proof assistant and its ability to infer universe levels has been invaluable for our purposes. △ Less

Submitted 10 July, 2024; v1 submitted 9 July, 2024; originally announced July 2024.

Comments: Based on Ch. 3 and Sec. 5.1 of the author's PhD thesis (arXiv:2301.12405). v2: Added arXiv identifier for Part II

Euclid. I. Overview of the Euclid mission

Authors: Euclid Collaboration, Y. Mellier, Abdurro'uf, J. A. Acevedo Barroso, A. Achúcarro, J. Adamek, R. Adam, G. E. Addison, N. Aghanim, M. Aguena, V. Ajani, Y. Akrami, A. Al-Bahlawan, A. Alavi, I. S. Albuquerque, G. Alestas, G. Alguero, A. Allaoui, S. W. Allen, V. Allevato, A. V. Alonso-Tetilla, B. Altieri, A. Alvarez-Candal, A. Amara, L. Amendola , et al. (1086 additional authors not shown)

Abstract: The current standard model of cosmology successfully describes a variety of measurements, but the nature of its main ingredients, dark matter and dark energy, remains unknown. Euclid is a medium-class mission in the Cosmic Vision 2015-2025 programme of the European Space Agency (ESA) that will provide high-resolution optical imaging, as well as near-infrared imaging and spectroscopy, over about 14… ▽ More The current standard model of cosmology successfully describes a variety of measurements, but the nature of its main ingredients, dark matter and dark energy, remains unknown. Euclid is a medium-class mission in the Cosmic Vision 2015-2025 programme of the European Space Agency (ESA) that will provide high-resolution optical imaging, as well as near-infrared imaging and spectroscopy, over about 14,000 deg^2 of extragalactic sky. In addition to accurate weak lensing and clustering measurements that probe structure formation over half of the age of the Universe, its primary probes for cosmology, these exquisite data will enable a wide range of science. This paper provides a high-level overview of the mission, summarising the survey characteristics, the various data-processing steps, and data products. We also highlight the main science objectives and expected performance. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: Paper submitted as part of the A&A special issue`Euclid on Sky'

Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees

Authors: Thomas de Jong, Valentina Breschi, Maarten Schoukens, Mircea Lazar

Abstract: In this paper, we consider the design of data-driven predictive controllers for nonlinear systems from input-output data via linear-in-control input Koopman lifted models. Instead of identifying and simulating a Koopman model to predict future outputs, we design a subspace predictive controller in the Koopman space. This allows us to learn the observables minimizing the multi-step output predictio… ▽ More In this paper, we consider the design of data-driven predictive controllers for nonlinear systems from input-output data via linear-in-control input Koopman lifted models. Instead of identifying and simulating a Koopman model to predict future outputs, we design a subspace predictive controller in the Koopman space. This allows us to learn the observables minimizing the multi-step output prediction error of the Koopman subspace predictor, preventing the propagation of prediction errors. To avoid losing feasibility of our predictive control scheme due to prediction errors, we compute a terminal cost and terminal set in the Koopman space and we obtain recursive feasibility guarantees through an interpolated initial state. As a third contribution, we introduce a novel regularization cost yielding input-to-state stability guarantees with respect to the prediction error for the resulting closed-loop system. The performance of the developed Koopman data-driven predictive control methodology is illustrated on a nonlinear benchmark example from the literature. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Object classification with Convolutional Neural Networks: from KiDS to Euclid

Authors: G. A. Verdoes Kleijn, C. A. Marocico, Y. Mzayek, M. Pöntinen, M. Granvik, O. Williams, J. T. A. de Jong, T. Saifollahi, L. Wang, B. Margalef-Bentabol, A. La Marca, B. Chowdhary Nagam, L. V. E. Koopmans, E. A. Valentijn

Abstract: Large-scale imaging surveys have grown about 1000 times faster than the number of astronomers in the last 3 decades. Using Artificial Intelligence instead of astronomer's brains for interpretative tasks allows astronomers to keep up with the data. We give a progress report on using Convolutional Neural Networks (CNNs) to classify three classes of rare objects (galaxy mergers, strong gravitational… ▽ More Large-scale imaging surveys have grown about 1000 times faster than the number of astronomers in the last 3 decades. Using Artificial Intelligence instead of astronomer's brains for interpretative tasks allows astronomers to keep up with the data. We give a progress report on using Convolutional Neural Networks (CNNs) to classify three classes of rare objects (galaxy mergers, strong gravitational lenses and asteroids) in the Kilo-Degree Survey (KiDS) and the Euclid Survey. △ Less

Submitted 3 March, 2024; originally announced March 2024.

Comments: ADASS XXXII - 2022, Victoria, Conference Proceedings

Epimorphisms and Acyclic Types in Univalent Mathematics

Authors: Ulrik Buchholtz, Tom de Jong, Egbert Rijke

Abstract: We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory. We present examples and applications in group theory, such as the acyclicity of the Higman group, through the identification of groups with $0$-connected, pointed $1$-types. Many of our results ar… ▽ More We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory. We present examples and applications in group theory, such as the acyclicity of the Higman group, through the identification of groups with $0$-connected, pointed $1$-types. Many of our results are formalized as part of the agda-unimath library. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Well-posedness results for general reaction-diffusion transport of oxygen in encapsulated cells

Authors: Yuma Nakamura, Kharisma Surya Putri, Alef Sterk, Thomas Geert de Jong

Abstract: In this paper, we provide well-posedness results for nonlinear parabolic PDEs given by reaction-diffusion equations describing the concentration of oxygen in encapsulated cells. The cells are described in terms of a core and a shell, which introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. In addition, the cells are subject to general nonlinea… ▽ More In this paper, we provide well-posedness results for nonlinear parabolic PDEs given by reaction-diffusion equations describing the concentration of oxygen in encapsulated cells. The cells are described in terms of a core and a shell, which introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. In addition, the cells are subject to general nonlinear consumption of oxygen. As no monotonicity condition is imposed on the consumption monotone operator theory cannot be used. Moreover, the discontinuity in the diffusion coefficient bars us to apply classical results. However, by directly applying a Galerkin method we obtain uniqueness and existence of the strong form solution. These results will provide the basis to study the dynamics of cells in critical states. △ Less

Submitted 3 July, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

MSC Class: 35K57; 35K55

Virtual reservoir acceleration for CPU and GPU: Case study for coupled spin-torque oscillator reservoir

Authors: Thomas Geert de Jong, Nozomi Akashi, Tomohiro Taniguchi, Hirofumi Notsu, Kohei Nakajima

Abstract: We provide high-speed implementations for simulating reservoirs described by $N$-coupled spin-torque oscillators. Here $N$ also corresponds to the number of reservoir nodes. We benchmark a variety of implementations based on CPU and GPU. Our new methods are at least 2.6 times quicker than the baseline for $N$ in range $1$ to $10^4$. More specifically, over all implementations the best factor is 78… ▽ More We provide high-speed implementations for simulating reservoirs described by $N$-coupled spin-torque oscillators. Here $N$ also corresponds to the number of reservoir nodes. We benchmark a variety of implementations based on CPU and GPU. Our new methods are at least 2.6 times quicker than the baseline for $N$ in range $1$ to $10^4$. More specifically, over all implementations the best factor is 78.9 for $N=1$ which decreases to 2.6 for $N=10^3$ and finally increases to 23.8 for $N=10^4$. GPU outperforms CPU significantly at $N=2500$. Our results show that GPU implementations should be tested for reservoir simulations. The implementations considered here can be used for any reservoir with evolution that can be approximated using an explicit method. △ Less

Submitted 2 December, 2023; originally announced December 2023.

Hölder regularity for the trajectories of generalized charged particles in 1D

Authors: Thomas Geert de Jong, Patrick van Meurs

Abstract: We prove Hölder regularity for the trajectories of an interacting particle system. The particle velocities are given by the nonlocal and singular interactions with the other particles. Particle collisions occur in finite time. Prior to collisions the particle velocities become unbounded, and thus the trajectories fail to be of class $C^1$. Our Hölder-regularity result supplements earlier studies o… ▽ More We prove Hölder regularity for the trajectories of an interacting particle system. The particle velocities are given by the nonlocal and singular interactions with the other particles. Particle collisions occur in finite time. Prior to collisions the particle velocities become unbounded, and thus the trajectories fail to be of class $C^1$. Our Hölder-regularity result supplements earlier studies on the well-posedness of the particle system which imply only continuity of the trajectories. Moreover, it extends and unifies several of the previously obtained estimates on the trajectories. Our proof method relies on standard ODE techniques: we transform the system into different variables to expose and exploit the hidden monotonicity properties. △ Less

Submitted 9 December, 2023; v1 submitted 15 November, 2023; originally announced November 2023.

MSC Class: 34E18; 74H30

DenseLens -- Using DenseNet ensembles and information criteria for finding and rank-ordering strong gravitational lenses,

Authors: Bharath Chowdhary Nagam, Léon V. E. Koopmans, Edwin A. Valentijn, Gijs Verdoes Kleijn, Jelte T. A. de Jong, Nicola Napolitano, Rui Li, Crescenzo Tortora

Abstract: Convolutional neural networks (CNNs) are the state-of-the-art technique for identifying strong gravitational lenses. Although they are highly successful in recovering genuine lens systems with a high true-positive rate, the unbalanced nature of the data set (lens systems are rare), still leads to a high false positive rate. For these techniques to be successful in upcoming surveys (e.g. with Eucli… ▽ More Convolutional neural networks (CNNs) are the state-of-the-art technique for identifying strong gravitational lenses. Although they are highly successful in recovering genuine lens systems with a high true-positive rate, the unbalanced nature of the data set (lens systems are rare), still leads to a high false positive rate. For these techniques to be successful in upcoming surveys (e.g. with Euclid) most emphasis should be set on reducing false positives, rather than on reducing false negatives. In this paper, we introduce densely connected neural networks (DenseNets) as the CNN architecture in a new pipeline-ensemble model containing an ensemble of classification CNNs and regression CNNs to classify and rank-order lenses, respectively. We show that DenseNets achieve comparable true positive rates but considerably lower false positive rates (when compared to residual networks; ResNets). Thus, we recommend DenseNets for future missions involving large data sets, such as Euclid, where low false positive rates play a key role in the automated follow-up and analysis of large numbers of strong gravitational lens candidates when human vetting is no longer feasible △ Less

Submitted 14 November, 2023; originally announced November 2023.

Radial Icicle Tree (RIT): Node Separation and Area Constancy

Authors: Yuanzhe **, Tim J. A. de Jong, Martijn Tennekes, Min Chen

Abstract: Icicles and sunbursts are two commonly-used visual representations of trees. While icicle trees can map data values faithfully to rectangles of different sizes, often some rectangles are too narrow to be noticed easily. When an icicle tree is transformed into a sunburst tree, the width of each rectangle becomes the length of an annular sector that is usually longer than the original width. While s… ▽ More Icicles and sunbursts are two commonly-used visual representations of trees. While icicle trees can map data values faithfully to rectangles of different sizes, often some rectangles are too narrow to be noticed easily. When an icicle tree is transformed into a sunburst tree, the width of each rectangle becomes the length of an annular sector that is usually longer than the original width. While sunburst trees alleviate the problem of narrow rectangles in icicle trees, it no longer maintains the consistency of size encoding. At different tree depths, nodes of the same data values are displayed in annular sections of different sizes in a sunburst tree, though they are represented by rectangles of the same size in an icicle tree. Furthermore, two nodes from different subtrees could sometimes appear as a single node in both icicle trees and sunburst trees. In this paper, we propose a new visual representation, referred to as \emph{radial icicle tree} (RIT), which transforms the rectangular bounding box of an icicle tree into a circle, circular sector, or annular sector while introducing gaps between nodes and maintaining area constancy for nodes of the same size. We applied the new visual design to several datasets. Both the analytical design process and user-centered evaluation have confirmed that this new design has improved the design of icicles and sunburst trees without introducing any relative demerit. △ Less

Submitted 19 July, 2023; originally announced July 2023.

How neural networks learn to classify chaotic time series

Authors: Alessandro Corbetta, Thomas Geert de Jong

Abstract: Neural networks are increasingly employed to model, analyze and control non-linear dynamical systems ranging from physics to biology. Owing to their universal approximation capabilities, they regularly outperform state-of-the-art model-driven methods in terms of accuracy, computational speed, and/or control capabilities. On the other hand, neural networks are very often they are taken as black box… ▽ More Neural networks are increasingly employed to model, analyze and control non-linear dynamical systems ranging from physics to biology. Owing to their universal approximation capabilities, they regularly outperform state-of-the-art model-driven methods in terms of accuracy, computational speed, and/or control capabilities. On the other hand, neural networks are very often they are taken as black boxes whose explainability is challenged, among others, by huge amounts of trainable parameters. In this paper, we tackle the outstanding issue of analyzing the inner workings of neural networks trained to classify regular-versus-chaotic time series. This setting, well-studied in dynamical systems, enables thorough formal analyses. We focus specifically on a family of networks dubbed Large Kernel Convolutional Neural Networks (LKCNN), recently introduced by Boullé et al. (2021). These non-recursive networks have been shown to outperform other established architectures (e.g. residual networks, shallow neural networks and fully convolutional networks) at this classification task. Furthermore, they outperform ``manual'' classification approaches based on direct reconstruction of the Lyapunov exponent. We find that LKCNNs use qualitative properties of the input sequence. In particular, we show that the relation between input periodicity and activation periodicity is key for the performance of LKCNN models. Low performing models show, in fact, analogous periodic activations to random untrained models. This could give very general criteria for identifying, a priori, trained models that have poor accuracy. △ Less

Submitted 4 June, 2023; originally announced June 2023.

MSC Class: 37M10; 68T07

Journal ref: Chaos. 33, 123101, 2023

DES Y3 + KiDS-1000: Consistent cosmology combining cosmic shear surveys

Authors: Dark Energy Survey, Kilo-Degree Survey Collaboration, :, T. M. C. Abbott, M. Aguena, A. Alarcon, O. Alves, A. Amon, F. Andrade-Oliveira, M. Asgari, S. Avila, D. Bacon, K. Bechtol, M. R. Becker, G. M. Bernstein, E. Bertin, M. Bilicki, J. Blazek, S. Bocquet, D. Brooks, P. Burger, D. L. Burke, H. Camacho, A. Campos, A. Carnero Rosell , et al. (138 additional authors not shown)

Abstract: We present a joint cosmic shear analysis of the Dark Energy Survey (DES Y3) and the Kilo-Degree Survey (KiDS-1000) in a collaborative effort between the two survey teams. We find consistent cosmological parameter constraints between DES Y3 and KiDS-1000 which, when combined in a joint-survey analysis, constrain the parameter $S_8 = σ_8 \sqrt{Ω_{\rm m}/0.3}$ with a mean value of… ▽ More We present a joint cosmic shear analysis of the Dark Energy Survey (DES Y3) and the Kilo-Degree Survey (KiDS-1000) in a collaborative effort between the two survey teams. We find consistent cosmological parameter constraints between DES Y3 and KiDS-1000 which, when combined in a joint-survey analysis, constrain the parameter $S_8 = σ_8 \sqrt{Ω_{\rm m}/0.3}$ with a mean value of $0.790^{+0.018}_{-0.014}$. The mean marginal is lower than the maximum a posteriori estimate, $S_8=0.801$, owing to skewness in the marginal distribution and projection effects in the multi-dimensional parameter space. Our results are consistent with $S_8$ constraints from observations of the cosmic microwave background by Planck, with agreement at the $1.7σ$ level. We use a Hybrid analysis pipeline, defined from a mock survey study quantifying the impact of the different analysis choices originally adopted by each survey team. We review intrinsic alignment models, baryon feedback mitigation strategies, priors, samplers and models of the non-linear matter power spectrum. △ Less

Submitted 19 October, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

Comments: 40 pages, 21 figures, 15 tables, accepted Open Journal of Astrophysics. Download the chains from https://des.ncsa.illinois.edu/releases/y3a2/Y3key-joint-des-kids or create your own chains with CosmoSIS using https://github.com/joezuntz/cosmosis-standard-library/blob/main/examples/des-y3_and_kids-1000.ini Watch the core team discuss this analysis at https://cosmologytalks.com/2023/05/26/des-kids

Report number: FERMILAB-PUB-23-267-PPD

Reaction-diffusion transport into core-shell geometry: Well-posedness and stability of stationary solutions

Authors: T. G. de Jong, G. Prokert, A. E. Sterk

Abstract: We investigate a nonlinear parabolic reaction-diffusion equation describing the oxygen concentration in encapsulated pancreatic cells with a general core-shell geometry. This geometry introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. We apply monotone operator theory to show well-posedness of the problem in the strong form. Furthermore, the s… ▽ More We investigate a nonlinear parabolic reaction-diffusion equation describing the oxygen concentration in encapsulated pancreatic cells with a general core-shell geometry. This geometry introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. We apply monotone operator theory to show well-posedness of the problem in the strong form. Furthermore, the stationary solutions are unique and asymptotically stable. These results rely on the gradient structure of the underlying PDE. △ Less

Submitted 5 May, 2023; originally announced May 2023.

MSC Class: 92C50; 35K55; 34K20

Domain Theory in Constructive and Predicative Univalent Foundations

Authors: Tom de Jong

Abstract: We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive in the sense that we do not rely on excluded middle or the axiom of (countable) choice. Domain theory studies so-called directed complete posets (dcpos) and Sco… ▽ More We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive in the sense that we do not rely on excluded middle or the axiom of (countable) choice. Domain theory studies so-called directed complete posets (dcpos) and Scott continuous maps between them and has applications in programming language semantics, higher-type computability and topology. A common approach to deal with size issues in a predicative foundation is to work with information systems, abstract bases or formal topologies rather than dcpos, and approximable relations rather than Scott continuous functions. In our type-theoretic approach, we instead accept that dcpos may be large and work with type universes to account for this. A priori one might expect that complex constructions of dcpos result in a need for ever-increasing universes and are predicatively impossible. We show that such constructions can be carried out in a predicative setting. We illustrate the development with applications in the semantics of programming languages: the soundness and computational adequacy of the Scott model of PCF and Scott's $D_\infty$ model of the untyped $λ$-calculus. We also give a predicative account of continuous and algebraic dcpos, and of the related notions of a small basis and its rounded ideal completion. The fact that nontrivial dcpos have large carriers is in fact unavoidable and characteristic of our predicative setting, as we explain in a complementary chapter on the constructive and predicative limitations of univalent foundations. Our account of domain theory in univalent foundations is fully formalised with only a few minor exceptions. The ability of the proof assistant Agda to infer universe levels has been invaluable for our purposes. △ Less

Submitted 28 September, 2023; v1 submitted 29 January, 2023; originally announced January 2023.

Comments: PhD thesis, extended abstract in the pdf. v8: Corrected year in a bibliography entry

Set-Theoretic and Type-Theoretic Ordinals Coincide

Authors: Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Abstract: In constructive set theory, an ordinal is a hereditarily transitive set. In homotopy type theory (HoTT), an ordinal is a type with a transitive, wellfounded, and extensional binary relation. We show that the two definitions are equivalent if we use (the HoTT refinement of) Aczel's interpretation of constructive set theory into type theory. Following this, we generalize the notion of a type-theoret… ▽ More In constructive set theory, an ordinal is a hereditarily transitive set. In homotopy type theory (HoTT), an ordinal is a type with a transitive, wellfounded, and extensional binary relation. We show that the two definitions are equivalent if we use (the HoTT refinement of) Aczel's interpretation of constructive set theory into type theory. Following this, we generalize the notion of a type-theoretic ordinal to capture all sets in Aczel's interpretation rather than only the ordinals. This leads to a natural class of ordered structures which contains the type-theoretic ordinals and realizes the higher inductive interpretation of set theory. All our results are formalized in Agda. △ Less

Submitted 12 June, 2023; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: v2: Minor changes. To appear at LICS'23. v3: Acknowledgments updated

Journal ref: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023

Multiple imputation of incomplete multilevel data using Heckman selection models

Authors: Johanna Muñoz, Matthias Egger, Orestis Efthimiou, Vincent Audigier, Valentijn M. T. de Jong, Thomas. P. A. Debray

Abstract: Missing data is a common problem in medical research, and is commonly addressed using multiple imputation. Although traditional imputation methods allow for valid statistical inference when data are missing at random (MAR), their implementation is problematic when the presence of missingness depends on unobserved variables, i.e. the data are missing not at random (MNAR). Unfortunately, this MNAR s… ▽ More Missing data is a common problem in medical research, and is commonly addressed using multiple imputation. Although traditional imputation methods allow for valid statistical inference when data are missing at random (MAR), their implementation is problematic when the presence of missingness depends on unobserved variables, i.e. the data are missing not at random (MNAR). Unfortunately, this MNAR situation is rather common, in observational studies, registries and other sources of real-world data. While several imputation methods have been proposed for addressing individual studies when data are MNAR, their application and validity in large datasets with multilevel structure remains unclear. We therefore explored the consequence of MNAR data in hierarchical data in-depth, and proposed a novel multilevel imputation method for common missing patterns in clustered datasets. This method is based on the principles of Heckman selection models and adopts a two-stage meta-analysis approach to impute binary and continuous variables that may be outcomes or predictors and that are systematically or sporadically missing. After evaluating the proposed imputation model in simulated scenarios, we illustrate it use in a cross-sectional community survey to estimate the prevalence of malaria parasitemia in children aged 2-10 years in five subregions in Uganda. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Comments: 18 pages, 7 figures

Observation of flat $Γ$ moiré bands in twisted bilayer WSe$_2$

Authors: Gianmarco Gatti, Julia Issing, Louk Rademaker, Florian Margot, Tobias A. de Jong, Sense Jan van der Molen, Jérémie Teyssier, Timur K. Kim, Matthew D. Watson, Cephise Cacho, Pavel Dudin, José Avila, Kumara Cordero Edwards, Patrycja Paruch, Nicolas Ubrig, Ignacio Gutiérrez-Lezama, Alberto Morpurgo, Anna Tamai, Felix Baumberger

Abstract: The recent observation of correlated phases in transition metal dichalcogenide moiré systems at integer and fractional filling promises new insight into metal-insulator transitions and the unusual states of matter that can emerge near such transitions. Here, we combine real- and momentum-space map** techniques to study moiré superlattice effects in 57.4$^{\circ}$ twisted WSe$_2$ (tWSe$_2$). Our… ▽ More The recent observation of correlated phases in transition metal dichalcogenide moiré systems at integer and fractional filling promises new insight into metal-insulator transitions and the unusual states of matter that can emerge near such transitions. Here, we combine real- and momentum-space map** techniques to study moiré superlattice effects in 57.4$^{\circ}$ twisted WSe$_2$ (tWSe$_2$). Our data reveal a split-off flat band that derives from the monolayer $Γ$ states. Using advanced data analysis, we directly quantify the moiré potential from our data. We further demonstrate that the global valence band maximum in tWSe$_2$ is close in energy to this flat band but derives from the monolayer K-states which show weaker superlattice effects. These results constrain theoretical models and open the perspective that $Γ$-valley flat bands might be involved in the correlated physics of twisted WSe$_2$. △ Less

Submitted 2 November, 2022; originally announced November 2022.

Stacking domain morphology in epitaxial graphene on silicon carbide

Authors: Tobias A. de Jong, Luuk Visser, Johannes Jobst, Ruud M. Tromp, Sense Jan van der Molen

Abstract: Terrace-sized, single-orientation graphene can be grown on top of a carbon buffer layer on silicon carbide by thermal decomposition. Despite its homogeneous appearance, a surprisingly large variation in electron transport properties is observed. Here, we employ Aberration-Corrected Low-Energy Electron Microscopy (AC-LEEM) to study a possible cause of this variability. We characterize the morphol… ▽ More Terrace-sized, single-orientation graphene can be grown on top of a carbon buffer layer on silicon carbide by thermal decomposition. Despite its homogeneous appearance, a surprisingly large variation in electron transport properties is observed. Here, we employ Aberration-Corrected Low-Energy Electron Microscopy (AC-LEEM) to study a possible cause of this variability. We characterize the morphology of stacking domains between the graphene and the buffer layer of high-quality samples. Similar to the case of twisted bilayer graphene, the lattice mismatch between the graphene layer and the buffer layer at the growth temperature causes a moiré pattern with domain boundaries between AB and BA stackings. We analyze this moiré pattern to characterize the relative strain and to count the number of edge dislocations. Furthermore, we show that epitaxial graphene on silicon carbide is close to a phase transition, causing intrinsic disorder in the form of co-existence of anisotropic stripe domains and isotropic trigonal domains. Using adaptive geometric phase analysis, we determine the precise relative strain variation caused by these domains. We observe that the step edges of the SiC substrate influence the orientation of the domains and we discuss which aspects of the growth process influence these effects by comparing samples from different sources. △ Less

Submitted 29 July, 2022; originally announced July 2022.

Journal ref: Phys. Rev. Materials 7, 034001, 17 March 2023

Low-Energy Electron Microscopy contrast of stacking boundaries: comparing twisted few-layer graphene and strained epitaxial graphene on silicon carbide

Authors: Tobias A. de Jong, Xingchen Chen, Johannes Jobst, Eugene E. Krasovskii, Ruud M. Tromp, Sense Jan van der Molen

Abstract: Stacking domain boundaries occur in Van der Waals heterostacks whenever there is a twist angle or lattice mismatch between subsequent layers. Not only can these domain boundaries host topological edge states, imaging them has been instrumental to determine local variations in twisted bilayer graphene. Here, we analyse the mechanisms causing stacking domain boundary contrast in Bright Field Low-Ene… ▽ More Stacking domain boundaries occur in Van der Waals heterostacks whenever there is a twist angle or lattice mismatch between subsequent layers. Not only can these domain boundaries host topological edge states, imaging them has been instrumental to determine local variations in twisted bilayer graphene. Here, we analyse the mechanisms causing stacking domain boundary contrast in Bright Field Low-Energy Electron Microscopy (BF-LEEM) for both graphene on SiC, where domain boundaries are caused by strain and for twisted few layer graphene. We show that when domain boundaries are between the top two graphene layers, BF-LEEM contrast is observed due to amplitude contrast and corresponds well to calculations of the contrast based purely on the local stacking in the domain boundary. Conversely, for deeper-lying domain boundaries, amplitude contrast only provides a weak distinction between the inequivalent stackings in the domains themselves. However, for small domains phase contrast, where electrons from different parts of the unit cell interfere causes a very strong contrast. We derive a general rule-of-thumb of expected BF-LEEM contrast for domain boundaries in Van der Waals materials. △ Less

Submitted 29 July, 2022; originally announced July 2022.

Journal ref: Phys. Rev. B 107, 075431, 22 February 2023

Sharp Elements and Apartness in Domains

Authors: Tom de Jong

Abstract: Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of being unequal, similar to how inhabitedness is a positive formulation of nonemptiness. To exemplify sharpness, we note that a lower real is sharp if and only if it… ▽ More Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of being unequal, similar to how inhabitedness is a positive formulation of nonemptiness. To exemplify sharpness, we note that a lower real is sharp if and only if it is located. Our first main result is that for a large class of continuous dcpos, the Bridges-Vita apartness topology and the Scott topology coincide. Although we cannot expect a tight or cotransitive apartness on nontrivial dcpos, we prove that the intrinsic apartness is both tight and cotransitive when restricted to the sharp elements of a continuous dcpo. These include the strongly maximal elements, as studied by Smyth and Heckmann. We develop the theory of strongly maximal elements highlighting its connection to sharpness and the Lawson topology. Finally, we illustrate the intrinsic apartness, sharpness and strong maximality by considering several natural examples of continuous dcpos: the Cantor and Baire domains, the partial Dedekind reals and the lower reals. △ Less

Submitted 28 December, 2021; originally announced December 2021.

Comments: In Proceedings MFPS 2021, arXiv:2112.13746. arXiv admin note: substantial text overlap with arXiv:2106.05064

Journal ref: EPTCS 351, 2021, pp. 134-151

Adjusting for misclassification of an exposure in an individual participant data meta-analysis

Authors: Valentijn M. T. de Jong, Harlan Campbell, Lauren Maxwell, Thomas Jaenisch, Paul Gustafson, Thomas P. A. Debray

Abstract: A common problem in the analysis of multiple data sources, including individual participant data meta-analysis (IPD-MA), is the misclassification of binary variables. Misclassification may lead to biased estimates of model parameters, even when the misclassification is entirely random. We aimed to develop statistical methods that facilitate unbiased estimation of adjusted and unadjusted exposure-o… ▽ More A common problem in the analysis of multiple data sources, including individual participant data meta-analysis (IPD-MA), is the misclassification of binary variables. Misclassification may lead to biased estimates of model parameters, even when the misclassification is entirely random. We aimed to develop statistical methods that facilitate unbiased estimation of adjusted and unadjusted exposure-outcome associations and between-study heterogeneity in IPD-MA, where the extent and nature of exposure misclassification may vary across studies. We present Bayesian methods that allow misclassification of binary exposure variables to depend on study- and participant-level characteristics. In an example of the differential diagnosis of dengue using two variables, where the gold standard measurement for the exposure variable was unavailable for some studies which only measured a surrogate prone to misclassification, our methods yielded more accurate estimates than analyses naive with regard to misclassification or based on gold standard measurements alone. In a simulation study, the evaluated misclassification model yielded valid estimates of the exposure-outcome association, and was more accurate than analyses restricted to gold standard measurements. Our proposed framework can appropriately account for the presence of binary exposure misclassification in IPD-MA. It requires that some studies supply IPD for the surrogate and gold standard exposure and misclassification is exchangeable across studies conditional on observed covariates (and outcome). The proposed methods are most beneficial when few large studies that measured the gold standard are available, and when misclassification is frequent. △ Less

Submitted 2 November, 2021; originally announced November 2021.

On Small Types in Univalent Foundations

Authors: Tom de Jong, Martín Hötzel Escardó

Abstract: We investigate predicative aspects of constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resizing axioms or excluded middle. Our work complements existing work on predicative mathematics by exploring what cannot be done predicatively in univalent foundations. Our first main result is that nontrivial (directed or… ▽ More We investigate predicative aspects of constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resizing axioms or excluded middle. Our work complements existing work on predicative mathematics by exploring what cannot be done predicatively in univalent foundations. Our first main result is that nontrivial (directed or bounded) complete posets are necessarily large. That is, if such a nontrivial poset is small, then weak propositional resizing holds. It is possible to derive full propositional resizing if we strengthen nontriviality to positivity. The distinction between nontriviality and positivity is analogous to the distinction between nonemptiness and inhabitedness. Moreover, we prove that locally small, nontrivial (directed or bounded) complete posets necessarily lack decidable equality. We prove our results for a general class of posets, which includes e.g. directed complete posets, bounded complete posets, sup-lattices and frames. Secondly, the fact that these nontrivial posets are necessarily large has the important consequence that Tarski's theorem (and similar results) cannot be applied in nontrivial instances. Furthermore, we explain that generalizations of Tarski's theorem that allow for large structures are provably false by showing that the ordinal of ordinals in a univalent universe has small suprema in the presence of set quotients. The latter also leads us to investigate the inter-definability and interaction of type universes of propositional truncations and set quotients, as well as a set replacement principle. Thirdly, we clarify, in our predicative setting, the relation between the traditional definition of sup-lattice that requires suprema for all subsets and our definition that asks for suprema of all small families. △ Less

Submitted 3 May, 2023; v1 submitted 31 October, 2021; originally announced November 2021.

Journal ref: Logical Methods in Computer Science, Volume 19, Issue 2 (May 4, 2023) lmcs:8643

Uniqueness of local, analytic solutions to singular ODEs

Authors: Thomas Geert de Jong, Patrick van Meurs

Abstract: We study local, analytic solutions for a class of initial value problems for singular ODEs. We prove existence and uniqueness of such solutions under a certain non-resonance condition. Our proof translates the singular initial value problem to an equilibrium problem of a regular ODE. Then, we apply classical invariant manifold theory. We demonstrate that the class of ODEs under consideration captu… ▽ More We study local, analytic solutions for a class of initial value problems for singular ODEs. We prove existence and uniqueness of such solutions under a certain non-resonance condition. Our proof translates the singular initial value problem to an equilibrium problem of a regular ODE. Then, we apply classical invariant manifold theory. We demonstrate that the class of ODEs under consideration captures models which describe the shape of axially symmetric surfaces which are closed on one side. Our main result guarantees smoothness at the tip of the surface. △ Less

Submitted 18 August, 2021; originally announced August 2021.

Imaging moiré deformation and dynamics in twisted bilayer graphene

Authors: Tobias A. de Jong, Tjerk Benschop, Xingchen Chen, Eugene E. Krasovskii, Michiel J. A. de Dood, Rudolf M. Tromp, Milan P. Allan, Sense Jan van der Molen

Abstract: In twisted bilayer graphene (TBG) a moiré pattern forms that introduces a new length scale to the material. At the 'magic' twist angle of 1.1°, this causes a flat band to form, yielding emergent properties such as correlated insulator behavior and superconductivity [1-4]. In general, the moiré structure in TBG varies spatially, influencing the local electronic properties [5-9] and hence the outcom… ▽ More In twisted bilayer graphene (TBG) a moiré pattern forms that introduces a new length scale to the material. At the 'magic' twist angle of 1.1°, this causes a flat band to form, yielding emergent properties such as correlated insulator behavior and superconductivity [1-4]. In general, the moiré structure in TBG varies spatially, influencing the local electronic properties [5-9] and hence the outcome of macroscopic charge transport experiments. In particular, to understand the wide variety observed in the phase diagrams and critical temperatures, a more detailed understanding of the local moiré variation is needed [10]. Here, we study spatial and temporal variations of the moiré pattern in TBG using aberration-corrected Low Energy Electron Microscopy (AC-LEEM) [11,12]. The spatial variation we find is lower than reported previously. At 500°C, we observe thermal fluctuations of the moiré lattice, corresponding to collective atomic displacements of less than 70pm on a time scale of seconds [13], homogenizing the sample. Despite previous concerns, no untwisting of the layers is found, even at temperatures as high as 600°C [14,15]. From these observations, we conclude that thermal annealing can be used to decrease the local disorder in TBG samples. Finally, we report the existence of individual edge dislocations in the atomic and moiré lattice. These topological defects break translation symmetry and are anticipated to exhibit unique local electronic properties. △ Less

Submitted 30 July, 2021; originally announced July 2021.

Journal ref: Nat Commun 13, 70 (2022)

Apartness, sharp elements, and the Scott topology of domains

Authors: Tom de Jong

Abstract: Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of being unequal, similar to how inhabitedness is a positive formulation of nonemptiness. To exemplify sharpness, we note that a lower real is sharp if and only if it… ▽ More Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of being unequal, similar to how inhabitedness is a positive formulation of nonemptiness. To exemplify sharpness, we note that a lower real is sharp if and only if it is located. Our first main result is that for a large class of continuous dcpos, the Bridges-Vîţǎ apartness topology and the Scott topology coincide. Although we cannot expect a tight or cotransitive apartness on nontrivial dcpos, we prove that the intrinsic apartness is both tight and cotransitive when restricted to the sharp elements of a continuous dcpo. These include the strongly maximal elements, as studied by Smyth and Heckmann. We develop the theory of strongly maximal elements highlighting its connection to sharpness and the Lawson topology. Finally, we illustrate the intrinsic apartness, sharpness and strong maximality by considering several natural examples of continuous dcpos: the Cantor and Baire domains, the partial Dedekind reals, the lower reals and finally, an embedding of Cantor space into an exponential of lifted sets. △ Less

Submitted 10 September, 2023; v1 submitted 9 June, 2021; originally announced June 2021.

Comments: v5: Revised (changed title) and published in MSCS

Journal ref: Mathematical Structures in Computer Science (2023) 1-32

Simulation-Based Optimization of User Interfaces for Quality-Assuring Machine Learning Model Predictions

Authors: Yu Zhang, Martijn Tennekes, Tim de Jong, Lyana Curier, Bob Coecke, Min Chen

Abstract: Quality-sensitive applications of machine learning (ML) require quality assurance (QA) by humans before the predictions of an ML model can be deployed. QA for ML (QA4ML) interfaces require users to view a large amount of data and perform many interactions to correct errors made by the ML model. An optimized user interface (UI) can significantly reduce interaction costs. While UI optimization can b… ▽ More Quality-sensitive applications of machine learning (ML) require quality assurance (QA) by humans before the predictions of an ML model can be deployed. QA for ML (QA4ML) interfaces require users to view a large amount of data and perform many interactions to correct errors made by the ML model. An optimized user interface (UI) can significantly reduce interaction costs. While UI optimization can be informed by user studies evaluating design options, this approach is not scalable because there are typically numerous small variations that can affect the efficiency of a QA4ML interface. Hence, we propose using simulation to evaluate and aid the optimization of QA4ML interfaces. In particular, we focus on simulating the combined effects of human intelligence in initiating appropriate interaction commands and machine intelligence in providing algorithmic assistance for accelerating QA4ML processes. As QA4ML is usually labor-intensive, we use the simulated task completion time as the metric for UI optimization under different interface and algorithm setups. We demonstrate the usage of this UI design method in several QA4ML applications. △ Less

Submitted 30 August, 2023; v1 submitted 2 April, 2021; originally announced April 2021.

Comments: Published in ACM Transactions on Interactive Intelligent Systems

Predicative Aspects of Order Theory in Univalent Foundations

Authors: Tom de Jong, Martín Hötzel Escardó

Abstract: We investigate predicative aspects of order theory in constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resizing axioms or excluded middle. Our work complements existing work on predicative mathematics by exploring what cannot be done predicatively in univalent foundations. Our first main result is that nontriv… ▽ More We investigate predicative aspects of order theory in constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resizing axioms or excluded middle. Our work complements existing work on predicative mathematics by exploring what cannot be done predicatively in univalent foundations. Our first main result is that nontrivial (directed or bounded) complete posets are necessarily large. That is, if such a nontrivial poset is small, then weak propositional resizing holds. It is possible to derive full propositional resizing if we strengthen nontriviality to positivity. The distinction between nontriviality and positivity is analogous to the distinction between nonemptiness and inhabitedness. We prove our results for a general class of posets, which includes directed complete posets, bounded complete posets and sup-lattices, using a technical notion of a $δ_{\mathcal V}$-complete poset. We also show that nontrivial locally small $δ_{\mathcal V}$-complete posets necessarily lack decidable equality. Specifically, we derive weak excluded middle from assuming a nontrivial locally small $δ_{\mathcal V}$-complete poset with decidable equality. Moreover, if we assume positivity instead of nontriviality, then we can derive full excluded middle. Secondly, we show that each of Zorn's lemma, Tarski's greatest fixed point theorem and Pataraia's lemma implies propositional resizing. Hence, these principles are inherently impredicative and a predicative development of order theory must therefore do without them. Finally, we clarify, in our predicative setting, the relation between the traditional definition of sup-lattice that requires suprema for all subsets and our definition that asks for suprema of all small families. △ Less

Submitted 21 April, 2021; v1 submitted 17 February, 2021; originally announced February 2021.

Comments: To appear in the proceedings of FSCD 2021, volume 195 of LIPIcs

Halo shapes constrained from a pure sample of central galaxies in KiDS-1000

Authors: Christos Georgiou, Henk Hoekstra, Konrad Kuijken, Maciej Bilicki, Andrej Dvornik, Thomas Erben, Benjamin Giblin, Catherine Heymans, Hendrik Hildebrandt, Jelte T. A. de Jong, Arun Kannawadi, Peter Schneider, Tim Schrabback, HuanYuan Shan, Angus H. Wright

Abstract: We present measurements of $f_h$, the ratio of the aligned components of the projected halo and galaxy ellipticities, for a sample of central galaxies using weak gravitational lensing data from the Kilo-Degree Survey (KiDS). Using a lens galaxy shape estimation that is more sensitive to outer galaxy regions, we find $f_{\rm h}=0.50\pm0.20$ for our full sample and $f_{\rm h}=0.55\pm0.19$ for an int… ▽ More We present measurements of $f_h$, the ratio of the aligned components of the projected halo and galaxy ellipticities, for a sample of central galaxies using weak gravitational lensing data from the Kilo-Degree Survey (KiDS). Using a lens galaxy shape estimation that is more sensitive to outer galaxy regions, we find $f_{\rm h}=0.50\pm0.20$ for our full sample and $f_{\rm h}=0.55\pm0.19$ for an intrinsically red (and therefore higher stellar-mass) sub-sample, rejecting the hypothesis of round halos and/or galaxies being un-aligned with their parent halo at $2.5σ$ and $2.9σ$, respectively. We quantify the 93.4% purity of our central galaxy sample using numerical simulations and overlap** spectroscopy from the Galaxy and Mass Assembly survey. This purity ensures that the interpretation of our measurements is not complicated by the presence of a significant fraction of satellite galaxies. Restricting our central galaxy ellipticity measurement to the inner isophotes, we find $f_{\rm h}=0.34\pm0.17$ for our red sub-sample, suggesting that the outer galaxy regions are more aligned with their dark matter halos compared to the inner regions. Our results are in agreement with previous studies and suggest that lower mass halos are rounder and/or less aligned with their host galaxy than samples of more massive galaxies, studied in galaxy groups and clusters. △ Less

Submitted 17 May, 2021; v1 submitted 6 February, 2021; originally announced February 2021.

Comments: Accepted for publication in A&A

Journal ref: A&A 647, A185 (2021)

Measurement Error in Meta-Analysis (MEMA) -- a Bayesian framework for continuous outcome data

Authors: Harlan Campbell, Valentijn M. T. de Jong, Lauren Maxwell, Thomas P. A. Debray, Thomas Jaenisch, Paul Gustafson

Abstract: Ideally, a meta-analysis will summarize data from several unbiased studies. Here we consider the less than ideal situation in which contributing studies may be compromised by measurement error. Measurement error affects every study design, from randomized controlled trials to retrospective observational studies. We outline a flexible Bayesian framework for continuous outcome data which allows one… ▽ More Ideally, a meta-analysis will summarize data from several unbiased studies. Here we consider the less than ideal situation in which contributing studies may be compromised by measurement error. Measurement error affects every study design, from randomized controlled trials to retrospective observational studies. We outline a flexible Bayesian framework for continuous outcome data which allows one to obtain appropriate point and interval estimates with varying degrees of prior knowledge about the magnitude of the measurement error. We also demonstrate how, if individual-participant data (IPD) are available, the Bayesian meta-analysis model can adjust for multiple participant-level covariates, measured with or without measurement error. △ Less

Submitted 17 August, 2021; v1 submitted 13 November, 2020; originally announced November 2020.

Monitoring Spatial Sustainable Development: semi-automated analysis of Satellite and Aerial Images for Energy Transition and Sustainability Indicators

Authors: Tim De Jong, Stefano Bromuri, Xi Chang, Marc Debusschere, Natalie Rosenski, Clara Schartner, Katharina Strauch, Marion Boehmer, Lyana Curier

Abstract: This report presents the results of the DeepSolaris project that was carried out under the ESS action 'Merging Geostatistics and Geospatial Information in Member States'. During the project several deep learning algorithms were evaluated to detect solar panels in remote sensing data. The aim of the project was to evaluate whether deep learning models could be developed, that worked across differen… ▽ More This report presents the results of the DeepSolaris project that was carried out under the ESS action 'Merging Geostatistics and Geospatial Information in Member States'. During the project several deep learning algorithms were evaluated to detect solar panels in remote sensing data. The aim of the project was to evaluate whether deep learning models could be developed, that worked across different member states in the European Union. Two remote sensing data sources were considered: aerial images on the one hand, and satellite images on the other. Two flavours of deep learning models were evaluated: classification models and object detection models. For the evaluation of the deep learning models we used a cross-site evaluation approach: the deep learning models where trained in one geographical area and then evaluated on a different geographical area, previously unseen by the algorithm. The cross-site evaluation was furthermore carried out twice: deep learning models trained on he Netherlands were evaluated on Germany and vice versa. While the deep learning models were able to detect solar panels successfully, false detection remained a problem. Moreover, model performance decreased dramatically when evaluated in a cross-border fashion. Hence, training a model that performs reliably across different countries in the European Union is a challenging task. That being said, the models detected quite a share of solar panels not present in current solar panel registers and therefore can already be used as-is to help reduced manual labor in checking these registers. △ Less

Submitted 12 September, 2020; originally announced September 2020.

Comments: 81 pages, 12 figures

Measuring local moiré lattice heterogeneity of twisted bilayer graphene

Authors: Tjerk Benschop, Tobias A. de Jong, Petr Stepanov, Xiaobo Lu, Vincent Stalman, Sense Jan van der Molen, Dmitri K. Efetov, Milan P. Allan

Abstract: We introduce a new method to continuously map inhomogeneities of a moiré lattice and apply it to large-area topographic images we measure on open-device twisted bilayer graphene (TBG). We show that the variation in the twist angle of a TBG device, which is frequently conjectured to be the reason for differences between devices with a supposed similar twist angle, is about 0.08° around the average… ▽ More We introduce a new method to continuously map inhomogeneities of a moiré lattice and apply it to large-area topographic images we measure on open-device twisted bilayer graphene (TBG). We show that the variation in the twist angle of a TBG device, which is frequently conjectured to be the reason for differences between devices with a supposed similar twist angle, is about 0.08° around the average of 2.02° over areas of several hundred nm, comparable to devices encapsulated between hBN slabs. We distinguish between an effective twist angle and local anisotropy and relate the latter to heterostrain. Our results imply that for our devices, twist angle heterogeneity has a roughly equal effect to the electronic structure as local strain. The method introduced here is applicable to results from different imaging techniques, and on different moiré materials. △ Less

Submitted 24 February, 2021; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: 4 figures in main text. Supporting info included

Journal ref: Phys. Rev. Research 3, 013153 (2021)

Domain Theory in Constructive and Predicative Univalent Foundations

Authors: Tom de Jong, Martín Hötzel Escardó

Abstract: We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete posets (dcpos). Here we further consider algebraic and continuous dcpos, and construct Scott's $D_\infty$ model of the untyped $λ$-calculus. A common approach t… ▽ More We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete posets (dcpos). Here we further consider algebraic and continuous dcpos, and construct Scott's $D_\infty$ model of the untyped $λ$-calculus. A common approach to deal with size issues in a predicative foundation is to work with information systems or abstract bases or formal topologies rather than dcpos, and approximable relations rather than Scott continuous functions. Here we instead accept that dcpos may be large and work with type universes to account for this. For instance, in the Scott model of PCF, the dcpos have carriers in the second universe $\mathcal{U}_1$ and suprema of directed families with indexing type in the first universe $\mathcal{U}_0$. Seeing a poset as a category in the usual way, we can say that these dcpos are large, but locally small, and have small filtered colimits. In the case of algebraic dcpos, in order to deal with size issues, we proceed mimicking the definition of accessible category. With such a definition, our construction of Scott's $D_\infty$ again gives a large, locally small, algebraic dcpo with small directed suprema. △ Less

Submitted 15 June, 2022; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: A shorter version of this paper has appeared in the proceedings of CSL 2021, volume 183 of LIPIcs. doi: 10.4230/LIPIcs.CSL.2021.28. v4: Fixed some typos

KiDS-1000 catalogue: Redshift distributions and their calibration

Authors: H. Hildebrandt, J. L. van den Busch, A. H. Wright, C. Blake, B. Joachimi, K. Kuijken, T. Tröster, M. Asgari, M. Bilicki, J. T. A. de Jong, A. Dvornik, T. Erben, F. Getman, B. Giblin, C. Heymans, A. Kannawadi, C. -A. Lin, H. -Y. Shan

Abstract: We present redshift distribution estimates of galaxies selected from the fourth data release of the Kilo-Degree Survey over an area of $\sim1000$ deg$^2$ (KiDS-1000). These redshift distributions represent one of the crucial ingredients for weak gravitational lensing measurements with the KiDS-1000 data. The primary estimate is based on deep spectroscopic reference catalogues that are re-weighted… ▽ More We present redshift distribution estimates of galaxies selected from the fourth data release of the Kilo-Degree Survey over an area of $\sim1000$ deg$^2$ (KiDS-1000). These redshift distributions represent one of the crucial ingredients for weak gravitational lensing measurements with the KiDS-1000 data. The primary estimate is based on deep spectroscopic reference catalogues that are re-weighted with the help of a self-organising map (SOM) to closely resemble the KiDS-1000 sources, split into five tomographic redshift bins in the photometric redshift range $0.1<z_\mathrm{B}\le1.2$. Sources are selected such that they only occupy that volume of nine-dimensional magnitude-space that is also covered by the reference samples (`gold' selection). Residual biases in the mean redshifts determined from this calibration are estimated from mock catalogues to be $\lesssim0.01$ for all five bins with uncertainties of $\sim 0.01$. This primary SOM estimate of the KiDS-1000 redshift distributions is complemented with an independent clustering redshift approach. After validation of the clustering-$z$ on the same mock catalogues and a careful assessment of systematic errors, we find no significant bias of the SOM redshift distributions with respect to the clustering-$z$ measurements. The SOM redshift distributions re-calibrated by the clustering-$z$ represent an alternative calibration of the redshift distributions with only slightly larger uncertainties in the mean redshifts of $\sim 0.01-0.02$ to be used in KiDS-1000 cosmological weak lensing analyses. As this includes the SOM uncertainty, clustering-$z$ are shown to be fully competitive on KiDS-1000 data. △ Less

Submitted 28 January, 2021; v1 submitted 30 July, 2020; originally announced July 2020.

Comments: 15 pages, 7 figures, 3 tables, accepted for publication in A&A. This paper is part of the KiDS-1000 series of papers, accompanying Heymans, Tröster et al. (arXiv:2007.15632), Asgari et al. (arXiv:2007.15633), Joachimi et al. (arXiv:2007.01844), and Giblin et al. (arXiv:2007.01845). Online KiDS-1000 talks and seminars can be viewed at http://kids.strw.leidenuniv.nl/KiDS-1000.php

Journal ref: A&A 647, A124 (2021)

Sensitive capacitive pressure sensors based on graphene membrane arrays

Authors: Makars Šiškins, Martin Lee, Dominique Wehenkel, Richard van Rijn, Tijmen W. de Jong, Johannes R. Renshof, Berend C. Hopman, Willemijn S. J. M. Peters, Dejan Davidovikj, Herre S. J. van der Zant, Peter G. Steeneken

Abstract: The high flexibility, impermeability and strength of graphene membranes are key properties that can enable the next generation of nanomechanical sensors. However, for capacitive pressure sensors the sensitivity offered by a single suspended graphene membrane is too small to compete with commercial sensors. Here, we realize highly sensitive capacitive pressure sensors consisting of arrays of nearly… ▽ More The high flexibility, impermeability and strength of graphene membranes are key properties that can enable the next generation of nanomechanical sensors. However, for capacitive pressure sensors the sensitivity offered by a single suspended graphene membrane is too small to compete with commercial sensors. Here, we realize highly sensitive capacitive pressure sensors consisting of arrays of nearly ten thousand small, freestanding double-layer graphene membranes. We fabricate large arrays of small diameter membranes using a procedure that maintains the superior material and mechanical properties of graphene, even after high-temperature anneals. These sensors are readout using a low cost battery-powered circuit board, with a responsivity of up to 47.8 aF Pa$^{-1}$ mm$^{-2}$, thereby outperforming commercial sensors. △ Less

Submitted 19 March, 2020; originally announced March 2020.

Direct evidence for flat bands in twisted bilayer graphene from nano-ARPES

Authors: Simone Lisi, Xiaobo Lu, Tjerk Benschop, Tobias A. de Jong, Petr Stepanov, Jose R. Duran, Florian Margot, Irène Cucchi, Edoardo Cappelli, Andrew Hunter, Anna Tamai, Viktor Kandyba, Alessio Giampietri, Alexei Barinov, Johannes Jobst, Vincent Stalman, Maarten Leeuwenhoek, Kenji Watanabe, Takashi Taniguchi, Louk Rademaker, Sense Jan van der Molen, Milan Allan, Dmitri K. Efetov, Felix Baumberger

Abstract: Transport experiments in twisted bilayer graphene revealed multiple superconducting domes separated by correlated insulating states. These properties are generally associated with strongly correlated states in a flat mini-band of the hexagonal moiré superlattice as it was predicted by band structure calculations. Evidence for such a flat band comes from local tunneling spectroscopy and electronic… ▽ More Transport experiments in twisted bilayer graphene revealed multiple superconducting domes separated by correlated insulating states. These properties are generally associated with strongly correlated states in a flat mini-band of the hexagonal moiré superlattice as it was predicted by band structure calculations. Evidence for such a flat band comes from local tunneling spectroscopy and electronic compressibility measurements, reporting two or more sharp peaks in the density of states that may be associated with closely spaced van Hove singularities. Direct momentum resolved measurements proved difficult though. Here, we combine different imaging techniques and angle resolved photoemission with simultaneous real and momentum space resolution (nano-ARPES) to directly map the band dispersion in twisted bilayer graphene devices near charge neutrality. Our experiments reveal large areas with homogeneous twist angle that support a flat band with spectral weight that is highly localized in momentum space. The flat band is separated from the dispersive Dirac bands which show multiple moiré hybridization gaps. These data establish the salient features of the twisted bilayer graphene band structure. △ Less

Submitted 6 February, 2020; originally announced February 2020.

Comments: Submitted to Nature Materials. Nat. Phys. (2020)

Calibration of ground based survey data using Gaia: Application to DES

Authors: Koshy George, Thomas Vassallo, Joseph Mohr, Mohammad Mirkazemi, Holger Israel, Jelte T. A. de Jong, Gijs A. Verdoes Kleijn

Abstract: The calibration of ground based optical imaging data to photometric accuracy of 10 mmag over the full survey area and to color uniformity better than 5 mmag on the scale of the VIS focal plane is a key science requirement for the Euclid mission. These accuracies enable stable photometric redshifts of galaxies and modeling of the color dependent VIS PSF for weak lensing studies. We use the Gaia pho… ▽ More The calibration of ground based optical imaging data to photometric accuracy of 10 mmag over the full survey area and to color uniformity better than 5 mmag on the scale of the VIS focal plane is a key science requirement for the Euclid mission. These accuracies enable stable photometric redshifts of galaxies and modeling of the color dependent VIS PSF for weak lensing studies. We use the Gaia photometry to calibrate the $g/r/i/z$ magnitudes of Dark Energy Survey (DES) data to meet the stringent Euclid requirements. The Gaia G band magnitude along with the BP-RP color information of stars observed in the DES single epoch (SE) exposures are used to derive the transformation from Gaia to DES photometry for individual CCDs and to characterize persistent photometric errors across the DECam focal plane. We use the color dependence of these persistent errors to characterize the $g/r/i/z$ bandpass variations across the DECam focal plane. △ Less

Submitted 12 January, 2020; originally announced January 2020.

Comments: To appear in proceedings of ADASS XXIX, ASP Conf. Series

Fungal tip growth arising through a codimension-1 global bifurcation

Authors: T. G. de Jong, A. E. Sterk, H. W. Broer

Abstract: Tip growth is a growth stage which occurs in fungal cells. During tip growth, the cell exhibits continuous extreme lengthwise growth while its shape remains qualitatively the same. A model for single celled fungal tip growth is given by the Ballistic Ageing Thin viscous Sheet (BATS) model, which consists of a 5-dimensional system of first order differential equations. The solutions of the BATS mod… ▽ More Tip growth is a growth stage which occurs in fungal cells. During tip growth, the cell exhibits continuous extreme lengthwise growth while its shape remains qualitatively the same. A model for single celled fungal tip growth is given by the Ballistic Ageing Thin viscous Sheet (BATS) model, which consists of a 5-dimensional system of first order differential equations. The solutions of the BATS model that correspond to fungal tip growth arise through a codimension-1 global bifurcation in a 2-parameter family of solutions. In this paper we derive a toy model from the BATS model. The toy model is given by 2-dimensional system of first order differential equations which depend on a single parameter. The main achievement of this paper is a proof that the toy model exhibits an analogue of the codimension-1 global bifurcation in the BATS model. An important ingredient of the proof is a topological method which enables the identification of the bifurcation points. Finally, we discuss how the proof may be generalized to the BATS model. △ Less

Submitted 12 September, 2019; originally announced September 2019.

MSC Class: 37G99; 37N25

Quantitative analysis of spectroscopic Low Energy Electron Microscopy data: High-dynamic range imaging, drift correction and cluster analysis

Authors: Tobias A. de Jong, David N. L. Kok, Alexander J. H. van der Torren, Henrik Schopmans, Rudolf M. Tromp, Sense Jan van der Molen, Johannes Jobst

Abstract: For many complex materials systems, low-energy electron microscopy (LEEM) offers detailed insights into morphology and crystallography by naturally combining real-space and reciprocal-space information. Its unique strength, however, is that all measurements can easily be performed energy-dependently. Consequently, one should treat LEEM measurements as multi-dimensional, spectroscopic datasets rath… ▽ More For many complex materials systems, low-energy electron microscopy (LEEM) offers detailed insights into morphology and crystallography by naturally combining real-space and reciprocal-space information. Its unique strength, however, is that all measurements can easily be performed energy-dependently. Consequently, one should treat LEEM measurements as multi-dimensional, spectroscopic datasets rather than as images to fully harvest this potential. Here we describe a measurement and data analysis approach to obtain such quantitative spectroscopic LEEM datasets with high lateral resolution. The employed detector correction and adjustment techniques enable measurement of true reflectivity values over four orders of magnitudes of intensity. Moreover, we show a drift correction algorithm, tailored for LEEM datasets with inverting contrast, that yields sub-pixel accuracy without special computational demands. Finally, we apply dimension reduction techniques to summarize the key spectroscopic features of datasets with hundreds of images into two single images that can easily be presented and interpreted intuitively. We use cluster analysis to automatically identify different materials within the field of view and to calculate average spectra per material. We demonstrate these methods by analyzing bright-field and dark-field datasets of few-layer graphene grown on silicon carbide and provide a high-performance Python implementation. △ Less

Submitted 31 July, 2019; originally announced July 2019.

Journal ref: Ultramicroscopy 213 (2020): 112913

KiDS-SQuaD II: Machine learning selection of bright extragalactic objects to search for new gravitationally lensed quasars

Authors: Vladislav Khramtsov, Alexey Sergeyev, Chiara Spiniello, Crescenzo Tortora, Nicola R. Napolitano, Adriano Agnello, Fedor Getman, Jelte T. A. de Jong, Konrad Kuijken, Mario Radovich, HuanYuan Shan, Valery Shulga

Abstract: The KiDS Strongly lensed QUAsar Detection project (KiDS-SQuaD) aims at finding as many previously undiscovered gravitational lensed quasars as possible in the Kilo Degree Survey. This is the second paper of this series where we present a new, automatic object classification method based on machine learning technique. The main goal of this paper is to build a catalogue of bright extragalactic objec… ▽ More The KiDS Strongly lensed QUAsar Detection project (KiDS-SQuaD) aims at finding as many previously undiscovered gravitational lensed quasars as possible in the Kilo Degree Survey. This is the second paper of this series where we present a new, automatic object classification method based on machine learning technique. The main goal of this paper is to build a catalogue of bright extragalactic objects (galaxies and quasars), from the KiDS Data Release 4, with a minimum stellar contamination, preserving the completeness as much as possible, to then apply morphological methods to select reliable gravitationally lensed (GL) quasar candidates. After testing some of the most used machine learning algorithms, decision trees based classifiers, we decided to use CatBoost, that was specifically trained with the aim of creating a sample of extragalactic sources as clean as possible from stars. We discuss the input data, define the training sample for the classifier, give quantitative estimates of its performances, and finally describe the validation results with Gaia DR2, AllWISE, and GAMA catalogues. We have built and make available to the scientific community the KiDS Bright EXtraGalactic Objects catalogue (KiDS-BEXGO), specifically created to find gravitational lenses. This is made of $\approx6$ millions of sources classified as quasars ($\approx 200\,000$) and galaxies ($\approx 5.7$M), up to $r<22^m$. From this catalog we selected 'Multiplets': close pairs of quasars or galaxies surrounded by at least one quasar, presenting the 12 most reliable gravitationally lensed quasar candidates, to demonstrate the potential of the catalogue, which will be further explored in a forthcoming paper. We compared our search to the previous one, presented in the first paper from this series, showing that employing a machine learning method decreases the stars-contaminators within the GL candidates. △ Less

Submitted 7 June, 2019; v1 submitted 4 June, 2019; originally announced June 2019.

Comments: Submitted to Astronomy and Astrophysics, 19 pages, 12 figures, 4 tables

Journal ref: A&A 632, A56 (2019)

The Sierpinski Object in the Scott Realizability Topos

Authors: Tom de Jong, Jaap van Oosten

Abstract: We study the Sierpinski object $Σ$ in the realizability topos based on Scott's graph model of the $λ$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $Σ^N$, where $N$ is the natural numbers object. We define order-discrete objects by orthogonality to $Σ$. We show that the order-discrete objects form a reflective subcategory of the topos, and that… ▽ More We study the Sierpinski object $Σ$ in the realizability topos based on Scott's graph model of the $λ$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $Σ^N$, where $N$ is the natural numbers object. We define order-discrete objects by orthogonality to $Σ$. We show that the order-discrete objects form a reflective subcategory of the topos, and that many fundamental objects in higher-type arithmetic are order-discrete. Building on work by Lietz, we give some new results regarding the internal logic of the topos. Then we consider $Σ$ as a dominance; we explicitly construct the lift functor and characterize $Σ$-subobjects. Contrary to our expectations the dominance $Σ$ is not closed under unions. In the last section we build a model for homotopy theory, where the order-discrete objects are exactly those objects which only have constant paths. △ Less

Submitted 19 August, 2020; v1 submitted 30 April, 2019; originally announced April 2019.

MSC Class: 68Q05; 18B25

Journal ref: Logical Methods in Computer Science, Volume 16, Issue 3 (August 20, 2020) lmcs:5416

The Scott model of PCF in univalent type theory

Authors: Tom de Jong

Abstract: We develop the Scott model of the programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for the non-termination in PCF, we use the lifting monad (also known as the partial map classifier monad) from topos theory, which has been extended to univalent type theory by Escardó and Knapp. Our results show that lifting is a viable approach to pa… ▽ More We develop the Scott model of the programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for the non-termination in PCF, we use the lifting monad (also known as the partial map classifier monad) from topos theory, which has been extended to univalent type theory by Escardó and Knapp. Our results show that lifting is a viable approach to partiality in univalent type theory. Moreover, we show that the Scott model can be constructed in a predicative and constructive setting. Other approaches to partiality either require some form of choice or quotient inductive-inductive types. We show that one can do without these extensions. △ Less

Submitted 23 June, 2021; v1 submitted 22 April, 2019; originally announced April 2019.

Comments: Revised after review process

Modeling fungal hypha tip growth via viscous sheet approximation

Authors: Thomas de Jong, Josephus Hulshof, Georg Prokert

Abstract: In this paper we present a new model for single-celled, non-branching hypha tip growth. The growth mechanism of hypha cells consists of transport of cell wall building material to the cell wall and subsequent incorporation of this material in the wall as it arrives. To model the transport of cell wall building material to the cell wall we follow Bartnicki-Garcia et al in assuming that the cell wal… ▽ More In this paper we present a new model for single-celled, non-branching hypha tip growth. The growth mechanism of hypha cells consists of transport of cell wall building material to the cell wall and subsequent incorporation of this material in the wall as it arrives. To model the transport of cell wall building material to the cell wall we follow Bartnicki-Garcia et al in assuming that the cell wall building material is transported in straight lines by an isotropic point source. To model the dynamics of the cell wall, including its growth by new material, we use the approach of Campas and Mahadevan, which assumes that the cell wall is a thin viscous sheet sustained by a pressure difference. Furthermore, we include a novel equation which models the hardening of the cell wall as it ages. We present numerical results which give evidence that our model can describe tip growth, and briefly discuss validation aspects. △ Less

Submitted 8 March, 2019; originally announced March 2019.

MSC Class: 92C10; 76Z99

The fourth data release of the Kilo-Degree Survey: ugri imaging and nine-band optical-IR photometry over 1000 square degrees

Authors: K. Kuijken, C. Heymans, A. Dvornik, H. Hildebrandt, J. T. A. de Jong, A. H. Wright, T. Erben, M. Bilicki, B. Giblin, H. -Y. Shan, F. Getman, A. Grado, H. Hoekstra, L. Miller, N. Napolitano, M. Paolilo, M. Radovich, P. Schneider, W. Sutherland, M. Tewes, C. Tortora, E. A. Valentijn, G. A. Verdoes Kleijn

Abstract: The Kilo-Degree Survey (KiDS) is an ongoing optical wide-field imaging survey with the OmegaCAM camera at the VLT Survey Telescope, specifically designed for measuring weak gravitational lensing by galaxies and large-scale structure. When completed it will consist of 1350 square degrees imaged in four filters (ugri). Here we present the fourth public data release which more than doubles the area o… ▽ More The Kilo-Degree Survey (KiDS) is an ongoing optical wide-field imaging survey with the OmegaCAM camera at the VLT Survey Telescope, specifically designed for measuring weak gravitational lensing by galaxies and large-scale structure. When completed it will consist of 1350 square degrees imaged in four filters (ugri). Here we present the fourth public data release which more than doubles the area of sky covered by data release 3. We also include aperture-matched ZYJHKs photometry from our partner VIKING survey on the VISTA telescope in the photometry catalogue. We illustrate the data quality and describe the catalogue content. Two dedicated pipelines are used for the production of the optical data. The Astro-WISE information system is used for the production of co-added images in the four survey bands, while a separate reduction of the r-band images using the theli pipeline is used to provide a source catalogue suitable for the core weak lensing science case. All data have been re-reduced for this data release using the latest versions of the pipelines. The VIKING photometry is obtained as forced photometry on the theli sources, using a re-reduction of the VIKING data that starts from the VISTA pawprints. Modifications to the pipelines with respect to earlier releases are described in detail. The photometry is calibrated to the Gaia DR2 G band using stellar locus regression. In this data release a total of 1006 square-degree survey tiles with stacked ugri images are made available, accompanied by weight maps, masks, and single-band source lists. We also provide a multi-band catalogue based on r-band detections, including homogenized photometry and photometric redshifts, for the whole dataset. Mean limiting magnitudes (5 sigma in a 2" aperture) are 24.23, 25.12, 25.02, 23.68 in ugri, respectively, and the mean r-band seeing is 0.70". △ Less

Submitted 27 March, 2019; v1 submitted 28 February, 2019; originally announced February 2019.

Comments: 25 pages, accepted for publication in Astronomy and Astrophysics. For access to the images and catalogues see http://kids.strw.leidenuniv.nl/DR4/

Journal ref: A&A 625, A2 (2019)

KiDS+VIKING-450: A new combined optical & near-IR dataset for cosmology and astrophysics

Authors: Angus H. Wright, Hendrik Hildebrandt, Konrad Kuijken, Thomas Erben, Robert Blake, Hugo Buddelmeijer, Ami Choi, Nicholas Cross, Jelte T. A. de Jong, Alastair Edge, Carlos Gonzalez-Fernandez, Eduardo González Solares, Aniello Grado, Catherine Heymans, Mike Irwin, Aybuke Kupcu Yoldas, James R. Lewis, Robert G. Mann, Nicola Napolitano, Mario Radovich, Peter Schneider, Cristóbal Sifón, William Sutherland, Eckhard Sutorius, Gijs A. Verdoes Kleijn

Abstract: We present the curation and verification of a new combined optical and near infrared dataset for cosmology and astrophysics, derived from the combination of $ugri$-band imaging from the Kilo Degree Survey (KiDS) and $ZY\!J\!H\!K_{\rm s}$-band imaging from the VISTA Kilo degree Infrared Galaxy (VIKING) survey. This dataset is unrivaled in cosmological imaging surveys due to its combination of area… ▽ More We present the curation and verification of a new combined optical and near infrared dataset for cosmology and astrophysics, derived from the combination of $ugri$-band imaging from the Kilo Degree Survey (KiDS) and $ZY\!J\!H\!K_{\rm s}$-band imaging from the VISTA Kilo degree Infrared Galaxy (VIKING) survey. This dataset is unrivaled in cosmological imaging surveys due to its combination of area ($458$ deg$^2$ before masking), depth ($r\le25$), and wavelength coverage ($ugriZY\!J\!H\!K_{\rm s}$). The combination of survey depth, area, and (most importantly) wavelength coverage allows significant reductions in systematic uncertainties (i.e. reductions of between 10 and 60\% in bias, outlier rate, and scatter) in photometric-to-spectroscopic redshift comparisons, compared to the optical-only case at photo-$z$ above $0.7$. The complementarity between our optical and NIR surveys means that over $80\%$ of our sources, across all photo-$z$, have significant detections (i.e. not upper limits) in our $8$ reddest bands. We derive photometry, photo-$z$, and stellar masses for all sources in the survey, and verify these data products against existing spectroscopic galaxy samples. We demonstrate the fidelity of our higher-level data products by constructing the survey stellar mass functions in 8 volume-complete redshift bins. We find that these photometrically derived mass functions provide excellent agreement with previous mass evolution studies derived using spectroscopic surveys. The primary data products presented in this paper are publicly available at http://kids.strw.leidenuniv.nl/. △ Less

Submitted 2 September, 2019; v1 submitted 14 December, 2018; originally announced December 2018.

Comments: 18 pages, 14 figures, accepted for publication in A&A, data presented are publicly available at http://kids.strw.leidenuniv.nl/

Journal ref: A&A 632, A34 (2019)

KiDS+VIKING-450: Cosmic shear tomography with optical+infrared data

Authors: H. Hildebrandt, F. Köhlinger, J. L. van den Busch, B. Joachimi, C. Heymans, A. Kannawadi, A. H. Wright, M. Asgari, C. Blake, H. Hoekstra, S. Joudaki, K. Kuijken, L. Miller, C. B. Morrison, T. Tröster, A. Amon, M. Archidiacono, S. Brieden, A. Choi, J. T. A. de Jong, T. Erben, B. Giblin, A. Mead, J. A. Peacock, M. Radovich , et al. (3 additional authors not shown)

Abstract: We present a tomographic cosmic shear analysis of the Kilo-Degree Survey (KiDS) combined with the VISTA Kilo-Degree Infrared Galaxy Survey (VIKING). This is the first time that a full optical to near-infrared data set has been used for a wide-field cosmological weak lensing experiment. This unprecedented data, spanning $450~$deg$^2$, allows us to improve significantly the estimation of photometric… ▽ More We present a tomographic cosmic shear analysis of the Kilo-Degree Survey (KiDS) combined with the VISTA Kilo-Degree Infrared Galaxy Survey (VIKING). This is the first time that a full optical to near-infrared data set has been used for a wide-field cosmological weak lensing experiment. This unprecedented data, spanning $450~$deg$^2$, allows us to improve significantly the estimation of photometric redshifts, such that we are able to include robustly higher-redshift sources for the lensing measurement, and - most importantly - solidify our knowledge of the redshift distributions of the sources. Based on a flat $Λ$CDM model we find $S_8\equivσ_8\sqrt{Ω_{\rm m}/0.3}=0.737_{-0.036}^{+0.040}$ in a blind analysis from cosmic shear alone. The tension between KiDS cosmic shear and the Planck-Legacy CMB measurements remains in this systematically more robust analysis, with $S_8$ differing by $2.3σ$. This result is insensitive to changes in the priors on nuisance parameters for intrinsic alignment, baryon feedback, and neutrino mass. KiDS shear measurements are calibrated with a new, more realistic set of image simulations and no significant B-modes are detected in the survey, indicating that systematic errors are under control. When calibrating our redshift distributions by assuming the 30-band COSMOS-2015 photometric redshifts are correct (following the Dark Energy Survey and the Hyper Suprime-Cam Survey), we find the tension with Planck is alleviated. The robust determination of source redshift distributions remains one of the most challenging aspects for future cosmic shear surveys. △ Less

Submitted 18 November, 2019; v1 submitted 14 December, 2018; originally announced December 2018.

Comments: 31 pages, 14 figures, accepted for publication by A&A; data products available at http://kids.strw.leidenuniv.nl

Journal ref: A&A 633, A69 (2020)

LinKS: Discovering galaxy-scale strong lenses in the Kilo-Degree Survey using Convolutional Neural Networks

Authors: C. E. Petrillo, C. Tortora, G. Vernardos, L. V. E. Koopmans, G. Verdoes Kleijn, M. Bilicki, N. R. Napolitano, S. Chatterjee, G. Covone, A. Dvornik, T. Erben, F. Getman, B. Giblin, C. Heymans, J. T. A. de Jong, K. Kuijken, P. Schneider, H. Shan, C. Spiniello, A. H. Wright

Abstract: We present a new sample of galaxy-scale strong gravitational-lens candidates, selected from 904 square degrees of Data Release 4 of the Kilo-Degree Survey (KiDS), i.e., the "Lenses in the Kilo-Degree Survey" (LinKS) sample. We apply two Convolutional Neural Networks (ConvNets) to $\sim88\,000$ colour-magnitude selected luminous red galaxies yielding a list of 3500 strong-lens candidates. This list… ▽ More We present a new sample of galaxy-scale strong gravitational-lens candidates, selected from 904 square degrees of Data Release 4 of the Kilo-Degree Survey (KiDS), i.e., the "Lenses in the Kilo-Degree Survey" (LinKS) sample. We apply two Convolutional Neural Networks (ConvNets) to $\sim88\,000$ colour-magnitude selected luminous red galaxies yielding a list of 3500 strong-lens candidates. This list is further down-selected via human inspection. The resulting LinKS sample is composed of 1983 rank-ordered targets classified as "potential lens candidates" by at least one inspector. Of these, a high-grade subsample of 89 targets is identified with potential strong lenses by all inspectors. Additionally, we present a collection of another 200 strong lens candidates discovered serendipitously from various previous ConvNet runs. A straightforward application of our procedure to future Euclid or LSST data can select a sample of $\sim3000$ lens candidates with less than 10 per cent expected false positives and requiring minimal human intervention. △ Less

Submitted 16 January, 2019; v1 submitted 7 December, 2018; originally announced December 2018.

Comments: 19 pages, 11 figures, accepted for publication in MNRAS

Resistive evolution of toroidal field configurations and their relation to magnetic clouds

Authors: Christopher B. Smiet, Hugo J. de Blank, Tobias A. de Jong, David N. L. Kok, Dirk Bouwmeester

Abstract: We study the resistive evolution of a localized self-organizing magnetohydrodynamic equilibrium. In this configuration the magnetic forces are balanced by a pressure force caused by a toroidal depression in the pressure. Equilibrium is attained when this low pressure region prevents further expansion into the higher-pressure external plasma. We find that, for the parameters investigated, the resis… ▽ More We study the resistive evolution of a localized self-organizing magnetohydrodynamic equilibrium. In this configuration the magnetic forces are balanced by a pressure force caused by a toroidal depression in the pressure. Equilibrium is attained when this low pressure region prevents further expansion into the higher-pressure external plasma. We find that, for the parameters investigated, the resistive evolution of the structures follows a universal pattern when rescaled to resistive time. The finite resistivity causes both a decrease in the magnetic field strength and a finite slip of the plasma fluid against the static equilibrium. This slip is caused by a Pfirsch-Schlüter type diffusion, similar to what is seen in tokamak equilibria. The net effect is that the configuration remains in Magnetostatic equilibrium whilst it slowly grows in size. The rotational transform of the structure becomes nearly constant throughout the entire structure, and decreases according to a power law. In simulations this equilibrium is observed when highly tangled field lines relax in a high-pressure (relative to the magnetic field strength) environment, a situation that occurs when the twisted field of a coronal loop is ejected into the interplanetary solar wind. In this paper we relate this localized MHD equilibrium to magnetic clouds in the solar wind. △ Less

Submitted 3 December, 2018; originally announced December 2018.

Comments: accepted for publication in Journal of Plasma Physics

Statistical analysis of probability density functions for photometric redshifts through the KiDS-ESO-DR3 galaxies

Authors: Valeria Amaro, Stefano Cavuoti, Massimo Brescia, Civita Vellucci, Giuseppe Longo, Maciej Bilicki, Jelte T. A. de Jong, Crescenzo Tortora, Mario Radovich, Nicola R. Napolitano, Hugo Buddelmeijer

Abstract: Despite the high accuracy of photometric redshifts (zphot) derived using Machine Learning (ML) methods, the quantification of errors through reliable and accurate Probability Density Functions (PDFs) is still an open problem. First, because it is difficult to accurately assess the contribution from different sources of errors, namely internal to the method itself and from the photometric features… ▽ More Despite the high accuracy of photometric redshifts (zphot) derived using Machine Learning (ML) methods, the quantification of errors through reliable and accurate Probability Density Functions (PDFs) is still an open problem. First, because it is difficult to accurately assess the contribution from different sources of errors, namely internal to the method itself and from the photometric features defining the available parameter space. Second, because the problem of defining a robust statistical method, always able to quantify and qualify the PDF estimation validity, is still an open issue. We present a comparison among PDFs obtained using three different methods on the same data set: two ML techniques, METAPHOR (Machine-learning Estimation Tool for Accurate PHOtometric Redshifts) and ANNz2, plus the spectral energy distribution template fitting method, BPZ. The photometric data were extracted from the KiDS (Kilo Degree Survey) ESO Data Release 3, while the spectroscopy was obtained from the GAMA (Galaxy and Mass Assembly) Data Release 2. The statistical evaluation of both individual and stacked PDFs was done through quantitative and qualitative estimators, including a dummy PDF, useful to verify whether different statistical estimators can correctly assess PDF quality. We conclude that, in order to quantify the reliability and accuracy of any zphot PDF method, a combined set of statistical estimators is required. △ Less

Submitted 23 October, 2018; originally announced October 2018.

Comments: Accepted for publication by MNRAS, 20 pages, 14 figures

Monitoring spatial sustainable development: Semi-automated analysis of satellite and aerial images for energy transition and sustainability indicators

Authors: R. L. Curier, T. J. A. De Jong, Katharina Strauch, Katharina Cramer, Natalie Rosenski, Clara Schartner, M. Debusschere, Hannah Ziemons, Deniz Iren, Stefano Bromuri

Abstract: Solar panels are installed by a large and growing number of households due to the convenience of having cheap and renewable energy to power house appliances. In contrast to other energy sources solar installations are distributed very decentralized and spread over hundred-thousands of locations. On a global level more than 25% of solar photovoltaic (PV) installations were decentralized. The effect… ▽ More Solar panels are installed by a large and growing number of households due to the convenience of having cheap and renewable energy to power house appliances. In contrast to other energy sources solar installations are distributed very decentralized and spread over hundred-thousands of locations. On a global level more than 25% of solar photovoltaic (PV) installations were decentralized. The effect of the quick energy transition from a carbon based economy to a green economy is though still very difficult to quantify. As a matter of fact the quick adoption of solar panels by households is difficult to track, with local registries that miss a large number of the newly built solar panels. This makes the task of assessing the impact of renewable energies an impossible task. Although models of the output of a region exist, they are often black box estimations. This project's aim is twofold: First automate the process to extract the location of solar panels from aerial or satellite images and second, produce a map of solar panels along with statistics on the number of solar panels. Further, this project takes place in a wider framework which investigates how official statistics can benefit from new digital data sources. At project completion, a method for detecting solar panels from aerial images via machine learning will be developed and the methodology initially developed for BE, DE and NL will be standardized for application to other EU countries. In practice, machine learning techniques are used to identify solar panels in satellite and aerial images for the province of Limburg (NL), Flanders (BE) and North Rhine-Westphalia (DE). △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: This document provides the reader with an overview of the various datasets which will be used throughout the project. The collection of satellite and aerial images as well as auxiliary information such as the location of buildings and roofs which is required to train, test and validate the machine learning algorithm that is being developed

MSC Class: 00-02