title: Monopole-Antimonopole Pair Production in Primordial Magnetic Fields

abstract: We show that monopoles can be pair produced by cosmological magnetic fields in the early universe. The pair production gives rise to relic monopoles, and at the same time induces a self-screening of the magnetic fields. By studying these effects we derive limits on the monopole mass, and also on the initial amplitude of primordial magnetic fields. Monopoles of GUT scale mass can even be produced if primordial magnetic fields exist at sufficiently high redshifts.


title: Quantitative phase imaging of single particles from a cryoEM micrograph

abstract: We show that de-focused single particle images recorded using a cryo-electron microscope (cryoEM) system may be processed like a Fresnel zone in-line hologram to obtain physically meaningful quantitative phase maps associated with individual particles. In particular, a region-of-interest (ROI) of the de-focused image surrounding a particle can be numerically back-propagated, in order to determine accurate de-focus information based on the sparsity-of-gradient merit function. Further with the knowledge of de-focus information, an iterative Fresnel zone phase retrieval algorithm using image sparsity constraints can accurately estimate the quantitative phase information associated with a single particle. The proposed methodology which can correct for both de-focus and spherical aberrations is a deviation from the image processing chain currently used in single particle cryoEM reconstructions. Our illustrations as presented here suggest that the phase retrieval approach applies uniformly to de-focused image data recorded using the traditional CCD detectors as well as the newer direct electron detectors.


title: Statistical Depth Meets Machine Learning: Kernel Mean Embeddings and Depth in Functional Data Analysis

abstract: Statistical depth is the act of gauging how representative a point is compared to a reference probability measure. The depth allows introducing rankings and orderings to data living in multivariate, or function spaces. Though widely applied and with much experimental success, little theoretical progress has been made in analysing functional depths. This article highlights how the common $h$-depth and related statistical depths for functional data can be viewed as a kernel mean embedding, a technique used widely in statistical machine learning. This connection facilitates answers to open questions regarding statistical properties of functional depths, as well as it provides a link between the depth and empirical characteristic function based procedures for functional data.


title: The annihilation operator for certain family of q-Hermite Sobolev-type orthogonal polynomials

abstract: We present a new family $\left\{ S_{n}(x;q)\right\} _{n\geq 0}$ of monic polynomials in $x$, orthogonal with respect to a Sobolev-type inner product related to the $q$-Hermite I orthogonal polynomials, involving a first-order $q$-derivative on a mass-point $\alpha \in \mathbb{R}$ located out of the corresponding orthogonality interval $[-1,1]$, for some fixed real number $q \in (0, 1)$. We present connection formulas, and the annihilation operator for this non-standard orthogonal polynomial family.


title: Measurements of the pp $\to$ W$^\pm\gamma\gamma$ and pp $\to$ Z$\gamma\gamma$ cross sections at $\sqrt{s} =$ 13 TeV and limits on anomalous quartic gauge couplings

abstract: The cross section for W or Z boson production in association with two photons is measured in proton-proton collisions at a centre-of-mass energy of 13 TeV. The data set corresponds to an integrated luminosity of 137 fb$^{-1}$ collected by the CMS experiment at the LHC. The W $\to$ $\ell\nu$ and Z $\to$ $\ell\ell$ decay modes (where $\ell =$ e, $\mu$) are used to extract the W$\gamma\gamma$ and Z$\gamma\gamma$ cross sections in a phase space defined by electron (muon) with transverse momentum larger than 30 GeV and photon transverse momentum larger than 20 GeV. All leptons and photons are required to have absolute pseudorapidity smaller than 2.5. The measured cross sections in this phase space are $\sigma$(W$\gamma\gamma$) = 13.6 $^{+1.9}_{-1.9}$ (stat) ${}^{+4.0}_{-4.0}$ (syst) $\pm$ 0.08 (PDF + scale) fb and $\sigma$(Z$\gamma\gamma$) = 5.41 $^{+0.58}_{-0.55}$ (stat) ${}^{+0.64}_{-0.70}$ (syst) $\pm$ 0.06 (PDF + scale) fb. Limits on anomalous quartic gauge couplings are set in the framework of an effective field theory with dimension-8 operators.


title: ATRIA: A Bit-Parallel Stochastic Arithmetic Based Accelerator for In-DRAM CNN Processing

abstract: With the rapidly growing use of Convolutional Neural Networks (CNNs) in real-world applications related to machine learning and Artificial Intelligence (AI), several hardware accelerator designs for CNN inference and training have been proposed recently. In this paper, we present ATRIA, a novel bit-pArallel sTochastic aRithmetic based In-DRAM Accelerator for energy-efficient and high-speed inference of CNNs. ATRIA employs light-weight modifications in DRAM cell arrays to implement bit-parallel stochastic arithmetic based acceleration of multiply-accumulate (MAC) operations inside DRAM. ATRIA significantly improves the latency, throughput, and efficiency of processing CNN inferences by performing 16 MAC operations in only five consecutive memory operation cycles. We mapped the inference tasks of four benchmark CNNs on ATRIA to compare its performance with five state-of-the-art in-DRAM CNN accelerators from prior work. The results of our analysis show that ATRIA exhibits only 3.5% drop in CNN inference accuracy and still achieves improvements of up to 3.2x in frames-per-second (FPS) and up to 10x in efficiency (FPS/W/mm2), compared to the best-performing in-DRAM accelerator from prior work.


title: Actions for Self-dual Higher Spin Gravities

abstract: Higher Spin Gravities are scarce, but covariant actions for them are even scarcer. We construct covariant actions for contractions of Chiral Higher Spin Gravity that represent higher spin extensions of self-dual Yang-Mills and self-dual Gravity theories. The actions give examples of complete higher spin theories both in flat and (anti)-de Sitter spaces that feature gauge and gravitational interactions. The actions are based on a new description of higher spin fields, whose origin can be traced to early works on twistor theory. The new description simplifies the structure of interactions. In particular, we find a covariant form of the minimal gravitational interaction for higher spin fields both in flat and anti-de Sitter space, which resolves some of the puzzles in the literature.


title: Tautological classes of hyper-K\"ahler manifolds. Erratum

abstract: This note is an erratum to the paper "Tautological classes on moduli spaces of hyper-K\"ahler manifolds." Thorsten Beckman and Mirko Mauri have pointed to us a gap in the proof of \cite[Theorem 8.2.1]{Duke}. We do not know how to correct the proof. We can only recover a partial statement. This gap affects the proof of one of the two main results of \cite{Duke}, we explain how to correct it.


title: Data-driven relationship of atomic structure and physical properties as the holistic view on the materials science fundamentals

abstract: The fundamental relationship of the atomic structure (represented by its atomic property parameters, APPs) and its physical properties of a specific inorganic substance can be realized in the bottom-up data-centric and the top-down knowledge physics-centric ways. Nowadays these two approaches compete and enhance one another qualitatively and quantitatively. We present our own holistic method and implementation, based on the PAULING FILE peer-reviewed inorganic substances database, the world largest materials database containing under one shelter crystallographic structures, phase diagrams and large variety of physical properties of single-phase inorganic substances. In addition we present generated machine-learning data, as well as simulated DFT physics-centered data, which are in close connection and comparison with the PAULING FILE peer-reviewed reference data.


title: The Anatomy of Corner 3s in the NBA: What makes them efficient, how are they generated and how can defenses respond?

abstract: Modern basketball is all about creating efficient shots, that is, shots with high payoff. This is not necessarily equivalent to creating looks with the highest probability of success. In particular, the two most efficient shots in the NBA - which are shots from the paint, i.e., extremely close to the basket, and three-point shots from the corner, i.e., at least 22 feet apart - have completely different spatial profiles when it comes to their distance from the basket. The latter also means that they are pretty much at the opposing ends of the spectrum when it comes to their probability of being made. Due to their efficiency, these are the most sought after shots from the offense, while the defense is trying to contain them. However, in order to contain them one needs to first understand what makes them efficient in the first place and how they are generated. In this study we focus on the corner three point shots and using player tracking data we show that the main factor for their efficiency - contrary to the belief from the sports mass media - is not the shorter distance to the basket compared to three-point shots above the break, but rather the fact that they are assisted at a very high rate (more than 90\%). Furthermore, we analyze the movement of the shooter and his defender and find that more than half of these shots involve a shooter anchored at the corner waiting for the kick out pass. We finally define a simplified game between the offense and defense in these situation and we find that the Nash Equilibrium supports either committing to the corner shooter or to the drive to the basket, and not lingering between the two, which is what we observed from the defenses in our dataset.


title: cofga: A Dataset for Fine Grained Classification of Objects from Aerial Imagery

abstract: Detection and classification of objects in overhead images are two important and challenging problems in computer vision. Among various research areas in this domain, the task of fine-grained classification of objects in overhead images has become ubiquitous in diverse real-world applications, due to recent advances in high-resolution satellite and airborne imaging systems. The small inter-class variations and the large intra class variations caused by the fine grained nature make it a challenging task, especially in low-resource cases. In this paper, we introduce COFGA a new open dataset for the advancement of fine-grained classification research. The 2,104 images in the dataset are collected from an airborne imaging system at 5 15 cm ground sampling distance, providing higher spatial resolution than most public overhead imagery datasets. The 14,256 annotated objects in the dataset were classified into 2 classes, 15 subclasses, 14 unique features, and 8 perceived colors a total of 37 distinct labels making it suitable to the task of fine-grained classification more than any other publicly available overhead imagery dataset. We compare COFGA to other overhead imagery datasets and then describe some distinguished fine-grain classification approaches that were explored during an open data-science competition we have conducted for this task.


title: Self-Supervised Bug Detection and Repair

abstract: Machine learning-based program analyses have recently shown the promise of integrating formal and probabilistic reasoning towards aiding software development. However, in the absence of large annotated corpora, training these analyses is challenging. Towards addressing this, we present BugLab, an approach for self-supervised learning of bug detection and repair. BugLab co-trains two models: (1) a detector model that learns to detect and repair bugs in code, (2) a selector model that learns to create buggy code for the detector to use as training data. A Python implementation of BugLab improves by up to 30% upon baseline methods on a test dataset of 2374 real-life bugs and finds 19 previously unknown bugs in open-source software.


