title: Linear Complexity of A Family of Binary $pq^2$-periodic Sequences From Euler Quotients

abstract: We first introduce a family of binary $pq^2$-periodic sequences based on the Euler quotients modulo $pq$, where $p$ and $q$ are two distinct odd primes and $p$ divides $q-1$. The minimal polynomials and linear complexities are determined for the proposed sequences provided that $2^{q-1} \not\equiv 1 \mod{q^2}.$ The results show that the proposed sequences have high linear complexities.


title: LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL

abstract: Proof assistants, such as Isabelle/HOL, offer tools to facilitate inductive theorem proving. Isabelle experts know how to use these tools effectively; however, there is a little tool support for transferring this expert knowledge to a wider user audience. To address this problem, we present our domain-specific language, LiFtEr. LiFtEr allows experienced Isabelle users to encode their induction heuristics in a style independent of any problem domain. LiFtEr's interpreter mechanically checks if a given application of induction tool matches the heuristics, thus automating the knowledge transfer loop.


title: PLANE: An Extensible Open Source Framework for modeling the Internet of Drones

abstract: Python Library for simulating unManNed vehiclEs(PLANE) is an open source software module, written in Python, that focuses on Unmanned Aerial Vehicles (UAVs), on their movements and on the mechanics of flight, thus devoting particular attention to the equations that describe drones' movement. In the context of the Internet of Drones (IoD), the module can be widely used for the study of the mutual control of position/coordination in scenarios in which drones may find obstacles, as it happens in densely populated urban scenarios. Emphasis is put on ease of use, performance evaluation, documentation, and Application Programming Interface (API) consistency. The software tool has minimal dependencies and is distributed under MIT License. Source code, binaries, and documentation can be downloaded from GitHub.


title: Non-Markovianity, information backflow and system-environment correlation for open-quantum-system processes

abstract: A Markovian process of a system is defined classically as a process in which the future state of the system is fully determined by only its present state, not by its previous history. There have been several measures of non-Markovianity to quantify the degrees of non-Markovian effect in a process of an open quantum system based on information backflow from the environment to the system. However, the condition for the witness of the system information backflow does not coincide with the classical definition of a Markovian process. Recently, a new measure with a condition that coincides with the classical definition in the relevant limit has been proposed. Here, we focus on the new definition (measure) for quantum non-Markovian processes, and characterize the Markovian condition as a quantum process that has no information backflow through the reduced environment state (IBTRES) and no system-environment correlation effect (SECE). The action of IBTRES produces non-Markovian effects by flowing the information of quantum operations performed by an experimenter at earlier times back to the system through the environment, while the SECE can produce non-Markovian effect without carrying any earlier quantum operation information. We give the necessary and sufficient conditions for no IBTRES and no SECE, respectively, and show that a process is Markovian if and only if it has no IBTRES and no SECE. The quantitative measures and algorithms for calculating non-Markovianity, IBTRES and soly-SECE are explicitly presented.


title: Generalization of the Zabolotskaya equation to all incompressible isotropic elastic solids

abstract: We study elastic shear waves of small but finite amplitude, composed of an anti-plane shear motion and a general in-plane motion. We use a multiple scales expansion to derive an asymptotic system of coupled nonlinear equations describing their propagation in all isotropic incompressible non-linear elastic solids, generalizing the scalar Zabolotskaya equation of compressible nonlinear elasticity. We show that for a general isotropic incompressible solid, the coupling between anti-plane and in-plane motions cannot be undone and thus conclude that linear polarization is impossible for general nonlinear two-dimensional shear waves. We then use the equations to study the evolution of a nonlinear Gaussian beam in a soft solid: we show that a pure (linearly polarised) shear beam source generates only odd harmonics, but that introducing a slight in-plane noise in the source signal leads to a second harmonic, of the same magnitude as the fifth harmonic, a phenomenon recently observed experimentally. Finally, we present examples of some special shear motions with linear polarisation.


title: Multi-Likelihood Methods for Developing Stock Relationship Networks Using Financial Big Data

abstract: Development of stock networks is an important approach to explore the relationship between different stocks in the era of big-data. Although a number of methods have been designed to construct the stock correlation networks, it is still a challenge to balance the selection of prominent correlations and connectivity of networks. To address this issue, we propose a new approach to select essential edges in stock networks and also maintain the connectivity of established networks. This approach uses different threshold values for choosing the edges connecting to a particular stock, rather than employing a single threshold value in the existing asset-value method. The innovation of our algorithm includes the multiple distributions in a maximum likelihood estimator for selecting the threshold value rather than the single distribution estimator in the existing methods. Using the Chinese Shanghai security market data of 151 stocks, we develop a stock relationship network and analyze the topological properties of the developed network. Our results suggest that the proposed method is able to develop networks that maintain appropriate connectivities in the type of assets threshold methods.


title: Predicting Drug Responses by Propagating Interactions through Text-Enhanced Drug-Gene Networks

abstract: Personalized drug response has received public awareness in recent years. How to combine gene test result and drug sensitivity records is regarded as essential in the real-world implementation. Research articles are good sources to train machine predicting, inference, reasoning, etc. In this project, we combine the patterns mined from biological research articles and categorical data to construct a drug-gene interaction network. Then we use the cell line experimental records on gene and drug sensitivity to estimate the edge embeddings in the network. Our model provides white-box explainable predictions of drug response based on gene records, which achieves 94.74% accuracy in binary drug sensitivity prediction task.


title: Disentangled Inference for GANs with Latently Invertible Autoencoder

abstract: Generative Adversarial Networks (GANs) play an increasingly important role in machine learning. However, there is one fundamental issue hindering their practical applications: the absence of capability for encoding real-world samples. The conventional way of addressing this issue is to learn an encoder for GAN via Variational Auto-Encoder (VAE). In this paper, we show that the entanglement of the latent space for the VAE/GAN framework poses the main challenge for encoder learning. To address the entanglement issue and enable inference in GAN we propose a novel algorithm named Latently Invertible Autoencoder (LIA). The framework of LIA is that an invertible network and its inverse mapping are symmetrically embedded in the latent space of VAE. The decoder of LIA is first trained as a standard GAN with the invertible network and then the partial encoder is learned from a disentangled autoencoder by detaching the invertible network from LIA, thus avoiding the entanglement problem caused by the random latent space. Experiments conducted on the FFHQ face dataset and three LSUN datasets validate the effectiveness of LIA/GAN.


title: The wave model of the Sturm-Liouville operator on an interval

abstract: In the paper we construct the wave functional model of a symmetric restriction of the regular Sturm-Liouville operator on an interval. The model is based upon the notion of the wave spectrum and is constructed according to an abstract scheme which was proposed earlier. The result of the construction is a differential operator of the second order on an interval, which differs from the original operator only by a simple transformation.


title: A survey of OpenRefine reconciliation services

abstract: We review the services implementing the OpenRefine reconciliation API, comparing their design to the state of the art in record linkage. Due to the design of the API, the matching scores returned by the services are of little help to guide matching decisions. This suggests possible improvements to the specifications of the API, which could improve user workflows by giving more control over the scoring mechanism to the client.


title: Quantum dynamics of atomic Rydberg excitation in strong laser fields

abstract: Neutral atoms have been observed to survive intense laser pulses in high Rydberg states with surprisingly large probability. Only with this Rydberg-state excitation (RSE) included is the picture of intense-laser-atom interaction complete. Various mechanisms have been proposed to explain the underlying physics. However, neither one can explain all the features observed in experiments and in time-dependent Schr\"{o}dinger equation (TDSE) simulations. Here we propose a fully quantum-mechanical model based on the strong-field approximation (SFA). It well reproduces the intensity dependence of RSE obtained by the TDSE, which exhibits a series of modulated peaks. They are due to recapture of the liberated electron and the fact that the pertinent probability strongly depends on the position and the parity of the Rydberg state. We also present measurements of RSE in xenon at 800 nm, which display the peak structure consistent with the calculations.


title: Automatic Source Code Summarization with Extended Tree-LSTM

abstract: Neural machine translation models are used to automatically generate a document from given source code since this can be regarded as a machine translation task. Source code summarization is one of the components for automatic document generation, which generates a summary in natural language from given source code. This suggests that techniques used in neural machine translation, such as Long Short-Term Memory (LSTM), can be used for source code summarization. However, there is a considerable difference between source code and natural language: Source code is essentially {\em structured}, having loops and conditional branching, etc. Therefore, there is some obstacle to apply known machine translation models to source code. Abstract syntax trees (ASTs) capture these structural properties and play an important role in recent machine learning studies on source code. Tree-LSTM is proposed as a generalization of LSTMs for tree-structured data. However, there is a critical issue when applying it to ASTs: It cannot handle a tree that contains nodes having an arbitrary number of children and their order simultaneously, which ASTs generally have such nodes. To address this issue, we propose an extension of Tree-LSTM, which we call \emph{Multi-way Tree-LSTM} and apply it for source code summarization. As a result of computational experiments, our proposal achieved better results when compared with several state-of-the-art techniques.


title: PoseConvGRU: A Monocular Approach for Visual Ego-motion Estimation by Learning

