title: Measurement of 73Ge(n,g) cross sections and implications for stellar nucleosynthesis

abstract: 73Ge(n,g) cross sections were measured at the neutron time-of-flight facility n_TOF at CERN up to neutron energies of 300 keV, providing for the first time experimental data above 8 keV. Results indicate that the stellar cross section at kT = 30 keV is 1.5 to 1.7 times higher than most theoretical predictions. The new cross sections result in a substantial decrease of 73Ge produced in stars, which would explain the low isotopic abundance of 73Ge in the solar system.


title: A Push-Pull Layer Improves Robustness of Convolutional Neural Networks

abstract: We propose a new layer in Convolutional Neural Networks (CNNs) to increase their robustness to several types of noise perturbations of the input images. We call this a push-pull layer and compute its response as the combination of two half-wave rectified convolutions, with kernels of opposite polarity. It is based on a biologically-motivated non-linear model of certain neurons in the visual system that exhibit a response suppression phenomenon, known as push-pull inhibition. We validate our method by substituting the first convolutional layer of the LeNet-5 and WideResNet architectures with our push-pull layer. We train the networks on nonperturbed training images from the MNIST, CIFAR-10 and CIFAR-100 data sets, and test on images perturbed by noise that is unseen by the training process. We demonstrate that our push-pull layers contribute to a considerable improvement in robustness of classification of images perturbed by noise, while maintaining state-of-the-art performance on the original image classification task.


title: Femtosecond laser patterning of graphene electrodes for thin-film transistors

abstract: The aim of this study is to assess femtosecond laser patterning of graphene in air and in vacuum for the application as source and drain electrodes in thin-film transistors (TFTs). The analysis of the laser-patterned graphene with scanning electron microscopy, atomic force microscopy and Raman spectroscopy showed that processing in vacuum leads to less debris formation and thus re-deposited carbonaceous material on the sample compared to laser processing in air. It was found that the debris reduction due to patterning in vacuum improves the TFT characteristics significantly. Hysteresis disappears, the mobility is enhanced by an order of magnitude and the subthreshold swing is reduced from $S_{sub}~=~2.5~\mbox{V/dec}$ to $S_{sub}~=~1.5~\mbox{V/dec}$.


title: Theoretical impulse threshold for particle dislodgement

abstract: The problem of determining the threshold of motion of a sediment particle resting on the bed of an open channel has historically been dominated by an approach based on the time-space-averaged bed shear stress (i.e. Shields criterion). Recently, experimental studies have promoted an alternative approach to predict the dislodgement threshold, which is based on the impulse of the flow-induced force. Nonetheless, theoretical analyses accompanying these studies result in complex expressions that fail to provide a direct estimate of said impulse threshold. We employ the work-energy principle to derive a prediction of the fundamental impulse threshold that the destabilising hydrodynamic force must overcome in order to achieve full particle dislodgement. For the bed configuration studied, which is composed of spheres, the proposed expression depends on the mobile particle's size and mass, and shows excellent agreement with experimental observations previously published. The derivation presented in this paper may thus represent a robust theoretical framework that aids in the re-interpretation of existing data, as well as in the design of future experiments aimed at analysing the importance of hydrodynamic impulse as criterion for prediction of particle dislodgement.


title: Strong zero modes in a class of generalised Ising spin ladders with plaquette interactions

abstract: We study a class of spin-$1/2$ quantum ladder models with generalised plaquette interactions in the presence of a transverse field. We show that in certain parameter regimes these models have strong zero modes responsible for the long relaxation times of edge spins. By exploiting an infinite set of symmetries in these systems, we show how their Hamiltonians can be represented, in each symmetry sector, by a transverse field Ising chain. Due to the presence of an extensive number of conserved quantities, even if the original system has no disorder, most of these symmetry sectors feature a quasi-random transverse field profile. This representation of the ladder system in terms of a disordered Ising chain allows to explain the features of the edge autocorrelation function of the original system.


title: Electron correlations in the antiproton energy loss distribution in He

abstract: We present ab-initio calculations of the electronic differential energy transfer (DET) cross-sections for antiprotons with energies between $3$keV and $1$MeV interacting with helium. By comparison with simulations employing the mean-field description based on the single-active electron approximation we are able to identify electron correlation effects in the stopping and straggling cross sections. Most remarkably, we find that straggling exceeds the celebrated Bohr straggling limit when correlated shake-up processes are included.


title: Homogeneous nucleation of ice

abstract: Ice nucleation is a process of great relevance in physics, chemistry, technology and environmental sciences, much theoretical and experimental efforts have been devoted to its understanding, but still it remains a topic of intense research. We shed light on this phenomenon by performing atomistic based simulations. Using metadynamics and a carefully designed set of collective variables, reversible transitions between water and ice are able to be simulated. We find that water freezes into a stacking disordered structure with the all-atom TIP4P/Ice model, and the features of the critical nucleus of nucleation at the microscopic level are revealed. Our results are in agreement with recent experimental and other theoretical works and confirm that nucleation is preceded by a large increase in tetrahedrally coordinated water molecules.


title: Crescendo: An Infrastructure-free Ubiquitous Cellular Network-based Localization System

abstract: A ubiquitous outdoor localization system that is easy to deploy and works equally well for all mobile devices is highly-desirable. The GPS, despite its high accuracy, cannot be reliably used for this purpose since it is not available on low-end phones nor in areas with low satellite coverage. The application of classical fingerprinting approaches, on the other hand, is prohibited by excessive maintenance and deployment costs. In this paper, we propose Crescendo, a cellular network-based outdoor localization system that does not require calibration or infrastructure support. Crescendo builds on techniques borrowed from computational geometry to estimate the user's location. Specifically, given the network cells heard by the mobile device it leverages the Voronoi diagram of the network sites to provide an initial ambiguity area and incrementally reduces this area by leveraging pairwise site comparisons and visible cell information. Evaluation of Crescendo in both an urban and a rural area using real data shows median accuracies of 152m and 224m, respectively. This is an improvement over classical techniques by at least 18% and 15%, respectively.


title: Global regularity of optimal mappings in non-convex domains

abstract: In this paper, we establish a global regularity result for the optimal transport problem with the quadratic cost, where the domains may not be convex. This result is obtained by a perturbation argument, using a recent global regularity of optimal transportation in convex domains by the authors.


title: Gamma-Ray Astrophysics in the Time Domain

abstract: The last few years have seen gamma-ray astronomy maturing and advancing in the field of time-domain astronomy, utilizing source variability on timescales over many orders of magnitudes, from a decade down to a few minutes and shorter, depending on the source. This review focuses on some of the key science issues and conceptual developments concerning the timing characteristics of active galactic nuclei (AGN) at gamma-ray energies. It highlights the relevance of adequate statistical tools and illustrates that the developments in the gamma-ray domain bear the potential to fundamentally deepen our understanding of the nature of the emitting source and the link between accretion dynamics, black hole physics, and jet ejection.


title: Incorporating prior information and borrowing information in high-dimensional sparse regression using the horseshoe and variational Bayes

abstract: We introduce a sparse high-dimensional regression approach that can incorporate prior information on the regression parameters and can borrow information across a set of similar datasets. Prior information may for instance come from previous studies or genomic databases, and information borrowed across a set of genes or genomic networks. The approach is based on prior modelling of the regression parameters using the horseshoe prior, with a prior on the sparsity index that depends on external information. Multiple datasets are integrated by applying an empirical Bayes strategy on hyperparameters. For computational efficiency we approximate the posterior distribution using a variational Bayes method. The proposed framework is useful for analysing large-scale data sets with complex dependence structures. We illustrate this by applications to the reconstruction of gene regulatory networks and to eQTL mapping.


title: Sensitivity study of anomalous HZZ couplings at future Higgs factory

abstract: We study the sensitivity of constraining the model independent Higgs-Z-Z coupling under effective theory up to dimension-6 operators at the future Higgs factory. Utilizing the current conceptual design parameters of the Circular Electron Positron Collider, we give the experimental limits for the model independent operators by the total Higgsstrahlung cross section and angular distribution of Z boson decay in the Higgs factory. Especially, we give very small sensitivity limit for the CP violation parameter $\tilde g$, which will be a clear window to test the Standard Model and look for New Physics signal.


title: Revised JNLPBA Corpus: A Revised Version of Biomedical NER Corpus for Relation Extraction Task

abstract: The advancement of biomedical named entity recognition (BNER) and biomedical relation extraction (BRE) researches promotes the development of text mining in biological domains. As a cornerstone of BRE, robust BNER system is required to identify the mentioned NEs in plain texts for further relation extraction stage. However, the current BNER corpora, which play important roles in these tasks, paid less attention to achieve the criteria for BRE task. In this study, we present Revised JNLPBA corpus, the revision of JNLPBA corpus, to broaden the applicability of a NER corpus from BNER to BRE task. We preserve the original entity types including protein, DNA, RNA, cell line and cell type while all the abstracts in JNLPBA corpus are manually curated by domain experts again basis on the new annotation guideline focusing on the specific NEs instead of general terms. Simultaneously, several imperfection issues in JNLPBA are pointed out and made up in the new corpus. To compare the adaptability of different NER systems in Revised JNLPBA and JNLPBA corpora, the F1-measure was measured in three open sources NER systems including BANNER, Gimli and NERSuite. In the same circumstance, all the systems perform average 10% better in Revised JNLPBA than in JNLPBA. Moreover, the cross-validation test is carried out which we train the NER systems on JNLPBA/Revised JNLPBA corpora and access the performance in both protein-protein interaction extraction (PPIE) and biomedical event extraction (BEE) corpora to confirm that the newly refined Revised JNLPBA is a competent NER corpus in biomedical relation application. The revised JNLPBA corpus is freely available at iasl-btm.iis.sinica.edu.tw/BNER/Content/Revised_JNLPBA.zip.


