Search

Process mining is shifting towards use cases that explicitly leverage the relations between data objects and events under the term of object-centric process mining. Realizing this shift and generally simplifying the exchange and transformation of data between source systems and process mining solutions requires a standardized data format for such object-centric event data (OCED). This report summarizes the activities and results for identifying requirements and challenges for a community-supported standard for OCED. (1) We present a proposal for a core model for object-centric event data that underlies all known use cases. (2) We detail the limitations of the core model wrt. a broad range of use cases and discuss how to overcome them through conventions, usage patterns, and extensions of OCED, exhausting the design-space for an OCED data model and the inherent trade-offs in representing object-centric event data. (3) These insights are backed by five independent OCED implementations which are presented alongside a series of lessons learned in academic and industrial case studies. The results of this report provide guidance to the community to start adopting and building new process mining use cases and solutions around the reliable concepts for object-centric event data, and to engage in a structured process for standardizing OCED based on the known OCED design space., Comment: 46 pages, 11 figures, report of the OCED working group of the IEEE Taskforce on Process Mining towards the development of a new standard for exchange and storage of object-centric event data

This paper introduces a novel approach that integrates future closest point predictions into the distance constraints of a collision avoidance controller, leveraging convex hulls with closest point distance calculations. By addressing abrupt shifts in closest points, this method effectively reduces collision risks and enhances controller performance. Applied to an Image Guided Therapy robot and validated through simulations and user experiments, the framework demonstrates improved distance prediction accuracy, smoother trajectories, and safer navigation near obstacles.

Models for quantum state reduction address the quantum measurement problem by suggesting weak modifications to Schr\"odinger's equation that have no observable effect at microscopic scales, but dominate the dynamics of macroscopic objects. Enforcing linearity of the master equation for such models ensures that modifications to Schr\"odinger's equation do not introduce a possibility for superluminal signalling. In large classes of quantum state reduction models, however, and in particular in all models employing correlated noise, formulating a master equation for the quantum state is prohibitively difficult or impossible. Here, we formulate a witness for superluminal signalling that is applicable to generic quantum state reduction models, including those involving correlated noise. We apply the witness to several relevant cases, and find that correlated-noise models in general allow for superluminal signalling. We suggest how specific models may be able to avoid it, and that the witness introduced here provides a stringent guide to constructing such models., Comment: 6 pages, 2 figures

The cognitive mechanisms underlying subjects' self-regulation in Brain-Computer Interface (BCI) and neurofeedback (NF) training remain poorly understood. Yet, a mechanistic computational model of each individual learning trajectory is required to improve the reliability of BCI applications. The few existing attempts mostly rely on model-free (reinforcement learning) approaches. Hence, they cannot capture the strategy developed by each subject and neither finely predict their learning curve. In this study, we propose an alternative, model-based approach rooted in cognitive skill learning within the Active Inference framework. We show how BCI training may be framed as an inference problem under high uncertainties. We illustrate the proposed approach on a previously published synthetic Motor Imagery ERD laterality training. We show how simple changes in model parameters allow us to qualitatively match experimental results and account for various subject. In the near future, this approach may provide a powerful computational to model individual skill learning and thus optimize and finely characterize BCI training., Comment: 9th International Graz Brain-Computer Interface Conference 2024, Sep 2024, Graz, Austria

Graph reconstruction can efficiently detect the underlying topology of massive networks such as the Internet. Given a query oracle and a set of nodes, the goal is to obtain the edge set by performing as few queries as possible. An algorithm for graph reconstruction is the Simple algorithm (Mathieu & Zhou, 2023), which reconstructs bounded-degree graphs in $\tilde{O}(n^{3/2})$ queries. We extend the use of this algorithm to the class of geometric random graphs with connection radius $r \sim n^k$, with diverging average degree. We show that for this class of graphs, the query complexity is $\tilde{O}(n^{2k+1})$ when k > 3/20. This query complexity is up to a polylog(n) term equal to the number of edges in the graph, which means that the reconstruction algorithm is almost edge-optimal. We also show that with only $n^{1+o(1)}$ queries it is already possible to reconstruct at least 75% of the non-edges of a geometric random graph, in both the sparse and dense setting. Finally, we show that the number of queries is indeed of the same order as the number of edges on the basis of simulations., Comment: 21 pages, 8 figures

We provide an evaluation of an analytical workload in a confidential computing environment, combining DuckDB with two technologies: modular columnar encryption in Parquet files (data at rest) and the newest version of the Intel SGX Trusted Execution Environment (TEE), providing a hardware enclave where data in flight can be (more) securely decrypted and processed. One finding is that the "performance tax" for such confidential analytical processing is acceptable compared to not using these technologies. We eventually manage to run TPC-H SF30 with under 2x overhead compared to non-encrypted, non-enclave execution; we show that, specifically, columnar compression and encryption are a good combination. Our second finding consists of dos and don'ts to tune DuckDB to work effectively in this environment. There are various performance hazards: potentially 5x higher cache miss costs due to memory encryption inside the enclave, NUMA penalties, and highly elevated cost of swapping pages in and out of the enclave -- which is also triggered indirectly by using a non-SGX-aware malloc library.

