title: On a Fractional Version of a Murat Compactness Result and Applications

abstract: The paper provides an extension, to fractional order Sobolev spaces, of the classical result of Murat and Brezis which states that the positive cone of elements in $H^{-1}(\Omega)$ compactly embeds in $W^{-1,q}(\Omega)$, for every $q < 2$ and for any open and bounded set $\Omega$ with Lipschitz boundary. In particular, our proof contains the classical result. Several new analysis tools are developed during the course of the proof to our main result which are of wider interest. Subsequently, we apply our results to the convergence of convex sets and establish a fractional version of the Mosco convergence result of Boccardo and Murat. We conclude with an application of this result to quasi-variational inequalities.


title: Elusive Dzyaloshinskii-Moriya interaction in Fe$_3$GeTe$_2$ monolayer

abstract: Using symmetry analysis and density functional theory calculations, we uncover the nature of Dzyaloshinskii-Moriya interaction in Fe$_3$GeTe$_2$ monolayer. We show that while such an interaction might result in small distortion of the magnetic texture on the short range, on the longrange Dzyaloshinskii-Moriya interaction favors in-plane N\'eel spin-spirals along equivalent directions of the crystal structure. Whereas our results show that the observed N\'eel skyrmions cannot be explained by the Dzyaloshinskii-Moriya interaction at the monolayer level, they suggest that canted magnetic texture shall arise at the boundary of Fe$_3$GeTe$_2$ nanoflakes or nanoribbons and, most interestingly, that homochiral planar magnetic textures could be stabilized.


title: Erratum to "Interpolation and optimal hitting for complete minimal surfaces with finite total curvature"

abstract: We correct a mistake in the paper with the mentioned title and reference: Calc. Var. Partial Differential Equations 58 (2019), no. 1, 58:21. It corresponds with the preprint arXiv:1712.04727.


title: Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler

abstract: In this work, we apply anomaly detection to source code and bytecode to facilitate the development of a programming language and its compiler. We define anomaly as a code fragment that is different from typical code written in a particular programming language. Identifying such code fragments is beneficial to both language developers and end users, since anomalies may indicate potential issues with the compiler or with runtime performance. Moreover, anomalies could correspond to problems in language design. For this study, we choose Kotlin as the target programming language. We outline and discuss approaches to obtaining vector representations of source code and bytecode and to the detection of anomalies across vectorized code snippets. The paper presents a method that aims to detect two types of anomalies: syntax tree anomalies and so-called compiler-induced anomalies that arise only in the compiled bytecode. We describe several experiments that employ different combinations of vectorization and anomaly detection techniques and discuss types of detected anomalies and their usefulness for language developers. We demonstrate that the extracted anomalies and the underlying extraction technique provide additional value for language development.


title: Khovanov invariants via Fukaya categories: the tangle invariants agree

abstract: Given a pointed 4-ended tangle $T \subset D^3$, there are two Khovanov theoretic tangle invariants, $\unicode{1044}_1(T)$ from [arXiv:1910.1458] and $L_T$ from [arXiv:1808.06957], which are twisted complexes over the Fukaya category of the boundary 4-punctured sphere $(S^2,4\text{pt})=\partial (D^3, T)$. We prove that these two invariants are the same.


title: Towards full surface Brillouin zone mapping by coherent multi-photon photoemission

abstract: We report a novel approach for coherent multi-photon photoemission band mapping of the entire Brillouin zone with infrared light that is readily implemented in a laboratory setting. We excite a solid state material, Ag(110), with intense femtosecond laser pulses to excite higher-order multi-photon photoemission; angle-resolved electron spectroscopic acquisition records photoemission at large in-plane momenta involving optical transitions from the occupied to unoccupied bands of the sample that otherwise might remain hidden by the photoemission horizon. We propose this as a complementary ultrafast method to time- and angle-resolved two-color, e.g. infrared pump and extreme ultraviolet probe, photoemission spectroscopy, with the advantage of being able to measure and control the coherent electron dynamics.


title: Measuring the local Dark Matter density in the laboratory

abstract: Despite strong evidence for the existence of large amounts of dark matter (DM) in our Universe, there is no direct indication of its presence in our own solar system. All estimates of the local DM density rely on extrapolating results on much larger scales. We demonstrate for the first time the possibility of simultaneously measuring the local DM density and interaction cross-section with a direct detection experiment. It relies on the assumption that incoming DM particles frequently scatter on terrestrial nuclei prior to detection, inducing an additional time-dependence of the signal. We show that for sub-GeV DM, with a large spin-independent DM-proton cross section, future direct detection experiments should be able to reconstruct the local DM density with smaller than 50% uncertainty.


title: Fast Particle Acceleration at Perpendicular Shocks with Uniform Upstream Magnetic Field and Strong Downstream Turbulence

abstract: The shock waves produce relativistic particles via the diffusive shock acceleration (DSA) mechanism. Among various circumstances, fast acceleration has been expected for perpendicular shocks. We investigate the acceleration time and the energy spectrum of particles accelerated at a perpendicular shock. In our model, the upstream perpendicular magnetic field has no fluctuation, and the downstream region is highly turbulent. Then, the particle motion is the gyration in the upstream region and Bohm-like diffusion downstream. Under this situation, we derive an analytical form of the acceleration time. Using test particle simulations, the validity of our formula is verified. In addition, the energy spectrum of particles is the same as those predicted by standard DSA. Therefore, presently proposed mechanism simultaneously realizes the rapid acceleration and the canonical spectrum, $dN/dp \propto p^{-2}$, even if there is no upstream magnetic amplification.


title: Estimation and Uniform Inference in Sparse High-Dimensional Additive Models

abstract: We develop a novel method to construct uniformly valid confidence bands for a nonparametric component $f_1$ in the sparse additive model $Y=f_1(X_1)+\ldots + f_p(X_p) + \varepsilon$ in a high-dimensional setting. Our method integrates sieve estimation into a high-dimensional Z-estimation framework, facilitating the construction of uniformly valid confidence bands for the target component $f_1$. To form these confidence bands, we employ a multiplier bootstrap procedure. Additionally, we provide rates for the uniform lasso estimation in high dimensions, which may be of independent interest. Through simulation studies, we demonstrate that our proposed method delivers reliable results in terms of estimation and coverage, even in small samples.


title: How to build a cross-impact model from first principles: Theoretical requirements and empirical results

abstract: Trading a financial instrument pushes its price and those of other assets, a phenomenon known as cross-impact. To be of use, cross-impact models must fit data and be well-behaved so they can be applied in applications such as optimal trading. To address these issues, we introduce a set of desirable properties which constrain cross-impact models. We classify cross-impact models according to which properties they satisfy and stress them on three different asset classes to evaluate goodness-of-fit. We find that two models are robust across markets, but only one satisfies all desirable properties and is appropriate for applications.


title: Forward-looking persistent excitation in model predictive control

abstract: This work deals with the problem of simultaneous regulation and model parameter estimation in adaptive model predictive control. We propose an adaptive model predictive control and conditions which guarantee a persistently exciting closed loop sequence by only looking forward in time into the receding prediction horizon. Earlier works needed to look backwards and preserve prior regressor data. Instead, we present a procedure for the offline generation of a persistently exciting reference trajectory perturbing the equilibrium. With the new approach we demonstrate exponential convergence of nonlinear systems under the influence of the adaptive model predictive control combined with a recursive least squares identifier with forgetting factor despite bounded noise. The results are, at this stage, local in state and parameter-estimate space.


title: Microlocal approach to the Hausdorff dimension of measures

abstract: In this paper we study the dependence of geometric properties of Radon measures, such as Hausdorff dimension and rectifiability of singular sets, on the wavefront set. This is achieved by adapting the method of Brummelhuis to the non-analytic case. As an application we obtain a general form of uncertainty principle for measures on the complex sphere which subsumes certain classical results about pluriharmonic measures.


title: Entropy Stable Numerical Fluxes for Compressible Euler Equations which are Suitable for All Mach Numbers

abstract: We propose two novel two-state approximate Riemann solvers for the compressible Euler equations which are provably entropy dissipative and suitable for the simulation of low Mach numbers. What is new, is that one of our two methods in addition is provably kinetic energy stable. Both methods are based on the entropy satisfying and kinetic energy consistent methods of Chandrashekar (2013). The low Mach number compliance is achieved by rescaling some speed of sound terms in the diffusion matrix in the spirit of Li & Gu (2008). In numerical tests we demonstrate the low Mach number compliance and the entropy stability of the proposed fluxes.


title: Weighted Random Search for Hyperparameter Optimization

abstract: We introduce an improved version of Random Search (RS), used here for hyperparameter optimization of machine learning algorithms. Unlike the standard RS, which generates for each trial new values for all hyperparameters, we generate new values for each hyperparameter with a probability of change. The intuition behind our approach is that a value that already triggered a good result is a good candidate for the next step, and should be tested in new combinations of hyperparameter values. Within the same computational budget, our method yields better results than the standard RS. Our theoretical results prove this statement. We test our method on a variation of one of the most commonly used objective function for this class of problems (the Grievank function) and for the hyperparameter optimization of a deep learning CNN architecture. Our results can be generalized to any optimization problem defined on a discrete domain.


title: Point defect evolution under irradiation: finite size effects and spatio-temporal correlations

abstract: The evolution of point defect concentrations under irradiation is controlled by their diffusion properties, and by their formation and elimination mechanisms. The latter include the mutual recombination of vacancies and interstitials, and the elimination of point defects at sinks. We show here that the modelling of this evolution by means of atomistic kinetic Monte Carlo (AKMC) simulations, necessarily using small system sizes, introduces strong space and time correlations between the vacancies and interstitials, which may strongly affect the recombination rate and the point defect concentrations. In such situations, standard rate theory models fail to predict the actual point defect concentrations. The effect is especially strong when the elimination of point defects occurs only by recombination, but can still be significant in the presence of sinks. We propose a new Correlated Pair Theory that fully takes into account the correlations between vacancy and interstitial pairs and predicts point defect concentrations in good agreement with AKMC simulations, even in very small systems. The Correlated Pair Theory can be used to modify the elimination rates in AKMC simulations to yield point defect concentrations as predicted by the standard rate theory, i.e. representative of large systems, even when using small simulation boxes.