title: On the Impact of Programming Languages on Code Quality

abstract: This paper is a reproduction of work by Ray et al. which claimed to have uncovered a statistically significant association between eleven programming languages and software defects in projects hosted on GitHub. First we conduct an experimental repetition, repetition is only partially successful, but it does validate one of the key claims of the original work about the association of ten programming languages with defects. Next, we conduct a complete, independent reanalysis of the data and statistical modeling steps of the original study. We uncover a number of flaws that undermine the conclusions of the original study as only four languages are found to have a statistically significant association with defects, and even for those the effect size is exceedingly small. We conclude with some additional sources of bias that should be investigated in follow up work and a few best practice recommendations for similar efforts.


title: Secure selections on encrypted multi-writer streams

abstract: Performing searches over encrypted data is a very current and active area. Several efficient solutions have been provided for the single-writer scenario in which all sensitive data originates with one party (the Data Owner) that encrypts it and uploads it to a public repository. Subsequently the Data Owner (or authorized clients, the Query Sources) accesses the encrypted data through a Query Processor which has direct access to the public encrypted repository. Motivated by the recent trend in pervasive data collection, we depart from this model and consider a multi-writer scenario in which data originates with several and mutually untrusted parties. In this new scenario the Data Owner provides public parameters so that each item of the generated data stream can be put into an encrypted stream; moreover, the Data Owner keeps some related secret information needed to generate tokens so that different subscribers can access different subsets of the encrypted stream in clear, as specified by corresponding access policies. We propose a new public-key scheme, Secure Selective Stream (SSS), built upon an Amortized Encryption Scheme (AOE), that can be used to encrypt each item in the stream so that the ciphertexts have size proportional to the un-encrypted data; moreover, encryption and decryption take time linear in the data item size. We provide constructions for SSS and AOE. We provide a game-based and an indistinguishability-based security notions for SSS, we prove that the SSS scheme is game-base secure given that the AOE scheme is game-based secure as well. We prove that AOE is secure under hardness assumptions in the bilinear setting. We provide an implementation in C++ all the basic operations in our multi-writer scenario using one round of communication.


title: A note on the structure of underlying Lie algebras

abstract: Every Lie algebra over a field $E$ gives rise to new Lie algebras over any subfield $F \subseteq E$ by restricting the scalar multiplication. This paper studies the structure of these underlying Lie algebra in relation to the structure of the original Lie algebra, in particular the question how much of the original Lie algebra can be recovered from its underlying Lie algebra over subfields $F$. By introducing the conjugate of a Lie algebra we show that in some specific cases the Lie algebra is completely determined by its underlying Lie algebra. Furthermore we construct examples showing that these assumptions are necessary. As an application, we give for every positive $n$ an example of a real $2$-step nilpotent Lie algebra which has exactly $n$ different bi-invariant complex structures. This answers an open question by Di Scala, Lauret and Vezzoni motivated by their work on quasi-K\"ahler Chern-flat manifolds in differential geometry. The methods we develop work for general Lie algebras and for general Galois extensions $F \subseteq E$, in contrast to the original question which only considered nilpotent Lie algebras of nilpotency class $2$ and the field extension $\mathbb{R} \subseteq \mathbb{C}$. We demonstrate this increased generality by characterizing the complex Lie algebras of dimension $\leq 4$ which are defined over $\mathbb{R}$ and over $\mathbb{Q}$.


title: Swift UVOT near-UV transit observations of WASP-121 b

abstract: Close-in gas planets are subject to continuous photoevaporation that can erode their volatile envelopes. Today, ongoing mass loss has been confirmed in a few individual systems via transit observations in the ultraviolet spectral range. We demonstrate that the Ultraviolet/Optical Telescope (UVOT) onboard the Neil Gehrels Swift Observatory enables photometry to a relative accuracy of about 0.5% and present the first near-UV (200-270 nm, NUV) transit observations of WASP-121 b, a hot Jupiter with one of the highest predicted mass-loss rates. The data cover the orbital phases 0.85 to 1.15 with three visits. We measure a broad-band NUV transit depth of $2.10\pm0.29$%. While still consistent with the optical value of 1.55%, the NUV data indicate excess absorption of 0.55% at a 1.9$\sigma$ level. Such excess absorption is known from the WASP-12 system, and both of these hot Jupiters are expected to undergo mass loss at extremely high rates. With a CLOUDY simulation, we show that absorption lines of Fe II in a dense extended atmosphere can cause broad-band NUV absorption at the 0.5% level. Given the numerous lines of low-ionization metals, the NUV range is a promising tracer of photoevaporation in the hottest gas planets.


title: Broken time-reversal symmetry in superconducting Pr$_{1-x}$La$_{x}$Pt$_{4}$Ge$_{12}$

abstract: The superconducting state of the filled skutterudite alloy series Pr$_{1-x}$La$_{x}$Pt$_{4}$Ge$_{12}$ has been systematically studied by specific heat, zero-field muon spin relaxation ($\mu$SR), and superconducting critical field measurements. An additional inhomogeneous local magnetic field, indicative of broken time-reversal symmetry (TRS), is observed in the superconducting states of the alloys. For $x \lesssim 0.5$ the broken-TRS phase sets in below a temperature $T_m$ distinctly lower than the superconducting transition temperature $T_c$. For $x \gtrsim 0.5$ $T_m \approx T_c$. The local field strength decreases as $x \to 1$, where LaPt$_{4}$Ge$_{12}$ is characterized by conventional pairing. The lower critical field $H_{c1}(T)$ of PrPt$_{4}$Ge$_{12}$ shows the onset of a second quadratic temperature region below $T_q \sim T_m$. Upper critical field $H_{c2}(T)$ measurements suggest multiband superconductivity, and point gap nodes are consistent with the specific heat data. In Pr$_{1-x}$La$_{x}$Pt$_{4}$Ge$_{12}$ only a single specific heat discontinuity is observed at $T_c$, in contrast to the second jump seen in PrOs$_{4}$Sb$_{12}$ below $T_c$. These results suggest that superconductivity in PrPt$_{4}$Ge$_{12}$ is characterized by a complex order parameter.


title: Centered Partition Process: Informative Priors for Clustering

abstract: There is a very rich literature proposing Bayesian approaches for clustering starting with a prior probability distribution on partitions. Most approaches assume exchangeability, leading to simple representations in terms of Exchangeable Partition Probability Functions (EPPF). Gibbs-type priors encompass a broad class of such cases, including Dirichlet and Pitman-Yor processes. Even though there have been some proposals to relax the exchangeability assumption, allowing covariate-dependence and partial exchangeability, limited consideration has been given on how to include concrete prior knowledge on the partition. For example, we are motivated by an epidemiological application, in which we wish to cluster birth defects into groups and we have prior knowledge of an initial clustering provided by experts. As a general approach for including such prior knowledge, we propose a Centered Partition (CP) process that modifies the EPPF to favor partitions close to an initial one. Some properties of the CP prior are described, a general algorithm for posterior computation is developed, and we illustrate the methodology through simulation examples and an application to the motivating epidemiology study of birth defects.


title: First-passage properties of mortal random walks: ballistic behavior, effective reduction of dimensionality, and scaling functions for hierarchical graphs

abstract: We consider a mortal random walker on a family of hierarchical graphs in the presence of some trap sites. The configuration comprising the graph, the starting point of the walk, and the locations of the trap sites is taken to be exactly self-similar as one goes from one generation of the family to the next. Under these circumstances, the total probability that the walker hits a trap is determined exactly as a function of the single-step survival probability $q$ of the mortal walker. On the $n^{\rm th}$ generation graph of the family, this probability is shown to be given by the $n^{\rm th}$ iterate of a certain scaling function or map $q \rightarrow f(q)$. The properties of the map then determine, in each case, the behavior of the trapping probability, the mean time to trapping, the temporal scaling factor governing the random walk dimension on the graph, and other related properties. The formalism is illustrated for the cases of a linear hierarchical lattice and the Sierpinski graphs in $2$ and $3$ Euclidean dimensions. We find an effective reduction of the random walk dimensionality due to the ballistic behavior of the surviving particles induced by the mortality constraint. The relevance of this finding for experiments involving travel times of particles in diffusion-decay systems is discussed.


title: Representation Transfer for Differentially Private Drug Sensitivity Prediction

abstract: Motivation: Human genomic datasets often contain sensitive information that limits use and sharing of the data. In particular, simple anonymisation strategies fail to provide sufficient level of protection for genomic data, because the data are inherently identifiable. Differentially private machine learning can help by guaranteeing that the published results do not leak too much information about any individual data point. Recent research has reached promising results on differentially private drug sensitivity prediction using gene expression data. Differentially private learning with genomic data is challenging because it is more difficult to guarantee the privacy in high dimensions. Dimensionality reduction can help, but if the dimension reduction mapping is learned from the data, then it needs to be differentially private too, which can carry a significant privacy cost. Furthermore, the selection of any hyperparameters (such as the target dimensionality) needs to also avoid leaking private information. Results: We study an approach that uses a large public dataset of similar type to learn a compact representation for differentially private learning. We compare three representation learning methods: variational autoencoders, PCA and random projection. We solve two machine learning tasks on gene expression of cancer cell lines: cancer type classification, and drug sensitivity prediction. The experiments demonstrate significant benefit from all representation learning methods with variational autoencoders providing the most accurate predictions most often. Our results significantly improve over previous state-of-the-art in accuracy of differentially private drug sensitivity prediction.


title: An efficient ADER discontinuous Galerkin scheme for directly solving Hamilton-Jacobi equation