The fine-grained complexity of computing the Fr\'echet distance has been a topic of much recent work, starting with the quadratic SETH-based conditional lower bound by Bringmann from 2014. Subsequent work established largely the same complexity lower bounds for the Fr\'echet distance in 1D. However, the imbalanced case, which was shown by Bringmann to be tight in dimensions $d\geq 2$, was still left open. Filling in this gap, we show that a faster algorithm for the Fr\'echet distance in the imbalanced case is possible: Given two 1-dimensional curves of complexity $n$ and $n^{\alpha}$ for some $\alpha \in (0,1)$, we can compute their Fr\'echet distance in $O(n^{2\alpha} \log^2 n + n \log n)$ time. This rules out a conditional lower bound of the form $O((nm)^{1-\epsilon})$ that Bringmann showed for $d \geq 2$ and any $\varepsilon>0$ in turn showing a strict separation with the setting $d=1$. At the heart of our approach lies a data structure that stores a 1-dimensional curve $P$ of complexity $n$, and supports queries with a curve $Q$ of complexity~$m$ for the continuous Fr\'echet distance between $P$ and $Q$. The data structure has size in $\mathcal{O}(n\log n)$ and uses query time in $\mathcal{O}(m^2 \log^2 n)$. Our proof uses a key lemma that is based on the concept of visiting orders and may be of independent interest. We demonstrate this by substantially simplifying the correctness proof of a clustering algorithm by Driemel, Krivo\v{s}ija and Sohler from 2015.

We study the Fr\'echet queries problem. It is a data structure problem, where we are given a set $S$ of $n$ polygonal curves and a distance threshold $\rho$. The data structure should support queries with a polygonal curve $q$ for the elements of $S$, for which the continuous Fr\'echet distance to $q$ is at most $\rho$. Afshani and Driemel in 2018 studied this problem for two-dimensional polygonal curves and gave upper and lower bounds on the space-query time tradeoff. We study the case that the ambient space of the curves is one-dimensional and show an intimate connection to the well-studied rectangle stabbing problem. Here, we are given a set of hyperrectangles as input and a query with a point $q$ should return all input rectangles that contain this point. Using known data structures for rectangle stabbing or orthogonal range searching this directly leads to a data structure with $\mathcal{O}(n \log ^{t-1} n)$ storage and $\mathcal{O}(\log^{t-1} n+k)$ query time, where $k$ denotes the output size and $t$ can be chosen as the maximum number of vertices of either (a) the stored curves or (b) the query curves. The resulting bounds improve upon the bounds by Afshani and Driemel in both the storage and query time. In addition, we show that known lower bounds for rectangle stabbing and orthogonal range reporting with dimension parameter $d= \lfloor t/2 \rfloor$ can be applied to our problem via reduction. .

Methods to generate realistic non-stationary demand scenarios are a key component for analyzing and optimizing decision policies in supply chains. Typical forecasting techniques recommended in standard inventory control textbooks consist of some form of simple exponential smoothing (SES) for both the estimates for the mean and standard deviation. We study demand generating processes (DGPs) that yield non-stationary demand scenarios, and that are consistent with SES, meaning that SES yields unbiased estimates when applied to the generated demand scenarios. As demand in typical practical settings is discrete and non-negative, we study consistent DGPs on the non-negative integers. We derive conditions under which the existence of such DGPs can be guaranteed, and propose a specific DGP that yields autocorrelated, discrete demands when these conditions are satisfied. Our subsequent simulation study gains further insights into the proposed DGP. It demonstrates that from a given initial forecast, our DGPs yields a diverse set of demand scenarios with a wide range of properties. To show the applicability of the DGP, we apply it to generate demand in a standard inventory problem with full backlogging and a positive lead time. We find that appropriate dynamic base-stock levels can be obtained using a new and relatively simple algorithm, and we demonstrate that this algorithm outperforms relevant benchmarks.

Having previously been the subject of decades of semiconductor research, cadmium arsenide has now reemerged as a topological material, realizing ideal three-dimensional Dirac points at the Fermi level. These topological Dirac points lead to a number of extraordinary transport phenomena, including strong quantum oscillations, large magnetoresistance, ultrahigh mobilities, and Fermi velocities exceeding graphene. The large mobilities persist even in thin films and nanowires of cadmium arsenide, suggesting the involvement of topological surface states. However, computational studies of the surface states in this material are lacking, in part due to the large 80-atom unit cell. Here we present the computed Fermi arc surface states of a cadmium arsenide thin film, based on a tight-binding model derived directly from the electronic structure. We show that despite the close proximity of the Dirac points, the Fermi arcs are very long and straight, extending through nearly the entire Brillouin zone. The shape and spin properties of the Fermi arcs suppress both back- and side- scattering at the surface, which we show by explicit integrals over the phase space. The introduction of a small symmetry-breaking term, expected in a strong electric field, gaps the electronic structure, creating a weak topological insulator phase that exhibits similar transport properties. Crucially, the mechanisms suppressing scattering in this material differ from those in other topological materials such as Weyl semimetals and topological insulators, suggesting a new route for engineering high-mobility devices based on Dirac semimetal surface states., Comment: 8 pages, 5 figures

We present and evaluate the Futhark implementation of reverse-mode automatic differentiation (AD) for the basic blocks of parallel programming: reduce, prefix sum (scan), and reduce by index. We first present derivations of general-case algorithms and then discuss several specializations that result in efficient differentiation of most cases of practical interest. We report an experiment that evaluates the performance of the differentiated code in the context of GPU execution and highlights the impact of the proposed specializations as well as the strengths and weaknesses of differentiating at high level vs. low level (i.e., ``differentiating the memory'')., Comment: Presented at IFL'23 (i.e., 35th Symposium on Implementation and Application of Functional Languages, Aug. 29th - 31st, 2023, Braga, Portugal)

