title: A deep learning approach to detecting volcano deformation from satellite imagery using synthetic datasets

abstract: Satellites enable widespread, regional or global surveillance of volcanoes and can provide the first indication of volcanic unrest or eruption. Here we consider Interferometric Synthetic Aperture Radar (InSAR), which can be employed to detect surface deformation with a strong statistical link to eruption. The ability of machine learning to automatically identify signals of interest in these large InSAR datasets has already been demonstrated, but data-driven techniques, such as convolutional neutral networks (CNN) require balanced training datasets of positive and negative signals to effectively differentiate between real deformation and noise. As only a small proportion of volcanoes are deforming and atmospheric noise is ubiquitous, the use of machine learning for detecting volcanic unrest is more challenging. In this paper, we address this problem using synthetic interferograms to train the AlexNet. The synthetic interferograms are composed of 3 parts: 1) deformation patterns based on a Monte Carlo selection of parameters for analytic forward models, 2) stratified atmospheric effects derived from weather models and 3) turbulent atmospheric effects based on statistical simulations of correlated noise. The AlexNet architecture trained with synthetic data outperforms that trained using real interferograms alone, based on classification accuracy and positive predictive value (PPV). However, the models used to generate the synthetic signals are a simplification of the natural processes, so we retrain the CNN with a combined dataset consisting of synthetic models and selected real examples, achieving a final PPV of 82%. Although applying atmospheric corrections to the entire dataset is computationally expensive, it is relatively simple to apply them to the small subset of positive results. This further improves the detection performance without a significant increase in computational burden.


title: CNN-based Cost Volume Analysis as Confidence Measure for Dense Matching

abstract: Due to its capability to identify erroneous disparity assignments in dense stereo matching, confidence estimation is beneficial for a wide range of applications, e.g. autonomous driving, which needs a high degree of confidence as mandatory prerequisite. Especially, the introduction of deep learning based methods resulted in an increasing popularity of this field in recent years, caused by a significantly improved accuracy. Despite this remarkable development, most of these methods rely on features learned from disparity maps only, not taking into account the corresponding 3-dimensional cost volumes. However, it was already demonstrated that with conventional methods based on hand-crafted features this additional information can be used to further increase the accuracy. In order to combine the advantages of deep learning and cost volume based features, in this paper, we propose a novel Convolutional Neural Network (CNN) architecture to directly learn features for confidence estimation from volumetric 3D data. An extensive evaluation on three datasets using three common dense stereo matching techniques demonstrates the generality and state-of-the-art accuracy of the proposed method.


title: Approximation of the objective insensitivity regions using Hierarchic Memetic Strategy coupled with Covariance Matrix Adaptation Evolutionary Strategy

abstract: One of the most challenging types of ill-posedness in global optimization is the presence of insensitivity regions in design parameter space, so the identification of their shape will be crucial, if ill-posedness is irrecoverable. Such problems may be solved using global stochastic search followed by post-processing of a local sample and a local objective approximation. We propose a new approach of this type composed of Hierarchic Memetic Strategy (HMS) powered by the Covariance Matrix Adaptation Evolutionary Strategy (CMA-ES) well-known as an effective, self-adaptable stochastic optimization algorithm and we leverage the distribution density knowledge it accumulates to better identify and separate insensitivity regions. The results of benchmarks prove that the improved HMS-CMA-ES strategy is effective in both the total computational cost and the accuracy of insensitivity region approximation. The reference data for the tests was obtained by means of a well-known effective strategy of multimodal stochastic optimization called the Niching Evolutionary Algorithm 2 (NEA2), that also uses CMA-ES as a component.


title: Conversion Prediction Using Multi-task Conditional Attention Networks to Support the Creation of Effective Ad Creative

abstract: Accurately predicting conversions in advertisements is generally a challenging task, because such conversions do not occur frequently. In this paper, we propose a new framework to support creating high-performing ad creatives, including the accurate prediction of ad creative text conversions before delivering to the consumer. The proposed framework includes three key ideas: multi-task learning, conditional attention, and attention highlighting. Multi-task learning is an idea for improving the prediction accuracy of conversion, which predicts clicks and conversions simultaneously, to solve the difficulty of data imbalance. Furthermore, conditional attention focuses attention of each ad creative with the consideration of its genre and target gender, thus improving conversion prediction accuracy. Attention highlighting visualizes important words and/or phrases based on conditional attention. We evaluated the proposed framework with actual delivery history data (14,000 creatives displayed more than a certain number of times from Gunosy Inc.), and confirmed that these ideas improve the prediction performance of conversions, and visualize noteworthy words according to the creatives' attributes.


title: LiDAR Sensor modeling and Data augmentation with GANs for Autonomous driving

abstract: In the autonomous driving domain, data collection and annotation from real vehicles are expensive and sometimes unsafe. Simulators are often used for data augmentation, which requires realistic sensor models that are hard to formulate and model in closed forms. Instead, sensors models can be learned from real data. The main challenge is the absence of paired data set, which makes traditional supervised learning techniques not suitable. In this work, we formulate the problem as image translation from unpaired data and employ CycleGANs to solve the sensor modeling problem for LiDAR, to produce realistic LiDAR from simulated LiDAR (sim2real). Further, we generate high-resolution, realistic LiDAR from lower resolution one (real2real). The LiDAR 3D point cloud is processed in Bird-eye View and Polar 2D representations. The experimental results show a high potential of the proposed approach.


title: On the effect of surface recombination in thin film solar cells, light emitting diodes and photodetectors

abstract: Radiative and non-radiative charge carrier recombination in thin-film diodes plays a key role in determining the efficiency of electronic devices made of next generation semiconductors such as organic, perovskite and nanocrystals. In this work, we show that lowering the bulk recombination does not necessarily result in enhanced performance metrics of electronic devices. From the perspective of charge carrier extraction and injection, the radiative limit of the open-circuit voltage of solar cells, noise current of photodetectors and lasing threshold of injection lasers cannot be improved if the contacts are not perfectly selective. A numerical drift-diffusion model is used to investigate the interplay between bulk recombination and surface recombination of minority carriers at the contacts in bipolar thin diode devices based on low-mobility semiconductors. The surface recombination becomes prominent in case of reduced bulk recombination strengths when non-selective contacts, i. e. contacts that are either metallic or have imperfect charge-selective interlayer, are employed. Finally, we derive analytical approximations for the case when diffusion-limited surface recombination of minority carriers at Ohmic contacts dominates the dark current. These results indicate that having perfectly selective contacts becomes crucial in systems with suppressed bulk recombination - a challenging requirement for future state-of-the-art thin-film solar cells, light-emitting devices and photodetectors made of next generation semiconductors.


title: Classification of six dimensional monotone symplectic manifolds admitting semifree circle actions III

abstract: In this paper, we complete the classification of six-dimensional closed monotone symplectic manifolds admitting semifree Hamiltonian $S^1$-actions. We also show that every such manifold is $S^1$-equivariantly symplectomorphic to some K\"{a}ahler Fano manifold with a certain holomorphic Hamiltonian circle action.


title: Weakly-Supervised Temporal Localization via Occurrence Count Learning

abstract: We propose a novel model for temporal detection and localization which allows the training of deep neural networks using only counts of event occurrences as training labels. This powerful weakly-supervised framework alleviates the burden of the imprecise and time-consuming process of annotating event locations in temporal data. Unlike existing methods, in which localization is explicitly achieved by design, our model learns localization implicitly as a byproduct of learning to count instances. This unique feature is a direct consequence of the model's theoretical properties. We validate the effectiveness of our approach in a number of experiments (drum hit and piano onset detection in audio, digit detection in images) and demonstrate performance comparable to that of fully-supervised state-of-the-art methods, despite much weaker training requirements.


title: Representation of solutions to wave equations with profile functions

abstract: Solutions to the wave equation with constant coefficients in $\mathbb{R}^d$ can be represented explicitly in Fourier space. We investigate a reconstruction formula, which provides an approximation of solutions $u(.,t)$ to initial data $u_0(.)$ for large times. The reconstruction consists of three steps: 1) Given $u_0$, initial data for a profile equation are extracted. 2) A profile evolution equation determines the shape of the profile at time $\tau = \varepsilon^2 t$. 3) A shell reconstruction operator transforms the profile to a function on $\mathbb{R}^d$. The sketched construction simplifies the wave equation, since only a one-dimensional problem in an $O(1)$ time span has to be solved. We prove that the construction provides a good approximation to the wave evolution operator for times $t$ of order $\varepsilon^{-2}$.


title: An example of failure of stochastic homogenization for viscous Hamilton-Jacobi equations without convexity

abstract: We give an example of the failure of homogenization for a viscous Hamilton-Jacobi equation with non-convex Hamiltonian.


title: Chiral p-wave superconductors have complex coherence and magnetic field penetration lengths

abstract: We show that in superconductors that break time reversal symmetry and have anisotropy, such as p+ip materials, all order parameters and magnetic modes are mixed. Excitation of the gap fields produces an excitation of the magnetic field and vice versa. Correspondingly the long-range decay of the magnetic field and order parameter are in general given by the same exponent. Thus one cannot characterize p+ip superconductors by the usual coherence and magnetic field penetration lengths. Instead the system has normal modes that are associated with linear combinations of magnetic fields, moduli of and phases of the order parameter components. Each such normal mode has its own decay length that plays the role of a hybridized coherence/magnetic field penetration length. On a large part of the parameter space these exponents are complex. Therefore the system in general has damped oscillatory decay of the magnetic field accompanied by damped oscillatory variation of the order parameter fields.


title: MOBA: A multi-objective bounded-abstention model for two-class cost-sensitive problems