title: A data-driven strategy to combine word embeddings in information retrieval

abstract: Word embeddings are vital descriptors of words in unigram representations of documents for many tasks in natural language processing and information retrieval. The representation of queries has been one of the most critical challenges in this area because it consists of a few terms and has little descriptive capacity. Strategies such as average word embeddings can enrich the queries' descriptive capacity since they favor the identification of related terms from the continuous vector representations that characterize these approaches. We propose a data-driven strategy to combine word embeddings. We use Idf combinations of embeddings to represent queries, showing that these representations outperform the average word embeddings recently proposed in the literature. Experimental results on benchmark data show that our proposal performs well, suggesting that data-driven combinations of word embeddings are a promising line of research in ad-hoc information retrieval.


title: RSCA: Real-time Segmentation-based Context-Aware Scene Text Detection

abstract: Segmentation-based scene text detection methods have been widely adopted for arbitrary-shaped text detection recently, since they make accurate pixel-level predictions on curved text instances and can facilitate real-time inference without time-consuming processing on anchors. However, current segmentation-based models are unable to learn the shapes of curved texts and often require complex label assignments or repeated feature aggregations for more accurate detection. In this paper, we propose RSCA: a Real-time Segmentation-based Context-Aware model for arbitrary-shaped scene text detection, which sets a strong baseline for scene text detection with two simple yet effective strategies: Local Context-Aware Upsampling and Dynamic Text-Spine Labeling, which model local spatial transformation and simplify label assignments separately. Based on these strategies, RSCA achieves state-of-the-art performance in both speed and accuracy, without complex label assignments or repeated feature aggregations. We conduct extensive experiments on multiple benchmarks to validate the effectiveness of our method. RSCA-640 reaches 83.9% F-measure at 48.3 FPS on CTW1500 dataset.


title: Efficient Quantum Public-Key Encryption From Learning With Errors

abstract: Our main result is a quantum public-key encryption scheme based on the Extrapolated Dihedral Coset problem (EDCP) which is equivalent, under quantum polynomial-time reductions, to the Learning With Errors (LWE) problem. For limited number of public keys (roughly linear in the security parameter), the proposed scheme is information-theoretically secure. For polynomial number of public keys, breaking the scheme is as hard as solving the LWE problem. The public keys in our scheme are quantum states of size $\tilde{O}(n)$ qubits. The key generation and decryption algorithms require $\tilde{O}(n)$ qubit operations while the encryption algorithm takes $O(1)$ qubit operations.


title: PyTouch: A Machine Learning Library for Touch Processing

abstract: With the increased availability of rich tactile sensors, there is an equally proportional need for open-source and integrated software capable of efficiently and effectively processing raw touch measurements into high-level signals that can be used for control and decision-making. In this paper, we present PyTouch -- the first machine learning library dedicated to the processing of touch sensing signals. PyTouch, is designed to be modular, easy-to-use and provides state-of-the-art touch processing capabilities as a service with the goal of unifying the tactile sensing community by providing a library for building scalable, proven, and performance-validated modules over which applications and research can be built upon. We evaluate PyTouch on real-world data from several tactile sensors on touch processing tasks such as touch detection, slip and object pose estimations. PyTouch is open-sourced at https://github.com/facebookresearch/pytouch .


title: Predictions for flow harmonic distributions and flow factorization ratios at RHIC

abstract: Data obtained at RHIC can be reproduced by relativistic viscous hydrodynamic simulations by adjusting the viscosity and initial conditions but it is difficult to disentangle these quantities. It is therefore important to find orthogonal observables to constrain the initial conditions separately from the viscosity. New observables have been measured at the LHC and shown to be sensitive to initial conditions and less to medium properties, specifically factorization breaking ratios appears to be promising. Here we consider two models (NeXus and TRENTO) that reproduce these quantities reasonably well at the LHC and then we make predictions for RHIC. While both models lead to similar results for the scaled flow harmonic distributions, they predict very different patterns for the factorization breaking ratios at RHIC.


title: Ideal Bayesian Spatial Adaptation

abstract: Many real-life applications involve estimation of curves that exhibit complicated shapes including jumps or varying-frequency oscillations. Practical methods have been devised that can adapt to a locally varying complexity of an unknown function (e.g. variable-knot splines, sparse wavelet reconstructions, kernel methods or trees/forests). However, the overwhelming majority of existing asymptotic minimaxity theory is predicated on homogeneous smoothness assumptions. Focusing on locally Holderian functions, we provide new locally adaptive posterior concentration rate results under the supremum loss for widely used Bayesian machine learning techniques in white noise and non-parametric regression. In particular, we show that popular spike-and-slab priors and Bayesian CART are uniformly locally adaptive. In addition, we propose a new class of repulsive partitioning priors which relate to variable knot splines and which are exact-rate adaptive. For uncertainty quantification, we construct locally adaptive confidence bands whose width depends on the local smoothness and which achieve uniform asymptotic coverage under local self-similarity. To illustrate that spatial adaptation is not at all automatic, we provide lower-bound results showing that popular hierarchical Gaussian process priors fall short of spatial adaptation.


title: DFPN: Deformable Frame Prediction Network

abstract: Learned frame prediction is a current problem of interest in computer vision and video compression. Although several deep network architectures have been proposed for learned frame prediction, to the best of our knowledge, there is no work based on using deformable convolutions for frame prediction. To this effect, we propose a deformable frame prediction network (DFPN) for task oriented implicit motion modeling and next frame prediction. Experimental results demonstrate that the proposed DFPN model achieves state of the art results in next frame prediction. Our models and results are available at https://github.com/makinyilmaz/DFPN.


title: Optimal orders of the best constants in the Littlewood-Paley inequalities

abstract: Let $\{\mathbb{P}_t\}_{t>0}$ be the classical Poisson semigroup on $\mathbb{R}^d$ and $G^{\mathbb{P}}$ the associated Littlewood-Paley $g$-function operator: $$G^{\mathbb{P}}(f)=\Big(\int_0^\infty t|\frac{\partial}{\partial t} \mathbb{P}_t(f)|^2dt\Big)^{\frac12}.$$ The classical Littlewood-Paley $g$-function inequality asserts that for any $1<p<\infty$ there exist two positive constants $\mathsf{L}^{\mathbb{P}}_{t, p}$ and $\mathsf{L}^{\mathbb{P}}_{c, p}$ such that $$ \big(\mathsf{L}^{\mathbb{P}}_{t, p}\big)^{-1}\big\|f\big\|_{p}\le \big\|G^{\mathbb{P}}(f)\big\|_{p} \le \mathsf{L}^{\mathbb{P}}_{c,p}\big\|f\big\|_{p}\,,\quad f\in L_p(\mathbb{R}^d). $$ We determine the optimal orders of magnitude on $p$ of these constants as $p\to1$ and $p\to\infty$. We also consider similar problems for more general test functions in place of the Poisson kernel. The corresponding problem on the Littlewood-Paley dyadic square function inequality is investigated too. Let $\Delta$ be the partition of $\mathbb{R}^d$ into dyadic rectangles and $S_R$ the partial sum operator associated to $R$. The dyadic Littlewood-Paley square function of $f$ is $$S^\Delta(f)=\Big(\sum_{R\in\Delta} |S_R(f)|^2\Big)^{\frac12}.$$ For $1<p<\infty$ there exist two positive constants $\mathsf{L}^{\Delta}_{c,p, d}$ and $ \mathsf{L}^{\Delta}_{t,p, d}$ such that $$ \big(\mathsf{L}^{\Delta}_{t,p, d}\big)^{-1}\big\|f\big\|_{p}\le \big\|S^\Delta(f)\big\|_{p}\le \mathsf{L}^{\Delta}_{c,p, d}\big\|f\big\|_{p},\quad f\in L_p(\mathbb{R}^d). $$ We show that $$\mathsf{L}^{\Delta}_{t,p, d}\approx_d (\mathsf{L}^{\Delta}_{t,p, 1})^d\;\text{ and }\; \mathsf{L}^{\Delta}_{c,p, d}\approx_d (\mathsf{L}^{\Delta}_{c,p, 1})^d.$$ All the previous results can be equally formulated for the $d$-torus $\mathbb{T}^d$. We prove a de Leeuw type transference principle in the vector-valued setting.


title: Regularity in Sobolev and Besov spaces for parabolic problems on domains of polyhedral type

abstract: This paper is concerned with the regularity of solutions to linear and nonlinear evolution equations extending our findings in [22] to domains of polyhedral type. In particular, we study the smoothness in the specific scale $B^r_{\tau,\tau}$, $\frac{1}{\tau}=\frac rd+\frac 1p$ of Besov spaces. The regularity in these spaces determines the approximation order that can be achieved by adaptive and other nonlinear approximation schemes. We show that for all cases under consideration the Besov regularity is high enough to justify the use of adaptive algorithms.


title: Self-supervised Monocular Multi-robot Relative Localization with Efficient Deep Neural Networks

abstract: Relative localization is an important ability for multiple robots to perform cooperative tasks in GPS-denied environment. This paper presents a novel autonomous positioning framework for monocular relative localization of multiple tiny flying robots. This approach does not require any groundtruth data from external systems or manual labelling. Instead, the proposed framework is able to label real-world images with 3D relative positions between robots based on another onboard relative estimation technology, using ultra-wide band (UWB). After training in this self-supervised manner, the proposed deep neural network (DNN) can predict relative positions of peer robots by purely using a monocular camera. This deep learning-based visual relative localization is scalable, distributed and autonomous. We also built an open-source and light-weight simulation pipeline by using Blender for 3D rendering, which allows synthetic image generation of other robots, and generalized training of the neural network. The proposed localization framework is tested on two real-world Crazyflie2 quadrotors by running the DNN on the onboard AIdeck (a tiny AI chip and monocular camera). All results demonstrate the effectiveness of the self-supervised multi-robot localization method.