Pancreatic ductal adenocarcinoma (PDAC) is a highly aggressive cancer with limited treatment options. This research proposes a workflow and deep learning-based segmentation models to automatically assess tumor-vessel involvement, a key factor in determining tumor resectability. Correct assessment of resectability is vital to determine treatment options. The proposed workflow involves processing CT scans to segment the tumor and vascular structures, analyzing spatial relationships and the extent of vascular involvement, which follows a similar way of working as expert radiologists in PDAC assessment. Three segmentation architectures (nnU-Net, 3D U-Net, and Probabilistic 3D U-Net) achieve a high accuracy in segmenting veins, arteries, and the tumor. The segmentations enable automated detection of tumor involvement with high accuracy (0.88 sensitivity and 0.86 specificity) and automated computation of the degree of tumor-vessel contact. Additionally, due to significant inter-observer variability in these important structures, we present the uncertainty captured by each of the models to further increase insights into the predicted involvement. This result provides clinicians with a clear indication of tumor-vessel involvement and may be used to facilitate more informed decision-making for surgical interventions. The proposed method offers a valuable tool for improving patient outcomes, personalized treatment strategies and survival rates in pancreatic cancer., Comment: ICCV CVAMD 2023

Charge density waves (CDW) profoundly affect the electronic properties of materials and have an intricate interplay with other collective states, like superconductivity and magnetism. The well-known macroscopic Ginzburg-Landau theory stands out as a theoretical method for describing CDW phenomenology without requiring a microscopic description. In particular, it has been instrumental in understanding the emergence of domain structures in several CDW compounds, as well as the influence of critical fluctuations and the evolution towards or across lock-in transitions. In this context, McMillan's foundational work introduced discommensurations as the objects mediating the transition from commensurate to incommensurate CDW, through an intermediate nearly commensurate phase characterised by an ordered array of phase slips. Here, we extend the simplified, effectively one-dimensional, setting of the original model to a fully two-dimensional analysis. We find exact and numerical solutions for several types of discommensuration patterns and provide a framework for consistently describing multi-component CDW embedded in quasi-two-dimensional atomic lattices., Comment: Conference Proceedings, final version

Reinforcement learning from human feedback (RLHF) can improve the quality of large language model's (LLM) outputs by aligning them with human preferences. We propose a simple algorithm for aligning LLMs with human preferences inspired by growing batch reinforcement learning (RL), which we call Reinforced Self-Training (ReST). Given an initial LLM policy, ReST produces a dataset by generating samples from the policy, which are then used to improve the LLM policy using offline RL algorithms. ReST is more efficient than typical online RLHF methods because the training dataset is produced offline, which allows data reuse. While ReST is a general approach applicable to all generative learning settings, we focus on its application to machine translation. Our results show that ReST can substantially improve translation quality, as measured by automated metrics and human evaluation on machine translation benchmarks in a compute and sample-efficient manner., Comment: 23 pages, 16 figures

One major challenge for living cells is the measurement and prediction of signals corrupted by noise. In general, cells need to make decisions based on their compressed representation of noisy, time-varying signals. Strategies for signal noise mitigation are often tackled using Wiener filtering theory, but this theory cannot account for systems that have limited resources and hence must compress the signal. To study how accurately linear systems can predict noisy, time-varying signals in the presence of a compression constraint, we extend the information bottleneck method. We show that the optimal integration kernel reduces to the Wiener filter in the absence of a compression constraint. This kernel combines a delta function at short times and an exponential function that decays on a timescale that sets the integration time. Moreover, there exists an optimal integration time, which arises from a trade-off between time averaging signal noise and dynamical error. As the level of compression is increased, time averaging becomes harder, and as a result the optimal integration time decreases and the delta peak increases. We compare the behaviour of the optimal system with that of a canonical motif in cell signalling, the push-pull network, finding that the system reacts to signal noise and compression in a similar way.

With more and more demand from devices to use wireless communication networks, there has been an increased interest in resource sharing among operators, to give a better link quality. However, in the analysis of the benefits of resource sharing among these operators, the important factor of co-location is often overlooked. Indeed, often in wireless communication networks, different operators co-locate: they place their base stations at the same locations due to cost efficiency. We therefore use stochastic geometry to investigate the effect of co-location on the benefits of resource sharing. We develop an intricate relation between the co-location factor and the optimal radius to operate the network, which shows that indeed co-location is an important factor to take into account. We also investigate the limiting behavior of the expected gains of sharing, and find that for unequal operators, sharing may not always be beneficial when taking co-location into account.

Background: Synthetic computed tomography (sCT) has been proposed and increasingly clinically adopted to enable magnetic resonance imaging (MRI)-based radiotherapy. Deep learning (DL) has recently demonstrated the ability to generate accurate sCT from fixed MRI acquisitions. However, MRI protocols may change over time or differ between centres resulting in low-quality sCT due to poor model generalisation. Purpose: investigating domain randomisation (DR) to increase the generalisation of a DL model for brain sCT generation. Methods: CT and corresponding T1-weighted MRI with/without contrast, T2-weighted, and FLAIR MRI from 95 patients undergoing RT were collected, considering FLAIR the unseen sequence where to investigate generalisation. A ``Baseline'' generative adversarial network was trained with/without the FLAIR sequence to test how a model performs without DR. Image similarity and accuracy of sCT-based dose plans were assessed against CT to select the best-performing DR approach against the Baseline. Results: The Baseline model had the poorest performance on FLAIR, with mean absolute error (MAE)=106$\pm$20.7 HU (mean$\pm\sigma$). Performance on FLAIR significantly improved for the DR model with MAE=99.0$\pm$14.9 HU, but still inferior to the performance of the Baseline+FLAIR model (MAE=72.6$\pm$10.1 HU). Similarly, an improvement in $\gamma$-pass rate was obtained for DR vs Baseline. Conclusions: DR improved image similarity and dose accuracy on the unseen sequence compared to training only on acquired MRI. DR makes the model more robust, reducing the need for re-training when applying a model on sequences unseen and unavailable for retraining., Comment: Preprint submitted to Physica Medica on 2023-02-16 for review. Also published in Zenodo at https://doi.org/10.5281/zenodo.7742642