abstract: Abstaining classifiers have been widely used in cost-sensitive applications to avoid ambiguous classification and reduce the cost of misclassification. Previous abstaining classification models rely on cost information, such as a cost matrix or cost ratio. However, it is difficult to obtain or estimate costs in practical applications. Furthermore, these abstention models are typically restricted to a single optimization metric, which may not be the expected indicator when evaluating classification performance. To overcome such problems, a multi-objective bounded-abstention (MOBA) model is proposed to optimize essential metrics. Specifically, the MOBA model minimizes the error rate of each class under class-dependent abstention constraints. The MOBA model is then solved using the non-dominated sorting genetic algorithm II, which is a popular evolutionary multi-objective optimization algorithm. A set of Pareto-optimal solutions will be generated and the best one can be selected according to provided conditions (whether costs are known) or performance demands (e.g., obtaining a high accuracy, F-measure, and etc). Hence, the MOBA model is robust towards variations in the conditions and requirements. Compared to state-of-the-art abstention models, MOBA achieves lower expected costs when cost information is considered, and better performance-abstention trade-offs when it is not.


title: Generic derivations on o-minimal structures

abstract: Let $T$ be a complete, model complete o-minimal theory extending the theory RCF of real closed ordered fields in some appropriate language $L$. We study derivations $\delta$ on models $\mathcal{M}\models T$. We introduce the notion of a $T$-derivation: a derivation which is compatible with the $L(\emptyset)$-definable $\mathcal{C}^1$-functions on $\mathcal{M}$. We show that the theory of $T$-models with a $T$-derivation has a model completion $T^\delta_G$. The derivation in models $(\mathcal{M},\delta)\models T^\delta_G$ behaves "generically," it is wildly discontinuous and its kernel is a dense elementary $L$-substructure of $\mathcal{M}$. If $T =$ RCF, then $T^\delta_G$ is the theory of closed ordered differential fields (CODF) as introduced by Michael Singer. We are able to recover many of the known facts about CODF in our setting. Among other things, we show that $T^\delta_G$ has $T$ as its open core, that $T^\delta_G$ is distal, and that $T^\delta_G$ eliminates imaginaries. We also show that the theory of $T$-models with finitely many commuting $T$-derivations has a model completion.


title: Spectral Metric for Dataset Complexity Assessment

abstract: In this paper, we propose a new measure to gauge the complexity of image classification problems. Given an annotated image dataset, our method computes a complexity measure called the cumulative spectral gradient (CSG) which strongly correlates with the test accuracy of convolutional neural networks (CNN). The CSG measure is derived from the probabilistic divergence between classes in a spectral clustering framework. We show that this metric correlates with the overall separability of the dataset and thus its inherent complexity. As will be shown, our metric can be used for dataset reduction, to assess which classes are more difficult to disentangle, and approximate the accuracy one could expect to get with a CNN. Results obtained on 11 datasets and three CNN models reveal that our method is more accurate and faster than previous complexity measures.


title: LcK structures with holomorphic Lee vector field on Vaisman-type manifolds

abstract: We give a complete description of all locally conformally K\"ahler structures with holomorphic Lee vector field on a compact complex manifold of Vaisman type. This provides in particular examples of such structures whose Lee vector field is not homothetic to the Lee vector field of a Vaisman structure. More generally, dropping the condition of being of Vaisman type, we show that on a compact complex manifold, any lcK metric with potential and with holomorphic Lee vector field admits a potential which is positive and invariant along the anti-Lee vector field.


title: $b$-invariant edges in essentially 4-edge-connected near-bipartite cubic bricks

abstract: A {\em brick} is a non-bipartite matching covered graph without non-trivial tight cuts. Bricks are building blocks of matching covered graphs. We say that an edge $e$ in a brick $G$ is {\em $b$-invariant} if $G-e$ is matching covered and a tight cut decomposition of $G-e$ contains exactly one brick. A 2-edge-connected cubic graph is {\em essentially 4-edge-connected} if it does not contain nontrivial 3-cuts. A brick $G$ is {\em near-bipartite} if it has a pair of edges $\{e_1, e_2\}$ such that $G-\{e_1,e_2\}$ is bipartite and matching covered. Kothari, de Carvalho, Lucchesi and Little proved that each essentially 4-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges. Moreover, they made a conjecture: every essentially 4-edge-connected cubic near-bipartite brick $G$, distinct from $K_4$, has at least $|V(G)|/2$ $b$-invariant edges. We confirm the conjecture in this paper. Furthermore, all the essentially 4-edge-connected cubic near-bipartite bricks, the numbers of $b$-invariant edges of which attain the lower bound, are presented.


title: Comparison of Machine Learning Models in Food Authentication Studies

abstract: The underlying objective of food authentication studies is to determine whether unknown food samples have been correctly labelled. In this paper we study three near infrared (NIR) spectroscopic datasets from food samples of different types: meat samples (labelled by species), olive oil samples (labelled by their geographic origin) and honey samples (labelled as pure or adulterated by different adulterants). We apply and compare a large number of classification, dimension reduction and variable selection approaches to these datasets. NIR data pose specific challenges to classification and variable selection: the datasets are high - dimensional where the number of cases ($n$) $<<$ number of features ($p$) and the recorded features are highly serially correlated. In this paper we carry out comparative analysis of different approaches and find that partial least squares, a classic tool employed for these types of data, outperforms all the other approaches considered.


title: A Theoretical Perspective on Transient Photovoltage and Charge Extraction Techniques

abstract: Transient photovoltage (TPV) is a technique frequently used to determine charge carrier lifetimes in thin-film solar cells such as organic, dye sensitized and perovskite solar cells. As this lifetime is often incident light intensity dependent, its relevance to understanding the intrinsic properties of a photoactive material system as a material or device figure of merit has been questioned. To extract complete information on recombination dynamics, the TPV measurements are often performed in conjunction with charge extraction (CE) measurements, employed to determine the photo-generated charge carrier density and thereby the recombination rate constant and its order. In this communication, the underlying theory of TPV and CE is reviewed and expanded. Our theoretical findings are further solidified by numerical simulations and experiments on organic solar cells. We identify regimes of the open-circuit voltage within which accurate lifetimes and carrier densities can be determined with TPV and CE experiments. A wide range of steady-state light intensities is required in performing these experiments in order to identify their 'working dynamic range' from which the recombination kinetics in thin-film solar cells can be determined.


title: Cosmological constraints of phantom dark energy models