abstract: This paper proposes an efficient ADER (Arbitrary DERivatives in space and time) discontinuous Galerkin (DG) scheme to directly solve the Hamilton-Jacobi equation. Unlike multi-stage Runge-Kutta methods used in the Runge-Kutta DG (RKDG) schemes, the ADER scheme is one-stage in time discretization, which is desirable in many applications. The ADER scheme used here relies on a local continuous spacetime Galerkin predictor instead of the usual Cauchy-Kovalewski procedure to achieve high order accuracy both in space and time. In such predictor step, a local Cauchy problem in each cell is solved based on a weak formulation of the original equations in spacetime. The resulting spacetime representation of the numerical solution provides the temporal accuracy that matches the spatial accuracy of the underlying DG solution. The scheme is formulated in the modal space and the volume integral and the numerical fluxes at the cell interfaces can be explicitly written. The explicit formulas of the scheme at third order is provided on two-dimensional structured meshes. The computational complexity of the ADER-DG scheme is compared to that of the RKDG scheme. Numerical experiments are also provided to demonstrate the accuracy and efficiency of our scheme.


title: Tracking the connection between disorder and energy landscape in glasses using geologically hyperaged amber

abstract: Fossil amber offers the unique opportunity of investigating an amorphous material which has been exploring its energy landscape for more than 110 Myears of natural aging. By applying different x-ray scattering methods to amber before and after annealing the sample to erase its thermal history, we identify a link between the potential energy landscape and the structural and vibrational properties of glasses. We find that hyperaging induces a depletion of the vibrational density of states in the THz region, also ruling the sound dispersion and attenuation properties of the corresponding acoustic waves. Critically, this is accompanied by a densification with structural implications different in nature from that caused by hydrostatic compression. Our results, rationalized within the framework of fluctuating elasticity theory, reveal how upon approaching the bottom of the potential energy landscape (9% decrease in the fictive temperature $T_f$) the elastic matrix becomes increasingly less disordered (6%) and longer-range correlated (22%).


title: Partially Exchangeable Networks and Architectures for Learning Summary Statistics in Approximate Bayesian Computation

abstract: We present a novel family of deep neural architectures, named partially exchangeable networks (PENs) that leverage probabilistic symmetries. By design, PENs are invariant to block-switch transformations, which characterize the partial exchangeability properties of conditionally Markovian processes. Moreover, we show that any block-switch invariant function has a PEN-like representation. The DeepSets architecture is a special case of PEN and we can therefore also target fully exchangeable data. We employ PENs to learn summary statistics in approximate Bayesian computation (ABC). When comparing PENs to previous deep learning methods for learning summary statistics, our results are highly competitive, both considering time series and static models. Indeed, PENs provide more reliable posterior samples even when using less training data.


title: Detection of Alzheimers Disease from MRI using Convolutional Neural Networks, Exploring Transfer Learning And BellCNN

abstract: There is a need for automatic diagnosis of certain diseases from medical images that could help medical practitioners for further assessment towards treating the illness. Alzheimers disease is a good example of a disease that is often misdiagnosed. Alzheimers disease (Hear after referred to as AD), is caused by atrophy of certain brain regions and by brain cell death and is the leading cause of dementia and memory loss [1]. MRI scans reveal this information but atrophied regions are different for different individuals which makes the diagnosis a bit more trickier and often gets misdiagnosed [1, 13]. We believe that our approach to this particular problem would improve the assessment quality by pre-flagging the images which are more likely to have AD. We propose two solutions to this; one with transfer learning [9] and other by BellCNN [14], a custom made Convolutional Neural Network (Hear after referred to as CNN). Advantages and disadvantages of each approach will also be discussed in their respective sections. The dataset used for this project is provided by Open Access Series of Imaging Studies (Hear after referred to as OASIS) [2, 3, 4], which contains over 400 subjects, 100 of whom have mild to severe dementia. The dataset has labeled these subjects by two standards of diagnosis; MiniMental State Examination (Hear after referred to as MMSE) and Clinical Dementia Rating (Hear after referred to as CDR). These are some of the general tools and concepts which are prerequisites to our solution; CNN [5, 6], Neural Networks [10] (Hear after referred to as NN), Anaconda bundle for python, Regression, Tensorflow [7]. Keywords: Alzheimers Disease, Convolutional Neural Network, BellCNN, Image Recognition, Machine Learning, MRI, OASIS, Tensorflow


title: Multikernel activation functions: formulation and a case study

abstract: The design of activation functions is a growing research area in the field of neural networks. In particular, instead of using fixed point-wise functions (e.g., the rectified linear unit), several authors have proposed ways of learning these functions directly from the data in a non-parametric fashion. In this paper we focus on the kernel activation function (KAF), a recently proposed framework wherein each function is modeled as a one-dimensional kernel model, whose weights are adapted through standard backpropagation-based optimization. One drawback of KAFs is the need to select a single kernel function and its eventual hyper-parameters. To partially overcome this problem, we motivate an extension of the KAF model, in which multiple kernels are linearly combined at every neuron, inspired by the literature on multiple kernel learning. We provide an application of the resulting multi-KAF on a realistic use case, specifically handwritten Latin OCR, on a large dataset collected in the context of the `In Codice Ratio' project. Results show that multi-KAFs can improve the accuracy of the convolutional networks previously developed for the task, with faster convergence, even with a smaller number of overall parameters.


title: Reconstruction of 3D Porous Media From 2D Slices

abstract: In many branches of earth sciences, the problem of rock study on the micro-level arises. However, a significant number of representative samples is not always feasible. Thus the problem of the generation of samples with similar properties becomes actual. In this paper, we propose a novel deep learning architecture for three-dimensional porous media reconstruction from two-dimensional slices. We fit a distribution on all possible three-dimensional structures of a specific type based on the given dataset of samples. Then, given partial information (central slices), we recover the three-dimensional structure around such slices as the most probable one according to that constructed distribution. Technically, we implement this in the form of a deep neural network with encoder, generator and discriminator modules. Numerical experiments show that this method provides a good reconstruction in terms of Minkowski functionals.


title: Representation Learning for Heterogeneous Information Networks via Embedding Events

abstract: Network representation learning (NRL) has been widely used to help analyze large-scale networks through mapping original networks into a low-dimensional vector space. However, existing NRL methods ignore the impact of properties of relations on the object relevance in heterogeneous information networks (HINs). To tackle this issue, this paper proposes a new NRL framework, called Event2vec, for HINs to consider both quantities and properties of relations during the representation learning process. Specifically, an event (i.e., a complete semantic unit) is used to represent the relation among multiple objects, and both event-driven first-order and second-order proximities are defined to measure the object relevance according to the quantities and properties of relations. We theoretically prove how event-driven proximities can be preserved in the embedding space by Event2vec, which utilizes event embeddings to facilitate learning the object embeddings. Experimental studies demonstrate the advantages of Event2vec over state-of-the-art algorithms on four real-world datasets and three network analysis tasks (including network reconstruction, link prediction, and node classification).


title: The collective behaviour of ensembles of condensing liquid drops on heterogeneous inclined substrates

abstract: Employing a long-wave mesoscopic hydrodynamic model for the film height evolution we study ensembles of pinned and sliding drops of a volatile liquid that continuously condense onto a chemically heterogeneous inclined substrate. Our analysis combines, on the one hand, path continuation techniques to determine bifurcation diagrams for the depinning of single drops of nonvolatile liquid on single hydrophilic spots on a partially wettable substrate and, on the other hand, time simulations of growth and depinning of individual condensing drops as well as of the long-time behaviour of large ensembles of such drops. Pinned drops grow on the hydrophilic spots, depin and slide along the substrate while merging with other pinned drops and smaller drops that slide more slowly, and possibly undergo a pearling instability. As a result, the collective behaviour converges to a stationary state where condensation and outflow balance. The main features of the emerging drop size distribution can then be related to single-drop bifurcation diagrams.


title: A Complexity-Efficient High Resolution Propagation Parameter Estimation Algorithm for Ultra-Wideband Large-Scale Uniform Circular Array

abstract: Millimeter wave (mm-wave) communication with large-scale antenna array configuration is seen as the key enabler of the next generation communication systems. Accurate knowledge of the mm-wave propagation channels is fundamental and essential. In this contribution, a novel complexity-efficient high resolution parameter estimation (HRPE) algorithm is proposed for the mm-wave channel with large-scale uniform circular array (UCA) applied. The proposed algorithm is able to obtain the high-resolution estimation results of the spherical channel propagation parameters. The prior channel information in the delay domain, i.e., the delay trajectories of individual propagation paths observed across the array elements, is exploited, by combining the high-resolution estimation principle and the phase mode excitation technique. Fast initializations, effective interference cancellations and reduced searching spaces achieved by the proposed schemes significantly decrease the algorithm complexity. Furthermore, the channel spatial non-stationarity in path gain across the array elements is considered for the first time in the literature for propagation parameter estimation, which is beneficial to obtain more realistic results as well as to decrease the complexity. A mm-wave measurement campaign at the frequency band of 28-30 GHz using a large-scale UCA is exploited to demonstrate and validate the proposed HRPE algorithm.


title: Automatic Whole-body Bone Age Assessment Using Deep Hierarchical Features

abstract: Bone age assessment gives us evidence to analyze the children growth status and the rejuvenation involved chronological and biological ages. All the previous works consider left-hand X-ray image of a child in their works. In this paper, we carry out a study on estimating human age using whole-body bone CT images and a novel convolutional neural network. Our model with additional connections shows an effective way to generate a massive number of vital features while reducing overfitting influence on small training data in the medical image analysis research area. A dataset and a comparison with common deep architectures will be provided for future research in this field.


title: A note on some conjectures about combinatorial models for RNA secondary structures

abstract: We resolve two conjectures of Black-Drellich-Tymoczko about the numbers of valid plane trees for given primary sequences.


title: Uplink Sum-Rate and Power Scaling Laws for Multi-User Massive MIMO-FBMC Systems

abstract: This paper analyses the performance of filter bank multicarrier (FBMC) signaling in conjunction with offset quadrature amplitude modulation (OQAM) in multi-user (MU) massive multiple-input multiple-output (MIMO) systems. Initially, closed form expressions are derived for tight lower bounds corresponding to the achievable uplink sum-rates for FBMC-based single-cell MU massive MIMO systems relying on maximum ratio combining (MRC), zero forcing (ZF) and minimum mean square error (MMSE) receiver processing with/without perfect channel state information (CSI) at the base station (BS). This is achieved by exploiting the statistical properties of the intrinsic interference that is characteristic of FBMC systems. Analytical results are also developed for power scaling in the uplink of MU massive MIMO-FBMC systems. The above analysis of the achievable sum-rates and corresponding power scaling laws is subsequently extended to multi-cell scenarios considering both perfect as well as imperfect CSI, and the effect of pilot contamination. The delay-spread-induced performance erosion imposed on the linear processing aided BS receiver is numerically quantified by simulations. Numerical results are presented to demonstrate the close match between our analysis and simulations, and to illustrate and compare the performance of FBMC and traditional orthogonal frequency division multiplexing (OFDM)-based MU massive MIMO systems.


title: Applying Visual Domain Style Transfer and Texture Synthesis Techniques to Audio - Insights and Challenges

abstract: Style transfer is a technique for combining two images based on the activations and feature statistics in a deep learning neural network architecture. This paper studies the analogous task in the audio domain and takes a critical look at the problems that arise when adapting the original vision-based framework to handle spectrogram representations. We conclude that CNN architectures with features based on 2D representations and convolutions are better suited for visual images than for time-frequency representations of audio. Despite the awkward fit, experiments show that the Gram matrix determined "style" for audio is more closely aligned with timbral signatures without temporal structure whereas network layer activity determining audio "content" seems to capture more of the pitch and rhythmic structures. We shed insight on several reasons for the domain differences with illustrative examples. We motivate the use of several types of one-dimensional CNNs that generate results that are better aligned with intuitive notions of audio texture than those based on existing architectures built for images. These ideas also prompt an exploration of audio texture synthesis with architectural variants for extensions to infinite textures, multi-textures, parametric control of receptive fields and the constant-Q transform as an alternative frequency scaling for the spectrogram.


title: Structure of the Balmer jump. The isolated hydrogen atom

abstract: Context. The spectrum of the hydrogen atom was explained by Bohr more than one century ago. We revisit here some of the aspects of the underlying quantum structure, with a modern formalism, focusing on the limit of the Balmer series. Aims. We investigate the behaviour of the absorption coefficient of the isolated hydrogen atom in the neighbourhood of the Balmer limit. Methods. We analytically computed the total cross-section arising from bound-bound and bound-free transitions in the isolated hydrogen atom at the Balmer limit, and established a simplified semi-analytical model for the surroundings of that limit. We worked within the framework of the formalism of Landi Degl'Innocenti & Landolfi (2004, Astrophys. Space Sci. Lib., 307), which permits an almost straight-forward generalization of our results to other atoms and molecules, and which is perfectly suitable for including polarization phenomena in the problem. Results. We analytically show that there is no discontinuity at the Balmer limit, even though the concept of a "Balmer jump" is still meaningful. Furthermore, we give a possible definition of the location of the Balmer jump, and we check that this location is dependent on the broadening mechanisms. At the Balmer limit, we compute the cross-section in a fully analytical way. Conclusions. The Balmer jump is produced by a rapid drop of the total Balmer cross-section, yet this variation is smooth and continuous when both bound-bound and bound-free processes are taken into account, and its shape and location is dependent on the broadening mechanisms.


title: Model reduction techniques for linear constant coefficient port-Hamiltonian differential-algebraic systems

abstract: Port-based network modeling of multi-physics problems leads naturally to a formulation as port-Hamiltonian differential-algebraic system. In this way, the physical properties are directly encoded in the structure of the model. Since the state space dimension of such systems may be very large, in particular when the model is a space-discretized partial differential-algebraic system, in optimization and control there is a need for model reduction methods that preserve the port-Hamiltonian structure while keeping the (explicit and implicit) algebraic constraints unchanged. To combine model reduction for differential-algebraic equations with port-Hamiltonian structure preservation, we adapt two classes of techniques (reduction of the Dirac structure and moment matching) to handle port-Hamiltonian differential-algebraic equations. The performance of the methods is investigated for benchmark examples originating from semi-discretized flow problems and mechanical multibody systems.


title: Motivic measures and $\mathbb{F}_1$-geometries

abstract: Right adjoints for the forgetful functors on $\lambda$-rings and bi-rings are applied to motivic measures and their zeta functions on the Grothendieck ring of $\mathbb{F}_1$-varieties in the sense of Lorscheid and Lopez-Pena (torified schemes). This leads us to a specific subring of $\mathbb{W}(\mathbb{Z})$, properly containing Almkvist's ring $\mathbb{W}_0(\mathbb{Z})$, which might be a natural receptacle for all local factors of completed zeta functions.


title: Explicit topological priors for deep-learning based image segmentation using persistent homology

abstract: We present a novel method to explicitly incorporate topological prior knowledge into deep learning based segmentation, which is, to our knowledge, the first work to do so. Our method uses the concept of persistent homology, a tool from topological data analysis, to capture high-level topological characteristics of segmentation results in a way which is differentiable with respect to the pixelwise probability of being assigned to a given class. The topological prior knowledge consists of the sequence of desired Betti numbers of the segmentation. As a proof-of-concept we demonstrate our approach by applying it to the problem of left-ventricle segmentation of cardiac MR images of 500 subjects from the UK Biobank dataset, where we show that it improves segmentation performance in terms of topological correctness without sacrificing pixelwise accuracy.


title: `I make up a silly name': Understanding Children's Perception of Privacy Risks Online