title: Towards empirical force fields that match experimental observables

abstract: Biomolecular force fields have been traditionally derived based on a mixture of reference quantum chemistry data and experimental information obtained on small fragments. However, the possibility to run extensive molecular dynamics simulations on larger systems achieving ergodic sampling is paving the way to directly using such simulations along with solution experiments obtained on macromolecular systems. Recently, a number of methods have been introduced to automatize this approach. Here we review these methods, highlight their relationship with machine learning methods, and discuss the open challenges in the field.

categories: physics.comp-ph cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: Evidence for nitrogen gas surface doping of the Bi$_2$Se$_3$ topological insulator

abstract: Using scanning tunneling spectroscopy we have studied the effects of nitrogen gas exposure on the bismuth selenide density of states. We observe a shift in the Dirac point which is qualitatively consistent with theoretical modeling of nitrogen binding to selenium vacancies. In carefully controlled measurements, Bi$_2$Se$_3$ crystals were initially cleaved in a helium gas environment and then exposed to a 22 SCFH flow of ultra-high purity N$_2$ gas. We observe a resulting change in the spectral curves, with the exposure effect saturating after approximately 50 minutes, ultimately bringing the Dirac point about 50 meV closer to the Fermi level. These results are compared to density functional theoretical calculations, which support a picture of $N_2$ molecules physisorbing near Se vacancies and dissociating into individual N atoms which then bind strongly to Se vacancies. In this interpretation, the binding of the N atom to a Se vacancy site removes the surface defect state created by the vacancy and changes the position of the Fermi energy with respect to the Dirac point.


title: Probing modified gravity theories and cosmology using gravitational-waves and associated electromagnetic counterparts

abstract: The direct detection of gravitational waves by the LIGO-Virgo collaboration has opened a new window with which to measure cosmological parameters such as the Hubble constant $H_0$, and also probe general relativity on large scales. In this paper we present a new phenomenological approach, together with its inferencial implementation, for measuring deviations from general relativity (GR) on cosmological scales concurrently with a determination of $H_0$. We consider gravitational waves (GWs) propagating in an expanding homogeneous and isotropic background, but with a modified friction term and dispersion relation relative to that of GR. We find that a single binary neutron star GW detection will poorly constrain the GW friction term. However, a joint analysis including the GW phase and GW-GRB detection delay could improve constraints on some GW dispersion relations provided the delay is measured with millisecond precision. We also show that, for massive gravity, by combining 100 binary neutron stars detections with observed electromagnetic counterparts and hosting galaxy identification, we will be able to constrain the Hubble constant, the GW damping term and the GW dispersion relation with 2\%, 15\% and 2 \% accuracy, respectively. We emphasise that these three parameters should be measured together in order avoid biases. Finally we apply the method to GW170817, and demonstrate that for all the GW dispersions relations we consider, including massive gravity, the GW must be emitted $\sim$ 1.74s before the Gamma-ray burst (GRB). Furthermore, at the GW merger peak frequency, we show that the fractional difference between the GW group velocity and $c$ is $\lesssim 10^{-17}$.


title: Stellar laboratories. X. New Cu IV - VII oscillator strengths and the first detection of copper and indium in hot white dwarfs

abstract: Accurate atomic data is an essential ingredient for the calculation of reliable non-local thermodynamic equilibrium (NLTE) model atmospheres that are mandatory for the spectral analysis of hot stars. We aim to search for and identify for the first time spectral lines of copper (atomic number Z = 29) and indium (Z = 49) in hot white dwarf (WD) stars and to subsequently determine their photospheric abundances. Oscillator strengths of Cu IV - VII were calculated to include radiative and collisional bound-bound transitions of Cu in our NLTE model-atmosphere calculations. Oscillator strengths of In IV - VI were compiled from the literature. We newly identified 1 Cu IV, 51 Cu V, 2 Cu VI, and 5 In Vlines in the ultraviolet (UV) spectrum of DO-type WD RE 0503-289. We determined the photospheric abundances of 9.3 X 10**-5 (mass fraction, 132 times solar) and 3.0 X 10**-5 (56 600 times solar), respectively; we also found Cu overabundances in the DA-type WD G191-B2B (6.3 X 10**-6, 9 times solar). All identified Cu IV - VI lines in the UV spectrum of RE 0503-289 were simultaneously well reproduced with our newly calculated oscillator strengths. With the detection of Cu and In in RE 0503-289, the total number of trans-iron elements (Z > 28) in this extraordinary WD reaches an unprecedented number of 18.


title: In Silico Screening of Some Naturally Occurring Bioactive Compounds Predicts Potential Inhibitors against SARS-COV-2 (COVID-19) Protease

abstract: SARS-COV-2 identified as COVID-19 in Wuhan city of China in the month of December, 2019 has now been declared as pandemic by World Health Organization whose transmission chain and cure both have emerged as a tough problem for the medical fraternity. The reports pertaining to the treatment of this pandemic are still lacking. We firmly believe that Nature itself provides a simple solution for any complicated problem created in it which motivated us to carry out In Silico investigations on some bioactive natural compounds reportedly found in the fruits and leaves of Anthocephalus Cadamba which is a miraculous plant found on the earth aiming to predict the potential inhibitors against aforesaid virus. Having modeled the ground state ligand structure of the such nine natural compounds applying density functional theory at B3LYP/631+G (d, p) level we have performed their molecular docking with SARS-COV-2 protease to calculate the binding affinity as well as to screen the binding at S-protein site during ligand-protein interactions. Out of these nine studied naturally occurring compounds; Oleanic Acid has been appeared to be potential inhibitor for COVID-19 followed by Ursolic Acid, IsoVallesiachotamine,Vallesiachotamine,Cadambine,Vincosamide-N-Oxide, Isodihydroamino-cadambine, Pentyle Ester of Chlorogenic Acid and D-Myo-Inositol. Hence these bioactive natural compounds or their structural analogs may be explored as anti-COVID19 drug agent which will be possessing the peculiar feature of cost-less synthesis and less or no side effect due to their natural occurrence. The solubility and solvent-effect related to the phytochemicals may be the point of concern. The In-vivo investigations on these proposed natural compounds or on their structural analogs are invited for designing and developing the potential medicine/vaccine for the treatment of COVID-19 pandemic.


title: High Bandwidth Memory on FPGAs: A Data Analytics Perspective

abstract: FPGA-based data processing in datacenters is increasing in popularity due to the demands of modern workloads and the ensuing necessity for specialization in hardware. Driven by this trend, vendors are rapidly adapting reconfigurable devices to suit data and compute intensive workloads. Inclusion of High Bandwidth Memory (HBM) in FPGA devices is a recent example. HBM promises overcoming the bandwidth bottleneck, faced often by FPGA-based accelerators due to their throughput oriented design. In this paper, we study the usage and benefits of HBM on FPGAs from a data analytics perspective. We consider three workloads that are often performed in analytics oriented databases and implement them on FPGA showing in which cases they benefit from HBM: range selection, hash join, and stochastic gradient descent for linear model training. We integrate our designs into a columnar database (MonetDB) and show the trade-offs arising from the integration related to data movement and partitioning. In certain cases, FPGA+HBM based solutions are able to surpass the highest performance provided by either a 2-socket POWER9 system or a 14-core XeonE5 by up to 1.8x (selection), 12.9x (join), and 3.2x (SGD).


title: User-Space Emulation Framework for Domain-Specific SoC Design

abstract: In this work, we propose a portable, Linux-based emulation framework to provide an ecosystem for hardware-software co-design of Domain-specific SoCs (DSSoCs) and enable their rapid evaluation during the pre-silicon design phase. This framework holistically targets three key challenges of DSSoC design: accelerator integration, resource management, and application development. We address these challenges via a flexible and lightweight user-space runtime environment that enables easy integration of new accelerators, scheduling heuristics, and user applications, and we illustrate the utility of each through various case studies. With signal processing (WiFi and RADAR) as the target domain, we use our framework to evaluate the performance of various dynamic workloads on hypothetical DSSoC hardware configurations composed of mixtures of CPU cores and FFT accelerators using a Zynq UltraScale+TM MPSoC. We show the portability of this framework by conducting a similar study on an Odroid platform composed of big.LITTLE ARM clusters. Finally, we introduce a prototype compilation toolchain that enables automatic mapping of unlabeled C code to DSSoC platforms. Taken together, this environment offers a unique ecosystem to rapidly perform functional verification and obtain performance and utilization estimates that help accelerate convergence towards a final DSSoC design.


title: Assessing Impact of Data Partitioning for Approximate Memory in C/C++ Code

abstract: Approximate memory is a technique to mitigate the performance gap between memory subsystems and CPUs with its reduced access latency at a cost of data integrity. To gain benefit from approximate memory for realistic applications, it is crucial to partition applications' data to approximate data and critical data and apply different error rates. However, error rates cannot be controlled in a fine-grained manner (e.g., per byte) due to fundamental limitations of how approximate memory can be realized. Due to this, if approximate data and critical data are interleaved in a data structure (e.g., a C struct that has a pointer and an approximatable number as its members), data partitioning may degrade the application's performance because the data structure must be split to separate memory regions that have different error rates. This paper is the first to conduct an analysis of realistic C/C++ code to assess the impact of this problem. First, we find the type of data (e.g., "int", "struct point") that is assessed by the instruction that incurs the largest number of cache misses in a benchmark, which we refer to as the target data type. Second, we qualitatively estimate if the target data type of an application has approximate data and critical data interleaved. To this end, we set up three criteria to analyze it because definitively distinguishing a piece of data as approximate data or critical data is infeasible since it depends on each use-case. We analyze 11 memory intensive benchmarks from SPEC CPU 2006 and 2 graph analytics frameworks, and show that the target data types of 9 benchmarks are either a C struct or a C++ class (criterion 1). Among them, two have a pointer and a non-pointer member together (criterion 2) and three have a floating point number and other members together (criterion 3).