abstract: We address three genuine phantom dark energy models where each of them induces the particular future events known as Big Rip, Little Rip and Little Sibling of the Big Rip. The background models are fully determined by a given dark energy equation of state. We first observationally constrain the corresponding model parameters that characterise each paradigm using the available data of supernova type Ia, Cosmic Microwave Background and Baryonic Acoustic Oscillations by using a Markov Chain Monte Carlo method. The obtained fits are used to solve numerically the first order cosmological perturbations. We compute the evolution of the density contrast of (dark) matter and DE, from the radiation dominated era till a totally DE dominated universe. Then, the obtained results are compared with respect to $\Lambda$CDM. We obtain the predicted current matter power spectrum and the evolution of $f\sigma_8$ given by the models studied in this work. Finally, the models are tested by computing the reduced $\chi^2$ for the `Gold2017' $f\sigma_8$ dataset.


title: Universal power law decay of spin polarization in double quantum dot

abstract: We study the spin dynamics and spin noise in a double quantum dot taking into account the interplay between hopping, exchange interaction and the hyperfine interaction. At short time scales the spin relaxation is governed by the spin dephasing in the random nuclear fields. At long time scales the spin polarization obeys universal power law $1/t$ independent of the relation between all the parameters of the system. This effect is related to the competition between the spin blockade effect and the hyperfine interaction. The spin noise spectrum of the system universally diverges as $\ln(1/\omega)$ at low frequencies.


title: Unbounded Derivations in Algebras Associated with Monothetic Groups

abstract: Given an infinite, compact, monothetic group $G$ we study decompositions and structure of unbounded derivations in a crossed product C$^*$-algebra $C(G)\rtimes\Z$ obtained from a translation on $G$ by a generator of a dense cyclic subgroup. We also study derivations in a Toeplitz extension of the crossed product and the question whether unbounded derivations can be lifted from one algebra to the other.


title: Low dimensional strongly perfect lattices IV: The dual strongly perfect lattices of dimension 16

abstract: We classify the dual strongly perfect lattices in dimension 16. There are four pairs of such lattices, the famous Barnes-Wall lattice $\Lambda _{16}$, the extremal 5-modular lattice $N_{16}$, the odd Barnes-Wall lattice $O_{16}$ and its dual, and one pair of new lattices $\Gamma _{16}$ and its dual. The latter pair belongs to a new infinite series of dual strongly perfect lattices, the sandwiched Barnes-Wall lattices, described by the authors in a previous paper. An updated table of all known strongly perfect lattices up to dimension 26 is available in the catalogue of lattices.


title: Neutron star cooling and GW170817 constraint within quark-meson coupling models

abstract: In the present work we used five different versions of the quark-meson coupling (QMC) model to compute astrophysical quantities related to the GW170817 event and to neutron star cooling process. Two of the models are based on the original bag potential structure and three versions consider a harmonic oscillator potential to confine the quarks. The bag-like models also incorporate the pasta phase used to describe the inner crust of neutron stars. We show that the pasta phase always play a minor or negligible role in all studies. Moreover, while no clear correlation between the models that satisfy the GW170817 constraints and the slope of the symmetry energy is found, a clear correlation is observed between the slope and the fact that the cooling is fast or slow, i.e., fast (slow) cooling is related to higher (lower) values of the slope. We did not find one unique model that can describe, at the same time, GW170817 constraints and give a perfect description of the possible cooling processes.


title: The method of Chernoff approximation

abstract: This survey describes the method of approximation of operator semigroups, based on the Chernoff theorem. We outline recent results in this domain as well as clarify relations between constructed approximations, stochastic processes, numerical schemes for PDEs and SDEs, path integrals. We discuss Chernoff approximations for operator semigroups and Schr\"{o}dinger groups. In particular, we consider Feller semigroups in $\mathbb{R}^d$, (semi)groups obtained from some original (semi)groups by different procedures: additive perturbations of generators, multiplicative perturbations of generators (which sometimes corresponds to a random time-change of related stochastic processes), subordination of semigroups / processes, imposing boundary / external conditions (e.g., Dirichlet or Robin conditions), averaging of generators, "rotation" of semigroups. The developed techniques can be combined to approximate (semi)groups obtained via several iterative procedures listed above. Moreover, this method can be implemented to obtain approximations for solutions of some time-fractional evolution equations, although these solutions do not posess the semigroup property.

categories: math.FA math-ph math.AP math.MP math.NA math.PR


title: Novel MAB phases and insights into their exfoliation into 2D MBenes

abstract: Considering the recent breakthroughs in the synthesis of novel two-dimensional (2D) materials from layered bulk structures, ternary layered transition metal borides, known as MAB phases, have come under scrutiny as a means of obtaining novel 2D transition metal borides, so-called MBene. Here, based on a set of phonon calculations, we show the dynamic stability of many Al-containing MAB phases, MAlB (M = Ti, Hf, V, Nb, Ta, Cr, Mo, W, Mn, Tc), M$_2$AlB$_2$ (Sc, Ti, Zr, Hf, V, Cr, Mo, W, Mn, Tc, Fe, Rh, Ni), M$_3$Al$_2$B$_2$ (M = Sc, T, Zr, Hf, Cr, Mn, Tc, Fe, Ru, Ni), M$_3$AlB$_4$ (M = Sc, Ti, Zr, Hf, V, Nb, Ta, Cr, Mo, W, Mn, Fe), and M$_4$AlB$_6$ (M = Sc, Ti, Zr, Hf, V, Nb, Ta, Cr, Mo). By comparing the formation energies of these MAB phases with those of their available competing binary M$-$B and M$-$Al, and ternary M$-$Al$-$B phases, we find that some of the Sc-, Ti-, V-, Cr-, Mo-, W-, Mn-, Tc-, and Fe-based MAB phases could be favorably synthesized in an appropriate experimental condition. In addition, by examining the strengths of various bonds in MAB phases via crystal orbital Hamilton population and spring constant calculations, we find that the B$-$B and then M$-$B bonds are stiffer than the M$-$Al and Al$-$B bonds. The different strength between these bonds implies the etching possibility of Al atoms from MAB phases, consequently forming various 2D MB, M$_2$B$_3$, and M$_3$B$_4$ MBenes. Furthermore, we employ the nudged elastic band method to investigate the possibility of the structural phase transformation of the 2D MB MBenes into graphene-like boron sheets sandwiched between transition metals and find that the energy barrier of the transformation is less than $0.4$ eV/atom.


title: Randomized algorithms for low-rank tensor decompositions in the Tucker format

abstract: Many applications in data science and scientific computing involve large-scale datasets that are expensive to store and compute with, but can be efficiently compressed and stored in an appropriate tensor format. In recent years, randomized matrix methods have been used to efficiently and accurately compute low-rank matrix decompositions. Motivated by this success, we focus on developing randomized algorithms for tensor decompositions in the Tucker representation. Specifically, we present randomized versions of two well-known compression algorithms, namely, HOSVD and STHOSVD. We present a detailed probabilistic analysis of the error of the randomized tensor algorithms. We also develop variants of these algorithms that tackle specific challenges posed by large-scale datasets. The first variant adaptively finds a low-rank representation satisfying a given tolerance and it is beneficial when the target-rank is not known in advance. The second variant preserves the structure of the original tensor, and is beneficial for large sparse tensors that are difficult to load in memory. We consider several different datasets for our numerical experiments: synthetic test tensors and realistic applications such as the compression of facial image samples in the Olivetti database and word counts in the Enron email dataset.


title: Isotropic covariance matrix functions on compact two-point homogeneous spaces

abstract: The covariance matrix function is characterized in this paper for a Gaussian or elliptically contoured vector random field that is stationary, isotropic, and mean square continuous on the compact two-point homogeneous space. Necessary and sufficient conditions are derived for a symmetric and continuous matrix function to be an isotropic covariance matrix function on all compact two-point homogeneous spaces. It is also shown that, for a symmetric and continuous matrix function with compact support, if it makes an isotropic covariance matrix function in the Euclidean space, then it makes an isotropic covariance matrix function on the sphere or the real projective space.


title: Voyage Across the 2HDM Type-II with Magellan

abstract: We review the status of the 2-Higgs Doublet Model (2HDM) Type-II, in the light of the current experimental results and various theoretical consistency conditions. In doing so, we adopt a new numerical framework, called Magellan, to explore the full parameter space of the model. Magellan uses a simple, Markov Chain Monte Carlo technique for the exploration and leverages the use of modern tools, allowing the user to perform inference on the model in an efficient way. The framework exploits the output of well-known Higgs production and decay programs, together with that of packages implementing the current results of both direct and indirect Higgs boson searches. We further illustrate how future measurements can be incorporated in such a framework, through the example of neutral heavy Higgs boson production and decay via the gluon-gluon fusion mode in a variety of final states.


title: The Essential Deployment Metamodel: A Systematic Review of Deployment Automation Technologies

abstract: In recent years, a plethora of deployment technologies evolved, many following a declarative approach to automate the delivery of software components. Even if such technologies share the same purpose, they differ in features and supported mechanisms. Thus, it is difficult to compare and select deployment automation technologies as well as to migrate from one technology to another. Hence, we present a systematic review of declarative deployment technologies and introduce the Essential Deployment Metamodel (EDMM) by extracting the essential parts that are supported by all these technologies. Thereby, the EDMM enables a common understanding of declarative deployment models by facilitating the comparison, selection, and migration of technologies. Moreover, it provides a technology-independent baseline for further deployment automation research.


title: Nonrelativistic String Theory in Background Fields

abstract: Nonrelativistic string theory is a unitary, ultraviolet finite quantum gravity theory with a nonrelativistic string spectrum. The vertex operators of the worldsheet theory determine the spacetime geometry of nonrelativistic string theory, known as the string Newton-Cartan geometry. We compute the Weyl anomaly of the nonrelativistic string worldsheet sigma model describing strings propagating in a string Newton-Cartan geometry, Kalb-Ramond and dilaton background. We derive the equations of motion that dictate the backgrounds on which nonrelativistic string theory can be consistently defined quantum mechanically. The equations of motion we find from our study of the conformal anomaly of the worldsheet theory are to nonrelativistic string theory what the (super)gravity equations of motion are to relativistic string theory.


title: Twisted bilayer graphene with Kekule distortion: isolated flat band

abstract: Twisted bilayer graphenes with magical angle exhibit strongly correlated electronic properties because of the isolated flat band at the Fermi level. We studied the twisted bilayer graphene with substrates on both layers. The substrate induce Kekul$\acute{e}$ distortion for each graphene layer. The systems are investigated by both continuous Dirac Fermion model and tight binding model. The two investigations give similar conclusion that isolated flat band with ultra-narrow bandwidth could appear.


title: Nucleation of Spatio-Temporal Structures From Defect Turbulence in the Two-dimensional Complex Ginzburg-Landau Equation

abstract: We numerically investigate nucleation processes in the transient dynamics of the two-dimensional complex Ginzburg-Landau equation towards its "frozen" state with quasi-stationary spiral structures. We study the transition kinetics from either the defect turbulence regime or random initial configurations to the frozen state with a well-defined low density of quasi-stationary topological defects. Nucleation events of spiral structures are monitored using the characteristic length between the emerging shock fronts. We study two distinct situations, namely either when the system is quenched far away from the transition limit or near it. In the former deeply quenched case, the average nucleation time for different system sizes is measured over many independent realizations. We employ an extrapolation method as well as a phenomenological formula to account for and eliminate finite-size effects. The non-zero (dimensionless) barrier for the nucleation of single spiral droplets in the extrapolated infinite system size limit suggests that the transition to the frozen state is discontinuous. We also investigate the nucleation of spirals for systems that are quenched close to but beyond the crossover limit, and of target waves which emerge if a specific spatial inhomogeneity is introduced. In either of these cases, we observe long, "fat" tails in the distribution of nucleation times, which also supports a discontinuous transition scenario.


title: Stochastically Dominant Distributional Reinforcement Learning

abstract: We describe a new approach for managing aleatoric uncertainty in the Reinforcement Learning (RL) paradigm. Instead of selecting actions according to a single statistic, we propose a distributional method based on the second-order stochastic dominance (SSD) relation. This compares the inherent dispersion of random returns induced by actions, producing a more comprehensive and robust evaluation of the environment's uncertainty. The necessary conditions for SSD require estimators to predict accurate second moments. To accommodate this, we map the distributional RL problem to a Wasserstein gradient flow, treating the distributional Bellman residual as a potential energy functional. We propose a particle-based algorithm for which we prove optimality and convergence. Our experiments characterize the algorithm performance and demonstrate how uncertainty and performance are better balanced using an \textsc{ssd} policy than with other risk measures.


title: Linearization of a nonautonomous unbounded system with nonuniform contraction: A Spectral Approach

abstract: For a nonautonomous linear system with nonuniform contraction, we construct a topological equivalence between this system and an unbounded nonlinear perturbation. This topological equivalence is constructed as a composition of homeomorphisms. The first one is set up by considering the fact that linear system is almost reducible to diagonal system with a small enough perturbation where the diagonal entries belong to spectrum of the nonuniform exponential dichotomy; and the second one is constructed in terms of the crossing times with respect to unit sphere of an adequate Lyapunov function associated to the linear system.


title: EENA: Efficient Evolution of Neural Architecture

abstract: Latest algorithms for automatic neural architecture search perform remarkable but are basically directionless in search space and computational expensive in training of every intermediate architecture. In this paper, we propose a method for efficient architecture search called EENA (Efficient Evolution of Neural Architecture). Due to the elaborately designed mutation and crossover operations, the evolution process can be guided by the information have already been learned. Therefore, less computational effort will be required while the searching and training time can be reduced significantly. On CIFAR-10 classification, EENA using minimal computational resources (0.65 GPU-days) can design highly effective neural architecture which achieves 2.56% test error with 8.47M parameters. Furthermore, the best architecture discovered is also transferable for CIFAR-100.


title: Availability-Based Production Predicts Speakers' Real-time Choices of Mandarin Classifiers

abstract: Speakers often face choices as to how to structure their intended message into an utterance. Here we investigate the influence of contextual predictability on the encoding of linguistic content manifested by speaker choice in a classifier language. In English, a numeral modifies a noun directly (e.g., three computers). In classifier languages such as Mandarin Chinese, it is obligatory to use a classifier (CL) with the numeral and the noun (e.g., three CL.machinery computer, three CL.general computer). While different nouns are compatible with different specific classifiers, there is a general classifier "ge" (CL.general) that can be used with most nouns. When the upcoming noun is less predictable, the use of a more specific classifier would reduce surprisal at the noun thus potentially facilitate comprehension (predicted by Uniform Information Density, Levy & Jaeger, 2007), but the use of that more specific classifier may be dispreferred from a production standpoint if accessing the general classifier is always available (predicted by Availability-Based Production; Bock, 1987; Ferreira & Dell, 2000). Here we use a picture-naming experiment showing that Availability-Based Production predicts speakers' real-time choices of Mandarin classifiers.


title: The partial visibility curve of the Feigenbaum cascade to chaos

abstract: A family of classical mathematical problems considers the visibility properties of geometric figures in the plane, e.g. curves or polygons. In particular, the {\it domination problem} tries to find the minimum number of points that are able to dominate the whole set, the so called, {\it domination number}. Alternatively, other problems try to determine the subsets of points with a given cardinality, that maximize the basin of domination, the {\it partial dominating set}. Since a discrete time series can be viewed as an ordered set of points in the plane, the dominating number and the partial dominating set can be used to obtain additional information about the visibility properties of the series; in particular, the total visibility number and the partial visibility set. In this paper, we apply these two concepts to study times series that are generated from the logistic map. More specifically, we focus this work on the description of the Feigenbaum cascade to the onset of chaos. We show that the whole cascade has the same total visibility number, $v_T=1/4$. However, a different distribution of the partial visibility sets and the corresponding partial visibility curves can be obtained inside both periodic and chaotic regimes. We prove that the partial visibility curve at the Feigenbaum accumulation point $r_{\infty} \approx 3.5699$ is the limit curve of the partial visibility curves ($n+1$-polygonals) that correspond to the periods $T=2^{n}$ for $n=1,2,\ldots$. We analytically calculate the length of these $n+1$-polygonals and, as a limit, we obtain the length of the partial visibility curve at the onset of chaos, $L_{\infty} = L(r_{\infty}) \approx 1.0414387863$. Finally, we compare these results with those obtained from the period 3-cascade, and with the partial visibility curve of the chaotic series at the crossing point $r_c \approx 3.679$.


title: Understanding the correlation between electronic coupling and energetic stability of molecular crystal polymorphs: The instructive case of quinacridone

abstract: A crucial factor determining charge transport in organic semiconductors is the electronic coupling between the molecular constituents, which is heavily influenced by the relative arrangement of the molecules. This renders quinacridone, with its multiple, structurally fundamentally different polymorphs and their diverse intermolecular interactions an ideal test case for analyzing the correlation between the electronic coupling in a specific configuration and the configuration's energetic stability. To provide an in-depth analysis of this correlation, starting from the $\alpha$-polymorph of quinacridone, we also construct a coplanar model crystal. This allows us to systematically compare the displacement-dependence of the electronic coupling with that of the total energy. In this way, we identify the combination of Pauli repulsion and orbital rehybridization as the driving force steering the system towards a structure in which the electronic coupling is minimal (especially for the valence band and at small displacements). The general nature of these observations is supported by equivalent trends for an analogous pentacene model system. This underlines that the design of high-performance materials cannot rely on the "natural" assembly of the $\pi$-conjugated backbones of organic semiconductors into their most stable configurations. Rather, it must include the incorporation of functional groups that steer crystal packing towards more favorable structures, where aiming for short-axis displacements or realizing comparably large long-axis displacements appear as strategies worthwhile exploring.


title: Irreducible representations of E theory

abstract: We construct the E theory analogue of the particles that transform under the Poincare group, that is, the irreducible representations of the semi-direct product of the Cartan involution subalgebra of E11 with its vector representation. We show that one such irreducible representation has only the degrees of freedom of eleven dimensional supergravity. This representation is most easily discussed in the light cone formalism and we show that the duality relations found in E theory take a particularly simple form in this formalism. We explain that the mysterious symmetries found recently in the light cone formulation of maximal supergravity theories are part of E11. We also argue that our familiar spacetimes have to be extended by additional coordinates when considering extended objects such as branes.


title: Lexicographic and Depth-Sensitive Margins in Homogeneous and Non-Homogeneous Deep Models

abstract: With an eye toward understanding complexity control in deep learning, we study how infinitesimal regularization or gradient descent optimization lead to margin maximizing solutions in both homogeneous and non-homogeneous models, extending previous work that focused on infinitesimal regularization only in homogeneous models. To this end we study the limit of loss minimization with a diverging norm constraint (the "constrained path"), relate it to the limit of a "margin path" and characterize the resulting solution. For non-homogeneous ensemble models, which output is a sum of homogeneous sub-models, we show that this solution discards the shallowest sub-models if they are unnecessary. For homogeneous models, we show convergence to a "lexicographic max-margin solution", and provide conditions under which max-margin solutions are also attained as the limit of unconstrained gradient descent.


title: Fractional Langevin equation from damped bath dynamics

abstract: We consider the stochastic dynamics of a system linearly coupled to a hierarchical thermal bath with two well-separated inherent timescales: one slow, and one fast. The slow part of the bath is modeled as a set of harmonic oscillators and taken into account explicitly, while the effects of the fast part of the bath are simulated by dissipative and stochastic Langevin forces, uncorrelated in space and time, acting on oscillators of the slow part of the bath. We demonstrate for this model the robust emergence of a fractional Langevin equation with a power-law decaying memory kernel. The conditions of such an emergence and the specific value of the fractional exponent depend only on the asymptotic low-frequency spectral properties of the slow part of the bath.


title: Multiwavelength Investigation of Pulsar Wind Nebula DA 495 with HAWC, VERITAS, and NuSTAR

abstract: Pulsar Wind Nebula (PWN) DA 495 (G65.7+1.2) was detected in TeV gamma-rays by the High Altitude Water Cherenkov Observatory (HAWC) in 2017 (2HWC J1953+294). Follow-up observations by the Very Energetic Radiation Imaging Telescope Array System (VERITAS) confirmed the association between 2HWC J1953+294 and DA 495 and found the TeV emission to be spatially coincident with the radio emission first reported in 1968. The detection of TeV gamma-rays from DA 495, along with past X-ray detection up to 10 keV, prompted high energy X-ray observations as part of the NuSTAR Galactic Legacy Survey. We present the results of these NuSTAR observations, combined with archival Chandra and XMM-Newton observations, and confirm the previous X-ray photon index of $\Gamma_{2-20 \rm\ keV} = 2.0 \pm 0.1$. We find no spectral cutoff up to 20 keV. With the spectral information for DA 495 extended to TeV gamma-rays, we were able to perform analytical modeling to test leptonic and hadronic emission scenarios. The leptonic models can explain the broadband emission, but also imply a diffuse X-ray nebula of similar extent to the radio and TeV nebulae, which cannot be confirmed by our observations. The hadronic models can simultaneously explain the spectrum and the spatial extent in all wavelengths; however, we need a very high magnetic field strength pervading the radio and TeV nebulae and a surprisingly high particle kinetic energy. These requirements deepen the mystery of the physical nature of DA 495. Future observations in radio to infrared bands and spatially resolved $\gamma$-rays can further constrain the physical conditions and radiation mechanisms in DA 495.


title: Work fluctuations in slow processes: quantum signatures and optimal control

abstract: An important result in classical stochastic thermodynamics is the work fluctuation--dissipation relation (FDR), which states that the dissipated work done along a slow process is proportional to the resulting work fluctuations. Here we show that slowly driven quantum systems violate this FDR whenever quantum coherence is generated along the protocol, and derive a quantum generalisation of the work FDR. The additional quantum terms in the FDR are found to lead to a non-Gaussian work distribution. Fundamentally, our result shows that quantum fluctuations prohibit finding slow protocols that minimise both dissipation and fluctuations simultaneously, in contrast to classical slow processes. Instead, we develop a quantum geometric framework to find processes with an optimal trade-off between the two quantities.


title: The worst way to collapse a simplex

abstract: In general a contractible complex need not be collapsible. Moreover, there exist complexes which are collapsible but even so admit a collapsing sequence where one "gets stuck", that is one can choose the collapses in such a way that one arrives at a nontrivial complex which admits no collapsing moves. Here we examine this phenomenon in the case of a simplex. In particular we characterize all values of $n$ and $d$ so that the n-simplex may collapse to a d-complex from which no further collapses are possible. Equivalently and in the language of high-dimensional generalizations of trees, we construct hypertrees that are anticollapsible, but not collapsible. Furthermore we examine anticollapsibility in random simplicial complexes.


title: E theory in seven dimensions

abstract: We construct the non-linear realisation of the semi-direct product of E11 and its vector representation in its decomposition into the subalgebra GL(7)x SL(5) to find a seven dimensional theory. The resulting equations of motion essentially follow from the Dynkin diagram of E11 and if one restricts them to contain only the usual fields of supergravity and the derivatives with respect to the usual coordinates of spacetime then these are the equations of motion of seven dimensional supergravity.


title: Z boson production in proton-lead collisions at the LHC accounting for transverse momenta of initial partons

abstract: We perform a calculation of inclusive $Z$ boson production in proton-lead collisions at the LHC taking into account the transverse momenta of the initial partons. We use the framework of $k_T$-factorization combining transverse momentum dependent parton distributions (TMDs) with off-shell matrix elements. In order to do it we need to construct appropriate TMDs for lead nuclei which is done using the parton branching method. Our computations are compared with data from CMS taken at $\sqrt{s}=5.02$ TeV. The results are in good agreement with the measurements especially the transverse momentum distribution of the $Z$ boson.


title: Semantic Analysis of Traffic Camera Data: Topic Signal Extraction and Anomalous Event Detection

abstract: Traffic Management Centers (TMCs) routinely use traffic cameras to provide situational awareness regarding traffic, road, and weather conditions. Camera footage is quite useful for a variety of diagnostic purposes; yet, most footage is kept for only a few days, if at all. This is largely due to the fact that currently, identification of notable footage is done via manual review by human operators---a laborious and inefficient process. In this article, we propose a semantics-oriented approach to analyzing sequential image data, and demonstrate its application for automatic detection of real-world, anomalous events in weather and traffic conditions. Our approach constructs semantic vector representations of image contents from textual labels which can be easily obtained from off-the-shelf, pretrained image labeling software. These semantic label vectors are used to construct semantic topic signals---time series representations of physical processes---using the Latent Dirichlet Allocation (LDA) topic model. By detecting anomalies in the topic signals, we identify notable footage corresponding to winter storms and anomalous traffic congestion. In validation against real-world events, anomaly detection using semantic topic signals significantly outperforms detection using any individual label signal.


title: Crystal of affine $\widehat{\mathfrak{sl}}_{\ell}$ and Hecke algebras at a primitive $2\ell$th root of unity

abstract: Let $\ell\in\mathbb{N}$ with $\ell>2$ and $I:=\mathbb{Z}/2\ell\mathbb{Z}$. In this paper we give a new realization of the crystal of affine $\widehat{\mathfrak{sl}}_{\ell}$ using the modular representation theory of the affine Hecke algebras $H_n$ of type $A$ and their level two cyclotomic quotients with Hecke parameter being a primitive $2\ell$th root of unity. We realized the Kashiwara operators for the crystal as the functors of taking socle of certain two-steps restriction and of taking head of certain two-steps induction. For any finite dimensional irreducible $H_n$-module $M$, we prove that the irreducible submodules of $\rm{res}_{H_{n-2}}^{H_n}M$ which belong to $\widehat{B}(\infty)$ (Definition 6.1) occur with multiplicity two. The main results generalize the earlier work of Grojnowski and Vazirani on the relations between the crystal of affine $\widehat{\mathfrak{sl}}_{\ell}$ and the affine Hecke algebras of type $A$ at a primitive $\ell$th root of unity.


title: Expanding possibilities of quantum state engineering and amplifying optical Schrodinger kitten state

abstract: We demonstrate an optical method to engineer optical Schr\"odinger cat states (SCSs) of large size beta ranging from beta=2 to beta=3 with high fidelity close to 0.99. Our approach uses the alpha-representation of the SCSs in infinite Hilbert space with base in terms of displaced number states characterized by the displacement amplitude alpha. An arbitrary alpha-representation of SCSs enables manipulation of the amplitudes in wider ranges of parameters, greatly expanding the possibilities for generation of desired nonclassical states. The optical scheme we consider is quite universal for implementation of the conditioned states close to SCSs with use of linear-optics elements and detectors projecting unitarily transformed input states onto the target one. Different states (e.g., number state or coherent state or superposed state) are selected as the input to the optical scheme. In particular, an input small-size Schroodinger kitten state can give rise to an output large-size SCS.


title: Description of CRESST-III Data

abstract: In CRESST-III, 10 cryogenic detector modules optimized for low energy thresholds were operated for almost two years (May 2016 - February 2018). Together with this document we are publishing data from the best performing detector module which has a nuclear recoil threshold of 30.1eV. With this data-set we were able to set limits on the cross-section for spin-dependent and spin-independent elastic scattering of dark matter particles off nuclei at dark matter masses down to 160MeV/c$^2$. We publish the energies of all events after data selection as well as of all events within the acceptance region for dark-matter searches. In this document we describe how to use these data sets.


title: The Gabor wave front set of compactly supported distributions

abstract: We show that the Gabor wave front set of a compactly supported distribution equals zero times the projection on the second variable of the classical wave front set.


title: Transient structures in rupturing thin-films: Marangoni-induced symmetry-breaking pattern formation in viscous fluids

abstract: In the minutes immediately preceeding the rupture of a soap bubble, distinctive and repeatable patterns can be observed. These quasi-stable transient structures are associated with the instabilities of the complex Marangoni flows on the curved thin film in the presence of a surfactant solution. Here, we report a generalised Cahn-Hilliard-Swift-Hohenberg model derived using asymptotic theory which describes the quasi-elastic wrinkling pattern formation and the consequent coarsening dynamics in a curved surfactant-laden thin film. By testing the theory against experiments on soap bubbles, we find quantitative agreement with the analytical predictions of the nucleation and the early coarsening phases associated with the patterns. Our findings provide fundamental physical understanding that can be used to (de-)stabilise thin films in the presence of surfactants and have important implications for both natural and industrial contexts, such as the production of thin coating films, foams, emulsions and sprays.


title: $W^{s,\frac{n}{s}}$-maps with positive distributional Jacobians

abstract: We extend the well-known result that any $f \in W^{1,n}(\Omega,\mathbb{R}^n)$, $\Omega \subset \mathbb{R}^n$ with strictly positive Jacobian is actually continuous: it is also true for fractional Sobolev spaces $W^{s,\frac{n}{s}}(\Omega)$ for any $s \geq \frac{n}{n+1}$, where the sign condition on the Jacobian is understood in a distributional sense. Along the way we also obtain extensions to fractional Sobolev spaces $W^{s,\frac{n}{s}}$ of the degree estimates known for $W^{1,n}$-maps with positive or non-negative Jacobian, such as the sense-preserving property.


title: Decision-Oriented Communications: Application to Energy-Efficient Resource Allocation

abstract: In this paper, we introduce the problem of decision-oriented communications, that is, the goal of the source is to send the right amount of information in order for the intended destination to execute a task. More specifically, we restrict our attention to how the source should quantize information so that the destination can maximize a utility function which represents the task to be executed only knowing the quantized information. For example, for utility functions under the form $u\left(\boldsymbol{x};\ \boldsymbol{g}\right)$, $\boldsymbol{x}$ might represent a decision in terms of using some radio resources and $\boldsymbol{g}$ the system state which is only observed through its quantized version $Q(\boldsymbol{g})$. Both in the case where the utility function is known and the case where it is only observed through its realizations, we provide solutions to determine such a quantizer. We show how this approach applies to energy-efficient power allocation. In particular, it is seen that quantizing the state very roughly is perfectly suited to sum-rate-type function maximization, whereas energy-efficiency metrics are more sensitive to imperfections.


title: The two-body potential of Vainshtein screened theories

abstract: Adding a light scalar degree of freedom to General Relativity often induces a fifth force whose magnitude is strongly constrained by laboratory experiments and solar system tests. The Vainshtein screening mechanism ensures that the effects of this supplementary force are suppressed in dense environments. However, the field solution of theories exhibiting Vainshtein screening is only known in spherically symmetric situations. In this article we examine in different configurations the two-body potential energy of pointlike particles in a specific $P(X)$ theory with Vainshtein screening. We use ideas borrowed from the Effective One-Body approach of Buonanno and Damour in order to restrict the form of the solution. Our results indicate that, even if Vainshtein screening is also fully active in the equal-mass case, the nonlinear dependance of the two-body energy on the mass ratio implies a violation of the Equivalence Principle. We compute the contribution of this effect to the Moon orbit for generic theories equipped with Vainshtein screening.


title: Sheaves and symplectic geometry of cotangent bundles

abstract: This paper is essentially made of the three preprints arXiv:1212.5818, arXiv:1311.0187, arXiv:1603.07876 gathered in a single text, with simplified proofs. We recall several results of the microlocal theory of sheaves of Kashiwara-Schapira and apply them to study the symplectic geometry of cotangent bundles. We explain how we can recover the Gromov nonsqueezing theorem, the Gromov-Eliashberg rigidity theorem, the existence of graph selectors, we prove a three cusps conjecture about curves on the sphere and we recover more recent results on the topology of exact Lagrangian submanifolds of cotangent bundles.


title: Pair-Matching: Links Prediction with Adaptive Queries

abstract: The pair-matching problem appears in many applications where one wants to discover good matches between pairs of entities or individuals. Formally, the set of individuals is represented by the nodes of a graph where the edges, unobserved at first, represent the good matches. The algorithm queries pairs of nodes and observes the presence/absence of edges. Its goal is to discover as many edges as possible with a fixed budget of queries. Pair-matching is a particular instance of multi-armed bandit problem in which the arms are pairs of individuals and the rewards are edges linking these pairs. This bandit problem is non-standard though, as each arm can only be played once. Given this last constraint, sublinear regret can be expected only if the graph presents some underlying structure. This paper shows that sublinear regret is achievable in the case where the graph is generated according to a Stochastic Block Model (SBM) with two communities. Optimal regret bounds are computed for this pair-matching problem. They exhibit a phase transition related to the Kesten-Stigum threshold for community detection in SBM. The pair-matching problem is considered in the case where each node is constrained to be sampled less than a given amount of times. We show how optimal regret rates depend on this constraint. The paper is concluded by a conjecture regarding the optimal regret when the number of communities is larger than 2. Contrary to the two communities case, we argue that a statistical-computational gap would appear in this problem.


title: Does the evolution of complex life depend on the stellar spectral energy distribution?

abstract: This paper presents the proportional evolutionary time hypothesis, which posits that the mean time required for the evolution of complex life is a function of stellar mass. The "biological available window" is defined as the region of a stellar spectrum between 200 to 1200 nm that generates free energy for life. Over the $\sim$4 Gyr history of Earth, the total energy incident at the top of the atmosphere and within the biological available window is $\sim$10$^{34}$ J. The hypothesis assumes that the rate of evolution from the origin of life to complex life is proportional to this total energy, which would suggest that planets orbiting other stars should not show signs of complex life if the total energy incident on the planet is below this energy threshold. The proportional evolutionary time hypothesis predicts that late K- and M-dwarf stars (M < 0.7 M$_{\odot}$) are too young to host any complex life at the present age of the universe. F-, G-, and early K-dwarf stars (M > 0.7 M$_{\odot}$) represent the best targets for the next generation of space telescopes to search for spectroscopic biosignatures indicative of complex life.


title: On semigroups generated by sums of even powers of Dunkl operators

abstract: On the Euclidean space $\mathbb R^N$ equipped with a normalized root system $R$, a multiplicity function $k\geq 0$, and the associated measure $dw(\mathbf x)=\prod_{\alpha\in R} |\langle \mathbf x,\alpha\rangle|^{k(\alpha)}d\mathbf x$ we consider the differential-difference operator $$L=(-1)^{\ell+1} \sum_{j=1}^m T_{\zeta_j}^{2\ell},$$ where $\zeta_1,...,\zeta_m$ are nonzero vectors in $\mathbb R^N$, which span $\mathbb R^N$, and $T_{\zeta_j}$ are the Dunkl operators. The operator $L$ is essentially self-adjoint on $L^2(dw)$ and generates a semigroup $\{S_t\}_{t \geq 0}$ of linear self-adjoint contractions, which has the form $S_tf(\mathbf x)=f*q_t(\mathbf{x})$, $q_t(\mathbf x)=t^{-\mathbf N/ (2\ell)}q(\mathbf x/ t^{1/ (2\ell)})$, where $q(\mathbf x)$ is the Dunkl transform of the function $ \exp(-\sum_{j=1}^m \langle \zeta_j,\xi\rangle^{2\ell})$. We prove that $q(\mathbf x)$ satisfies the following exponential decay: $$ |q(\mathbf x)| \lesssim \exp(-c \| \mathbf x\|^{2\ell/ (2\ell-1)})$$ for a certain constant $c>0$. Moreover, if $q(\mathbf x,\mathbf y)=\tau_{\mathbf x}q(-\mathbf y)$, then $|q(\mathbf x,\mathbf y)|\lesssim w(B(\mathbf x,1))^{-1} \exp(-c d(\mathbf x,\mathbf y)^{2\ell / (2\ell-1)})$, where $d(\mathbf x,\mathbf y)=\min_{\sigma\in G}\| \mathbf x- \sigma(\mathbf y)\| $, $G$~is the reflection group for $R$, and $\tau_{\mathbf x}$ denotes the Dunkl translation.


title: $\texttt{fRevolution}$ $-$ Relativistic Cosmological Simulations in $f(R)$ Gravity I: Methodology

abstract: We present the new relativistic cosmological particle-mesh code $\texttt{fRevolution}$, based on $\texttt{gevolution}$, aimed at simulating non-linear structure formation in $f(R)$ gravity. We introduce the general framework and approximation scheme, and the set of equations used to solve for the full set of gravitational perturbations. We show results for a point mass field and for cosmological simulations in the Hu-Sawicki model, and compare them to those of existing Newtonian codes. A more detailed analysis and discussion of our solutions will be carried out in a following paper.


title: EmBench: Quantifying Performance Variations of Deep Neural Networks across Modern Commodity Devices

abstract: In recent years, advances in deep learning have resulted in unprecedented leaps in diverse tasks spanning from speech and object recognition to context awareness and health monitoring. As a result, an increasing number of AI-enabled applications are being developed targeting ubiquitous and mobile devices. While deep neural networks (DNNs) are getting bigger and more complex, they also impose a heavy computational and energy burden on the host devices, which has led to the integration of various specialized processors in commodity devices. Given the broad range of competing DNN architectures and the heterogeneity of the target hardware, there is an emerging need to understand the compatibility between DNN-platform pairs and the expected performance benefits on each platform. This work attempts to demystify this landscape by systematically evaluating a collection of state-of-the-art DNNs on a wide variety of commodity devices. In this respect, we identify potential bottlenecks in each architecture and provide important guidelines that can assist the community in the co-design of more efficient DNNs and accelerators.


title: Temporal changes of the flare activity of Proxima Cen

abstract: We study temporal variations of the emission lines of Halpha, Hepsilon, H and K Ca II, D1 and D2 Na I, 4026 and 5876 A He I in the HARPS spectra of Proxima Centauri across an extended time of 13.2 years, from May 27, 2004, to September 30, 2017. Aims. We analyse the common behaviour and differences in the intensities and profiles of different emission lines in flare and quiet modes of Proxima activity. Methods. We compare the pseudo-equivalent widths (pEW) and profiles of the emission lines in the HARPS high-resolution (R ~ 115,000) spectra observed at the same epochs. Results. All emission lines show variability with a timescale of at least 10 min. The strength of all lines except He I 4026 A correlate with \Halpha. During strong flares the `red asymmetry' appears in the Halpha emission line indicating the infall of hot condensed matter into the chromosphere with velocities greater than 100 km/s disturbing chromospheric layers. As a result, the strength of the Ca II lines anti-correlates with Halpha during strong flares. The He I lines at 4026 and 5876 A appear in the strong flares. The cores of D1 and D2 Na I lines are also seen in emission. During the minimum activity of Proxima Centauri, Ca II lines and Hepsilon almost disappear while the blue part of the Na I emission lines is affected by the absorption in the extending and condensing flows. Conclusions. We see different behaviour of emission lines formed in the flare regions and chromosphere. Chromosphere layers of Proxima Cen are likely heated by the flare events; these layers are cooled in the `non-flare' mode. The self-absorption structures in cores of our emission lines vary with time due to the presence of a complicated system of inward and outward matter flows in the absorbing layers.