title: Bayesian Origin-Destination Estimation in Networked Transit Systems using Nodal In- and Outflow Counts

abstract: We propose a Bayesian inference approach for static Origin-Destination (OD)-estimation in large-scale networked transit systems. The approach finds posterior distribution estimates of the OD-coefficients, which describe the relative proportions of passengers travelling between origin and destination locations, via a Hamiltonian Monte Carlo sampling procedure. We suggest two different inference model formulations: the instantaneous-balance and average-delay model. We discuss both models' sensitivity to various count observation properties, and establish that the average-delay model is generally more robust in determining the coefficient posteriors. The instantaneous-balance model, however, requires lower resolution count observations and produces comparably accurate estimates as the average-delay model, pending that count observations are only moderately interfered by trend fluctuations or the truncation of the observation window, and sufficient number of dispersed data records are available. We demonstrate that the Bayesian posterior distribution estimates provide quantifiable measures of the estimation uncertainty and prediction quality of the model, whereas the point estimates obtained from an alternative constrained quadratic programming optimisation approach only provide the residual errors between the predictions and observations. Moreover, the Bayesian approach proves more robust in scaling to high-dimensional underdetermined problems. The Bayesian instantaneous-balance OD-coefficient posteriors are determined for the New York City (NYC) subway network, based on several years of entry and exit count observations recorded at station turnstiles across the network. The average-delay model proves intractable on the real-world test scenario, given its computational time complexity and the incompleteness as well as coarseness of the turnstile records.


title: Phase Separation and Anomalous Volume Expansion in Frozen Microscale Eutectic Indium-Gallium upon Remelting

abstract: The eutectic Ga-In (EGaIn) alloy has low vapor pressure, low toxicity, high thermal and electrical conductivities, and thus has shown a great potential for smart material applications. For such applications, EGaIn is maintained above its melting point, below which it undergoes solidification and phase separation. A scientific understanding of the structural and compositional evolution during thermal cycling could help further assess the application range of low-melting-point fusible alloys. Here, we use an integrated suite of cryogenically-enabled advanced microscopy & microanalysis to better understand phase separation and (re)mixing processes in EGaIn. We reveal an overlooked thermal-stimulus-response behaviour for frozen mesoscale EGaIn at cryogenic temperatures, with a sudden volume expansion observed during in-situ heat-cycling, associated with the immiscibility between Ga and In during cooling and the formation of metastable Ga phases. These results emphasize the importance of the kinetics of rejuvenation, and open new paths for EGaIn as a self-healing material.


title: Optimal Estimates on the Propagation of Reactions with Fractional Diffusion

abstract: We study the reaction-fractional-diffusion equation $u_t+(-\Delta)^{s} u=f(u)$ with ignition and monostable reactions $f$, and $s\in(0,1)$. We obtain the first optimal bounds on the propagation of front-like solutions in the cases where no traveling fronts exist. Our results cover most of these cases, and also apply to propagation from localized initial data.


title: Dialectica Petri Nets

abstract: The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets generalising the original application to suggest that Petri nets with different kinds of transitions can be modelled in the same categorical framework. Transitions representing truth-values, probabilities, rates or multiplicities, evaluated in different algebraic structures called lineales are useful and are modelled here in the same category. We investigate (categorical instances of) this generalised model and its connections to more recent models of categorical nets.


title: Direct Detection Under Tukey Signalling

abstract: A new direct-detection-compatible signalling scheme is proposed for fiber-optic communication over short distances. Controlled inter-symbol interference is exploited to extract phase information, thereby achieving spectral efficiencies about one bit less, per second per hertz, of those of a coherent detector.


title: Swimming of a ludion in a stratified sea

abstract: We describe and model experimental results on the dynamics of a "ludion" - a neutrally buoyant body - immersed in a layer of stably stratified salt water. By oscillating a piston inside a cylinder communicating with a narrow (in one of its horizontal dimensions) vessel containing the stably stratified layer of salt water, it is easy to periodically vary the hydrostatic pressure of the fluid. The ludion or Cartesian diver, initially positioned at its equilibrium height and free to move horizontally, can then oscillate vertically when forced by the pressure oscillations. Depending on the ratio of the forcing frequency to the Brunt-V\"{a}is\"{a}l\"{a} frequency of the stratified fluid, the ludion can emit its own internal gravity waves that we measure by a classical Particle Image Velocimetry technique. Our experimental results describe first the resonance of the vertical motions of the ludion when excited at different frequencies. A theoretical oscillator model is then derived taking into account added mass and added friction coefficients and its predictions are compared to the experimental data. Then, for the larger oscillation amplitudes, we observe and describe a bifurcation towards free horizontal motions. Although the internal gravity wave frequencies are affected by the Doppler shift induced by the horizontal displacement velocities, it seems that, contrary to surface waves associated with Couder walkers they are not the cause of the horizontal swimming. This does not however, exclude possible interactions between the ludion and internal gravity waves and possible hydrodynamic quantum analogies to be explored in the future.


title: TexRel: a Green Family of Datasets for Emergent Communications on Relations

abstract: We propose a new dataset TexRel as a playground for the study of emergent communications, in particular for relations. By comparison with other relations datasets, TexRel provides rapid training and experimentation, whilst being sufficiently large to avoid overfitting in the context of emergent communications. By comparison with using symbolic inputs, TexRel provides a more realistic alternative whilst remaining efficient and fast to learn. We compare the performance of TexRel with a related relations dataset Shapeworld. We provide baseline performance results on TexRel for sender architectures, receiver architectures and end-to-end architectures. We examine the effect of multitask learning in the context of shapes, colors and relations on accuracy, topological similarity and clustering precision. We investigate whether increasing the size of the latent meaning space improves metrics of compositionality. We carry out a case-study on using TexRel to reproduce the results of an experiment in a recent paper that used symbolic inputs, but using our own non-symbolic inputs, from TexRel, instead.


title: Transverse Shifts and Time Delays of Spatiotemporal Vortex Pulses Reflected and Refracted at a Planar Interface

abstract: Transverse (Hall-effect) and Goos--H\"{a}nchen shifts of light beams reflected/refracted at planar interfaces are important wave phenomena, which can be significantly modified and enhanced by the presence of intrinsic orbital angular momentum (OAM) in the beam. Recently, optical spatiotemporal vortex pulses (STVPs) carrying a purely transverse intrinsic OAM were predicted theoretically and generated experimentally. Here we consider the reflection and refraction of such pulses at a planar isotropic interface. We find theoretically and confirm numerically novel types of the OAM-dependent transverse and longitudinal pulse shifts. Remarkably, the longitudinal shifts can be regarded as time delays, which appear, in contrast to the well-known Wigner time delay, without temporal dispersion of the reflection/refraction coefficients. Such time delays allow one to realize OAM-controlled slow (subluminal) and fast (superluminal) pulse propagation without medium dispersion. These results can have important implications in various problems involving scattering of localized vortex states carrying transverse OAM.


title: A Universal Law of Robustness via Isoperimetry

abstract: Classically, data interpolation with a parametrized model class is possible as long as the number of parameters is larger than the number of equations to be satisfied. A puzzling phenomenon in deep learning is that models are trained with many more parameters than what this classical theory would suggest. We propose a partial theoretical explanation for this phenomenon. We prove that for a broad class of data distributions and model classes, overparametrization is necessary if one wants to interpolate the data smoothly. Namely we show that smooth interpolation requires $d$ times more parameters than mere interpolation, where $d$ is the ambient data dimension. We prove this universal law of robustness for any smoothly parametrized function class with polynomial size weights, and any covariate distribution verifying isoperimetry. In the case of two-layers neural networks and Gaussian covariates, this law was conjectured in prior work by Bubeck, Li and Nagaraj. We also give an interpretation of our result as an improved generalization bound for model classes consisting of smooth functions.


title: XOmiVAE: an interpretable deep learning model for cancer classification using high-dimensional omics data

abstract: The lack of explainability is one of the most prominent disadvantages of deep learning applications in omics. This "black box" problem can undermine the credibility and limit the practical implementation of biomedical deep learning models. Here we present XOmiVAE, a variational autoencoder (VAE) based interpretable deep learning model for cancer classification using high-dimensional omics data. XOmiVAE is capable of revealing the contribution of each gene and latent dimension for each classification prediction, and the correlation between each gene and each latent dimension. It is also demonstrated that XOmiVAE can explain not only the supervised classification but the unsupervised clustering results from the deep learning network. To the best of our knowledge, XOmiVAE is one of the first activation level-based interpretable deep learning models explaining novel clusters generated by VAE. The explainable results generated by XOmiVAE were validated by both the performance of downstream tasks and the biomedical knowledge. In our experiments, XOmiVAE explanations of deep learning based cancer classification and clustering aligned with current domain knowledge including biological annotation and academic literature, which shows great potential for novel biomedical knowledge discovery from deep learning models.


title: Two-dimensional black holes in the limiting curvature theory of gravity

abstract: In this paper we discuss modified gravity models in which growth of the curvature is dynamically restricted. To illustrate interesting features of such models we consider a modification of two-dimensional dilaton gravity theory which satisfies the limiting curvature condition. We show that such a model describes two-dimensional black holes which contain the de Sitter-like core instead of the singularity of the original non-modified theory. In the second part of the paper we study Vaidya type solutions of the model of the limiting curvature theory of gravity and used them to analyse properties of black holes which are created by the collapse of null fluid. We also apply these solutions to study interesting features of a black hole evaporation.


title: Prenatal stress perturbs fetal iron homeostasis in a sex-specific manner