The argument of environment-assisted invariance (known as envariance) implying Born's rule is widely used in models for quantum measurement to reason that they must yield the correct statistics, specifically for linear models. However, it has recently been shown that linear collapse models can never give rise to Born's rule. Here, we address this apparent contradiction and point out an inconsistency in the assumptions underlying the arguments based on envariance. We use a construction in which the role of the measurement machine is made explicit and show that the presence of envariance does not imply every measurement will behave according to Born's rule. Rather, it implies that every quantum state allows a measurement machine to be constructed, which yields Born's rule when measuring that particular state. This resolves the paradox and is in agreement with the recent result of objective collapse models necessarily being non-linear.

Medical imaging plays a vital role in modern diagnostics and treatment. The temporal nature of disease or treatment progression often results in longitudinal data. Due to the cost and potential harm, acquiring large medical datasets necessary for deep learning can be difficult. Medical image synthesis could help mitigate this problem. However, until now, the availability of GANs capable of synthesizing longitudinal volumetric data has been limited. To address this, we use the recent advances in latent space-based image editing to propose a novel joint learning scheme to explicitly embed temporal dependencies in the latent space of GANs. This, in contrast to previous methods, allows us to synthesize continuous, smooth, and high-quality longitudinal volumetric data with limited supervision. We show the effectiveness of our approach on three datasets containing different longitudinal dependencies. Namely, modeling a simple image transformation, breathing motion, and tumor regression, all while showing minimal disentanglement. The implementation is made available online at https://github.com/julschoen/Temp-GAN.

Living cells can leverage correlations in environmental fluctuations to predict the future environment and mount a response ahead of time. To this end, cells need to encode the past signal into the output of the intracellular network from which the future input is predicted. Yet, storing information is costly while not all features of the past signal are equally informative on the future input signal. Here, we show, for two classes of input signals, that cellular networks can reach the fundamental bound on the predictive information as set by the information extracted from the past signal: push-pull networks can reach this information bound for Markovian signals, while networks that take a temporal derivative can reach the bound for predicting the future derivative of non-Markovian signals. However, the bits of past information that are most informative about the future signal are also prohibitively costly. As a result, the optimal system that maximizes the predictive information for a given resource cost is, in general, not at the information bound. Applying our theory to the chemotaxis network of Escherichia coli reveals that its adaptive kernel is optimal for predicting future concentration changes over a broad range of background concentrations, and that the system has been tailored to predicting these changes in shallow gradients.

Cellular networks have become one of the critical infrastructures, as many services depend increasingly on wireless connectivity. Therefore, it is important to quantify the resilience of existing cellular network infrastructures against potential risks, ranging from natural disasters to security attacks, that might occur with a low probability but can lead to severe disruption of the services. In this paper, we combine models with public data from national bodies on mobile network operator (MNO) infrastructures, population distribution, and urbanity level to assess the coverage and capacity of a cellular network at a country scale. Our analysis offers insights on the potential weak points that need improvement to ensure a low fraction of disconnected population (FDP) and high fraction of satisfied population (FSP). As a resilience improvement approach, we investigate in which regions and to what extent each MNO can benefit from infrastructure sharing or national roaming, i.e., all MNOs act as a single national operator. As our case study, we focus on Dutch cellular infrastructure and model risks as random failures, correlated failures in a geographic region, and abrupt increase in the number of users. Our analysis shows that there is a wide performance difference across MNOs and geographic regions in terms of FDP and FSP. However, national roaming consistently offers significant benefits, e.g., up to 13% improvement in FDP and up to 55% in FSP when the networks function without any failures., Comment: 20 pages, 9 figures

The inability of Schrodinger's unitary time evolution to describe measurement of a quantum state remains a central foundational problem. It was recently suggested that the unitarity of Schrodinger dynamics can be spontaneously broken, resulting in measurement as an emergent phenomenon in the thermodynamic limit. Here, we introduce a family of models for spontaneous unitarity violation that apply to generic initial superpositions over arbitrarily many states, using either single or multiple state-independent stochastic components. Crucially, we show that Born's probability rule emerges spontaneously in all cases., Comment: 12 pages, 5 figures, appendices added

We show that tilted Weyl semimetals with a spatially varying tilt of the Weyl cones provide a platform for studying analogues to problems in anisotropic optics as well as curved spacetime. Considering particular tilting profiles, we numerically evaluate the time evolution of electronic wave packets and their current densities. We demonstrate that electron trajectories in such systems can be obtained from Fermat's principle in the presence of an inhomogeneous, anisotropic effective refractive index. On the other hand, we show how the electrons dynamics reveal gravitational features and use them to simulate gravitational lensing around a synthetic black hole. These results bridge optical and gravitational analogies in Weyl semimetals, suggesting novel pathways for experimental solid-state electron optics.

The impossibility of describing measurement in quantum mechanics while using a quantum mechanical model for the measurement machine, remains one of its central problems. Objective collapse theories attempt to resolve this problem by proposing alterations to Schroedinger's equation. Here, we present a minimal model for an objective collapse theory that, in contrast to previous proposals, does not employ state dependent stochastic terms in its construction. It is an explicit proof of principle that it is possible for Born's rule to emerge from a stochastic evolution in which no properties of the stochastic process depend on the state being evolved. We propose the presented model as a basis from which more realistic objective collapse theories can be constructed.