title: Eternal life of entropy in non-Hermitian quantum systems

abstract: We find a new effect for the behaviour of Von Neumann entropy. For this we derive the framework for describing Von Neumann entropy in non-Hermitian quantum systems and then apply it to a simple interacting PT symmetric bosonic system. We show that our model is well defined even in the PT broken regime with the introduction of a time-dependent metric and that it displays three distinct behaviours relating to the PT symmetry of the original time-independent Hamiltonian. When the symmetry is unbroken, the entropy undergoes rapid decay to zero (so-called "sudden death") with a subsequent revival. At the exceptional point it decays asymptotically to zero and when the symmetry is spontaneously broken it decays asymptotically to a finite constant value ("eternal life").


title: Diameters of Ball Intersections

abstract: We prove the diameter of the intersection of two closed convex balls in a Riemannian manifold eventually decreases continuously as the centers of the balls move apart.


title: DeepSwarm: Optimising Convolutional Neural Networks using Swarm Intelligence

abstract: In this paper we propose DeepSwarm, a novel neural architecture search (NAS) method based on Swarm Intelligence principles. At its core DeepSwarm uses Ant Colony Optimization (ACO) to generate ant population which uses the pheromone information to collectively search for the best neural architecture. Furthermore, by using local and global pheromone update rules our method ensures the balance between exploitation and exploration. On top of this, to make our method more efficient we combine progressive neural architecture search with weight reusability. Furthermore, due to the nature of ACO our method can incorporate heuristic information which can further speed up the search process. After systematic and extensive evaluation, we discover that on three different datasets (MNIST, Fashion-MNIST, and CIFAR-10) when compared to existing systems our proposed method demonstrates competitive performance. Finally, we open source DeepSwarm as a NAS library and hope it can be used by more deep learning researchers and practitioners.