abstract: What is the influence of chronic maternal prenatal stress (PS) on fetal iron homeostasis? In a prospective case-control study in 164 pregnant women, we show that cord blood transferrin saturation is lower in male stressed neonates. The total effect of PS exposure on fetal ferritin revealed a decrease of 15.4% compared with controls. Electrocardiogram-based Fetal Stress Index (FSI) identified affected fetuses non-invasively during the third trimester of gestation. FSI-based timely detection of fetuses affected by PS can support early individualized iron supplementation and neurodevelopmental follow-up to prevent long-term sequelae due to PS-exacerbated impairment of the iron homeostasis.


title: ViPTT-Net: Video pretraining of spatio-temporal model for tuberculosis type classification from chest CT scans

abstract: Pretraining has sparked groundswell of interest in deep learning workflows to learn from limited data and improve generalization. While this is common for 2D image classification tasks, its application to 3D medical imaging tasks like chest CT interpretation is limited. We explore the idea of whether pretraining a model on realistic videos could improve performance rather than training the model from scratch, intended for tuberculosis type classification from chest CT scans. To incorporate both spatial and temporal features, we develop a hybrid convolutional neural network (CNN) and recurrent neural network (RNN) model, where the features are extracted from each axial slice of the CT scan by a CNN, these sequence of image features are input to a RNN for classification of the CT scan. Our model termed as ViPTT-Net, was trained on over 1300 video clips with labels of human activities, and then fine-tuned on chest CT scans with labels of tuberculosis type. We find that pretraining the model on videos lead to better representations and significantly improved model validation performance from a kappa score of 0.17 to 0.35, especially for under-represented class samples. Our best method achieved 2nd place in the ImageCLEF 2021 Tuberculosis - TBT classification task with a kappa score of 0.20 on the final test set with only image information (without using clinical meta-data). All codes and models are made available.


title: Maximally predictive states: from partial observations to long timescales

abstract: Isolating slower dynamics from fast fluctuations has proven remarkably powerful, but how do we proceed from partial observations of dynamical systems for which we lack underlying equations? Here, we construct maximally-predictive states by concatenating measurements in time, partitioning the resulting sequences using maximum entropy, and choosing the sequence length to maximize short-time predictive information. Transitions between these states yield a simple approximation of the transfer operator, which we use to reveal timescale separation and long-lived collective modes through the operator spectrum. Applicable to both deterministic and stochastic processes, we illustrate our approach through partial observations of the Lorenz system and the stochastic dynamics of a particle in a double-well potential. We use our transfer operator approach to provide a new estimator of the Kolmogorov-Sinai entropy, which we demonstrate in discrete and continuous-time systems, as well as the movement behavior of the nematode worm $C. elegans$.


title: Stochastic Evolution Equations with L\'{e}vy Noise in the Dual of a Nuclear Space

abstract: In this article we give sufficient and necessary conditions for the existence of a weak and mild solution to stochastic evolution equations with (general) L\'{e}vy noise taking values in the dual of a nuclear space. As part of our approach we develop a theory of stochastic integration with respect to a L\'{e}vy process taking values in the dual of a nuclear space. We also derive further properties of the solution such as the existence of a solution with square moments, the Markov property and path regularity of the solution. In the final part of the paper we give sufficient conditions for the weak convergence of the solutions to a sequence of stochastic evolution equations with L\'{e}vy noises.


title: On the number of words with restrictions on the number of symbols

abstract: We show that, in an alphabet of $n$ symbols, the number of words of length $n$ whose number of different symbols is away from $(1-1/e)n$, which is the value expected by the Poisson distribution, has exponential decay in $n$. We use Laplace's method for sums and known bounds of Stirling numbers of the second kind. We express our result in terms of inequalities.


title: Mean Field Theories of Quantum Hall Liquids Justified: Variations on the Greiter Wilczek Theme

abstract: We present a field theoretic variant of the Wilczek - Greiter adiabatic approach to Quantum Hall liquids. Specifically, we define a Chern-Simons-Maxwell theory such that the flux-attachment mean field theory is exact in a certain limit. This permits a systematic way to justify a variety of useful approximate approaches to these problems as constituting the first term in a (still to be developed) systematic expansion about a solvable limit.


title: Convex Combination Belief Propagation Algorithms

abstract: We present new message passing algorithms for performing inference with graphical models. Our methods are designed for the most difficult inference problems where loopy belief propagation and other heuristics fail to converge. Belief propagation is guaranteed to converge when the underlying graphical model is acyclic, but can fail to converge and is sensitive to initialization when the underlying graph has complex topology. This paper describes modifications to the standard belief propagation algorithms that lead to methods that converge to unique solutions on graphical models with arbitrary topology and potential functions.


title: Oort cloud Ecology II: The chronology of the formation of the Oort cloud

abstract: We present a chronology of the formation and early evolution of the Oort cloud by simulations. These simulations start with the Solar System being born with planets and asteroids in a stellar cluster orbiting the Galactic center. Upon ejection from its birth environment, we continue to follow the evolution of the Solar System while it navigates the Galaxy as an isolated planetary system. We conclude that the range in semi-major axis between 100au and several 10$^3$\,au still bears the signatures of the Sun being born in a 1000MSun/pc$^3$ star cluster, and that most of the outer Oort cloud formed after the Solar System was ejected. The ejection of the Solar System, we argue, happened between 20Myr and 50Myr after its birth. Trailing and leading trails of asteroids and comets along the Sun's orbit in the Galactic potential are the by-product of the formation of the Oort cloud. These arms are composed of material that became unbound from the Solar System when the Oort cloud formed. Today, the bulk of the material in the Oort cloud ($\sim 70$\%) originates from the region in the circumstellar disk that was located between $\sim 15$\,au and $\sim 35$\,au, near the current location of the ice giants and the Centaur family of asteroids. According to our simulations, this population is eradicated if the ice-giant planets are born in orbital resonance. Planet migration or chaotic orbital reorganization occurring while the Solar System is still a cluster member is, according to our model, inconsistent with the presence of the Oort cloud. About half the inner Oort cloud, between 100 and $10^4$\,au, and a quarter of the material in the outer Oort cloud, $\apgt 10^4$\,au, could be non-native to the Solar System but was captured from free-floating debris in the cluster or from the circumstellar disk of other stars in the birth cluster.

categories: astro-ph.EP astro-ph.GA astro-ph.SR nlin.CD


title: Estimation of a Thermal Conductivity in a Stationary Heat Transfer Problem with a Solid-Solid Interface

abstract: An inverse problem for a stationary heat transfer process is studied for a totally isolated bar on its lateral surface, made up of two consecutive sections of different, isotropic and homogeneous materials, perfectly assembly, where one of the materials, that is unreachable and unknown, has to be identified. The length of the bar is assumed to be much greater that the diameter so that a 1D heat transfer process is considered. A constant temperature is assumed at the end of the unknown part of the rod while the other end is let free for convection. We propose a procedure to identify the unknown material of the bar based on a noisy flow measurement at the opposite end. Necessary and sufficient conditions are derived together with a bound for the estimation error. Moreover, elasticity analysis is performed to study the influence of the data in the conductivity estimation and numerical examples are included to illustrate the proposed ideas and show the estimation performance.


title: Anomaly Detection in Predictive Maintenance: A New Evaluation Framework for Temporal Unsupervised Anomaly Detection Algorithms

abstract: The research in anomaly detection lacks a unified definition of what represents an anomalous instance. Discrepancies in the nature itself of an anomaly lead to multiple paradigms of algorithms design and experimentation. Predictive maintenance is a special case, where the anomaly represents a failure that must be prevented. Related time-series research as outlier and novelty detection or time-series classification does not apply to the concept of an anomaly in this field, because they are not single points which have not been seen previously and may not be precisely annotated. Moreover, due to the lack of annotated anomalous data, many benchmarks are adapted from supervised scenarios. To address these issues, we generalise the concept of positive and negative instances to intervals to be able to evaluate unsupervised anomaly detection algorithms. We also preserve the imbalance scheme for evaluation through the proposal of the Preceding Window ROC, a generalisation for the calculation of ROC curves for time-series scenarios. We also adapt the mechanism from a established time-series anomaly detection benchmark to the proposed generalisations to reward early detection. Therefore, the proposal represents a flexible evaluation framework for the different scenarios. To show the usefulness of this definition, we include a case study of Big Data algorithms with a real-world time-series problem provided by the company ArcelorMittal, and compare the proposal with an evaluation method.


title: Implementation of Live Reverse Debugging in LLDB

abstract: Debugging is an essential process with a large share of the development effort, being a relentless quest for offensive code through tracing, inspection and iterative running sessions. Probably every developer has been in a situation with a clear wish to rewind time just for a while, only to retry some actions alternatively, instead of restarting the entire session. Well, the genie to fulfill such a wish is known as a reverse debugger. Their inherent technical complexity makes them very hard to implement, while the imposed execution overhead turns them to less preferable for adoption. There are only a few available, most being off-line tools, working on recorded, previously run, sessions. We consider live reverse debuggers both challenging and promising, since they can fit into existing forward debuggers, and we developed the first live reverse debugger on top of LLDB, discussing in detail our implementation approach.


title: The First Dynamical Mass Measurement in the HR 8799 System

abstract: HR 8799 hosts four directly imaged giant planets, but none has a mass measured from first principles. We present the first dynamical mass measurement in this planetary system, finding that the innermost planet HR~8799~e has a mass of $9.6^{+1.9}_{-1.8} \, M_{\rm Jup}$. This mass results from combining the well-characterized orbits of all four planets with a new astrometric acceleration detection (5$\sigma$) from the Gaia EDR3 version of the Hipparcos-Gaia Catalog of Accelerations. We find with 95\% confidence that HR~8799~e is below $13\, M_{\rm Jup}$, the deuterium-fusing mass limit. We derive a hot-start cooling age of $42^{+24}_{-16}$\,Myr for HR~8799~e that agrees well with its hypothesized membership in the Columba association but is also consistent with an alternative suggested membership in the $\beta$~Pictoris moving group. We exclude the presence of any additional $\gtrsim$5-$M_{\rm Jup}$ planets interior to HR~8799~e with semi-major axes between $\approx$3-16\,au. We provide proper motion anomalies and a matrix equation to solve for the mass of any of the planets of HR~8799 using only mass ratios between the planets.