Since the spectrum below 6 GHz bands is insufficient to meet the high bandwidth requirements of 5G use cases, 5G networks expand their operation to mmWave bands. However, operation at these bands has to cope with a high penetration loss and susceptibility to blocking objects. Beamforming and multi-connectivity (MC) can together mitigate these challenges. But, to design such an optimal user association scheme leveraging these two features is non-trivial and computationally expensive. Previous studies either considered a fixed MC degree for all users or overlooked beamforming. Driven by the question what is the optimal degree of MC for each user in a mmWave network, we formulate a user association scheme that maximizes throughput considering beam formation and MC. Our numerical analysis shows that there is no one-size-fits-all degree of optimal MC; it depends on the number of users, their rate requirements, locations, and the maximum number of active beams at a BS.Based on the optimal association, we design BEAM-ALIGN: an efficient heuristic with polynomial-time complexity O(|U|log|U|), where |U| is the number of users. Moreover, BEAM-ALIGN only uses local BS information - i.e. the received signal quality at the user. Differing from prior works, BEAM-ALIGN considers beamforming, multiconnectivity and line-of-sight probability. Via simulations, we show that BEAM-ALIGN performs close to optimal in terms of per-user capacity and satisfaction while it outperforms frequently-used signal-to-interference-and-noise-ratio based association schemes. We then show that BEAM-ALIGN has a robust performance under various challenging scenarios: the presence of blockers, rain, and clustered users., Comment: 13 pages, 8 figures

Some low-complexity LDPC decoders suffer from error floors. We apply iteration-dependent weights to the degree-3 variable nodes to solve this problem. When the 802.3ca EPON LDPC code is considered, an error floor decrease of more than 3 orders of magnitude is achieved.

Synthetic horizons in models for quantum matter provide an alternative route to explore fundamental questions of modern gravitational theory. Here, we apply these concepts to the problem of emergence of thermal quantum states in the presence of a horizon, by studying ground-state thermalization due to instantaneous horizon creation in a gravitational setting and its condensed matter analogue. By a sudden quench to position-dependent hopping amplitudes in a one-dimensional lattice model, we establish the emergence of a thermal state accompanying the formation of a synthetic horizon. The resulting temperature for long chains is shown to be identical to the corresponding Unruh temperature, provided that the post-quench Hamiltonian matches the entanglement Hamiltonian of the pre-quench system. Based on detailed analysis of the outgoing radiation we formulate the conditions required for the synthetic horizon to behave as a purely thermal source, paving a way to explore this interplay of quantum-mechanical and gravitational aspects experimentally.

The paper is concerned with the problem of toppling propagation velocity in elastic, domino-like mechanical systems. We build on the work of Efthimiou and Johnson, who developed the theory of perfectly elastic collisions of thin rigid dominoes on a frictional foundation. This theory has been criticised for the lack of correspondence with the experimental observations, in particular, prediction of infinite propagation velocity for zero spacing between dominoes, as well as the inability to represent the collective nature of collisions in real domino systems. In our work we consider a more realistic scenario of dominoes of finite stiffness and obtain a theory of fast elastic domino waves, taking into account a limit velocity of the perturbation propagation in the system of dominoes. Moreover, finite collision time allows to extract dynamic quantities of collisions and establish upper and lower borders for domino separations where the theory could still be applied. Our discrete element simulations support our theoretical findings and shed light on the nature of collective interactions in the nearly-elastic domino chains.

We study the non-perturbative quantum geometry of the open and closed topological string on the resolved conifold and its mirror. Our tools are finite difference equations in the open and closed string moduli and the resurgence analysis of their formal power series solutions. In the closed setting, we derive new finite difference equations for the refined partition function as well as its Nekrasov-Shatashvili (NS) limit. We write down a distinguished analytic solution for the refined difference equation that reproduces the expected non-perturbative content of the refined topological string. We compare this solution to the Borel analysis of the free energy in the NS limit. We find that the singularities of the Borel transform lie on infinitely many rays in the Borel plane and that the Stokes jumps across these rays encode the associated Donaldson-Thomas invariants of the underlying Calabi-Yau geometry. In the open setting, the finite difference equation corresponds to a canonical quantization of the mirror curve. We analyze this difference equation using Borel analysis and exact WKB techniques and identify the 5d BPS states in the corresponding exponential spectral networks. We furthermore relate the resurgence analysis in the open and closed setting. This guides us to a five-dimensional extension of the Nekrasov-Rosly-Shatashvili proposal, in which the NS free energy is computed as a generating function of $q$-difference opers in terms of a special set of spectral coordinates. Finally, we examine two spectral problems describing the corresponding quantum integrable system.

Objective. Neural self-regulation is necessary for achieving control over brain-computer interfaces (BCIs). This can be an arduous learning process especially for motor imagery BCI. Various training methods were proposed to assist users in accomplishing BCI control and increase performance. Notably the use of biased feedback, i.e. non-realistic representation of performance. Benefits of biased feedback on performance and learning vary between users (e.g. depending on their initial level of BCI control) and remain speculative. To disentangle the speculations, we investigate what personality type, initial state and calibration performance (CP) could benefit from a biased feedback. Methods. We conduct an experiment (n=30 for 2 sessions). The feedback provided to each group (n=10) is either positively, negatively or not biased. Results. Statistical analyses suggest that interactions between bias and: 1) workload, 2) anxiety, and 3) self-control significantly affect online performance. For instance, low initial workload paired with negative bias is associated to higher peak performances (86%) than without any bias (69%). High anxiety relates negatively to performance no matter the bias (60%), while low anxiety matches best with negative bias (76%). For low CP, learning rate (LR) increases with negative bias only short term (LR=2%) as during the second session it severely drops (LR=-1%). Conclusion. We unveil many interactions between said human factors and bias. Additionally, we use prediction models to confirm and reveal even more interactions. Significance. This paper is a first step towards identifying optimal biased feedback for a personality type, state, and CP in order to maximize BCI performance and learning., Comment: IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2021