title: Using Molecular Solids as Scaled-up Qubits

abstract: The scaled-up qubits proposed are molecules which display large amplitude motions at very low temperatures and the matrix that traps them. These comprise ionic solids such as ammonium tetraphenylborate (ATPB) or methane dilute in a xenon matrix. In this manner, an enormous number qubits are present from inception. Each kind of qubit has a multiplicity of transitions of interest which are observed (without the need of external fields, ultra-low temperatures or ultra-high vacuum conditions) using diverse well established experimental techniques at frequencies ranging from 10 to 3300 cm-1. Described in detail are the transitions in ATPB. These include: (i) the IR N-H asymmetric vibration of the ammonium ion qubit which nearly freely rotate about their C3 axes inside the tetraphenylborate matrix. This results in a multi-level vibration-orientation which exhibits multiple bands even at very low temperatures due to nuclear spin freezing between the first three orientation levels. Accessible tunneling frequencies between the orientation levels and the possibility to control inter-qubit distance make this qubit a strong candidate to generate concurrently large entanglement and stable superposition in diverse experimental set-ups; and (ii) the Raman allowed normal modes of the tetraphenylborate anion qubit. These are experimentally resolved from very low temperatures up to 300 K. Further qubit examples and transitions of interest are examined. Experimental setups with multi-crystal arrays, both in a given or several locations, become possible using this approach.


title: SNEAP: A Fast and Efficient Toolchain for Mapping Large-Scale Spiking Neural Network onto NoC-based Neuromorphic Platform

abstract: Spiking neural network (SNN), as the third generation of artificial neural networks, has been widely adopted in vision and audio tasks. Nowadays, many neuromorphic platforms support SNN simulation and adopt Network-on-Chips (NoC) architecture for multi-cores interconnection. However, interconnection brings huge area overhead to the platform. Moreover, run-time communication on the interconnection has a significant effect on the total power consumption and performance of the platform. In this paper, we propose a toolchain called SNEAP for mapping SNNs to neuromorphic platforms with multi-cores, which aims to reduce the energy and latency brought by spike communication on the interconnection. SNEAP includes two key steps: partitioning the SNN to reduce the spikes communicated between partitions, and mapping the partitions of SNN to the NoC to reduce average hop of spikes under the constraint of hardware resources. SNEAP can reduce more spikes communicated on the interconnection of NoC and spend less time than other toolchains in the partitioning phase. Moreover, the average hop of spikes is reduced more by SNEAP within a time period, which effectively reduces the energy and latency on the NoC-based neuromorphic platform. The experimental results show that SNEAP can achieve 418x reduction in end-to-end execution time, and reduce energy consumption and spike latency, on average, by 23% and 51% respectively, compared with SpiNeMap.


title: An Approach for Selecting Cloud Service Adequate to Big Data Case Study: E-health Context

abstract: The expanding Cloud computing's services offers great opportunities for consumers to find the best service and best cost. It offers a computing power and a storage space adapted especially for Big Data processing. However, it raises new challenges on how to select the best service out of the huge pool. It is time-consuming for consumers to collect the necessary information and analyze all service providers to make the right decision. Moreover, it'is a highly demanding task from a computational perspective, because the same computations may be conducted repeatedly by multiple consumers who have similar requirements. Therefore, in this paper, we propose an approach based on Analytic Hierarchy Process (AHP) method, which manages the selection of the Cloud Service adequate to Big Data based on its parameters and criteria. We applied this approach on a case study in order to validate its efficity. The studied case is about the selection of the adequate Cloud Service for Big Data in the context of National Health Service (NHS) of United Kingdom (UK).


title: A Quadratic Form Approach to Construction A of Lattices over Cyclic Algebras

abstract: We propose a construction of lattices from (skew-) polynomial codes, by endowing quotients of some ideals in both number fields and cyclic algebras with a suitable trace form. We give criteria for unimodularity. This yields integral and unimodular lattices with a multiplicative structure. Examples are provided.


title: ALP Search Using Precessing Light in a Magnetized Fabry Perot Cavity

abstract: In this paper we outline an experiment to detect the conversion of photons to axion-like particles (ALPs) in a strong magnetic field. We show that by modulating the polarization of the light passing through a Fabry-Perot cavity so that it effectively precesses at the modulation frequency, a signal is produced that is proportional to the square as opposed to the fourth power of the ALP-photon coupling constant. Assuming shot noise to be the dominant source of noise, we estimate that this approach is sensitive ALP masses less than $10^{-4} eV$ and couplings on the order to $g_{a\gamma}\sim 1.6\times 10^{-11} \text{GeV}^{-1}$ with a 10m, 10 T magnet, and $g_{a\gamma}\sim 1.6\times 10^{-12} \text{GeV}^{-1}$ with a 100 m magnet as envisaged by ALPs-IIc. ALPs with these properties have been invoked to explain the apparent transparency of the extragalactic background light (EBL) to ultra high-energy gamma rays emitted by BLAZARs.


title: Quantifying Data Augmentation for LiDAR based 3D Object Detection

abstract: In this work, we shed light on different data augmentation techniques commonly used in Light Detection and Ranging (LiDAR) based 3D Object Detection. For the bulk of our experiments, we utilize the well known PointPillars pipeline and the well established KITTI dataset. We investigate a variety of global and local augmentation techniques, where global augmentation techniques are applied to the entire point cloud of a scene and local augmentation techniques are only applied to points belonging to individual objects in the scene. Our findings show that both types of data augmentation can lead to performance increases, but it also turns out, that some augmentation techniques, such as individual object translation, for example, can be counterproductive and can hurt the overall performance. We show that these findings transfer and generalize well to other state of the art 3D Object Detection methods and the challenging STF dataset. On the KITTI dataset we can gain up to 1.5% and on the STF dataset up to 1.7% in 3D mAP on the moderate car class.


title: Time periodic solutions for 3D quasi-geostrophic model

abstract: This paper aims to study time periodic solutions for 3D inviscid quasi-geostrophic model. We show the existence of non trivial rotating patches by suitable perturbation of stationary solutions given by generic revolution shapes around the vertical axis. The construction of those special solutions are done through bifurcation theory. In general, the spectral problem is very delicate and strongly depends on the shape of the initial stationary solutions. More specifically, the spectral study can be related to an eigenvalue problem of a self-adjoint compact operator. We are able to implement the bifurcation only from the largest eigenvalues of the operator, which are simple. Additional difficulties generated by the singularities of the poles are solved through the use of suitable function spaces with Dirichlet boundary condition type and refined potential theory with anisotropic kernels.


title: Modeling the formation of the $^{13}$C neutron source in AGB stars

abstract: A major source of uncertainty in AGB models is the partial-mixing process of hydrogen, required for the formation of the so-called $^{13}$C pocket. Among the attempts to derive a self-consistent treatment of this physical process, there are 2D and 3D simulations of magnetic buoyancy. The $^{13}$C pocket resulting from mixing induced by magnetic buoyancy extends over a region larger than those so far assumed, showing an almost flat $^{13}$C distribution and a negligible amount of $^{14}$N. Recently, it has been proved to be a good candidate to match the records of isotopic abundance ratios of $s$-elements in presolar SiC grains. However, up to date such a magnetic mixing has been applied in post-process calculations only, being never implemented in a stellar evolutionary code. Here we present new stellar models, performed with the 1-d hydrostatic FUNS evolutionary code, which include magnetic buoyancy. We comment the resulting $s$-process distributions and show preliminary comparisons to spectroscopic observations and pre-solar grains measurements.


title: M2: Mixed Models with Preferences, Popularities and Transitions for Next-Basket Recommendation

abstract: Next-basket recommendation considers the problem of recommending a set of items into the next basket that users will purchase as a whole. In this paper, we develop a novel mixed model with preferences, popularities and transitions (M2) for the next-basket recommendation. This method models three important factors in next-basket generation process: 1) users' general preferences, 2) items' global popularities and 3) transition patterns among items. Unlike existing recurrent neural network-based approaches, M2 does not use the complicated networks to model the transitions among items, or generate embeddings for users. Instead, it has a simple encoder-decoder based approach (ed-Trans) to better model the transition patterns among items. We compared M2 with different combinations of the factors with 5 state-of-the-art next-basket recommendation methods on 4 public benchmark datasets in recommending the first, second and third next basket. Our experimental results demonstrate that M2 significantly outperforms the state-of-the-art methods on all the datasets in all the tasks, with an improvement of up to 22.1%. In addition, our ablation study demonstrates that the ed-Trans is more effective than recurrent neural networks in terms of the recommendation performance. We also have a thorough discussion on various experimental protocols and evaluation metrics for next-basket recommendation evaluation.


title: Analyzing autoencoder-based acoustic word embeddings

abstract: Recent studies have introduced methods for learning acoustic word embeddings (AWEs)---fixed-size vector representations of words which encode their acoustic features. Despite the widespread use of AWEs in speech processing research, they have only been evaluated quantitatively in their ability to discriminate between whole word tokens. To better understand the applications of AWEs in various downstream tasks and in cognitive modeling, we need to analyze the representation spaces of AWEs. Here we analyze basic properties of AWE spaces learned by a sequence-to-sequence encoder-decoder model in six typologically diverse languages. We first show that these AWEs preserve some information about words' absolute duration and speaker. At the same time, the representation space of these AWEs is organized such that the distance between words' embeddings increases with those words' phonetic dissimilarity. Finally, the AWEs exhibit a word onset bias, similar to patterns reported in various studies on human speech processing and lexical access. We argue this is a promising result and encourage further evaluation of AWEs as a potentially useful tool in cognitive science, which could provide a link between speech processing and lexical memory.


title: Deep Learning based detection of Acute Aortic Syndrome in contrast CT images

abstract: Acute aortic syndrome (AAS) is a group of life threatening conditions of the aorta. We have developed an end-to-end automatic approach to detect AAS in computed tomography (CT) images. Our approach consists of two steps. At first, we extract N cross sections along the segmented aorta centerline for each CT scan. These cross sections are stacked together to form a new volume which is then classified using two different classifiers, a 3D convolutional neural network (3D CNN) and a multiple instance learning (MIL). We trained, validated, and compared two models on 2291 contrast CT volumes. We tested on a set aside cohort of 230 normal and 50 positive CT volumes. Our models detected AAS with an Area under Receiver Operating Characteristic curve (AUC) of 0.965 and 0.985 using 3DCNN and MIL, respectively.