abstract: Children under 11 are often regarded as too young to comprehend the implications of online privacy. Perhaps as a result, little research has focused on younger kids' risk recognition and coping. Such knowledge is, however, critical for designing efficient safeguarding mechanisms for this age group. Through 12 focus group studies with 29 children aged 6-10 from UK schools, we examined how children described privacy risks related to their use of tablet computers and what information was used by them to identify threats. We found that children could identify and articulate certain privacy risks well, such as information oversharing or revealing real identities online; however, they had less awareness with respect to other risks, such as online tracking or game promotions. Our findings offer promising directions for supporting children's awareness of cyber risks and the ability to protect themselves online.


title: Evaluating Quasi-Periodic Variations in the $\gamma$-ray Lightcurves of Fermi-LAT Blazars

abstract: The detection of periodicities in light curves of active galacticnuclei (AGN) could have profound consequences for our understanding of the nature and radiation physics of these objects. At high energies (HE; E>100 MeV) 5 blazars (PG 1553+113,PKS 2155-304, 0426-380, 0537-441, 0301-243) have been reported to show year-like quasi-periodic variations (QPVs) with significance >3 sig. As these findings are based on few cycles only, care needs to be taken to properly account for random variations which can produce intervals of seemingly periodic behaviour. We present results of an updated timing analysis for 6 blazars (adding PKS 0447-439), utilizing suitable methods to evaluate their long term variability properties and to search for QPVs in their light curves. We generate gamma-ray light curves covering almost 10 years, study their timing properties and search for QPVs using the Lomb-Scargle Periodogram and the Wavelet Z-transform. Extended Monte Carlo simulations are used to evaluate the statistical significance. Comparing their probability density functions (PDFs), all sources (except PG 1553+113) exhibit a clear deviation from a Gaussian distribution, but are consistent with being log-normal, suggesting that the underlying variability is of a non-linear, multiplicative nature. Apart from PKS 0301-243 the power spectral density for all investigated blazars is close to flicker noise (PL slope -1). Possible QPVs with a local significance ~ 3 sig. are found in all light curves (apart from PKS 0426-380 and 0537-441), with observed periods between (1.7-2.8) yr. The evidence is strongly reduced, however, if evaluated in terms of a global significance. Our results advise caution as to the significance of reported year-like HE QPVs in blazars. Somewhat surprisingly, the putative, redshift-corrected periods are all clustering around 1.6 yr. We speculate on possible implications for QPV generation.


title: Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix

abstract: This paper establishes a bridge between linear logic and mainstream graph theory, building on previous work by Retor\'e (2003). We show that the problem of correctness for MLL+Mix proof nets is equivalent to the problem of uniqueness of a perfect matching. By applying matching theory, we obtain new results for MLL+Mix proof nets: a linear-time correctness criterion, a quasi-linear sequentialization algorithm, and a characterization of the sub-polynomial complexity of the correctness problem. We also use graph algorithms to compute the dependency relation of Bagnol et al. (2015) and the kingdom ordering of Bellin (1997), and relate them to the notion of blossom which is central to combinatorial maximum matching algorithms. In this journal version, we have added an explanation of Retor\'e's "RB-graphs" in terms of a general construction on graphs with forbidden transitions. In fact, it is by analyzing RB-graphs that we arrived at this construction, and thus obtained a polynomial-time algorithm for finding trails avoiding forbidden transitions; the latter is among the material covered in another paper by the author focusing on graph theory (arXiv:1901.07028).


title: The meanfield limit of a network of Hopfield neurons with correlated synaptic weights

abstract: We study the asymptotic behaviour for asymmetric neuronal dynamics in a network of Hopfield neurons. The randomness in the network is modelled by random couplings which are centered Gaussian correlated random variables. We prove that the annealed law of the empirical measure satisfies a large deviation principle without any condition on time. We prove that the good rate function of this large deviation principle achieves its minimum value at a unique Gaussian measure which is not Markovian. This implies almost sure convergence of the empirical measure under the quenched law. We prove that the limit equations are expressed as an infinite countable set of linear non Markovian SDEs.


title: Fast and high-fidelity generation of steady-state entanglement using pulse modulation and parametric amplification