title: Justification of the Point Vortex Approximation for Modified Surface Quasi-Geostrophic Equations

abstract: In this paper, we give a rigorous justification of the point vortex approximation to the family of modified surface quasi-geostrophic (mSQG) equations globally in time in both the inviscid and vanishing dissipative cases. This result completes the justification for the remaining range of the mSQG family unaddressed by Geldhauser and Romito in the article arXiv:1812.05166, in the case of identically signed vortices.


title: K-essence and kinetic gravity braiding models in two-field measure theory

abstract: We show that, in the context of the two-field measure theory, any k-essence model leads to the existence of a fluid made of non-relativistic matter and cosmological constant that would explain the dark matter and dark energy problem at the same time. On the other hand, kinetic gravity braiding models can lead to different behaviors, such as phantom dark energy, stiff matter, and a cosmological constant. For stiff matter, there even exists the case where the scalar field does not have any effect in the dynamics of the Universe.


title: Observation of Multimode Strong Coupling of Cold Atoms to a 30-m Long Optical Resonator

abstract: We report on the observation of multimode strong coupling of a small ensemble of atoms interacting with the field of a 30-m long fiber resonator containing a nanofiber section. The collective light--matter coupling strength exceeds the free spectral range and the atoms couple to consecutive longitudinal resonator modes. The measured transmission spectra of the coupled atom-resonator system provide evidence of this regime, realized with a few hundred atoms with an intrinsic single-atom cooperativity of 0.26. These results are the starting point for studies in a new setting of light-matter interaction, with strong quantum non-linearities and a new type of dynamics.