abstract: While many visual ego-motion algorithm variants have been proposed in the past decade, learning based ego-motion estimation methods have seen an increasing attention because of its desirable properties of robustness to image noise and camera calibration independence. In this work, we propose a data-driven approach of fully trainable visual ego-motion estimation for a monocular camera. We use an end-to-end learning approach in allowing the model to map directly from input image pairs to an estimate of ego-motion (parameterized as 6-DoF transformation matrices). We introduce a novel two-module Long-term Recurrent Convolutional Neural Networks called PoseConvGRU, with an explicit sequence pose estimation loss to achieve this. The feature-encoding module encodes the short-term motion feature in an image pair, while the memory-propagating module captures the long-term motion feature in the consecutive image pairs. The visual memory is implemented with convolutional gated recurrent units, which allows propagating information over time. At each time step, two consecutive RGB images are stacked together to form a 6 channels tensor for module-1 to learn how to extract motion information and estimate poses. The sequence of output maps is then passed through a stacked ConvGRU module to generate the relative transformation pose of each image pair. We also augment the training data by randomly skipping frames to simulate the velocity variation which results in a better performance in turning and high-velocity situations. We evaluate the performance of our proposed approach on the KITTI Visual Odometry benchmark. The experiments show a competitive performance of the proposed method to the geometric method and encourage further exploration of learning based methods for the purpose of estimating camera ego-motion even though geometrical methods demonstrate promising results.


title: From Local to Global: External Validity in a Fertility Natural Experiment

abstract: We study issues related to external validity for treatment effects using over 100 replications of the Angrist and Evans (1998) natural experiment on the effects of sibling sex composition on fertility and labor supply. The replications are based on census data from around the world going back to 1960. We decompose sources of error in predicting treatment effects in external contexts in terms of macro and micro sources of variation. In our empirical setting, we find that macro covariates dominate over micro covariates for reducing errors in predicting treatments, an issue that past studies of external validity have been unable to evaluate. We develop methods for two applications to evidence-based decision-making, including determining where to locate an experiment and whether policy-makers should commission new experiments or rely on an existing evidence base for making a policy decision.


title: Observing LOD using Equivalent Set Graphs: it is mostly flat and sparsely linked

abstract: This paper presents an empirical study aiming at understanding the modeling style and the overall semantic structure of Linked Open Data. We observe how classes, properties and individuals are used in practice. We also investigate how hierarchies of concepts are structured, and how much they are linked. In addition to discussing the results, this paper contributes (i) a conceptual framework, including a set of metrics, which generalises over the observable constructs; (ii) an open source implementation that facilitates its application to other Linked Data knowledge graphs.


title: Flux Tube S-matrix Bootstrap

abstract: We bootstrap the S-matrix of massless particles in unitary, relativistic two dimensional quantum field theories. We find that the low energy expansion of such S-matrices is strongly constrained by the existence of a UV completion. In the context of flux tube physics, this allows us to constrain several terms in the S-matrix low energy expansion or -- equivalently -- on Wilson coefficients of several irrelevant operators showing up in the flux tube effective action. These bounds have direct implications for other physical quantities; for instance, they allow us to further bound the ground state energy as well as the level splitting of degenerate energy levels of large flux tubes. We find that the S-matrices living at the boundary of the allowed space exhibit an intricate pattern of resonances with one sharper resonance whose quantum numbers, mass and width are precisely those of the world-sheet axion proposed in [1,2]. The general method proposed here should be extendable to massless S-matrices in higher dimensions and should lead to new quantitative bounds on irrelevant operators in theories of Goldstones and also in gauge and gravity theories.


title: Neuromorphic Liquid Marbles With Aqueous Carbon Nanotube Cores

