title: Counterparts of Far Eastern Guest Stars: Novae, supernovae, or something else?

abstract: Historical observations of transients are crucial for studies of their long-term evolution. This paper forms part of a series of papers in which we develop methods for the analysis of ancient data of transient events and their usability in modern science. Prior research on this subject by other authors has focused on looking for historical supernovae and our earlier work focused on cataclysmic binaries as classical novae. In this study we consider planetary nebulae, symbiotic stars, supernova remnants and pulsars in the search fields of our test sample. We present the possibilities for these object types to flare up visually, give a global overview on their distribution and discuss the objects in our search fields individually. To summarise our results, we provide a table of the most likely identifications of the historical sightings in our test sample and outline our method in order to apply it to further historical records in future works. Highlights of our results include a re-interpretation of two separate sightings as one supernova observation from May 667 to June 668 CE, the remnant of which could possibly be SNR G160.9+02.6. We also suggest the recurrent nova U Sco as a candidate for the appearance observed between Scorpius and Ophiuchus in 891, which could point towards a long-term variability of eruption amplitudes. In addition, we find that the `shiny bright' sighting in 1431 can be linked to the symbiotic binary KT Eri, which erupted as a naked eye classical nova in 2009.


title: On the Number of Linear Regions of Convolutional Neural Networks

abstract: One fundamental problem in deep learning is understanding the outstanding performance of deep Neural Networks (NNs) in practice. One explanation for the superiority of NNs is that they can realize a large class of complicated functions, i.e., they have powerful expressivity. The expressivity of a ReLU NN can be quantified by the maximal number of linear regions it can separate its input space into. In this paper, we provide several mathematical results needed for studying the linear regions of CNNs, and use them to derive the maximal and average numbers of linear regions for one-layer ReLU CNNs. Furthermore, we obtain upper and lower bounds for the number of linear regions of multi-layer ReLU CNNs. Our results suggest that deeper CNNs have more powerful expressivity than their shallow counterparts, while CNNs have more expressivity than fully-connected NNs per parameter.


title: Acme: A Research Framework for Distributed Reinforcement Learning

abstract: Deep reinforcement learning (RL) has led to many recent and groundbreaking advances. However, these advances have often come at the cost of both increased scale in the underlying architectures being trained as well as increased complexity of the RL algorithms used to train them. These increases have in turn made it more difficult for researchers to rapidly prototype new ideas or reproduce published RL algorithms. To address these concerns this work describes Acme, a framework for constructing novel RL algorithms that is specifically designed to enable agents that are built using simple, modular components that can be used at various scales of execution. While the primary goal of Acme is to provide a framework for algorithm development, a secondary goal is to provide simple reference implementations of important or state-of-the-art algorithms. These implementations serve both as a validation of our design decisions as well as an important contribution to reproducibility in RL research. In this work we describe the major design decisions made within Acme and give further details as to how its components can be used to implement various algorithms. Our experiments provide baselines for a number of common and state-of-the-art algorithms as well as showing how these algorithms can be scaled up for much larger and more complex environments. This highlights one of the primary advantages of Acme, namely that it can be used to implement large, distributed RL algorithms that can run at massive scales while still maintaining the inherent readability of that implementation. This work presents a second version of the paper which coincides with an increase in modularity, additional emphasis on offline, imitation and learning from demonstrations algorithms, as well as various new agents implemented as part of Acme.


title: An Online Platform for Automatic Skull Defect Restoration and Cranial Implant Design

abstract: We introduce a fully automatic system for cranial implant design, a common task in cranioplasty operations. The system is currently integrated in Studierfenster (http://studierfenster.tugraz.at/), an online, cloud-based medical image processing platform for medical imaging applications. Enhanced by deep learning algorithms, the system automatically restores the missing part of a skull (i.e., skull shape completion) and generates the desired implant by subtracting the defective skull from the completed skull. The generated implant can be downloaded in the STereoLithography (.stl) format directly via the browser interface of the system. The implant model can then be sent to a 3D printer for in loco implant manufacturing. Furthermore, thanks to the standard format, the user can thereafter load the model into another application for post-processing whenever necessary. Such an automatic cranial implant design system can be integrated into the clinical practice to improve the current routine for surgeries related to skull defect repair (e.g., cranioplasty). Our system, although currently intended for educational and research use only, can be seen as an application of additive manufacturing for fast, patient-specific implant design.


title: High Redshift Long Gamma-Ray Bursts Hubble Diagram as a Test of Basic Cosmological Relations

abstract: We examine the prospects of the high redshift Long Gamma Ray Bursts (LGRB) Hubble Diagram as a test of the basic cosmological principles. Analysis of the Hubble Diagram allows us to test several fundamental cosmological principles using the directly observed flux-distance-redshift relation. Modern LGRB data, together with the correlation between the spectral peak energy and the isotropic-equivalent radiated energy (the so-called Amati relation) can be used for construction of the Hubble Diagram at the model-independent level. We emphasise observational selection effects, which inevitably exist and distort the theoretically predicted relations. An example is the weak and strong gravitational lensing bias effect for high redshift LGRB in the presence of limited observational sensitivity (Malmquist bias). After bias correction, there is a tendency to vacuum dominated models with $\Omega_\Lambda \rightarrow 0.9$, $\Omega_\text{m} \rightarrow 0.1$. Forthcoming gamma-ray observations by the space THESEUS mission together with ground and space based multimessenger facilities will allow us to improve essentially the restrictions on alternative basic principles of cosmological models.


title: Quantum Limited Source Localization and Pair Superresolution under Finite Emission Bandwidth

abstract: Optically localizing a single quasi-monochromatic source to sub-diffractive precisions entails, in the photon-counting limit, a minimum photon cost that scales as the squared ratio of the width, $w$, of the optical system's point-spread function (PSF) and the sought localization precision, $d$, i.e., as $\alpha(w/d)^2$. For sources with a finite emission-frequency spectrum, while the inverse quadratic scaling is expected to remain unchanged, the coefficient $\alpha$ must increase due to a degrading fidelity of localization as the imaging bandwidth increases and PSF undergoes a frequency-dependent widening. We specifically address how rapidly $\alpha$ must increase with increasing width of a flat-top spectral profile of emission of a point source being localized in two dimensions by an imager with a clear circular aperture by calculating quantum Fisher information (QFI), whose inverse yields the lowest possible unbiased-estimation variance of source-localization error. The novel use of prolate spheroidal wave functions as a basis for obtaining a solution of the eigenvalue problem of the single-photon density operator needed for the QFI calculation helps us develop the notion of an effective dimensionality of the continuous-state problem in terms of the associated space-bandwidth parameter. We subsequently extend our considerations of QFI to treat the finite-bandwidth pair superresolution problem in two dimensions, obtaining similar results. We also consider generalizations to emission power spectra of arbitrary profiles.


title: Zero-bias current induced by periodic drive of any shape

abstract: We investigate time-dependent electron current through a quantum dot under external drive (pulses), coupled to leads at zero bias. Simple analytic expressions for current, generated by periodic pulses of any shape, are obtained without any use of the Floquet expansion. We demonstrate that the current, follows a local quench, displays the transient and steady-state behavior, which are described by the same universal function of an external drive. The results are applied for an analysis of the current generated by rectangular and linear form pulses, in comparison with ultra-fast pulses of very high amplitude. Our results are also applicable for study of On-Demand Single-Electron sources and laser driven junctions.


title: Highly Dilute Gas Flows Through A Non-Isothermal Planar Micro-Channel

abstract: This paper reports theoretical and numerical investigations on free molecular gas flows through micro-channels. Both diffusely and specularly reflective channel surfaces are considered. Gaskinetic methods are adopted to develop the analytical solutions for surface and flowfield properties. The crucial steps include constructing the velocity distribution functions (VDFs) for points at the plate surfaces and inside flowfield, and then completing the integration over the related velocity phases. For diffusely reflective surfaces, the VDFs are related to the densities and temperatures at the two exits and the plate temperatures. For surfaces with specular reflections, the VDFs at the plate surface and inside the flowfield are identical, and independent of the surface temperature ratio and the geometric aspect ratio. Based on the VDFs and velocity phases, surface property coefficients (e.g., C_p, C_f, and C_q) and flowfield properties (e.g., density, velocity components, and temperature) are obtained. For the diffusely reflective surface scenario, the mass flow rate can be approximated and the results include four non-dimensional parameters: the aspect ratio, the density ratio, and two temperature ratios. For specularly reflective surface scenario, the surface and flowfield properties are uniform everywhere, the channel aspect ratio and plate temperatures do not have any influence. Particle simulations with the direct simulation Monte Carlo (DSMC) method are performed, and essentially identical results validate the theoretical work. This work is heuristic and can be used to investigate less rarefied micro-channel gaseous flows, for example, aid experimental measurement design for thermal transpiration flows.


title: Sarong rolled around a body demonstrates the force for separating two sheets joined by folding and rolling is very large

abstract: There are a lot of new sciences that have been inspired by common phenomena and even by old traditions practiced in our daily lives. Eventually, it may induce unexpected new technologies after deeply explored. In this paper, inspired by the wearing of traditional cloth, named sarong, by the community in the South East Asian countries and others, we investigated the behavior of sheets folded like rolling of sarong around the stomach. Simple equipment was designed to qualitatively collect the data and combined with simple modeling. Rolling of the sarong around the stomach generates the joining force of two sheets, increasing proportionally to the square of the number of rolling. This finding is potentially applied for developing a method for strongly joining sheets by simply rolling and releasing the join by simply unrolling. This work can also be simply duplicated elsewhere so that it is worthy of teaching materials at undergraduate levels. Both scientific and teaching contents can be extracted simultaneously.


title: Semi-Supervised Hierarchical Drug Embedding in Hyperbolic Space

abstract: Learning accurate drug representation is essential for tasks such as computational drug repositioning and prediction of drug side-effects. A drug hierarchy is a valuable source that encodes human knowledge of drug relations in a tree-like structure where drugs that act on the same organs, treat the same disease, or bind to the same biological target are grouped together. However, its utility in learning drug representations has not yet been explored, and currently described drug representations cannot place novel molecules in a drug hierarchy. Here, we develop a semi-supervised drug embedding that incorporates two sources of information: (1) underlying chemical grammar that is inferred from molecular structures of drugs and drug-like molecules (unsupervised), and (2) hierarchical relations that are encoded in an expert-crafted hierarchy of approved drugs (supervised). We use the Variational Auto-Encoder (VAE) framework to encode the chemical structures of molecules and use the knowledge-based drug-drug similarity to induce the clustering of drugs in hyperbolic space. The hyperbolic space is amenable for encoding hierarchical concepts. Both quantitative and qualitative results support that the learned drug embedding can accurately reproduce the chemical structure and induce the hierarchical relations among drugs. Furthermore, our approach can infer the pharmacological properties of novel molecules by retrieving similar drugs from the embedding space. We demonstrate that the learned drug embedding can be used to find new uses for existing drugs and to discover side-effects. We show that it significantly outperforms baselines in both tasks.


title: Quantum circuit design for universal distribution using a superposition of classical automata

abstract: In this research, we present a quantum circuit design and implementation for a parallel universal linear bounded automata. This circuit is able to accelerate the inference of algorithmic structures in data for discovering causal generative models. The computation model is practically restricted in time and space resources. A classical exhaustive enumeration of all possible programs on the automata is shown for a couple of example cases. The precise quantum circuit design that allows executing a superposition of programs, along with a superposition of inputs as in the standard quantum Turing machine formulation, is presented. This is the first time, a superposition of classical automata is implemented on the circuit model of quantum computation, having the corresponding mechanistic parts of a classical Turing machine. The superposition of programs allows our model to be used for experimenting with the space of program-output behaviors in algorithmic information theory. Our implementations on OpenQL and Qiskit quantum programming language is copy-left and is publicly available on GitHub.


title: Attention Word Embedding

abstract: Word embedding models learn semantically rich vector representations of words and are widely used to initialize natural processing language (NLP) models. The popular continuous bag-of-words (CBOW) model of word2vec learns a vector embedding by masking a given word in a sentence and then using the other words as a context to predict it. A limitation of CBOW is that it equally weights the context words when making a prediction, which is inefficient, since some words have higher predictive value than others. We tackle this inefficiency by introducing the Attention Word Embedding (AWE) model, which integrates the attention mechanism into the CBOW model. We also propose AWE-S, which incorporates subword information. We demonstrate that AWE and AWE-S outperform the state-of-the-art word embedding models both on a variety of word similarity datasets and when used for initialization of NLP models.


title: Linking of letters and the lower central series of free groups

abstract: We develop invariants of the lower central series of free groups through linking of letters, showing they span the rational linear dual of the lower central series subquotients. We build on an approach to Lie coalgebras through operads, setting the stage for generalization to the lower central series Lie algebra of any group. Our approach yields a new co-basis for free Lie algebras. We compare with the classical approach of Fox derivatives. v2: substantial refinement of exposition


title: On the nonlinearity of a tuning fork

abstract: Tuning fork experiments at the undergraduate level usually only demonstrate a tuning fork's linear resonance. In this paper, we introduce an experiment that can be used to measure the nonlinear tuning curve of a regular tuning fork. Using double-grating Doppler interferometry, we achieve measurement accuracy within ten microns. With this experiment setup, we observe typical nonlinear behaviors of the tuning fork such as the softening tuning curve and jump phenomena. Our experiment is inexpensive and easy to operate. It provides an integrated experiment for intermediate-level students and a basis for senior research projects.


title: A Compact Pattern Reconfigurable Antenna Based on Multimode Plane Spiral OAM

abstract: Orbital angular momentum (OAM) has attracted great interest in the past few decades due to its helical phase characteristics. It has been proved that Plane spiral OAM (PSOAM) has potential in pattern reconfiguration of azimuthal domain because it solves the difficulty of mode superposition caused by different main lobe directions of different modes. However, the absence of a compact high-purity multimode PSOAM antenna hinders the development of PSOAM applications. In this paper, a compact high-purity 8-mode PSOAM antenna consisting of a coaxial resonator group (CRG) and a rotating parabolic reflector (RPR) is designed. It works in the X-band with the bandwidth of 140 MHz, and its efficiency is greater than 90$\%$. Amplitude and phase of each PSOAM beam generated by this antenna can be controlled independently owing to its feed network and separate resonators design, hence any target pattern in azimuthal domain can be approximately reconfigured by modes weighting. The simulation and experiment results show that this antenna can make the PSOAM based pattern configuration possible, which will have potential in the OAM based applications.


title: Game Theoretic Approaches in Vehicular Networks: A Survey

abstract: In the era of the Internet of Things (IoT), vehicles and other intelligent components in Intelligent Transportation System (ITS) are connected, forming the Vehicular Networks (VNs) that provide efficient and secure traffic, ubiquitous access to information, and various applications. However, as the number of connected nodes keeps increasing, it is challenging to satisfy various and large amounts of service requests with different Quality of Service (QoS ) and security requirements in the highly dynamic VNs. Intelligent nodes in VNs can compete or cooperate for limited network resources so that either an individual or group objectives can be achieved. Game theory, a theoretical framework designed for strategic interactions among rational decision-makers who faced with scarce resources, can be used to model and analyze individual or group behaviors of communication entities in VNs. This paper primarily surveys the recent advantages of GT used in solving various challenges in VNs. As VNs and GT have been extensively investigate34d, this survey starts with a brief introduction of the basic concept and classification of GT used in VNs. Then, a comprehensive review of applications of GT in VNs is presented, which primarily covers the aspects of QoS and security. Moreover, with the development of fifth-generation (5G) wireless communication, recent contributions of GT to diverse emerging technologies of 5G integrated into VNs are surveyed in this paper. Finally, several key research challenges and possible solutions for applying GT in VNs are outlined.


title: Time-Stretched Femtosecond Lidar Using Microwave Photonic Signal Processing

abstract: A real-time ranging lidar with 0.1 Mega Hertz update rate and few-micrometer resolution incorporating dispersive Fourier transformation and instantaneous microwave frequency measurement is proposed and demonstrated. As time-stretched femtosecond laser pulse passing through an all-fiber Mach-Zehnder Interferometer, where the detection light beam is inserted into the optical path of one arm, the displacement is encoded to the frequency variation of the temporal interferogram. To deal with the challenges in storage and real-time processing of the microwave pulse generated on a photodetector, we turn to all-optical signal processing. A carrier wave is modulated by the time-domain interferogram using an intensity modulator. After that, the frequency variation of the microwave pulse is uploaded to the first order sidebands. Finally, the frequency shift of the sidebands is turned into transmission change through a symmetric-locked frequency discriminator. In experiment, A real-time ranging system with adjustable dynamic range and detection sensitivity is realized by incorporating a programmable optical filter. Standard deviation of 7.64 {\mu}m, overall mean error of 19.10 {\mu}m over 15 mm detection range and standard deviation of 37.73 {\mu}m, overall mean error of 36.63 {\mu}m over 45 mm detection range are obtained respectively.


title: Planar Tur\'an Number of the $\Theta_6$

abstract: Let $\mathcal{F}$ be a nonempty family of graphs. A graph $G$ is called $\mathcal{F}$-\textit{free} if it contains no graph from $\mathcal{F}$ as a subgraph. For a positive integer $n$, the \emph{planar Tur\'an number} of $\F$, denoted by $\ex_{\p}(n,\F)$, is the maximum number of edges in an $n$-vertex $\F$-free planar graph. Let $\Theta_k$ be the family of Theta graphs on $k\geq 4$ vertices, that is, graphs obtained by joining a pair of non-consecutive vertices of a $k$-cycle with an edge. Lan, Shi and Song determined an upper bound $\text{ex}_{\mathcal{P}}(n,\Theta_6)\leq \frac{18}{7}n-\frac{36}{7}$, but for large $n$, they did not verify that the bound is sharp. In this paper, we improve their bound by proving $\text{ex}_{\mathcal{P}}(n,\Theta_6)\leq \frac{18}{7}n-\frac{48}{7}$ and then we demonstrate the existence of infinitely many positive integer $n$ and an $n$-vertex $\Theta_6$-free planar graph attaining the bound.


title: Amnesic Probing: Behavioral Explanation with Amnesic Counterfactuals

abstract: A growing body of work makes use of probing to investigate the working of neural models, often considered black boxes. Recently, an ongoing debate emerged surrounding the limitations of the probing paradigm. In this work, we point out the inability to infer behavioral conclusions from probing results and offer an alternative method that focuses on how the information is being used, rather than on what information is encoded. Our method, Amnesic Probing, follows the intuition that the utility of a property for a given task can be assessed by measuring the influence of a causal intervention that removes it from the representation. Equipped with this new analysis tool, we can ask questions that were not possible before, e.g. is part-of-speech information important for word prediction? We perform a series of analyses on BERT to answer these types of questions. Our findings demonstrate that conventional probing performance is not correlated to task importance, and we call for increased scrutiny of claims that draw behavioral or causal conclusions from probing results.


title: Latent Domain Learning with Dynamic Residual Adapters

abstract: A practical shortcoming of deep neural networks is their specialization to a single task and domain. While recent techniques in domain adaptation and multi-domain learning enable the learning of more domain-agnostic features, their success relies on the presence of domain labels, typically requiring manual annotation and careful curation of datasets. Here we focus on a less explored, but more realistic case: learning from data from multiple domains, without access to domain annotations. In this scenario, standard model training leads to the overfitting of large domains, while disregarding smaller ones. We address this limitation via dynamic residual adapters, an adaptive gating mechanism that helps account for latent domains, coupled with an augmentation strategy inspired by recent style transfer techniques. Our proposed approach is examined on image classification tasks containing multiple latent domains, and we showcase its ability to obtain robust performance across these. Dynamic residual adapters significantly outperform off-the-shelf networks with much larger capacity, and can be incorporated seamlessly with existing architectures in an end-to-end manner.


title: Temporal-Differential Learning in Continuous Environments

abstract: In this paper, a new reinforcement learning (RL) method known as the method of temporal differential is introduced. Compared to the traditional temporal-difference learning method, it plays a crucial role in developing novel RL techniques for continuous environments. In particular, the continuous-time least squares policy evaluation (CT-LSPE) and the continuous-time temporal-differential (CT-TD) learning methods are developed. Both theoretical and empirical evidences are provided to demonstrate the effectiveness of the proposed temporal-differential learning methodology.


title: Toxicity Detection: Does Context Really Matter?

abstract: Moderation is crucial to promoting healthy on-line discussions. Although several `toxicity' detection datasets and models have been published, most of them ignore the context of the posts, implicitly assuming that comments maybe judged independently. We investigate this assumption by focusing on two questions: (a) does context affect the human judgement, and (b) does conditioning on context improve performance of toxicity detection systems? We experiment with Wikipedia conversations, limiting the notion of context to the previous post in the thread and the discussion title. We find that context can both amplify or mitigate the perceived toxicity of posts. Moreover, a small but significant subset of manually labeled posts (5% in one of our experiments) end up having the opposite toxicity labels if the annotators are not provided with context. Surprisingly, we also find no evidence that context actually improves the performance of toxicity classifiers, having tried a range of classifiers and mechanisms to make them context aware. This points to the need for larger datasets of comments annotated in context. We make our code and data publicly available.