In a recent Letter [Balzer \textit{et al.}, Phys. Rev. Lett. \textbf{121}, 267602 (2018)] it was demonstrated that ions impacting a correlated graphene cluster can excite strongly nonequilibrium states. In particular, this can lead to an enhanced population of bound pairs of electrons with opposite spin -- doublons -- where the doublon number can be increased via multiple ion impacts. These predictions were made based on nonequilibrium Green functions (NEGF) simulations allowing for a time-dependent non-perturbative study of the energy loss of charged particles penetrating a strongly correlated system. Here we extend these simulations to larger clusters and longer simulation times, utilizing the recently developed G1--G2 scheme [Sch\"unzen \textit{et al.}, Phys. Rev. Lett. \textbf{124}, 076601 (2020)] which allows for a dramatic speedup of NEGF simulations. Furthermore, we investigate the dependence of the energy and doublon number on the time interval between ion impacts and on the impact point.

We give a pedagogical introduction to spectral networks and abelianization, as well as their relevance to $\mathcal{N}=2$ supersymmetric field theories in four dimensions. Motivated by a conjecture of Nekrasov-Rosly-Shatashvili, we detail a geometric recipe for computing the effective twisted superpotential for $\mathcal{N}=2$ field theories of class $\mathcal{S}$ as a generating function of the brane of opers, with respect to the spectral coordinates found from abelianization. We present two new examples, the simplest Argyres-Douglas theory and the pure $SU(2)$ gauge theory, while we conjecture the $\epsilon$-expansion of the effective twisted superpotential for the $E_6$ Minahan-Nemeschansky theory., Comment: 102 pages, 42 figures; v2: references added

We have conducted fully relativistic simulations in a class of scalar-tensor theories with derivative self-interactions and screening of local scales. By using high-resolution shock-capturing methods and a non-vanishing shift vector, we have managed to avoid issues plaguing similar attempts in the past. We have first confirmed recent results by ourselves in spherical symmetry, obtained with an approximate approach and pointing at a partial breakdown of the screening in black-hole collapse. Then, we considered the late inspiral and merger of binary neutron stars. We found that screening tends to suppress the (subdominant) dipole scalar emission, but not the (dominant) quadrupole scalar mode. Our results point at quadrupole scalar signals as large as (or even larger than) in Fierz-Jordan-Brans-Dicke theories with the same conformal coupling, for strong-coupling scales in the MeV range that we can simulate., Comment: 9 pages, 6 figures. PRL version (includes Supplemental Material as Appendix)

Modern experiments using nanoscale devices come ever closer to bridging the divide between the quantum and classical realms, bringing experimental tests of objective collapse theories that propose alterations to Schr\"{o}dinger's equation within reach. Such objective collapse theories aim to explain the emergence of classical dynamics in the thermodynamic limit and hence resolve the inconsistency that exists within the axioms of quantum mechanics. Here, we show that requiring the emergence of Born's rule for relative frequencies of measurement outcomes without imposing them as part of any axiom, implies that such objective collapse theories cannot be linear. Previous suggestions for a proof of the emergence of Born's rule in classes of problems that include linear objective collapse theories are analysed and shown to include hidden assumptions.

We consider k-essence, a scalar-tensor theory with first-order derivative self-interactions that can screen local scales from scalar fifth forces, while allowing for sizeable deviations from General Relativity on cosmological scales. We construct fully nonlinear static stellar solutions that show the presence of this screening mechanism, and we use them as initial data for simulations of stellar oscillations and gravitational collapse in spherical symmetry. We find that for k-essence theories of relevance for cosmology, the screening mechanism works in the case of stellar oscillation and suppresses the monopole scalar emission to undetectable levels. In collapsing stars, we find that the Cauchy problem, although locally well posed, can lead to diverging characteristic speeds for the scalar field. By introducing a ''fixing equation'' in the spirit of J. Cayuso, N. Ortiz, and L. Lehner [Phys. Rev. D 96, 084043 (2017)], inspired in turn by dissipative relativistic hydrodynamics, we manage to evolve collapsing neutron stars past the divergence of the characteristic speeds. We show that, in these systems, the screening mechanism is less efficient than for oscillating and static stars, because the collapsing star must shed away all of its scalar hair before forming a black hole. For k-essence theories of relevance for cosmology, the characteristic frequency of the resulting scalar monopole signal is too low for terrestrial detectors, but we conjecture that space-borne interferometers such as LISA might detect it if a supernova explodes in the Galaxy., Comment: 17 pages, 11 figures. Minor changes, matches version published in PRD

Multi-connectivity facilitates higher throughput, shorter delay, and lower outage probability for a user in a wireless network. Considering these promises, a rationale policy for a network operator would be to implement multi-connectivity for all of its users. In this paper, we investigate whether the promises of multi-connectivity also hold in such a setting where all users of a network are connected through multiple links. In particular, we consider a network where every user connects to its k closest base stations. Using a framework of stochastic geometry and probability theory, we obtain analytic expressions for per-user throughput and outage probability of $k$-connectivity networks under several failure models. In contrast to the conclusions of previous research, our analysis shows that per-user throughput decreases with increasing k. However, multi-connected networks are more resilient against failures than single connected networks as reflected with lower outage probability and lead to higher fairness among the users. Consequently, we conclude that rather than implementing multi-connectivity for all users, a network operator should consider it for its users who would benefit from additional links the most, e.g., cell edge users., Comment: This work has been submitted to the IEEE for possible publication

In this paper, we provide degree distributions for $AB$ random geometric graphs, in which points of type $A$ connect to the closest $k$ points of type $B$. The motivating example to derive such degree distributions is in 5G wireless networks with multi-connectivity, where users connect to their closest $k$ base stations. It is important to know how many users a particular base station serves, which gives the degree of that base station. To obtain these degree distributions, we investigate the distribution of area sizes of the $k-$th order Voronoi cells of $B$-points. Assuming that the $A$-points are Poisson distributed, we investigate the amount of users connected to a certain $B$-point, which is equal to the degree of this point. In the simple case where the $B$-points are placed in an hexagonal grid, we show that all $k$-th order Voronoi areas are equal and thus all degrees follow a Poisson distribution. However, this observation does not hold for Poisson distributed $B$-points, for which we show that the degree distribution follows a compound Poisson-Erlang distribution in the 1-dimensional case. We then approximate the degree distribution in the 2-dimensional case with a compound Poisson-Gamma degree distribution and show that this one-parameter fit performs well for different values of $k$. Moreover, we show that for increasing $k$, these degree distributions become more concentrated around the mean. This means that $k$-connected $AB$ random graphs balance the loads of $B$-type nodes more evenly as $k$ increases. Finally, we provide a case study on real data of base stations. We show that with little shadowing in the distances between users and base stations, the Poisson distribution does not capture the degree distribution of these data, especially for $k>1$. However, under strong shadowing, our degree approximations perform quite good even for these non-Poissonian location data., Comment: 23 pages, 13 figures

Accurate and fast assessment of resection margins is an essential part of a dermatopathologist's clinical routine. In this work, we successfully develop a deep learning method to assist the pathologists by marking critical regions that have a high probability of exhibiting pathological features in Whole Slide Images (WSI). We focus on detecting Basal Cell Carcinoma (BCC) through semantic segmentation using several models based on the UNet architecture. The study includes 650 WSI with 3443 tissue sections in total. Two clinical dermatopathologists annotated the data, marking tumor tissues' exact location on 100 WSI. The rest of the data, with ground-truth section-wise labels, is used to further validate and test the models. We analyze two different encoders for the first part of the UNet network and two additional training strategies: a) deep supervision, b) linear combination of decoder outputs, and obtain some interpretations about what the network's decoder does in each case. The best model achieves over 96%, accuracy, sensitivity, and specificity on the test set.