abstract: Neuromorphic computing devices attempt to emulate features of biological nervous systems through mimicking the properties of synapses, towards implementing the emergent properties of their counterparts, such as learning. Inspired by recent advances in the utilisation of liquid marbles (microlitre quantities of fluid coated in hydrophobic powder) for the creation of unconventional computing devices, we describe the development of liquid marbles with neuromorphic properties through the use of copper coatings and 1.0 mg/ml carbon nanotube-containing fluid cores. Experimentation was performed through sandwiching the marbles between two cup-style electrodes and stimulating them with repeated DC pulses at 3.0 V. Our results demonstrate that `entrainment' of a carbon nanotube filled-copper liquid marble via periodic pulses can cause their electrical resistance to rapidly switch between high to low resistance profiles, upon inverting the polarity of stimulation: the reduction in resistance between high and low profiles was approximately 88\% after two rounds of entrainment. This effect was found to be reversible through reversion to the original stimulus polarity and was strengthened by repeated experimentation, as evidenced by a mean reduction in time to switching onset of 43\%. These effects were not replicated in nanotube solutions not bound inside liquid marbles. Our electrical characterisation also reveals that nanotube-filled liquid marbles exhibit pinched loop hysteresis IV profiles consistent with the description of memristors. We conclude by discussing the applications of this technology to the development of unconventional computing devices and the study of emergent characteristics in biological neural tissue.


title: Optical properties of magnetized transient low-pressure plasma

abstract: A plasma under the influence of an external magnetic field changes the optical properties due to the Zeeman splitting of the energy levels. This splitting degenerates an initial single spectral line into a system of spectral lines with different transition frequencies defined by the electronic structure of the energy levels. Newly created magnetic sub-levels redefine the spectral profile of the line emission and therefore radiation transport mechanism in optically thick plasma. Self-absorption which defines the excited state-densities is an important mechanism and can be used with other methods to describe the state densities for an optically thick plasma. This method is an established tool to retrieve state-density and plasma parameters. To measure each magnetic sub-level density of argon 1s4 and 1s5 (in Paschen's notation) a tunable diode laser absorption spectroscopy (TDLAS) was used. Based on reconstructed excited state densities, the self-absorption coefficient was calculated for individual magnetic sub-levels. A decrease in self-absorption with an external magnetic field was noticed indicating a higher transparency of the plasma. Furthermore a polarization dependent self-absorption was found. The presented results can help to model optical properties and interpret the absorption of a low-pressure optically thick magnetized plasma.


title: Pre-Training with Whole Word Masking for Chinese BERT

abstract: Bidirectional Encoder Representations from Transformers (BERT) has shown marvelous improvements across various NLP tasks, and its consecutive variants have been proposed to further improve the performance of the pre-trained language models. In this paper, we aim to first introduce the whole word masking (wwm) strategy for Chinese BERT, along with a series of Chinese pre-trained language models. Then we also propose a simple but effective model called MacBERT, which improves upon RoBERTa in several ways. Especially, we propose a new masking strategy called MLM as correction (Mac). To demonstrate the effectiveness of these models, we create a series of Chinese pre-trained language models as our baselines, including BERT, RoBERTa, ELECTRA, RBT, etc. We carried out extensive experiments on ten Chinese NLP tasks to evaluate the created Chinese pre-trained language models as well as the proposed MacBERT. Experimental results show that MacBERT could achieve state-of-the-art performances on many NLP tasks, and we also ablate details with several findings that may help future research. We open-source our pre-trained language models for further facilitating our research community. Resources are available: https://github.com/ymcui/Chinese-BERT-wwm


title: Transfer NAS: Knowledge Transfer between Search Spaces with Transformer Agents

abstract: Recent advances in Neural Architecture Search (NAS) have produced state-of-the-art architectures on several tasks. NAS shifts the efforts of human experts from developing novel architectures directly to designing architecture search spaces and methods to explore them efficiently. The search space definition captures prior knowledge about the properties of the architectures and it is crucial for the complexity and the performance of the search algorithm. However, different search space definitions require restarting the learning process from scratch. We propose a novel agent based on the Transformer that supports joint training and efficient transfer of prior knowledge between multiple search spaces and tasks.


title: Introducing coherent time control to cavity-magnon-polariton modes

abstract: By connecting light to magnetism, cavity-magnon-polaritons (CMPs) can build links from quantum computation to spintronics. As a consequence, CMP-based information processing devices have thrived over the last five years, but almost exclusively been investigated with single-tone spectroscopy. However, universal computing applications will require a dynamic control of the CMP on demand and within nanoseconds. In this work, we perform fast manipulations of the different CMP modes with independent but coherent pulses to the cavity and magnon system. We change the state of the CMP from the energy exchanging beat mode to its normal modes and further demonstrate two fundamental examples of coherent manipulation: First, a dynamic control over the appearance of magnon-Rabi oscillations, i.e., energy exchange, and second, a complete energy extraction by applying an anti-phase drive to the magnon. Our results show a promising approach to control different building blocks for a quantum internet and pave the way for further magnon-based quantum computing research.


title: EditNTS: An Neural Programmer-Interpreter Model for Sentence Simplification through Explicit Editing

abstract: We present the first sentence simplification model that learns explicit edit operations (ADD, DELETE, and KEEP) via a neural programmer-interpreter approach. Most current neural sentence simplification systems are variants of sequence-to-sequence models adopted from machine translation. These methods learn to simplify sentences as a byproduct of the fact that they are trained on complex-simple sentence pairs. By contrast, our neural programmer-interpreter is directly trained to predict explicit edit operations on targeted parts of the input sentence, resembling the way that humans might perform simplification and revision. Our model outperforms previous state-of-the-art neural sentence simplification models (without external knowledge) by large margins on three benchmark text simplification corpora in terms of SARI (+0.95 WikiLarge, +1.89 WikiSmall, +1.41 Newsela), and is judged by humans to produce overall better and simpler output sentences.


title: Microscopic details of asphaltenes aggregation onset during waterflooding

abstract: We report detailed microscopic studies of asphaltenes aggregation onset during waterflooding of petroleum reservoirs. To achieve this objective, a series of simulations are performed on asphaltenic-oil miscibilized with water at high pressure and temperature through molecular dynamics. Results of this simulation onset are applicable to asphaltenes behavior in real crude oils. Our simulation results illustrate that the aggregation onset in waterflooding generally follows three sequential steps: (i). Asphaltene-water interaction; (ii). Water bridging; (iii). Face-to-face stacking. Then, asphaltene-water and water-water hydrogen-bonding network surround every aggregate boosting the intensity of aggregation onset. We intend to utilize such understanding of these details in our predictive and preventive measures of arterial blockage in oil reservoirs during waterflooding.


title: On the pseudospin description of the electron Bloch bands

abstract: We study the transformation properties of the electron states in crystals with spin-orbit coupling, focusing primarily on the limitations of the frequently used pseudospin-1/2 description of twofold degenerate Bloch bands. Using the language of corepresentations of magnetic point groups, we construct the Bloch bases across the Brillouin zone in a way which is consistent with all symmetry requirements. This construction is applied to derive the effective spin-orbit Hamiltonians in noncentrosymmetric crystals, known as the generalized Rashba models, in both single-band and multiband cases.


abstract: Multi-view clustering is an important and fundamental problem. Many multi-view subspace clustering methods have been proposed, and most of them assume that all views share a same coefficient matrix. However, the underlying information of multi-view data are not fully exploited under this assumption, since the coefficient matrices of different views should have the same clustering properties rather than be uniform among multiple views. To this end, this paper proposes a novel Constrained Bilinear Factorization Multi-view Subspace Clustering (CBF-MSC) method. Specifically, the bilinear factorization with an orthonormality constraint and a low-rank constraint is imposed for all coefficient matrices to make them have the same trace-norm instead of being equivalent, so as to explore the consensus information of multi-view data more fully. Finally, an Augmented Lagrangian Multiplier (ALM) based algorithm is designed to optimize the objective function. Comprehensive experiments tested on nine benchmark datasets validate the effectiveness and competitiveness of the proposed approach compared with several state-of-the-arts.


title: Uncertainty and symmetry bounds for the quantum total detection probability

abstract: We investigate a generic discrete quantum system prepared in state $|\psi_\text{in}\rangle$, under repeated detection attempts aimed to find the particle in state $|d\rangle$, for example a quantum walker on a finite graph searching for a node. For the corresponding classical random walk, the total detection probability $P_\text{det}$ is unity. Due to destructive interference, one may find initial states $|\psi_\text{in}\rangle$ with $P_\text{det}<1$. We first obtain an uncertainty relation which yields insight on this deviation from classical behavior, showing the relation between $P_\text{det}$ and energy fluctuations: $ \Delta P \,\mathrm{Var}[\hat{H}]_d \ge | \langle d| [\hat{H}, \hat{D}] | \psi_\text{in} \rangle |^2$ where $\Delta P = P_\text{det} - |\langle\psi_\text{in}|d\rangle |^2$, and $\hat{D} = |d\rangle\langle d|$ is the measurement projector. Secondly, exploiting symmetry we show that $P_\text{det}\le 1/\nu$ where the integer $\nu$ is the number of states equivalent to the initial state. These bounds are compared with the exact solution for small systems, obtained from an analysis of the dark and bright subspaces, showing the usefulness of the approach. The upper bounds works well even in large systems, and we show how to tighten the lower bound in this case.


title: Edge localization of spin waves in antidot multilayers with perpendicular magnetic anisotropy

abstract: We study the spin-wave dynamics in nanoscale antidot lattices based on Co/Pd multilayers with perpendicular magnetic anisotropy. Using time-resolved magneto-optical Kerr effect measurements we demonstrate that the variation of the antidot shape introduces significant change in the spin-wave spectra, especially in the lower frequency range. By employing micromagnetic simulations we show that additional peaks observed in the measured spectra are related to narrow shell regions around the antidots, where the magnetic anisotropy is reduced due to the Ga+ ion irradiation during the focused ion beam milling process of the antidot fabrication. The results point at new possibilities for exploitation of localized spin waves in out-of-plane magnetized thin films, which are easily tunable and suitable for magnonics applications.


title: PLS Generalized Linear Regression and Kernel Multilogit Algorithm (KMA) for Microarray Data Classification

abstract: We implement extensions of the partial least squares generalized linear regression (PLSGLR) due to Bastien et al. (2005) through its combination with logistic regression and linear discriminant analysis, to get a partial least squares generalized linear regression-logistic regression model (PLSGLR-log), and a partial least squares generalized linear regression-linear discriminant analysis model (PLSGLRDA). These two classification methods are then compared with classical methodologies like the k-nearest neighbours (KNN), linear discriminant analysis (LDA), partial least squares discriminant analysis (PLSDA), ridge partial least squares (RPLS), and support vector machines(SVM). Furthermore, we implement the kernel multilogit algorithm (KMA) by Dalmau et al. (2015)and compare its performance with that of the other classifiers. The results indicate that for both un-preprocessed and preprocessed data, the KMA has the lowest classification error rates.


title: Distinguishing noisy crystalline structures using bond orientational order parameters

abstract: The bond orientational order parameters originally introduced by Steinhardt \emph{et. al.} [Phys. Rev. B \textbf{28}, 784 (1983)] are a common tool for local structure characterization in soft matter studies. Recently, Mickel \emph{et. al.} [J. Chem. Phys. \textbf{138}, 044501 (2013)] highlighted problems of the bond orientational order parameters due to the ambiguity of the underlying neighbourhood definition. Here we show the difficulties of distinguish common structures like FCC- and BCC-based structures with the suggested neighbourhood definitions when noise is introduced. We propose a simple improvement to the neighbourhood definition that results in robust and continuous bond orientational order parameters with which we can accurately distinguish crystal structures even when noise is present.


title: Dark states of quantum search cause imperfect detection

abstract: We consider a quantum walk where a detector repeatedly probes the system with fixed rate $1/\tau$ until the walker is detected. This is a quantum version of the first-passage problem. We focus on the total probability, $P_{\mathrm{det}}$, that the particle is eventually detected in some target state, for example on a node $r_{\mathrm{d}}$ on a graph, after an arbitrary number of detection attempts. Analyzing the dark and bright states for finite graphs, and more generally for systems with a discrete spectrum, we provide an explicit formula for $P_{\mathrm{det}}$ in terms of the energy eigenstates which is generically $\tau$ independent. We find that disorder in the underlying Hamiltonian renders perfect detection: $P_{\mathrm{det}}=1$, and then expose the role of symmetry with respect to sub-optimal detection. Specifically, we give a simple upper bound for $P_{\mathrm{det}}$ that is controlled by the number of equivalent (with respect to the detection) states in the system. We also extend our results to infinite systems, for example the detection probability of a quantum walk on a line, which is $\tau$-dependent and less than half, well below Polya's optimal detection for a classical random walk.


abstract: Imitation Learning describes the problem of recovering an expert policy from demonstrations. While inverse reinforcement learning approaches are known to be very sample-efficient in terms of expert demonstrations, they usually require problem-dependent reward functions or a (task-)specific reward-function regularization. In this paper, we show a natural connection between inverse reinforcement learning approaches and Optimal Transport, that enables more general reward functions with desirable properties (e.g., smoothness). Based on our observation, we propose a novel approach called Wasserstein Adversarial Imitation Learning. Our approach considers the Kantorovich potentials as a reward function and further leverages regularized optimal transport to enable large-scale applications. In several robotic experiments, our approach outperforms the baselines in terms of average cumulative rewards and shows a significant improvement in sample-efficiency, by requiring just one expert demonstration.


title: Asphaltene aggregation onset during high-salinity waterflooding of reservoirs (a molecular dynamic study)

abstract: The primary objective of this study is to establish an understanding of the role of high-salinity brine on the intensity of asphaltene aggregation onset during waterflooding of petroleum reservoirs. We already have shown that asphaltenes have a high tendency to form aggregates during waterflooding process when pure- and low salinity-water are injected into reservoirs. To fulfill the present objective, molecular dynamic simulations are performed on asphaltenic-oil/aqueous systems. The oil phase consists of asphaltenes and ortho-xylene, in which asphaltene molecules are completely soluble. Our simulations results reveal that the salt-in effect of high-salinity brine on seven different model asphaltenic oils causes a significant reduction of the onset of asphaltene aggregation as compared with pure-water. Such salt-in effect is primarily due to a considerable reduction of water miscibility in the oil phase at high pressure and temperature.


title: Satellite-based links for Quantum Key Distribution: beam effects and weather dependence

abstract: The establishment of a world-wide quantum communication network relies on the synergistic integration of satellite-based links and fiber-based networks. The first are helpful for long-distance communication, as the photon losses introduced by the optical fibers are too detrimental for lengths greater than about 200 km. This work aims at giving, on the one hand, a comprehensive and fundamental model for the losses suffered by the quantum signals during the propagation along an atmospheric free-space link. On the other hand, a performance analysis of different Quantum Key Distribution (QKD) implementations is performed, including finite-key effects, focusing on different interesting practical scenarios. The specific approach that we chose allows to precisely model the contribution due to different weather conditions, paving the way towards more accurate feasibility studies of satellite-based QKD missions.


title: Search for Dilepton Resonances with the ATLAS Detector and Run 2 Data

abstract: A search for resonances in the dielectron and dimuon mass spectra from 250 GeV to 6 TeV is presented. The data were recorded during Run 2 of the LHC by the ATLAS experiment using proton-proton ($pp$) collisions with a center-of-mass energy of $\sqrt{s} = 13$ TeV. The integrated luminosity of the data corresponds to 139 fb$^{-1}$. The background models are a functional form fit to the data, and generic signal shapes are used to represent various models with different resonant widths and masses. No significant deviation from the expected background is observed and 95\% confidence level upper limits are set on the fiducial cross-section times branching ratio for models of various widths. For benchmark models, limits are converted to lower limits on the resonance mass and reach 4.5 TeV for the E$_6$ motivated $Z'_\psi$ boson.


title: Minimal degree equations for curves and surfaces (variations on a theme of Halphen)

abstract: Many classical results in algebraic geometry arise from investigating some extremal behaviors that appear among projective varieties not lying on any hypersurface of fixed degree. We study two numerical invariants attached to such collections of varieties: their minimal degree and their maximal number of linearly independent smallest degree hypersurfaces passing through them. We show results for curves and surfaces, and pose several questions.


title: On the coproduct in affine Schubert calculus

abstract: The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author.


title: Branching problems in reproducing kernel spaces

abstract: For a semisimple Lie group $G$ satisfying the equal rank condition, the most basic family of unitary irreducible representations is the discrete series found by Harish-Chandra. In this paper, we study some of the branching laws for discrete series when restricted to a subgroup $H$ of the same type by combining classical results with recent work of T. Kobayashi; in particular, we prove discrete decomposability under Harish-Chandra's condition of cusp form on the reproducing kernel. We show a relation between discrete decomposability and representing certain intertwining operators in terms of differential operators.


title: Learning in Restless Multi-Armed Bandits via Adaptive Arm Sequencing Rules

abstract: We consider a class of restless multi-armed bandit (RMAB) problems with unknown arm dynamics. At each time, a player chooses an arm out of N arms to play, referred to as an active arm, and receives a random reward from a finite set of reward states. The reward state of the active arm transits according to an unknown Markovian dynamics. The reward state of passive arms (which are not chosen to play at time t) evolves according to an arbitrary unknown random process. The objective is an arm-selection policy that minimizes the regret, defined as the reward loss with respect to a player that always plays the most rewarding arm. This class of RMAB problems has been studied recently in the context of communication networks and financial investment applications. We develop a strategy that selects arms to be played in a consecutive manner, dubbed Adaptive Sequencing Rules (ASR) algorithm. The sequencing rules for selecting arms under the ASR algorithm are adaptively updated and controlled by the current sample reward means. By designing judiciously the adaptive sequencing rules, we show that the ASR algorithm achieves a logarithmic regret order with time, and a finite-sample bound on the regret is established. Although existing methods have shown a logarithmic regret order with time in this RMAB setting, the theoretical analysis shows a significant improvement in the regret scaling with respect to the system parameters under ASR. Extensive simulation results support the theoretical study and demonstrate strong performance of the algorithm as compared to existing methods.


title: Kinetic Monte Carlo and hydrodynamic modelling of droplet dynamics on surfaces, including evaporation and condensation

abstract: We present a lattice-gas (generalised Ising) model for liquid droplets on solid surfaces. The time evolution in the model involves two processes: (i) Single-particle moves which are determined by a kinetic Monte Carlo algorithm. These incorporate into the model particle diffusion over the surface and within the droplets and also evaporation and condensation, i.e. the exchange of particles between droplets and the surrounding vapour. (ii) Larger-scale collective moves, modelling advective hydrodynamic fluid motion, determined by considering the dynamics predicted by a thin-film equation. The model enables us to relate how macroscopic quantities such as the contact angle and the surface tension depend on the microscopic interaction parameters between the particles and with the solid surface. We present results for droplets joining, spreading, sliding under gravity, dewetting, the effects of evaporation, the interplay of diffusive and advective dynamics, and how all this behaviour depends on the temperature and other parameters.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.stat-mech nlin.CG physics.flu-dyn


title: Continuum mechanics of moving defects in growing bodies

abstract: Growth processes in many living organisms create thin, soft materials with an intrinsically hyperbolic geometry. These objects support novel types of mesoscopic defects - discontinuity lines for the second derivative and branch points - terminating defects for these line discontinuities. These higher-order defects move "easily", and thus confer a great degree of flexibility to thin hyperbolic elastic sheets. We develop a general, higher-order, continuum mechanical framework from which we can derive the dynamics of higher order defects in a thermodynamically consistent manner. We illustrate our framework by obtaining the explicit equations for the dynamics of branch points in an elastic body.

categories: cond-mat.soft cond-mat.mtrl-sci math-ph math.MP physics.class-ph


title: Resonant single-photon double ionization driven by combined intra- and interatomic electron correlations

abstract: Double ionization of an atom by single-photon absorption in the presence of a neighbouring atom is studied. The latter is, first, resonantly photoexcited and, afterwards, transfers the excitation energy radiationlessly to the other atom, leading to its double ionization. The process relies on the combined effect of interatomic and intraatomic electron correlations. It can dominate over the direct double photoionization by several orders of magnitude at interatomic distances up to few nanometers. The relative position of the neighbouring atom is shown to exert a characteristic influence on the angular distribution of emitted electrons.


title: The Systematics of Galaxy Morphology in the Comprehensive de Vaucouleurs revised Hubble-Sandage Classification System: Application to the EFIGI Sample

abstract: This paper is the third which examines galaxy morphology from the point of view of comprehensive de Vaucouleurs revised Hubble-Sandage (CVRHS) classification, a variation on the original de Vaucouleurs classification volume that accounts for finer details of galactic structure, including lenses, nuclear structures, embedded disks, boxy and disky components, and other features. The classification is applied to the EFIGI sample, a well-defined set of nearby galaxies which were previously examined by Baillard et al. and de Lapparent et al. The survey is focussed on statistics of features, and brings attention to exceptional examples of some morphologies, such as skewed bars, blue bar ansae, bar-outer pseudoring misalignment, extremely elongated inner SB rings, outer rings and lenses, and other features that are likely relevant to galactic secular evolution and internal dynamics. The possibility of using these classifications as a training set for automated classification algorithms is also discussed.


title: Dynamic coupling between particle-in-cell and atomistic simulations

abstract: We propose a method to directly couple molecular dynamics, finite element method and particle-in-cell techniques to simulate metal surface response to high electric fields. We use this method to simulate the evolution of a field emitting tip under thermal runaway by fully including the 3D space-charge effects. We also present a comparison of the runaway process between the two tip geometries of different widths. The results show with high statistical significance that in case of sufficiently narrow field emitters, the thermal runaway occurs in cycles where intensive neutral evaporation alternates with the cooling periods. The comparison with previous works shows, that the evaporation rate in the regime of intensive evaporation is sufficient to ignite a plasma arc above the simulated field emitters.


title: Kinematics and constitutive relations in the stress-gradient theory: interpretation by homogenization

abstract: The stress-gradient theory has a third order tensor as kinematic degree of freedom, which is work-conjugate to the stress gradient. This tensor was called micro-displacements just for dimensional reasons. Consequently, this theory requires a constitutive relation between stress gradient and micro-displacements, in addition to the conventional stress-strain relation. The formulation of such a constitutive relation and identification of the parameters therein is difficult without an interpretation of the micro-displacement tensor. The present contribution presents an homogenization concept from a Cauchy continuum at the micro-scale towards a stress-gradient continuum at the macro-scale. Conventional static boundary conditions at the volume element are interpreted as a Taylor series whose next term involves the stress gradient. A generalized Hill-Mandel lemma shows that the micro-displacements can be identified with the deviatoric part of the first moment of the microscopic strain field. Kinematic and periodic boundary conditions are provided as alternative to the static ones. The homogenization approach is used to compute the stress-gradient properties of an elastic porous material. The predicted negative size effect under uni-axial loading is compared with respective experimental results for foams and direct numerical simulations from literature.


title: Understanding the atmospheric properties and chemical composition of the ultra-hot Jupiter HAT-P-7b: I. Cloud and chemistry mapping

abstract: Ultra-hot Jupiters have recently attracted interest from observers and theoreticians alike, as they provide observationally accessible test cases. We apply a hierarchical modelling approach as a virtual laboratory to study cloud formation and gas-phase chemistry. We utilise 97 vertical 1D profiles of a 3D GCM for HAT-P-7b to evaluate our kinetic cloud formation model consistently with the local equilibrium gas-phase composition. The day/night temperature difference on HAT-P-7b (~ 2500K) causes clouds to form on the nightside (dominated by H2/He) while the dayside (dominated by H/He) retains cloud-free equatorial regions. The cloud particles vary in composition and size throughout the vertical extension of the cloud, but also globally. TiO2[s]/Al2O3[s]/CaTiO3[s]-particles of cm-sized radii occur in the higher dayside-latitudes, resulting in a dayside dominated by gas-phase opacity. The opacity on the nightside, however, is dominated by 0.01 ... 0.1 mum particles made of a material mix dominated by silicates. The gas pressure at which the atmosphere becomes optically thick is ~1d-4 bar in cloudy regions, and ~0.1 bar in cloud-free regions. HAT-P-7b features strong morning/evening terminator asymmetries, providing an example of patchy clouds and azimuthally-inhomogeneous chemistry. The large temperature differences result in an increasing geometrical extension from the night- to the dayside. The chemcial equilibrium H2O abundance at the terminator changes by < 1 dex with altitude and < 0.3 dex (a factor of 2) across the terminator for a given pressure, indicating that H2O abundances derived from transmission spectra can be representative of the well-mixed metallicity at P > 10 bar. We suggest the atmospheric C/O as an important tool to trace the presence and location of clouds in exoplanet atmospheres. Phase curve variability of HAT-P-7b is unlikely to be caused by dayside clouds.


title: Comment on arXiv:1807.08572: a plausible explanation of the giant diamagnetism found in Au-Ag nanostructures

abstract: In a recent comment (arXiv:1906.05742) on the preprint (arXiv:1807.08572) entitled "Coexistence of Diamagnetism and Vanishingly Small Electrical Resistance at Ambient Temperature and Pressure in Nanostructures", it is pointed out that the reduction of the four-probe resistance ($R_{4P}$) to zero value is accompanied by a rise in the two probe resistance ($R_{2P}$) in the same temperature range. This curious correlation between $R_{4P}$ and $R_{2P}$ is said to be pointing towards a non-superconducting "conductance percolation" transition (rather than "percolating superconducting transition" as proposed in the revised version of arxiv:1807.08572). The explanation offered in preprint arXiv:1906.05742 is quite reasonable, but the author leaves open the question of giant diamagnetism. In this short comment I suggest a plausible cause of the giant diamagnetism found in nanostructures. It could be due to gapped electronic energy spectrum of nanoparticles which is due to quantum confinement effects, and that suppresses the electronic scattering mechanism leading to a very high value of Langevin diamagnetism.


title: Efficient Set-Valued Prediction in Multi-Class Classification

abstract: In cases of uncertainty, a multi-class classifier preferably returns a set of candidate classes instead of predicting a single class label with little guarantee. More precisely, the classifier should strive for an optimal balance between the correctness (the true class is among the candidates) and the precision (the candidates are not too many) of its prediction. We formalize this problem within a general decision-theoretic framework that unifies most of the existing work in this area. In this framework, uncertainty is quantified in terms of conditional class probabilities, and the quality of a predicted set is measured in terms of a utility function. We then address the problem of finding the Bayes-optimal prediction, i.e., the subset of class labels with highest expected utility. For this problem, which is computationally challenging as there are exponentially (in the number of classes) many predictions to choose from, we propose efficient algorithms that can be applied to a broad family of utility functions. Our theoretical results are complemented by experimental studies, in which we analyze the proposed algorithms in terms of predictive accuracy and runtime efficiency.


title: Superconductivity of mixed parity and frequency in an anisotropic spin-orbit coupling

abstract: We illuminate the superconducting phases in [001]-grown-noncentrosymmetric quantum wells with an anisotropic spin-orbit coupling in the presence of on-site Hubbard interaction. Within the random phase approximation, we investigate the spin-fluctuation-mediated pairing in the presence of Rashba/Dresselhaus antisymmetric spin-orbit couplings. Although the existence of spatial inversion symmetry desires a dominant d-wave pairing for all filling levels, a broken inversion symmetry generates antisymmetric spin-orbit coupling and mixes the even- and odd-parity in the superconducting gap. We study the symmetry of the mixed-parity gap for various strengths of Hubbard interaction. Besides, we consider a superconductor-ferromagnet junction to survey the modifications of superconducting order parameters and observe an admixture of even- and odd-frequencies due to the ferromagnet exchange field.


title: Non-reciprocal wave propagation in discretely modulated spatiotemporal plates

abstract: We investigate non-reciprocal wave propagation in spatiotemporal phononic plates. In particular, the first goal of this manuscript is to present a general formulation of the Plane Wave Expansion Method (PWEM) that, in contrast with previous works, is applicable to any class of 2D spatiotemporal unit cells whose properties can be expanded in traveling plane waves. The second goal is to exploit this analysis tool in order to study a new class of materials capable of violating mirror symmetry in momentum space, therefore breaking reciprocity principle along different wave propagation directions. This is obtained by considering the plate elastic properties to be discretely modulated in space and continuously in time. Theoretical dispersion profiles are validated and compared with numerical simulations.


title: Hydrodynamical response of plane correlation in Pb+Pb collisions at $\sqrt{s_\text{NN}}$=2.76 TeV

abstract: In high energy heavy-ion collisions, the final anisotropic flow coefficients and their corresponding event-plane correlations are considered as the medium evolutional response to the initial geometrical eccentricities and their corresponding participant-plane correlations. We formulate a systematic theoretical analysis to study the hydrodynamical responses concerning higher order effects in Pb+Pb collisions at $\sqrt{s_\text{NN}}=2.76$ TeV by using Monte Carlo Glauber (MC-Glauber) model. To further understand the transformations of the initial participant-plane correlation, we construct a new set of events which randomize the directions of the initial participant planes of the original events. Our results indicate that the final strong event-plane correlations are mainly transformed from the large initial eccentricities, rather than the strong participant-plane correlations. However, the large flow coefficients and the discrepancies between the flow coefficients calculated by the single-shot and event-by-event simulations in peripheral collisions are relevant to those strong initial participant-plane correlations.


title: Quantum Motional State Tomography with Non-Quadratic Potentials and Neural Networks

abstract: We propose to use the complex quantum dynamics of a massive particle in a non-quadratic potential to reconstruct an initial unknown motional quantum state. We theoretically show that the reconstruction can be efficiently done by measuring the mean value and the variance of the position quantum operator at different instances of time in a quartic potential. We train a neural network to successfully solve this hard regression problem. We discuss the experimental feasibility of the method by analyzing the impact of decoherence and uncertainties in the potential.


title: Fronts in two-phase porous flow problems: effects of hysteresis and dynamic capillarity

abstract: In this work, we study the behaviour of saturation fronts for two phase flow through a long homogeneous porous column. In particular, the model includes hysteresis and dynamic effects in the capillary pressure and hysteresis in the permeabilities. The analysis uses travelling wave approximation. Entropy solutions are derived for Riemann problems that are arising in this context. These solutions belong to a much broader class compared to the standard Oleinik solutions, where hysteresis and dynamic effects are neglected. The relevant cases are examined and the corresponding solutions are categorized. They include non-monotone profiles, multiple shocks and self-developing stable saturation plateaus. Numerical results are presented that illustrate the mathematical analysis. Finally, we compare experimental results with our theoretical findings.


title: A Lumped-Parameter Model of Multiscale Dynamics in Steam Supply Systems

abstract: This paper focuses on multiscale dynamics occurring in steam supply systems. The dynamics of interest are originally described by a distributed-parameter model for fast steam flows over a pipe network coupled with a lumped-parameter model for slow internal dynamics of boilers. We derive a lumped-parameter model for the dynamics through physically-relevant approximations. The derived model is then analyzed theoretically and numerically in terms of existence of normally hyperbolic invariant manifold in the phase space of the model. The existence of the manifold is a dynamical evidence that the derived model preserves the slow-fast dynamics, and suggests a separation principle of short-term and long-term operations of steam supply systems, which is analogue to electric power systems. We also quantitatively verify the correctness of the derived model by comparison with brute-force simulation of the original model.


title: The effect of the metallicity-specific star formation history on double compact object mergers

abstract: We investigate the impact of uncertainty in the metallicity-specific star formation rate over cosmic time on predictions of the rates and masses of double compact object mergers observable through gravitational waves. We find that this uncertainty can change the predicted detectable merger rate by more than an order of magnitude, comparable to contributions from uncertain physical assumptions regarding binary evolution, such as mass transfer efficiency or supernova kicks. We statistically compare the results produced by the COMPAS population synthesis suite against a catalog of gravitational-wave detections from the first two Advanced LIGO and Virgo observing runs. We find that the rate and chirp mass of observed binary black hole mergers can be well matched under our default evolutionary model with a star formation metallicity spread of $0.39$ dex around a mean metallicity $\left<Z\right>$ that scales with redshift $z$ as $\left<Z\right>=0.035 \times 10^{-0.23 z}$, assuming a star formation rate of $0.01 \times (1+z)^{2.77} / (1+((1+z)/2.9)^{4.7}) \, \rm{M}_\odot$ Mpc$^{-3}$ yr$^{-1}$. Intriguingly, this default model predicts that 80\% of the approximately one binary black hole merger per day that will be detectable at design sensitivity will have formed through isolated binary evolution with only dynamically stable mass transfer, i.e., without experiencing a common-envelope event.


title: Optimization of high-order harmonic generation by optimal control theory: Ascending a functional landscape in extreme conditions

abstract: A theoretical optimization method of high-harmonic-generation (HHG) is developed in the framework of optimal-control-theory (OCT). The target of optimization is the emission radiation of a particular frequency. The OCT formulation includes restrictions on the frequency band of the driving pulse, the permanent ionization probability and the total energy of the driving pulse. The optimization task requires a highly accurate simulation of the dynamics. Absorbing boundary conditions are employed, where a complex-absorbing-potential is constructed by an optimization scheme for maximization of the absorption. A new highly accurate propagation scheme is employed, which can address explicit time dependence of the driving as well as a non-Hermitian Hamiltonian. The optimization process is performed by a second-order gradient scheme. The method is applied to a simple one-dimensional model system. The results demonstrate a significant enhancement of selected harmonics, with minimized total energy of the driving pulse and controlled permanent ionization probability. A successful enhancement of an even harmonic emission is also demonstrated.


title: Collecting and Presenting Reproducible Intranode Stencil Performance: INSPECT

abstract: Stencil algorithms have been receiving considerable interest in HPC research for decades. The techniques used to approach multi-core stencil performance modeling and engineering span basic runtime measurements, elaborate performance models, detailed hardware counter analysis, and thorough scaling behavior evaluation. Due to the plurality of approaches and stencil patterns, we set out to develop a generalizable methodology for reproducible measurements accompanied by state-of-the-art performance models. Our open-source toolchain, and collected results are publicly available in the "Intranode Stencil Performance Evaluation Collection" (INSPECT). We present the underlying methodologies, models and tools involved in gathering and documenting the performance behavior of a collection of typical stencil patterns across multiple architectures and hardware configuration options. Our aim is to endow performance-aware application developers with reproducible baseline performance data and validated models to initiate a well-defined process of performance assessment and optimization.


title: Secure Handshake Mechanism for Autonomous Flying Agents Using Robust Cryptosystem

abstract: The autonomous flying agents in a Network-centric environment and brings out various security threats and various techniques of Cryptography. Primary Focus is on study and implementation of how cryptographic algorithms can be effectively be used in a warfare scenario. The data security is the utmost key factor for the protection of data in such environments. The paper proposes mechanisms secured data transmission from the command center (which can be the sending flying agent) to shooter target. The command center and shooter target have a unique set of encryption and decryption key which are created randomly by calibrating the security level at run time. In the beginning, the encryption key used for encrypting data is received from a shooter target when the communication is authenticated through UDP sockets. The encrypted data is sent to the shooter target with the signed signature and command center's encryption key. The encrypted data and signature are then decrypted and verified respectively at the shooter target. The time analysis is performed and observed inputs are provided to the command center.


title: Quantum Advantage in Cryptography with a Low-Connectivity Quantum Annealer

abstract: The application in cryptography of quantum algorithms for prime factorization fostered the interest in quantum computing. However, quantum computers, and particularly quantum annealers, can also be helpful to construct secure cryptographic keys. Indeed, finding robust Boolean functions for cryptography is an important problem in sequence ciphers, block ciphers, and hash functions, among others. Due to the super-exponential size $\mathcal{O}(2^{2^n})$ of the associated space, finding $n$-variable Boolean functions with global cryptographic constraints is computationally hard. This problem has already been addressed employing generic low-connected incoherent D-Wave quantum annealers. However, the limited connectivity of the Chimera graph, together with the exponential growth in the complexity of the Boolean function design problem, limit the problem scalability. Here, we propose a special-purpose coherent quantum annealing architecture with three couplers per qubit, designed to optimally encode the bent function design problem. A coherent quantum annealer with this tree-type architecture has the potential to solve the $8$-variable bent function design problem, which is classically unsolved, with only $127$ physical qubits and $126$ couplers. This paves the way to reach useful quantum supremacy within the framework of quantum annealing for cryptographic purposes.


title: Rock Climber Distance: Frogs versus Dogs

abstract: The classical measure of similarity between two polygonal chains in Euclidean space is the Fr\'echet distance, which corresponds to the coordinated motion of two mobile agents along the chains while minimizing their maximum distance. As computing the Fr\'echet distance takes near-quadratic time under the Strong Exponential Time Hypothesis (SETH), we explore two new distance measures, called rock climber distance and $k$-station distance, in which the agents move alternately in their coordinated motion that traverses the polygonal chains. We show that the new variants are equivalent to the Fr\'echet or the Hausdorff distance if the number of moves is unlimited. When the number of moves is limited to a given parameter $k$, we show that it is NP-hard to determine the distance between two curves. We also describe a 2-approximation algorithm to find the minimum $k$ for which the distance drops below a given threshold.


title: Does Diversity Improve the Test Suite Generation for Mobile Applications?

abstract: In search-based software engineering we often use popular heuristics with default configurations, which typically lead to suboptimal results, or we perform experiments to identify configurations on a trial-and-error basis, which may lead to better results for a specific problem. To obtain better results while avoiding trial-and-error experiments, a fitness landscape analysis is helpful in understanding the search problem, and making an informed decision about the heuristics. In this paper, we investigate the search problem of test suite generation for mobile applications (apps) using SAPIENZ whose heuristic is a default NSGA-II. We analyze the fitness landscape of SAPIENZ with respect to genotypic diversity and use the gained insights to adapt the heuristic of SAPIENZ. These adaptations result in SAPIENZ^div that aims for preserving the diversity of test suites during the search. To evaluate SAPIENZ^div, we perform a head-to-head comparison with SAPIENZ on 76 open-source apps.


title: Model-based Deep Medical Imaging: the roadmap of generalizing iterative reconstruction model using deep learning

abstract: Medical imaging is playing a more and more important role in clinics. However, there are several issues in different imaging modalities such as slow imaging speed in MRI, radiation injury in CT and PET. Therefore, accelerating MRI, reducing radiation dose in CT and PET have been ongoing research topics since their invention. Usually, acquiring less data is a direct but important strategy to address these issues. However, less acquisition usually results in aliasing artifacts in reconstructions. Recently, deep learning (DL) has been introduced in medical image reconstruction and shown potential on significantly speeding up MR reconstruction and reducing radiation dose. In this paper, we propose a general framework on combining the reconstruction model with deep learning to maximize the potential of deep learning and model-based reconstruction, and give the examples to demonstrate the performance and requirements of unrolling different algorithms using deep learning.

categories: cs.CV eess.SP math.OC physics.med-ph stat.ML


title: Generative Restricted Kernel Machines: A Framework for Multi-view Generation and Disentangled Feature Learning

abstract: This paper introduces a novel framework for generative models based on Restricted Kernel Machines (RKMs) with joint multi-view generation and uncorrelated feature learning, called Gen-RKM. To enable joint multi-view generation, this mechanism uses a shared representation of data from various views. Furthermore, the model has a primal and dual formulation to incorporate both kernel-based and (deep convolutional) neural network based models within the same setting. When using neural networks as explicit feature-maps, a novel training procedure is proposed, which jointly learns the features and shared subspace representation. The latent variables are given by the eigen-decomposition of the kernel matrix, where the mutual orthogonality of eigenvectors represents the learned uncorrelated features. Experiments demonstrate the potential of the framework through qualitative and quantitative evaluation of generated samples on various standard datasets.


title: Planar Posets that are Accessible from Below Have Dimension at Most 6

abstract: Planar posets can have arbitrarily large dimension. However, a planar poset of height $h$ has dimension at most $192h+96$, while a planar poset with $t$ minimal elements has dimension at most $2t+1$. In particular, a planar poset with a unique minimal element has dimension at most $3$. In this paper, we extend this result by showing that a planar poset has dimension at most $6$ if it has a plane diagram in which every minimal element is accessible from below.


title: Coherent Riemannian-geometric description of Hamiltonian order and chaos with Jacobi metric

abstract: By identifying Hamiltonian flows with geodesic flows of suitably chosen Riemannian manifolds, it is possible to explain the origin of chaos in classical Newtonian dynamics and to quantify its strength. There are several possibilities to geometrize Newtonian dynamics under the action of conservative potentials and the hitherto investigated ones provide consistent results. However, it has been recently argued that endowing configuration space with the Jacobi metric is inappropriate to consistently describe the stability/instability properties of Newtonian dynamics because of the non-affine parametrization of the arc length with physical time. To the contrary, in the present paper, it is shown that there is no such inconsistency and that the observed instabilities in the case of integrable systems using the Jacobi metric are artefacts.


title: Importance conditional sampling for Pitman-Yor mixtures

abstract: Nonparametric mixture models based on the Pitman-Yor process represent a flexible tool for density estimation and clustering. Natural generalization of the popular class of Dirichlet process mixture models, they allow for more robust inference on the number of components characterizing the distribution of the data. We propose a new sampling strategy for such models, named importance conditional sampling (ICS), which combines appealing properties of existing methods, including easy interpretability and a within-iteration parallelizable structure. An extensive simulation study highlights the efficiency of the proposed method which, unlike other conditional samplers, shows stable performances for different specifications of the parameters characterizing the Pitman-Yor process. We further show that the ICS approach can be naturally extended to other classes of computationally demanding models, such as nonparametric mixture models for partially exchangeable data.


title: Approximate multiplication of nearly sparse matrices with decay in a fully recursive distributed task-based parallel framework

abstract: In this paper we consider parallel implementations of approximate multiplication of large matrices with exponential decay of elements. Such matrices arise in computations related to electronic structure calculations and some other fields of computational science. Commonly, sparsity is introduced by dropping out small entries (truncation) of input matrices. Another approach, the sparse approximate multiplication algorithm [M. Challacombe and N. Bock, arXiv preprint 1011.3534, 2010] performs truncation of sub-matrix products. We consider these two methods and their combination, i.e. truncation of both input matrices and sub-matrix products. Implementations done using the Chunks and Tasks programming model and library [E. H. Rubensson and E. Rudberg, Parallel Comput., 40:328-343, 2014] are presented and discussed. We show that the absolute error in the Frobenius norm behaves as $O\left(n^{1/2} \right), n \longrightarrow \infty $ and $O\left(\tau^{p/2} \right), \tau \longrightarrow 0,\,\, \forall p < 2$ for all three methods, where $n$ is the matrix size and $\tau$ is the truncation threshold. We compare the methods on a model problem and show that the combined method outperforms the original two. The methods are also applied to matrices coming from large chemical systems with $\sim 10^6$ atoms. We show that the combination of the two methods achieves better weak scaling by reducing the amount of communication by a factor of $\approx 2$.


title: Efficient privacy preservation of big data for accurate data mining

abstract: Computing technologies pervade physical spaces and human lives, and produce a vast amount of data that is available for analysis. However, there is a growing concern that potentially sensitive data may become public if the collected data are not appropriately sanitized before being released for investigation. Although there are more than a few privacy-preserving methods available, they are not efficient, scalable or have problems with data utility, and/or privacy. This paper addresses these issues by proposing an efficient and scalable nonreversible perturbation algorithm, PABIDOT, for privacy preservation of big data via optimal geometric transformations. PABIDOT was tested for efficiency, scalability, resistance, and accuracy using nine datasets and five classification algorithms. Experiments show that PABIDOT excels in execution speed, scalability, attack resistance and accuracy in large-scale privacy-preserving data classification when compared with two other, related privacy-preserving algorithms.


title: Understanding the mechanisms of electroplasticity from a crystal plasticity perspective

abstract: Electroplasticity is defined as the reduction in flow stress of a material undergoing deformation on passing an electrical pulse through it. The lowering of flow stress during electrical pulsing has been attributed to a combination of three mechanisms: softening due to Joule-heating of the material, de-pinning of dislocations from paramagnetic obstacles, and the electron-wind force acting on dislocations. However, there is no consensus in literature regarding the relative magnitudes of the reductions in flow stress resulting from each of these mechanisms. In this paper, we extend a dislocation density based crystal plasticity model to incorporate the mechanisms of electroplasticity and perform simulations where a single electrical pulse is applied during compressive deformation of a polycrystalline FCC material with random texture. We analyze the reductions in flow stress to understand the relative importance of the different mechanisms of electroplasticity and delineate their dependencies on the various parameters related to electrical pulsing and dislocation motion. Our study establishes that the reductions in flow stress are largely due to the mechanisms of de-pinning of dislocations from paramagnetic obstacles and Joule-heating, with their relative dominance determined by the specific choice of crystal plasticity parameters corresponding to the particular material of interest.


title: Boundary Schwarz lemma for solutions to non-homogeneous biharmonic equations

abstract: In this paper, we establish a boundary Schwarz lemma for solutions to non-homogeneous biharmonic equations.


title: Learning Disentangled Representations of Timbre and Pitch for Musical Instrument Sounds Using Gaussian Mixture Variational Autoencoders

abstract: In this paper, we learn disentangled representations of timbre and pitch for musical instrument sounds. We adapt a framework based on variational autoencoders with Gaussian mixture latent distributions. Specifically, we use two separate encoders to learn distinct latent spaces for timbre and pitch, which form Gaussian mixture components representing instrument identity and pitch, respectively. For reconstruction, latent variables of timbre and pitch are sampled from corresponding mixture components, and are concatenated as the input to a decoder. We show the model efficacy by latent space visualization, and a quantitative analysis indicates the discriminability of these spaces, even with a limited number of instrument labels for training. The model allows for controllable synthesis of selected instrument sounds by sampling from the latent spaces. To evaluate this, we trained instrument and pitch classifiers using original labeled data. These classifiers achieve high accuracy when tested on our synthesized sounds, which verifies the model performance of controllable realistic timbre and pitch synthesis. Our model also enables timbre transfer between multiple instruments, with a single autoencoder architecture, which is evaluated by measuring the shift in posterior of instrument classification. Our in depth evaluation confirms the model ability to successfully disentangle timbre and pitch.


title: Braid group representations from twisted tensor products of algebras

abstract: We unify and generalize several approaches to constructing braid group representations from finite groups, using iterated twisted tensor products. Our results hint at a relationship between the braidings on the $G$-gaugings of a pointed modular category $\mathcal{C}(A,Q)$ and that of $\mathcal{C}(A,Q)$ itself.


title: Stochastic thermodynamics and modes of operation of a ribosome: a network theoretic perspective

abstract: The ribosome is one of the largest and most complex macromolecular machines in living cells. It polymerizes a protein in a step-by-step manner as directed by the corresponding nucleotide sequence on the template messenger RNA (mRNA) and this process is referred to as `translation' of the genetic message encoded in the sequence of mRNA transcript. In each successful chemo-mechanical cycle during the (protein) elongation stage, the ribosome elongates the protein by a single subunit, called amino acid, and steps forward on the template mRNA by three nucleotides called a codon. Therefore, a ribosome is also regarded as a molecular motor for which the mRNA serves as the track, its step size is that of a codon and two molecules of GTP and one molecule of ATP hydrolyzed in that cycle serve as its fuel. What adds further complexity is the existence of competing pathways leading to distinct cycles, branched pathways in each cycle and futile consumption of fuel that leads neither to elongation of the nascent protein nor forward stepping of the ribosome on its track. We investigate a model formulated in terms of the network of discrete chemo-mechanical states of a ribosome during the elongation stage of translation. The model is analyzed using a combination of stochastic thermodynamic and kinetic analysis based on a graph-theoretic approach. We derive the exact solution of the corresponding master equations. We represent the steady state in terms of the cycles of the underlying network and discuss the energy transduction processes. We identify the various possible modes of operation of a ribosome in terms of its average velocity and mean rate of GTP hydrolysis. We also compute entropy production as functions of the rates of the interstate transitions and the thermodynamic cost for accuracy of the translation process.