title: A Neural Network Model of Lexical Competition during Infant Spoken Word Recognition

abstract: Visual world studies show that upon hearing a word in a target-absent visual context containing related and unrelated items, toddlers and adults briefly direct their gaze towards phonologically related items, before shifting towards semantically and visually related ones. We present a neural network model that processes dynamic unfolding phonological representations and maps them to static internal semantic and visual representations. The model, trained on representations derived from real corpora, simulates this early phonological over semantic/visual preference. Our results support the hypothesis that incremental unfolding of a spoken word is in itself sufficient to account for the transient preference for phonological competitors over both unrelated and semantically and visually related ones. Phonological representations mapped dynamically in a bottom-up fashion to semantic-visual representations capture the early phonological preference effects reported in a visual world task. The semantic-visual preference observed later in such a trial does not require top-down feedback from a semantic or visual system.


title: Constraining the Milky Way Mass with Its Hot Gaseous Halo

abstract: We propose a novel method to constrain the Milky Way (MW) mass $M_{\rm vir}$ with its corona temperature observations. For a given corona density profile, one can derive its temperature distribution assuming a generalized equilibrium model with non-thermal pressure support. While the derived temperature profile decreases substantially with radius, the X-ray-emission-weighted average temperature, which depends most sensitively on $M_{\rm vir}$, is quite uniform toward different sight lines, consistent with X-ray observations. For an Navarro-Frenk-White (NFW) total matter distribution, the corona density profile should be cored, and we constrain $M_{\rm vir}=(1.19$ - $2.95) \times 10^{12} M_{\rm sun}$. For a total matter distribution contributed by an NFW dark matter profile and central baryons, the corona density profile should be cuspy and $M_{\rm vir,dm}=(1.34$ - $5.44) \times 10^{12} M_{\rm sun}$. Non-thermal pressure support leads to even higher values of $M_{\rm vir}$, while a lower MW mass may be possible if the corona is accelerating outward. This method is independent of the total corona mass, its metallicity, and temperature at very large radii.