In this paper we introduce a new method to locate highly connected clusters in a network. Our proposed approach adapts the HyperBall algorithm to localize regions with a high density of small subgraph patterns in large graphs in a memory-efficient manner. We use this method to evaluate three measures of subgraph connectivity: conductance, the number of triangles, and transitivity. We demonstrate that our algorithm, applied to these measures, helps to identify clustered regions in graphs, and provides good seed sets for community detection algorithms such as PageRank-Nibble. We analytically obtain the performance guarantees of our new algorithms, and demonstrate their effectiveness in a series of numerical experiments on synthetic and real-world networks.

Horava gravity breaks Lorentz symmetry by introducing a dynamical timelike scalar field (the khronon), which can be used as a preferred time coordinate (thus selecting a preferred space-time foliation). Adopting the khronon as the time coordinate, the theory is invariant only under time reparametrizations and spatial diffeomorphisms. In the infrared limit, this theory is sometimes referred to as khronometric theory. Here, we explicitly construct a generalization of khronometric theory, which avoids the propagation of Ostrogradski modes as a result of a suitable degeneracy condition (although stability of the latter under radiative corrections remains an open question). While this new theory does not have a general-relativistic limit and does not yield a Friedmann-Robertson-Walker-like cosmology on large scales, it still passes, for suitable choices of its coupling constants, local tests on Earth and in the solar system, as well as gravitational-wave tests. We also comment on the possible usefulness of this theory as a toy model of quantum gravity, as it could be completed in the ultraviolet into a 'degenerate Horava gravity' theory that could be perturbatively renormalizable without imposing any projectability condition., Comment: 19 pages, no figures; Comments on the stability under quantum corrections amended in v2; CQG version

Human-computer image generation using Generative Adversarial Networks (GANs) is becoming a well-established methodology for casual entertainment and open artistic exploration. Here, we take the interaction a step further by weaving in carefully structured design elements to transform the activity of ML-assisted imaged generation into a catalyst for large-scale popular dialogue on complex socioscientific problems such as the United Nations Sustainable Development Goals (SDGs) and as a gateway for public participation in research.

Gravitational theories differing from General Relativity may explain the accelerated expansion of the Universe without a cosmological constant. However, to pass local gravitational tests, a "screening mechanism" is needed to suppress, on small scales, the fifth force driving the cosmological acceleration. We consider the simplest of these theories, i.e. a scalar-tensor theory with first-order derivative self-interactions, and study isolated (static and spherically symmetric) non-relativistic and relativistic stars. We produce screened solutions and use them as initial data for non-linear numerical evolutions in spherical symmetry. We find that these solutions are stable under large initial perturbations, as long as they do not cause gravitational collapse. When gravitational collapse is triggered, the characteristic speeds of the scalar evolution equation diverge, even before apparent black-hole or sound horizons form. This casts doubts on whether the dynamical evolution of screened stars may be predicted in these effective field theories., Comment: 6 pages, 3 figures; PRL version

We present a pilot study on crea.blender, a novel co-creative game designed for large-scale, systematic assessment of distinct constructs of human creativity. Co-creative systems are systems in which humans and computers (often with Machine Learning) collaborate on a creative task. This human-computer collaboration raises questions about the relevance and level of human creativity and involvement in the process. We expand on, and explore aspects of these questions in this pilot study. We observe participants play through three different play modes in crea.blender, each aligned with established creativity assessment methods. In these modes, players "blend" existing images into new images under varying constraints. Our study indicates that crea.blender provides a playful experience, affords players a sense of control over the interface, and elicits different types of player behavior, supporting further study of the tool for use in a scalable, playful, creativity assessment., Comment: 4 page, 6 figures, CHI Play

