title: Surveying the quantum group symmetries of integrable open spin chains

abstract: Using anisotropic R-matrices associated with affine Lie algebras $\hat g$ (specifically, $A_{2n}^{(2)}, A_{2n-1}^{(2)}, B_n^{(1)}, C_n^{(1)}, D_n^{(1)}$) and suitable corresponding K-matrices, we construct families of integrable open quantum spin chains of finite length, whose transfer matrices are invariant under the quantum group corresponding to removing one node from the Dynkin diagram of $\hat g$. We show that these transfer matrices also have a duality symmetry (for the cases $C_n^{(1)}$ and $D_n^{(1)}$) and additional $Z_2$ symmetries that map complex representations to their conjugates (for the cases $A_{2n-1}^{(2)}, B_n^{(1)}, D_n^{(1)}$). A key simplification is achieved by working in a certain "unitary" gauge, in which only the unbroken symmetry generators appear. The proofs of these symmetries rely on some new properties of the R-matrices. We use these symmetries to explain the degeneracies of the transfer matrices.


title: Learning Confidence for Out-of-Distribution Detection in Neural Networks

abstract: Modern neural networks are very powerful predictive models, but they are often incapable of recognizing when their predictions may be wrong. Closely related to this is the task of out-of-distribution detection, where a network must determine whether or not an input is outside of the set on which it is expected to safely perform. To jointly address these issues, we propose a method of learning confidence estimates for neural networks that is simple to implement and produces intuitively interpretable outputs. We demonstrate that on the task of out-of-distribution detection, our technique surpasses recently proposed techniques which construct confidence based on the network's output distribution, without requiring any additional labels or access to out-of-distribution examples. Additionally, we address the problem of calibrating out-of-distribution detectors, where we demonstrate that misclassified in-distribution examples can be used as a proxy for out-of-distribution examples.


title: Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report)

abstract: One way to analyze Cyber-Physical Systems is by modeling them as hybrid automata. Since reachability analysis for hybrid nonlinear automata is a very challenging and computationally expensive problem, in practice, engineers try to solve the requirements falsification problem. In one method, the falsification problem is solved by minimizing a robustness metric induced by the requirements. This optimization problem is usually a non-convex non-smooth problem that requires heuristic and analytical guidance to be solved. In this paper, functional gradient descent for hybrid systems is utilized for locally decreasing the robustness metric. The local descent method is combined with Simulated Annealing as a global optimization method to search for unsafe behaviors.


title: Measurement of the $\Lambda_b$ polarization and angular parameters in $\Lambda_b\to J/\psi\, \Lambda$ decays from pp collisions at $\sqrt{s}=$ 7 and 8 TeV

abstract: An analysis of the decay $\Lambda_b \to J/\psi(\to\mu^+\mu^-)\Lambda(\to p \pi^-)$ decay is performed to measure the $\Lambda_b$ polarization and three angular parameters in data from pp collisions at $\sqrt{s} =$ 7 and 8 TeV, collected by the CMS experiment at the LHC. The $\Lambda_b$ polarization is measured to be 0.00 $\pm$ 0.06 (stat) $\pm$ 0.06 (syst) and the parity-violating asymmetry parameter is determined to be 0.14 $\pm$ 0.14 (stat) $\pm$ 0.10 (syst). The measurements are compared to various theoretical predictions, including those from perturbative quantum chromodynamics.


title: SimplE Embedding for Link Prediction in Knowledge Graphs

abstract: Knowledge graphs contain knowledge about the world and provide a structured representation of this knowledge. Current knowledge graphs contain only a small subset of what is true in the world. Link prediction approaches aim at predicting new links for a knowledge graph given the existing links among the entities. Tensor factorization approaches have proved promising for such link prediction problems. Proposed in 1927, Canonical Polyadic (CP) decomposition is among the first tensor factorization approaches. CP generally performs poorly for link prediction as it learns two independent embedding vectors for each entity, whereas they are really tied. We present a simple enhancement of CP (which we call SimplE) to allow the two embeddings of each entity to be learned dependently. The complexity of SimplE grows linearly with the size of embeddings. The embeddings learned through SimplE are interpretable, and certain types of background knowledge can be incorporated into these embeddings through weight tying. We prove SimplE is fully expressive and derive a bound on the size of its embeddings for full expressivity. We show empirically that, despite its simplicity, SimplE outperforms several state-of-the-art tensor factorization techniques. SimplE's code is available on GitHub at https://github.com/Mehran-k/SimplE.


title: Time-Series Based Thermography on Concrete Block Void Detection

abstract: Using thermography as a nondestructive method for subsurface detection of the concrete structure has been developed for decades. However, the performance of current practice is limited due to the heavy reliance on the environmental conditions as well as complex environmental noises. A non-time-series method suffers from the issue of solar radiation reflected by the target during heating stage, and issues of potential non-uniform heat distribution. These limitations are the major constraints of the traditional single thermal image method. Time series-based methods such as Fourier transform-based pulse phase thermography, principle component thermography, and high order statistics have been reported with robust results on surface reflective property difference and non-uniform heat distribution under the experimental setting. This paper aims to compare the performance of above methods to that of the conventional static thermal imaging method. The case used for the comparison is to detect voids in a hollow concrete block during the heating phase. The result was quantitatively evaluated by using Signal-to-Noise Ratio. Favorable performance was observed using time-series methods compared to the single image approach.


title: Algorithmic problems in right-angled Artin groups: complexity and applications

abstract: In this paper we consider several classical and novel algorithmic problems for right-angled Artin groups, some of which are closely related to graph theoretic problems, and study their computational complexity. We study these problems with a view towards applications to cryptography.


title: Tumbling dynamics of inertial chains in extensional flow

abstract: The dynamics of elongated inertial particles in an extensional flow is studied numerically by performing simulations of freely jointed bead-rod chains. The coil-stretch transition and the tumbling instability are characterized as a function of three parameters: The Peclet number, the Stokes number and the chain length. Numerical results show that in the limit of infinite chain length, particles are trapped in a coiled or stretched state. The coil-stretch transition is also shown to depend non-linearly on the Stokes and Peclet number. Results also reveal that tumbling occurs close to the coil-stretch transition and that the persistence time is a non-linear function of Stokes and Peclet numbers.


title: The effect of extreme ionisation rates during the initial collapse of a molecular cloud core

abstract: What cosmic ray ionisation rate is required such that a non-ideal magnetohydrodynamics (MHD) simulation of a collapsing molecular cloud will follow the same evolutionary path as an ideal MHD simulation or as a purely hydrodynamics simulation? To investigate this question, we perform three-dimensional smoothed particle non-ideal magnetohydrodynamics simulations of the gravitational collapse of rotating, one solar mass, magnetised molecular cloud cores, that include Ohmic resistivity, ambipolar diffusion, and the Hall effect. We assume a uniform grain size of $a_\text{g} = 0.1\mu$m, and our free parameter is the cosmic ray ionisation rate, $\zeta_\text{cr}$. We evolve our models, where possible, until they have produced a first hydrostatic core. Models with $\zeta_\text{cr}\gtrsim10^{-13}$ s$^{-1}$ are indistinguishable from ideal MHD models and the evolution of the model with $\zeta_\text{cr}=10^{-14}$ s$^{-1}$ matches the evolution of the ideal MHD model within one per cent when considering maximum density, magnetic energy, and maximum magnetic field strength as a function of time; these results are independent of $a_\text{g}$. Models with very low ionisation rates ($\zeta_\text{cr}\lesssim10^{-24}$ s$^{-1}$) are required to approach hydrodynamical collapse, and even lower ionisation rates may be required for larger $a_\text{g}$. Thus, it is possible to reproduce ideal MHD and purely hydrodynamical collapses using non-ideal MHD given an appropriate cosmic ray ionisation rate. However, realistic cosmic ray ionisation rates approach neither limit, thus non-ideal MHD cannot be neglected in star formation simulations.


title: Random Linear Network Coding for 5G Mobile Video Delivery

abstract: An exponential increase in mobile video delivery will continue with the demand for higher resolution, multi-view and large-scale multicast video services. Novel fifth generation (5G) 3GPP New Radio (NR) standard will bring a number of new opportunities for optimizing video delivery across both 5G core and radio access networks. One of the promising approaches for video quality adaptation, throughput enhancement and erasure protection is the use of packet-level random linear network coding (RLNC). In this review paper, we discuss the integration of RLNC into the 5G NR standard, building upon the ideas and opportunities identified in 4G LTE. We explicitly identify and discuss in detail novel 5G NR features that provide support for RLNC-based video delivery in 5G, thus pointing out to the promising avenues for future research.


title: GILBO: One Metric to Measure Them All

abstract: We propose a simple, tractable lower bound on the mutual information contained in the joint generative density of any latent variable generative model: the GILBO (Generative Information Lower BOund). It offers a data-independent measure of the complexity of the learned latent variable description, giving the log of the effective description length. It is well-defined for both VAEs and GANs. We compute the GILBO for 800 GANs and VAEs each trained on four datasets (MNIST, FashionMNIST, CIFAR-10 and CelebA) and discuss the results.


title: Designing and discovering a new family of semiconducting quaternary Heusler compounds based on the 18-electron rule