title: Artificial neural networks for neuroscientists: A primer

abstract: Artificial neural networks (ANNs) are essential tools in machine learning that have drawn increasing attention in neuroscience. Besides offering powerful techniques for data analysis, ANNs provide a new approach for neuroscientists to build models for complex behaviors, heterogeneous neural activity and circuit connectivity, as well as to explore optimization in neural systems, in ways that traditional models are not designed for. In this pedagogical Primer, we introduce ANNs and demonstrate how they have been fruitfully deployed to study neuroscientific questions. We first discuss basic concepts and methods of ANNs. Then, with a focus on bringing this mathematical framework closer to neurobiology, we detail how to customize the analysis, structure, and learning of ANNs to better address a wide range of challenges in brain research. To help the readers garner hands-on experience, this Primer is accompanied with tutorial-style code in PyTorch and Jupyter Notebook, covering major topics.


title: Interpretable modeling for short- and medium-term electricity load forecasting

abstract: We consider the problem of short- and medium-term electricity load forecasting by using past loads and daily weather forecast information. Conventionally, many researchers have directly applied regression analysis. However, interpreting the effect of weather on these loads is difficult with the existing methods. In this study, we build a statistical model that resolves this interpretation issue. A varying coefficient model with basis expansion is used to capture the nonlinear structure of the weather effect. This approach results in an interpretable model when the regression coefficients are nonnegative. To estimate the nonnegative regression coefficients, we employ nonnegative least squares. Three real data analyses show the practicality of our proposed statistical modeling. Two of them demonstrate good forecast accuracy and interpretability of our proposed method. In the third example, we investigate the effect of COVID-19 on electricity loads. The interpretation would help make strategies for energy-saving interventions and demand response.


title: Diophantine approximation by Piatetski-Shapiro primes

abstract: Let $[\,\cdot\,]$ be the floor function. In this paper we show that whenever $\eta$ is real, the constants $\lambda_i$ satisfy some necessary conditions, then for any fixed $1<c<38/37$ there exist infinitely many prime triples $p_1,\, p_2,\, p_3$ satisfying the inequality \begin{equation*} |\lambda_1p_1 + \lambda_2p_2 + \lambda_3p_3+\eta|<(\max p_j)^{{\frac{37c-38}{26c}}}(\log\max p_j)^{10} \end{equation*} and such that $p_i=[n_i^c]$, $i=1,\,2,\,3$.


title: Characterization of domain formation during random sequential adsorption of stiff linear $k$-mers onto a square lattice

abstract: Using computer simulation, we have studied the random sequential adsorption of stiff linear $k$-mers onto a square lattice. Each such particle occupies $k$ adjacent lattice sites. During deposition, the two mutually perpendicular orientations of the particles are equiprobable, hence, a macroscopically isotropic monolayer is formed. However, this monolayer is locally anisotropic, since the deposited particles tend to form domains of particles with the same orientation. Using the "excluded area" concept, we have classified lattice sites into several types and examined how the fraction of each type of lattice site varies as the number of deposited particles increases. The behaviors of these quantities have allowed us to identify the following stages of domain formation (i) the emergence of domain seeds; (ii) the filling of domains; (iii) densification of the domains.


title: The Effects of Mild Over-parameterization on the Optimization Landscape of Shallow ReLU Neural Networks

abstract: We study the effects of mild over-parameterization on the optimization landscape of a simple ReLU neural network of the form $\mathbf{x}\mapsto\sum_{i=1}^k\max\{0,\mathbf{w}_i^{\top}\mathbf{x}\}$, in a well-studied teacher-student setting where the target values are generated by the same architecture, and when directly optimizing over the population squared loss with respect to Gaussian inputs. We prove that while the objective is strongly convex around the global minima when the teacher and student networks possess the same number of neurons, it is not even \emph{locally convex} after any amount of over-parameterization. Moreover, related desirable properties (e.g., one-point strong convexity and the Polyak-{\L}ojasiewicz condition) also do not hold even locally. On the other hand, we establish that the objective remains one-point strongly convex in \emph{most} directions (suitably defined), and show an optimization guarantee under this property. For the non-global minima, we prove that adding even just a single neuron will turn a non-global minimum into a saddle point. This holds under some technical conditions which we validate empirically. These results provide a possible explanation for why recovering a global minimum becomes significantly easier when we over-parameterize, even if the amount of over-parameterization is very moderate.


title: Spectral statistics of Toeplitz matrices

abstract: Spectral statistics of hermitian random Toeplitz matrices with independent identically distributed elements is investigated numerically. It is found that the eigenvalue statistics of complex Toeplitz matrices is surprisingly well approximated by the semi-Poisson distribution belonging to intermediate-type statistics observed in certain pseudo-integrable billiards. The origin of intermediate behaviour could be attributed to the fact that Fourier transformed random Toeplitz matrices have the same slow decay outside the main diagonal as critical random matrix ensembles. The statistical properties of the full spectrum of real random Toeplitz matrices with i.i.d. elements are close to the Poisson distribution but each of their constituted sub-spectra is again well described by the semi-Poisson distribution. The findings open new perspective in intermediate statistics.


title: Uplink Cooperative Interference Cancellation for Cellular-Connected UAV: A Quantize-and-Forward Approach