title: A Survey of Nuclear Pasta in the Intermediate Density Regime I: Shapes and Energies

abstract: Background: Nuclear pasta, emerging due to the competition between the long-range Coulomb force and the short-range strong force, is believed to be present in astrophysical scenarios, such as neutron stars and core-collapse supernovae. Its structure can have a high impact e.g. on neutrino transport or the tidal deformability of neutron stars. Purpose: We study several possible pasta configurations, all of them minimal surface configurations, which are expected to appear in the mid-density regime of nuclear pasta, i.e. around 40% of the nuclear saturation density. In particular we are interested in the energy spectrum for different pasta configurations considered. Method: Employing the density functional theory (DFT) approach, we calculate the binding energy of the different configurations for three values of the proton content XP = 1/10, 1/3 and 1/2, by optimizing their periodic length. We study finite temperature effects and the impact of electron screening. Results: Nuclear pasta lowers the energy significantly compared to uniform matter, especially for $X_P \geq 1/3$. However, the different configurations have very similar binding energies. For large proton content, $X_P \geq 1/3$, the pasta configurations are very stable, for lower proton content temperatures of a few MeV are enough for the transition to uniform matter. Electron screening has a small influence on the binding energy of nuclear pasta, but increases its periodic length. Conclusion: Nuclear pasta in the mid-density regime lowers the energy of the matter for all proton fractions under study. It can survive even large temperatures of several MeV. Since various configurations have very similar energy, it is to expected that many configurations can coexist simultaneously already at small temperatures.