title: Conditional probability logic, lifted bayesian networks and almost sure quantifier elimination

abstract: We introduce a formal logical language, called conditional probability logic (CPL), which extends first-order logic and which can express probabilities, conditional probabilities and which can compare conditional probabilities. Intuitively speaking, although formal details are different, CPL can express the same kind of statements as some languages which have been considered in the artificial intelligence community. We also consider a way of making precise the notion of lifted Bayesian network, where this notion is a type of (lifted) probabilistic graphical model used in machine learning, data mining and artificial intelligence. A lifted Bayesian network (in the sense defined here) determines, in a natural way, a probability distribution on the set of all structures (in the sense of first-order logic) with a common finite domain $D$. Our main result is that for every "noncritical" CPL-formula $\varphi(\bar{x})$ there is a quantifier-free formula $\varphi^*(\bar{x})$ which is "almost surely" equivalent to $\varphi(\bar{x})$ as the cardinality of $D$ tends towards infinity. This is relevant for the problem of making probabilistic inferences on large domains $D$, because (a) the problem of evaluating, by "brute force", the probability of $\varphi(\bar{x})$ being true for some sequence $\bar{d}$ of elements from $D$ has, in general, (highly) exponential time complexity in the cardinality of $D$, and (b) the corresponding probability for the quantifier-free $\varphi^*(\bar{x})$ depends only on the lifted Bayesian network and not on $D$. The main result has two corollaries, one of which is a convergence law (and zero-one law) for noncritial CPL-formulas.


title: Hamilton-Jacobi approach for Regge-Teitelboim cosmology

abstract: The Hamilton-Jacobi formalism for a geodetic brane-like universe described by the Regge-Teitelboim model is developed. We focus on the description of the complete set of Hamiltonians that ensure the integrability of the model in addition to obtaining the Hamilton principal function $S$. In order to do this, we avoid the second-order in derivative nature of the model by appropriately defining a set of auxiliary variables that yields a first-order Lagrangian. Being a linear in acceleration theory, this scheme unavoidably needs an adequate redefinition of the so-called Generalized Poisson Bracket in order to achieve the right evolution in the reduced phase space. Further this Hamilton-Jacobi framework also enables us to explore the quantum behaviour under a semi-classical approximation of the model. A comparison with the Ostrogradski-Hamilton method for constrained systems is also provided in detail.


title: On the Structure of Stable Tournament Solutions

abstract: A fundamental property of choice functions is stability, which, loosely speaking, prescribes that choice sets are invariant under adding and removing unchosen alternatives. We provide several structural insights that improve our understanding of stable choice functions. In particular, (i) we show that every stable choice function is generated by a unique simple choice function, which never excludes more than one alternative, (ii) we completely characterize which simple choice functions give rise to stable choice functions, and (iii) we prove a strong relationship between stability and a new property of tournament solutions called local reversal symmetry. Based on these findings, we provide the first concrete tournament---consisting of 24 alternatives---in which the tournament equilibrium set fails to be stable. Furthermore, we prove that there is no more discriminating stable tournament solution than the bipartisan set and that the bipartisan set is the unique most discriminating tournament solution which satisfies standard properties proposed in the literature.


title: Visualization of Methods Changeability Based on VCS Data

abstract: Software engineers have a wide variety of tools and techniques that can help them improve the quality of their code, but still, a lot of bugs remain undetected. In this paper we build on the idea that if a particular fragment of code is changed too often, it could be caused by some technical or architectural issues, therefore, this fragment requires additional attention from developers. Most teams nowadays use version control systems to track changes in their code and organize cooperation between developers. We propose to use data from version control systems to track the number of changes for each method in a project for a selected time period and display this information within the IDE's code editor. The paper describes such a tool called Topias built as a plugin for IntelliJ IDEA. Its source code is available at https://github.com/JetBrains-Research/topias. A demonstration video can be found at https://www.youtube.com/watch?v=xsqc4gCTxfA.


title: Orthogonal Inductive Matrix Completion

abstract: We propose orthogonal inductive matrix completion (OMIC), an interpretable approach to matrix completion based on a sum of multiple orthonormal side information terms, together with nuclear-norm regularization. The approach allows us to inject prior knowledge about the singular vectors of the ground truth matrix. We optimize the approach by a provably converging algorithm, which optimizes all components of the model simultaneously. We study the generalization capabilities of our method in both the distribution-free setting and in the case where the sampling distribution admits uniform marginals, yielding learning guarantees that improve with the quality of the injected knowledge in both cases. As particular cases of our framework, we present models which can incorporate user and item biases or community information in a joint and additive fashion. We analyse the performance of OMIC on several synthetic and real datasets. On synthetic datasets with a sliding scale of user bias relevance, we show that OMIC better adapts to different regimes than other methods. On real-life datasets containing user/items recommendations and relevant side information, we find that OMIC surpasses the state-of-the-art, with the added benefit of greater interpretability.


title: Error Detection and Correction in Communication Networks

abstract: Let $G$ be a connected graph on $n$ vertices and $C$ be an $(n,k,d)$ code with $d\ge 2$, defined on the alphabet set $\{0,1\}^m$. Suppose that for $1\le i\le n$, the $i$-th vertex of $G$ holds an input symbol $x_i\in\{0,1\}^m$ and let $\vec{x}=(x_1,\ldots,x_n)\in\{0,1\}^{mn}$ be the input vector formed by those symbols. Assume that each vertex of $G$ can communicate with its neighbors by transmitting messages along the edges, and these vertices must decide deterministically, according to a predetermined communication protocol, that whether $\vec{x}\in C$. Then what is the minimum communication cost to solve this problem? Moreover, if $\vec{x}\not\in C$, say, there is less than $\lfloor(d-1)/2\rfloor$ input errors among the $x_i$'s, then what is the minimum communication cost for error correction? In this paper we initiate the study of the two problems mentioned above. For the error detection problem, we obtain two lower bounds on the communication cost as functions of $n,k,d,m$, and our bounds are tight for several graphs and codes. For the error correction problem, we design a protocol which can efficiently correct a single input error when $G$ is a cycle and $C$ is a repetition code. We also present several interesting problems for further research.


title: Aligned Cross Entropy for Non-Autoregressive Machine Translation

abstract: Non-autoregressive machine translation models significantly speed up decoding by allowing for parallel prediction of the entire target sequence. However, modeling word order is more challenging due to the lack of autoregressive factors in the model. This difficultly is compounded during training with cross entropy loss, which can highly penalize small shifts in word order. In this paper, we propose aligned cross entropy (AXE) as an alternative loss function for training of non-autoregressive models. AXE uses a differentiable dynamic program to assign loss based on the best possible monotonic alignment between target tokens and model predictions. AXE-based training of conditional masked language models (CMLMs) substantially improves performance on major WMT benchmarks, while setting a new state of the art for non-autoregressive models.


title: Benchmarking Deep Spiking Neural Networks on Neuromorphic Hardware

abstract: With more and more event-based neuromorphic hardware systems being developed at universities and in industry, there is a growing need for assessing their performance with domain specific measures. In this work, we use the methodology of converting pre-trained non-spiking to spiking neural networks to evaluate the performance loss and measure the energy-per-inference for three neuromorphic hardware systems (BrainScaleS, Spikey, SpiNNaker) and common simulation frameworks for CPU (NEST) and CPU/GPU (GeNN). For analog hardware we further apply a re-training technique known as hardware-in-the-loop training to cope with device mismatch. This analysis is performed for five different networks, including three networks that have been found by an automated optimization with a neural architecture search framework. We demonstrate that the conversion loss is usually below one percent for digital implementations, and moderately higher for analog systems with the benefit of much lower energy-per-inference costs.


title: Cutoff dependence of the thrust peak position in the dipole shower

abstract: We analyse the dependence of the peak position of the thrust distribution on the cutoff value in the Nagy-Soper dipole shower. We compare the outcome of the parton shower simulations to a relation of the dependence from an analytic computation, derived within soft-collinear effective theory. We show that the result of the parton shower simulations and the analytic computation are in good agreement.


title: PointGroup: Dual-Set Point Grouping for 3D Instance Segmentation

abstract: Instance segmentation is an important task for scene understanding. Compared to the fully-developed 2D, 3D instance segmentation for point clouds have much room to improve. In this paper, we present PointGroup, a new end-to-end bottom-up architecture, specifically focused on better grouping the points by exploring the void space between objects. We design a two-branch network to extract point features and predict semantic labels and offsets, for shifting each point towards its respective instance centroid. A clustering component is followed to utilize both the original and offset-shifted point coordinate sets, taking advantage of their complementary strength. Further, we formulate the ScoreNet to evaluate the candidate instances, followed by the Non-Maximum Suppression (NMS) to remove duplicates. We conduct extensive experiments on two challenging datasets, ScanNet v2 and S3DIS, on which our method achieves the highest performance, 63.6% and 64.0%, compared to 54.9% and 54.4% achieved by former best solutions in terms of mAP with IoU threshold 0.5.


title: Card shuffling and $P$-partitions

abstract: In this expository article, we highlight the direct connection between card shuffling and the functions known as $P$-partitions that come from algebraic combinatorics. While many (but not all) of the results we discuss are known, we give a unified treatment. The key idea is this: the probability of obtaining a permutation $\pi$ from shelf shuffling is the probability that a random $P$-partition is sorted by $\pi$, and the probability of obtaining $\pi$ from riffle shuffling is the probability that a random $P$-partition is sorted by $\pi^{-1}$.


title: Global well-posedness of Master equations for deterministic displacement convex potential mean field games

abstract: This manuscript constructs global in time solutions to the $master\ equations$ for potential Mean Field Games. The study concerns a class of Lagrangians and initial data functions, which are $displacement\ convex$ and so, it may be in dichotomy with the class of so--called $monotone$ functions, widely considered in the literature. We construct solutions to both the scalar and vectorial master equations in potential Mean Field Games, when the underlying space is the whole space $\mathbb{R}^d$ and so, it is not compact.