abstract: Intermetallic compounds with sizable band gaps are attractive for their unusual properties but rare. Here, we present a new family of stable semiconducting quaternary Heusler compounds, designed and discovered by means of high-throughput \textit{ab initio} calculations based on the 18-electron rule. The 99 new semiconductors reported here adopt the ordered quaternary Heusler structure with the prototype of LiMgSnPd (F$\bar{\mathbf{4}}$3m, No.\,216) and contain 18 valence electrons per formula unit. They are realized by filling the void in the half Heusler structure with a small and electropositive atom, i.e., lithium. These new stable quaternary Heusler semiconductors possess a range of band gaps from 0.3 to 2.5\,eV, and exhibit some unusual properties different from conventional semiconductors, such as strong optical absorption, giant dielectric screening, and high Seebeck coefficient, which suggest these semiconductors have potential applications as photovoltaic and thermoelectric materials. While this study opens up avenues for further exploration of this novel class of semiconducting quaternary Heuslers, the design strategy used herein is broadly applicable across a potentially wide array of chemistries to discover new stable materials.


title: Uncertainty Quantification for Online Learning and Stochastic Approximation via Hierarchical Incremental Gradient Descent

abstract: Stochastic gradient descent (SGD) is an immensely popular approach for online learning in settings where data arrives in a stream or data sizes are very large. However, despite an ever- increasing volume of work on SGD, much less is known about the statistical inferential properties of SGD-based predictions. Taking a fully inferential viewpoint, this paper introduces a novel procedure termed HiGrad to conduct statistical inference for online learning, without incurring additional computational cost compared with SGD. The HiGrad procedure begins by performing SGD updates for a while and then splits the single thread into several threads, and this procedure hierarchically operates in this fashion along each thread. With predictions provided by multiple threads in place, a t-based confidence interval is constructed by decorrelating predictions using covariance structures given by a Donsker-style extension of the Ruppert--Polyak averaging scheme, which is a technical contribution of independent interest. Under certain regularity conditions, the HiGrad confidence interval is shown to attain asymptotically exact coverage probability. Finally, the performance of HiGrad is evaluated through extensive simulation studies and a real data example. An R package higrad has been developed to implement the method.


title: Learning via social awareness: Improving a deep generative sketching model with facial feedback

abstract: In the quest towards general artificial intelligence (AI), researchers have explored developing loss functions that act as intrinsic motivators in the absence of external rewards. This paper argues that such research has overlooked an important and useful intrinsic motivator: social interaction. We posit that making an AI agent aware of implicit social feedback from humans can allow for faster learning of more generalizable and useful representations, and could potentially impact AI safety. We collect social feedback in the form of facial expression reactions to samples from Sketch RNN, an LSTM-based variational autoencoder (VAE) designed to produce sketch drawings. We use a Latent Constraints GAN (LC-GAN) to learn from the facial feedback of a small group of viewers, by optimizing the model to produce sketches that it predicts will lead to more positive facial expressions. We show in multiple independent evaluations that the model trained with facial feedback produced sketches that are more highly rated, and induce significantly more positive facial expressions. Thus, we establish that implicit social feedback can improve the output of a deep learning model.


title: Differentiating the pseudo determinant

abstract: A class of derivatives is defined for the pseudo determinant $Det(A)$ of a Hermitian matrix $A$. This class is shown to be non-empty and to have a unique, canonical member $\mathbf{\nabla Det}(A)=Det(A)A^+$, where $A^+$ is the Moore-Penrose pseudo inverse. The classic identity for the gradient of the determinant is thus reproduced. Examples are provided, including the maximum likelihood problem for the rank-deficient covariance matrix of the degenerate multivariate Gaussian distribution.


title: Weierstrass Prym eigenforms in genus four

abstract: We prove that for each discriminant $D \equiv 0,1 \mod 4, D \not\in\{4,9\}$, the corresponding Prym eigenform locus discovered by McMullen in the stratum $\mathcal{H}(6)$ is connected. Thus, the projection of any of those loci in the moduli space is a single Teichm\"uller curve. Along the way, we obtain a classification of primitive square-tiled surfaces in the locus $\mathrm{Prym}(6)$ of Prym forms in $\mathcal{H}(6)$.


title: Generic Existence of Independent Families

abstract: We apply the concept of generic existence to p-point, q, and selective independent families that complements and emulates the ultrafilter generic existence results from Canjar and Ketonen.


title: Satellite Image Forgery Detection and Localization Using GAN and One-Class Classifier

abstract: Current satellite imaging technology enables shooting high-resolution pictures of the ground. As any other kind of digital images, overhead pictures can also be easily forged. However, common image forensic techniques are often developed for consumer camera images, which strongly differ in their nature from satellite ones (e.g., compression schemes, post-processing, sensors, etc.). Therefore, many accurate state-of-the-art forensic algorithms are bound to fail if blindly applied to overhead image analysis. Development of novel forensic tools for satellite images is paramount to assess their authenticity and integrity. In this paper, we propose an algorithm for satellite image forgery detection and localization. Specifically, we consider the scenario in which pixels within a region of a satellite image are replaced to add or remove an object from the scene. Our algorithm works under the assumption that no forged images are available for training. Using a generative adversarial network (GAN), we learn a feature representation of pristine satellite images. A one-class support vector machine (SVM) is trained on these features to determine their distribution. Finally, image forgeries are detected as anomalies. The proposed algorithm is validated against different kinds of satellite images containing forgeries of different size and shape.


title: Nanocommunication via FRET with DyLight Dyes using Multiple Donors and Acceptors

abstract: The phenomenon of Forster Resonance Energy Transfer, commonly used to measure the distances between fluorophore molecules and to study interactions between fluorescent-tagged proteins in life sciences, can also be applied in nanocommunication networks to transfer information bits. The mechanism offers a relatively large throughput and very small delays, but at the same time the channel bit error rate is too high and the transmission ranges are too limited for communication purposes. In this paper, multiple donors at the transmitter side and multiple acceptors at the receiver side are considered to decrease the bit error rate. As nanoantennas, the DyLight fluorescent dyes, which are very well suited to long range nanocommunication due to their large Forster distances and high degrees of labeling, are proposed. The reported results of the recent laboratory experiments confirm efficient communication on distances over 10 nm.


title: Efficient Discovery of Variable-length Time Series Motifs with Large Length Range in Million Scale Time Series

abstract: Detecting repeated variable-length patterns, also called variable-length motifs, has received a great amount of attention in recent years. Current state-of-the-art algorithm utilizes fixed-length motif discovery algorithm as a subroutine to enumerate variable-length motifs. As a result, it may take hours or days to execute when enumeration range is large. In this work, we introduce an approximate algorithm called HierarchIcal based Motif Enumeration (HIME) to detect variable-length motifs with a large enumeration range in million-scale time series. We show in the experiments that the scalability of the proposed algorithm is significantly better than that of the state-of-the-art algorithm. Moreover, the motif length range detected by HIME is considerably larger than previous sequence-matching based approximate variable-length motif discovery approach. We demonstrate that HIME can efficiently detect meaningful variable-length motifs in long, real world time series.


title: Routing in FRET-based Nanonetworks

abstract: Nanocommunications, understood as communications between nanoscale devices, is commonly regarded as a technology essential for cooperation of large groups of nanomachines and thus crucial for development of the whole area of nanotechnology. While solutions for point-to-point nanocommunications have been already proposed, larger networks cannot function properly without routing. In this article we focus on the nanocommunications via Forster Resonance Energy Transfer (FRET), which was found to be a technique with a very high signal propagation speed, and discuss how to route signals through nanonetworks. We introduce five new routing mechanisms, based on biological properties of specific molecules. We experimentally validate one of these mechanisms. Finally, we analyze open issues showing the technical challenges for signal transmission and routing in FRET-based nanocommunications.


title: Distributionally Robust Mean-Variance Portfolio Selection with Wasserstein Distances

abstract: We revisit Markowitz's mean-variance portfolio selection model by considering a distributionally robust version, where the region of distributional uncertainty is around the empirical measure and the discrepancy between probability measures is dictated by the so-called Wasserstein distance. We reduce this problem into an empirical variance minimization problem with an additional regularization term. Moreover, we extend recent inference methodology in order to select the size of the distributional uncertainty as well as the associated robust target return rate in a data-driven way.


title: Signal generation and storage in FRET-based nanocommunications

abstract: The paper is concerned with Forster Resonance Energy Transfer (FRET) considered as a mechanism for communication between nanodevices. Two solved issues are reported in the paper, namely: signal generation and signal storage in FRET-based nanonetworks. First, luciferase molecules as FRET transmitters which are able to generate FRET signals themselves, taking energy from chemical reactions without any external light exposure, are proposed. Second, channelrhodopsins as FRET receivers, as they can convert FRET signals into voltage, are suggested. Further, medical in-body systems where both molecule types might be successfully applied, are discussed. Luciferase-channelrhodopsin communication is modeled and its performance is numerically validated, reporting on its throughput, bit error rate, propagation delay and energy consumption.


title: Probabilistic Warnings in National Security Crises: Pearl Harbor Revisited