title: Heterogeneous Angular Spectrum Approach for Trans-skull Imaging and Focusing

abstract: Ultrasound, alone or in concert with circulating microbubble contrast agents, has emerged as a promising modality for therapy and imaging of brain diseases. While this has become possible due to advancements in aberration correction methods, a range of applications, including adaptive focusing and tracking of the microbubble dynamics through the human skull, may benefit from even more computationally efficient methods to account for skull aberrations. Here, we derive a general method for the angular spectrum approach (ASA) in a heterogeneous medium, based on a numerical marching scheme to approximate the full implicit solution. We then demonstrate its functionality with simulations for (human) skull-related aberration correction and trans-skull passive acoustic mapping. Our simulations show that the general solution provides accurate trans-skull focusing as compared to the uncorrected case for clinically relevant frequencies, apertures, and targets, with the effects of skull attenuation and amplitude shading included. In the case of source localization, our method leads to an average of 75 % error reduction and 40 to 60 % increase in peak intensity, evaluated over the range of frequencies as compared to the homogeneous medium ASA. Overall, total computation times for both focusing and point source localization of the order milliseconds can be attained with this approach. Collectively our findings indicate that the proposed phase correction method based on the ASA could provide a computationally efficient and accurate method for trans-skull transmit focusing and imaging of point scatterers, potentially opening new possibilities for treatment and diagnosis of brain diseases.