title: A contact geometry framework for field theories with dissipation

abstract: We develop a new geometric framework suitable for dealing with Hamiltonian field theories with dissipation. To this end we define the notions of $k$-contact structure and $k$-contact Hamiltonian system. This is a generalization of both the contact Hamiltonian systems in mechanics and the $k$-symplectic Hamiltonian systems in field theory. The concepts of symmetries and dissipation laws are introduced and developed. Two relevant examples are analyzed in detail: the damped vibrating string and Burgers' equation.


title: A gap in the slice rank of $k$-tensors

abstract: The slice-rank method, introduced by Tao as a symmetrized version of the polynomial method of Croot, Lev and Pach and Ellenberg and Gijswijt, has proved to be a useful tool in a variety of combinatorial problems. Explicit tensors have been introduced in different contexts but little is known about the limitations of the method. In this paper, building upon a method presented by Tao and Sawin, it is proved that the asymptotic slice rank of any $k$-tensor in any field is either $1$ or at least $k/(k-1)^{(k-1)/k}$. This provides evidence that straight-forward application of the method cannot give useful results in certain problems for which non-trivial exponential bounds are already known. An example, actually a motivation for starting this work, is the problem of bounding the size of trifferent sets of sequences, which constitutes a long-standing open problem in information theory and in theoretical computer science.