title: Intrinsic Point Cloud Interpolation via Dual Latent Space Navigation

abstract: We present a learning-based method for interpolating and manipulating 3D shapes represented as point clouds, that is explicitly designed to preserve intrinsic shape properties. Our approach is based on constructing a dual encoding space that enables shape synthesis and, at the same time, provides links to the intrinsic shape information, which is typically not available on point cloud data. Our method works in a single pass and avoids expensive optimization, employed by existing techniques. Furthermore, the strong regularization provided by our dual latent space approach also helps to improve shape recovery in challenging settings from noisy point clouds across different datasets. Extensive experiments show that our method results in more realistic and smoother interpolations compared to baselines.


title: Thin Accretion Disk around a four-dimensional Einstein-Gauss-Bonnet Black Hole

abstract: Recently a novel four-dimensional Einstein-Gauss-Bonnet (4EGB) theory of gravity was proposed by Glavan and Lin [D. Glavan and C. Lin, Phys. Rev. Lett. 124, 081301 (2020)] which includes a regularized Gauss-Bonnet term by using the re-scaling of the Gauss-Bonnet coupling constant $\alpha \to \alpha/(D-4)$ in the limit $D\to 4$. This theory also has been reformulated to a specific class of the Horndeski theory with an additional scalar degree of freedom and to a spatial covariant version with a Lagrangian multiplier that can eliminate the scalar mode. Here we study the physical properties of the electromagnetic radiation emitted from a thin accretion disk around the static spherically symmetric black hole in the 4EGB gravity. For this purpose, we assume the disk is in a steady-state and in hydrodynamic and thermodynamic equilibrium so that the emitted electromagnetic radiation is a black body spectrum. We study in detail the effects of the Gauss-Bonnet coupling constant $\alpha$ in 4EGB gravity on the energy flux, temperature distribution, and electromagnetic spectrum of the disk. It is shown that with the increases of the parameter $\alpha$, the energy flux, temperature distribution, and electromagnetic spectrum of the accretion disk all increase. Besides, we also show that the accretion efficiency increases as the growth of the parameter $\alpha$. Our results indicate that the thin accretion disk around the static spherically symmetric black hole in the 4EGB gravity is hotter, more luminosity, and more efficient than that around a Schwarzschild black hole with the same mass for a positive $\alpha$, while it is cooler, less luminosity, and less efficient for a negative $\alpha$.


title: Analytic double-soft integrated subtraction terms for two massive emitters in a back-to-back kinematics

abstract: We consider the double-soft limit of QCD amplitudes with two massive quarks in a back-to-back kinematics accompanied by two soft partons. We integrate analytically the respective double-soft eikonal functions over the phase space of the two soft partons. Within the context of the nested soft-collinear subtraction scheme, our results may serve as one of the integrated subtraction terms needed for the analytic and fully-differential description of next-to-next-to-leading order (NNLO) QCD corrections to colour-singlet decay into massive partons or to heavy-quark pair production.


title: A sharp version of Price's law for wave decay on asymptotically flat spacetimes

abstract: We prove Price's law with an explicit leading order term for solutions $\phi(t,x)$ of the scalar wave equation on a class of stationary asymptotically flat $(3+1)$-dimensional spacetimes including subextremal Kerr black holes. Our precise asymptotics in the full forward causal cone imply in particular that $\phi(t,x)=c t^{-3}+\mathcal O(t^{-4+})$ for bounded $|x|$, where $c\in\mathbb C$ is an explicit constant. This decay also holds along the event horizon on Kerr spacetimes and thus renders a result by Luk-Sbierski on the linear scalar instability of the Cauchy horizon unconditional. We moreover prove inverse quadratic decay of the radiation field, with explicit leading order term. We establish analogous results for scattering by stationary potentials with inverse cubic spatial decay. On the Schwarzschild spacetime, we prove pointwise $t^{-2 l-3}$ decay for waves with angular frequency at least $l$, and $t^{-2 l-4}$ decay for waves which are in addition initially static. This definitively settles Price's law for linear scalar waves in full generality. The heart of the proof is the analysis of the resolvent at low energies. Rather than constructing its Schwartz kernel explicitly, we proceed more directly using the geometric microlocal approach to the limiting absorption principle pioneered by Melrose and recently extended to the zero energy limit by Vasy.


title: Present and future frameworks of theoretical neuroscience: outcomes of a community discussion

abstract: We organized a workshop on the "Present and Future Frameworks of Theoretical Neuroscience", with the support of the National Science Foundation. The objective was to identify the challenges and strategies that this field will need to tackle in order to incorporate vast and multi-scale streams of experimental data from the technologies developed by the BRAIN initiative. The participants, divided in workgroups, identified five key areas that, while not exhaustive, cover multiple aspects of current challenges needed to be developed: Dynamics-statistics; multi-scale integration; coding; brain-body integration; and structure of neuroscience theories. While each area is different, there were coincidences on finding theoretical paths to incorporate biophysics, energetics, and ethology with more abstract coding and computational approaches. Each workgroup has continued to work after the meeting to develop the ideas seeded there, which are started to being published. Here, we provide a perspective of the discussions of each workgroup that point to building on the present foundations of theoretical neuroscience and extend them by incorporating multi-scale information with the objective of providing mechanistic insights into the nervous system.


title: Post-Limber Weak Lensing Bispectrum, Reduced Shear Correction, and Magnification Bias Correction

abstract: The significant increase in precision that will be achieved by Stage IV cosmic shear surveys means that several currently used theoretical approximations may cease to be valid. An additional layer of complexity arises from the fact that many of these approximations are interdependent; the procedure to correct for one involves making another. Two such approximations that must be relaxed for upcoming experiments are the reduced shear approximation and the effect of neglecting magnification bias. Accomplishing this involves the calculation of the convergence bispectrum; typically subject to the Limber approximation. In this work, we compute the post-Limber convergence bispectrum, and the post-Limber reduced shear and magnification bias corrections to the angular power spectrum for a Euclid-like survey. We find that the Limber approximation significantly overestimates the bispectrum when any side of the bispectrum triangle, $\ell_i<60$. However, the resulting changes in the reduced shear and magnification bias corrections are well below the sample variance for $\ell\leq5000$. We also compute a worst-case scenario for the additional biases on $w_0w_a$CDM cosmological parameters that result from the difference between the post-Limber and Limber approximated forms of the corrections. These further demonstrate that the reduced shear and magnification bias corrections can safely be treated under the Limber approximation for upcoming surveys.


title: Unveiling the complete dispersion of the giant Rashba split surface states of ferroelectric $\alpha$-GeTe(111) by alkali doping

abstract: $\alpha$-GeTe(111) is a non-centrosymmetric ferroelectric material, for which a strong spin-orbit interaction gives rise to giant Rashba split states in the bulk and at the surface. The detailed dispersions of the surface states inside the bulk band gap remains an open question because they are located in the unoccupied part of the electronic structure, making them inaccessible to static angle-resolved photoemission spectroscopy. We show that this difficulty can be overcome via in-situ potassium doping of the surface, leading to a rigid shift of 80 meV of the surface states into the occupied states. Thus, we resolve in great detail their dispersion and highlight their crossing at the $\bar{\Gamma}$ point, which, in comparison with density functional theory calculations, definitively confirms the Rashba mechanism.


title: Relative Error Streaming Quantiles

abstract: Estimating ranks, quantiles, and distributions over streaming data is a central task in data analysis and monitoring. Given a stream of $n$ items from a data universe equipped with a total order, the task is to compute a sketch (data structure) of size polylogarithmic in $n$. Given the sketch and a query item $y$, one should be able to approximate its rank in the stream, i.e., the number of stream elements smaller than or equal to $y$. Most works to date focused on additive $\varepsilon n$ error approximation, culminating in the KLL sketch that achieved optimal asymptotic behavior. This paper investigates multiplicative $(1\pm\varepsilon)$-error approximations to the rank. Practical motivation for multiplicative error stems from demands to understand the tails of distributions, and hence for sketches to be more accurate near extreme values. The most space-efficient algorithms due to prior work store either $O(\log(\varepsilon^2 n)/\varepsilon^2)$ or $O(\log^3(\varepsilon n)/\varepsilon)$ universe items. We present a randomized sketch storing $O(\log^{1.5}(\varepsilon n)/\varepsilon)$ items that can $(1\pm\varepsilon)$-approximate the rank of each universe item with high constant probability; this space bound is within an $O(\sqrt{\log(\varepsilon n)})$ factor of optimal. Our algorithm does not require prior knowledge of the stream length and is fully mergeable, rendering it suitable for parallel and distributed computing environments.


title: How to suppress exponential growth -- on the parametric resonance of photons in an axion background

abstract: Axion--photon interactions can lead to an enhancement of the electromagnetic field by parametric resonance in the presence of a cold axion background, for modes with a frequency close to half the axion mass. In this paper, we study the role of the axion momentum dispersion as well as the effects of a background gravitational potential, which can detune the resonance due to gravitational redshift. We show, by analytical as well as numerical calculations, that the resonance leads to an exponential growth of the photon field only if (a) the axion momentum spread is smaller than the inverse resonance length, and (b) the gravitational detuning distance is longer than the resonance length. For realistic parameter values, both effects strongly suppress the resonance and prevent the exponential growth of the photon field. In particular, the redshift due to the gravitational potential of our galaxy prevents the resonance from developing for photons in the observable frequency range, even assuming that all the dark matter consists of a perfectly cold axion condensate. For axion clumps with masses below $\sim 10^{-13}\, M_\odot$, the momentum spread condition is more restrictive, whereas, for more massive clumps, the redshift condition dominates.


title: Directions in Abusive Language Training Data: Garbage In, Garbage Out

abstract: Data-driven analysis and detection of abusive online content covers many different tasks, phenomena, contexts, and methodologies. This paper systematically reviews abusive language dataset creation and content in conjunction with an open website for cataloguing abusive language data. This collection of knowledge leads to a synthesis providing evidence-based recommendations for practitioners working with this complex and highly diverse data.