title: On the Achievable Max-Min User Rates in Multi-Carrier Centralized NOMA-VLC Networks

abstract: Visible light communications (VLC) is gaining interest as one of the enablers of short-distance, high-data-rate applications, in future beyond 5G networks. Moreover, non-orthogonal multiple-access (NOMA)-enabled schemes have recently emerged as a promising multiple-access scheme for these networks that would allow realization of the target spectral efficiency and user fairness requirements. The integration of NOMA in the widely adopted orthogonal frequency-division multiplexing (OFDM)-based VLC networks would require an optimal resource allocation for the pair or the cluster of users sharing the same subcarrier(s). In this paper, the max-min rate of a multi-cell indoor centralized VLC network is maximized through optimizing user pairing, subcarrier allocation, and power allocation. The joint complex optimization problem is tackled using a low-complexity solution. At first, the user pairing is assumed to follow the divide-and-next-largest-difference user-pairing algorithm (D-NLUPA) that can ensure fairness among the different clusters. Then, subcarrier allocation and power allocation are solved iteratively through both the Simulated Annealing (SA) meta-heuristic algorithm and the bisection method. The obtained results quantify the achievable max-min user rates for the different relevant variants of NOMA-enabled schemes and shed new light on both the performance and design of multi-user multi-carrier NOMA-enabled centralized VLC networks.


title: Issues in Object Detection in Videos using Common Single-Image CNNs

abstract: A growing branch of computer vision is object detection. Object detection is used in many applications such as industrial process, medical imaging analysis, and autonomous vehicles. The ability to detect objects in videos is crucial. Object detection systems are trained on large image datasets. For applications such as autonomous vehicles, it is crucial that the object detection system can identify objects through multiple frames in video. There are many problems with applying these systems to video. Shadows or changes in brightness that can cause the system to incorrectly identify objects frame to frame and cause an unintended system response. There are many neural networks that have been used for object detection and if there was a way of connecting objects between frames then these problems could be eliminated. For these neural networks to get better at identifying objects in video, they need to be re-trained. A dataset must be created with images that represent consecutive video frames and have matching ground-truth layers. A method is proposed that can generate these datasets. The ground-truth layer contains only moving objects. To generate this layer, FlowNet2-Pytorch was used to create the flow mask using the novel Magnitude Method. As well, a segmentation mask will be generated using networks such as Mask R-CNN or Refinenet. These segmentation masks will contain all objects detected in a frame. By comparing this segmentation mask to the flow mask ground-truth layer, a loss function is generated. This loss function can be used to train a neural network to be better at making consistent predictions on video. The system was tested on multiple video samples and a loss was generated for each frame, proving the Magnitude Method's ability to be used to train object detection neural networks in future work.


title: UAV-Assisted Communication in Remote Disaster Areas using Imitation Learning

abstract: The damage to cellular towers during natural and man-made disasters can disturb the communication services for cellular users. One solution to the problem is using unmanned aerial vehicles to augment the desired communication network. The paper demonstrates the design of a UAV-Assisted Imitation Learning (UnVAIL) communication system that relays the cellular users' information to a neighbor base station. Since the user equipment (UEs) are equipped with buffers with limited capacity to hold packets, UnVAIL alternates between different UEs to reduce the chance of buffer overflow, positions itself optimally close to the selected UE to reduce service time, and uncovers a network pathway by acting as a relay node. UnVAIL utilizes Imitation Learning (IL) as a data-driven behavioral cloning approach to accomplish an optimal scheduling solution. Results demonstrate that UnVAIL performs similar to a human expert knowledge-based planning in communication timeliness, position accuracy, and energy consumption with an accuracy of 97.52% when evaluated on a developed simulator to train the UAV.


title: Huygens' equations and the gradient-flow equations in information geometry

abstract: We revisit the relation between the gradient-flow equations and Hamilton's equations in information geometry. By regarding the gradient-flow equations as Huygens' equations in geometric optics, we have related the gradient flows to the geodesic flows induced by the geodesic Hamiltonian in an appropriate Riemannian geometry. The original evolution parameter $\textit{t}$ in the gradient-flow equations is related to the arc-length parameter in the associated Riemannian manifold by Jacobi-Maupertuis transformation. As a by-product, it is found the relation between the gradient-flow equation and replicator equations.


title: Trade the Event: Corporate Events Detection for News-Based Event-Driven Trading

abstract: In this paper, we introduce an event-driven trading strategy that predicts stock movements by detecting corporate events from news articles. Unlike existing models that utilize textual features (e.g., bag-of-words) and sentiments to directly make stock predictions, we consider corporate events as the driving force behind stock movements and aim to profit from the temporary stock mispricing that may occur when corporate events take place. The core of the proposed strategy is a bi-level event detection model. The low-level event detector identifies events' existences from each token, while the high-level event detector incorporates the entire article's representation and the low-level detected results to discover events at the article-level. We also develop an elaborately-annotated dataset EDT for corporate event detection and news-based stock prediction benchmark. EDT includes 9721 news articles with token-level event labels as well as 303893 news articles with minute-level timestamps and comprehensive stock price labels. Experiments on EDT indicate that the proposed strategy outperforms all the baselines in winning rate, excess returns over the market, and the average return on each transaction.


title: Optimizations for Hardware-in-the-Loop-Based V2X Validation Platforms

abstract: Connectivity and automation are increasingly getting importance in the automotive industry, which is observing a radical change from vehicles driven by humans to fully automated and remotely controlled ones. The test and validation of all the related devices and applications is thus becoming a crucial aspect; this is raising the interest on hardware-in-the-loop (HiL) platforms which reduce the need for complicated field trials, thus limiting the costs and delay added to the process. With reference to the test and validation of vehicle-to-everything (V2X) communications aspects, and assuming either sidelink LTE/5GV2X or IEEE 802.11p/bd technologies, in this work we focus on the real-time HiL simulation of the information exchanged by one vehicle under test and the surrounding, simulated, objects. Such exchange must be reproduced in a time-efficient manner, with elaborations done fast enough to allow testing the applications in real-time. More precisely, we discuss the simulation of nonideal positioning and channel propagation taking into account current impairments. We also provide details on optimization solutions that allowed us to trade-off minor loss in accuracy with a significant reduction of the computation time burden, reaching up to more than one order of magnitude speed increase in our experiments.


title: Massive MIMO Adaptive Modulation and Coding Using Online Deep Learning Algorithm

abstract: The paper describes an online deep learning algorithm (ODL) for adaptive modulation and coding in massive MIMO. The algorithm is based on a fully connected neural network, which is initially trained on the output of the traditional algorithm and then incrementally retrained by the service feedback of its output. We show the advantage of our solution over the state-of-the-art Q-learning approach. We provide system-level simulation results to support this conclusion in various scenarios with different channel characteristics and different user speeds. Compared with traditional OLLA, the algorithm shows a 10\% to 20\% improvement in user throughput in the full-buffer case.


title: Pouring Dynamics Estimation Using Gated Recurrent Units

abstract: One of the most commonly performed manipulation in a human's daily life is pouring. Many factors have an effect on target accuracy, including pouring velocity, rotation angle, geometric of the source, and the receiving containers. This paper presents an approach to increase the repeatability and accuracy of the robotic manipulator by estimating the change in the amount of water of the pouring cup to a sequence of pouring actions using multiple layers of the deep recurrent neural network, especially gated recurrent units (GRU). The proposed GRU model achieved a validation mean squared error as low as 1e-4 (lbf) for the predicted value of weight f(t). This paper contains a comprehensive evaluation and analysis of numerous experiments with various designs of recurrent neural networks and hyperparameters fine-tuning.


title: Estimating the variance of Shannon entropy

abstract: The statistical analysis of data stemming from dynamical systems, including, but not limited to, time series, routinely relies on the estimation of information theoretical quantities, most notably Shannon entropy. To this purpose, possibly the most widespread tool is provided by the so-called plug-in estimator, whose statistical properties in terms of bias and variance were investigated since the first decade after the publication of Shannon's seminal works. In the case of an underlying multinomial distribution, while the bias can be evaluated by knowing support and data set size, variance is far more elusive. The aim of the present work is to investigate, in the multinomial case, the statistical properties of an estimator of a parameter that describes the variance of the plug-in estimator of Shannon entropy. We then exactly determine the probability distributions that maximize that parameter. The results presented here allow to set upper limits to the uncertainty of entropy assessments under the hypothesis of memoryless underlying stochastic processes.


title: TDOS Quantum Mechanical visual analysis for single molecules

abstract: We have analyzed with pedagogical purposes the relation of the total densities of states (TDOS/PDOS/OPDOS) and molecular orbital diagrams (MOD) for single and isolated molecules of Water and Nitrogen. We use a calculation level HF/6-311G, spreading the energy eigenvalues around the TDOS spikes and using the Mulliken visual analysis in Multiwfn to showcase our findings. We discuss the possibility to use these electrons orbit population diagrams, in conjunction with the more intuitive MOD diagrams to teach the Quantum Mechanics of simple molecular isolated structures.


title: Self-attending RNN for Speech Enhancement to Improve Cross-corpus Generalization

abstract: Deep neural networks (DNNs) represent the mainstream methodology for supervised speech enhancement, primarily due to their capability to model complex functions using hierarchical representations. However, a recent study revealed that DNNs trained on a single corpus fail to generalize to untrained corpora, especially in low signal-to-noise ratio (SNR) conditions. Developing a noise, speaker, and corpus independent speech enhancement algorithm is essential for real-world applications. In this study, we propose a self-attending recurrent neural network, or attentive recurrent network (ARN), for time-domain speech enhancement to improve cross-corpus generalization. ARN comprises of recurrent neural networks (RNNs) augmented with self-attention blocks and feedforward blocks. We evaluate ARN on different corpora with nonstationary noises in low SNR conditions. Experimental results demonstrate that ARN substantially outperforms competitive approaches to time-domain speech enhancement, such as RNNs and dual-path ARNs. Additionally, we report an important finding that the two popular approaches to speech enhancement: complex spectral mapping and time-domain enhancement, obtain similar results for RNN and ARN with large-scale training. We also provide a challenging subset of the test set used in this study for evaluating future algorithms and facilitating direct comparisons.