title: Solving Multiagent Planning Problems with Concurrent Conditional Effects

abstract: In this work we present a novel approach to solving concurrent multiagent planning problems in which several agents act in parallel. Our approach relies on a compilation from concurrent multiagent planning to classical planning, allowing us to use an off-the-shelf classical planner to solve the original multiagent problem. The solution can be directly interpreted as a concurrent plan that satisfies a given set of concurrency constraints, while avoiding the exponential blowup associated with concurrent actions. Our planner is the first to handle action effects that are conditional on what other agents are doing. Theoretically, we show that the compilation is sound and complete. Empirically, we show that our compilation can solve challenging multiagent planning problems that require concurrent actions.


title: BatchBALD: Efficient and Diverse Batch Acquisition for Deep Bayesian Active Learning

abstract: We develop BatchBALD, a tractable approximation to the mutual information between a batch of points and model parameters, which we use as an acquisition function to select multiple informative points jointly for the task of deep Bayesian active learning. BatchBALD is a greedy linear-time $1 - \frac{1}{e}$-approximate algorithm amenable to dynamic programming and efficient caching. We compare BatchBALD to the commonly used approach for batch data acquisition and find that the current approach acquires similar and redundant points, sometimes performing worse than randomly acquiring data. We finish by showing that, using BatchBALD to consider dependencies within an acquisition batch, we achieve new state of the art performance on standard benchmarks, providing substantial data efficiency improvements in batch acquisition.