abstract: Aerial-ground interference is the main obstacle to achieving high spectral efficiency in cellular networks with both traditional terrestrial users and new unmanned aerial vehicle (UAV) users. Due to their strong line-of-sight (LoS) channels with the ground, UAVs could cause/suffer severe interference to/from a large number of non-associated but co-channel base stations (BSs) in their uplink/downlink communications. In this letter, we propose a new cooperative interference cancellation (CIC) scheme for the UAV's uplink communication to mitigate its strong interference to co-channel BSs, which requires only local cooperation between each co-channel BS and its adjacent helping BSs. Specifically, the helping BSs without serving any users in the UAV's communication channel quantize and forward their received signals from the UAV to their aided co-channel BS, which then processes the quantized signals jointly with its own received signal to decode its served terrestrial user's message via canceling the UAV's signal by linear/nonlinear interference cancellation techniques (ICTs). We derive the achievable rates of the proposed CIC scheme with different ICTs as a function of the UAV's transmit power and rate, and thereby unveil the conditions under which the proposed CIC scheme outperforms the existing CIC scheme based on the decode-and-forward (DF) operation of the helping BSs.


title: Pulsation in the white dwarf HE 1017-1352: confirmation of the class of hot DAV stars

abstract: We report the detection of periodic variations on the T_eff ~32 000 K DA white dwarf star HE 1017-1352. We obtained time series photometry using the 4.1 m SOAR telescope on three separate nights for a total of 16.8 h. From the frequency analysis we found four periods of 605 s, 556 s, 508 s and 869 s with significant amplitudes above the 1/1000 false alarm probability detection limit. The detected modes are compatible with low harmonic degree g-mode non-radial pulsations with radial order higher than ~ 9. This detection confirms the pulsation nature of HE 1017-1352 and thus the existence of the new pulsating class of hot DA white dwarf stars. In addition, we detect a long period of 1.52 h, compatible with a rotation period of DA white dwarf stars.


title: SPDEs with non-Lipschitz coefficients and nonhomogeous boundary conditions

abstract: In this paper we establish the strong existence, pathwise uniqueness and a comparison theorem to a stochastic partial differential equation driven by Gaussian colored noise with non-Lipschitz drift, H\"older continuous diffusion coefficients and the spatial domain in finite interval, $[0,1]$, and with Dirichlet, Neumann or mixed nonhomogeneous random conditions imposed on the endpoints. The H\"older continuity of the solution both in time and in space variables is also studied.


title: Semi-supervised deep learning for high-dimensional uncertainty quantification

abstract: Conventional uncertainty quantification methods usually lacks the capability of dealing with high-dimensional problems due to the curse of dimensionality. This paper presents a semi-supervised learning framework for dimension reduction and reliability analysis. An autoencoder is first adopted for mapping the high-dimensional space into a low-dimensional latent space, which contains a distinguishable failure surface. Then a deep feedforward neural network (DFN) is utilized to learn the mapping relationship and reconstruct the latent space, while the Gaussian process (GP) modeling technique is used to build the surrogate model of the transformed limit state function. During the training process of the DFN, the discrepancy between the actual and reconstructed latent space is minimized through semi-supervised learning for ensuring the accuracy. Both labeled and unlabeled samples are utilized for defining the loss function of the DFN. Evolutionary algorithm is adopted to train the DFN, then the Monte Carlo simulation method is used for uncertainty quantification and reliability analysis based on the proposed framework. The effectiveness is demonstrated through a mathematical example.


title: Computing Plan-Length Bounds Using Lengths of Longest Paths

abstract: We devise a method to exactly compute the length of the longest simple path in factored state spaces, like state spaces encountered in classical planning. Although the complexity of this problem is NEXP-Hard, we show that our method can be used to compute practically useful upper-bounds on lengths of plans. We show that the computed upper-bounds are significantly (in many cases, orders of magnitude) better than bounds produced by previous bounding techniques and that they can be used to improve the SAT-based planning.


title: Sensitivity of discrete symmetry tests in the positronium system with the J-PET detector

abstract: Study of certain angular correlations in the three-photon annihilations of the triplet state of positronium, the electron-positron bound state, may be used as a probe of potential CP and CPT-violating effects in the leptonic sector. We present the perspectives of CP and CPT tests using this process recorded with a novel detection system for photons in the positron annihilation energy range, the Jagiellonian PET (J-PET). We demonstrate the capability of this system to register three-photon annihilations with an unprecedented range of kinematical configurations and to measure the CPT-odd correlation between positronium spin and annihilation plane orientation with a precision improved by at least an order of magnitude with respect to present results. We also discuss the the means to control and reduce detector asymmetries in order to allow J-PET to set the first measurement of the correlation between positronium spin and momentum of the most energetic annihilation photon which has never been studied to date.


title: More Practical and Adaptive Algorithms for Online Quantum State Learning

abstract: Online quantum state learning is a recently proposed problem by Aaronson et al. (2018), where the learner sequentially predicts $n$-qubit quantum states based on given measurements on states and noisy outcomes. In the previous work, the algorithms are worst-case optimal in general but fail in achieving tighter bounds in certain simpler or more practical cases. In this paper, we develop algorithms to advance the online learning of quantum states. First, we show that Regularized Follow-the-Leader (RFTL) method with Tallis-2 entropy can achieve an $O(\sqrt{MT})$ total loss with perfect hindsight on the first $T$ measurements with maximum rank $M$. This regret bound depends only on the maximum rank $M$ of measurements rather than the number of qubits, which takes advantage of low-rank measurements. Second, we propose a parameter-free algorithm based on a classical adjusting learning rate schedule that can achieve a regret depending on the loss of best states in hindsight, which takes advantage of low noisy outcomes. Besides these more adaptive bounds, we also show that our RFTL with Tallis-2 entropy algorithm can be implemented efficiently on near-term quantum computing devices, which is not achievable in previous works.


title: Approximate methods for phase retrieval via gauge duality

abstract: We consider the problem of finding a low rank symmetric matrix satisfying a system of linear equations, as appears in phase retrieval. In particular, we solve the gauge dual formulation, but use a fast approximation of the spectral computations to achieve a noisy solution estimate. This estimate is then used as the initialization of an alternating gradient descent scheme over a nonconvex rank-1 matrix factorization formulation. Numerical results on small problems show consistent recovery, with very low computational cost.


title: PlenoptiSign: an optical design tool for plenoptic imaging

abstract: Plenoptic imaging enables a light-field to be captured by a single monocular objective lens and an array of micro lenses attached to an image sensor. Metric distances of the light-field's depth planes remain unapparent prior to acquisition. Recent research showed that sampled depth locations rely on the parameters of the system's optical components. This paper presents PlenoptiSign, which implements these findings as a Python software package to help assist in an experimental or prototyping stage of a plenoptic system.


title: Probing Emergent Semantics in Predictive Agents via Question Answering

abstract: Recent work has shown how predictive modeling can endow agents with rich knowledge of their surroundings, improving their ability to act in complex environments. We propose question-answering as a general paradigm to decode and understand the representations that such agents develop, applying our method to two recent approaches to predictive modeling -action-conditional CPC (Guo et al., 2018) and SimCore (Gregor et al., 2019). After training agents with these predictive objectives in a visually-rich, 3D environment with an assortment of objects, colors, shapes, and spatial configurations, we probe their internal state representations with synthetic (English) questions, without backpropagating gradients from the question-answering decoder into the agent. The performance of different agents when probed this way reveals that they learn to encode factual, and seemingly compositional, information about objects, properties and spatial relations from their physical environment. Our approach is intuitive, i.e. humans can easily interpret responses of the model as opposed to inspecting continuous vectors, and model-agnostic, i.e. applicable to any modeling approach. By revealing the implicit knowledge of objects, quantities, properties and relations acquired by agents as they learn, question-conditional agent probing can stimulate the design and development of stronger predictive learning objectives.


title: Improved SVRG for quadratic functions

abstract: We analyse an iterative algorithm to minimize quadratic functions whose Hessian matrix $H$ is the expectation of a random symmetric $d\times d$ matrix. The algorithm is a variant of the stochastic variance reduced gradient (SVRG). In several applications, including least-squares regressions, ridge regressions, linear discriminant analysis and regularized linear discriminant analysis, the running time of each iteration is proportional to $d$. Under smoothness and convexity conditions, the algorithm has linear convergence. When applied to quadratic functions, our analysis improves the state-of-the-art performance of SVRG up to a logarithmic factor. Furthermore, for well-conditioned quadratic problems, our analysis improves the state-of-the-art running times of accelerated SVRG, and is better than the known matching lower bound, by a logarithmic factor. Our theoretical results are backed with numerical experiments.


title: Is the $X17$ composed of four bare quarks?

abstract: When studying tetraquark states using the method of QCD sum rules, we find some tetraquark currents, such as $\bar u_L \gamma_\mu d_L~\bar d_L \gamma^\mu u_L$ and $\bar u_L \gamma_\mu d_L~\bar d_R \gamma^\mu u_R$, etc. We calculate their correlation functions using the method of operator product expansion, and find that non-perturbative QCD effects do not contribute much to them. This indicates the possible existence of tetraquark states composed of bare quarks with abnormally small masses. We study the possible assignment of the $X17$ as such a state. We argue that the Atomki experiments might observe a new type of nuclear decay process, where sea quarks take away the extra energy of the nucleus. A unique feature of this tetraquark assignment is that we predict two almost degenerate states with significantly different widths.


title: Structure and tidal deformability of a hybrid star within the framework of the field correlator method