title: Nuclear superfluidity at finite temperature

abstract: The equation of motion for the two-fermion two-time correlation function in the pairing channel is considered at finite temperature. Within the Matsubara formalism, the Dyson-type Bethe-Salpeter equation (Dyson-BSE) with the frequency-dependent interaction kernel is obtained. Similarly to the case of zero temperature, it is decomposed into the static and dynamical components, where the former is given by the contraction of the bare interaction with the two-fermion density and the latter is represented by the double contraction of the four-fermion two-time correlation function, or propagator, with two interaction matrix elements. The dynamical kernel with the four-body propagator, being formally exact, requires approximations to avoid generating prohibitively complicated hierarchy of equations. We focus on the approximation where the dynamical interaction kernel is truncated on the level of two-body correlation functions, neglecting the irreducible three-body and higher-rank correlations. Such a truncation leads to the dynamical kernel with the coupling between correlated fermionic pairs, which can be interpreted as emergent bosonic quasibound states, or phonons, of normal and superfluid nature. The latter ones are, thus, the mediators of the dynamical superfluid pairing. In this framework, we obtained the closed system of equations for the fermionic particle-hole and particle-particle propagators. This allows us to study the temperature dependence of the pairing gap beyond the Bardeen-Cooper-Schrieffer approximation, that is implemented for medium-heavy nuclear systems. The cases of 68Ni and 44,46Ca are discussed in detail.


title: Simulated Data Generation Through Algorithmic Force Coefficient Estimation for AI-Based Robotic Projectile Launch Modeling

abstract: Modeling of non-rigid object launching and manipulation is complex considering the wide range of dynamics affecting trajectory, many of which may be unknown. Using physics models can be inaccurate because they cannot account for unknown factors and the effects of the deformation of the object as it is launched; moreover, deriving force coefficients for these models is not possible without extensive experimental testing. Recently, advancements in data-powered artificial intelligence methods have allowed learnable models and systems to emerge. It is desirable to train a model for launch prediction on a robot, as deep neural networks can account for immeasurable dynamics. However, the inability to collect large amounts of experimental data decreases performance of deep neural networks. Through estimating force coefficients, the accepted physics models can be leveraged to produce adequate supplemental data to artificially increase the size of the training set, yielding improved neural networks. In this paper, we introduce a new framework for algorithmic estimation of force coefficients for non-rigid object launching, which can be generalized to other domains, in order to generate large datasets. We implement a novel training algorithm and objective for our deep neural network to accurately model launch trajectory of non-rigid objects and predict whether they will hit a series of targets. Our experimental results demonstrate the effectiveness of using simulated data from force coefficient estimation and shows the importance of simulated data for training an effective neural network.


title: Sense-Bandits: AI-based Adaptation of Sensing Thresholds for Heterogeneous-technology Coexistence Over Unlicensed Bands

abstract: In this paper, we present Sense-Bandits, an AI-based framework for distributed adaptation of the sensing thresholds (STs) over shared spectrum. This framework specifically targets the coexistence of heterogenous technologies, e.g., Wi-Fi, 4G Licensed-Assisted Access (LAA), and 5G New Radio Unlicensed (NR-U), over unlicensed channels. To access the channel, a device compares the measured power with a predefined ST value and accordingly decides if the channel is idle or not. Improper setting of the ST values creates asymmetric sensing floors, resulting in collisions due to hidden terminals and/or reduction in the spatial reuse due to exposed terminals. Optimal ST setting is challenging because it requires global knowledge of mobility, traffic loads, and channel access behavior of all contending devices. Sense- Bandits tackles this problem by employing a clustering-based multi-armed bandit (MAB) algorithm, which adapts its learning behavior based on network dynamics. Clustering allows the algorithm to track network changes in real-time, ensuring fast learning of the best ST values by classifying the state and dynamics of coexisting networks. We develop a C++-based network simulator that implements Sense-Bandits and we apply it to evaluate the coexistence of Wi-Fi and 5G NR-U systems over the unlicensed 5 GHz U NII bands. Our simulation results indicate that ST-adaptive devices employing Sense-Bandits do not harm neighboring devices that adopt a fixed ST value.


title: A Review on Applications and Challenges in Internet of Things

abstract: World has been introduced with a new way of living by inventing this advanced technology Internet of Things (IOT). By using this technology all the real-world objects can be made to interconnect and communicate with each other which can be done by diagnosing, sensing and networking over the internet to fulfill some objectives. Due to advancements that have taken place in sensors, wireless communication systems and cloud computing has brought steps to invent this innovative technology. This paper deals with the elements, applications and the challenges faced by Internet of Things. This paper mainly concentrates on the current scenario of IoT


title: On the Exploitation of Neuroevolutionary Information: Analyzing the Past for a More Efficient Future

abstract: Neuroevolutionary algorithms, automatic searches of neural network structures by means of evolutionary techniques, are computationally costly procedures. In spite of this, due to the great performance provided by the architectures which are found, these methods are widely applied. The final outcome of neuroevolutionary processes is the best structure found during the search, and the rest of the procedure is commonly omitted in the literature. However, a good amount of residual information consisting of valuable knowledge that can be extracted is also produced during these searches. In this paper, we propose an approach that extracts this information from neuroevolutionary runs, and use it to build a metamodel that could positively impact future neural architecture searches. More specifically, by inspecting the best structures found during neuroevolutionary searches of generative adversarial networks with varying characteristics (e.g., based on dense or convolutional layers), we propose a Bayesian network-based model which can be used to either find strong neural structures right away, conveniently initialize different structural searches for different problems, or help future optimization of structures of any type to keep finding increasingly better structures where uninformed methods get stuck into local optima.


title: Fooling Partial Dependence via Data Poisoning

abstract: Many methods have been developed to understand complex predictive models and high expectations are placed on post-hoc model explainability. It turns out that such explanations are not robust nor trustworthy, and they can be fooled. This paper presents techniques for attacking Partial Dependence (plots, profiles, PDP), which are among the most popular methods of explaining any predictive model trained on tabular data. We showcase that PD can be manipulated in an adversarial manner, which is alarming, especially in financial or medical applications where auditability became a must-have trait supporting black-box machine learning. The fooling is performed via poisoning the data to bend and shift explanations in the desired direction using genetic and gradient algorithms. We believe this to be the first work using a genetic algorithm for manipulating explanations, which is transferable as it generalizes both ways: in a model-agnostic and an explanation-agnostic manner.


title: Information Harvesting for Far-Field Wireless Power Transfer

abstract: Considering ubiquitous connectivity and advanced information processing capability, huge amount of low-power IoT devices are deployed nowadays and the maintenance of those devices which includes firmware/software updates and recharging the units has become a bottleneck for IoT systems. For addressing limited battery constraints, wireless power transfer is a promising approach such that it does not require any physical link between energy harvester and power transfer. Furthermore, combining wireless power transfer with information transmission has become more appealing. In the systems that apply radio signals the wireless power transfer has become a popular trend to harvest RF-radiated energy from received information signal in IoT devices. For those systems, design frameworks mainly deal with the trade-off between information capacity and energy harvesting efficiency. Therein various signaling design frameworks have been proposed for different system preferences between power and information. In addition to this, protecting the information part from potential eavesdropping activity in a service area introduces security considerations for those systems. In this paper, we propose a novel concept, Information Harvesting, for wireless power transfer systems. It introduces a novel protocol design from opposite perspective compared to the existing studies. Particularly, Information Harvesting aims to transmit information through existing wireless power transfer mechanism without interfering/interrupting power transfer.


title: SIMDRAM: An End-to-End Framework for Bit-Serial SIMD Computing in DRAM

abstract: Processing-using-DRAM has been proposed for a limited set of basic operations (i.e., logic operations, addition). However, in order to enable full adoption of processing-using-DRAM, it is necessary to provide support for more complex operations. In this paper, we propose SIMDRAM, a flexible general-purpose processing-using-DRAM framework that (1) enables the efficient implementation of complex operations, and (2) provides a flexible mechanism to support the implementation of arbitrary user-defined operations. The SIMDRAM framework comprises three key steps. The first step builds an efficient MAJ/NOT representation of a given desired operation. The second step allocates DRAM rows that are reserved for computation to the operation's input and output operands, and generates the required sequence of DRAM commands to perform the MAJ/NOT implementation of the desired operation in DRAM. The third step uses the SIMDRAM control unit located inside the memory controller to manage the computation of the operation from start to end, by executing the DRAM commands generated in the second step of the framework. We design the hardware and ISA support for SIMDRAM framework to (1) address key system integration challenges, and (2) allow programmers to employ new SIMDRAM operations without hardware changes. We evaluate SIMDRAM for reliability, area overhead, throughput, and energy efficiency using a wide range of operations and seven real-world applications to demonstrate SIMDRAM's generality. Using 16 DRAM banks, SIMDRAM provides (1) 88x and 5.8x the throughput, and 257x and 31x the energy efficiency, of a CPU and a high-end GPU, respectively, over 16 operations; (2) 21x and 2.1x the performance of the CPU and GPU, over seven real-world applications. SIMDRAM incurs an area overhead of only 0.2% in a high-end CPU.


title: Approximate Support Recovery using Codes for Unsourced Multiple Access