abstract: Imagine a situation where a group of adversaries is preparing an attack on the United States or U.S. interests. An intelligence analyst has observed some signals, but the situation is rapidly changing. The analyst faces the decision to alert a principal decision maker that an attack is imminent, or to wait until more is known about the situation. This warning decision is based on the analyst's observation and evaluation of signals, independent or correlated, and on her updating of the prior probabilities of possible scenarios and their outcomes. The warning decision also depends on the analyst's assessment of the crisis' dynamics and perception of the preferences of the principal decision maker, as well as the lead time needed for an appropriate response. This article presents a model to support this analyst's dynamic warning decision. As with most problems involving warning, the key is to manage the tradeoffs between false positives and false negatives given the probabilities and the consequences of intelligence failures of both types. The model is illustrated by revisiting the case of the attack on Pearl Harbor in December 1941. It shows that the radio silence of the Japanese fleet carried considerable information (Sir Arthur Conan Doyle's "dog in the night" problem), which was misinterpreted at the time. Even though the probabilities of different attacks were relatively low, their consequences were such that the Bayesian dynamic reasoning described here may have provided valuable information to key decision makers.


title: The false positive risk: a proposal concerning what to do about p values

abstract: It is widely acknowledged that the biomedical literature suffer from a surfeit of false positive results. Part of the reason for this is the persistence of the myth that observation of a p value less than 0.05 is sufficient justification to claim that you've made a discovery. It is hopeless to expect users to change their reliance on p values unless they are offered an alternative way of judging the reliability of their conclusions. If the alternative method is to have a chance of being adopted widely, it will have to be easy to understand and to calculate. One such proposal is based on calculation of false positive risk. It is suggested that p values and confidence intervals should continue to be given, but that they should be supplemented by a single additional number that conveys the strength of the evidence better than the p value. This number could be the minimum false positive risk (that calculated on the assumption of a prior probability of 0.5, the largest value that can be assumed in the absence of hard prior data). Alternatively one could specify the prior probability that it would be necessary to believe in order to achieve a false positive risk of, say, 0.05.


title: Understanding Membership Inferences on Well-Generalized Learning Models

abstract: Membership Inference Attack (MIA) determines the presence of a record in a machine learning model's training data by querying the model. Prior work has shown that the attack is feasible when the model is overfitted to its training data or when the adversary controls the training algorithm. However, when the model is not overfitted and the adversary does not control the training algorithm, the threat is not well understood. In this paper, we report a study that discovers overfitting to be a sufficient but not a necessary condition for an MIA to succeed. More specifically, we demonstrate that even a well-generalized model contains vulnerable instances subject to a new generalized MIA (GMIA). In GMIA, we use novel techniques for selecting vulnerable instances and detecting their subtle influences ignored by overfitting metrics. Specifically, we successfully identify individual records with high precision in real-world datasets by querying black-box machine learning models. Further we show that a vulnerable record can even be indirectly attacked by querying other related records and existing generalization techniques are found to be less effective in protecting the vulnerable instances. Our findings sharpen the understanding of the fundamental cause of the problem: the unique influences the training instance may have on the model.


title: Core electrons in the electronic stopping of heavy ions

abstract: Electronic stopping power in the \(\mathrm{keV/\AA}\) range is accurately calculated from first principles. The energy loss to electrons in self-irradiated nickel, a paradigmatic transition metal, using real-time time-dependent density functional theory is studied. Different core states are explicitly included in the simulations to understand their involvement in the dissipation mechanism. The experimental data are well reproduced in the projectile velocity range of \(1.0 - 12.0~\mathrm{atomic~units}\). The core electrons of the projectile are found to open additional dissipation channels as the projectile velocity increases. Almost all of the energy loss is accounted for, even for high projectile velocities, when core electrons as deep as \(2s\) are explicitly treated. In addition to their expected excitation at high velocities, a flapping dynamical response of the core electrons is observed at intermediate projectile speeds.


title: Modified Gravity (MOG) and its test on galaxy clusters

abstract: The MOdified Gravity (MOG) theory of J. Moffat assumes a massive vector particle which causes a repulsive contribution to the tensor gravitation. For the galaxy cluster A1689 new data for the X-ray gas and the strong lensing properties are presented. Fits to MOG are possible by adjusting the galaxy density profile. However, this appears to work as an effective dark matter component, posing a serious problem for MOG. New gas and strong lensing data for the cluster A1835 support these conclusions and point at a tendency of the gas-alone to overestimate the lensing effects in MOG theory.


title: Edge fires drive the shape and stability of tropical forests

abstract: In tropical regions, fires propagate readily in grasslands but typically consume only edges of forest patches. Thus forest patches grow due to tree propagation and shrink by fires in surrounding grasslands. The interplay between these competing edge effects is unknown, but critical in determining the shape and stability of individual forest patches, as well the landscape-level spatial distribution and stability of forests. We analyze high-resolution remote-sensing data from protected areas of the Brazilian Cerrado and find that forest shapes obey a robust perimeter-area scaling relation across climatic zones. We explain this scaling by introducing a heterogeneous fire propagation model of tropical forest-grassland ecotones. Deviations from this perimeter-area relation determine the stability of individual forest patches. At a larger scale, our model predicts that the relative rates of tree growth due to propagative expansion and long-distance seed dispersal determine whether collapse of regional-scale tree cover is continuous or discontinuous as fire frequency changes.


title: Uncertainty Estimation via Stochastic Batch Normalization

abstract: In this work, we investigate Batch Normalization technique and propose its probabilistic interpretation. We propose a probabilistic model and show that Batch Normalization maximazes the lower bound of its marginalized log-likelihood. Then, according to the new probabilistic model, we design an algorithm which acts consistently during train and test. However, inference becomes computationally inefficient. To reduce memory and computational cost, we propose Stochastic Batch Normalization -- an efficient approximation of proper inference procedure. This method provides us with a scalable uncertainty estimation technique. We demonstrate the performance of Stochastic Batch Normalization on popular architectures (including deep convolutional architectures: VGG-like and ResNets) for MNIST and CIFAR-10 datasets.


title: Computer-Aided Knee Joint Magnetic Resonance Image Segmentation - A Survey

abstract: Osteoarthritis (OA) is one of the major health issues among the elderly population. MRI is the most popular technology to observe and evaluate the progress of OA course. However, the extreme labor cost of MRI analysis makes the process inefficient and expensive. Also, due to human error and subjective nature, the inter- and intra-observer variability is rather high. Computer-aided knee MRI segmentation is currently an active research field because it can alleviate doctors and radiologists from the time consuming and tedious job, and improve the diagnosis performance which has immense potential for both clinic and scientific research. In the past decades, researchers have investigated automatic/semi-automatic knee MRI segmentation methods extensively. However, to the best of our knowledge, there is no comprehensive survey paper in this field yet. In this survey paper, we classify the existing methods by their principles and discuss the current research status and point out the future research trend in-depth.


title: Low-mass X-ray binaries ejected from globular clusters

abstract: We explore the population of mass-transferring binaries ejected from globular clusters (GCs) with both black hole (BH) and neutron star (NS) accretors. We use a set of 137 fully evolved globular cluster models which span a large range in cluster properties and, overall, match very well the properties of old GCs observed in the Milky Way. We identify all binaries ejected from our set of models that eventually undergo mass-transfer. These binaries are ejected from their host clusters over a wide range of ejection times and include white dwarf, giant, and main sequence donors. We calculate the orbits of these ejected systems in the Galactic potential to determine their present-day positions in the Galaxy and compare to the distribution of observed low-mass X-ray binaries (XRBs) in the Milky Way. We estimate $\sim 300$ mass-transferring NS binaries and $\sim 180$ mass-transferring BH binaries may currently be present in the Milky Way that originated from within GCs. Of these, we estimate, based on mass-transfer rates and duty cycles at the present time, at most a few would be observable as BH--XRBs and NS--XRBs at the present day. Based on our results, XRBs that originated from GCs are unlikely to contribute significantly to the total population of low-mass XRBs in the Galactic field.


title: Non-normal purely log terminal centres in characteristic $p \geq 3$

abstract: In this note we show, building on a recent work of Totaro, that for every prime number $p \geq 3$ there exists a purely log terminal pair $(Z,S)$ of dimension $2p+2$ whose plt centre $S$ is not normal.


title: On the centralizer of generic braids

abstract: We study the centralizer of a braid from the point of view of Garside theory, showing that generically a minimal set of generators can be computed very efficiently, as the ultra summit set of a generic braid has a very particular structure. We present an algorithm to compute the centralizer of a braid whose generic-case complexity is quadratic on the length of the input, and which outputs a minimal set of generators in the generic case.


title: Direct Observation of Broadband Nonclassical States in a Room-temperature Light-matter Interface

abstract: Nonclassical state is an essential resource for quantum-enhanced communication, computing and metrology to outperform their classical counterpart. The nonclassical states that can operate at high bandwidth and room temperature while being compatible with quantum memory are highly desirable to enable the scalability of quantum technologies. Here, we present a direct observation of broadband nonclasscal states in a room-temperature light-matter interface, where the atoms can also be controlled to store and interfere with photons. With a single coupling pulse and far off-resonance configuration, we are able to induce a multi-field interference between light and atoms to create the desired nonclassical states by spectrally selecting the two correlated photons out of seven possible emissions. We explicitly confirm the nonclassicality by observing a cross correlation up to 17 and a violation of Cauchy-Schwarz inequality with 568 standard deviations. Our results demonstrate the potential of a state-built-in, broadband and room-temperature light-matter interface for scalable quantum information networks.


title: Field-Programmable Deep Neural Network (DNN) Learning and Inference accelerator: a concept

abstract: An accelerator is a specialized integrated circuit designed to perform specific computations faster than if those were performed by CPU or GPU. A Field-Programmable DNN learning and inference accelerator (FProg-DNN) using hybrid systolic and non-systolic techniques, distributed information-control and deep pipelined structure is proposed and its microarchitecture and operation presented here. Reconfigurability attends diverse DNN designs and allows for different number of workers to be assigned to different layers as a function of the relative difference in computational load among layers. The computational delay per layer is made roughly the same along pipelined accelerator structure. VGG-16 and recently proposed Inception Modules are used for showing the flexibility of the FProg-DNN reconfigurability. Special structures were also added for a combination of convolution layer, map coincidence and feedback for state of the art learning with small set of examples, which is the focus of a companion paper by the author (Franca-Neto, 2018). The accelerator described is able to reconfigure from (1) allocating all a DNN computations to a single worker in one extreme of sub-optimal performance to (2) optimally allocating workers per layer according to computational load in each DNN layer to be realized. Due the pipelined architecture, more than 50x speedup is achieved relative to GPUs or TPUs. This speed-up is consequence of hiding the delay in transporting activation outputs from one layer to the next in a DNN behind the computations in the receiving layer. This FProg-DNN concept has been simulated and validated at behavioral-functional level.


title: Analysing and Patching SPEKE in ISO/IEC

abstract: Simple Password Exponential Key Exchange (SPEKE) is a well-known Password Authenticated Key Exchange (PAKE) protocol that has been used in Blackberry phones for secure messaging and Entrust's TruePass end-to-end web products. It has also been included into international standards such as ISO/IEC 11770-4 and IEEE P1363.2. In this paper, we analyse the SPEKE protocol as specified in the ISO/IEC and IEEE standards. We identify that the protocol is vulnerable to two new attacks: an impersonation attack that allows an attacker to impersonate a user without knowing the password by launching two parallel sessions with the victim, and a key-malleability attack that allows a man-in-the-middle (MITM) to manipulate the session key without being detected by the end users. Both attacks have been acknowledged by the technical committee of ISO/IEC SC 27, and ISO/IEC 11770-4 revised as a result. We propose a patched SPEKE called P-SPEKE and present a formal analysis in the Applied Pi Calculus using ProVerif to show that the proposed patch prevents both attacks. The proposed patch has been included into the latest revision of ISO/IEC 11770-4 published in 2017.


title: The shadow of a collapsing dark star

abstract: The shadow of a black hole is usually calculated, either analytically or numerically, on the assumption that the black hole is eternal, i.e., that it existed for all time. Here we ask the question of how this shadow comes about in the course of time when a black hole is formed by gravitational collapse. To that end we consider a star that is spherically symmetric, dark and non-transparent and we assume that it begins, at some instant of time, to collapse in free fall like a ball of dust. We analytically calculate the dependence on time of the angular radius of the shadow, first for a static observer who is watching the collapse from a certain distance and then for an observer who is falling towards the centre following the collapsing star.


title: The Massive Star-Forming Regions Omnibus X-Ray Catalog, Second Installment

abstract: We present the second installment of the Massive Star-forming Regions (MSFRs) Omnibus X-ray Catalog (MOXC2), a compilation of X-ray point sources detected in Chandra/ACIS observations of 16 Galactic MSFRs and surrounding fields. MOXC2 includes 13 ACIS mosaics, three containing a pair of unrelated MSFRs at different distances, with a total catalog of 18,396 point sources. The MSFRs sampled range over distances of 1.3 kpc to 6 kpc and populations varying from single massive protostars to the most massive Young Massive Cluster known in the Galaxy. By carefully detecting and removing X-ray point sources down to the faintest statistically-significant limit, we facilitate the study of the remaining unresolved X-ray emission. Through comparison with mid-infrared images that trace photon-dominated regions and ionization fronts, we see that the unresolved X-ray emission is due primarily to hot plasmas threading these MSFRs, the result of feedback from the winds and supernovae of massive stars. The 16 MSFRs studied in MOXC2 more than double the MOXC1 sample, broadening the parameter space of ACIS MSFR explorations and expanding Chandra's substantial contribution to contemporary star formation science.


title: Molecular Structure Extraction From Documents Using Deep Learning

abstract: Chemical structure extraction from documents remains a hard problem due to both false positive identification of structures during segmentation and errors in the predicted structures. Current approaches rely on handcrafted rules and subroutines that perform reasonably well generally, but still routinely encounter situations where recognition rates are not yet satisfactory and systematic improvement is challenging. Complications impacting performance of current approaches include the diversity in visual styles used by various software to render structures, the frequent use of ad hoc annotations, and other challenges related to image quality, including resolution and noise. We here present end-to-end deep learning solutions for both segmenting molecular structures from documents and for predicting chemical structures from these segmented images. This deep learning-based approach does not require any handcrafted features, is learned directly from data, and is robust against variations in image quality and style. Using the deep-learning approach described herein we show that it is possible to perform well on both segmentation and prediction of low resolution images containing moderately sized molecules found in journal articles and patents.


title: The Structure of Decoherence-free Subsystems

abstract: Decoherence-free subsystems have been successfully developed as a tool to preserve fragile quantum information against noises. In this letter, we develop a structure theory for decoherence-free subsystems. Based on it, we present an effective algorithm to construct a set of maximal decoherence-free subsystems in the sense that any other such subsystem is a subspace of one of them. As an application of these techniques in quantum many body systems, we propose a simple and numerically robust method to determine if two irreducible tensors are repeated, a key step in deciding if they are equivalent in generating matrix product states.


title: Connecting discrete particle mechanics to continuum granular micromechanics: Anisotropic continuum properties under compaction

abstract: A systematic and mechanistic connection between granular materials' macroscopic and grain level behaviors is developed for monodisperse systems of spherical elastic particles under die compaction. The Granular Micromechanics Approach (GMA) with static assumption is used to derive the stiffness tensor of transversely isotropic materials, from the average behavior of particle-particle interactions in all different directions at the microscale. Two particle-scale directional density distribution functions, namely the directional distribution of a combined mechano-geometrical property and the directional distribution of a purely geometrical property, are proposed and parametrized by five independent parameters. Five independent components of the symmetrized tangent stiffness tensor are also determined from discrete particle mechanics (PMA) calculations of nine perturbations around points of the loading path. Finally, optimal values for these five GMA parameters were obtained by minimizing the error between PMA calculations and GMA closed-form predictions of stiffness tensor during the compaction process. The results show that GMA with static assumption is effective at capturing the anisotropic evolution of microstructure during loading, even without describing contacts independently but rather accounting for them in an average sense.


title: Ultrahigh-dimensional Robust and Efficient Sparse Regression using Non-Concave Penalized Density Power Divergence

abstract: We propose a sparse regression method based on the non-concave penalized density power divergence loss function which is robust against infinitesimal contamination in very high dimensionality. Present methods of sparse and robust regression are based on $\ell_1$-penalization, and their theoretical properties are not well-investigated. In contrast, we use a general class of folded concave penalties that ensure sparse recovery and consistent estimation of regression coefficients. We propose an alternating algorithm based on the Concave-Convex procedure to obtain our estimate, and demonstrate its robustness properties using influence function analysis. Under some conditions on the fixed design matrix and penalty function, we prove that this estimator possesses large-sample oracle properties in an ultrahigh-dimensional regime. The performance and effectiveness of our proposed method for parameter estimation and prediction compared to state-of-the-art are demonstrated through simulation studies.


title: Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications

abstract: Modern scientific instruments produce vast amounts of data, which can overwhelm the processing ability of computer systems. Lossy compression of data is an intriguing solution, but comes with its own drawbacks, such as potential signal loss, and the need for careful optimization of the compression ratio. In this work, we focus on a setting where this problem is especially acute: compressive sensing frameworks for interferometry and medical imaging. We ask the following question: can the precision of the data representation be lowered for all inputs, with recovery guarantees and practical performance? Our first contribution is a theoretical analysis of the normalized Iterative Hard Thresholding (IHT) algorithm when all input data, meaning both the measurement matrix and the observation vector are quantized aggressively. We present a variant of low precision normalized {IHT} that, under mild conditions, can still provide recovery guarantees. The second contribution is the application of our quantization framework to radio astronomy and magnetic resonance imaging. We show that lowering the precision of the data can significantly accelerate image recovery. We evaluate our approach on telescope data and samples of brain images using CPU and FPGA implementations achieving up to a 9x speed-up with negligible loss of recovery quality.


title: Conditional Density Estimation with Bayesian Normalising Flows

abstract: Modeling complex conditional distributions is critical in a variety of settings. Despite a long tradition of research into conditional density estimation, current methods employ either simple parametric forms or are difficult to learn in practice. This paper employs normalising flows as a flexible likelihood model and presents an efficient method for fitting them to complex densities. These estimators must trade-off between modeling distributional complexity, functional complexity and heteroscedasticity without overfitting. We recognize these trade-offs as modeling decisions and develop a Bayesian framework for placing priors over these conditional density estimators using variational Bayesian neural networks. We evaluate this method on several small benchmark regression datasets, on some of which it obtains state of the art performance. Finally, we apply the method to two spatial density modeling tasks with over 1 million datapoints using the New York City yellow taxi dataset and the Chicago crime dataset.


title: Measuring the Black Hole Mass Spectrum from Redshifts of aLIGO Binary Merger Events

abstract: The binary black hole merger events observed by the Advanced LIGO (aLIGO) and VIRGO collaboration can shed light on the origins of black holes. Many studies based on black hole stellar origins have shown a maximum mass for stellar black holes, which can be measured or constrained from the observed black hole mass distribution. In this paper, we point out that the redshift distribution of the observed merger events can provide complementary information for studying the black hole mass distribution, because the detectability correlates the event redshift to the black hole masses. Based on the five observed events and using the Kolmogorov-Smirnov test, we have found that the maximum of the stellar black hole masses are constrained to be below $76\,M_\odot$ at 90\% confidence level, for a negative power-law index of 2.3 for the heavier black hole. With the improved sensitivity of aLIGO, a few dozen merger events may be obtained, for which we estimate that the maximum mass will be constrained to $10\,M_\odot$ accuracy.


title: Asymptotic Prethermalization in Periodically Driven Classical Spin Chains

abstract: We reveal a continuous dynamical heating transition between a prethermal and an infinite-temperature stage in a clean, chaotic periodically driven classical spin chain. The transition time is a steep exponential function of the drive frequency, showing that the exponentially long-lived prethermal plateau, originally observed in quantum Floquet systems, survives the classical limit. Even though there is no straightforward generalization of Floquet's theorem to nonlinear systems, we present strong evidence that the prethermal physics is well described by the inverse-frequency expansion. We relate the stability and robustness of the prethermal plateau to drive-induced synchronization not captured by the expansion. Our results set the pathway to transfer the ideas of Floquet engineering to classical many-body systems, and are directly relevant for photonic crystals and cold atom experiments in the superfluid regime.


title: Large-Scale Sparse Inverse Covariance Estimation via Thresholding and Max-Det Matrix Completion

abstract: The sparse inverse covariance estimation problem is commonly solved using an $\ell_{1}$-regularized Gaussian maximum likelihood estimator known as "graphical lasso", but its computational cost becomes prohibitive for large data sets. A recent line of results showed--under mild assumptions--that the graphical lasso estimator can be retrieved by soft-thresholding the sample covariance matrix and solving a maximum determinant matrix completion (MDMC) problem. This paper proves an extension of this result, and describes a Newton-CG algorithm to efficiently solve the MDMC problem. Assuming that the thresholded sample covariance matrix is sparse with a sparse Cholesky factorization, we prove that the algorithm converges to an $\epsilon$-accurate solution in $O(n\log(1/\epsilon))$ time and $O(n)$ memory. The algorithm is highly efficient in practice: we solve the associated MDMC problems with as many as 200,000 variables to 7-9 digits of accuracy in less than an hour on a standard laptop computer running MATLAB.


title: Chemical freezeout parameters within generic nonextensive statistics

abstract: The particle production in relativistic heavy-ion collisions seems to be created in a dynamically disordered system which can be best described by an extended exponential entropy. In distinguishing between the applicability of this and Boltzmann-Gibbs (BG) in generating various particle-ratios, generic (non)extensive statistics (GNS) is introduced to the hadron resonance gas model. Accordingly, the degree of (non)extensivity is determined by the possible modifications in the phase space. Both BG extensivity and Tsallis nonextensivity are included as very special cases defined by specific values of the equivalence classes $(c, d)$. We found that the particle ratios at energies ranging between $3.8$ and $2760~$GeV are best reproduced by nonextensive statistics, where $c$ and $d$ range between $\sim0.9$ and $\sim1$. The present work aims at illustrating that the proposed approach is well capable to manifest the statistical nature of the system on interest. We don't aim at highlighting deeper physical insights. In other words, while the resulting nonextensivity is neither BG nor Tsallis, the freezeout parameters are found very compatible with BG and accordingly with the well-known freezeout phase-diagram, which is in an excellent agreement with recent lattice calculations. We conclude that the particle production is nonextensive but should not necessarily be accompanied by a radical change in the intensive or extensive thermodynamic quantities, such as internal energy and temperature. Only, the two critical exponents defining the equivalence classes $(c, d)$ are the physical parameters characterizing the (non)extensivity.


title: Active crystals on a sphere

abstract: Two-dimensional crystals on curved manifolds exhibit nontrivial defect structures. Here, we consider "active crystals" on a sphere, which are composed of self-propelled colloidal particles. Our work is based on a new phase-field-crystal-type model that involves a density and a polarization field on the sphere. Depending on the strength of the self-propulsion, three different types of crystals are found: a static crystal, a self-spinning "vortex-vortex" crystal containing two vortical poles of the local velocity, and a self-translating "source-sink" crystal with a source pole where crystallization occurs and a sink pole where the active crystal melts. These different crystalline states as well as their defects are studied theoretically here and can in principle be confirmed in experiments.


title: Web-Scale Responsive Visual Search at Bing

abstract: In this paper, we introduce a web-scale general visual search system deployed in Microsoft Bing. The system accommodates tens of billions of images in the index, with thousands of features for each image, and can respond in less than 200 ms. In order to overcome the challenges in relevance, latency, and scalability in such large scale of data, we employ a cascaded learning-to-rank framework based on various latest deep learning visual features, and deploy in a distributed heterogeneous computing platform. Quantitative and qualitative experiments show that our system is able to support various applications on Bing website and apps.


title: On the Feasibility of Decentralized Derivatives Markets

abstract: In this paper, we present Velocity, a decentralized market deployed on Ethereum for trading a custom type of derivative option. To enable the smart contract to work, we also implement a price fetching tool called PriceGeth. We present this as a case study, noting challenges in development of the system that might be of independent interest to whose working on smart contract implementations. We also apply recent academic results on the security of the Solidity smart contract language in validating our codes security. Finally, we discuss more generally the use of smart contracts in modelling financial derivatives.


title: Dark-matter-like solutions to Einstein's unified field equations

abstract: Einstein originally proposed a nonsymmetric tensor field, with its symmetric part associated with the spacetime metric and its antisymmetric part associated with the electromagnetic field, as an approach to a unified field theory. Here we interpret it more modestly as an alternative to Einstein-Maxwell theory, approximating the coupling between the electromagnetic field and spacetime curvature in the macroscopic classical regime. Previously it was shown that the Lorentz force can be derived from this theory, albeit with deviation on the scale of a universal length constant $\ell$. Here we assume that $\ell$ is of galactic scale and show that the modified coupling of the electromagnetic field with charged particles allows a non-Maxwellian equilibrium of non-neutral plasma. The resulting electromagnetic field is "dark" in the sense that its modified Lorentz force on the plasma vanishes, yet through its modified coupling to the gravitational field it engenders a nonvanishing, effective mass density. We obtain a solution for which this mass density asymptotes approximately to that of the pseudo-isothermal model of dark matter. The resulting gravitational field produces radial acceleration, in the context of a post-Minkowskian approximation, which is negligible at small radius but yields a flat rotation curve at large radius. We further exhibit a family of such solutions which, like the pseudo-isothermal model, has a free parameter to set the mass scale (in this case related to the charge density) and a free parameter to set the length scale (in this case an integer multiple of $\ell$). Moreover, these solutions are members of a larger family with more general angular and radial dependence. They thus show promise as approximations of generalized pseudo-isothermal models, which in turn are known to fit a wide range of mass density profiles for galaxies and clusters.


title: Collective Coordinate Models of Domain Wall Motion in Perpendicularly Magnetized Systems under the Spin Hall Effect and Longitudinal Fields

abstract: Recent studies on heterostructures of ultrathin ferromagnets sandwiched between a heavy metal layer and an oxide have highlighted the importance of spin-orbit coupling (SOC) and broken inversion symmetry in domain wall (DW) motion. Specifically, chiral DWs are stabilized in these systems due to the Dzyaloshinskii-Moriya interaction (DMI). SOC can also lead to enhanced current induced DW motion, with the spin Hall effect (SHE) suggested as the dominant mechanism for this observation. The efficiency of SHE driven DW motion depends on the internal magnetic structure of the DW, which could be controlled using externally applied longitudinal in-plane fields. In this work, micromagnetic simulations and collective coordinate models are used to study current-driven DW motion under longitudinal in-plane fields in perpendicularly magnetized samples with strong DMI. Several extended collective coordinate models are developed to reproduce the micromagnetic results. While these extended models show improvements over traditional models of this kind, there are still discrepancies between them and micromagnetic simulations which require further work.


title: Prophit: Causal inverse classification for multiple continuously valued treatment policies

abstract: Inverse classification uses an induced classifier as a queryable oracle to guide test instances towards a preferred posterior class label. The result produced from the process is a set of instance-specific feature perturbations, or recommendations, that optimally improve the probability of the class label. In this work, we adopt a causal approach to inverse classification, eliciting treatment policies (i.e., feature perturbations) for models induced with causal properties. In so doing, we solve a long-standing problem of eliciting multiple, continuously valued treatment policies, using an updated framework and corresponding set of assumptions, which we term the inverse classification potential outcomes framework (ICPOF), along with a new measure, referred to as the individual future estimated effects ($i$FEE). We also develop the approximate propensity score (APS), based on Gaussian processes, to weight treatments, much like the inverse propensity score weighting used in past works. We demonstrate the viability of our methods on student performance.


title: New Universal Deformation Formulas for deformation quantization

abstract: Universal Deformation Formulas (UDFs) for the deformation of associative algebras play a key role in deformation quantization. Here we present examples for certain classes of infinitesimals. A basic representable 2-cocycle $F$ of an associative algebra $\mathcal A$ is one for which there exist commuting derivations $D,\dots, D_n$ of $\mathcal A$ such that $F = \sum_{ij}a_{ij}D_i \smile D_j$, where the $a_{ij}$ are central elements of $\mathcal A$. When $\mathcal A$ is defined over the rationals, there is a natural definition of the exponential of such a cocycle. With this $\exp \hbar F$ defines a formal one-parameter family of deformations of $\mathcal A$, where $\hbar$ is a deformation parameter. The rational quantization of smooth functions on a smooth manifold using a bivector field as an infinitesimal deformation is a special case.


title: DVAE++: Discrete Variational Autoencoders with Overlapping Transformations

abstract: Training of discrete latent variable models remains challenging because passing gradient information through discrete units is difficult. We propose a new class of smoothing transformations based on a mixture of two overlapping distributions, and show that the proposed transformation can be used for training binary latent models with either directed or undirected priors. We derive a new variational bound to efficiently train with Boltzmann machine priors. Using this bound, we develop DVAE++, a generative model with a global discrete prior and a hierarchy of convolutional continuous variables. Experiments on several benchmarks show that overlapping transformations outperform other recent continuous relaxations of discrete latent variables including Gumbel-Softmax (Maddison et al., 2016; Jang et al., 2016), and discrete variational autoencoders (Rolfe 2016).


title: Stability of circulant graphs

abstract: The canonical double cover $\mathrm{D}(\Gamma)$ of a graph $\Gamma$ is the direct product of $\Gamma$ and $K_2$. If $\mathrm{Aut}(\mathrm{D}(\Gamma))=\mathrm{Aut}(\Gamma)\times\mathbb{Z}_2$ then $\Gamma$ is called stable; otherwise $\Gamma$ is called unstable. An unstable graph is nontrivially unstable if it is connected, non-bipartite and distinct vertices have different neighborhoods. In this paper we prove that every circulant graph of odd prime order is stable and there is no arc-transitive nontrivially unstable circulant graph. The latter answers a question of Wilson in 2008. We also give infinitely many counterexamples to a conjecture of Maru\v{s}i\v{c}, Scapellato and Zagaglia Salvi in 1989 by constructing a family of stable circulant graphs with compatible adjacency matrices.


title: Supersymmetric Sawada-Kotera Equation: B\"{a}cklund-Darboux Transformations and Applications

abstract: In this paper, we construct a Darboux transformation and the related B\"acklund transformation for the supersymmetric Sawada-Kotera (SSK) equation. The associated nonlinear superposition formula is also worked out. We demonstrate that these are natural extensions of the similar results of the Sawada-Kotera equation and may be applied to produce the solutions of the SSK equation. Also, we present two semi-discrete systems and show that the continuum limit of one of them goes to the SKK equation.


title: Beamforming with Multiple One-Bit Wireless Transceivers

abstract: Classical beamforming techniques rely on highly linear transmitters and receivers to allow phase-coherent combining at the transmitter and receiver. The transmitter uses beamforming to steer signal power towards the receiver, and the receiver uses beamforming to gather and coherently combine the signals from multiple receiver antennas. When the transmitters and receivers are instead constrained for power and cost reasons to be non-linear one-bit devices, the potential advantages and performance metrics associated with beamforming are not as well understood. We define beamforming at the transmitter as a codebook design problem to maximize the minimum distance between codewords. We define beamforming at the receiver as the maximum likelihood detector of the transmitted codeword. We show that beamforming with one-bit transceivers is a constellation design problem, and that we can come within a few dB SNR of the capacity attained by linear transceivers.


title: Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks

abstract: The past few years have witnessed growth in the computational requirements for training deep convolutional neural networks. Current approaches parallelize training onto multiple devices by applying a single parallelization strategy (e.g., data or model parallelism) to all layers in a network. Although easy to reason about, these approaches result in suboptimal runtime performance in large-scale distributed training, since different layers in a network may prefer different parallelization strategies. In this paper, we propose layer-wise parallelism that allows each layer in a network to use an individual parallelization strategy. We jointly optimize how each layer is parallelized by solving a graph search problem. Our evaluation shows that layer-wise parallelism outperforms state-of-the-art approaches by increasing training throughput, reducing communication costs, achieving better scalability to multiple GPUs, while maintaining original network accuracy.


title: Bias Correction Estimation for Continuous-Time Asset Return Model with Jumps

abstract: In this paper, local linear estimators are adapted for the unknown infinitesimal coefficients associated with continuous-time asset return model with jumps, which can correct the bias automatically due to their simple bias representation. The integrated diffusion models with jumps, especially infinite activity jumps are mainly investigated. In addition, under mild conditions, the weak consistency and asymptotic normality is provided through the conditional Lindeberg theorem. Furthermore, our method presents advantages in bias correction through simulation whether jumps belong to the finite activity case or infinite activity case. Finally, the estimators are illustrated empirically through the returns for stock index under five-minute high sampling frequency for real application.


title: A three-player coherent state embezzlement game

abstract: We introduce a three-player nonlocal game, with a finite number of classical questions and answers, such that the optimal success probability of $1$ in the game can only be achieved in the limit of strategies using arbitrarily high-dimensional entangled states. Precisely, there exists a constant $0 <c\leq 1$ such that to succeed with probability $1-\varepsilon$ in the game it is necessary to use an entangled state of at least $\Omega(\varepsilon^{-c})$ qubits, and it is sufficient to use a state of at most $O(\varepsilon^{-1})$ qubits. The game is based on the coherent state exchange game of Leung et al. (CJTCS 2013). In our game, the task of the quantum verifier is delegated to a third player by a classical referee. Our results complement those of Slofstra (arXiv:1703.08618) and Dykema et al. (arXiv:1709.05032), who obtained two-player games with similar (though quantitatively weaker) properties based on the representation theory of finitely presented groups and $C^*$-algebras respectively.


title: Geometry-Based Data Generation

abstract: Many generative models attempt to replicate the density of their input data. However, this approach is often undesirable, since data density is highly affected by sampling biases, noise, and artifacts. We propose a method called SUGAR (Synthesis Using Geometrically Aligned Random-walks) that uses a diffusion process to learn a manifold geometry from the data. Then, it generates new points evenly along the manifold by pulling randomly generated points into its intrinsic structure using a diffusion kernel. SUGAR equalizes the density along the manifold by selectively generating points in sparse areas of the manifold. We demonstrate how the approach corrects sampling biases and artifacts, while also revealing intrinsic patterns (e.g. progression) and relations in the data. The method is applicable for correcting missing data, finding hypothetical data points, and learning relationships between data features.


title: A Posteriori Error Estimate for Computing $\mathrm{tr}(f(A))$ by Using the Lanczos Method

abstract: An outstanding problem when computing a function of a matrix, $f(A)$, by using a Krylov method is to accurately estimate errors when convergence is slow. Apart from the case of the exponential function which has been extensively studied in the past, there are no well-established solutions to the problem. Often the quantity of interest in applications is not the matrix $f(A)$ itself, but rather, matrix-vector products or bilinear forms. When the computation related to $f(A)$ is a building block of a larger problem (e.g., approximately computing its trace), a consequence of the lack of reliable error estimates is that the accuracy of the computed result is unknown. In this paper, we consider the problem of computing $\mathrm{tr}(f(A))$ for a symmetric positive-definite matrix $A$ by using the Lanczos method and make two contributions: (i) we propose an error estimate for the bilinear form associated with $f(A)$, and (ii) an error estimate for the trace of $f(A)$. We demonstrate the practical usefulness of these estimates for large matrices and in particular, show that the trace error estimate is indicative of the number of accurate digits. As an application, we compute the log-determinant of a covariance matrix in Gaussian process analysis and underline the importance of error tolerance as a stopping criterion, as a means of bounding the number of Lanczos steps to achieve a desired accuracy.


title: Context-Specific Validation of Data-Driven Models

abstract: With an increasing use of data-driven models to control robotic systems, it has become important to develop a methodology for validating such models before they can be deployed to design a controller for the actual system. Specifically, it must be ensured that the controller designed for a learned model would perform as expected on the actual physical system. We propose a context-specific validation framework to quantify the quality of a learned model based on a distance measure between the closed-loop actual system and the learned model. We then propose an active sampling scheme to compute a probabilistic upper bound on this distance in a sample-efficient manner. The proposed framework validates the learned model against only those behaviors of the system that are relevant for the purpose for which we intend to use this model, and does not require any a priori knowledge of the system dynamics. Several simulations illustrate the practicality of the proposed framework for validating the models of real-world systems, and consequently, for controller synthesis.


title: Gallai-Ramsey numbers for books

abstract: Given a graph $G$ and a positive integer $k$, the \emph{Gallai-Ramsey number} is defined to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for books $B_{m} = K_{2} + \overline{K_{m}}$ and prove sharp results for $m \leq 5$.


title: Energy Spatio-Temporal Pattern Prediction for Electric Vehicle Networks

abstract: Information about the spatio-temporal pattern of electricity energy carried by EVs, instead of EVs themselves, is crucial for EVs to establish more effective and intelligent interactions with the smart grid. In this paper, we propose a framework for predicting the amount of the electricity energy stored by a large number of EVs aggregated within different city-scale regions, based on spatio-temporal pattern of the electricity energy. The spatial pattern is modeled via using a neural network based spatial predictor, while the temporal pattern is captured via using a linear-chain conditional random field (CRF) based temporal predictor. Two predictors are fed with spatial and temporal features respectively, which are extracted based on real trajectories data recorded in Beijing. Furthermore, we combine both predictors to build the spatio-temporal predictor, by using an optimal combination coefficient which minimizes the normalized mean square error (NMSE) of the predictions. The prediction performance is evaluated based on extensive experiments covering both spatial and temporal predictions, and the improvement achieved by the combined spatio-temporal predictor. The experiment results show that the NMSE of the spatio-temporal predictor is maintained below 0.1 for all investigate regions of Beijing. We further visualize the prediction and discuss the potential benefits can be brought to smart grid scheduling and EV charging by utilizing the proposed framework.


title: Unambiguous Evidence of Filament Splitting-Induced Partial Eruptions

abstract: Coronal mass ejections are often considered to result from the full eruption of a magnetic flux rope (MFR). However, it is recognized that, in some events, the MFR may release only part of its flux, with the details of the implied splitting not completely established due to limitations in observations. Here, we investigate two partial eruption events including a confined and a successful one. Both partial eruptions are a consequence of the vertical splitting of a filament-hosting MFR involving internal reconnection. A loss of equilibrium in the rising part of the magnetic flux is suggested by the impulsive onset of both events and by the delayed onset of reconnection in the confined event. The remaining part of the flux might be line-tied to the photosphere in a bald patch separatrix surface, and we confirm the existence of extended bald-patch sections for the successful eruption. The internal reconnection is signified by brightenings in the body of one filament and between the rising and remaining parts of both filaments. It evolves quickly into the standard current sheet reconnection in the wake of the eruption. As a result, regardless of being confined or successful, both eruptions produce hard X-ray sources and flare loops below the erupting but above the surviving flux, as well as a pair of flare ribbons enclosing the latter.


title: The Diminished Quantum Uncertainty in Multipartite Entanglement

abstract: The uncertainty principle and entanglement are two fundamental, but yet not well understood, features of quantum theory. The uncertainty relation reflects the capability limit in acquiring the knowledge of different physical properties of a particle simultaneously, while on the other side, the quantum entanglement renders the entangled quanta lose their independence, including measurements imposed on them. By virtue of the majorization, here we establish a general correlation relation for quantum uncertainty and multipartite entanglement. Within this scheme, the optimization problems for entropy and majorization uncertainty relation are solved. We obtain a diminished uncertainty relation in the presence of multipartite entanglement, where the lower bound is connected with the entanglement class. This result is inspiring, reveals the intrinsic quantitative connection between uncertainty relation and entanglement, and may have a deep impact on quantum measurement in application.


title: Nodes: A Proposed Solution to Fermi's Paradox

abstract: Within the SETI community, a school of thought holds that ET might prefer to send information physically in so-called "probes," rather than by radio or optical beacon, in effect, a message in a bottle. In this paper, a related solution to Fermi's Paradox (also known as the "Great Silence") is proposed whereby ET civilizations aggregate knowledge into a system of "nodes," interspersed throughout the galaxy. Each node explores and serves the local star systems, detecting through its exploration non-technological life, and enlisting newly emergent technological civilizations, such as ourselves, into its central system. Each node would download information to new member civilizations and upload information from those civilizations, passing it along to its immediately adjacent nodes, such that new information would pass through the entire galaxy at near light speed. The most local node would not be directly detectible by us until it signaled Earth in response to a detection of its artificial electromagnetic (EM) leakage. This is because Earth would not be in the narrow beam of the signal pathways between our local node and its adjacent nodes, nor between the local node and other local civilizations, while the spillover signal strength of far distant nodes would be too weak to be detectable. Thus, the Great Silence of the galaxy is simply the result of the fact that Earth is not currently situated within a communications pathway in an otherwise well interconnected galaxy.


title: Multiplicity of closed characteristics on $P$-symmetric compact convex hypersurfaces in $\mathbb{R}^{2n}$

abstract: There is a long standing conjecture that there are at least $n$ closed characteristics for any compact convex hypersurface $\Sigma$ in $\mathbb{R}^{2n}$, and the symmetric case, i.e. $\Sigma=-\Sigma$, has already been proved by C. Liu, Y. Long and C. Zhu in [Math. Ann., 323(2002), pp. 201-215]. In this paper, we extend the result in that paper to the $P$-symmetric case $\Sigma=P\Sigma$ for a certain class of symplectic matrix $P$, and prove that there are at least $[\frac{3n}{4}]$ closed characteristics on $\Sigma$ for any positive integer $n$, where $[a]:=\sup\{l\in\mathbb{Z},l\leq a\}$. To obtain our result, the key problem is to estimate (3.13) in which the method is based on the theorem called Common Index Jump Theorem. By using the Bott-type iteration formulas of Maslov index and Maslov-type index for a certain kind of iteration symplectic path, we provide the some new estimations (4.9-4.11), which are not considered in other papers.


title: MemeSequencer: Sparse Matching for Embedding Image Macros

abstract: The analysis of the creation, mutation, and propagation of social media content on the Internet is an essential problem in computational social science, affecting areas ranging from marketing to political mobilization. A first step towards understanding the evolution of images online is the analysis of rapidly modifying and propagating memetic imagery or `memes'. However, a pitfall in proceeding with such an investigation is the current incapability to produce a robust semantic space for such imagery, capable of understanding differences in Image Macros. In this study, we provide a first step in the systematic study of image evolution on the Internet, by proposing an algorithm based on sparse representations and deep learning to decouple various types of content in such images and produce a rich semantic embedding. We demonstrate the benefits of our approach on a variety of tasks pertaining to memes and Image Macros, such as image clustering, image retrieval, topic prediction and virality prediction, surpassing the existing methods on each. In addition to its utility on quantitative tasks, our method opens up the possibility of obtaining the first large-scale understanding of the evolution and propagation of memetic imagery.


title: Ground-State Wave Function with Interactions between Different Species in $M$-Component Miscible Bose-Einstein Condensates

abstract: We construct a variational ground-state wave function of weakly interacting M-component Bose-Einstein condensates beyond the mean-field theory by incorporating the dynamical 3/2-body processes, where one of the two colliding particles drops into the condensate and vice versa. Our numerical results with various masses and particle numbers show that the 3/2-body processes between different particles make finite contributions to lowering the ground-state energy, implying that many-body correlation effects between different particles are essential even in the weak-coupling regime of the Bose--Einstein condensates. We also consider the stability condition for $2$-component miscible states using the new ground-state wave function. Through this calculation, we obtain the relation $U^{2}_{AB}/U_{AA}U_{BB}<1+\alpha$, where $U_{ij}$ is the effective contact potential between particles $i$ and $j$ and $\alpha$ is the correction, which originates from the $3/2$-body and $2$-body processes.


title: Higher bottomonium zoo

abstract: In this work, we study higher bottomonia up to the $nL=8S$, $6P$, $5D$, $4F$, $3G$ multiplets using the modified Godfrey-Isgur (GI) model, which takes account of color screening effects. The calculated mass spectra of bottomonium states are in reasonable agreement with the present experimental data. Based on spectroscopy, partial widths of all allowed radiative transitions, annihilation decays, hadronic transitions, and open-bottom strong decays of each state are also evaluated by applying our numerical wave functions. Comparing our results with the former results, we point out difference among various models and derive new conclusions obtained in this paper. Notably, we find a significant difference between our model and the GI model when we study $D, F$, and $G$ and $n\ge 4$ states. Our theoretical results are valuable to search for more bottomonia in experiments, such as LHCb, and forthcoming Belle II.


title: On Mellin-Barnes integral representations for GKZ hypergeometric functions

abstract: We consider Mellin-Barnes integral representations of GKZ hypergeometric equations. We construct integration contours in an explicit way and show that suitable analytic continuations give rise to a basis of solutions.


title: Quantization of Conductance in Quasi-Periodic Quantum Wires

abstract: We study charge transport in the Peierls-Harper model with a quasi-periodic cosine potential. We compute the Landauer-type conductance of the wire. Our numerical results show the following: (i) When the Fermi energy lies in the absolutely continuous spectrum that is realized in the regime of the weak coupling, the conductance is quantized to the universal conductance. (ii) For the regime of localization that is realized for the strong coupling, the conductance is always vanishing irrespective of the value of the Fermi energy. Unfortunately, we cannot make a definite conclusion about the case with the critical coupling. We also compute the conductance of the Thue-Morse model. Although the potential of the model is not quasi-periodic, the energy spectrum is known to be a Cantor set with zero Lebesgue measure. Our numerical results for the Thue-Morse model also show the quantization of the conductance at many locations of the Fermi energy, except for the trivial localization regime. Besides, for the rest of the values of the Fermi energy, the conductance shows a similar behavior to that of the Peierls-Harper model with the critical coupling.


title: Axial Charge Fluctuation and Chiral Magnetic Effect from Stochastic Hydrodynamics

abstract: The amount of axial charge produced in heavy ion collisions is one of the key quantities in understanding chiral magnetic effect. Current phenomenological studies assume large axial charge chemical potential $\mu_5$ produced in Glasma phase and assume the conservation of axial charge throughout the evolution, which is valid in the long relaxation time limit. Based on the solution of stochastic hydrodynamics with phenomenological parameters, our study suggests that the situation of heavy ion collisions may be close to the opposite limit, in which axial charge fluctuation approaches thermodynamic limit. Using $\mu_5$ set by the thermodynamic limit for chiral magnetic effect and a background from parity-even $v_1$, we obtain a reasonable description of the centrality dependence of charged particle correlation measured in experiment.


title: Isolating Sources of Disentanglement in Variational Autoencoders

abstract: We decompose the evidence lower bound to show the existence of a term measuring the total correlation between latent variables. We use this to motivate our $\beta$-TCVAE (Total Correlation Variational Autoencoder), a refinement of the state-of-the-art $\beta$-VAE objective for learning disentangled representations, requiring no additional hyperparameters during training. We further propose a principled classifier-free measure of disentanglement called the mutual information gap (MIG). We perform extensive quantitative and qualitative experiments, in both restricted and non-restricted settings, and show a strong relation between total correlation and disentanglement, when the latent variables model is trained using our framework.


title: $\mathcal{CIRFE}$: A Distributed Random Fields Estimator

abstract: This paper presents a communication efficient distributed algorithm, $\mathcal{CIRFE}$ of the \emph{consensus}+\emph{innovations} type, to estimate a high-dimensional parameter in a multi-agent network, in which each agent is interested in reconstructing only a few components of the parameter. This problem arises for example when monitoring the high-dimensional distributed state of a large-scale infrastructure with a network of limited capability sensors and where each sensor is tasked with estimating some local components of the state. At each observation sampling epoch, each agent updates its local estimate of the parameter components in its interest set by simultaneously processing the latest locally sensed information~(\emph{innovations}) and the parameter estimates from agents~(\emph{consensus}) in its communication neighborhood given by a time-varying possibly sparse graph. Under minimal conditions on the inter-agent communication network and the sensing models, almost sure convergence of the estimate sequence at each agent to the components of the true parameter in its interest set is established. Furthermore, the paper establishes the performance of $\mathcal{CIRFE}$ in terms of asymptotic covariance of the estimate sequences and specifically characterizes the dependencies of the component wise asymptotic covariance in terms of the number of agents tasked with estimating it. Finally, simulation experiments demonstrate the efficacy of $\mathcal{CIRFE}$.

categories: math.OC cs.IT math.IT math.PR math.ST stat.TH


title: Edge Attention-based Multi-Relational Graph Convolutional Networks

abstract: Graph convolutional network (GCN) is generalization of convolutional neural network (CNN) to work with arbitrarily structured graphs. A binary adjacency matrix is commonly used in training a GCN. Recently, the attention mechanism allows the network to learn a dynamic and adaptive aggregation of the neighborhood. We propose a new GCN model on the graphs where edges are characterized in multiple views or precisely in terms of multiple relationships. For instance, in chemical graph theory, compound structures are often represented by the hydrogen-depleted molecular graph where nodes correspond to atoms and edges correspond to chemical bonds. Multiple attributes can be important to characterize chemical bonds, such as atom pair (the types of atoms that a bond connects), aromaticity, and whether a bond is in a ring. The different attributes lead to different graph representations for the same molecule. There is growing interests in both chemistry and machine learning fields to directly learn molecular properties of compounds from the molecular graph, instead of from fingerprints predefined by chemists. The proposed GCN model, which we call edge attention-based multi-relational GCN (EAGCN), jointly learns attention weights and node features in graph convolution. For each bond attribute, a real-valued attention matrix is used to replace the binary adjacency matrix. By designing a dictionary for the edge attention, and forming the attention matrix of each molecule by looking up the dictionary, the EAGCN exploits correspondence between bonds in different molecules. The prediction of compound properties is based on the aggregated node features, which is independent of the varying molecule (graph) size. We demonstrate the efficacy of the EAGCN on multiple chemical datasets: Tox21, HIV, Freesolv, and Lipophilicity, and interpret the resultant attention weights.


title: Improved Monte-Carlo method for solving of integral Fredholm's equations of a second kind, with confidence regions in the uniform norm

abstract: We offer in this article some modification of Monte-Carlo method for solving of a linear integral Fredholm's equation of a second kind (Fredholm's well posed problem). We prove that the rate of convergence of offered method is optimal under natural conditions still in an uniform norm, and construct an asymptotic as well as non-asymptotic confidence region, again in the uniform norm.


title: I-V Characteristics of Graphene Nanoribbon/h-BN Heterojunctions and Resonant Tunneling

abstract: We present the first principle calculations of the electrical properties of graphene sheet/h-BN heterojunction(GS/h-BN) and 11-armchair graphene nanoribbon heterojunction(11-AGNR/h-BN), which were carried out using the density functional theory(DFT) method and the non-equilibrium Green's function(NEGF) technique. Since 11-AGNR belongs to the conductive (3n-1)-family of AGNR, both are metallic nanomaterials with two transverse arrays of h-BN, which is a wide-gap semi-conductor. The two h-BN arrays act as double barriers. The transmission functions(TF) and I-V characteristics of GS/h-BN and 11-AGNR/h-BN are calculated by DFT and NEGF, and they show that quantum double barrier tunneling occurs. The TF becomes very spiky in both materials, and it leads to step-wise I-V characteristics rather than negative resistance, which is the typical behavior of double barriers in semiconductors.


title: Attack RMSE Leaderboard: An Introduction and Case Study

abstract: In this manuscript, we briefly introduce several tricks to climb the leaderboards which use RMSE for evaluation without exploiting any training data.


title: Graph2Seq: Scalable Learning Dynamics for Graphs

abstract: Neural networks have been shown to be an effective tool for learning algorithms over graph-structured data. However, graph representation techniques---that convert graphs to real-valued vectors for use with neural networks---are still in their infancy. Recent works have proposed several approaches (e.g., graph convolutional networks), but these methods have difficulty scaling and generalizing to graphs with different sizes and shapes. We present Graph2Seq, a new technique that represents vertices of graphs as infinite time-series. By not limiting the representation to a fixed dimension, Graph2Seq scales naturally to graphs of arbitrary sizes and shapes. Graph2Seq is also reversible, allowing full recovery of the graph structure from the sequences. By analyzing a formal computational model for graph representation, we show that an unbounded sequence is necessary for scalability. Our experimental results with Graph2Seq show strong generalization and new state-of-the-art performance on a variety of graph combinatorial optimization problems.


title: ForkBase: An Efficient Storage Engine for Blockchain and Forkable Applications

abstract: Existing data storage systems offer a wide range of functionalities to accommodate an equally diverse range of applications. However, new classes of applications have emerged, e.g., blockchain and collaborative analytics, featuring data versioning, fork semantics, tamper-evidence or any combination thereof. They present new opportunities for storage systems to efficiently support such applications by embedding the above requirements into the storage. In this paper, we present ForkBase, a storage engine specifically designed to provide efficient support for blockchain and forkable applications. By integrating the core application properties into the storage, ForkBase not only delivers high performance but also reduces development effort. Data in ForkBase is multi-versioned, and each version uniquely identifies the data content and its history. Two variants of fork semantics are supported in ForkBase to facilitate any collaboration workflows. A novel index structure is introduced to efficiently identify and eliminate duplicate content across data objects. Consequently, ForkBase is not only efficient in performance, but also in space requirement. We demonstrate the performance of ForkBase using three applications: a blockchain platform, a wiki engine and a collaborative analytics application. We conduct extensive experimental evaluation of these applications against respective state-of-the-art system. The results show that ForkBase achieves superior performance while significantly lowering the development cost.


title: Whitham Deformations and the Space of Harmonic Tori in $\mathbb{S}^3$

abstract: In this paper we investigate the space of harmonic maps from a 2-torus to $\mathbb{S}^3$ using the spectral curve correspondence and Whitham deformations. In an open and dense subset of a parameter space we find that the space of harmonic maps is smooth and has dimension two. We also show that the points that correspond to minimal tori (conformal harmonic maps) are either smooth points of dimension two or singular.


title: Optimal Fairness-Aware Time and Power Allocation in Wireless Powered Communication Networks

abstract: In this paper, we consider the sum $\alpha$-fair utility maximization problem for joint downlink (DL) and uplink (UL) transmissions of a wireless powered communication network (WPCN) via time and power allocation. In the DL, the users with energy harvesting receiver architecture decode information and harvest energy based on simultaneous wireless information and power transfer. While in the UL, the users utilize the harvested energy for information transmission, and harvest energy when other users transmit UL information. We show that the general sum $\alpha$-fair utility maximization problem can be transformed into an equivalent convex one. Tradeoffs between sum rate and user fairness can be balanced via adjusting the value of $\alpha$. In particular, for zero fairness, i.e., $\alpha=0$, the optimal allocated time for both DL and UL is proportional to the overall available transmission power. Tradeoffs between sum rate and user fairness are presented through simulations.


title: Spin-state ice in geometrically frustrated spin-crossover materials

abstract: Spin crossover materials contain metal ions that can access two spin-states: one low-spin (LS), the other high-spin (HS). We propose that frustrated elastic interactions can give rise to spin-state ices -- phases of matter without long-range order, characterized by a local constraint or `ice rule'. The low-energy physics of spin-state ices is described by an emergent divergence-less gauge field with a gap to topological excitations that are deconfined quasi-particles with spin fractionalized midway between the spins of the LS and HS states.

categories: cond-mat.str-el cond-mat.soft cond-mat.stat-mech physics.chem-ph


title: Degree distributions of bipartite networks and their projections

abstract: Bipartite (two-mode) networks are important in the analysis of social and economic systems as they explicitly show conceptual links between different types of entities. However, applications of such networks often work with a projected (one-mode) version of the original bipartite network. The topology of the projected network, and the dynamics that take place on it, are highly dependent on the degree distributions of the two different node types from the original bipartite structure. To date, the interaction between the degree distributions of bipartite networks and their one-mode projections is well understood for only a few cases, or for networks that satisfy a restrictive set of assumptions. Here we show a broader analysis in order to fill the gap left by previous studies. We use the formalism of generating functions to prove that the degree distributions of both node types in the original bipartite network affect the degree distribution in the projected version. To support our analysis, we simulate several types of synthetic bipartite networks using a configuration model where node degrees are assigned from specific probability distributions, ranging from peaked to heavy-tailed distributions. Our findings show that when projecting a bipartite network onto a particular set of nodes, the degree distribution for the resulting one-mode network follows the distribution of the nodes being projected on to, but only so long as the degree distribution for the opposite set of nodes does not have a heavier tail. Furthermore, we show that bipartite degree distributions are not the only feature driving topology formation of projected networks, in contrast to what is commonly described in the literature.


title: A sound and complete definition of linearizability on weak memory models

abstract: Linearizability is a widely accepted notion of correctness for concurrent objects. Recent research has investigated redefining linearizability for particular hardware weak memory models, in particular for TSO. In this paper, we provide an overview of this research and show that such redefinitions of linearizability are not required: under an interpretation of specification behaviour which abstracts from weak memory effects, the standard definition of linearizability is sound and complete on all hardware weak memory models. We prove our result with respect to a definition of object refinement which takes a weak memory model as a parameter. The main consequence of our findings is that we can leverage the range of existing techniques and tools for standard linearizability when verifying concurrent objects running on hardware weak memory models.


title: Multiterminal Secret Key Agreement at Asymptotically Zero Discussion Rate

abstract: In the multiterminal secret key agreement problem, a set of users want to discuss with each other until they share a common secret key independent of their discussion. We want to characterize the maximum secret key rate, called the secrecy capacity, asymptotically when the total discussion rate goes to zero. In the case of only two users, the capacity is equal to the G\'acs-K\"orner common information. However, when there are more than two users, the capacity is unknown. It is plausible that a multivariate extension of the G\'acs-K\"orner common information is the capacity, however, proving the converse is challenging. We resolved this for the hypergraphical sources and finite linear sources, and provide efficiently computable characterizations. We also give some ideas of extending the techniques to more general source models.