-
Exact discovery is polynomial for sparse causal Bayesian networks
Authors:
Felix L. Rios,
Giusi Moffa,
Jack Kuipers
Abstract:
Causal Bayesian networks are widely used tools for summarising the dependencies between variables and elucidating their putative causal relationships. Learning networks from data is computationally hard in general. The current state-of-the-art approaches for exact causal discovery are integer linear programming over the underlying space of directed acyclic graphs, dynamic programming and shortest-…
▽ More
Causal Bayesian networks are widely used tools for summarising the dependencies between variables and elucidating their putative causal relationships. Learning networks from data is computationally hard in general. The current state-of-the-art approaches for exact causal discovery are integer linear programming over the underlying space of directed acyclic graphs, dynamic programming and shortest-path searches over the space of topological orders, and constraint programming combining both. For dynamic programming over orders, the computational complexity is known to be exponential base 2 in the number of variables in the network. We demonstrate how to use properties of Bayesian networks to prune the search space and lower the computational cost, while still guaranteeing exact discovery. When including new path-search and divide-and-conquer criteria, we prove optimality in quadratic time for matchings, and polynomial time for any network class with logarithmically-bound largest connected components. In simulation studies we observe the polynomial dependence for sparse networks and that, beyond some critical value, the logarithm of the base grows with the network density. Our approach then out-competes the state-of-the-art at lower densities. These results therefore pave the way for faster exact causal discovery in larger and sparser networks.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
QuIP: A P4 Quantum Internet Protocol Prototy** Framework
Authors:
Wojciech Kozlowski,
Fernando A. Kuipers,
Rob Smets,
Belma Turkovic
Abstract:
Quantum entanglement is so fundamentally different from a network packet that several quantum network stacks have been proposed; one of which has even been experimentally demonstrated. Several simulators have also been developed to make up for limited hardware availability, and which facilitate the design and evaluation of quantum network protocols. However, the lack of shared tooling and communit…
▽ More
Quantum entanglement is so fundamentally different from a network packet that several quantum network stacks have been proposed; one of which has even been experimentally demonstrated. Several simulators have also been developed to make up for limited hardware availability, and which facilitate the design and evaluation of quantum network protocols. However, the lack of shared tooling and community-agreed node architectures has resulted in protocol implementations that are tightly coupled to their simulators. Besides limiting their reusability between different simulators, it also makes building upon prior results and simulations difficult. To address this problem, we have developed QuIP: a P4-based Quantum Internet Protocol prototy** framework for quantum network protocol design. QuIP is a framework for designing and implementing quantum network protocols in a platform-agnostic fashion. It achieves this by providing the means to flexibly, but rigorously, define device architectures against which quantum network protocols can be implemented in the network programming language P4$_{16}$. QuIP also comes with the necessary tooling to enable their execution in existing quantum network simulators. We demonstrate its use by showcasing V1Quantum, a completely new device architecture, implementing a link- and network-layer protocol, and simulating it in the existing simulator NetSquid.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Verifiably Robust Conformal Prediction
Authors:
Linus Jeary,
Tom Kuipers,
Mehran Hosseini,
Nicola Paoletti
Abstract:
Conformal Prediction (CP) is a popular uncertainty quantification method that provides distribution-free, statistically valid prediction sets, assuming that training and test data are exchangeable. In such a case, CP's prediction sets are guaranteed to cover the (unknown) true test output with a user-specified probability. Nevertheless, this guarantee is violated when the data is subjected to adve…
▽ More
Conformal Prediction (CP) is a popular uncertainty quantification method that provides distribution-free, statistically valid prediction sets, assuming that training and test data are exchangeable. In such a case, CP's prediction sets are guaranteed to cover the (unknown) true test output with a user-specified probability. Nevertheless, this guarantee is violated when the data is subjected to adversarial attacks, which often result in a significant loss of coverage. Recently, several approaches have been put forward to recover CP guarantees in this setting. These approaches leverage variations of randomised smoothing to produce conservative sets which account for the effect of the adversarial perturbations. They are, however, limited in that they only support $\ell^2$-bounded perturbations and classification tasks. This paper introduces VRCP (Verifiably Robust Conformal Prediction), a new framework that leverages recent neural network verification methods to recover coverage guarantees under adversarial attacks. Our VRCP method is the first to support perturbations bounded by arbitrary norms including $\ell^1$, $\ell^2$, and $\ell^\infty$, as well as regression tasks. We evaluate and compare our approach on image classification tasks (CIFAR10, CIFAR100, and TinyImageNet) and regression tasks for deep reinforcement learning environments. In every case, VRCP achieves above nominal coverage and yields significantly more efficient and informative prediction regions than the SotA.
△ Less
Submitted 6 June, 2024; v1 submitted 29 May, 2024;
originally announced May 2024.
-
A new way to evaluate G-Wishart normalising constants via Fourier analysis
Authors:
Ching Wong,
Giusi Moffa,
Jack Kuipers
Abstract:
The G-Wishart distribution is an essential component for the Bayesian analysis of Gaussian graphical models as the conjugate prior for the precision matrix. Evaluating the marginal likelihood of such models usually requires computing high-dimensional integrals to determine the G-Wishart normalising constant. Closed-form results are known for decomposable or chordal graphs, while an explicit repres…
▽ More
The G-Wishart distribution is an essential component for the Bayesian analysis of Gaussian graphical models as the conjugate prior for the precision matrix. Evaluating the marginal likelihood of such models usually requires computing high-dimensional integrals to determine the G-Wishart normalising constant. Closed-form results are known for decomposable or chordal graphs, while an explicit representation as a formal series expansion has been derived recently for general graphs. The nested infinite sums, however, do not lend themselves to computation, remaining of limited practical value. Borrowing techniques from random matrix theory and Fourier analysis, we provide novel exact results well suited to the numerical evaluation of the normalising constant for a large class of graphs beyond chordal graphs. Furthermore, they open new possibilities for develo** more efficient sampling schemes for Bayesian inference of Gaussian graphical models.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Conformal Off-Policy Prediction for Multi-Agent Systems
Authors:
Tom Kuipers,
Renukanandan Tumu,
Shuo Yang,
Milad Kazemi,
Rahul Mangharam,
Nicola Paoletti
Abstract:
Off-Policy Prediction (OPP), i.e., predicting the outcomes of a target policy using only data collected under a nominal (behavioural) policy, is a paramount problem in data-driven analysis of safety-critical systems where the deployment of a new policy may be unsafe. To achieve dependable off-policy predictions, recent work on Conformal Off-Policy Prediction (COPP) leverage the conformal predictio…
▽ More
Off-Policy Prediction (OPP), i.e., predicting the outcomes of a target policy using only data collected under a nominal (behavioural) policy, is a paramount problem in data-driven analysis of safety-critical systems where the deployment of a new policy may be unsafe. To achieve dependable off-policy predictions, recent work on Conformal Off-Policy Prediction (COPP) leverage the conformal prediction framework to derive prediction regions with probabilistic guarantees under the target process. Existing COPP methods can account for the distribution shifts induced by policy switching, but are limited to single-agent systems and scalar outcomes (e.g., rewards). In this work, we introduce MA-COPP, the first conformal prediction method to solve OPP problems involving multi-agent systems, deriving joint prediction regions for all agents' trajectories when one or more "ego" agents change their policies. Unlike the single-agent scenario, this setting introduces higher complexity as the distribution shifts affect predictions for all agents, not just the ego agents, and the prediction task involves full multi-dimensional trajectories, not just reward values. A key contribution of MA-COPP is to avoid enumeration or exhaustive search of the output space of agent trajectories, which is instead required by existing COPP methods to construct the prediction region. We achieve this by showing that an over-approximation of the true JPR can be constructed, without enumeration, from the maximum density ratio of the JPR trajectories. We evaluate the effectiveness of MA-COPP in multi-agent systems from the PettingZoo library and the F1TENTH autonomous racing environment, achieving nominal coverage in higher dimensions and various shift settings.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Bayesian Causal Inference with Gaussian Process Networks
Authors:
Enrico Giudice,
Jack Kuipers,
Giusi Moffa
Abstract:
Causal discovery and inference from observational data is an essential problem in statistics posing both modeling and computational challenges. These are typically addressed by imposing strict assumptions on the joint distribution such as linearity. We consider the problem of the Bayesian estimation of the effects of hypothetical interventions in the Gaussian Process Network (GPN) model, a flexibl…
▽ More
Causal discovery and inference from observational data is an essential problem in statistics posing both modeling and computational challenges. These are typically addressed by imposing strict assumptions on the joint distribution such as linearity. We consider the problem of the Bayesian estimation of the effects of hypothetical interventions in the Gaussian Process Network (GPN) model, a flexible causal framework which allows describing the causal relationships nonparametrically. We detail how to perform causal inference on GPNs by simulating the effect of an intervention across the whole network and propagating the effect of the intervention on downstream variables. We further derive a simpler computational approximation by estimating the intervention distribution as a function of local variables only, modeling the conditional distributions via additive Gaussian processes. We extend both frameworks beyond the case of a known causal graph, incorporating uncertainty about the causal structure via Markov chain Monte Carlo methods. Simulation studies show that our approach is able to identify the effects of hypothetical interventions with non-Gaussian, non-linear observational data and accurately reflect the posterior uncertainty of the causal estimates. Finally we compare the results of our GPN-based causal inference approach to existing methods on a dataset of $A.~thaliana$ gene expressions.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Fair Clustering: A Causal Perspective
Authors:
Fritz Bayer,
Drago Plecko,
Niko Beerenwinkel,
Jack Kuipers
Abstract:
Clustering algorithms may unintentionally propagate or intensify existing disparities, leading to unfair representations or biased decision-making. Current fair clustering methods rely on notions of fairness that do not capture any information on the underlying causal mechanisms. We show that optimising for non-causal fairness notions can paradoxically induce direct discriminatory effects from a c…
▽ More
Clustering algorithms may unintentionally propagate or intensify existing disparities, leading to unfair representations or biased decision-making. Current fair clustering methods rely on notions of fairness that do not capture any information on the underlying causal mechanisms. We show that optimising for non-causal fairness notions can paradoxically induce direct discriminatory effects from a causal standpoint. We present a clustering approach that incorporates causal fairness metrics to provide a more nuanced approach to fairness in unsupervised learning. Our approach enables the specification of the causal fairness metrics that should be minimised. We demonstrate the efficacy of our methodology using datasets known to harbour unfair biases.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Multiple backscattering in trivial and non-trivial topological photonic crystal edge states with controlled disorder
Authors:
S. Arora,
T. Bauer,
R. Barczyk,
E. Verhagen,
L. Kuipers
Abstract:
We present an experimental investigation of multiple scattering in photonic-crystal-based topological edge states with and without engineered random disorder. We map the spatial distribution of light as it propagates along a so-called bearded interface between two valley photonic crystals which supports both trivial and non-trivial edge states. As the light slows down and/or the disorder increases…
▽ More
We present an experimental investigation of multiple scattering in photonic-crystal-based topological edge states with and without engineered random disorder. We map the spatial distribution of light as it propagates along a so-called bearded interface between two valley photonic crystals which supports both trivial and non-trivial edge states. As the light slows down and/or the disorder increases, we observe the photonic manifestation of Anderson localization, illustrated by the appearance of localized high-intensity field distributions. We extract the backscattering mean free path (BMFP) as a function of frequency, and thereby group velocity, for a range of geometrically engineered random disorders of different types. For relatively high group velocities (with $n_g < 15$), we observe that the BMFP is an order of magnitude higher for the non-trivial edge state than for the trivial. However, the BMFP for the non-trivial mode decreases rapidly with increasing disorder. As the light slows down the BMFP for the trivial state decreases as expected, but the BMFP for the topological state exhibits a non-conventional dependence on the group velocity. Due to the particular dispersion of the topologically non-trivial mode, a range of frequencies exist where two distinct states can have the same group index but exhibit a different BMFP. While the topological mode is not immune to backscattering at disorder that breaks the protecting crystalline symmetry, it displays a larger robustness than the trivial mode for a specific range of parameters in the same structure. Intriguingly, the topologically non-trivial edge state appears to break the conventional relationship between slowdown and the amount of backscattering.
△ Less
Submitted 16 January, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Impact of transforming interface geometry on edge states in valley photonic crystals
Authors:
Di Yu,
Sonakshi Arora,
L. Kuipers
Abstract:
Topologically protected edge states arise at the interface of two topologically distinct valley photonic crystals. In this work, we investigate how tailoring the interface geometry, specifically from a zigzag interface to a glide plane, profoundly affects these edge states. Near-field measurements demonstrate how this transformation significantly changes the dispersion relation of the edge mode. W…
▽ More
Topologically protected edge states arise at the interface of two topologically distinct valley photonic crystals. In this work, we investigate how tailoring the interface geometry, specifically from a zigzag interface to a glide plane, profoundly affects these edge states. Near-field measurements demonstrate how this transformation significantly changes the dispersion relation of the edge mode. We observe a transition from gapless edge states to gapped ones, accompanied by the occurrence of slow light within the Brillouin zone, rather than at its edge. Additionally, we simulate the propagation of the modified edge states through a specially designed valley-conserving defect. The simulations show, by monitoring the transmittance of this defect, how the robustness to backscattering gradually decreases, suggesting a disruption of valley-dependent transport. These findings demonstrate how the gradual emergence of valley-dependent gapless edge states in a valley photonic crystal depends on the geometry of its interface.
△ Less
Submitted 1 October, 2023;
originally announced October 2023.
-
Adaptive Resource Allocation for Virtualized Base Stations in O-RAN with Online Learning
Authors:
Michail Kalntis,
George Iosifidis,
Fernando A. Kuipers
Abstract:
Open Radio Access Network systems, with their virtualized base stations (vBSs), offer operators the benefits of increased flexibility, reduced costs, vendor diversity, and interoperability. Optimizing the allocation of resources in a vBS is challenging since it requires knowledge of the environment, (i.e., "external'' information), such as traffic demands and channel quality, which is difficult to…
▽ More
Open Radio Access Network systems, with their virtualized base stations (vBSs), offer operators the benefits of increased flexibility, reduced costs, vendor diversity, and interoperability. Optimizing the allocation of resources in a vBS is challenging since it requires knowledge of the environment, (i.e., "external'' information), such as traffic demands and channel quality, which is difficult to acquire precisely over short intervals of a few seconds. To tackle this problem, we propose an online learning algorithm that balances the effective throughput and vBS energy consumption, even under unforeseeable and "challenging'' environments; for instance, non-stationary or adversarial traffic demands. We also develop a meta-learning scheme, which leverages the power of other algorithmic approaches, tailored for more "easy'' environments, and dynamically chooses the best performing one, thus enhancing the overall system's versatility and effectiveness. We prove the proposed solutions achieve sub-linear regret, providing zero average optimality gap even in challenging environments. The performance of the algorithms is evaluated with real-world data and various trace-driven evaluations, indicating savings of up to 64.5% in the power consumption of a vBS compared with state-of-the-art benchmarks.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Bankruptcy probabilities under non-Poisson inspection
Authors:
Florine Kuipers,
Michel Mandjes,
Sara Morcy
Abstract:
This paper concerns an insurance firm's surplus process observed at renewal inspection times, with a focus on assessing the probability of the surplus level drop** below zero. For various types of inter-inspection time distributions, an explicit expression for the corresponding transform is given. In addition, Cramér-Lundberg type asymptotics are established. Also, an importance sampling based M…
▽ More
This paper concerns an insurance firm's surplus process observed at renewal inspection times, with a focus on assessing the probability of the surplus level drop** below zero. For various types of inter-inspection time distributions, an explicit expression for the corresponding transform is given. In addition, Cramér-Lundberg type asymptotics are established. Also, an importance sampling based Monte Carlo algorithm is proposed, and is shown to be logarithmically efficient.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Regular SE(3) Group Convolutions for Volumetric Medical Image Analysis
Authors:
Thijs P. Kuipers,
Erik J. Bekkers
Abstract:
Regular group convolutional neural networks (G-CNNs) have been shown to increase model performance and improve equivariance to different geometrical symmetries. This work addresses the problem of SE(3), i.e., roto-translation equivariance, on volumetric data. Volumetric image data is prevalent in many medical settings. Motivated by the recent work on separable group convolutions, we devise a SE(3)…
▽ More
Regular group convolutional neural networks (G-CNNs) have been shown to increase model performance and improve equivariance to different geometrical symmetries. This work addresses the problem of SE(3), i.e., roto-translation equivariance, on volumetric data. Volumetric image data is prevalent in many medical settings. Motivated by the recent work on separable group convolutions, we devise a SE(3) group convolution kernel separated into a continuous SO(3) (rotation) kernel and a spatial kernel. We approximate equivariance to the continuous setting by sampling uniform SO(3) grids. Our continuous SO(3) kernel is parameterized via RBF interpolation on similarly uniform grids. We demonstrate the advantages of our approach in volumetric medical image analysis. Our SE(3) equivariant models consistently outperform CNNs and regular discrete G-CNNs on challenging medical classification tasks and show significantly improved generalization capabilities. Our approach achieves up to a 16.5% gain in accuracy over regular CNNs.
△ Less
Submitted 20 July, 2023; v1 submitted 24 June, 2023;
originally announced June 2023.
-
A Bayesian Take on Gaussian Process Networks
Authors:
Enrico Giudice,
Jack Kuipers,
Giusi Moffa
Abstract:
Gaussian Process Networks (GPNs) are a class of directed graphical models which employ Gaussian processes as priors for the conditional expectation of each variable given its parents in the network. The model allows the description of continuous joint distributions in a compact but flexible manner with minimal parametric assumptions on the dependencies between variables. Bayesian structure learnin…
▽ More
Gaussian Process Networks (GPNs) are a class of directed graphical models which employ Gaussian processes as priors for the conditional expectation of each variable given its parents in the network. The model allows the description of continuous joint distributions in a compact but flexible manner with minimal parametric assumptions on the dependencies between variables. Bayesian structure learning of GPNs requires computing the posterior over graphs of the network and is computationally infeasible even in low dimensions. This work implements Monte Carlo and Markov Chain Monte Carlo methods to sample from the posterior distribution of network structures. As such, the approach follows the Bayesian paradigm, comparing models via their marginal likelihood and computing the posterior probability of the GPN features. Simulation studies show that our method outperforms state-of-the-art algorithms in recovering the graphical structure of the network and provides an accurate approximation of its posterior distribution.
△ Less
Submitted 24 November, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Observation of Landau levels and topological edge states in photonic crystals through pseudomagnetic fields induced by synthetic strain
Authors:
René Barczyk,
L. Kuipers,
Ewold Verhagen
Abstract:
The control over light propagation and localization in photonic crystals offers wide applications from sensing and on-chip routing to lasing and quantum light-matter interfaces. While in electronic crystals magnetic fields can be used to induce a multitude of unique phenomena, the uncharged nature of photons necessitates alternative approaches to bring about similar control over photons at the nan…
▽ More
The control over light propagation and localization in photonic crystals offers wide applications from sensing and on-chip routing to lasing and quantum light-matter interfaces. While in electronic crystals magnetic fields can be used to induce a multitude of unique phenomena, the uncharged nature of photons necessitates alternative approaches to bring about similar control over photons at the nanoscale. Here, we experimentally realize pseudomagnetic fields in two-dimensional photonic crystals through engineered strain of the lattice. Analogous to strained graphene, this induces flat-band Landau levels at discrete energies. We study the spatial and spectral properties of these states in silicon photonic crystals at telecom wavelengths with far-field spectroscopy. Moreover, taking advantage of the photonic crystal's design freedom, we realize domains of opposite pseudomagnetic field and observe topological edge states at their interface. We reveal that the strain-induced states can achieve remarkably high quality factors despite being phase-matched to the radiation continuum. Together with the high density of states and high degeneracy associated with flat bands, this provides powerful prospects for enhancing light-matter interactions, and demonstrates a design principle to govern both on-chip and radiating light fields.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Quantum Hair During Gravitational Collapse
Authors:
Xavier Calmet,
Roberto Casadio,
Stephen D. H. Hsu,
Folkert Kuipers
Abstract:
We consider quantum gravitational corrections to the Oppenheimer-Snyder metric describing time-dependent dust ball collapse. The interior metric also describes Friedmann-Lemaitre-Robertson-Walker cosmology and our results are interpreted in that context. The exterior corrections are an example of quantum hair, and are shown to persist throughout the collapse. Our results show the quantum hair surv…
▽ More
We consider quantum gravitational corrections to the Oppenheimer-Snyder metric describing time-dependent dust ball collapse. The interior metric also describes Friedmann-Lemaitre-Robertson-Walker cosmology and our results are interpreted in that context. The exterior corrections are an example of quantum hair, and are shown to persist throughout the collapse. Our results show the quantum hair survives throughout the horizon formation and that the internal state of the resulting black hole is accessible to outside observers.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
Quantum Mechanics from Stochastic Processes
Authors:
Folkert Kuipers
Abstract:
We construct an explicit one-to-one correspondence between non-relativistic stochastic processes and solutions of the Schrodinger equation and between relativistic stochastic processes and solutions of the Klein-Gordon equation. The existence of this equivalence suggests that the Lorentzian path integral can be defined as an Ito integral, similar to the definition of the Euclidean path integral in…
▽ More
We construct an explicit one-to-one correspondence between non-relativistic stochastic processes and solutions of the Schrodinger equation and between relativistic stochastic processes and solutions of the Klein-Gordon equation. The existence of this equivalence suggests that the Lorentzian path integral can be defined as an Ito integral, similar to the definition of the Euclidean path integral in terms of the Wiener integral. Moreover, the result implies a stochastic interpretation of quantum theories.
△ Less
Submitted 13 June, 2023; v1 submitted 15 April, 2023;
originally announced April 2023.
-
Effect of a tunnel barrier on time delay statistics
Authors:
Marcel Novaes,
Jack Kuipers
Abstract:
We develop a semiclassical approach for the statistics of the time delay in quantum chaotic systems in the presence of a tunnel barrier, for broken time-reversal symmetry. Results are obtained as asymptotic series in powers of the reflectivity of the barrier, with coefficients that are rational functions of the channel number. Exact expressions, valid for arbitrary reflectivity and channel number,…
▽ More
We develop a semiclassical approach for the statistics of the time delay in quantum chaotic systems in the presence of a tunnel barrier, for broken time-reversal symmetry. Results are obtained as asymptotic series in powers of the reflectivity of the barrier, with coefficients that are rational functions of the channel number. Exact expressions, valid for arbitrary reflectivity and channel number, are conjectured and numerically verified for specific families of statistical moments.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Stochastic Mechanics and the Unification of Quantum Mechanics with Brownian Motion
Authors:
Folkert Kuipers
Abstract:
We unify Brownian motion and quantum mechanics in a single mathematical framework. In particular, we show that non-relativistic quantum mechanics of a single spinless particle on a flat space can be described by a Wiener process that is rotated in the complex plane. We then extend this theory to relativistic stochastic theories on manifolds using the framework of second order geometry. As a byprod…
▽ More
We unify Brownian motion and quantum mechanics in a single mathematical framework. In particular, we show that non-relativistic quantum mechanics of a single spinless particle on a flat space can be described by a Wiener process that is rotated in the complex plane. We then extend this theory to relativistic stochastic theories on manifolds using the framework of second order geometry. As a byproduct, our results suggest that a consistent path integral based formulation of a quantum theory on a Lorentzian (Riemannian) manifold requires an Ito deformation of the Poincare (Galilean) symmetry, arising due to the coupling of the quadratic variation to the affine connection.
△ Less
Submitted 3 June, 2023; v1 submitted 13 January, 2023;
originally announced January 2023.
-
Future Computer Systems and Networking Research in the Netherlands: A Manifesto
Authors:
Alexandru Iosup,
Fernando Kuipers,
Ana Lucia Varbanescu,
Paola Grosso,
Animesh Trivedi,
Jan Rellermeyer,
Lin Wang,
Alexandru Uta,
Francesco Regazzoni
Abstract:
Our modern society and competitive economy depend on a strong digital foundation and, in turn, on sustained research and innovation in computer systems and networks (CompSys). With this manifesto, we draw attention to CompSys as a vital part of ICT. Among ICT technologies, CompSys covers all the hardware and all the operational software layers that enable applications; only application-specific de…
▽ More
Our modern society and competitive economy depend on a strong digital foundation and, in turn, on sustained research and innovation in computer systems and networks (CompSys). With this manifesto, we draw attention to CompSys as a vital part of ICT. Among ICT technologies, CompSys covers all the hardware and all the operational software layers that enable applications; only application-specific details, and often only application-specific algorithms, are not part of CompSys. Each of the Top Sectors of the Dutch Economy, each route in the National Research Agenda, and each of the UN Sustainable Development Goals pose challenges that cannot be addressed without groundbreaking CompSys advances. Looking at the 2030-2035 horizon, important new applications will emerge only when enabled by CompSys developments. Triggered by the COVID-19 pandemic, millions moved abruptly online, raising infrastructure scalability and data sovereignty issues; but governments processing social data and responsible social networks still require a paradigm shift in data sovereignty and sharing. AI already requires massive computer systems which can cost millions per training task, but the current technology leaves an unsustainable energy footprint including large carbon emissions. Computational sciences such as bioinformatics, and "Humanities for all" and "citizen data science", cannot become affordable and efficient until computer systems take a generational leap. Similarly, the emerging quantum internet depends on (traditional) CompSys to bootstrap operation for the foreseeable future. Large commercial sectors, including finance and manufacturing, require specialized computing and networking or risk becoming uncompetitive. And, at the core of Dutch innovation, promising technology hubs, deltas, ports, and smart cities, could see their promise stagger due to critical dependency on non-European technology.
△ Less
Submitted 26 May, 2022;
originally announced June 2022.
-
The interventional Bayesian Gaussian equivalent score for Bayesian causal inference with unknown soft interventions
Authors:
Jack Kuipers,
Giusi Moffa
Abstract:
Describing the causal relations governing a system is a fundamental task in many scientific fields, ideally addressed by experimental studies. However, obtaining data under intervention scenarios may not always be feasible, while discovering causal relations from purely observational data is notoriously challenging. In certain settings, such as genomics, we may have data from heterogeneous study c…
▽ More
Describing the causal relations governing a system is a fundamental task in many scientific fields, ideally addressed by experimental studies. However, obtaining data under intervention scenarios may not always be feasible, while discovering causal relations from purely observational data is notoriously challenging. In certain settings, such as genomics, we may have data from heterogeneous study conditions, with soft (partial) interventions only pertaining to a subset of the study variables, whose effects and targets are possibly unknown. Combining data from experimental and observational studies offers the opportunity to leverage both domains and improve on the identifiability of causal structures. To this end, we define the interventional BGe score for a mixture of observational and interventional data, where the targets and effects of intervention may be unknown. To demonstrate the approach we compare its performance to other state-of-the-art algorithms, both in simulations and data analysis applications. Prerogative of our method is that it takes a Bayesian perspective leading to a full characterisation of the posterior distribution of the DAG structures. Given a sample of DAGs one can also automatically derive full posterior distributions of the intervention effects. Consequently the method effectively captures the uncertainty both in the structure and the parameter estimates. Codes to reproduce the simulations and analyses are publicly available at github.com/jackkuipers/iBGe
△ Less
Submitted 5 May, 2022;
originally announced May 2022.
-
Spacetime Stochasticity and Second Order Geometry
Authors:
Folkert Kuipers
Abstract:
We discuss the Schwartz-Meyer second order geometry framework and its relevance to theories of quantum gravity that incorporate a notion of spacetime stochasticity or quantum foam. We illustrate the framework in the context of Nelson's stochastic quantization.
We discuss the Schwartz-Meyer second order geometry framework and its relevance to theories of quantum gravity that incorporate a notion of spacetime stochasticity or quantum foam. We illustrate the framework in the context of Nelson's stochastic quantization.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Interplay of leakage radiation and protection in topological photonic crystal cavities
Authors:
René Barczyk,
Nikhil Parappurath,
Sonakshi Arora,
Thomas Bauer,
L. Kuipers,
Ewold Verhagen
Abstract:
The introduction of topological concepts to the design of photonic crystal cavities holds great promise for applications in integrated photonics due to the prospect of topological protection. This study examines the signatures of topological light confinement in the leakage radiation of two-dimensional topological photonic crystal cavities. The cavities are implemented in an all-dielectric platfor…
▽ More
The introduction of topological concepts to the design of photonic crystal cavities holds great promise for applications in integrated photonics due to the prospect of topological protection. This study examines the signatures of topological light confinement in the leakage radiation of two-dimensional topological photonic crystal cavities. The cavities are implemented in an all-dielectric platform that features the photonic quantum spin Hall effect at telecom wavelengths and supports helical edge states that are weakly coupled to the radiation continuum. The modes of resonators scaling down to single point defects in the surrounding bulk lattice are characterized via spectral position and multipolar nature of the eigenstates. The mode profiles in real and momentum space are mapped using far field imaging and Fourier spectropolarimetry, revealing how certain properties of the cavity modes reflect on their origin in the topological bandstructure. This includes band-inversion-induced confinement and inverted scaling of mode spectra for trivial and topological defect cavities. Furthermore, hallmarks of topological protection in the loss rates are demonstrated, which are largely unaffected by cavity shape and size. The results constitute an important step toward the use of radiative topological cavities for on-chip confinement of light, control of emitted wave fronts, and enhancing light-matter interactions.
△ Less
Submitted 16 February, 2022; v1 submitted 15 February, 2022;
originally announced February 2022.
-
Breakdown of spin-to-helicity locking at the nanoscale in topological photonic crystal edge states
Authors:
Sonakshi Arora,
Thomas Bauer,
Nikhil Parappurath,
René Barczyk,
Ewold Verhagen,
L. Kuipers
Abstract:
We measure the local near-field spin in topological edge state waveguides that emulate the quantum spin Hall effect. We reveal a highly structured spin density distribution that is not linked to a unique pseudospin value. From experimental near-field real-space maps and numerical calculations, we confirm that this local structure is essential in understanding the properties of optical edge states…
▽ More
We measure the local near-field spin in topological edge state waveguides that emulate the quantum spin Hall effect. We reveal a highly structured spin density distribution that is not linked to a unique pseudospin value. From experimental near-field real-space maps and numerical calculations, we confirm that this local structure is essential in understanding the properties of optical edge states and light-matter interactions. The global spin is reduced by a factor of 30 in the near field and, for certain frequencies, flipped compared to the pseudospin measured in the far-field. We experimentally reveal the influence of higher-order Bloch harmonics in spin inhomogeneity, leading to a breakdown in the coupling between local helicity and global spin.
△ Less
Submitted 13 February, 2022; v1 submitted 9 February, 2022;
originally announced February 2022.
-
Black Holes in Quantum Gravity
Authors:
Xavier Calmet,
Folkert Kuipers
Abstract:
We review some recent results obtained for black holes using effective field theory methods applied to quantum gravity, in particular the unique effective action. Black holes are complex thermodynamical objects that not only have a temperature but also have a pressure. Furthermore, they have quantum hair which provides a solution to the black hole information paradox.
We review some recent results obtained for black holes using effective field theory methods applied to quantum gravity, in particular the unique effective action. Black holes are complex thermodynamical objects that not only have a temperature but also have a pressure. Furthermore, they have quantum hair which provides a solution to the black hole information paradox.
△ Less
Submitted 5 February, 2022;
originally announced February 2022.
-
Cloaked near-field probe for non-invasive near-field optical microscopy
Authors:
Felipe Bernal Arango,
Filippo Alpeggiani,
Donato Conteduca,
Aron Opheij,
Aobo Chen,
Mohamed I. Abdelrahman,
Thomas Krauss,
Andrea Alu,
Francesco Monticone,
L. Kuipers
Abstract:
Near-field scanning optical microscopy is a powerful technique for imaging below the diffraction limit, which has been extensively used in bio-medical imaging and nanophotonics. However, when the electromagnetic fields under measurement are strongly confined, they can be heavily perturbed by the presence of the near-field probe itself. Here, taking inspiration from scattering-cancellation invisibi…
▽ More
Near-field scanning optical microscopy is a powerful technique for imaging below the diffraction limit, which has been extensively used in bio-medical imaging and nanophotonics. However, when the electromagnetic fields under measurement are strongly confined, they can be heavily perturbed by the presence of the near-field probe itself. Here, taking inspiration from scattering-cancellation invisibility cloaks, Huygens-Kerker scatterers, and cloaked sensors, we design and fabricate a cloaked near-field probe. We show that, by suitably nanostructuring the probe, its electric and magnetic polarizabilities can be controlled and balanced. As a result, probe-induced perturbations can be largely suppressed, effectively cloaking the near-field probe without preventing its ability to measure. We experimentally demonstrate the cloaking effect by comparing the interaction of conventional and nanostructured probes with a representative nanophotonic structure, namely, a 1D photonic-crystal cavity. Our results show that, by engineering the structure of the probe, one can systematically control its back-action on the resonant fields of the sample and decrease the perturbation by >70% with most of our modified probes, and by up to one order of magnitude for the best probe, at probe-sample distances of 100 nm. Our work paves the way for non-invasive near-field optical microscopy of classical and quantum nano-systems.
△ Less
Submitted 1 January, 2022;
originally announced January 2022.
-
Measuring the stability of fundamental constants with a network of clocks
Authors:
G. Barontini,
L. Blackburn,
V. Boyer,
F. Butuc-Mayer,
X. Calmet,
J. R. Crespo Lopez-Urrutia,
E. A. Curtis,
B. Darquie,
J. Dunningham,
N. J. Fitch,
E. M. Forgan,
K. Georgiou,
P. Gill,
R. M. Godun,
J. Goldwin,
V. Guarrera,
A. C. Harwood,
I. R. Hill,
R. J. Hendricks,
M. Jeong,
M. Y. H. Johnson,
M. Keller,
L. P. Kozhiparambil Sajith,
F. Kuipers,
H. S. Margolis
, et al. (19 additional authors not shown)
Abstract:
The detection of variations of fundamental constants of the Standard Model would provide us with compelling evidence of new physics, and could lift the veil on the nature of dark matter and dark energy. In this work, we discuss how a network of atomic and molecular clocks can be used to look for such variations with unprecedented sensitivity over a wide range of time scales. This is precisely the…
▽ More
The detection of variations of fundamental constants of the Standard Model would provide us with compelling evidence of new physics, and could lift the veil on the nature of dark matter and dark energy. In this work, we discuss how a network of atomic and molecular clocks can be used to look for such variations with unprecedented sensitivity over a wide range of time scales. This is precisely the goal of the recently launched QSNET project: A network of clocks for measuring the stability of fundamental constants. QSNET will include state-of-the-art atomic clocks, but will also develop next-generation molecular and highly charged ion clocks with enhanced sensitivity to variations of fundamental constants. We describe the technological and scientific aims of QSNET and evaluate its expected performance. We show that in the range of parameters probed by QSNET, either we will discover new physics, or we will impose new constraints on violations of fundamental symmetries and a range of theories beyond the Standard Model, including dark matter and dark energy models.
△ Less
Submitted 11 May, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
High-Dimensional Inference in Bayesian Networks
Authors:
Fritz M. Bayer,
Giusi Moffa,
Niko Beerenwinkel,
Jack Kuipers
Abstract:
Inference of the marginal probability distribution is defined as the calculation of the probability of a subset of the variables and is relevant for handling missing data and hidden variables. While inference of the marginal probability distribution is crucial for various problems in machine learning and statistics, its exact computation is generally not feasible for categorical variables in Bayes…
▽ More
Inference of the marginal probability distribution is defined as the calculation of the probability of a subset of the variables and is relevant for handling missing data and hidden variables. While inference of the marginal probability distribution is crucial for various problems in machine learning and statistics, its exact computation is generally not feasible for categorical variables in Bayesian networks due to the NP-hardness of this task. We develop a divide-and-conquer approach using the graphical properties of Bayesian networks to split the computation of the marginal probability distribution into sub-calculations of lower dimensionality, thus reducing the overall computational complexity. Exploiting this property, we present an efficient and scalable algorithm for calculating the marginal probability distribution for categorical variables. The novel method is compared against state-of-the-art approximate inference methods in a benchmarking study, where it displays superior performance. As an immediate application, we demonstrate how our method can be used to classify incomplete data against Bayesian networks and use this approach for identifying the cancer subtype of kidney cancer patient samples.
△ Less
Submitted 20 July, 2022; v1 submitted 16 December, 2021;
originally announced December 2021.
-
The Dual PC Algorithm and the Role of Gaussianity for Structure Learning of Bayesian Networks
Authors:
Enrico Giudice,
Jack Kuipers,
Giusi Moffa
Abstract:
Learning the graphical structure of Bayesian networks is key to describing data-generating mechanisms in many complex applications but poses considerable computational challenges. Observational data can only identify the equivalence class of the directed acyclic graph underlying a Bayesian network model, and a variety of methods exist to tackle the problem. Under certain assumptions, the popular P…
▽ More
Learning the graphical structure of Bayesian networks is key to describing data-generating mechanisms in many complex applications but poses considerable computational challenges. Observational data can only identify the equivalence class of the directed acyclic graph underlying a Bayesian network model, and a variety of methods exist to tackle the problem. Under certain assumptions, the popular PC algorithm can consistently recover the correct equivalence class by reverse-engineering the conditional independence (CI) relationships holding in the variable distribution. The dual PC algorithm is a novel scheme to carry out the CI tests within the PC algorithm by leveraging the inverse relationship between covariance and precision matrices. By exploiting block matrix inversions we can also perform tests on partial correlations of complementary (or dual) conditioning sets. The multiple CI tests of the dual PC algorithm proceed by first considering marginal and full-order CI relationships and progressively moving to central-order ones. Simulation studies show that the dual PC algorithm outperforms the classic PC algorithm both in terms of run time and in recovering the underlying network structure, even in the presence of deviations from Gaussianity. Additionally, we show that the dual PC algorithm applies for Gaussian copula models, and demonstrate its performance in that setting.
△ Less
Submitted 27 June, 2023; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Revealing the nanogeometry of WS2 nanoflowers by polarization-resolved Raman spectroscopy
Authors:
Irina Komen,
Sabrya E. van Heijst,
Martin Caldarola,
Sonia Conesa-Boj,
L. Kuipers
Abstract:
Recent studies of Transition Metal Dichalcogenides (TMDs) have revealed exciting optical properties like stable excitons and chiral light-matter interactions. Chemical vapor deposition (CVD) techniques provide a platform for the fabrication of nanostructures with diverse geometries, ranging from horizontal flakes to flower-like structures. Raman spectroscopy is commonly used to characterize TMDs a…
▽ More
Recent studies of Transition Metal Dichalcogenides (TMDs) have revealed exciting optical properties like stable excitons and chiral light-matter interactions. Chemical vapor deposition (CVD) techniques provide a platform for the fabrication of nanostructures with diverse geometries, ranging from horizontal flakes to flower-like structures. Raman spectroscopy is commonly used to characterize TMDs and their properties. Here, we use polarization-resolved Raman spectroscopy to probe the nanogeometry and orientation of WS2 nanoflower petals. Exciting the nanoflowers with linearly polarized light, we observe an enhanced Raman response from flower petals oriented along the excitation polarization direction. Furthermore, the helicity-resolved Raman response of vertically oriented wall-like flower petals exhibits clear differences with horizontally oriented flakes. Although the photoluminescence from the nanoflowers is strongly reduced, the Raman response upon excitation in resonance with the WS2 excitonic transition does reveal the presence of the exciton, which results in a distinct temperature dependence of the Raman response.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
A Comprehensive Electric Vehicle Model for Vehicle-to-Grid Strategy Development
Authors:
Fabian Rücker,
Ilka Schoeneberger,
Till Wilmschen,
Ahmed Chahbaz,
Philipp Dechent,
Felix Hildenbrand,
Elias Barbers,
Matthias Kuipers,
Jan Figgener,
Dirk Uwe Sauer
Abstract:
An electric vehicle model is developed to characterize the behavior of the Smart e.d. (2013) while driving, charging and providing vehicle-to-grid services. The battery model is an electro-thermal model with a dual polarization equivalent circuit electrical model coupled with a lumped thermal model with active liquid cooling. The aging trend of the EV's 50 Ah large format pouch cell with NMC chemi…
▽ More
An electric vehicle model is developed to characterize the behavior of the Smart e.d. (2013) while driving, charging and providing vehicle-to-grid services. The battery model is an electro-thermal model with a dual polarization equivalent circuit electrical model coupled with a lumped thermal model with active liquid cooling. The aging trend of the EV's 50 Ah large format pouch cell with NMC chemistry is evaluated via accelerated aging tests in the laboratory. The EV model is completed with the measurement of the on-board charger efficiency and the charging control behavior via IEC 61851-1. Performance of the model is validated using laboratory pack tests, charging and driving field data. The RMSE of the cell voltage was between 18.49 mV and 67.17 mV per cell for the validation profiles. Cells stored at 100 % SOC and 40 $^{\circ}C$ reached end-of-life (80 % of initial capacity) after 431 days to 589 days. The end-of-life for a cell cycled with 80 % DOD around an SOC of 50 % is reached after 3634 equivalent full cycles which equates to a driving distance of over 420000 km. The full parameter set of the model is provided to serve as a resource for vehicle-to-grid strategy development.
△ Less
Submitted 28 April, 2022; v1 submitted 23 October, 2021;
originally announced October 2021.
-
Quantum Hair from Gravity
Authors:
Xavier Calmet,
Roberto Casadio,
Stephen D. H. Hsu,
Folkert Kuipers
Abstract:
We explore the relationship between the quantum state of a compact matter source and of its asymptotic graviton field. For a matter source in an energy eigenstate, the graviton state is determined at leading order by the energy eigenvalue. Insofar as there are no accidental energy degeneracies there is a one to one map between graviton states on the boundary of spacetime and the matter source stat…
▽ More
We explore the relationship between the quantum state of a compact matter source and of its asymptotic graviton field. For a matter source in an energy eigenstate, the graviton state is determined at leading order by the energy eigenvalue. Insofar as there are no accidental energy degeneracies there is a one to one map between graviton states on the boundary of spacetime and the matter source states. A typical semiclassical matter source results in an entangled asymptotic graviton state. We exhibit a purely quantum gravitational effect which causes the subleading asymptotic behavior of the graviton state to depend on the internal structure of the source. These observations establish the existence of ubiquitous quantum hair due to gravitational effects.
△ Less
Submitted 18 July, 2022; v1 submitted 18 October, 2021;
originally announced October 2021.
-
QSNET, a network of clocks for measuring the stability of fundamental constants
Authors:
G. Barontini,
V. Boyer,
X. Calmet,
N. J. Fitch,
E. M. Forgan,
R. M. Godun,
J. Goldwin,
V. Guarrera,
I. R. Hill,
M. Jeong,
M. Keller,
F. Kuipers,
H. S. Margolis,
P. Newman,
L. Prokhorov,
J. Rodewald,
B. E. Sauer,
M. Schioppo,
N. Sherrill,
M. R. Tarbutt,
A. Vecchio,
S. Worm
Abstract:
The QSNET consortium is building a UK network of next-generation atomic and molecular clocks that will achieve unprecedented sensitivity in testing variations of the fine structure constant, $α$, and the electron-to-proton mass ratio, $μ$. This in turn will provide more stringent constraints on a wide range of fundamental and phenomenological theories beyond the Standard Model and on dark matter m…
▽ More
The QSNET consortium is building a UK network of next-generation atomic and molecular clocks that will achieve unprecedented sensitivity in testing variations of the fine structure constant, $α$, and the electron-to-proton mass ratio, $μ$. This in turn will provide more stringent constraints on a wide range of fundamental and phenomenological theories beyond the Standard Model and on dark matter models.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Analytic Continuation of Stochastic Mechanics
Authors:
Folkert Kuipers
Abstract:
We study a (relativistic) Wiener process on a complexified (pseudo-)Riemannian manifold. Using Nelson's stochastic quantization procedure, we derive three equivalent descriptions for this problem. If the process has a purely real quadratic variation, we obtain the one-sided Wiener process that is encountered in the theory of Brownian motion. In this case, the result coincides with the Feyman-Kac f…
▽ More
We study a (relativistic) Wiener process on a complexified (pseudo-)Riemannian manifold. Using Nelson's stochastic quantization procedure, we derive three equivalent descriptions for this problem. If the process has a purely real quadratic variation, we obtain the one-sided Wiener process that is encountered in the theory of Brownian motion. In this case, the result coincides with the Feyman-Kac formula. On the other hand, for a purely imaginary quadratic variation, we obtain the two-sided Wiener process that is encountered in stochastic mechanics, which provides a stochastic description of a quantum particle on a curved spacetime.
△ Less
Submitted 21 March, 2022; v1 submitted 22 September, 2021;
originally announced September 2021.
-
Quantum Gravitational Corrections to the Entropy of a Schwarzschild Black Hole
Authors:
Xavier Calmet,
Folkert Kuipers
Abstract:
We calculate quantum gravitational corrections to the entropy of black holes using the Wald entropy formula within an effective field theory approach to quantum gravity. The corrections to the entropy are calculated to second order in curvature and we calculate a subset of those at third order. We show that, at third order in curvature, interesting issues appear that had not been considered previo…
▽ More
We calculate quantum gravitational corrections to the entropy of black holes using the Wald entropy formula within an effective field theory approach to quantum gravity. The corrections to the entropy are calculated to second order in curvature and we calculate a subset of those at third order. We show that, at third order in curvature, interesting issues appear that had not been considered previously in the literature. The fact that the Schwarzschild metric receives corrections at this order in the curvature expansion has important implications for the entropy calculation. Indeed, the horizon radius and the temperature receive corrections. These corrections need to be carefully considered when calculating the Wald entropy.
△ Less
Submitted 15 August, 2021;
originally announced August 2021.
-
Implications of Quantum Gravity for Dark Matter
Authors:
Xavier Calmet,
Folkert Kuipers
Abstract:
In this essay we show that quantum gravity and the spin-statistics theorem have very interesting consequences for dark matter candidates. Quantum gravity can lead to fifth force type interactions that lead to a lower bound on the masses of bosonic candidates. In the case of fermions, the spin-statistics theorem leads to a lower bound on fermion masses. For both bosonic and fermionic dark matter ca…
▽ More
In this essay we show that quantum gravity and the spin-statistics theorem have very interesting consequences for dark matter candidates. Quantum gravity can lead to fifth force type interactions that lead to a lower bound on the masses of bosonic candidates. In the case of fermions, the spin-statistics theorem leads to a lower bound on fermion masses. For both bosonic and fermionic dark matter candidates, quantum gravity leads to a decay of dark matter particles. A comparison of their lifetime with the age of the universe leads to an upper bound on their masses. For singlet scalar dark matter fields, we find $10^{-3}{\rm eV} \lesssim m\lesssim 10^{7}{\rm eV}$.
△ Less
Submitted 26 July, 2021;
originally announced July 2021.
-
Benchpress: A Scalable and Versatile Workflow for Benchmarking Structure Learning Algorithms
Authors:
Felix L. Rios,
Giusi Moffa,
Jack Kuipers
Abstract:
Describing the relationship between the variables in a study domain and modelling the data generating mechanism is a fundamental problem in many empirical sciences. Probabilistic graphical models are one common approach to tackle the problem. Learning the graphical structure for such models is computationally challenging and a fervent area of current research with a plethora of algorithms being de…
▽ More
Describing the relationship between the variables in a study domain and modelling the data generating mechanism is a fundamental problem in many empirical sciences. Probabilistic graphical models are one common approach to tackle the problem. Learning the graphical structure for such models is computationally challenging and a fervent area of current research with a plethora of algorithms being developed. To facilitate the benchmarking of different methods, we present a novel Snakemake workflow, called Benchpress for producing scalable, reproducible, and platform-independent benchmarks of structure learning algorithms for probabilistic graphical models. Benchpress is interfaced via a simple JSON-file, which makes it accessible for all users, while the code is designed in a fully modular fashion to enable researchers to contribute additional methodologies. Benchpress currently provides an interface to a large number of state-of-the-art algorithms from libraries such as BDgraph, BiDAG, bnlearn, causal-learn, gCastle, GOBNILP, pcalg, r.blip, scikit-learn, TETRAD, and trilearn as well as a variety of methods for data generating models and performance evaluation. Alongside user-defined models and randomly generated datasets, the workflow also includes a number of standard datasets and graphical models from the literature, which may be included in a benchmarking study. We demonstrate the applicability of this workflow for learning Bayesian networks in five typical data scenarios. The source code and documentation is publicly available from http://benchpressdocs.readthedocs.io.
△ Less
Submitted 4 December, 2023; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Position-dependence of valley polarization and valley coherence of WS2 monolayer flakes
Authors:
Irina Komen,
Sabrya E. van Heijst,
Sonia Conesa-Boj,
L. Kuipers
Abstract:
Chiral interaction between light and two-dimensional transition metal dichalcogenides (2D-TMDs) has recently drawn enormous scientific attention. The optical selection rules of these atomically thin semiconductors allow the attribution of a pseudospin to the TMDs' valleys, which can be coherently manipulated for information processing using polarized light. The interaction of TMDs with circularly…
▽ More
Chiral interaction between light and two-dimensional transition metal dichalcogenides (2D-TMDs) has recently drawn enormous scientific attention. The optical selection rules of these atomically thin semiconductors allow the attribution of a pseudospin to the TMDs' valleys, which can be coherently manipulated for information processing using polarized light. The interaction of TMDs with circularly and linearly polarized light creates the valley polarization and coherence, respectively. With a full Stokes polarization analysis of light emitted from WS2 monolayer flakes, we conclusively confirm the existence of coherence between its valleys. We observe spatial heterogeneity in photoluminescence intensity, valley polarization and valley coherence. The discovery of an inverse proportional relationship between photoluminescence intensity and both valley polarization and coherence, reveals a correlation between the (non-)radiative decay rate and the valley hop**. The temperature dependence confirms the phononic nature of valley depolarization and decoherence, that may be caused by strain and the presence of defects.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Effective pair-interaction of phase singularities in random waves
Authors:
L. De Angelis,
L. Kuipers
Abstract:
In two-dimensional random waves, phase singularities are point-like dislocations with a behavior reminiscent of interacting particles. This -- qualitative -- consideration, stems from the spatial arrangement of these entities, which finds its hallmark in a pair correlation reminiscent of liquid-like system. Starting from their pair correlation function, we derive an effective pair-interaction for…
▽ More
In two-dimensional random waves, phase singularities are point-like dislocations with a behavior reminiscent of interacting particles. This -- qualitative -- consideration, stems from the spatial arrangement of these entities, which finds its hallmark in a pair correlation reminiscent of liquid-like system. Starting from their pair correlation function, we derive an effective pair-interaction for phase singularities in random waves by using a reverse Monte Carlo method. This study initiates a new approach for the treatment of singularities in random waves and can be generalized to topological defects in any system.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Bayesian structure learning and sampling of Bayesian networks with the R package BiDAG
Authors:
Polina Suter,
Jack Kuipers,
Giusi Moffa,
Niko Beerenwinkel
Abstract:
The R package BiDAG implements Markov chain Monte Carlo (MCMC) methods for structure learning and sampling of Bayesian networks. The package includes tools to search for a maximum a posteriori (MAP) graph and to sample graphs from the posterior distribution given the data. A new hybrid approach to structure learning enables inference in large graphs. In the first step, we define a reduced search s…
▽ More
The R package BiDAG implements Markov chain Monte Carlo (MCMC) methods for structure learning and sampling of Bayesian networks. The package includes tools to search for a maximum a posteriori (MAP) graph and to sample graphs from the posterior distribution given the data. A new hybrid approach to structure learning enables inference in large graphs. In the first step, we define a reduced search space by means of the PC algorithm or based on prior knowledge. In the second step, an iterative order MCMC scheme proceeds to optimize within the restricted search space and estimate the MAP graph. Sampling from the posterior distribution is implemented using either order or partition MCMC. The models and algorithms can handle both discrete and continuous data. The BiDAG package also provides an implementation of MCMC schemes for structure learning and sampling of dynamic Bayesian networks.
△ Less
Submitted 2 May, 2021;
originally announced May 2021.
-
Heads in the Clouds: Measuring the Implications of Universities Migrating to Public Clouds
Authors:
Tobias Fiebig,
Seda Gürses,
Carlos H. Gañán,
Erna Kotkamp,
Fernando Kuipers,
Martina Lindorfer,
Menghua Prisse,
Taritha Sari
Abstract:
With the emergence of remote education and work in universities due to COVID-19, the `zoomification' of higher education, i.e., the migration of universities to the clouds, reached the public discourse. Ongoing discussions reason about how this shift will take control over students' data away from universities, and may ultimately harm the privacy of researchers and students alike. However, there h…
▽ More
With the emergence of remote education and work in universities due to COVID-19, the `zoomification' of higher education, i.e., the migration of universities to the clouds, reached the public discourse. Ongoing discussions reason about how this shift will take control over students' data away from universities, and may ultimately harm the privacy of researchers and students alike. However, there has been no comprehensive measurement of universities' use of public clouds and reliance on Software-as-a-Service offerings to assess how far this migration has already progressed.
We perform a longitudinal study of the migration to public clouds among universities in the U.S. and Europe, as well as institutions listed in the Times Higher Education (THE) Top100 between January 2015 and October. We find that cloud adoption differs between countries, with one cluster (Germany, France, Austria, Switzerland) showing a limited move to clouds, while the other (U.S., U.K, the Netherlands, THE Top100) frequently outsources universities' core functions and services -- starting long before the COVID-19 pandemic. We attribute this clustering to several socio-economic factors in the respective countries, including the general culture of higher education and the administrative paradigm taken towards running universities. We then analyze and interpret our results, finding that the implications reach beyond individuals' privacy towards questions of academic independence and integrity.
△ Less
Submitted 23 August, 2023; v1 submitted 19 April, 2021;
originally announced April 2021.
-
Stochastic Quantization of Relativistic Theories
Authors:
Folkert Kuipers
Abstract:
It was shown recently that stochastic quantization can be made into a well defined quantization scheme on (pseudo-)Riemannian manifolds using second order differential geometry, which is an extension of the commonly used first order differential geometry. In this letter, we show that restrictions to relativistic theories can be obtained from this theory by imposing a stochastic energy-momentum rel…
▽ More
It was shown recently that stochastic quantization can be made into a well defined quantization scheme on (pseudo-)Riemannian manifolds using second order differential geometry, which is an extension of the commonly used first order differential geometry. In this letter, we show that restrictions to relativistic theories can be obtained from this theory by imposing a stochastic energy-momentum relation. In the process, we derive non-perturbative quantum corrections to the line element as measured by scalar particles. Furthermore, we extend the framework of stochastic quantization to massless scalar particles.
△ Less
Submitted 10 November, 2021; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Stochastic Quantization on Lorentzian Manifolds
Authors:
Folkert Kuipers
Abstract:
We embed Nelson's stochastic quantization in the Schwartz-Meyer second order geometry framework. The result is a non-perturbative theory of quantum mechanics on (pseudo)-Riemannian manifolds. Within this approach, we derive stochastic differential equations for massive spin-0 test particles charged under scalar potentials, vector potentials and gravity. Furthermore, we derive the associated Schröd…
▽ More
We embed Nelson's stochastic quantization in the Schwartz-Meyer second order geometry framework. The result is a non-perturbative theory of quantum mechanics on (pseudo)-Riemannian manifolds. Within this approach, we derive stochastic differential equations for massive spin-0 test particles charged under scalar potentials, vector potentials and gravity. Furthermore, we derive the associated Schrödinger equation. The resulting equations show that massive scalar particles must be conformally coupled to gravity in a theory of quantum gravity. We conclude with a discussion of some prospects of the stochastic framework.
△ Less
Submitted 1 May, 2021; v1 submitted 29 January, 2021;
originally announced January 2021.
-
Machine-learning free-energy functionals using density profiles from simulations
Authors:
Peter Cats,
Sander Kuipers,
Sacha de Wind,
Robin van Damme,
Gabriele M. Coli,
Marjolein Dijkstra,
René van Roij
Abstract:
The formally exact framework of equilibrium Density Functional Theory (DFT) is capable of simultaneously and consistently describing thermodynamic and structural properties of interacting many-body systems in arbitrary external potentials. In practice, however, DFT hinges on approximate (free-)energy functionals from which density profiles (and hence the thermodynamic potential) follow via an Eule…
▽ More
The formally exact framework of equilibrium Density Functional Theory (DFT) is capable of simultaneously and consistently describing thermodynamic and structural properties of interacting many-body systems in arbitrary external potentials. In practice, however, DFT hinges on approximate (free-)energy functionals from which density profiles (and hence the thermodynamic potential) follow via an Euler-Lagrange equation. Here we explore a relatively simple Machine Learning (ML) approach to improve the standard mean-field approximation of the excess Helmholtz free energy functional of a 3D Lennard-Jones system at a supercritical temperature. The learning set consists of density profiles from grand-canonical Monte Carlo simulations of this system at varying chemical potentials and external potentials in a planar geometry only. Using the DFT formalism we nevertheless can extract not only very accurate 3D bulk equations of state but also radial distribution functions using the Percus test-particle method. Unfortunately, our ML approach did not provide very reliable Ornstein-Zernike direct correlation functions for small distances.
△ Less
Submitted 5 March, 2021; v1 submitted 6 January, 2021;
originally announced January 2021.
-
Morphology-induced spectral modification of self-assembled WS2 pyramids
Authors:
Irina Komen,
Sabrya E. van Heijst,
Sonia Conesa-Boj,
L. Kuipers
Abstract:
Due to their intriguing optical properties, including stable and chiral excitons, two-dimensional transition metal dichalcogenides (2D-TMDs) hold the promise of applications in nanophotonics. Chemical vapor deposition (CVD) techniques offer a platform to fabricate and design nanostructures with diverse geometries. However, the more exotic the grown nanogeometry, the less is known about its optical…
▽ More
Due to their intriguing optical properties, including stable and chiral excitons, two-dimensional transition metal dichalcogenides (2D-TMDs) hold the promise of applications in nanophotonics. Chemical vapor deposition (CVD) techniques offer a platform to fabricate and design nanostructures with diverse geometries. However, the more exotic the grown nanogeometry, the less is known about its optical response. WS2 nanostructures with geometries ranging from monolayers to hollow pyramids have been created. The hollow pyramids exhibit a strongly reduced photoluminescence with respect to horizontally layered tungsten disulphide, facilitating the study of their clear Raman signal in more detail. Excited resonantly, the hollow pyramids exhibit a great number of higher-order phononic resonances. In contrast to monolayers, the spectral features of the optical response of the pyramids are position dependent. Differences in peak intensity, peak ratio and spectral peak positions reveal local variations in the atomic arrangement of the hollow pyramids crater and sides. The position-dependent optical response of hollow WS2 pyramids is characterized and attributed to growth-induced nanogeometry. Thereby the first steps are taken towards producing tunable nanophotonic devices with applications ranging from opto-electronics to non-linear optics.
△ Less
Submitted 10 November, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Learning Bayesian Networks from Ordinal Data
Authors:
Xiang Ge Luo,
Giusi Moffa,
Jack Kuipers
Abstract:
Bayesian networks are a powerful framework for studying the dependency structure of variables in a complex system. The problem of learning Bayesian networks is tightly associated with the given data type. Ordinal data, such as stages of cancer, rating scale survey questions, and letter grades for exams, are ubiquitous in applied research. However, existing solutions are mainly for continuous and n…
▽ More
Bayesian networks are a powerful framework for studying the dependency structure of variables in a complex system. The problem of learning Bayesian networks is tightly associated with the given data type. Ordinal data, such as stages of cancer, rating scale survey questions, and letter grades for exams, are ubiquitous in applied research. However, existing solutions are mainly for continuous and nominal data. In this work, we propose an iterative score-and-search method - called the Ordinal Structural EM (OSEM) algorithm - for learning Bayesian networks from ordinal data. Unlike traditional approaches designed for nominal data, we explicitly respect the ordering amongst the categories. More precisely, we assume that the ordinal variables originate from marginally discretizing a set of Gaussian variables, whose structural dependence in the latent space follows a directed acyclic graph. Then, we adopt the Structural EM algorithm and derive closed-form scoring functions for efficient graph searching. Through simulation studies, we illustrate the superior performance of the OSEM algorithm compared to the alternatives and analyze various factors that may influence the learning accuracy. Finally, we demonstrate the practicality of our method with a real-world application on psychological survey data from 408 patients with co-morbid symptoms of obsessive-compulsive disorder and depression.
△ Less
Submitted 12 November, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
A P4 Data Plane for the Quantum Internet
Authors:
Wojciech Kozlowski,
Fernando Kuipers,
Stephanie Wehner
Abstract:
The quantum technology revolution brings with it the promise of a quantum internet. A new -- quantum -- network stack will be needed to account for the fundamentally new properties of quantum entanglement. The first realisations of quantum networks are imminent and research interest in quantum network protocols has started growing. In the non-quantum world, programmable data planes have broken the…
▽ More
The quantum technology revolution brings with it the promise of a quantum internet. A new -- quantum -- network stack will be needed to account for the fundamentally new properties of quantum entanglement. The first realisations of quantum networks are imminent and research interest in quantum network protocols has started growing. In the non-quantum world, programmable data planes have broken the pattern of ossification of the protocol stack and enabled a new -- software-defined -- network software architecture. Similarly, a programmable quantum data plane could pave the way for a software-defined quantum network architecture. In this paper, we demonstrate how we use P4$_{16}$ to explore abstractions and device architectures for quantum networks.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
Universal S-matrix correlations for complex scattering of many-body wavepackets: theory, simulation and experiment
Authors:
Andreas Bereczuk,
Barbara Dietz,
Jiongning Che,
Jack Kuipers,
Juan-Diego Urbina,
Klaus Richter
Abstract:
We present an in-depth study of the universal correlations of scattering-matrix entries required in the framework of non-stationary many-body scattering where the incoming states are localized wavepackets. Contrary to the stationary case the emergence of universal signatures of chaotic dynamics in dynamical observables manifests itself in the emergence of universal correlations of the scattering m…
▽ More
We present an in-depth study of the universal correlations of scattering-matrix entries required in the framework of non-stationary many-body scattering where the incoming states are localized wavepackets. Contrary to the stationary case the emergence of universal signatures of chaotic dynamics in dynamical observables manifests itself in the emergence of universal correlations of the scattering matrix at different energies. We use a semiclassical theory based on interfering paths, numerical wave function based simulations and numerical averaging over random-matrix ensembles to calculate such correlations and compare with experimental measurements in microwave graphs, finding excellent agreement. Our calculations show that the universality of the correlators survives the extreme limit of few open channels relevant for electron quantum optics, albeit at the price of dealing with large-cancellation effects requiring the computation of a large class of semiclassical diagrams.
△ Less
Submitted 14 October, 2020;
originally announced October 2020.
-
Theoretical bounds on dark matter masses
Authors:
Xavier Calmet,
Folkert Kuipers
Abstract:
In this letter, we show that quantum gravity leads to lower and upper bounds on the masses of dark matter candidates. These bounds depend on the spins of the dark matter candidates and the nature of interactions in the dark matter sector. For example, for singlet scalar dark matter, we find a mass range $10^{-3}{\rm eV} \lesssim m_φ\lesssim 10^{7}{\rm eV}$. The lower bound comes from limits on fif…
▽ More
In this letter, we show that quantum gravity leads to lower and upper bounds on the masses of dark matter candidates. These bounds depend on the spins of the dark matter candidates and the nature of interactions in the dark matter sector. For example, for singlet scalar dark matter, we find a mass range $10^{-3}{\rm eV} \lesssim m_φ\lesssim 10^{7}{\rm eV}$. The lower bound comes from limits on fifth force type interactions and the upper bound from the lifetime of the dark matter candidate.
△ Less
Submitted 5 January, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Hard Occlusions in Visual Object Tracking
Authors:
Thijs P. Kuipers,
Devanshu Arya,
Deepak K. Gupta
Abstract:
Visual object tracking is among the hardest problems in computer vision, as trackers have to deal with many challenging circumstances such as illumination changes, fast motion, occlusion, among others. A tracker is assessed to be good or not based on its performance on the recent tracking datasets, e.g., VOT2019, and LaSOT. We argue that while the recent datasets contain large sets of annotated vi…
▽ More
Visual object tracking is among the hardest problems in computer vision, as trackers have to deal with many challenging circumstances such as illumination changes, fast motion, occlusion, among others. A tracker is assessed to be good or not based on its performance on the recent tracking datasets, e.g., VOT2019, and LaSOT. We argue that while the recent datasets contain large sets of annotated videos that to some extent provide a large bandwidth for training data, the hard scenarios such as occlusion and in-plane rotation are still underrepresented. For trackers to be brought closer to the real-world scenarios and deployed in safety-critical devices, even the rarest hard scenarios must be properly addressed. In this paper, we particularly focus on hard occlusion cases and benchmark the performance of recent state-of-the-art trackers (SOTA) on them. We created a small-scale dataset containing different categories within hard occlusions, on which the selected trackers are evaluated. Results show that hard occlusions remain a very challenging problem for SOTA trackers. Furthermore, it is observed that tracker performance varies wildly between different categories of hard occlusions, where a top-performing tracker on one category performs significantly worse on a different category. The varying nature of tracker performance based on specific categories suggests that the common tracker rankings using averaged single performance scores are not adequate to gauge tracker performance in real-world scenarios.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
Direct quantification of topological protection in symmetry-protected photonic edge states at telecom wavelengths
Authors:
S. Arora,
T. Bauer,
R. Barczyk,
E. Verhagen,
L. Kuipers
Abstract:
Topological on-chip photonics based on tailored photonic crystals (PhC) that emulate quantum valley Hall effects has recently gained widespread interest due to its promise of robust unidirectional transport of classical and quantum information. We present a direct quantitative evaluation of topological photonic edge eigenstates and their transport properties in the telecom wavelength range using p…
▽ More
Topological on-chip photonics based on tailored photonic crystals (PhC) that emulate quantum valley Hall effects has recently gained widespread interest due to its promise of robust unidirectional transport of classical and quantum information. We present a direct quantitative evaluation of topological photonic edge eigenstates and their transport properties in the telecom wavelength range using phase-resolved near-field optical microscopy. Experimentally visualizing the detailed sub-wavelength structure of these modes propagating along the interface between two topologically non-trivial mirror-symmetric lattices allows us to map their dispersion relation and differentiate between the contributions of several higher-order Bloch harmonics. Selective probing of forward and backward propagating modes as defined by their phase velocities enables a direct quantification of topological robustness. Studying near-field propagation in controlled defects allows to extract upper limits to topological protection in on-chip photonic systems in comparison to conventional PhC waveguides. We find that protected edge states are two orders of magnitude more robust as compared to conventional PhC waveguides. This direct experimental quantification of topological robustness comprises a crucial step towards the application of topologically protected guiding in integrated photonics, allowing for unprecedented error-free photonic quantum networks.
△ Less
Submitted 24 August, 2020; v1 submitted 14 August, 2020;
originally announced August 2020.