abstract: We explore an intriguing alternative for a fast and high-fidelity generation of steady-state entanglement. By exponentially enhancing the atom-cavity interaction, we obtain an exponentially-enhanced effective cooperativity of the system, which results in a high fidelity of the state generation. Meanwhile, we modulate the amplitudes of the driving fields to accelerate the population transfer to a target state, e.g., a Bell state. An exponentially-shortened stabilization time is thus predicted. Specifically, when the cooperativity of the system is $C=30$, the fidelity of the acceleration scheme reaches $98.5\%$, and the stabilization time is about 10 times shorter than that without acceleration. Moreover, we find from the numerical simulation that the acceleration scheme is robust against systematic and stochastic (amplitude-noise) errors.


title: Strong phonon localization in PbTe with dislocations and large deviation to Matthiessen's rule

abstract: Dislocations can greatly enhance the figure of merit of thermoelectric materials by prominently reducing thermal conductivity. However, the evolution of phonon modes with different energies when they propagate through a single dislocation is unknown. Here we perform non-equilibrium molecular dynamics simulation to study phonon transport in PbTe crystal with dislocations by excluding boundary scattering and strain coupling effect. The frequency-dependent heat flux, phonon mode analysis, and frequency-dependent phonon mean free paths (MFPs) are presented. The thermal conductivity of PbTe with dislocation density on the order of 10^15m^-2 is decreased by 62%. We provide solid evidence of strong localization of phonon modes in dislocation sample. Moreover, by comparing the frequency-dependent phonon MFPs between atomistic modeling and traditional theory, it is found that the conventional theories are inadequate to describe the phonon behavior throughout the full phonon spectrum, and large deviation to the well-known semi-classical Matthiessen's rule is observed. These results provide insightful guidance for the development of PbTe based thermoelectrics and shed light on new routes for enhancing the performance of existing thermoelectrics by incorporating dislocations.


title: Multi-Agent Reinforcement Learning with Multi-Step Generative Models

abstract: We consider model-based reinforcement learning (MBRL) in 2-agent, high-fidelity continuous control problems -- an important domain for robots interacting with other agents in the same workspace. For non-trivial dynamical systems, MBRL typically suffers from accumulating errors. Several recent studies have addressed this problem by learning latent variable models for trajectory segments and optimizing over behavior in the latent space. In this work, we investigate whether this approach can be extended to 2-agent competitive and cooperative settings. The fundamental challenge is how to learn models that capture interactions between agents, yet are disentangled to allow for optimization of each agent behavior separately. We propose such models based on a disentangled variational auto-encoder, and demonstrate our approach on a simulated 2-robot manipulation task, where one robot can either help or distract the other. We show that our approach has better sample efficiency than a strong model-free RL baseline, and can learn both cooperative and adversarial behavior from the same data.


title: Variations of the eccentricity and their properties in trees