abstract: The structure of hybrid stars within the nonperturbative framework of the field correlator method, extended to zero-temperature limit as a quark model, has been studied. For the hadronic sector, we have used the lowest-order constraint variational method by employing AV18 two-body nucleon-nucleon interaction supplemented by the phenomenological Urbana-type three-body force. For an adapted value of the gluon condensate, G2 = 0:006 GeV4, which gives the critical temperature of about Tc ? 170 MeV, stable hybrid stars with a maximum mass of 2:04M? are predicted. The stability of hybrid star has been investigated for a wide range of gluon condensate value, G2, and quark-antiquark potential, V1. A hybrid equation of state fulfills the constraints on tidal deformability and hence on the radii of the stars, extracted from the binary GW170817. Moreover, tidal deformability for different chirp masses and different binary mass ratios of hybrid stars have been studied. The mass-radius relation satisfies the new constraint obtained from the neutron star interior composition explorer (NICER). A comprehensive analysis on the structure of a hybrid star and also its compactness, tidal Love number, and tidal deformability has been conducted for several parameter sets of the quark equation of state. The influence of different crustal equations of state on the mentioned quantities has been studied. Our calculations suggest the value of quark-antiquark potential, V1, to be around 0.08 GeV. The results achieved in this study are in strong concurrence with the other calculations reported on this subject.


title: A New Lower Bound on Graph Gonality

abstract: We define a new graph invariant called the scramble number. We show that the scramble number of a graph is a lower bound for the gonality and an upper bound for the treewidth. Unlike the treewidth, the scramble number is not minor monotone, but it is subgraph monotone and invariant under refinement. We compute the scramble number and gonality of several families of graphs for which these invariants are strictly greater than the treewidth.


title: Moduli Stabilisation and the Holographic Swampland

abstract: We investigate whether Swampland constraints on the low-energy dynamics of weakly coupled, moduli-stabilised string vacua in AdS can be related to inconsistencies of their putative holographic duals or, more generally, recast in terms of CFT data. We find that various swampland consistency constraints are equivalent to a negativity condition on the sign of certain mixed anomalous dimensions. This condition is similar to well-established CFT positivity bounds arising from causality and unitarity, but not known to hold in general. The studied scenarios include LVS, KKLT, and both perturbative and racetrack stabilisation. Interestingly, the LVS vacuum (with $\Delta_{\varphi} = 8.038$) also appears to live very close to a critical value ($\Delta_{\varphi} = 8$) where the anomalous dimensions change sign. We finally point out an intriguing connection to the Swampland Distance Conjecture, both in its original and refined versions.


title: A novel approach for multi-agent cooperative pursuit to capture grouped evaders

abstract: An approach of mobile multi-agent pursuit based on application of self-organizing feature map (SOFM) and along with that reinforcement learning based on agent group role membership function (AGRMF) model is proposed. This method promotes dynamic organization of the pursuers' groups and also makes pursuers' group evader according to their desire based on SOFM and AGRMF techniques. This helps to overcome the shortcomings of the pursuers that they cannot fully reorganize when the goal is too independent in process of AGRMF models operation. Besides, we also discuss a new reward function. After the formation of the group, reinforcement learning is applied to get the optimal solution for each agent. The results of each step in capturing process will finally affect the AGR membership function to speed up the convergence of the competitive neural network. The experiments result shows that this approach is more effective for the mobile agents to capture evaders.


title: Data-Driven Learning of Boolean Networks and Functions by Optimal Causation Entropy Principle (BoCSE)

abstract: Boolean functions and networks are commonly used in the modeling and analysis of complex biological systems, and this paradigm is highly relevant in other important areas in data science and decision making, such as in the medical field and in the finance industry. Automated learning of a Boolean network and Boolean functions, from data, is a challenging task due in part to the large number of unknowns (including both the structure of the network and the functions) to be estimated, for which a brute force approach would be exponentially complex. In this paper we develop a new information theoretic methodology that we show to be significantly more efficient than previous approaches. Building on the recently developed optimal causation entropy principle (oCSE), that we proved can correctly infer networks distinguishing between direct versus indirect connections, we develop here an efficient algorithm that furthermore infers a Boolean network (including both its structure and function) based on data observed from the evolving states at nodes. We call this new inference method, Boolean optimal causation entropy (BoCSE), which we will show that our method is both computationally efficient and also resilient to noise. Furthermore, it allows for selection of a set of features that best explains the process, a statement that can be described as a networked Boolean function reduced order model. We highlight our method to the feature selection in several real-world examples: (1) diagnosis of urinary diseases, (2) Cardiac SPECT diagnosis, (3) informative positions in the game Tic-Tac-Toe, and (4) risk causality analysis of loans in default status. Our proposed method is effective and efficient in all examples.


title: On limit spaces of Riemannian manifolds with volume and integral curvature bounds

abstract: The regularity of limit spaces of Riemannian manifolds with L^p curvature bounds, $p > n/2$, is investigated under no apriori non-collapsing assumption. A regular subset, defined by a local volume growth condition for a limit measure, is shown to carry the structure of a Riemannian manifold. One consequence of this is a compactness theorem for Riemannian manifolds with $L^p$ curvature bounds and an a priori volume growth assumption in the pointed Cheeger-Gromov topology. A different notion of convergence is also studied, which replaces the exhaustion by balls in the pointed Cheeger-Gromov topology with an exhaustion by volume non-collapsed regions. Assuming in addition a lower bound on the Ricci curvature, the compactness theorem is extended to this topology. Moreover, we study how a convergent sequence of manifolds disconnects topologically in the limit. In two dimensions, building on results of Shioya, the structure of limit spaces is described in detail: it is seen to be a union of an incomplete Riemannian surface and 1-dimensional length spaces.


title: Coded Caching for Heterogeneous Wireless Networks

abstract: This chapter provides an overview of coded caching in the context of heterogeneous wireless networks. We begin by briefly describing the key idea behind coded caching and then discuss in detail the impact of various aspects such as non-uniform content popularity, multiple cache access, and interference.


title: Secretary and Online Matching Problems with Machine Learned Advice

abstract: The classical analysis of online algorithms, due to its worst-case nature, can be quite pessimistic when the input instance at hand is far from worst-case. Often this is not an issue with machine learning approaches, which shine in exploiting patterns in past inputs in order to predict the future. However, such predictions, although usually accurate, can be arbitrarily poor. Inspired by a recent line of work, we augment three well-known online settings with machine learned predictions about the future, and develop algorithms that take them into account. In particular, we study the following online selection problems: (i) the classical secretary problem, (ii) online bipartite matching and (iii) the graphic matroid secretary problem. Our algorithms still come with a worst-case performance guarantee in the case that predictions are subpar while obtaining an improved competitive ratio (over the best-known classical online algorithm for each problem) when the predictions are sufficiently accurate. For each algorithm, we establish a trade-off between the competitive ratios obtained in the two respective cases.


title: Go viral or go broadcast? Characterizing the virality and growth of cascades

abstract: Quantifying the virality of cascades is an important question across disciplines such as the transmission of disease, the spread of information and the diffusion of innovations. An appropriate virality metric should be able to disambiguate between a shallow, broadcast-like diffusion process and a deep, multi-generational branching process. Although several valuable works have been dedicated to this field, most of them fail to take the position of the diffusion source into consideration, which makes them fall into the trap of graph isomorphism and would result in imprecise estimation of cascade virality inevitably under certain circumstances. In this paper, we propose a root-aware approach to quantifying the virality of cascades with proper consideration of the root node in a diffusion tree. With applications on synthetic and empirical cascades, we show the properties and potential utility of the proposed virality measure. Based on preferential attachment mechanisms, we further introduce a model to mimic the growth of cascades. The proposed model enables the interpolation between broadcast and viral spreading during the growth of cascades. Through numerical simulations, we demonstrate the effectiveness of the proposed model in characterizing the virality of growing cascades. Our work contributes to the understanding of cascade virality and growth, and could offer practical implications in a range of policy domains including viral marketing, infectious disease and information diffusion.


title: Interpretable Stochastic Block Influence Model: measuring social influence among homophilous communities

abstract: Decision-making on networks can be explained by both homophily and social influence. While homophily drives the formation of communities with similar characteristics, social influence occurs both within and between communities. Social influence can be reasoned through role theory, which indicates that the influences among individuals depend on their roles and the behavior of interest. To operationalize these social science theories, we empirically identify the homophilous communities and use the community structures to capture the "roles", which affect the particular decision-making processes. We propose a generative model named Stochastic Block Influence Model and jointly analyze both the network formation and the behavioral influence within and between different empirically-identified communities. To evaluate the performance and demonstrate the interpretability of our method, we study the adoption decisions of microfinance in an Indian village. We show that although individuals tend to form links within communities, there are strong positive and negative social influences between communities, supporting the weak tie theory. Moreover, we find that communities with shared characteristics are associated with positive influence. In contrast, the communities with a lack of overlap are associated with negative influence. Our framework facilitates the quantification of the influences underlying decision communities and is thus a useful tool for driving information diffusion, viral marketing, and technology adoptions.


title: Fault-Tolerant Distributed-Ledger Implementation of Digital Social Contracts

abstract: A companion paper defined the notion of digital social contracts, presented a design for a social-contracts programming language, and demonstrated its potential utility via example social contracts. The envisioned setup consists of people with genuine identifiers, which are unique and singular cryptographic key pairs, that operate software agents thus identified on their mobile device. The abstract model of digital social contracts consists of a transition system specifying concurrent, non-deterministic asynchronous agents that operate on a shared ledger by performing digital speech acts, which are cryptographically-signed sequentially-indexed digital actions. Here, we address the distributed-ledger implementation of digital social contracts in the presence of faulty agents: we present a design of a fault-tolerant distributed-ledger transition system and show that it implements the abstract shared-ledger model of digital social contracts, and discuss its resilience to faulty agents. The result is a novel ledger architecture that is distributed with a blockchain-per-person (as opposed to centralized with one blockchain for all), partially-ordered (as opposed to totally-ordered), locally-replicated (as opposed to globally-replicated), asynchronous (as opposed to globally-synchronized), peer-to-peer with each agent being both an actor and a validator (as opposed to having dedicated miners, validators, and clients), environmentally-friendly (as opposed to the environmentally-harmful Proof-of-Work), self-sufficient (as opposed to the energy-hogging Proof-of-Work or capital-hogging Proof-of-Stake) and egalitarian (as opposed to the plutocratic Proof-of-Work and Proof-of-Stake).