abstract: We consider the approximate support recovery (ASR) task of inferring the support of a $K$-sparse vector ${\bf x} \in \mathbb{R}^n$ from $m$ noisy measurements. We examine the case where $n$ is large, which precludes the application of standard compressed sensing solvers, thereby necessitating solutions with lower complexity. We design a scheme for ASR by leveraging techniques developed for unsourced multiple access. We present two decoding algorithms with computational complexities $\mathcal{O}(K^2 \log n+K \log n \log \log n)$ and $\mathcal{O}(K^3 +K^2 \log n+ K \log n \log \log n)$ per iteration, respectively. When $K \ll n$, this is much lower than the complexity of approximate message passing with a minimum mean squared error denoiser% (AMP-MMSE) ,which requires $\mathcal{O}(mn)$ operations per iteration. This gain comes at a slight performance cost. Our findings suggest that notions from multiple access %such as spreading, matched filter receivers and codes can play an important role in the design of measurement schemes for ASR.


title: DNNV: A Framework for Deep Neural Network Verification

abstract: Despite the large number of sophisticated deep neural network (DNN) verification algorithms, DNN verifier developers, users, and researchers still face several challenges. First, verifier developers must contend with the rapidly changing DNN field to support new DNN operations and property types. Second, verifier users have the burden of selecting a verifier input format to specify their problem. Due to the many input formats, this decision can greatly restrict the verifiers that a user may run. Finally, researchers face difficulties in re-using benchmarks to evaluate and compare verifiers, due to the large number of input formats required to run different verifiers. Existing benchmarks are rarely in formats supported by verifiers other than the one for which the benchmark was introduced. In this work we present DNNV, a framework for reducing the burden on DNN verifier researchers, developers, and users. DNNV standardizes input and output formats, includes a simple yet expressive DSL for specifying DNN properties, and provides powerful simplification and reduction operations to facilitate the application, development, and comparison of DNN verifiers. We show how DNNV increases the support of verifiers for existing benchmarks from 30% to 74%.


title: A Full-Stack Search Technique for Domain Optimized Deep Learning Accelerators

abstract: The rapidly-changing deep learning landscape presents a unique opportunity for building inference accelerators optimized for specific datacenter-scale workloads. We propose Full-stack Accelerator Search Technique (FAST), a hardware accelerator search framework that defines a broad optimization environment covering key design decisions within the hardware-software stack, including hardware datapath, software scheduling, and compiler passes such as operation fusion and tensor padding. In this paper, we analyze bottlenecks in state-of-the-art vision and natural language processing (NLP) models, including EfficientNet and BERT, and use FAST to design accelerators capable of addressing these bottlenecks. FAST-generated accelerators optimized for single workloads improve Perf/TDP by 3.7x on average across all benchmarks compared to TPU-v3. A FAST-generated accelerator optimized for serving a suite of workloads improves Perf/TDP by 2.4x on average compared to TPU-v3. Our return on investment analysis shows that FAST-generated accelerators can potentially be practical for moderate-sized datacenter deployments.


title: Quantum Wigner entropy

abstract: We define the Wigner entropy of a quantum state as the differential Shannon entropy of the Wigner function of the state. This quantity is properly defined only for states that possess a positive Wigner function, which we name Wigner-positive states, but we argue that it is a proper measure of quantum uncertainty in phase space. It is invariant under symplectic transformations (displacements, rotations, and squeezing) and we conjecture that it is lower bounded by $\ln\pi +1$ within the convex set of Wigner-positive states. It reaches this lower bound for Gaussian pure states, which are natural minimum-uncertainty states. This conjecture bears a resemblance with the Wehrl-Lieb conjecture, and we prove it over the subset of passive states of the harmonic oscillator which are of particular relevance in quantum thermodynamics. Along the way, we present a simple technique to build a broad class of Wigner-positive states exploiting an optical beam splitter and reveal an unexpectedly simple convex decomposition of extremal passive states. The Wigner entropy is anticipated to be a significant physical quantity, for example, in quantum optics where it allows us to establish a Wigner entropy-power inequality. It also opens a way towards stronger entropic uncertainty relations. Finally, we define the Wigner-R\'enyi entropy of Wigner-positive states and conjecture an extended lower bound that is reached for Gaussian pure states.


title: SYK behaviors generated by Hubbard-type four-fermion on-site random interactions and the related phase transitions

abstract: In this paper, we discuss the possible emergence of SYK non-Fermi liquid in the incoherent critical metal phase generated by the Hubbard-type four-fermion on-site random interactions which follow the Gaussian distribution. The SYK behaviors here are similar to the $q=4$ SYK model except an additional factor $N$. The phase transitions to the Fermi liquid regime and high temperature DMFT insulting regime are possible through the turning of related parameters, including the temperature, coherence scale, SYK coupling, and Coulomb boson field. Taking the nonlocal Coulomb interaction (with pseudospin interaction) as an example, we also discuss the existence of stable gapless bosonic excitations in SYK compressible non-Fermi liquid phase away from the quantum critical point (and thus prevent the condensation), which is due to the preserved SU(2) local gauge symmetry in incoherent critical metal phase with strong SYK coupling and at intermedia temperature. Note that here the compressibility plays the role of effective coupling in the low-energy SYK bosonic action, and is a measurable quantity in non-fermi liquid phase. We found that in this special case, the global U(1) and U(1)$\otimes$U(1) symmetries are also preserved. Our results are useful in detecting the effect of Hubbard parameter on the SYK behaviors in non-Fermi liquid incoherent metal phase and how the on-site interacting model enters the holographic picture at intermiedia and high temperature regimes, as well as the relation between the phase transitions with the symmetry breaking.


title: Counting polynomials over finite fields with prescribed leading coefficients and linear factors

abstract: We count the number of polynomials over finite fields with prescribed leading coefficients and a given number of linear factors. This is equivalent to counting codewords in Reed-Solomon codes which are at a certain distance from a received word. We first apply the generating function approach, which is recently developed by the author and collaborators, to derive expressions for the number of monic polynomials with prescribed leading coefficients and linear factors. We then apply Li and Wan's sieve formula to simplify the expressions in some special cases. Our results extend and improve some recent results by Li and Wan, and Zhou, Wang and Wang.


title: General Game Heuristic Prediction Based on Ludeme Descriptions

abstract: This paper investigates the performance of different general-game-playing heuristics for games in the Ludii general game system. Based on these results, we train several regression learning models to predict the performance of these heuristics based on each game's description file. We also provide a condensed analysis of the games available in Ludii, and the different ludemes that define them.


title: Developing Robust Digital Twins and Reinforcement Learning for Accelerator Control Systems at the Fermilab Booster

abstract: We describe the offline machine learning (ML) development for an effort to precisely regulate the Gradient Magnet Power Supply (GMPS) at the Fermilab Booster accelerator complex via a Field-Programmable Gate Array (FPGA). As part of this effort, we created a digital twin of the Booster-GMPS control system by training a Long Short-Term Memory (LSTM) to capture its full dynamics. We outline the path we took to carefully validate our digital twin before deploying it as a reinforcement learning (RL) environment. Additionally, we demonstrate the use of a Deep Q-Network (DQN) policy model with the capability to regulate the GMPS against realistic time-varying perturbations.


title: BERTifying the Hidden Markov Model for Multi-Source Weakly Supervised Named Entity Recognition

abstract: We study the problem of learning a named entity recognition (NER) tagger using noisy labels from multiple weak supervision sources. Though cheap to obtain, the labels from weak supervision sources are often incomplete, inaccurate, and contradictory, making it difficult to learn an accurate NER model. To address this challenge, we propose a conditional hidden Markov model (CHMM), which can effectively infer true labels from multi-source noisy labels in an unsupervised way. CHMM enhances the classic hidden Markov model with the contextual representation power of pre-trained language models. Specifically, CHMM learns token-wise transition and emission probabilities from the BERT embeddings of the input tokens to infer the latent true labels from noisy observations. We further refine CHMM with an alternate-training approach (CHMM-ALT). It fine-tunes a BERT-NER model with the labels inferred by CHMM, and this BERT-NER's output is regarded as an additional weak source to train the CHMM in return. Experiments on four NER benchmarks from various domains show that our method outperforms state-of-the-art weakly supervised NER models by wide margins.


title: CARLS: Cross-platform Asynchronous Representation Learning System

abstract: In this work, we propose CARLS, a novel framework for augmenting the capacity of existing deep learning frameworks by enabling multiple components -- model trainers, knowledge makers and knowledge banks -- to concertedly work together in an asynchronous fashion across hardware platforms. The proposed CARLS is particularly suitable for learning paradigms where model training benefits from additional knowledge inferred or discovered during training, such as node embeddings for graph neural networks or reliable pseudo labels from model predictions. We also describe three learning paradigms -- semi-supervised learning, curriculum learning and multimodal learning -- as examples that can be scaled up efficiently by CARLS. One version of CARLS has been open-sourced and available for download at: https://github.com/tensorflow/neural-structured-learning/tree/master/research/carls


title: Distribution mod $p$ of Euler's totient and the sum of proper divisors

abstract: We consider the distribution in residue classes modulo primes $p$ of Euler's totient function $\phi(n)$ and the sum-of-proper-divisors function $s(n):=\sigma(n)-n$. We prove that the values $\phi(n)$, for $n\le x$, that are coprime to $p$ are asymptotically uniformly distributed among the $p-1$ coprime residue classes modulo $p$, uniformly for $5 \le p \le (\log{x})^A$ (with $A$ fixed but arbitrary). We also show that the values of $s(n)$, for $n$ composite, are uniformly distributed among all $p$ residue classes modulo every $p\le (\log{x})^A$. These appear to be the first results of their kind where the modulus is allowed to grow substantially with $x$.


title: Hamiltonian aspects of 3-layer stratified fluids

abstract: The theory of 3-layer density stratified ideal fluids is examined with a view towards its generalization to the n-layer case. The focus is on structural properties, especially for the case of a rigid upper lid constraint. We show that the long-wave dispersionless limit is a system of quasi-linear equations that do not admit Riemann invariants. We equip the layer-averaged one-dimensional model with a natural Hamiltonian structure, obtained with a suitable reduction process from the continuous density stratification structure of the full two-dimensional equations proposed by Benjamin. For a a laterally unbounded fluid between horizontal rigid boundaries, the paradox about the non-conservation of horizontal total momentum is revisited, and it is shown that the pressure imbalances causing it can be intensified by three-layer setups with respect to their two-layer counterparts. The generator of the x-translational symmetry in the n-layer setup is also identified by the appropriate Hamiltonian formalism. The Boussinesq limit and a family of special solutions recently introduced by de Melo Virissimo and Milewski are also discussed.