title: On recovering of solutions of Schr\"odinger equations from their time averages

abstract: The paper study a possibility to recover solutions of Schr\"odinger equations from its time-averages in the setting where the values at the initial time are unknown. This problem can be reformulated as a new boundary value problem where a Cauchy condition is replaced by a prescribed time-average of the solution. It is shown that this new problem is well-posed in certain classes of solutions. The paper establishes existence, uniqueness, and a regularity of the solution for this new problem.


title: Who is in Your Top Three? Optimizing Learning in Elections with Many Candidates

abstract: Elections and opinion polls often have many candidates, with the aim to either rank the candidates or identify a small set of winners according to voters' preferences. In practice, voters do not provide a full ranking; instead, each voter provides their favorite K candidates, potentially in ranked order. The election organizer must choose K and an aggregation rule. We provide a theoretical framework to make these choices. Each K-Approval or K-partial ranking mechanism (with a corresponding positional scoring rule) induces a learning rate for the speed at which the election correctly recovers the asymptotic outcome. Given the voter choice distribution, the election planner can thus identify the rate optimal mechanism. Earlier work in this area provides coarse order-of-magnitude guaranties which are not sufficient to make such choices. Our framework further resolves questions of when randomizing between multiple mechanisms may improve learning, for arbitrary voter noise models. Finally, we use data from 5 large participatory budgeting elections that we organized across several US cities, along with other ranking data, to demonstrate the utility of our methods. In particular, we find that historically such elections have set K too low and that picking the right mechanism can be the difference between identifying the ultimate winner with only a 80% probability or a 99.9% probability after 400 voters.


title: Theory-agnostic framework for dynamical scalarization of compact binaries