title: GoodPoint: unsupervised learning of keypoint detection and description

abstract: This paper introduces a new algorithm for unsupervised learning of keypoint detectors and descriptors, which demonstrates fast convergence and good performance across different datasets. The training procedure uses homographic transformation of images. The proposed model learns to detect points and generate descriptors on pairs of transformed images, which are easy for it to distinguish and repeatedly detect. The trained model follows SuperPoint architecture for ease of comparison, and demonstrates similar performance on natural images from HPatches dataset, and better performance on retina images from Fundus Image Registration Dataset, which contain low number of corner-like features. For HPatches and other datasets, coverage was also computed to provide better estimation of model quality.


title: A Smooth Representation of Belief over SO(3) for Deep Rotation Learning with Uncertainty

abstract: Accurate rotation estimation is at the heart of robot perception tasks such as visual odometry and object pose estimation. Deep neural networks have provided a new way to perform these tasks, and the choice of rotation representation is an important part of network design. In this work, we present a novel symmetric matrix representation of the 3D rotation group, SO(3), with two important properties that make it particularly suitable for learned models: (1) it satisfies a smoothness property that improves convergence and generalization when regressing large rotation targets, and (2) it encodes a symmetric Bingham belief over the space of unit quaternions, permitting the training of uncertainty-aware models. We empirically validate the benefits of our formulation by training deep neural rotation regressors on two data modalities. First, we use synthetic point-cloud data to show that our representation leads to superior predictive accuracy over existing representations for arbitrary rotation targets. Second, we use image data collected onboard ground and aerial vehicles to demonstrate that our representation is amenable to an effective out-of-distribution (OOD) rejection technique that significantly improves the robustness of rotation estimates to unseen environmental effects and corrupted input images, without requiring the use of an explicit likelihood loss, stochastic sampling, or an auxiliary classifier. This capability is key for safety-critical applications where detecting novel inputs can prevent catastrophic failure of learned models.


title: Understanding Uncertainty of Edge Computing: New Principle and Design Approach

abstract: Due to the edge's position between the cloud and the users, and the recent surge of deep neural network (DNN) applications, edge computing brings about uncertainties that must be understood separately. Particularly, the edge users' locally specific requirements that change depending on time and location cause a phenomenon called dataset shift, defined as the difference between the training and test datasets' representations. It renders many of the state-of-the-art approaches for resolving uncertainty insufficient. Instead of finding ways around it, we exploit such phenomenon by utilizing a new principle: AI model diversity, which is achieved when the user is allowed to opportunistically choose from multiple AI models. To utilize AI model diversity, we propose Model Diversity Network (MoDNet), and provide design guidelines and future directions for efficient learning driven communication schemes.


title: Tonal harmony and the topology of dynamical score networks

abstract: We introduce the concept of dynamical score networks for the representation and analysis of tonal compositions: a score is interpreted as a dynamical network where every chord is a node and each progression links successive chords. This network can be viewed as a time series of a non-stationary signal, and as such, it can be partitioned for the automatic identification of tonal regions using time series analysis and change point detection without relying on comparisons with pre-determined reference sets or extensive corpora. We demonstrate that the essential features of tonal harmony, centricity, referentiality, directedness and hierarchy, emerge naturally from the network topology and its scale-free properties. Finally, solving for the minimal length path through a route optimization algorithm on these graphs provides an abstraction of harmonic sequences that can be generalized for the conception of generative models of tonal compositional design.


title: Ordinal Non-negative Matrix Factorization for Recommendation

abstract: We introduce a new non-negative matrix factorization (NMF) method for ordinal data, called OrdNMF. Ordinal data are categorical data which exhibit a natural ordering between the categories. In particular, they can be found in recommender systems, either with explicit data (such as ratings) or implicit data (such as quantized play counts). OrdNMF is a probabilistic latent factor model that generalizes Bernoulli-Poisson factorization (BePoF) and Poisson factorization (PF) applied to binarized data. Contrary to these methods, OrdNMF circumvents binarization and can exploit a more informative representation of the data. We design an efficient variational algorithm based on a suitable model augmentation and related to variational PF. In particular, our algorithm preserves the scalability of PF and can be applied to huge sparse datasets. We report recommendation experiments on explicit and implicit datasets, and show that OrdNMF outperforms BePoF and PF applied to binarized data.


title: Data-Driven Prediction of Embryo Implantation Probability Using IVF Time-lapse Imaging

abstract: The process of fertilizing a human egg outside the body in order to help those suffering from infertility to conceive is known as in vitro fertilization (IVF). Despite being the most effective method of assisted reproductive technology (ART), the average success rate of IVF is a mere 20-40%. One step that is critical to the success of the procedure is selecting which embryo to transfer to the patient, a process typically conducted manually and without any universally accepted and standardized criteria. In this paper we describe a novel data-driven system trained to directly predict embryo implantation probability from embryogenesis time-lapse imaging videos. Using retrospectively collected videos from 272 embryos, we demonstrate that, when compared to an external panel of embryologists, our algorithm results in a 12% increase of positive predictive value and a 29% increase of negative predictive value.


title: Conditional Independence Beyond Domain Separability: Discussion of Engelke and Hitz (2020)

abstract: We congratulate Engelke and Hitz on a thought-provoking paper on graphical models for extremes. A key contribution of the paper is the introduction of a novel definition of conditional independence for a multivariate Pareto distribution. Here, we outline a proposal for independence and conditional independence of general random variables whose support is a general set Omega in multidimensional real number space. Our proposal includes the authors' definition of conditional independence, and the analogous definition of independence as special cases. By making our proposal independent of the context of extreme value theory, we highlight the importance of the authors' contribution beyond this particular context.


title: Contingent Convertible Obligations and Financial Stability

abstract: This paper investigates whether a financial system can be made more stable if financial institutions share risk by exchanging contingent convertible (CoCo) debt obligations. The question is framed in a financial network model of debt and equity interlinkages with the addition of a variant of the CoCo that converts continuously when a bank's equity-debt ratio drops to a trigger level. The main theoretical result is a complete characterization of the clearing problem for the interbank debt and equity at the maturity of the obligations. We then introduce stylized networks to study when introducing contingent convertible bonds improves financial stability, as well as specific networks for which contingent convertible bonds do not provide uniformly improved system performance. To return to the main question, we examine the EU financial network at the time of the 2011 EBA stress test to do comparative statics to study the implications of CoCo debt on financial stability. It is found that by replacing all unsecured interbank debt by standardized CoCo interbank debt securities, systemic risk in the EU will decrease and bank shareholder value will increase.


title: DocBank: A Benchmark Dataset for Document Layout Analysis