title: Space-like dynamics in a reversible cellular automaton

abstract: In this paper we study the space evolution in the Rule 54 reversible cellular automaton, which is a paradigmatic example of a deterministic interacting lattice gas. We show that the spatial translation of time configurations of the automaton is given in terms of local deterministic maps with the support that is small but bigger than that of the time evolution. The model is thus an example of space-time dual reversible cellular automaton, i.e. its dual is also (in general different) reversible cellular automaton. We provide two equivalent interpretations of the result; the first one relies on the dynamics of quasi-particles and follows from an exhaustive check of all the relevant time configurations, while the second one relies on purely algebraic considerations based on the circuit representation of the dynamics. Additionally, we use the properties of the local space evolution maps to provide an alternative derivation of the matrix product representation of multi-time correlation functions of local observables positioned at the same spatial coordinate.


title: Excitation of plasma wakefields by intense ultra-relativistic proton beam

abstract: We report here an exact analytical travelling wave solution for nonlinear electron plasma wave excited by an intense ultra-relativistic proton beam. It brings out the underlying physics of longitudinal electric field characteristics of the excited wake wave formed behind the drive beam. The results are further supplemented by a fully relativistic particle in cell (PIC) code OSIRIS in 2D geometry. The plasma and beam parameters in the simulation are chosen in conformity with experimental work and it provides us the anticipated axial and transverse electric field profiles. The investigation is further extended by providing an analytical description of the wake wave excited by equi-spaced train of small proton bunches with the inclusion of the non-relativistic plasma ion dynamics. Our results show that the amplitude of the wake field does not grow indefinitely with the increase in the number of proton bunches. On the contrary, it saturates to a definitive limit.


title: S2DNet: Learning Accurate Correspondences for Sparse-to-Dense Feature Matching

abstract: Establishing robust and accurate correspondences is a fundamental backbone to many computer vision algorithms. While recent learning-based feature matching methods have shown promising results in providing robust correspondences under challenging conditions, they are often limited in terms of precision. In this paper, we introduce S2DNet, a novel feature matching pipeline, designed and trained to efficiently establish both robust and accurate correspondences. By leveraging a sparse-to-dense matching paradigm, we cast the correspondence learning problem as a supervised classification task to learn to output highly peaked correspondence maps. We show that S2DNet achieves state-of-the-art results on the HPatches benchmark, as well as on several long-term visual localization datasets.


title: On The Model Of Hyperrational Numbers With Selective Ultrafilter

abstract: In standard construction of hyperrational numbers using an ultrapower we assume that the ultrafilter is selective. It makes possible to assign real value to any finite hyperrational number. So, we can consider hyperrational numbers with selective ultrafilter as extension of traditional real numbers. Also proved the existence of strictly monotonic or stationary representing sequence for any hyperrational number.


title: Hasse Diagrams for $\mathbf{3d}$ $\mathbf{\mathcal{N}=4}$ Quiver Gauge Theories -- Inversion and the full Moduli Space

abstract: We study Hasse diagrams of moduli spaces of $\mathrm{3d}$ $\mathcal{N}=4$ quiver gauge theories. The goal of this work is twofold: 1) We introduce the notion of inverting a Hasse diagram and conjecture that the Coulomb branch and Higgs branch Hasse diagrams of certain theories are related through this operation. 2) We introduce a Hasse diagram to map out the entire moduli space of the theory, including the Coulomb, Higgs and mixed branches. For theories whose Higgs and Coulomb branch Hasse diagrams are related by inversion it is straight forward to generate the Hasse diagram of the entire moduli space. We apply inversion of the Higgs branch Hasse diagram in order to obtain the Coulomb branch Hasse diagram for bad theories and obtain results consistent with the literature. For theories whose Higgs and Coulomb branch Hasse diagrams are not related by inversion it is nevertheless possible to produce the Hasse diagram of the full moduli space using different methods. We give examples for Hasse diagrams of the entire moduli space of theories with \emph{enhanced} Coulomb branches.


title: Dependence of kinetic plasma waves on ion-to-electron mass ratio and light-to-Alfv\'en speed ratio

abstract: The magnetization $|\Omega_{\mathrm e}|/\omega_{\mathrm{e}}$ is an important parameter in plasma astrophysics, where $\Omega_{\mathrm e}$ and $\omega_{\mathrm{e}}$ are the electron gyro-frequency and electron plasma frequency, respectively. It only depends on the mass ratio $m_{\mathrm i}/m_{\mathrm e}$ and the light-to-Alfv\'en speed ratio $c/v_{\mathrm{Ai}}$, where $m_{\mathrm i}$ ($m_{\mathrm e}$) is the ion (electron) mass, $c$ is the speed of light, and $v_{\mathrm{Ai}}$ is the ion Alfv\'en speed. Nonlinear numerical plasma models such as particle-in-cell simulations must often assume unrealistic values for $m_{\mathrm i}/m_{\mathrm e}$ and for $c/v_{\mathrm{Ai}}$. Because linear theory yields exact results for parametric scalings of wave properties at small amplitudes, we use linear theory to investigate the dispersion relations of Alfv\'en/ion-cyclotron and fast-magnetosonic/whistler waves as prime examples for collective plasma behaviour depending on $m_{\mathrm i}/m_{\mathrm e}$ and $c/v_{\mathrm{Ai}}$. We analyse their dependence on $m_{\mathrm i}/m_{\mathrm e}$ and $c/v_{\mathrm{Ai}}$ in quasi-parallel and quasi-perpendicular directions of propagation with respect to the background magnetic field for a plasma with $\beta_j\sim1$, where $\beta_j$ is the ratio of the thermal to magnetic pressure for species $j$. Although their dispersion relations are largely independent of $c/v_{\mathrm{Ai}}$ for $c/v_{\mathrm{Ai}}\gtrsim 10$, the mass ratio $m_{\mathrm i}/m_{\mathrm e}$ has a strong effect at scales smaller than the ion inertial length. Moreover, we study the impact of relativistic electron effects on the dispersion relations. Based on our results, we recommend aiming for a more realistic value of $m_{\mathrm i}/m_{\mathrm e}$ than for a more realistic value of $c/v_{\mathrm{Ai}}$ in non-relativistic plasma simulations if such a choice is necessary, although $\dots$


title: Generalization of Kimberling's concept of triangle center for other polygons

abstract: In this article we introduce a general definition of the concept of center of an $n$-gon, for $n\geq 3$, generalizing the idea of C. Kimberling for triangle. We define centers associated to functions instead of to geometrical properties. We discuss the definition of those functions depending on both, the vertices of the polygons or the lengths of sides and diagonals. We explore the problem of characterization of regular polygons in terms of these $n$-gon center functions and we study the relation between our general definition of center of a polygon and other approaches arising from Applied Mathematics.


title: Search for Higgs boson decays into a $Z$ boson and a light hadronically decaying resonance using 13 TeV $pp$ collision data from the ATLAS detector

abstract: A search for Higgs boson decays into a $Z$ boson and a light resonance in two-lepton plus jet events is performed, using a $pp$ collision dataset with an integrated luminosity of 139 fb$^{-1}$ collected at $\sqrt{s}=13$ TeV by the ATLAS experiment at the CERN LHC. The resonance considered is a light boson with a mass below 4 GeV from a possible extended scalar sector, or a charmonium state. Multivariate discriminants are used for the event selection and for evaluating the mass of the light resonance. No excess of events above the expected background is found. Observed (expected) 95$\% $ confidence-level upper limits are set on the Higgs boson production cross section times branching fraction to a $Z$ boson and the signal resonance, with values in the range 17 pb to 340 pb ($16^{+6}_{-5}$ pb to $320^{+130}_{-90}$ pb) for the different light spin-0 boson mass and branching fraction hypotheses, and with values of 110 pb and 100 pb ($100^{+40}_{-30}$ pb and $100^{+40}_{-30}$ pb) for the $\eta_c$ and $J/\psi$ hypotheses, respectively.


title: Nonconvex interactions in mean-field spin glasses

abstract: We propose a conjecture for the limit of mean-field spin glasses with a bipartite structure, and show that the conjectured limit is an upper bound. The conjectured limit is described in terms of the solution of an infinite-dimensional Hamilton-Jacobi equation. A fundamental difficulty of the problem is that the nonlinearity in this equation is not convex. We also question the possibility to characterize this conjectured limit in terms of a saddle-point problem.


title: The data-driven physical-based equations discovery using evolutionary approach

abstract: The modern machine learning methods allow one to obtain the data-driven models in various ways. However, the more complex the model is, the harder it is to interpret. In the paper, we describe the algorithm for the mathematical equations discovery from the given observations data. The algorithm combines genetic programming with the sparse regression. This algorithm allows obtaining different forms of the resulting models. As an example, it could be used for governing analytical equation discovery as well as for partial differential equations (PDE) discovery. The main idea is to collect a bag of the building blocks (it may be simple functions or their derivatives of arbitrary order) and consequently take them from the bag to create combinations, which will represent terms of the final equation. The selected terms pass to the evolutionary algorithm, which is used to evolve the selection. The evolutionary steps are combined with the sparse regression to pick only the significant terms. As a result, we obtain a short and interpretable expression that describes the physical process that lies beyond the data. In the paper, two examples of the algorithm application are described: the PDE discovery for the metocean processes and the function discovery for the acoustics.


title: Scalarized compact objects in a vector-tensor Horndeski gravity

abstract: We have discovered a new type of scalarized charged black holes in a surprisingly simple system: an Einstein-Maxwell-Klein-Gordon field theory where the three fields couple non-minimally through a Horndeski vector-tensor term. In addition to hairy charged black holes, this system exhibits Horndeski-Reissner-Nordstrom solutions and ordinary Reissner-Nordstrom ones which bifurcate to the scalarized solutions. There exist also vector-tensor black hole solutions which possess central curvature singularities although their metric components are finite there, and also solutions with naked singularities producing regular metric components everywhere around them. We analyze the solutions and present their main features.