abstract: Gravitational wave observations can provide unprecedented insight into the fundamental nature of gravity and allow for novel tests of modifications to General Relativity. One proposed modification suggests that gravity may undergo a phase transition in the strong-field regime; the detection of such a new phase would constitute a smoking-gun for corrections to General Relativity at the classical level. Several classes of modified gravity predict the existence of such a transition - known as spontaneous scalarization - associated with the spontaneous symmetry breaking of a scalar field near a compact object. Using a strong-field-agnostic effective-field-theory approach, we show that all theories that exhibit spontaneous scalarization can also manifest dynamical scalarization, a phase transition associated with symmetry breaking in a binary system. We derive an effective point-particle action that provides a simple parametrization describing both phenomena, which establishes a foundation for theory-agnostic searches for scalarization in gravitational-wave observations. This parametrization can be mapped onto any theory in which scalarization occurs; we demonstrate this point explicitly for binary black holes with a toy model of modified electrodynamics.


title: Spherical topological-insulator nanoparticles: Quantum size effects and optical transitions

abstract: We have investigated the interplay between band inversion and size quantization in spherically shaped nanoparticles made from topological-insulator (TI) materials. A general theoretical framework is developed based on a versatile continuum-model description of the TI bulk band structure and the assumption of a hard-wall mass confinement. Analytical results are obtained for the wave functions of single-electron energy eigenstates and the matrix elements for optical transitions between them. As expected from spherical symmetry, quantized levels in TI nanoparticles can be labeled by quantum numbers $j$ and $m=-j, -j+1, \dots, j$ for total angular momentum and its projection on an arbitrary axis. The fact that TIs are narrow-gap materials, where the charge-carrier dynamics is described by a type of two-flavor Dirac model, requires $j$ to assume half-integer values and also causes a doubling of energy-level degeneracy where two different classes of states are distinguished by being parity eigenstates with eigenvalues $(-1)^{j\mp 1/2}$. The existence of energy eigenstates having the same $j$ but opposite parity enables optical transitions where $j$ is conserved, in addition to those adhering to the familiar selection rule where $j$ changes by $\pm 1$. All optical transitions satisfy the usual selection rule $\Delta m = 0, \pm 1$. We treat intra- and inter-band optical transitions on the same footing and establish ways for observing unusual quantum-size effects in TI nanoparticles, including oscillatory dependences of the band gap and of transition amplitudes on the nanoparticle radius. Our theory also provides a unified perspective on multi-band models for charge carriers in semiconductors and Dirac fermions from elementary-particle physics.


title: Table-top high-energy 7 um OPCPA and 260 mJ Ho:YLF pump laser

abstract: We present the state of the art of a compact high-energy mid-infrared laser system for TW-level 8-cycle pulses at 7 um. This system consists of an Er:Tm:Ho:fiber MOPA which serves as the seeder for a ZGP-based OPCPA chain in addition to a Ho:YLF amplifier which is Tm:fiber pumped. Featuring all-optical synchronization, the system delivers 260-mJ pump energy at 2052 nm, 16-ps duration at 100 Hz with a stability of 0.8 % rms over 20 min. We show that chirp inversion in the OPCPA chain leads to excellent energy extraction and aids in compression of the 7-um pulses to 8 optical cycles (188 fs) in bulk BaF2 with 93.5 % efficiency. Using 21.7 mJ of the available pump energy, we generate 0.75-mJ-energy pulses at 7 um due to increased efficiency with a chirp-inversion scheme. The pulse quality of the system's output is shown by generating high harmonics in ZnSe which span up to harmonic order 13 with excellent contrast. The combination of the passive carrier-envelope phase stable mid-infrared seed pulses and the high-energy 2052 nm picosecond pulses makes this compact system a key enabling tool for the next generation of studies on extreme photonics, strong field physics and table-top coherent X-ray science.


title: A characterization of supersmoothness of multivariate splines

abstract: We consider spline functions over simplicial meshes in $\RR^n$. We assume that the spline pieces join together with some finite order of smoothness but the pieces themselves are infinitely smooth. Such splines can have extra orders of smoothness at a vertex, a property known as \emph{supersmoothness}, which plays a role in the construction of multivariate splines and in the finite element method. In this paper we characterize supersmoothness in terms of the degeneracy of spaces of polynomial splines over the cell of simplices sharing the vertex, and use it to determine the maximal order of supersmoothness of various cell configurations.


title: Phase-space modelling of solid-state plasmas

abstract: Conduction electrons in metallic nano-objects ($\rm 1\,nm = 10^{-9}\, m$) behave as mobile negative charges confined by a fixed positively-charged background, the atomic ions. In many respects, this electron gas displays typical plasma properties such as screening and Langmuir waves, with more or less pronounced quantum features depending on the size of the object. To study these dynamical effects, the mathematical artillery of condensed-matter theorists mainly relies on wave function $\psi(r,t)$ based methods, such as the celebrated Hartree-Fock equations. The theoretical plasma physicist, in contrast, lives and breaths in the six-dimensional phase space, where the electron gas is fully described by a probability distribution function $f(r,p,t)$ that evolves according to an appropriate kinetic equation. Here, we illustrate the power and flexibility of the phase-space approach to describe the electron dynamics in small nano-objects. Starting from classical and semiclassical scenarios, we progressively add further features that are relevant to solid-state plasmas: quantum, spin, and relativistic effects, as well as collisions and dissipation. As examples of applications, we study the spin-induced modifications to the linear response of a homogeneous electron gas and the nonlinear dynamics of the electrons confined in a thin metal films of nanometric dimensions.


title: Quantum Cosmological Backreactions I: Cosmological Space Adiabatic Perturbation Theory

abstract: The search for quantum gravity fingerprints in currently available cosmological data that have their origin from the Planck era is of growing interest due to major recent progress both in the theoretical modelling as well as the observational precision. Unsurprisingly, the theoretical predictions are very sensitive to the quantum effects that occur close to the classical big bang singularity. It is therefore of substantial interest to describe these effects as precisely as possible. This is the first in a series of papers that aim at improving on the treatment of quantum effects that arise due to backreactions between matter and geometry. The technique we employ is space adiabatic perturbation theory (SAPT) in the form developed in seminal papers by Panati, Spohn and Teufel. SAPT is a generalisation of the more familiar Born Oppenheimer Approximation (BOA) that applies well in systems that allow a split of the degrees of freedom into two sets that propagate on rather different time scales such as the homogeneous and inhomogeneous field modes in cosmology. We will show that this leads to presently neglected correction terms in the quantum Friedman equations. In the present paper we adapt and generalise SAPT to the hybrid approach to quantum cosmology developed by Mena Marugan et al. that allows for a systematic quantum separation of the (in)homogeneous modes. Since SAPT was developed for quantum mechanics rather than quantum field theory, several challenges have to be met.


title: PABO: Pseudo Agent-Based Multi-Objective Bayesian Hyperparameter Optimization for Efficient Neural Accelerator Design

abstract: The ever increasing computational cost of Deep Neural Networks (DNN) and the demand for energy efficient hardware for DNN acceleration has made accuracy and hardware cost co-optimization for DNNs tremendously important, especially for edge devices. Owing to the large parameter space and cost of evaluating each parameter in the search space, manually tuning of DNN hyperparameters is impractical. Automatic joint DNN and hardware hyperparameter optimization is indispensable for such problems. Bayesian optimization-based approaches have shown promising results for hyperparameter optimization of DNNs. However, most of these techniques have been developed without considering the underlying hardware, thereby leading to inefficient designs. Further, the few works that perform joint optimization are not generalizable and mainly focus on CMOS-based architectures. In this work, we present a novel pseudo agent-based multi-objective hyperparameter optimization (PABO) for maximizing the DNN performance while obtaining low hardware cost. Compared to the existing methods, our work poses a theoretically different approach for joint optimization of accuracy and hardware cost and focuses on memristive crossbar-based accelerators. PABO uses a supervisor agent to establish connections between the posterior Gaussian distribution models of network accuracy and hardware cost requirements. The agent reduces the mathematical complexity of the co-optimization problem by removing unnecessary computations and updates of acquisition functions, thereby achieving significant speed-ups for the optimization procedure. PABO outputs a Pareto frontier that underscores the trade-offs between designing high-accuracy and hardware efficiency. Our results demonstrate a superior performance compared to the state-of-the-art methods both in terms of accuracy and computational speed (~100x speed up).


title: Automatic Model Parallelism for Deep Neural Networks with Compiler and Hardware Support

abstract: The deep neural networks (DNNs) have been enormously successful in tasks that were hitherto in the human-only realm such as image recognition, and language translation. Owing to their success the DNNs are being explored for use in ever more sophisticated tasks. One of the ways that the DNNs are made to scale for the complex undertakings is by increasing their size -- deeper and wider networks can model well the additional complexity. Such large models are trained using model parallelism on multiple compute devices such as multi-GPUs and multi-node systems. In this paper, we develop a compiler-driven approach to achieve model parallelism. We model the computation and communication costs of a dataflow graph that embodies the neural network training process and then, partition the graph using heuristics in such a manner that the communication between compute devices is minimal and we have a good load balance. The hardware scheduling assistants are proposed to assist the compiler in fine tuning the distribution of work at runtime.


title: Speeding HEP Analysis with ROOT Bulk I/O

abstract: Distinct HEP workflows have distinct I/O needs; while ROOT I/O excels at serializing complex C++ objects common to reconstruction, analysis workflows typically have simpler objects and can sustain higher event rates. To meet these workflows, we have developed a "bulk I/O" interface, allowing multiple events data to be returned per library call. This reduces ROOT-related overheads and increases event rates - orders-of-magnitude improvements are shown in microbenchmarks. Unfortunately, this bulk interface is difficult to use as it requires users to identify when it is applicable and they still "think" in terms of events, not arrays of data. We have integrated the bulk I/O interface into the new RDataFrame analysis framework inside ROOT. As RDataFrame's interface can provide improved type information, the framework itself can determine what data is readable via the bulk IO and automatically switch between interfaces. We demonstrate how this can improve event rates when reading analysis data formats, such as CMS's NanoAOD.