title: Identifying Brexit voting patterns in the British House of Commons: an analysis based on Bayesian mixture models with flexible concomitant covariate effects

abstract: Brexit and its implications are an ongoing topic of interest since the Brexit referendum in 2016. In 2019 the House of commons held a number of "indicative" and "meaningful" votes as part of the Brexit approval process. The voting behaviour of members of the parliament in these votes is investigated to gain insight into the Brexit approval process. In particular, a mixture model with concomitant covariates is developed to identify groups of members of parliament who share similar voting behaviour while also considering characteristics of the members of parliament. The novelty of the method lies in the flexible structure used to model the effect of concomitant covariates on the component weights of the mixture, with the (potentially nonlinear) terms represented as a smooth function of the covariates. Results show this approach allows to quantify the effect of the age of members of parliament, as well as preferences and competitiveness in the constituencies they represent, on their position towards Brexit. This helps grouping the aforementioned politicians into homogeous clusters, whose composition departs sensibly from that of the parties.


title: He I spectropolarimetry of a supersonic coronal downflow within a sunspot umbra

abstract: We report spectropolarimetric observations of a supersonic downflow impacting the lower atmosphere within a large sunspot umbra. This work is an extension of Schad et al. 2016 using observations acquired in the He I 10830 Angstrom triplet by the Facility Infrared Spectropolarimeter. Downflowing material accelerating along a cooled coronal loop reaches peak speeds near 200 km s$^{-1}$ and exhibits both high speed emission and absorption within the umbra, which we determine to be a consequence of the strong height dependence of the radiatively-controlled source function above the sunspot umbra. Strong emission profiles close to the rest wavelengths but with long red-shifted tails are also observed at the downflow terminus. From the polarized spectra, we infer longitudinal magnetic field strengths of ${\sim}2.4$ kG in the core portion of the He I strong emission, which we believe is the strongest ever reported in this line. Photospheric field strengths along the same line-of-sight are ${\sim}2.8$ kG as inferred using the Ca I 10839 Angstrom spectral line. The temperatures of the highest speed He I absorption and the near rest emission are similar (${\sim}$10 kK), while a differential emission measure analysis using SDO/AIA data indicates significant increases in radiative cooling for temperatures between $\sim$0.5 and 1 MK plasma associated with the downflow terminus. Combined we interpret these observations in the context of a strong radiative shock induced by the supersonic downflow impacting the low sunspot atmosphere.


title: Joint distribution in residue classes of polynomial-like multiplicative functions

abstract: Under fairly general conditions, we show that families of integer-valued polynomial-like multiplicative functions are uniformly distributed in coprime residue classes mod $p$, where $p$ is a growing prime (or nearly prime) modulus. This can be seen as complementary to work of Narkiewicz, who obtained comprehensive results for fixed moduli.


title: Multi-Modal Semantic Inconsistency Detection in Social Media News Posts

abstract: As computer-generated content and deepfakes make steady improvements, semantic approaches to multimedia forensics will become more important. In this paper, we introduce a novel classification architecture for identifying semantic inconsistencies between video appearance and text caption in social media news posts. We develop a multi-modal fusion framework to identify mismatches between videos and captions in social media posts by leveraging an ensemble method based on textual analysis of the caption, automatic audio transcription, semantic video analysis, object detection, named entity consistency, and facial verification. To train and test our approach, we curate a new video-based dataset of 4,000 real-world Facebook news posts for analysis. Our multi-modal approach achieves 60.5% classification accuracy on random mismatches between caption and appearance, compared to accuracy below 50% for uni-modal models. Further ablation studies confirm the necessity of fusion across modalities for correctly identifying semantic inconsistencies.


title: Beyond Algorithmic Bias: A Socio-Computational Interrogation of the Google Search by Image Algorithm

abstract: We perform a socio-computational interrogation of the google search by image algorithm, a main component of the google search engine. We audit the algorithm by presenting it with more than 40 thousands faces of all ages and more than four races and collecting and analyzing the assigned labels with the appropriate statistical tools. We find that the algorithm reproduces white male patriarchal structures, often simplifying, stereotyping and discriminating females and non-white individuals, while providing more diverse and positive descriptions of white men. By drawing from Bourdieu's theory of cultural reproduction, we link these results to the attitudes of the algorithm's designers, owners, and the dataset the algorithm was trained on. We further underpin the problematic nature of the algorithm by using the ethnographic practice of studying-up: We show how the algorithm places individuals at the top of the tech industry within the socio-cultural reality that they shaped, many times creating biased representations of them. We claim that the use of social-theoretic frameworks such as the above are able to contribute to improved algorithmic accountability, algorithmic impact assessment and provide additional and more critical depth in algorithmic bias and auditing studies. Based on the analysis, we discuss the scientific and design implications and provide suggestions for alternative ways to design just socioalgorithmic systems.


title: The Classical Double Copy for Half-Maximal Supergravities and T-duality

abstract: We study the classical double copy for ungauged half-maximal supergravities using the Kaluza-Klein reduction of double field theory (DFT). We construct a general formula for the Kaluza-Klein (KK) reduction of the DFT Kerr-Schild ansatz. The KK reduction of the ansatz is highly nonlinear, but the associated equations of motion are linear. This linear structure implies that half-maximal supergravities admit a classical double copy. We show that their single copy is given by a pair of Maxwell-scalar theories, which are the KK reduction of a higher-dimensional single copy of DFT. We also investigate their T-duality transformations - both the Buscher rule and continuous O(D,D) rotations. Applying the Buscher rule to the Kerr BH, we obtain a solution with a nontrivial Kalb-Ramond field and dilaton. We also identify the single copy of Sen's heterotic BH and the chiral null model and show that the chiral null model is self-dual under T-duality rotations.


title: Compiling Halide Programs to Push-Memory Accelerators

abstract: Image processing and machine learning applications benefit tremendously from hardware acceleration, but existing compilers target either FPGAs, which sacrifice power and performance for flexible hardware, or ASICs, which rapidly become obsolete as applications change. Programmable domain-specific accelerators have emerged as a promising middle-ground between these two extremes, but such architectures have traditionally been difficult compiler targets. The main obstacle is that these accelerators often use a different memory abstraction than CPUs and GPUs: push memories that send a data stream from one computation kernel to other kernels, possibly reordered. To address the compilation challenges caused by push memories, we propose that the representation of memory in the middle and backend of the compiler be altered to combine storage with address generation and control logic in a single structure -- a unified buffer. We show that this compiler abstraction can be implemented efficiently on a programmable accelerator, and design a memory mapping algorithm that combines polyhedral analysis and software vectorization techniques to target our accelerator. Our evaluation shows that the compiler supports programmability while maintaining high performance. It can compile a wide range of image processing and machine learning applications to our accelerator with 4.7x better runtime and 4.3x better energy-efficiency as compared to an FPGA.


title: Interatomic Fe-Cr potential for modeling kinetics on Fe surfaces

abstract: To enable accurate molecular dynamics simulations of iron-chromium alloys with surfaces, we develop, based on density-functional-theory (DFT) calculations, a new interatomic Fe-Cr potential in the Tersoff formalism. Contrary to previous potential models, which have been designed for bulk Fe-Cr, we extend our potential fitting database to include not only conventional bulk properties but also surface-segregation energies of Cr in bcc Fe. In terms of reproducing our DFT results for the bulk properties, the new potential is found to be superior to the previously developed Tersoff potential and competitive with the concentration-dependent and two-band embedded-atom-method potentials. For Cr segregation toward the surface of an Fe-Cr alloy, only the new potential agrees with our DFT calculations in predicting preferential segregation of Cr to the topmost surface layer, instead of the second layer preferred by the other potentials. We expect this rectification to foster future research, e.g., on the mechanisms of corrosion resistance of stainless steels at the atomic level.


title: Hybrid Exchange Measurement-Based Qubit Operations in Semiconductor Double Quantum Dot Qubits

abstract: Measurement-based quantum computing (MBQC) promises natural compatibility with quantum error correcting codes at the cost of a polynomial increase in physical qubits. MBQC proposals have largely focused on photonic systems, where 2-qubit gates are difficult. Semiconductor spin qubits in quantum dots, on the other hand, offer fast 2-qubit gates via the exchange interaction. In exchange-based quantum computing, as with other solid-state qubits, leakage to higher states is a serious problem that must be mitigated. Here, two hybrid measurement-exchange schemes are proposed which quantify the benefits of MBQC on quantum dot-based quantum computing. Measurement of double quantum dot encoded qubits in the singlet-triplet basis, along with inter- and intra-qubit exchange interaction, are used to perform one and two qubit operations. Both schemes suppress individual qubit spin-state leakage errors, offer fast gate times, and require only controllable exchange couplings, up to known phase and Pauli corrections.


title: Underlying varieties and group structures

abstract: We explore to what extent the underlying variety of a connected algebraic group or the underlying manifold of a real Lie group determines its group structure.


title: Fractional Klein-Gordon equation with singular mass. II: Hypoelliptic case

abstract: In this paper we consider a fractional wave equation for hypoelliptic operators with a singular mass term depending on the spacial variable and prove that it has a very weak solution. Such analysis can be conveniently realised in the setting of graded Lie groups. The uniqueness of the very weak solution, and the consistency with the classical solution are also proved, under suitable considerations. This extends and improves the results obtained in the first part of this work which was devoted to the classical Euclidean Klein-Gordon equation.


title: Local mirror symmetry via SYZ

abstract: In this note, we explain how mirror symmetry for basic local models in the Gross-Siebert program can be understood through the non-toric blowup construction described by Gross-Hacking-Keel. This is part of a program to understand the symplectic geometry of affine cluster varieties through their SYZ fibrations.