title: Don't Blame Distributional Semantics if it can't do Entailment

abstract: Distributional semantics has had enormous empirical success in Computational Linguistics and Cognitive Science in modeling various semantic phenomena, such as semantic similarity, and distributional models are widely used in state-of-the-art Natural Language Processing systems. However, the theoretical status of distributional semantics within a broader theory of language and cognition is still unclear: What does distributional semantics model? Can it be, on its own, a fully adequate model of the meanings of linguistic expressions? The standard answer is that distributional semantics is not fully adequate in this regard, because it falls short on some of the central aspects of formal semantic approaches: truth conditions, entailment, reference, and certain aspects of compositionality. We argue that this standard answer rests on a misconception: These aspects do not belong in a theory of expression meaning, they are instead aspects of speaker meaning, i.e., communicative intentions in a particular context. In a slogan: words do not refer, speakers do. Clearing this up enables us to argue that distributional semantics on its own is an adequate model of expression meaning. Our proposal sheds light on the role of distributional semantics in a broader theory of language and cognition, its relationship to formal semantics, and its place in computational models.


title: Recurrent Kalman Networks: Factorized Inference in High-Dimensional Deep Feature Spaces

abstract: In order to integrate uncertainty estimates into deep time-series modelling, Kalman Filters (KFs) (Kalman et al., 1960) have been integrated with deep learning models, however, such approaches typically rely on approximate inference techniques such as variational inference which makes learning more complex and often less scalable due to approximation errors. We propose a new deep approach to Kalman filtering which can be learned directly in an end-to-end manner using backpropagation without additional approximations. Our approach uses a high-dimensional factorized latent state representation for which the Kalman updates simplify to scalar operations and thus avoids hard to backpropagate, computationally heavy and potentially unstable matrix inversions. Moreover, we use locally linear dynamic models to efficiently propagate the latent state to the next time step. The resulting network architecture, which we call Recurrent Kalman Network (RKN), can be used for any time-series data, similar to a LSTM (Hochreiter & Schmidhuber, 1997) but uses an explicit representation of uncertainty. As shown by our experiments, the RKN obtains much more accurate uncertainty estimates than an LSTM or Gated Recurrent Units (GRUs) (Cho et al., 2014) while also showing a slightly improved prediction performance and outperforms various recent generative models on an image imputation task.


title: Learning Cross-lingual Embeddings from Twitter via Distant Supervision

abstract: Cross-lingual embeddings represent the meaning of words from different languages in the same vector space. Recent work has shown that it is possible to construct such representations by aligning independently learned monolingual embedding spaces, and that accurate alignments can be obtained even without external bilingual data. In this paper we explore a research direction that has been surprisingly neglected in the literature: leveraging noisy user-generated text to learn cross-lingual embeddings particularly tailored towards social media applications. While the noisiness and informal nature of the social media genre poses additional challenges to cross-lingual embedding methods, we find that it also provides key opportunities due to the abundance of code-switching and the existence of a shared vocabulary of emoji and named entities. Our contribution consists of a very simple post-processing step that exploits these phenomena to significantly improve the performance of state-of-the-art alignment methods.


title: On the Philosophical Foundations of Physics: An Experimentalist's Perspective

abstract: Since I first became enthralled with physics as a teenager, I've been intrigued by the philosophical aspects of the discipline. As I approached the end of my career as an experimental physicist and observational astronomer (I'm now retired), I decided to return to these philosophical matters, some of which were still perturbing me, to see if I could finally make enough sense of them to quiet my discomfort. I've more or less succeeded in this quest in large part, I believe, because of my experimentalist background and a concomitant proclivity for pragmatic explanation. My purpose in this essay is to sketch a pragmatic worldview with which one might be able to approach fundamental philosophical and interpretational problems. You might ask how I can possibly expect to say anything meaningful in the less than 50 pages of the present essay? On the other hand, it might be an advantage to avoid the depth and precision that would limit flexibility in dealing with the philosophical conundrums I seek to resolve. In any case, I here offer my thoughts on the philosophical foundations of physics.


title: Contrastive Fairness in Machine Learning

abstract: Was it fair that Harry was hired but not Barry? Was it fair that Pam was fired instead of Sam? How can one ensure fairness when an intelligent algorithm takes these decisions instead of a human? How can one ensure that the decisions were taken based on merit and not on protected attributes like race or sex? These are the questions that must be answered now that many decisions in real life can be made through machine learning. However research in fairness of algorithms has focused on the counterfactual questions "what if?" or "why?", whereas in real life most subjective questions of consequence are contrastive: "why this but not that?". We introduce concepts and mathematical tools using causal inference to address contrastive fairness in algorithmic decision-making with illustrative examples.


title: Distillation of maximally correlated bosonic matter from many-body quantum coherence

abstract: We construct quantum coherence resource theories in symmetrized Fock space (QCRTF), thereby providing an information-theoretic framework that connects analyses of quantum coherence in discrete-variable (DV) and continuous variable (CV) bosonic systems. Unlike traditional quantum coherence resource theories, QCRTF can be made independent of the single-particle basis and allow to quantify coherence within and between particle number sectors. For example, QCRTF can be formulated in such a way that neither Bose-Einstein condensates nor Heisenberg-Weyl coherent states are considered as quantum many-body coherence resources, whereas spin-squeezed and quadrature squeezed states are. The QCRTF framework is utilized to calculate the optimal asymptotic distillation rate of maximally correlated bosonic states both for particle number conserving resource states and resource states of indefinite particle number. In particular, we show how to generate a uniform superposition of maximally correlated bosonic states from a state of maximal bosonic coherence with asymptotically unit efficiency using only free operations in the QCRTF.


title: Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015)

abstract: XPath is a language for addressing parts of an XML document. We give an abstract interpretation of XPath expressions in terms of relations on document node types. Node-set-related XPath language constructs are mapped straightforwardly onto basic, well-understood and easily computable relational operations. Hence our interpretation gives both extremely concise type-level denotational semantics and a practical analysis tool for the node-set fragment of the XPath 1.0 language. This method is part of the TPath implementation of XPath. XSL-T is a pure functional language for transforming XML documents. For the most common case, the transformation into an XML document, type checking of the transformation code is unfeasible in general, but strongly required in practice. It turned out that the relational approach of TPath can be carried over to check all fragments of the result language, which are contained verbatim in the transformation code. This leads to a technique called "Fragmented Validation" and is part of the txsl implementation of XSL-T.


title: Towards robustness guarantees for feedback-based optimization

abstract: Feedback-based online optimization algorithms have gained traction in recent years because of their simple implementation, their ability to reject disturbances in real time, and their increased robustness to model mismatch. While the robustness properties have been observed both in simulation and experimental results, the theoretical analysis in the literature is mostly limited to nominal conditions. In this work, we propose a framework to systematically assess the robust stability of feedback-based online optimization algorithms. We leverage tools from monotone operator theory, variational inequalities and classical robust control to obtain tractable numerical tests that guarantee robust convergence properties of online algorithms in feedback with a physical system, even in the presence of disturbances and model uncertainty. The results are illustrated via an academic example and a case study of a power distribution system.


title: Gapped Continuum Kaluza-Klein spectrum