abstract: Document layout analysis usually relies on computer vision models to understand documents while ignoring textual information that is vital to capture. Meanwhile, high quality labeled datasets with both visual and textual information are still insufficient. In this paper, we present \textbf{DocBank}, a benchmark dataset that contains 500K document pages with fine-grained token-level annotations for document layout analysis. DocBank is constructed using a simple yet effective way with weak supervision from the \LaTeX{} documents available on the arXiv.com. With DocBank, models from different modalities can be compared fairly and multi-modal approaches will be further investigated and boost the performance of document layout analysis. We build several strong baselines and manually split train/dev/test sets for evaluation. Experiment results show that models trained on DocBank accurately recognize the layout information for a variety of documents. The DocBank dataset is publicly available at \url{https://github.com/doc-analysis/DocBank}.


title: The Horizon Run 5 Cosmological Hydrodynamic Simulation: Probing Galaxy Formation from Kilo- to Giga-parsec Scales

abstract: Horizon Run 5 (HR5) is a cosmological hydrodynamical simulation which captures the properties of the Universe on a Gpc scale while achieving a resolution of 1kpc. Inside the simulation box we zoom-in on a high-resolution cuboid region with a volume of $1049\times119\times127\,{\rm cMpc}^3$.The sub-grid physics chosen to model galaxy formation includes radiative heating/cooling, UV background, star formation, supernova feedback, chemical evolution tracking the enrichment of oxygen and iron, the growth of supermassive black holes and feedback from active galactic nuclei (AGN) in the form of a dual jet-heating mode. For this simulation we implemented a hybrid MPI-OMP version of RAMSES, specifically targeted for modern many-core many thread parallel architectures. In addition to the traditional simulation snapshots, light-cone data was generated on the fly. For the post-processing, we extended the Friends-of-Friend (FoF) algorithm and developed a new galaxy finder PGalF to analyse the outputs of HR5. The simulation successfully reproduces observations, such as the cosmic star formation history and connectivity of galaxy distribution, We identify cosmological structures at a wide range of scales, from filaments with a length of several cMpc, to voids with a radius of ~100 cMpc. The simulation also indicates that hydrodynamical effects on small scales impact galaxy clustering up to very large scales near and beyond the baryonic acoustic oscillation (BAO) scale. Hence, caution should be taken when using that scale as a cosmic standard ruler: one needs to carefully understand the corresponding biases. The simulation is expected to be an invaluable asset for the interpretation of upcoming deep surveys of the Universe.


title: Superconductors: The Standing Wave Model and Super-fluid Density

abstract: The standing wave model describes the well-known phenomenon of superconductivity in a new way [1]. Starting from a new definition of superconductivity, a microscopic London relation is derived from first principles. The relation between the macroscopic electric current and the field is derived from this microscopic relation. The coherence length as function of the superfluid density is derived from the microscopic theory. The critical temperature as function of the superfluid density is thus obtained. These results are compared to the experimental work of Bozovic et. al. [2].


title: A tight structure theorem for sumsets

abstract: Let $A = \{0 = a_0 < a_1 < \cdots < a_{\ell + 1} = b\}$ be a finite set of non-negative integers. We prove that the sumset $NA$ has a certain easily-described structure, provided that $N \geqslant b-\ell$, as recently conjectured by Shakan and the first author. We also classify those sets $A$ for which this bound cannot be improved.


title: Pentaquarks with the $qqs\bar{Q}Q$ configuration in the Chiral Quark Model

abstract: We study the five-quark system composed of $qqs\bar{Q}Q$ configuration ($q = u$ or $d$, $Q=b$ or $c$), in the framework of the chiral quark model. In consequence, a series of bound states with heavy flavors are predicted by precise five-body dynamical calculations. We found that taking color-octet structure into consideration always provides more bounding energy than color-singlet structure, and the more heavier quark prevents, the easier to form the bound states. We suggest $qqs\bar{b}b$ configuration is a compact $\bar{b}b$-pair surrounded by three other quarks, while $qqs\bar{b}c$, $qqs\bar{c}b$ and $qqs\bar{c}c$ configurations are molecular states.


title: BadNL: Backdoor Attacks against NLP Models with Semantic-preserving Improvements

abstract: Deep neural networks (DNNs) have progressed rapidly during the past decade and have been deployed in various real-world applications. Meanwhile, DNN models have been shown to be vulnerable to security and privacy attacks. One such attack that has attracted a great deal of attention recently is the backdoor attack. Specifically, the adversary poisons the target model's training set to mislead any input with an added secret trigger to a target class. Previous backdoor attacks predominantly focus on computer vision (CV) applications, such as image classification. In this paper, we perform a systematic investigation of backdoor attack on NLP models, and propose BadNL, a general NLP backdoor attack framework including novel attack methods. Specifically, we propose three methods to construct triggers, namely BadChar, BadWord, and BadSentence, including basic and semantic-preserving variants. Our attacks achieve an almost perfect attack success rate with a negligible effect on the original model's utility. For instance, using the BadChar, our backdoor attack achieves a 98.9% attack success rate with yielding a utility improvement of 1.5% on the SST-5 dataset when only poisoning 3% of the original set. Moreover, we conduct a user study to prove that our triggers can well preserve the semantics from humans perspective.


title: Anomaly Detection Under Controlled Sensing Using Actor-Critic Reinforcement Learning

abstract: We consider the problem of detecting anomalies among a given set of processes using their noisy binary sensor measurements. The noiseless sensor measurement corresponding to a normal process is 0, and the measurement is 1 if the process is anomalous. The decision-making algorithm is assumed to have no knowledge of the number of anomalous processes. The algorithm is allowed to choose a subset of the sensors at each time instant until the confidence level on the decision exceeds the desired value. Our objective is to design a sequential sensor selection policy that dynamically determines which processes to observe at each time and when to terminate the detection algorithm. The selection policy is designed such that the anomalous processes are detected with the desired confidence level while incurring minimum cost which comprises the delay in detection and the cost of sensing. We cast this problem as a sequential hypothesis testing problem within the framework of Markov decision processes, and solve it using the actor-critic deep reinforcement learning algorithm. This deep neural network-based algorithm offers a low complexity solution with good detection accuracy. We also study the effect of statistical dependence between the processes on the algorithm performance. Through numerical experiments, we show that our algorithm is able to adapt to any unknown statistical dependence pattern of the processes.


title: A Hierarchical Deep Convolutional Neural Network and Gated Recurrent Unit Framework for Structural Damage Detection

abstract: Structural damage detection has become an interdisciplinary area of interest for various engineering fields, while the available damage detection methods are being in the process of adapting machine learning concepts. Most machine learning based methods heavily depend on extracted ``hand-crafted" features that are manually selected in advance by domain experts and then, fixed. Recently, deep learning has demonstrated remarkable performance on traditional challenging tasks, such as image classification, object detection, etc., due to the powerful feature learning capabilities. This breakthrough has inspired researchers to explore deep learning techniques for structural damage detection problems. However, existing methods have considered either spatial relation (e.g., using convolutional neural network (CNN)) or temporal relation (e.g., using long short term memory network (LSTM)) only. In this work, we propose a novel Hierarchical CNN and Gated recurrent unit (GRU) framework to model both spatial and temporal relations, termed as HCG, for structural damage detection. Specifically, CNN is utilized to model the spatial relations and the short-term temporal dependencies among sensors, while the output features of CNN are fed into the GRU to learn the long-term temporal dependencies jointly. Extensive experiments on IASC-ASCE structural health monitoring benchmark and scale model of three-span continuous rigid frame bridge structure datasets have shown that our proposed HCG outperforms other existing methods for structural damage detection significantly.


title: Fractional differential relations for the Lerch zeta function

abstract: Starting from a recent result expressing the Lerch zeta function as a fractional derivative, we consider further fractional derivatives of the Lerch zeta function with respect to different variables. We establish a partial differential equation, involving an infinite series of fractional derivatives, which is satisfied by the Lerch zeta function.


title: Deep Generation of Face Images from Sketches

abstract: Recent deep image-to-image translation techniques allow fast generation of face images from freehand sketches. However, existing solutions tend to overfit to sketches, thus requiring professional sketches or even edge maps as input. To address this issue, our key idea is to implicitly model the shape space of plausible face images and synthesize a face image in this space to approximate an input sketch. We take a local-to-global approach. We first learn feature embeddings of key face components, and push corresponding parts of input sketches towards underlying component manifolds defined by the feature vectors of face component samples. We also propose another deep neural network to learn the mapping from the embedded component features to realistic images with multi-channel feature maps as intermediate results to improve the information flow. Our method essentially uses input sketches as soft constraints and is thus able to produce high-quality face images even from rough and/or incomplete sketches. Our tool is easy to use even for non-artists, while still supporting fine-grained control of shape details. Both qualitative and quantitative evaluations show the superior generation ability of our system to existing and alternative solutions. The usability and expressiveness of our system are confirmed by a user study.


title: Greedy Scheduling: A Neural Network Method to Reduce Task Failure in Software Crowdsourcing

abstract: Context: Highly dynamic and competitive crowdsourcing software development (CSD) marketplaces may experience task failure due to unforeseen reasons, such as increased competition over shared supplier resources, or uncertainty associated with a dynamic worker supply. Existing analysis reveals an average task failure ratio of 15.7\% in software crowdsourcing markets. Goal: The objective of this study is to provide a task scheduling recommendation model for software crowdsourcing platforms in order to improve the success and efficiency of software crowdsourcing. Method: We propose a task scheduling method based on neural networks, and develop a system that can predict and analyze task failure probability upon arrival. More specifically, the model uses a range of input variables, including the number of open tasks in the platform, the average task similarity between arriving tasks and open tasks, the winner's monetary prize, and task duration, to predict the probability of task failure on the planned arrival date and two surplus days. This prediction will offer the recommended day associated with the lowest task failure probability to post the task. The proposed model is based on the workflow and data of Topcoder, one of the primary software crowdsourcing platforms. Results: We present a model that suggests the best recommended arrival dates for any task in the project with surplus of two days per task in the project. The model on average provided 4\% lower failure ratio per project.


title: Exceeding Conservative Limits: A Consolidated Analysis on Modern Hardware Margins

abstract: Modern large-scale computing systems (data centers, supercomputers, cloud and edge setups and high-end cyber-physical systems) employ heterogeneous architectures that consist of multicore CPUs, general-purpose many-core GPUs, and programmable FPGAs. The effective utilization of these architectures poses several challenges, among which a primary one is power consumption. Voltage reduction is one of the most efficient methods to reduce power consumption of a chip. With the galloping adoption of hardware accelerators (i.e., GPUs and FPGAs) in large datacenters and other large-scale computing infrastructures, a comprehensive evaluation of the safe voltage reduction levels for each different chip can be employed for efficient reduction of the total power. We present a survey of recent studies in voltage margins reduction at the system level for modern CPUs, GPUs and FPGAs. The pessimistic voltage guardbands inserted by the silicon vendors can be exploited in all devices for significant power savings. On average, voltage reduction can reach 12% in multicore CPUs, 20% in manycore GPUs and 39% in FPGAs.


title: An FPGA Acceleration and Optimization Techniques for 2D LiDAR SLAM Algorithm

abstract: An efficient hardware implementation for Simultaneous Localization and Mapping (SLAM) methods is of necessity for mobile autonomous robots with limited computational resources. In this paper, we propose a resource-efficient FPGA implementation for accelerating scan matching computations, which typically cause a major bottleneck in 2D LiDAR SLAM methods. Scan matching is a process of correcting a robot pose by aligning the latest LiDAR measurements with an occupancy grid map, which encodes the information about the surrounding environment. We exploit an inherent parallelism in the Rao-Blackwellized Particle Filter (RBPF) based algorithms to perform scan matching computations for multiple particles in parallel. In the proposed design, several techniques are employed to reduce the resource utilization and to achieve the maximum throughput. Experimental results using the benchmark datasets show that the scan matching is accelerated by 5.31-8.75x and the overall throughput is improved by 3.72-5.10x without seriously degrading the quality of the final outputs. Furthermore, our proposed IP core requires only 44% of the total resources available in the TUL Pynq-Z2 FPGA board, thus facilitating the realization of SLAM applications on indoor mobile robots.


title: Symbolic dynamics and the stable algebra of matrices

abstract: We give an introduction to the "stable algebra of matrices" as related to certain problems in symbolic dynamics. We consider this stable algebra (especially, shift equivalence and strong shift equivalence) for matrices over general rings as well as various specific rings. This algebra is of independent interest and can be followed with little attention to the symbolic dynamics. We include strong connectionsto algebraic K-theory and the inverse spectral problem for nonnegative matrices. We also review key features of the automorphism group of a shift of finite type, and the work of Kim, Roush and Wagoner giving counterexamples to Williams' Shift Equivalence Conjecture.


title: Periodic Motion Optimization for an Underactuated Mechanical System through Synergistic Structure-Control Design

abstract: In this work, we present the integrated structure-control design of a 2-DOF underactuated mechanical system, aiming to achieve a periodic motion of the end-effector. The desired behavior is generated via input-output linearization, followed by structural optimization of the zero dynamics. Inspired by recent works on the control-oriented design of multibody systems, we define an optimization problem based on the simulation of the system's response. In particular, relevant model parameters are used to match the reference with a specific orbit of the zero dynamics, while also penalizing the input energy. For the considered application, the selected parameters are related to the mechanism's elasticities and mass distribution. Notably, we show that it is possible to reach a desirable trade-off between mass reduction and periodic motion accuracy. With an optimal zero dynamics response available, the control scheme can be completed with established orbital stabilization techniques, ensuring a robust oscillating behavior.


title: DPDnet: A Robust People Detector using Deep Learning with an Overhead Depth Camera

abstract: In this paper we propose a method based on deep learning that detects multiple people from a single overhead depth image with high reliability. Our neural network, called DPDnet, is based on two fully-convolutional encoder-decoder neural blocks based on residual layers. The Main Block takes a depth image as input and generates a pixel-wise confidence map, where each detected person in the image is represented by a Gaussian-like distribution. The refinement block combines the depth image and the output from the main block, to refine the confidence map. Both blocks are simultaneously trained end-to-end using depth images and head position labels. The experimental work shows that DPDNet outperforms state-of-the-art methods, with accuracies greater than 99% in three different publicly available datasets, without retraining not fine-tuning. In addition, the computational complexity of our proposal is independent of the number of people in the scene and runs in real time using conventional GPUs.


title: Effects of Population Co-location Reduction on Cross-county Transmission Risk of COVID-19 in the United States

abstract: The rapid spread of COVID-19 in the United States has imposed a major threat to public health, the real economy, and human well-being. With the absence of effective vaccines, the preventive actions of social distancing and travel reduction are recognized as essential non-pharmacologic approaches to control the spread of COVID-19. Prior studies demonstrated that human movement and mobility drove the spatiotemporal distribution of COVID-19 in China. Little is known, however, about the patterns and effects of co-location reduction on cross-county transmission risk of COVID-19. This study utilizes Facebook co-location data for all counties in the United States from March to early May 2020. The analysis examines the synchronicity and time lag between travel reduction and pandemic growth trajectory to evaluate the efficacy of social distancing in ceasing the population co-location probabilities, and subsequently the growth in weekly new cases. The results show that the mitigation effects of co-location reduction appear in the growth of weekly new cases with one week of delay. Furthermore, significant segregation is found among different county groups which are categorized based on numbers of cases. The results suggest that within-group co-location probabilities remain stable, and social distancing policies primarily resulted in reduced cross-group co-location probabilities (due to travel reduction from counties with large number of cases to counties with low numbers of cases). These findings could have important practical implications for local governments to inform their intervention measures for monitoring and reducing the spread of COVID-19, as well as for adoption in future pandemics. Public policy, economic forecasting, and epidemic modeling need to account for population co-location patterns in evaluating transmission risk of COVID-19 across counties.


title: On Posterior Consistency of Bayesian Factor Models in High Dimensions

abstract: As a principled dimension reduction technique, factor models have been widely adopted in social science, economics, bioinformatics, and many other fields. However, in high-dimensional settings, conducting a 'correct' Bayesianfactor analysis can be subtle since it requires both a careful prescription of the prior distribution and a suitable computational strategy. In particular, we analyze the issues related to the attempt of being "noninformative" for elements of the factor loading matrix, especially for sparse Bayesian factor models in high dimensions, and propose solutions to them. We show here why adopting the orthogonal factor assumption is appropriate and can result in a consistent posterior inference of the loading matrix conditional on the true idiosyncratic variance and the allocation of nonzero elements in the true loading matrix. We also provide an efficient Gibbs sampler to conduct the full posterior inference based on the prior setup from Rockova and George (2016)and a uniform orthogonal factor assumption on the factor matrix.


title: Video-speed Graphene Modulator Arrays for Terahertz Imaging Applications

abstract: Electrically tuneable high mobility charges on graphene yield an efficient electro-optical platform to control and manipulate terahertz (THz) waves. Real-world applications require a multiplex THz device with efficient modulation over a large active area. The trade-off between the efficient gating and switching speed, however, hinders the realization of these applications. Here, we demonstrate a large-format 256-pixel THz modulator which provides high-frame-rate reconfigurable transmission patterns. The time-domain and frequency-domain THz characterizations of graphene devices reveal the relaxation pathways of gate-induced charges and ion packing at graphene-electrolyte interface. The fundamental understanding of these limiting factors enables us to break the trade-off permitting switching frequencies up to 1 kHz. To show the promises of these devices, we demonstrate a single-pixel THz camera which allows spatial and spectroscopic imaging of large-area objects without any moving components. These results provide a significant advancement towards the achievement of non-invasive THz imaging systems using graphene-based platforms.


title: How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions

abstract: Our earlier publications showed semantic tableau admits partial exceptions to the Second Incompleteness Theorem where a formalism recognizes its self consistency and views multiplication as a 3-way relation (rather than as a total function). We now show these boundary-case evasions will collapse if the Law of the Excluded Middle is treated by tableau as a schema of logical axioms (instead of as derived theorems).


title: $\omega \to 3\pi$ and $\omega\pi^{0}$ transition form factor revisited

abstract: In light of recent experimental results, we revisit the dispersive analysis of the $\omega \to 3\pi$ decay amplitude and of the $\omega\pi^0$ transition form factor. Within the framework of the Khuri-Treiman equations, we show that the $\omega \to 3\pi$ Dalitz-plot parameters obtained with a once-subtracted amplitude are in agreement with the latest experimental determination by BESIII. Furthermore, we show that at low energies the $\omega\pi^0$ transition form factor obtained from our determination of the $\omega \to 3\pi$ amplitude is consistent with the data from MAMI and NA60 experiments.


title: A high fidelity heralded squeezing gate

abstract: A universal squeezing gate capable of squeezing arbitrary input states is essential for continuous-variable quantum computation~\cite{PRA79062318,PRL112120504}. However, in present state-of-the-art techniques~\cite{PRA90060302,PRL106240504}, the fidelity of such gates is ultimately limited by the need to create squeezed vacuum modes of unbounded energy. Here we circumvent this fundamental limitation by using a heralded squeezing gate. We propose and experimentally demonstrate a squeezing gate that can achieve near unit fidelity for coherent input states. In particular, for a target squeezing of \SI{2.3}{\dB}, we report a fidelity of \SI{98.5}{\%}. This result cannot be reproduced by conventional schemes even if the currently best available squeezing of \SI{15}{\dB}~\cite{PRL117110801} is utilised when benchmarked on identical detection inefficiencies. Our technique can be applied to non-Gaussian states and provides a promising pathway towards high-fidelity gate operations and fault-tolerant quantum computation.


title: SSumM: Sparse Summarization of Massive Graphs

abstract: Given a graph G and the desired size k in bits, how can we summarize G within k bits, while minimizing the information loss? Large-scale graphs have become omnipresent, posing considerable computational challenges. Analyzing such large graphs can be fast and easy if they are compressed sufficiently to fit in main memory or even cache. Graph summarization, which yields a coarse-grained summary graph with merged nodes, stands out with several advantages among graph compression techniques. Thus, a number of algorithms have been developed for obtaining a concise summary graph with little information loss or equivalently small reconstruction error. However, the existing methods focus solely on reducing the number of nodes, and they often yield dense summary graphs, failing to achieve better compression rates. Moreover, due to their limited scalability, they can be applied only to moderate-size graphs. In this work, we propose SSumM, a scalable and effective graph-summarization algorithm that yields a sparse summary graph. SSumM not only merges nodes together but also sparsifies the summary graph, and the two strategies are carefully balanced based on the minimum description length principle. Compared with state-of-the-art competitors, SSumM is (a) Concise: yields up to 11.2X smaller summary graphs with similar reconstruction error, (b) Accurate: achieves up to 4.2X smaller reconstruction error with similarly concise outputs, and (c) Scalable: summarizes 26X larger graphs while exhibiting linear scalability. We validate these advantages through extensive experiments on 10 real-world graphs.


title: Reinforcement learning and Bayesian data assimilation for model-informed precision dosing in oncology

abstract: Model-informed precision dosing (MIPD) using therapeutic drug/biomarker monitoring offers the opportunity to significantly improve the efficacy and safety of drug therapies. Current strategies comprise model-informed dosing tables or are based on maximum a-posteriori estimates. These approaches, however, lack a quantification of uncertainty and/or consider only part of the available patient-specific information. We propose three novel approaches for MIPD employing Bayesian data assimilation (DA) and/or reinforcement learning (RL) to control neutropenia, the major dose-limiting side effect in anticancer chemotherapy. These approaches have the potential to substantially reduce the incidence of life-threatening grade 4 and subtherapeutic grade 0 neutropenia compared to existing approaches. We further show that RL allows to gain further insights by identifying patient factors that drive dose decisions. Due to its flexibility, the proposed combined DA-RL approach can easily be extended to integrate multiple endpoints or patient-reported outcomes, thereby promising important benefits for future personalized therapies.