title: Transmission Helium Ion Microscopy of Graphene

abstract: We compare transmission He ion microscopy (HIM) to transmission electron microscopy (TEM) of graphene support films. We present spot transmission patterns that compare with scattering and range of ions in materials (SRIM) predictions, and show examples of scanning He$^+$ transmission images, based on integrated camera intensity. We also consider the potential for coherent HIM scattering.


title: Interpreted Programming Language Extension for 3D Render on the Web

abstract: There are tools to ease the 2D/3D graphics development for programmers. Sometimes, these are not directly accessible for all users requiring commercial licenses or based on trials, or long learning periods before to use them. In the modern world, the time to release final programs is crucial for the company successfully, also for saving money. Then, if programmers can handle tools to minimize the development time using well-known programming languages, they can deliver final programs on time, with minimum effort. This concept is the goal of this paper, offering a tool to create 3D renders over a familiarize programming language to speed up the web development time process. We present an extension of an interpreted programming language with an easy syntax to display 3D graphics on the web generating a template in a well-known web programming language, which can be customized and extended. Our proposal is based on Lua programming language as the input language for programmers, offering a web editor which interprets its syntax and exporting templates in WebGL over Javascript, also getting immediate output in a web browser. Tests show the effectiveness of our approach focus on the written code lines, also getting the expected output using a few computational resources.


title: A Note on Double Pooling Tests

abstract: We present double pooling, a simple, easy-to-implement variation on test pooling, that in certain ranges for the a priori probability of a positive test, is significantly more efficient than the standard single pooling approach (the Dorfman method).


title: Uncertain Multi-Agent Systems with Distributed Constrained Optimization Missions and Event-Triggered Communications: Application to Resource Allocation

abstract: This paper deals with solving distributed optimization problems with equality constraints by a class of uncertain nonlinear heterogeneous dynamic multi-agent systems. It is assumed that each agent with an uncertain dynamic model has limited information about the main problem and limited access to the information of the state variables of the other agents. A distributed algorithm that guarantees cooperative solving of the constrained optimization problem by the agents is proposed. Via this algorithm, the agents do not need to continuously broadcast their data. It is shown that the proposed algorithm can be useful in solving resource allocation problems.


title: Remarks on computing Green functions

abstract: We describe the computation of generalized Green functions and 2-parameter Green functions for finite reductive groups.


title: Parton Distribution Functions from Ioffe Time Pseudodistributions from Lattice Calculations: Approaching the Physical Point

abstract: We present results for the unpolarized parton distribution function of the nucleon computed in lattice QCD at the physical pion mass. This is the first study of its kind employing the method of Ioffe time pseudo-distributions. Beyond the reconstruction of the Bjorken-$x$ dependence we also extract the lowest moments of the distribution function using the small Ioffe time expansion of the Ioffe time pseudo-distribution. We compare our findings with the pertinent phenomenological determinations.


title: A convenient category of locally stratified spaces

abstract: In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian closed category of locally stratified spaces that admits an adjunction with the category of simplicial sets. Moreover, we show that the full subcategory spanned by locally stratified spaces whose associated simplicial set is a quasicategory has the structure of a category with fibrant objects. We define the fundamental category of a locally stratified space and show that the canonical functor from the fundamental category of a simplicial set to the fundamental category of its realisation is essentially surjective. We show that such a functor sends split monomorphisms to isomorphisms, in particular we show that it is not necessarily an equivalence of categories. On the other hand, we show that the fundamental category of the realisation of the simplicial circle is equivalent to the monoid of the natural numbers. To conclude, we define left covers of locally stratified spaces and we show that, under suitable assumptions, the category of representations of the fundamental category of a simplicial set is equivalent to the category of left covers over its realisation.


title: Near-chip Dynamic Vision Filtering for Low-Bandwidth Pedestrian Detection

abstract: This paper presents a novel end-to-end system for pedestrian detection using Dynamic Vision Sensors (DVSs). We target applications where multiple sensors transmit data to a local processing unit, which executes a detection algorithm. Our system is composed of (i) a near-chip event filter that compresses and denoises the event stream from the DVS, and (ii) a Binary Neural Network (BNN) detection module that runs on a low-computation edge computing device (in our case a STM32F4 microcontroller). We present the system architecture and provide an end-to-end implementation for pedestrian detection in an office environment. Our implementation reduces transmission size by up to 99.6% compared to transmitting the raw event stream. The average packet size in our system is only 1397 bits, while 307.2 kb are required to send an uncompressed DVS time window. Our detector is able to perform a detection every 450 ms, with an overall testing F1 score of 83%. The low bandwidth and energy properties of our system make it ideal for IoT applications.


title: Robust LQR for Uncertain Discrete-Time Systems using Polynomial Chaos

abstract: In this paper, a polynomial chaos based framework for designing controllers for discrete time linear systems with probabilistic parameters is presented. Conditions for exponential-mean-square stability for such systems are derived and algorithms for synthesizing optimal quadratically stabilizing controllers are proposed in a convex optimization formulation. The solution presented is demonstrated on the derived discrete-time models of a nonlinear F-16 aircraft model trimmed at a set of chosen points.


title: Learning physical properties of liquid crystals with deep convolutional neural networks

abstract: Machine learning algorithms have been available since the 1990s, but it is much more recently that they have come into use also in the physical sciences. While these algorithms have already proven to be useful in uncovering new properties of materials and in simplifying experimental protocols, their usage in liquid crystals research is still limited. This is surprising because optical imaging techniques are often applied in this line of research, and it is precisely with images that machine learning algorithms have achieved major breakthroughs in recent years. Here we use convolutional neural networks to probe several properties of liquid crystals directly from their optical images and without using manual feature engineering. By optimizing simple architectures, we find that convolutional neural networks can predict physical properties of liquid crystals with exceptional accuracy. We show that these deep neural networks identify liquid crystal phases and predict the order parameter of simulated nematic liquid crystals almost perfectly. We also show that convolutional neural networks identify the pitch length of simulated samples of cholesteric liquid crystals and the sample temperature of an experimental liquid crystal with very high precision.


title: Ambipolar charge transport in quasi-free-standing monolayer graphene on SiC obtained by gold intercalation

abstract: We present a study of quasi-free-standing monolayer graphene obtained by intercalation of Au atoms at the interface between the carbon buffer layer (Bu-L) and the silicon-terminated face (0001) of 4H-silicon carbide. Au intercalation is achieved by deposition of atomically thin Au on the Bu-L followed by annealing at 850 {\deg}C in an Argon atmosphere. We explore the intercalation of Au and decoupling of the Bu-L into quasi-free-standing monolayer graphene by surface science characterizations and electron transport in top-gated electronic devices. By gate-dependent magnetotransport we find that the Au-intercalated buffer layer displays all properties of monolayer graphene, namely gate tunable ambipolar transport across the Dirac point, and n- or p-type doping depending on the Au content.


title: Wilson lines in AdS/dCFT

abstract: We consider the expectation value of Wilson lines in two defect versions of N = 4 SYM, both with supersymmetry completely broken, where one is described in terms of an integrable boundary state, the other one not. For both cases, imposing a certain double scaling limit, we find agreement to two leading orders between the expectation values calculated from respectively the field theory and the string theory side of the AdS/dCFT correspondence.


title: A Set of Recommendations for Assessing Human-Machine Parity in Language Translation

abstract: The quality of machine translation has increased remarkably over the past years, to the degree that it was found to be indistinguishable from professional human translation in a number of empirical investigations. We reassess Hassan et al.'s 2018 investigation into Chinese to English news translation, showing that the finding of human-machine parity was owed to weaknesses in the evaluation design - which is currently considered best practice in the field. We show that the professional human translations contained significantly fewer errors, and that perceived quality in human evaluation depends on the choice of raters, the availability of linguistic context, and the creation of reference translations. Our results call for revisiting current best practices to assess strong machine translation systems in general and human-machine parity in particular, for which we offer a set of recommendations based on our empirical findings.


title: Molecular Gas Heating and Modified Dust Properties in Active Galaxies: Growing Black Holes or Tidal Shocks?

abstract: We investigate if and how growing super-massive black holes (SMBH) known as Active Galactic Nuclei (AGN) and gravitational interactions affect the warm molecular gas and dust of galaxies. Our analysis focuses on the morphologies and warm ISM properties of 630 galaxies at z < 0.1. We use grizy images from the Pan-STARRS survey to classify the galaxies into mergers, early mergers, and non-mergers. We use MIR spectroscopic measurements of emission from rotational H2 transitions, dust and PAH features, and silicate emission or absorption lines at 9.7 microns to study how gravitational interactions impact the warm ISM in AGN and non-AGN hosts. We find that in AGN-hosts, the ISM is warmer, the ratios of H2 to PAHs are larger, the PAH emission line ratios and silicate strengths have a wider range of values than in non-AGN hosts. We find some statistical differences between the H2 emission of mergers and non-mergers, but those differences are less statistically significant than those between AGN and non-AGN hosts.


title: On maximal subgroups of infinite index in branch and weakly branch groups

abstract: We generalise a technical tool, originally developed by Pervova for the study of maximal subgroups in Grigorchuk and GGS groups, to all weakly branch groups satisfying a natural condition, and in particular to all branch groups. We then use this tool to prove that every maximal subgroup of infinite index of a branch group is also a branch group. As a further application of this result, we show that every maximal subgroup of the Basilica group is of finite index.


title: Designer Modeling through Design Style Clustering

abstract: We propose modeling designer style in mixed-initiative game content creation tools as archetypical design traces. These design traces are formulated as transitions between design styles; these design styles are in turn found through clustering all intermediate designs along the way to making a complete design. This method is implemented in the Evolutionary Dungeon Designer, a research platform for mixed-initiative systems to create adventure and dungeon crawler games. We present results both in the form of design styles for rooms, which can be analyzed to better understand the kind of rooms designed by users, and in the form of archetypical sequences between these rooms, i.e., Designer Personas.


title: On Eigenvalues of Geometrically Finite Hyperbolic Manifolds with Infinite Volume