abstract: We consider a warped five-dimensional model with an ultraviolet (UV) brane and, on top of the Standard Model isolated modes, continua of KK modes with different mass gaps for all particles: gauge bosons, fermions, graviton, radion and Higgs boson. The model can be considered as a modelization in five dimensions of gapped unparticles. The five dimensional metric has a singularity, at a finite (infinite) value of the proper (conformal) coordinate, which is admissible as it supports finite temperature in the form of a black hole horizon. An infrared (IR) brane, with particular jumping conditions, is introduced to trigger correct electroweak breaking. The gravitational metric is AdS$_5$ near the UV brane, to solve the hierarchy problem with a fundamental Planck scale, and linear, in conformal coordinates, near the IR, as in the linear dilaton and five-dimensional clockwork models. The branes, and singularity, distances are fixed, \`a la Goldberger-Wise, by a bulk scalar field with brane potentials explicitly breaking the conformal symmetry. The bosonic continuum of KK modes with the smallest mass gap are those of gauge bosons, and so they are the most likely produced at the LHC. Mass gaps of the continuum of KK fermions do depend on their localization in the extra dimension. We have computed the spectral functions, and arbitrary Green's functions, and shown how they can modify some Standard Model processes.


title: Abstraction Refinement Algorithms for Timed Automata

abstract: We present abstraction-refinement algorithms for model checking safety properties of timed automata. The abstraction domain we consider abstracts away zones by restricting the set of clock constraints that can be used to define them, while the refinement procedure computes the set of constraints that must be taken into consideration in the abstraction so as to exclude a given spurious counterexample. We implement this idea in two ways: an enumerative algorithm where a lazy abstraction approach is adopted, meaning that possibly different abstract domains are assigned to each exploration node; and a symbolic algorithm where the abstract transition system is encoded with Boolean formulas.


title: Stratospheric Aerosol Injection as a Deep Reinforcement Learning Problem

abstract: As global greenhouse gas emissions continue to rise, the use of stratospheric aerosol injection (SAI), a form of solar geoengineering, is increasingly considered in order to artificially mitigate climate change effects. However, initial research in simulation suggests that naive SAI can have catastrophic regional consequences, which may induce serious geostrategic conflicts. Current geo-engineering research treats SAI control in low-dimensional approximation only. We suggest treating SAI as a high-dimensional control problem, with policies trained according to a context-sensitive reward function within the Deep Reinforcement Learning (DRL) paradigm. In order to facilitate training in simulation, we suggest to emulate HadCM3, a widely used General Circulation Model, using deep learning techniques. We believe this is the first application of DRL to the climate sciences.


title: A buffer-free concept bubble chamber for PICO dark matter searches

abstract: In this paper, we report on the successful operation at Drexel University of the PICO collaboration's first C$_3$F$_8$ buffer-free prototype fluorocarbon bubble chamber. Previous PICO bubble chambers have produced world-leading WIMP search results with fluorocarbon target fluids, separated from the steel bellows by a buffer layer of water. Surface tension effects at the jar walls and liquid-liquid interface lead to a class of background events which have nuclear-recoil-like acoustic signatures and thus contaminate the WIMP-like signal region in analysis. Thus new bubble chambers are to be constructed "right-side-up", meaning that the jar of C$_3$F$_8$ is above the bellows with no water inside the inner vessel. The Drexel Bubble Chamber (DBC), runs successfully at and below the nuclear recoil thresholds used by PICO for WIMP searches, including thresholds as low as 1.19 keV. We have demonstrated sensitivity to $^{137}$Cs gammas and spontaneous fission neutrons from $^{244}$Cm, and acoustic alpha discrimination is demonstrated to be possible although the observed rate of alpha decays is very low. Position reconstruction from stereoscopic imaging allows for basic analysis cuts for calibration data. The successful construction and operation of this prototype confirm the effectiveness of the right-side-up design, which will be used in future dark matter searches such as PICO-40L and PICO-500.


title: Feynman path-integral treatment of the Bose polaron beyond the Fr\"ohlich model

abstract: An impurity immersed in a Bose-Einstein condensate is no longer accurately described by the Fr\"ohlich Hamiltonian as the coupling between the impurity and the boson bath gets stronger. We study the dominant effects of the two-phonon terms beyond the Fr\"ohlich model on the ground-state properties of the polaron using Feynman's variational path-integral approach. The previously reported discrepancy in the effective mass between the renormalization group approach and this theory is shown to be absent in the beyond-Fr\"ohlich model on the positive side of the Feshbach resonance. Self-trapping, characterized by a sharp and dramatic increase of the effective mass, is no longer observed for the repulsive polaron once the two-phonon interactions are included. For the attractive polaron we find a divergence of the ground-state energy and effective mass at weaker couplings than previously observed within the Fr\"ohlich model.


title: A Case of Quantum Scattering

abstract: We analyze the results of an experimental setup that consist of two statistically independent laser beams that cross, interfere and end at detectors. At the beam intersection we place a thin wire at the center of a dark interference fringe and analyze the complementarity inequality. We find that the complementarity inequality is fulfilled provided we include a scattering interaction. We find that this interaction is implicit in the formalism of quantum theory; however, this interaction is active only when the conservation laws are satisfied.


title: Cleaned Similarity for Better Memory-Based Recommenders

abstract: Memory-based collaborative filtering methods like user or item k-nearest neighbors (kNN) are a simple yet effective solution to the recommendation problem. The backbone of these methods is the estimation of the empirical similarity between users/items. In this paper, we analyze the spectral properties of the Pearson and the cosine similarity estimators, and we use tools from random matrix theory to argue that they suffer from noise and eigenvalues spreading. We argue that, unlike the Pearson correlation, the cosine similarity naturally possesses the desirable property of eigenvalue shrinkage for large eigenvalues. However, due to its zero-mean assumption, it overestimates the largest eigenvalues. We quantify this overestimation and present a simple re-scaling and noise cleaning scheme. This results in better performance of the memory-based methods compared to their vanilla counterparts.


title: Towards a complete next-to-logarithmic description of forward exclusive diffractive dijet electroproduction at HERA: real corrections

abstract: We studied the $ep\rightarrow ep+2jets$ diffractive cross section with ZEUS phase space. Neglecting the $t$-channel momentum in the Born and gluon dipole impact factors, we calculated the corresponding contributions to the cross section differential in $\beta=\frac{Q^{2}}{Q^{2}+M_{2jets}^{2}}$ and the angle $\phi$ between the leptonic and hadronic planes. The gluon dipole contribution was obtained in the exclusive $k_{t}$-algorithm with the exclusive cut $y_{cut}=0.15$ in the small $y_{cut}$ approximation. In the collinear approximation we canceled singularities between real and virtual contributions to the $q\bar{q}$ dipole configuration, keeping the exact $y_{cut}$ dependency. We used the Golec-Biernat - W\"usthoff (GBW) parametrization for the dipole matrix element and linearized the double dipole contributions. The results give roughly $\frac{1}{2}$ of the observed cross section for small $\beta$ and coincides with it for large $\beta.$


title: The fusion of hard and soft Pomerons: 3-jet diffractive production

abstract: We consider the central exclusive production of high $E_T$ jets $pp\to p+(X+{\rm dijet})+p$. In particular we study the possible contamination of the purely exclusive signal by semi-exclusive production where no other secondaries are emitted in one hemisphere, between the highest $E_T$ dijet and the recoil proton, while in the other hemisphere a third jet, plus possibly additional hadron activity, is allowed, but still separated from the incoming proton by a large rapidity gap. This process arising from the fusion of a hard and a soft Pomeron has not been considered before. It turns out that it gives a negligible contribution. %contamination, which was not known before the calculation. The calculation involves a careful treatment of the QCD colour structure of the amplitudes.


title: Online Hyper-parameter Learning for Auto-Augmentation Strategy

abstract: Data augmentation is critical to the success of modern deep learning techniques. In this paper, we propose Online Hyper-parameter Learning for Auto-Augmentation (OHL-Auto-Aug), an economical solution that learns the augmentation policy distribution along with network training. Unlike previous methods on auto-augmentation that search augmentation strategies in an offline manner, our method formulates the augmentation policy as a parameterized probability distribution, thus allowing its parameters to be optimized jointly with network parameters. Our proposed OHL-Auto-Aug eliminates the need of re-training and dramatically reduces the cost of the overall search process, while establishes significantly accuracy improvements over baseline models. On both CIFAR-10 and ImageNet, our method achieves remarkable on search accuracy, 60x faster on CIFAR-10 and 24x faster on ImageNet, while maintaining competitive accuracies.


title: Multi-hop Reading Comprehension across Multiple Documents by Reasoning over Heterogeneous Graphs

abstract: Multi-hop reading comprehension (RC) across documents poses new challenge over single-document RC because it requires reasoning over multiple documents to reach the final answer. In this paper, we propose a new model to tackle the multi-hop RC problem. We introduce a heterogeneous graph with different types of nodes and edges, which is named as Heterogeneous Document-Entity (HDE) graph. The advantage of HDE graph is that it contains different granularity levels of information including candidates, documents and entities in specific document contexts. Our proposed model can do reasoning over the HDE graph with nodes representation initialized with co-attention and self-attention based context encoders. We employ Graph Neural Networks (GNN) based message passing algorithms to accumulate evidences on the proposed HDE graph. Evaluated on the blind test set of the Qangaroo WikiHop data set, our HDE graph based single model delivers competitive result, and the ensemble model achieves the state-of-the-art performance.


title: AM-LFS: AutoML for Loss Function Search

abstract: Designing an effective loss function plays an important role in visual analysis. Most existing loss function designs rely on hand-crafted heuristics that require domain experts to explore the large design space, which is usually sub-optimal and time-consuming. In this paper, we propose AutoML for Loss Function Search (AM-LFS) which leverages REINFORCE to search loss functions during the training process. The key contribution of this work is the design of search space which can guarantee the generalization and transferability on different vision tasks by including a bunch of existing prevailing loss functions in a unified formulation. We also propose an efficient optimization framework which can dynamically optimize the parameters of loss function's distribution during training. Extensive experimental results on four benchmark datasets show that, without any tricks, our method outperforms existing hand-crafted loss functions in various computer vision tasks.


title: Integer Discrete Flows and Lossless Compression

abstract: Lossless compression methods shorten the expected representation size of data without loss of information, using a statistical model. Flow-based models are attractive in this setting because they admit exact likelihood optimization, which is equivalent to minimizing the expected number of bits per message. However, conventional flows assume continuous data, which may lead to reconstruction errors when quantized for compression. For that reason, we introduce a flow-based generative model for ordinal discrete data called Integer Discrete Flow (IDF): a bijective integer map that can learn rich transformations on high-dimensional data. As building blocks for IDFs, we introduce a flexible transformation layer called integer discrete coupling. Our experiments show that IDFs are competitive with other flow-based generative models. Furthermore, we demonstrate that IDF based compression achieves state-of-the-art lossless compression rates on CIFAR10, ImageNet32, and ImageNet64. To the best of our knowledge, this is the first lossless compression method that uses invertible neural networks.


title: Solving Chance-Constrained Problems via a Smooth Sample-Based Nonlinear Approximation

abstract: We introduce a new method for solving nonlinear continuous optimization problems with chance constraints. Our method is based on a reformulation of the probabilistic constraint as a quantile function. The quantile function is approximated via a differentiable sample average approximation. We provide theoretical statistical guarantees of the approximation, and illustrate empirically that the reformulation can be directly used by standard nonlinear optimization solvers in the case of single chance constraints. Furthermore, we propose an S$\ell_1$QP-type trust-region method to solve instances with joint chance constraints. We demonstrate the performance of the method on several problems, and show that it scales well with the sample size and that the smoothing can be used to counteract the bias in the chance constraint approximation induced by the sample approximation.


title: Black hole shadow with a cosmological constant for cosmological observers

abstract: We investigate the effect of the cosmological constant on the angular size of a black hole shadow. It is known that the accelerated expansion which is created by the cosmological constant changes the angular size of the black hole shadow for static observers. However, the shadow size must be calculated for the appropriate cosmological observes. We calculate the angular size of the shadow measured by cosmological comoving observers by projecting the shadow angle to this observer rest frame. We show that the shadow size tends to zero as the observer approaches the cosmological horizon. We estimate the angular size of the shadow for a typical supermassive black hole, e.g M87. It is found that the angular size of the shadow for cosmological observers and static observers is approximately the same at these scales of mass and distance. We present a catalog of supermassive black holes and calculate the effect of the cosmological constant on their shadow size and find that the effect could be $3\; precent$ for distant known sources like the Phoenix Cluster supermassive black hole.