abstract: Motivated from the study of eccentricity, center, and sum of eccentricities in graphs and trees, we introduce several new distance-based global and local functions based on the smallest distance from a vertex to some leaf (called the `uniformity' at that vertex). Some natural extremal problems on trees are considered. Then the middle parts of a tree is discussed and compared with the well-known center of a tree. The values of the global functions are also compared with the sum of eccentricities and some sharp bounds are established. Last but not the least, we show that the difference between the eccentricity and the uniformity, when considered as a local function, behaves in a very similar way as the eccentricity itself.


title: Dynamic Inverse Wave Problems - Part II: Operator Identification and Applications

abstract: We present a framework which enables the analysis of dynamic inverse problems for wave phenomena that are modeled through second-order hyperbolic PDEs. This includes well-posedness and regularity results for the forward operator in an abstract setting, where the operators in an evolution equation represent the unknowns. We also prove Fr\'echet-differentiability and local ill-posedness for this problem. We then demonstrate how to apply this theory to actual problems by two example equations motivated by linear elasticity and electrodynamics. For these problems it is even possible to obtain a simple characterization of the adjoint of the Fr\'echet-derivative of the forward operator, which is of particular interest for the application of regularization schemes.


title: Learning for Multi-Model and Multi-Type Fitting

abstract: Multi-model fitting has been extensively studied from the random sampling and clustering perspectives. Most assume that only a single type/class of model is present and their generalizations to fitting multiple types of models/structures simultaneously are non-trivial. The inherent challenges include choice of types and numbers of models, sampling imbalance and parameter tuning, all of which render conventional approaches ineffective. In this work, we formulate the multi-model multi-type fitting problem as one of learning deep feature embedding that is clustering-friendly. In other words, points of the same clusters are embedded closer together through the network. For inference, we apply K-means to cluster the data in the embedded feature space and model selection is enabled by analyzing the K-means residuals. Experiments are carried out on both synthetic and real world multi-type fitting datasets, producing state-of-the-art results. Comparisons are also made on single-type multi-model fitting tasks with promising results as well.


title: Understanding and Training Deep Diagonal Circulant Neural Networks

abstract: In this paper, we study deep diagonal circulant neural networks, that is deep neural networks in which weight matrices are the product of diagonal and circulant ones. Besides making a theoretical analysis of their expressivity, we introduced principled techniques for training these models: we devise an initialization scheme and proposed a smart use of non-linearity functions in order to train deep diagonal circulant networks. Furthermore, we show that these networks outperform recently introduced deep networks with other types of structured layers. We conduct a thorough experimental study to compare the performance of deep diagonal circulant networks with state of the art models based on structured matrices and with dense models. We show that our models achieve better accuracy than other structured approaches while required 2x fewer weights as the next best approach. Finally we train deep diagonal circulant networks to build a compact and accurate models on a real world video classification dataset with over 3.8 million training examples.


title: Chemical pressure effect on the optical conductivity of the nodal-line semimetals ZrSi$Y$ ($Y$=S, Se, Te) and ZrGe$Y$ ($Y$=S, Te)

abstract: ZrSiS is a nodal-line semimetal, whose electronic band structure contains a diamond-shaped line of Dirac nodes. We carried out a comparative study on the optical conductivity of ZrSiS and related compounds ZrSiSe, ZrSiTe, ZrGeS, and ZrGeTe by reflectivity measurements over a broad frequency range combined with density functional theory calculations. The optical conductivity exhibits a distinct U shape, ending at a sharp peak at around 10000~cm$^{-1}$ for all studied compounds, except for ZrSiTe. The U shape of the optical conductivity is due to transitions between the linearly dispersing bands crossing each other along the nodal line. The sharp high-energy peak is related to transitions between almost parallel bands, and its energy position depends on the interlayer bonding correlated with the $c$/$a$ ratio, which can be tuned by either chemical or external pressure. For ZrSiTe, another pair of crossing bands appears in the vicinity of the Fermi level, corrugating the nodal-line electronic structure and leading to the observed difference in optical conductivity. The findings suggest that the Dirac physics in Zr$XY$ compounds with $X$=Si, Ge and $Y$=S, Se, Te is closely connected to the interlayer bonding.


title: A new tidy data structure to support exploration and modeling of temporal data

abstract: Mining temporal data for information is often inhibited by a multitude of formats: irregular or multiple time intervals, point events that need aggregating, multiple observational units or repeated measurements on multiple individuals, and heterogeneous data types. On the other hand, the software supporting time series modeling and forecasting, makes strict assumptions on the data to be provided, typically requiring a matrix of numeric data with implicit time indexes. Going from raw data to model-ready data is painful. This work presents a cohesive and conceptual framework for organizing and manipulating temporal data, which in turn flows into visualization, modeling and forecasting routines. Tidy data principles are extended to temporal data by: (1) mapping the semantics of a dataset into its physical layout; (2) including an explicitly declared index variable representing time; (3) incorporating a "key" comprising single or multiple variables to uniquely identify units over time. This tidy data representation most naturally supports thinking of operations on the data as building blocks, forming part of a "data pipeline" in time-based contexts. A sound data pipeline facilitates a fluent workflow for analyzing temporal data. The infrastructure of tidy temporal data has been implemented in the R package "tsibble".


title: RED-Attack: Resource Efficient Decision based Attack for Machine Learning

abstract: Due to data dependency and model leakage properties, Deep Neural Networks (DNNs) exhibit several security vulnerabilities. Several security attacks exploited them but most of them require the output probability vector. These attacks can be mitigated by concealing the output probability vector. To address this limitation, decision-based attacks have been proposed which can estimate the model but they require several thousand queries to generate a single untargeted attack image. However, in real-time attacks, resources and attack time are very crucial parameters. Therefore, in resource-constrained systems, e.g., autonomous vehicles where an untargeted attack can have a catastrophic effect, these attacks may not work efficiently. To address this limitation, we propose a resource efficient decision-based methodology which generates the imperceptible attack, i.e., the RED-Attack, for a given black-box model. The proposed methodology follows two main steps to generate the imperceptible attack, i.e., classification boundary estimation and adversarial noise optimization. Firstly, we propose a half-interval search-based algorithm for estimating a sample on the classification boundary using a target image and a randomly selected image from another class. Secondly, we propose an optimization algorithm which first, introduces a small perturbation in some randomly selected pixels of the estimated sample. Then to ensure imperceptibility, it optimizes the distance between the perturbed and target samples. For illustration, we evaluate it for CFAR-10 and German Traffic Sign Recognition (GTSR) using state-of-the-art networks.


title: Power corrections to the pion transition form factor from higher-twist distribution amplitudes of photon

abstract: In this paper we investigate the power suppressed contributions from two-particle and three-particle twist-4 light-cone distribution amplitudes (LCDAs) of photon within the framework of light-cone sum rules. Compared with leading twist LCDA result, the contribution from three-particle twist-4 LCDAs is not suppressed in the expansion by $1/Q^2$, so that the power corrections considered in this work can give rise to a sizable contribution, especially at low $Q^2$ region. According to our result, the power suppressed contributions should be included in the determination of the Gegenbauer moments of pion LCDAs with the pion transition form factor.


title: A Production Model with History Based Random Machine Failures

abstract: In this paper, we introduce a time-continuous production model that enables random machine failures, where the failure probability depends historically on the production itself. This bidirectional relationship between historical failure probabilities and production is mathematically modeled by the theory of piecewise deterministic Markov processes (PDMPs). On this way, the system is rewritten into a Markovian system such that classical results can be applied. In addition, we present a suitable solution, taken from machine reliability theory, to connect past production and the failure rate. Finally, we investigate the behavior of the presented model numerically in examples by considering sample means of relevant quantities and relative frequencies of number of repairs.


title: Note on Wermuth's theorem on commuting operator exponentials

abstract: We apply Wermuth's theorem on commuting operator exponentials to show that if $A, B \in B(X)$, $X$ being Banach space and $A$ of $2\pi i$-congruence free spectrum, then $e^A B = B e^A$ if and only if $AB=BA$. We employ this observation to provide alternative proof of similar result by Chaban and Mortad, applicable for $X$ being a Hilbert space.


title: Optimizing Ranking Models in an Online Setting

abstract: Online Learning to Rank (OLTR) methods optimize ranking models by directly interacting with users, which allows them to be very efficient and responsive. All OLTR methods introduced during the past decade have extended on the original OLTR method: Dueling Bandit Gradient Descent (DBGD). Recently, a fundamentally different approach was introduced with the Pairwise Differentiable Gradient Descent (PDGD) algorithm. To date the only comparisons of the two approaches are limited to simulations with cascading click models and low levels of noise. The main outcome so far is that PDGD converges at higher levels of performance and learns considerably faster than DBGD-based methods. However, the PDGD algorithm assumes cascading user behavior, potentially giving it an unfair advantage. Furthermore, the robustness of both methods to high levels of noise has not been investigated. Therefore, it is unclear whether the reported advantages of PDGD over DBGD generalize to different experimental conditions. In this paper, we investigate whether the previous conclusions about the PDGD and DBGD comparison generalize from ideal to worst-case circumstances. We do so in two ways. First, we compare the theoretical properties of PDGD and DBGD, by taking a critical look at previously proven properties in the context of ranking. Second, we estimate an upper and lower bound on the performance of methods by simulating both ideal user behavior and extremely difficult behavior, i.e., almost-random non-cascading user models. Our findings show that the theoretical bounds of DBGD do not apply to any common ranking model and, furthermore, that the performance of DBGD is substantially worse than PDGD in both ideal and worst-case circumstances. These results reproduce previously published findings about the relative performance of PDGD vs. DBGD and generalize them to extremely noisy and non-cascading circumstances.


title: TiFi: Taxonomy Induction for Fictional Domains [Extended version]

abstract: Taxonomies are important building blocks of structured knowledge bases, and their construction from text sources and Wikipedia has received much attention. In this paper we focus on the construction of taxonomies for fictional domains, using noisy category systems from fan wikis or text extraction as input. Such fictional domains are archetypes of entity universes that are poorly covered by Wikipedia, such as also enterprise-specific knowledge bases or highly specialized verticals. Our fiction-targeted approach, called TiFi, consists of three phases: (i) category cleaning, by identifying candidate categories that truly represent classes in the domain of interest, (ii) edge cleaning, by selecting subcategory relationships that correspond to class subsumption, and (iii) top-level construction, by mapping classes onto a subset of high-level WordNet categories. A comprehensive evaluation shows that TiFi is able to construct taxonomies for a diverse range of fictional domains such as Lord of the Rings, The Simpsons or Greek Mythology with very high precision and that it outperforms state-of-the-art baselines for taxonomy induction by a substantial margin.


title: Piecewise deterministic Markov processes driven by scalar conservation laws

abstract: We investigate piecewise deterministic Markov processes (PDMP), where the deterministic dynamics follows a scalar conservation law and random jumps in the system are characterized by changes in the flux function. We show under which assumptions we can guarantee the existence of a PDMP and conclude bounded variation estimates for sample paths. Finally, we apply this dynamics to a production and traffic model and use this framework to incorporate the well-known scattering of flux functions observed in data sets.


title: Implicit Diversity in Image Summarization

abstract: Studies have shown that the people depicted in image search results tend to be of majority groups with respect to socially salient attributes. This skew goes beyond that which already exists in the world - e.g., Kay et al. showed that although 28% of CEOs in US are women, only 10% of the top 100 results for CEO in Google Image Search are women. Most existing approaches to correct for this kind of bias assume that the images of people include socially salient attribute labels. However, such labels are often unknown. Further, using automated techniques to infer these labels may often not be possible within acceptable accuracy ranges, and may not be desirable due to the additional biases this process could incur. We develop a novel approach that takes as input a visibly diverse control set of images and uses this set to select a set of images of people in response to a query. The goal is to have a resulting set that is more visibly diverse in a manner that emulates the diversity depicted in the control set. Importantly, this approach does not require images to be labelled at any point; effectively, it gives a way to implicitly diversify the set of images selected. We provide two variants of our approach: the first is a modification of the MMR algorithm to incorporate the diversity scores, and second is a more efficient variant that does not consider within-list redundancy. We evaluate these approaches empirically on two datasets 1) a new dataset containing top Google image results for 96 occupations, for which we evaluate gender and skin-tone diversity with respect to occupations and 2) the CelebA dataset for which we evaluate gender diversity with respect to facial features. Our approaches produce image sets that significantly improve the visible diversity of the results, compared to current Google search and other diverse image summarization algorithms, at a minimal cost to accuracy.


title: De Finettian Logics of Indicative Conditionals

abstract: This paper explores trivalent truth conditions for indicative conditionals, examining the "defective" table put forward by de Finetti 1936, as well as Reichenbach 1944, first sketched in Reichenbach 1935. On their approach, a conditional takes the value of its consequent whenever its antecedent is True, and the value Indeterminate otherwise. Here we deal with the problem of choosing an adequate notion of validity for this conditional. We show that all standard trivalent schemes are problematic, and highlight two ways out of the predicament: one pairs de Finetti's conditional (DF) with validity as the preservation of non-False values (TT-validity), but at the expense of Modus Ponens; the other modifies de Finetti's table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti's table (CC) proposed by Cooper 1968 and Cantwell 2008. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties.


title: Approximation of functions by neural networks

abstract: We study the approximation of measurable functions on the hypercube by functions arising from affine neural networks. Our main achievement is an approximation of any measurable function $f \colon W_n \to [-1,1]$ up to a prescribed precision $\varepsilon>0$ by a bounded number of neurons, depending only on $\varepsilon$ and not on the function $f$ or $n \in \mathbb N$.


title: Performance comparison of an AI-based Adaptive Learning System in China

abstract: Adaptive learning systems stand apart from traditional learning systems by offering a personalized learning experience to students according to their different knowledge states. Adaptive systems collect and analyse students' behavior data, update learner profiles, then accordingly provide timely individualized feedback to each student. Such interactions between the learning system and students can improve the engagement of students and the efficiency of learning. This paper evaluates the effectiveness of an adaptive learning system, "Yixue Squirrel AI" (or Yixue), on English and math learning in middle school. The effectiveness of the Yixue's math and English learning systems is respectively compared against (1) traditional classroom math instruction conducted by expert human teachers and (2) BOXFiSH, another adaptive learning platform for English language learning. Results suggest that students achieved better performance using Yixue adaptive learning system than both traditional classroom instruction by expert teachers and another adaptive learning platform.


title: An improved variant of simulated annealing that converges under fast cooling

abstract: Given a target function $U$ to minimize on a finite state space $\mathcal{X}$, a proposal chain with generator $Q$ and a cooling schedule $T(t)$ that depends on time $t$, in this paper we study two types of simulated annealing (SA) algorithms with generators $M_{1,t}(Q,U,T(t))$ and $M_{2,t}(Q,U,T(t))$ respectively. While $M_{1,t}$ is the classical SA algorithm, we introduce a simple and improved variant that we call $M_{2,t}$ which provably converges faster. When $T(t) > c_{M_2}/\log(t+1)$ follows the logarithmic cooling schedule, our proposed algorithm is strongly ergodic both in total variation and in relative entropy, and converges to the set of global minima, where $c_{M_2}$ is a constant that we explicitly identify. If $c_{M_1}$ is the optimal hill-climbing constant that appears in logarithmic cooling of $M_{1,t}$, we show that $c_{M_1} \geq c_{M_2}$ and give simple conditions under which $c_{M_1} > c_{M_2}$. Our proposed $M_{2,t}$ thus converges under a faster logarithmic cooling in this regime. The other situation that we investigate corresponds to $c_{M_1} > c_{M_2} = 0$, where we give a class of fast and non-logarithmic cooling schedule that works for $M_{2,t}$ (but not for $M_{1,t}$). In addition to these asymptotic convergence results, we compare and analyze finite-time behaviour between these two annealing algorithms as well. Finally, we present two algorithms to simulate $M_{2,t}$.


title: On symmetric equivalence of symmetric union diagrams

abstract: Eisermann and Lamm introduced a notion of symmetric equivalence among symmetric union diagrams and studied it using a refined form of the Jones polynomial. We introduced invariants of symmetric equivalence via refined versions of topological spin models and provided a partial answer to a question left open by Eisermann and Lamm. In this paper we adopt a new approach to the symmetric equivalence problem and give a complete answer to the original question left open by Eisermann and Lamm.


title: Combined tract segmentation and orientation mapping for bundle-specific tractography

abstract: While the major white matter tracts are of great interest to numerous studies in neuroscience and medicine, their manual dissection in larger cohorts from diffusion MRI tractograms is time-consuming, requires expert knowledge and is hard to reproduce. In previous work we presented tract orientation mapping (TOM) as a novel concept for bundle-specific tractography. It is based on a learned mapping from the original fiber orientation distribution function (FOD) peaks to tract specific peaks, called tract orientation maps. Each tract orientation map represents the voxel-wise principal orientation of one tract. Here, we present an extension of this approach that combines TOM with accurate segmentations of the tract outline and its start and end region. We also introduce a custom probabilistic tracking algorithm that samples from a Gaussian distribution with fixed standard deviation centered on each peak thus enabling more complete trackings on the tract orientation maps than deterministic tracking. These extensions enable the automatic creation of bundle-specific tractograms with previously unseen accuracy. We show for 72 different bundles on high quality, low quality and phantom data that our approach runs faster and produces more accurate bundle-specific tractograms than 7 state of the art benchmark methods while avoiding cumbersome processing steps like whole brain tractography, non-linear registration, clustering or manual dissection. Moreover, we show on 17 datasets that our approach generalizes well to datasets acquired with different scanners and settings as well as with pathologies. The code of our method is openly available at https://github.com/MIC-DKFZ/TractSeg.


title: Multi-UAV Visual Coverage of Partially Known 3D Surfaces: Voronoi-based Initialization to Improve Local Optimizers

abstract: In this paper we study the problem of steering a team of Unmanned Aerial Vehicles (UAVs) toward a static configuration which maximizes the visibility of a 3D environment. The UAVs are assumed to be equipped with visual sensors constrained by a maximum sensing range and the prior knowledge on the environment is considered to be very sparse. To solve this problem on-line, derivative-free measurement-based optimization algorithms can be adopted, even though they are strongly limited by local optimality. To overcome this limitation, we propose to exploit the partial initial knowledge on the environment to find suitable initial configurations from which the agents start the local optimization. In particular, a constrained centroidal Voronoi tessellation on a coarse approximation of the surface to cover is proposed. The behavior of the agent is so based on a two-step optimization approach, where a stochastic optimization algorithm based on the on-line acquired information follows the geometrical-based initialization. The algorithm performance is evaluated in simulation and in particular the improvement on the solution brought by the Voronoi tessellation with respect to different initializations is analyzed.


title: Use of Lagrange multiplier fields to eliminate multiloop corrections

abstract: The problem of eliminating divergences arising in quantum gravity is generally addressed by modifying the classical Einstein-Hilbert action. These modifications might involve the introduction of local supersymmetry, the addition of terms that are higher-order in the curvature to the action, or invoking compactification of superstring theory from ten to four dimensions. An alternative to these approaches is to introduce a Lagrange multiplier field that restricts the path integral to field configurations that satisfy the classical equations of motion; this has the effect of doubling the usual one-loop contributions and of eliminating all effects beyond one loop. We show how this reduction of loop contributions occurs and find the gauge invariances present when such a Lagrange multiplier is introduced into the Yang-Mills and Einstein-Hilbert actions. Moreover, we quantize using the path integral, discuss the renormalization, and then show how Becchi-Rouet-Stora-Tyutin (BRST) invariance can be used to both demonstrate that unitarity is retained and to find BRST relations between Greens functions. In the Appendices, we show how the background field quantization can be implemented, consider the use of a Lagrange multiplier field to restrict higher-order contributions in supersymmetric theories, and derive the BRST equations satisfied by the generating functional.


title: Multi-hop Backscatter Tag-to-Tag Networks

abstract: We characterize the performance of a backscatter tag-to-tag (T2T) multi-hop network. For this, we developed a discrete component-based backscatter T2T transceiver and a communication protocol suite. The protocol composed of a novel (i) flooding-based link control tailored towards backscatter transmission, and (ii) low-power listening MAC. The MAC design is based on the new insight that backscatter reception is more energy costly than transmission. Our experiments show that multi-hopping extends the coverage of backscatter networks by enabling longer backward T2T links (tag far from the exciter sending to the tag close to the exciter). Four hops, for example, extend the communication range by a factor of two. Furthermore, we show that dead spots in multi-hop T2T networks are far less significant than those in the single-hop T2T networks.


title: Differentially Private Markov Chain Monte Carlo

abstract: Recent developments in differentially private (DP) machine learning and DP Bayesian learning have enabled learning under strong privacy guarantees for the training data subjects. In this paper, we further extend the applicability of DP Bayesian learning by presenting the first general DP Markov chain Monte Carlo (MCMC) algorithm whose privacy-guarantees are not subject to unrealistic assumptions on Markov chain convergence and that is applicable to posterior inference in arbitrary models. Our algorithm is based on a decomposition of the Barker acceptance test that allows evaluating the R\'enyi DP privacy cost of the accept-reject choice. We further show how to improve the DP guarantee through data subsampling and approximate acceptance tests.


title: On the Elevation and Suppression of Star Formation within Galaxies

abstract: To understand star formation in galaxies, we investigate the star formation rate (SFR) surface density ($\Sigma_{\rm SFR}$) profiles for galaxies, based on a well-defined sample of 976 star-forming MaNGA galaxies. We find that the typical $\Sigma_{\rm SFR}$ profiles within 1.5Re of normal SF galaxies can be well described by an exponential function for different stellar mass intervals, while the sSFR profile shows positive gradients, especially for more massive SF galaxies. This is due to the more pronounced central cores or bulges rather than the onset of a `quenching' process. While galaxies that lie significantly above (or below) the star formation main sequence (SFMS) show overall an elevation (or suppression) of $\Sigma_{\rm SFR}$ at all radii, this central elevation (or suppression) is more pronounced in more massive galaxies. The degree of central enhancement and suppression is quite symmetric, suggesting that both the elevation and suppression of star formation are following the same physical processes. Furthermore, we find that the dispersion in $\Sigma_{\rm SFR}$ within and across the population is found to be tightly correlated with the inferred gas depletion time, whether based on the stellar surface mass density or the orbital dynamical time. This suggests that we are seeing the response of a simple gas-regulator system to variations in the accretion rate. This is explored using a heuristic model that can quantitatively explain the dependence of $\sigma(\Sigma_{\rm SFR})$ on gas depletion timescale. Variations in accretion rate are progressively more damped out in regions of low star-formation efficiency leading to a reduced amplitude of variations in star-formation.


title: High-Quality Self-Supervised Deep Image Denoising

abstract: We describe a novel method for training high-quality image denoising models based on unorganized collections of corrupted images. The training does not need access to clean reference images, or explicit pairs of corrupted images, and can thus be applied in situations where such data is unacceptably expensive or impossible to acquire. We build on a recent technique that removes the need for reference data by employing networks with a "blind spot" in the receptive field, and significantly improve two key aspects: image quality and training efficiency. Our result quality is on par with state-of-the-art neural network denoisers in the case of i.i.d. additive Gaussian noise, and not far behind with Poisson and impulse noise. We also successfully handle cases where parameters of the noise model are variable and/or unknown in both training and evaluation data.


title: Finite element approximation of source term identification with TV-regularization

abstract: In this paper we investigate the problem of recovering the source term in an elliptic system from a measurement of the state on a part of the boundary. For the particular interest in reconstructing probably discontinuous sources, we use the standard least squares method with the total variation regularization. The finite element method is then applied to discretize the minimization problem, we show the stability and the convergence of this technique. Furthermore, we have proposed an algorithm to stably solve the minimization problem. We prove the iterate sequence generated by the derived algorithm converging to a minimizer of the regularization problem, and that convergence measurement is also established. Finally, a numerical experiment is presented to illustrate our theoretical findings.


title: Scherk-Schwarz orbifolds at the LHC

abstract: We examine orbifold theories of Grand Unification with Scherk-Schwarz twisting, performing a renormalisation group analysis and applying low energy experimental constraints. We rule out the minimal SU(5) models, and consider simple extensions including additional fields, such as an additional scalar field, or additional symmetries, such as $SU(5)\times U(1)$ or $E_6$. We find that it is very difficult to generate a large enough Higgs mass while simultaneously passing LHC experimental search constraints.


title: Dynamics of the quark-antiquark interaction and the universality of Regge trajectories

abstract: The dynamical picture of a quark-antiquark interaction in light mesons, which provides linearity of radial and orbital Regge trajectories (RT), is studied with the use of the relativistic string Hamiltonian with flattened confining potential and taking into account the self-energy and string corrections. Due to the flattening effect both slopes, $\beta_n$ of the radial and $\beta_l$ of the orbital RT, decrease by $\sim 30\%$ with the value of $\beta_n=1.30(5)$~GeV$^2$ being larger than $ \beta_l=0.95(5)$~GeV. The self-energy correction provides the linearity of RT and remains important up to very high excitations; the string correction decreases the slope of the orbital RT, while the intercept $\beta_0=0.51(1)~ $GeV$^2$ is equal to the squared centroid mass of $\rho(1S)$. If the universal gluon-exchanged potential without fitting parameters and screening function, as in heavy quarkonia, is taken, then the slope of the radial RT decreases, $\beta_n=1.15(8)$~GeV$^2$, and its value coincides with the slope of the orbital RT, $\beta_l=1.08(8)$~GeV$^2$ within theoretical errors, producing the universal RT.


title: Structural Material Property Tailoring Using Deep Neural Networks

abstract: Advances in robotics, artificial intelligence, and machine learning are ushering in a new age of automation, as machines match or outperform human performance. Machine intelligence can enable businesses to improve performance by reducing errors, improving sensitivity, quality and speed, and in some cases achieving outcomes that go beyond current resource capabilities. Relevant applications include new product architecture design, rapid material characterization, and life-cycle management tied with a digital strategy that will enable efficient development of products from cradle to grave. In addition, there are also challenges to overcome that must be addressed through a major, sustained research effort that is based solidly on both inferential and computational principles applied to design tailoring of functionally optimized structures. Current applications of structural materials in the aerospace industry demand the highest quality control of material microstructure, especially for advanced rotational turbomachinery in aircraft engines in order to have the best tailored material property. In this paper, deep convolutional neural networks were developed to accurately predict processing-structure-property relations from materials microstructures images, surpassing current best practices and modeling efforts. The models automatically learn critical features, without the need for manual specification and/or subjective and expensive image analysis. Further, in combination with generative deep learning models, a framework is proposed to enable rapid material design space exploration and property identification and optimization. The implementation must take account of real-time decision cycles and the trade-offs between speed and accuracy.


title: What could be learned about phase transitions, meson and nucleon structure in hot medium from a chiral quark-meson theory?

abstract: In this contribution I summarize and discuss the results of the bulk thermodynamic characteristics, meson and nucleon structure in hot matter obtained in the framework of a chiral quark-meson theory. A hybrid NJL model is used in which a Dirac sea of quarks is combined with a Fermi sea of quarks or of nucleons. In the model mesons are described as collective $\bar qq$ excitations and the nucleon appears as a baryon-number-one soliton of $N_c$ valence quarks coupled to both Dirac and Fermi sea. According to the model at some critical density and/or temperature phase transitions from nucleons to quarks as well as from Goldstone to Wigner phase are expected. At finite density the chiral order parameter and the constituent quark mass have a non-monotonic temperature dependence-at temperatures not close to the critical one they are less affected than in cold matter. The quark matter is rather soft against thermal fluctuations and the corresponding chiral phase transition is smooth. The nucleon matter is much stiffer and the phase transition is very sharp. In the case of quark matter a first-order transition is suggested at low temperatures ($T<80$ MeV) which changes to a second-order one at higher temperatures. In contrast to the quark matter in the case of nucleon matter the thermodynamic variables show large discontinuities which is a clear indication for a first-order phase transition. In hot medium at intermediate temperature the nucleon soliton is more bound and less swelled than in the case of cold matter. At some critical temperature, which for nucleon matter coincides with the critical temperature for the phase transition, no more a localized solution is found. According to this model scenario one should expect a first-order phase transition from nucleon to quark matter.


title: Characterization of the first prototype CMOS pixel sensor developed for the CEPC vertex detector

abstract: Purpose: CMOS pixel sensors have become extremely attractive for future high performance tracking devices. Initial R\&D work has been conducted for the vertex detector for the proposed Circular Electron Positron Collider that will allow precision Higgs measurements. It is critical to achieve low power consumption to minimize the material budget. This requires careful optimization of the sensor diode geometry to reach high charge-over-capacitance that allows reduction in analog power consumption. Methods: The electrode area and footprint are two critical elements in sensor diode geometry and have deciding impacts on the sensor charge collection performance. Prototype CMOS pixel sensor JadePix-1 has been developed with pixel sectors implementing different electrode area and footprint and their charge collection performance has been characterized with radioactive resources. Results: Charge-to-voltage conversion gains are calibrated with low energy X-ray. Noise, charge collection efficiency, charge-over-capacitance and signal-to-noise ratio are obtained for pixel sectors of different electrode area and footprint. Conclusion: Small electrode area and large footprint are preferred to achieve high charge-over-capacitance that promises low analog power consumption. Ongoing studies on sensor performance before and after irradiation, combined with this work, will conclude on the diode geometry optimization.


title: Dense Fiber Modeling for 3D-Polarized Light Imaging Simulations

abstract: 3D-Polarized Light Imaging (3D-PLI) is a neuroimaging technique used to study the structural connectivity of the human brain at the meso- and microscale. In 3D-PLI, the complex nerve fiber architecture of the brain is characterized by 3D orientation vector fields that are derived from birefringence measurements of unstained histological brain sections by means of an effective physical model. To optimize the physical model and to better understand the underlying microstructure, numerical simulations are essential tools to optimize the used physical model and to understand the underlying microstructure in detail. The simulations rely on predefined configurations of nerve fiber models (e.g. crossing, kissing, or complex intermingling), their physical properties, as well as the physical properties of the employed optical system to model the entire 3D-PLI measurement. By comparing the simulation and experimental results, possible misinterpretations in the fiber reconstruction process of 3D-PLI can be identified. Here, we focus on fiber modeling with a specific emphasize on the generation of dense fiber distributions as found in the human brain's white matter. A new algorithm will be introduced that allows to control possible intersections of computationally grown fiber structures.


title: Standing waves in general relativity

abstract: We propose a covariant definition of standing gravitational waves in general relativity.


title: Private Polynomial Computation for Noncolluding Coded Databases

abstract: We consider private polynomial computation (PPC) over noncolluding coded databases. In such a setting a user wishes to compute a multivariate polynomial of degree at most $g$ over $f$ variables (or messages) stored in multiple databases while revealing no information about the desired polynomial to the databases. We construct two novel PPC schemes, where the first is a generalization of our previous work in private linear computation for coded databases. In this scheme we consider Reed-Solomon coded databases with Lagrange encoding, which leverages ideas from recently proposed star-product private information retrieval and Lagrange coded computation. The second scheme considers the special case of coded databases with systematic Lagrange encoding. Both schemes yield improved rates compared to the best known schemes from the literature for a small number of messages, while in the asymptotic case the rates match.


title: StocHy: automated verification and synthesis of stochastic processes

abstract: StocHy is a software tool for the quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description of stochastic models and constructs an equivalent SHS model. The tool allows to (i) simulate the SHS evolution over a given time horizon; and to automatically construct formal abstractions of the SHS. Abstractions are then employed for (ii) formal verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular modelling, and has separate simulation, verification and synthesis engines, which are implemented as independent libraries. This allows for libraries to be easily used and for extensions to be easily built. The tool is implemented in C++ and employs manipulations based on vector calculus, the use of sparse matrices, the symbolic construction of probabilistic kernels, and multi-threading. Experiments show StocHy's markedly improved performance when compared to existing abstraction-based approaches: in particular, StocHy beats state-of-the-art tools in terms of precision (abstraction error) and computational effort, and finally attains scalability to large-sized models (12 continuous dimensions). StocHy is available at www.gitlab.com/natchi92/StocHy.


title: An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture

abstract: Vizing's conjecture (open since 1968) relates the sizes of dominating sets in two graphs to the size of a dominating set in their Cartesian product graph. In this paper, we formulate Vizing's conjecture itself as a Positivstellensatz existence question. In particular, we encode the conjecture as an ideal/polynomial pair such that the polynomial is nonnegative if and only if the conjecture is true. We demonstrate how to use semidefinite optimization techniques to computationally obtain numeric sum-of-squares certificates, and then show how to transform these numeric certificates into symbolic certificates approving nonnegativity of our polynomial. After outlining the theoretical structure of this computer-based proof of Vizing's conjecture, we present computational and theoretical results. In particular, we present exact low-degree sparse sum-of-squares certificates for particular families of graphs.


title: Sample Complexity Bounds for Recurrent Neural Networks with Application to Combinatorial Graph Problems

abstract: Learning to predict solutions to real-valued combinatorial graph problems promises efficient approximations. As demonstrated based on the NP-hard edge clique cover number, recurrent neural networks (RNNs) are particularly suited for this task and can even outperform state-of-the-art heuristics. However, the theoretical framework for estimating real-valued RNNs is understood only poorly. As our primary contribution, this is the first work that upper bounds the sample complexity for learning real-valued RNNs. While such derivations have been made earlier for feed-forward and convolutional neural networks, our work presents the first such attempt for recurrent neural networks. Given a single-layer RNN with $a$ rectified linear units and input of length $b$, we show that a population prediction error of $\varepsilon$ can be realized with at most $\tilde{\mathcal{O}}(a^4b/\varepsilon^2)$ samples. We further derive comparable results for multi-layer RNNs. Accordingly, a size-adaptive RNN fed with graphs of at most $n$ vertices can be learned in $\tilde{\mathcal{O}}(n^6/\varepsilon^2)$, i.e., with only a polynomial number of samples. For combinatorial graph problems, this provides a theoretical foundation that renders RNNs competitive.


title: The Free Energy of a General Computation

abstract: Starting from Landauer's slogan "information is physical," we revise and modify Landauer's principle stating that the erasure of information has a minimal price in the form of a certain quantity of free energy. We establish a direct link between the erasure cost and the work value of a piece of information, and show that the former is essentially the length of the string's best compression by a reversible computation. We generalize the principle by deriving bounds on the free energy to be invested for --- or gained from, for that matter --- a general computation. We then revisit the second law of thermodynamics and compactly rephrase it (assuming the Church/Turing/Deutsch hypothesis that physical reality can be simulated by a universal Turing machine): Time evolutions are logically reversible --- "the future fully remembers the past (but not necessarily vice versa)." We link this view to previous formulations of the second law, and we argue that it has a particular feature that suggests its "logico-informational" nature, namely simulation resilience: If a computation faithfully simulates a physical process violating the law --- then that very computation procedure violates it as well.


title: Randomness-induced quantum spin liquid behavior in the $s=$1/2 bond-random Heisenberg antiferromagnet on the pyrochlore lattice

abstract: We investigate the zero- and finite-temperature properties of the bond-random $s=1/2$ Heisenberg antiferromagnet on the pyrochlore lattice by the exact diagonalization and the Hams--de Raedt methods. We find that the randomness induces the gapless quantum spin liquid (QSL) state, the random-singlet state. Implications to recent experiments on the mixed-anion pyrochlore-lattice antiferromagnet Lu$_2$Mo$_2$O$_5$N$_2$ exhibiting gapless QSL behaviors are discussed.


title: Bi-continuous semigroups for flows on infinite networks

abstract: We study transport processes on infinite metric graphs with non-constant velocities and matrix boundary conditions in the $\\mathrm{L}^{\infty}$-setting. We apply the theory of bi-continuous operator semigroups to obtain well-posedness of the problem under different assumptions on the velocities and for general stochastic matrices appearing in the boundary conditions.