Soccer scouts typically ignore the team balance and team chemistry when evaluating potential signings for their teams. Instead, they focus on the individual qualities of the players in isolation. To overcome this limitation of their recruitment process, this paper takes a first step towards objectively providing insight into the question: How well does a team of soccer players gel? We address that question in both an observational and a predictive setting. In the former setting, we observe the chemistry between players who have actually played together, which is relevant when selecting the best possible line-up for a match. In the latter setting, we predict the chemistry between players who have never played together before, which is particularly relevant to assess the fit of a potential signing with the players who are already on the team. We introduce two chemistry metrics that measure the offensive and defensive chemistry for a pair of players, respectively. The offensive chemistry metric measures the pair's joint performance in terms of scoring goals, whereas the defensive chemistry metric measures their joint performance in preventing their opponents from scoring goals. We compute our metrics for 361 seasons in 106 different competitions and present a number of concrete use cases. For instance, we show that the partnership between Mohamed Salah and Roberto Firmino in Liverpool's 2017/2018 Champions League campaign exhibited the highest mutual chemistry between two players. Furthermore, we show that Mesut \"Ozil's chemistry has rapidly started declining following Alexis S\'anchez' departure to Manchester United in 2018.

Neural networks have recently been established as a viable classification method for imaging mass spectrometry data for tumor typing. For multi-laboratory scenarios however, certain confounding factors may strongly impede their performance. In this work, we introduce Deep Relevance Regularization, a method of restricting what the neural network can focus on during classification, in order to improve the classification performance. We demonstrate how Deep Relevance Regularization robustifies neural networks against confounding factors on a challenging inter-lab dataset consisting of breast and ovarian carcinoma. We further show that this makes the relevance map -- a way of visualizing the discriminative parts of the mass spectrum -- sparser, thereby making the classifier easier to interpret

We compute the quasi-bound state spectra of ultralight scalar and vector fields around rotating black holes. These spectra are determined by the gravitational fine structure constant $\alpha$, which is the ratio of the size of the black hole to the Compton wavelength of the field. When $\alpha$ is small, the energy eigenvalues and instability rates can be computed analytically. Since the solutions vary rapidly near the black hole horizon, ordinary perturbative approximations fail and we must use matched asymptotic expansions to determine the spectra. Our analytical treatment relies on the separability of the equations of motion, and is therefore only applicable to the scalar field and the electric modes of the vector field. However, for slowly-rotating black holes, the equations for the magnetic modes can be written in a separable form, which we exploit to derive their energy eigenvalues and conjecture an analytic form for their instability rates. To check our conjecture, and to extend all results to large values of $\alpha$, we solve for the spectra numerically. We explain how to accurately and efficiently compute these spectra, without relying on separability. This allows us to obtain reliable results for any $\alpha \gtrsim 0.001$ and black holes of arbitrary spin. Our results provide an essential input to the phenomenology of boson clouds around black holes, especially when these are part of binary systems., Comment: 47+25 pages, 16 figures

We describe the exact WKB method from the point of view of abelianization, both for Schr\"odinger operators and for their higher-order analogues (opers). The main new example which we consider is the "$T_3$ equation," an order $3$ equation on the thrice-punctured sphere, with regular singularities at the punctures. In this case the exact WKB analysis leads to consideration of a new sort of Darboux coordinate system on a moduli space of flat $\mathrm{SL}(3)$-connections. We give the simplest example of such a coordinate system, and verify numerically that in these coordinates the monodromy of the $T_3$ equation has the expected asymptotic properties. We also briefly revisit the Schr\"odinger equation with cubic potential and the Mathieu equation from the point of view of abelianization., Comment: v2: references added and minor corrections

Mental Imagery based Brain-Computer Interfaces (MI-BCI) enable their users to control an interface, e.g., a prosthesis, by performing mental imagery tasks only, such as imagining a right arm movement while their brain activity is measured and processed by the system. Designing and using a BCI requires users to learn how to produce different and stable patterns of brain activity for each of the mental imagery tasks. However, current training protocols do not enable every user to acquire the skills required to use BCIs. These training protocols are most likely one of the main reasons why BCIs remain not reliable enough for wider applications outside research laboratories. Learning companions have been shown to improve training in different disciplines, but they have barely been explored for BCIs so far. This article aims at investigating the potential benefits learning companions could bring to BCI training by improving the feedback, i.e., the information provided to the user, which is primordial to the learning process and yet have proven both theoretically and practically inadequate in BCI. This paper first presents the potentials of BCI and the limitations of current training approaches. Then, it reviews both the BCI and learning companion literature regarding three main characteristics of feedback: its appearance, its social and emotional components and its cognitive component. From these considerations, this paper draws some guidelines, identify open challenges and suggests potential solutions to design and use learning companions for BCIs.

We use the method of spectral networks to calculate BPS degeneracies in the Minahan-Nemeschansky $E_7$ theory, as representations of the $E_7$ flavor symmetry. Our results provide another example of a pattern noticed earlier in the Minahan-Nemeschansky $E_6$ theory: when the electromagnetic charge is $n$ times a primitive charge, the BPS index is a positive integer multiple of $(-1)^{n+1} n$. We also calculate BPS degeneracies in the Minahan-Nemeschansky $E_6$ theory for larger charges than were previously computed., Comment: 19 pages

Mental Imagery based Brain-Computer Interfaces (MI-BCI) are a mean to control digital technologies by performing MI tasks alone. Throughout MI-BCI use, human supervision (e.g., experimenter or caregiver) plays a central role. While providing emotional and social feedback, people present BCIs to users and ensure smooth users' progress with BCI use. Though, very little is known about the influence experimenters might have on the results obtained. Such influence is to be expected as social and emotional feedback were shown to influence MI-BCI performances. Furthermore, literature from different fields showed an experimenter effect, and specifically of their gender, on experimental outcome. We assessed the impact of the interaction between experi-menter and participant gender on MI-BCI performances and progress throughout a session. Our results revealed an interaction between participants gender, experimenter gender and progress over runs. It seems to suggest that women experimenters may positively influence partici-pants' progress compared to men experimenters.