abstract: Let $M$ be an oriented geometrically finite hyperbolic manifold of infinite volume with dimension at least $3$. For all $k \geq 0$, we provide a lower bound on the $k$th eigenvalue of the Laplace-Beltrami operator of $M$ by the $k$th eigenvalue of some neighborhood of the thick part of the convex core, up to a constant. As an application, we recover a theorem similar to the one of Burger and Canary which bounds the bottom $\lambda_0$ of the spectrum from below by $\frac{c}{\text{vol}(C_1(M))^2}$, where $C_1(M)$ is the $1$-neighborhood of the convex core and $c$ is a constant.


title: Microtwist elasticity: A continuum approach to zero modes and topological polarization in Kagome lattices

abstract: The topologically polarized isostatic lattices discovered by Kane and Lubensky (2014, Nat. Phys. 10, 39-45) challenged the standard effective medium theories used in the modeling of many truss-based materials and metamaterials. As a matter of fact, these exhibit Parity (P) asymmetric distributions of zero modes that induce a P-asymmetric elastic behavior, both of which cannot be reproduced within Cauchy elasticity. Here, we propose a new effective medium theory baptized "microtwist elasticity" capable of rendering polarization effects on a macroscopic scale. The theory is valid for trusses on the brink of a polarized-unpolarized phase transition in which case they necessarily exhibit more periodic zero modes than they have dimensions. By mapping each periodic zero mode to a macroscopic degree of freedom, the microtwist theory ends up being a kinematically enriched theory. Microtwist elasticity is constructed thanks to leading order two-scale asymptotics and its constitutive and balance equations are derived for a fairly generic isostatic truss: the Kagome lattice. Various numerical and analytical calculations, of the shape and distribution of zero modes, of dispersion diagrams and of polarization effects, systematically show the quality of the proposed effective medium theory. Most notably, the theory is capable of producing a continuum version of Kane and Lubensky's topological polarization vector.


title: Fractional Powers of the Differentiation and Integration Operators and its Application in Accelerator Physics and Technology

abstract: In this paper we present a solution to a fractional integral of the order 3/2 with the use of a novel method. The integral arises during solving the Biot-Savart equation to find the exact analytical solution for the magnetic field components of a solenoid. We solved the integral by cutting the branch line in order to have an analytic function inside the integral instead of multi-valued operation.


title: Comment on the paper Eur. Phys. J. A (2019) 55:150

abstract: The conclusions of the study published as Eur. Phys. J. A (2019) 55:150 questioning the adequacy of the recently proposed Gogny D1M* interaction for finite-nuclei calculations using harmonic oscillator (HO) basis are revised. The existence of an instability in finite nuclei for D1M* when coordinate-space methods are used to solve the HF equations (as shown in Eur. Phys. J. A(2019) 55:150) is independently confirmed using a computer code based on a quasi-local approximation (QLA) to the HF energy density with finite-range forces. We confirm that the most affected quantity in the coordinate-space calculation is the spatial density at the origin. Our study reveals that some findings concerning these instabilities are not easy to reconcile with the arguments used in Eur. Phys. J. A (2019) 55:150. For instance, some nuclei such as $^4$He and $^{40}$Ca, which diverge in HF mesh-point calculations performed with D1M*, become perfectly stable when Coulomb force is switched off. We have also found instabilities in some nuclei when the D1M interaction is used. Finally, a connection between the occupancy of $s$-orbitals near the Fermi level and the appearance of instabilities is observed. Several convergence and stability studies are performed with HO basis of different sizes and oscillator parameters to demonstrate the robustness of the D1M* results for finite nuclei when the HO basis is used.


title: Quadratic stochastic processes of type $(\sigma|\mu)$

abstract: We construct quadratic stochastic processes (QSP) (also known as Markov processes of cubic matrices) in continuous and discrete times. These are dynamical systems given by (a fixed type, called $\sigma$) stochastic cubic matrices satisfying an analogue of Kolmogorov-Chapman equation (KCE) with respect to a fixed multiplications (called $\mu$) between cubic matrices. The existence of a stochastic (at each time) solution to the KCE provides the existence of a QSP called a QSP of type $(\sigma | \mu)$. In this paper, our aim is to construct and study trajectories of QSPs for specially chosen notions of stochastic cubic matrices and a wide class of multiplications of such matrices (known as Maksimov's multiplications).


title: CPPN2GAN: Combining Compositional Pattern Producing Networks and GANs for Large-scale Pattern Generation

abstract: Generative Adversarial Networks (GANs) are proving to be a powerful indirect genotype-to-phenotype mapping for evolutionary search, but they have limitations. In particular, GAN output does not scale to arbitrary dimensions, and there is no obvious way of combining multiple GAN outputs into a cohesive whole, which would be useful in many areas, such as the generation of video game levels. Game levels often consist of several segments, sometimes repeated directly or with variation, organized into an engaging pattern. Such patterns can be produced with Compositional Pattern Producing Networks (CPPNs). Specifically, a CPPN can define latent vector GAN inputs as a function of geometry, which provides a way to organize level segments output by a GAN into a complete level. This new CPPN2GAN approach is validated in both Super Mario Bros. and The Legend of Zelda. Specifically, divergent search via MAP-Elites demonstrates that CPPN2GAN can better cover the space of possible levels. The layouts of the resulting levels are also more cohesive and aesthetically consistent.


title: Discriminator Contrastive Divergence: Semi-Amortized Generative Modeling by Exploring Energy of the Discriminator

abstract: Generative Adversarial Networks (GANs) have shown great promise in modeling high dimensional data. The learning objective of GANs usually minimizes some measure discrepancy, \textit{e.g.}, $f$-divergence~($f$-GANs) or Integral Probability Metric~(Wasserstein GANs). With $f$-divergence as the objective function, the discriminator essentially estimates the density ratio, and the estimated ratio proves useful in further improving the sample quality of the generator. However, how to leverage the information contained in the discriminator of Wasserstein GANs (WGAN) is less explored. In this paper, we introduce the Discriminator Contrastive Divergence, which is well motivated by the property of WGAN's discriminator and the relationship between WGAN and energy-based model. Compared to standard GANs, where the generator is directly utilized to obtain new samples, our method proposes a semi-amortized generation procedure where the samples are produced with the generator's output as an initial state. Then several steps of Langevin dynamics are conducted using the gradient of the discriminator. We demonstrate the benefits of significant improved generation on both synthetic data and several real-world image generation benchmarks.


title: Quantification of the propagation of rumors on social media

abstract: The propagation of a rumor (unverified information) on a social network is subject to several factors mainly related to the content of this information and especially to the behaviors (profiles) of the actors on this network that retransmit. This state of affairs may vary this propagation as the case may be, and this is what we call the depth of the rumor. This project is tackling this problem. From a real case of the spread of a rumor on Twitter, this contribution proposes an academic approach to quantify the depth of a rumor on social networks and this, for use and interpretation, by specialists concerned by the nature of this information and its auditor.


title: Nuclear matter as a liquid phase of spontaneously broken semi-classical $SU(2)_L \times SU(2)_R$ chiral perturbation theory: Static chiral nucleon liquids

abstract: We study effective field theories (EFT) of nuclear structure based on spontaneously broken global $SU(2)_L\times SU(2)_R$ chiral symmetry of QCD with two massless quarks, i.e. $SU(2)\chi PT$. For ground-state nuclei, this EFT enables expansion and truncation in inverse powers of $\Lambda_{\chi SB}\simeq 1 GeV$, with analytic operators renormalized to all loop orders. We derive the EFT Lagrangian to order $\Lambda^0_{\chi SB}$. We show that $SU(2)\chi PT$ of protons, neutrons and pions admits a semi-classical "Static Chiral Nucleon Liquid" (Static$\chi$NL) phase and that "Pion-less" $SU(2)\chi PT$ emerges in this liquid: far-infrared pions decouple from Static$\chi$NL, vastly simplifying the derivation of saturated nuclear matter (the infinite liquid phase) and of finite microscopic liquid drops (ground-state nuclides). Static$\chi$NL are made entirely of nucleons with even parity, total spin zero, and even $Z$ and $N$; local expectation values for spin and momenta vanish. They explain the power of pion-less $SU(2)\chi PT$ to capture experimental ground-state properties of certain nuclides, this explanation following directly from the global symmetries of QCD with two massless quarks. Mean-field Static$\chi$NL non-topological solitons are true solutions of $SU(2)\chi PT$'s semi-classical symmetries: they obey all CVC and PCAC conservation laws and they have zero internal and external pressure. The nuclear liquid-drop model and the semi-empirical mass formula emerge -- with correct nuclear density and saturation and asymmetry energies -- in an explicit Thomas-Fermi construction. We relate our work to compatible and complementary work in pionless and in halo/ cluster EFTs, also composed entirely of nucleons and applied to light ($A\leq 6$) nuclei, which might provide important (<12.5%) corrections to Static$\chi NL$.


title: Data-driven regularization parameter selection in dynamic MRI

abstract: In dynamic MRI, sufficient time resolution can often only be obtained using imaging protocols which produce undersampled data for each image in the time series. This has led to the popularity of compressed sensing (CS) based image reconstruction approaches. One of the problems in CS approaches is determining the regularization parameters, which control the balance between data fidelity the spatial and temporal regularization terms. A data-driven approach is proposed for the total variation regularization parameter selection such that the reconstructions yield expected sparsity levels in the regularization domains. The expected sparsity levels are obtained from the measurement data for the temporal regularization and from a reference image for the spatial regularization. Two formulations are proposed. The first is a 2D search for a parameter pair which produces expected sparsity in both the temporal and spatial regularization domains. In the second approach, the sparsity-based parameter selection is split to two 1D searches using the S-curve method. The approaches are evaluated using simulated and experimental DCE-MRI. In the simulated test case, both proposed methods produce a parameter pair that is close to the RMSE optimal pair, and the reconstruction error is also close to minimum. In the experimental test case, the methods produce almost similar parameter selection, and the reconstructions are of high perceived quality. Both approaches lead to a highly feasible selection of the temporal and spatial regularization parameters in both the simulated and experimental test cases while the sequential method is computationally more efficient.